v6: [|t>=0; 5x5-4x6-60>=0; 5x1-4x2-80>=0; -x4+x5+10>=0; x2-x3-2>=0;
      -x3+x4+10>=0; x5-x6-2>=0; -x1+x2+10>=0; x4-x5-2>=0; -x2+x3+10>=0;
      5x1-4x6-160>=0; x3-x4-2>=0; -x5+x6+10>=0; x1-x2-2>=0|];;
v5: [|
t>=0; 5x1-4x2-80>=0; 5x5-4x6-60>=0; -x5+x6+10>=0; -x3+x4+10>=0; -x2+x3+10>=0;
x4-x5-2>=0; -x1+x2+10>=0; 5x1-4x6-160>=0; x2-x3-2>=0; -x4+x5+10>=0;
x3-x4-2>=0; x1-x2-2>=0; x5-x6-2>=0|];;
v3: [|t>=0; 5x1-4x2-80>=0;
                                             5x5-4x6-60>=0; -x5+x6+10>=0;
                                             -x4+x5+10>=0; -x3+x4+10>=0;
                                             x2-x3-2>=0; -x1+x2+10>=0;
                                             -x2+x3+10>=0; x4-x5>=0;
                                             x5-x6>=0; x3-x4-2>=0;
                                             x1-x2-2>=0; 5x1-4x6-160>=0|];;
v1: [|
t>=0; 5x5-4x6-60>=0; 5x1-4x2-80>=0; -x4+x5+10>=0; x2-x3-2>=0; -x3+x4+10>=0;
x3-x4-2>=0; x4-x5-2>=0; x1-x2-2>=0; x5-x6-2>=0; -x2+x3+10>=0; -x1+x2+10>=0;
-x5+x6+10>=0; 5x1-4x6-160>=0|];;
v4: [|t>=0; 5x1-4x2-80>=0; 5x5-4x6-60>=0;
                                       -x5+x6+10>=0; -x4+x5+10>=0;
                                       -x2+x3+10>=0; x3-x4-2>=0;
                                       -x1+x2+10>=0; x5-x6>=0;
                                       5x1-4x6-160>=0; x2-x3-2>=0;
                                       -x3+x4+10>=0; x1-x2-2>=0; x4-x5-2>=0|];;
v2: [|
t>=0; 5x5-4x6-60>=0; 5x1-4x2-80>=0; -x4+x5+10>=0; -x3+x4+10>=0; x2-x3-2>=0;
-x2+x3+10>=0; x4-x5>=0; x1-x2-2>=0; -x5+x6+10>=0; x5-x6>=0; -x1+x2+10>=0;
5x1-4x6-160>=0; x3-x4>=0|];;
err: bottom;;
[runlim] end:			Sat Nov 29 19:35:40 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			42.53 seconds
[runlim] time:			41.76 seconds
[runlim] space:			20.4 MB
[runlim] samples:		418