v3: [|t>=0; -4x1+5x2-35>=0; 5x1-4x3-100>=0; x2-x3-2>=0; -x1+x2+10>=0;
      x1-x2-2>=0; -x2+x3+10>=0|];;
v1: [|t>=0; -4x1+5x2-35>=0;
                                         5x1-4x3-100>=0; -x2+x3+10>=0;
                                         x1-x2-2>=0; x2-x3-2>=0; -x1+x2+10>=0|];;
v2: [|
t>=0; 5x1-4x3-100>=0; -4x1+5x2-35>=0; -x2+x3+10>=0; x1-x2-2>=0; -x1+x2+10>=0;
x2-x3-2>=0|];;
err: bottom;;
[runlim] end:			Sat Nov 29 19:34:52 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.15 seconds
[runlim] time:			0.00 seconds
[runlim] space:			0.0 MB
[runlim] samples:		0