-------------------------------------------------------------------------------------------------
--                                      This is RoVerGeNe 3.0                                  --
-- Please see http://iasi.bu.edu/~batt/rovergene/rovergene.htm for information about RoVerGeNe --
-------------------------------------------------------------------------------------------------
looking for available solvers...

MPT toolbox 2.6 initialized...
Copyright (C) 2003-2006 by M. Kvasnica, P. Grieder and M. Baotic

Send bug reports, questions or comments to mpt@control.ee.ethz.ch
For news, visit the MPT web page at http://control.ee.ethz.ch/~mpt/
         LP solver: CDD Criss-Cross
         QP solver: quadprog
       MILP solver: GLPK
       MIQP solver: YALMIP
Vertex enumeration: CDD

 Run 'mpt_studio' to start the GUI. Run 'mpt_setup' to set global parameters.

						% MPT initialization 
-------------------------------------------------------------------------
--                          Reading model                              --
-------------------------------------------------------------------------

Reading model: ...
Type of analysis?
  0: robust property verification,
  1: search for valid parameter sets.
 0/1 [0]?: 1					% parameter constraint synthesis 
Model name: two_genes				% model is "rovergene_folder"/models/two_genes.txt
Reading model is done.

-------------------------------------------------------------------------
--                              Analysis                               --
-------------------------------------------------------------------------

Evaluating function at vertices: ...
|0.161 s|
Evaluating function at vertices is done.
Computing parametric transition system: ...
|0.191 s||0.701 s||0.921 s||0.931 s|
Computing parametric transition system is done.		% preprocessing steps with time spent
							% important information for estimating the
Searching for valid parameter sets: ...			% computation time for complex problems: 
 15 rectangles in state space 				% - total number of rectangles
 3 parameter constraint(s) found 			% - number of linear constraints on parameters

-------------------
b= [] 							% hierarchical exploration of parameter tree
|1.331 s||1.632 s|					% time spend notably for computation of 								% transient regions. First computation takes	 							% generally much more time
result_existP= 0 					% model checking results	
result_forallP= 1
|2.633 s|

-------------------

 b=     0						% next parameter set is considered ....

|2.753 s||2.813 s|
result_existP= 0
result_forallP= 1
|3.083 s|

-------------------

 b=     0     0

|3.203 s||3.243 s|
result_existP= 0
result_forallP= 1
|3.473 s|

-------------------

 b=     0     0     0

|3.523 s||3.553 s|
result_existP= 1
result_forallP= 1					% here a valid set is found
|3.814 s|

-------------------

 b=     0     0     1

|3.924 s||3.964 s|
result_existP= 1
result_forallP= 1					% here a valid set is found
|4.224 s|

-------------------

 b=     0     1

|4.254 s||4.394 s|
result_existP= 1
result_forallP= 1					% here a valid set is found
|4.644 s|

-------------------

 b=     1

|4.754 s||4.794 s|
result_existP= 1
result_forallP= 1					% here a valid set is found
|5.055 s|

Searching for valid parameter sets is done.

-------------------------------------------------------------------------
--                         Analysis results                            --
-------------------------------------------------------------------------

 We have found 4 valid parameter set(s):		% They form only one set: 6 < kappa_a < 27
							% this means that in fact, this propertie is parameter set 1:					% true for all parameter values
-p1 <= -6						
p1 <= 8

parameter set 2:
p1 <= 12
-p1 <= -8

parameter set 3:
p1 <= 18
-p1 <= -12

parameter set 4:
p1 <= 27
-p1 <= -18

Computation time: 5.165 secs				% total time spend