v7: [|t>=0; -4x6+5x7-10>=0; 5x5-4x7-80>=0; 5x1-4x2-80>=0; -x5+x6+10>=0;
      -x4+x5+10>=0; x2-x3-2>=0; -x3+x4+10>=0; -x2+x3+10>=0; x5-x6-2>=0;
      x3-x4-2>=0; x4-x5-2>=0; -x6+x7+10>=0; x1-x2-2>=0; -x1+x2+10>=0;
      x6-x7-2>=0; 5x1-4x7-180>=0|];;
v6: [|t>=0; -4x6+5x7-10>=0;
                                           5x5-4x7-80>=0; 5x1-4x2-80>=0;
                                           -x4+x5+10>=0; x2-x3-2>=0;
                                           -x3+x4+10>=0; -x2+x3+10>=0;
                                           x3-x4-2>=0; -x5+x6+10>=0;
                                           -x1+x2+10>=0; 5x1-4x7-180>=0;
                                           x4-x5-2>=0; x5-x6-2>=0;
                                           -x6+x7+10>=0; x1-x2-2>=0;
                                           x6-x7-2>=0|];;
v5: [|t>=0;
                                                                -4x6+5x7-10>=0;
                                                                5x1-4x2-80>=0;
                                                                5x5-4x7-80>=0;
                                                                -x5+x6+10>=0;
                                                                -x3+x4+10>=0;
                                                                -x2+x3+10>=0;
                                                                x4-x5-2>=0;
                                                                -x4+x5+10>=0;
                                                                5x1-4x7-180>=0;
                                                                -x6+x7+10>=0;
                                                                x1-x2-2>=0;
                                                                x6-x7>=0;
                                                                x2-x3-2>=0;
                                                                x3-x4-2>=0;
                                                                -x1+x2+10>=0;
                                                                x5-x6-2>=0|];;
v3: [|
t>=0; -4x6+5x7-10>=0; 5x5-4x7-80>=0; 5x1-4x2-80>=0; -x5+x6+10>=0;
-x4+x5+10>=0; -x3+x4+10>=0; x2-x3-2>=0; x6-x7>=0; x5-x6>=0; x1-x2-2>=0;
-x6+x7+10>=0; x3-x4-2>=0; 5x1-4x7-180>=0; x4-x5>=0; -x2+x3+10>=0;
-x1+x2+10>=0|];;
v1: [|t>=0; -4x6+5x7-10>=0; 5x5-4x7-80>=0; 5x1-4x2-80>=0;
                       -x4+x5+10>=0; x2-x3-2>=0; -x3+x4+10>=0; -x2+x3+10>=0;
                       -x6+x7+10>=0; x3-x4-2>=0; x5-x6-2>=0; -x5+x6+10>=0;
                       -x1+x2+10>=0; x1-x2-2>=0; x6-x7-2>=0; 5x1-4x7-180>=0;
                       x4-x5-2>=0|];;
v4: [|t>=0; -4x6+5x7-10>=0;
                                            5x1-4x2-80>=0; 5x5-4x7-80>=0;
                                            -x5+x6+10>=0; -x4+x5+10>=0;
                                            -x2+x3+10>=0; x3-x4-2>=0;
                                            -x6+x7+10>=0; -x3+x4+10>=0;
                                            x5-x6>=0; 5x1-4x7-180>=0;
                                            x1-x2-2>=0; x2-x3-2>=0;
                                            -x1+x2+10>=0; x4-x5-2>=0;
                                            x6-x7>=0|];;
v2: [|t>=0;
                                                               -4x6+5x7-10>=0;
                                                               5x5-4x7-80>=0;
                                                               5x1-4x2-80>=0;
                                                               -x4+x5+10>=0;
                                                               -x3+x4+10>=0;
                                                               x2-x3-2>=0;
                                                               x1-x2-2>=0;
                                                               -x6+x7+10>=0;
                                                               -x2+x3+10>=0;
                                                               5x1-4x7-180>=0;
                                                               x3-x4>=0;
                                                               x4-x5>=0;
                                                               x6-x7>=0;
                                                               -x5+x6+10>=0;
                                                               -x1+x2+10>=0;
                                                               x5-x6>=0|];;
err: bottom;;
[runlim] end:			Sat Nov 29 20:13:51 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			2082.48 seconds
[runlim] time:			2080.56 seconds
[runlim] space:			56.9 MB
[runlim] samples:		20817