v3: [|t>=0; t+x1-60>=0; x1-60>=0; t+x2-55>=0; -x1+x2+10>=0; x1+x2-115>=0;
      x2-55>=0; x1-x2>=0; t+x3-51>=0; -x1+x3+20>=0; x1+x3-111>=0;
      -x2+x3+10>=0; x2+x3-106>=0; x3-51>=0; x1-x3>=0; x2-x3>=0|];;
v1: [|
t>=0; t+x1-60>=0; x1-60>=0; t+x2-55>=0; -x1+x2+10>=0; x1+x2-115>=0; x2-55>=0;
x1-x2-2>=0; t+x3-50>=0; -x1+x3+20>=0; x1+x3-110>=0; -x2+x3+10>=0;
x2+x3-105>=0; x3-50>=0; x1-x3-4>=0; x2-x3-2>=0|];;
v2: [|t>=0; t+x1-60>=0;
                                                         x1-60>=0;
                                                         t+x2-56>=0;
                                                         -x1+x2+10>=0;
                                                         x1+x2-116>=0;
                                                         x2-56>=0; x1-x2>=0;
                                                         t+x3-50>=0;
                                                         -x1+x3+20>=0;
                                                         x1+x3-110>=0;
                                                         -x2+x3+10>=0;
                                                         x2+x3-106>=0;
                                                         x3-50>=0; x1-x3>=0;
                                                         x2-x3>=0|];;
err: [|
t>=0; t+x1-60>=0; x1-60>=0; t+x2-55>=0; x1+x2-115>=0; x2-55>=0; t+x3-50>=0;
x1+x3-110>=0; x2+x3-109>=0; x3-50>=0|];;
[runlim] end:			Sat Nov 29 19:34:52 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.26 seconds
[runlim] time:			0.00 seconds
[runlim] space:			0.0 MB
[runlim] samples:		0