v3: [|t>=0; x1-x2-2>=0; 5x1-4x4-120>=0; x3-x4-2>=0; x2-x3-2>=0; -x1+x2+10>=0;
      -x2+x3+10>=0; -x3+x4+10>=0; 5x1-4x2-80>=0|];;
v1: [|t>=0;
                                                          5x1-4x4-120>=0;
                                                          x1-x2-2>=0;
                                                          x2-x3-2>=0;
                                                          x3-x4-2>=0;
                                                          -x3+x4+10>=0;
                                                          -x2+x3+10>=0;
                                                          5x1-4x2-80>=0;
                                                          -x1+x2+10>=0|];;
v4: [|
t>=0; x1-x2-2>=0; 5x1-4x4-120>=0; x2-x3-2>=0; x3-x4-2>=0; -x1+x2+10>=0;
-x3+x4+10>=0; -x2+x3+10>=0; 5x1-4x2-80>=0|];;
v2: [|t>=0; x2-x3-2>=0;
                                                    5x1-4x4-120>=0;
                                                    x1-x2-2>=0;
                                                    5x1-4x2-80>=0; x3-x4>=0;
                                                    -x3+x4+10>=0;
                                                    -x2+x3+10>=0;
                                                    -x1+x2+10>=0|];;
err: bottom;;
[runlim] end:			Sat Nov 29 19:34:52 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.54 seconds
[runlim] time:			0.19 seconds
[runlim] space:			6.0 MB
[runlim] samples:		2