v5: [|t>=0; -4x4+5x5-20>=0; 5x1-4x2-80>=0; -x3+x4+10>=0; x2-x3-2>=0;
      -x2+x3+10>=0; -x4+x5+10>=0; x4-x5-2>=0; 5x1-4x5-140>=0; -x1+x2+10>=0;
      x1-x2-2>=0; x3-x4-2>=0|];;
v3: [|t>=0; -4x4+5x5-20>=0; x3-x4-2>=0;
                                       5x1-4x5-140>=0; x1-x2-2>=0;
                                       x2-x3-2>=0; 5x1-4x2-80>=0;
                                       -x1+x2+10>=0; -x4+x5+10>=0;
                                       -x2+x3+10>=0; -x3+x4+10>=0; x4-x5>=0|];;
v1: [|
t>=0; -4x4+5x5-20>=0; 5x1-4x5-140>=0; x1-x2-2>=0; x2-x3-2>=0; -x1+x2+10>=0;
-x4+x5+10>=0; 5x1-4x2-80>=0; x4-x5-2>=0; -x2+x3+10>=0; x3-x4-2>=0;
-x3+x4+10>=0|];;
v4: [|t>=0; -4x4+5x5-20>=0; x2-x3-2>=0; 5x1-4x5-140>=0;
                       x1-x2-2>=0; x3-x4-2>=0; -x4+x5+10>=0; 5x1-4x2-80>=0;
                       x4-x5-2>=0; -x1+x2+10>=0; -x3+x4+10>=0; -x2+x3+10>=0|];;
v2: [|
t>=0; -4x4+5x5-20>=0; x2-x3-2>=0; 5x1-4x5-140>=0; 5x1-4x2-80>=0;
-x3+x4+10>=0; -x1+x2+10>=0; x4-x5>=0; x3-x4>=0; x1-x2-2>=0; -x4+x5+10>=0;
-x2+x3+10>=0|];;
v6: bottom;;
[runlim] end:			Sat Nov 29 19:34:55 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			3.21 seconds
[runlim] time:			2.29 seconds
[runlim] space:			9.4 MB
[runlim] samples:		23