v6: [|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-50>=0; -x1+x3+20>=0; x1+x3-110>=0;
      -x2+x3+10>=0; x2+x3-105>=0; x3-50>=0; x1-x3>=0; x2-x3>=0; t+x4-45>=0;
      -x1+x4+30>=0; x1+x4-105>=0; -x2+x4+20>=0; x2+x4-100>=0; -x3+x4+10>=0;
      x3+x4-95>=0; x4-45>=0; x1-x4>=0; x2-x4>=0; x3-x4>=0; t+x5-40>=0;
      -x1+x5+40>=0; x1+x5-100>=0; -x2+x5+30>=0; x2+x5-95>=0; -x3+x5+20>=0;
      x3+x5-90>=0; -x4+x5+10>=0; x4+x5-85>=0; x5-40>=0; x1-x5>=0; x2-x5>=0;
      x3-x5>=0; x4-x5>=0; t+x6-36>=0; -x1+x6+50>=0; x1+x6-96>=0;
      -x2+x6+40>=0; x2+x6-91>=0; -x3+x6+30>=0; x3+x6-86>=0; -x4+x6+20>=0;
      x4+x6-81>=0; -x5+x6+10>=0; x5+x6-76>=0; x6-36>=0; x1-x6>=0; x2-x6>=0;
      x3-x6>=0; x4-x6>=0; x5-x6>=0|];;
v5: [|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-50>=0;
                                             -x1+x3+20>=0; x1+x3-110>=0;
                                             -x2+x3+10>=0; x2+x3-105>=0;
                                             x3-50>=0; x1-x3>=0; x2-x3>=0;
                                             t+x4-45>=0; -x1+x4+30>=0;
                                             x1+x4-105>=0; -x2+x4+20>=0;
                                             x2+x4-100>=0; -x3+x4+10>=0;
                                             x3+x4-95>=0; x4-45>=0; x1-x4>=0;
                                             x2-x4>=0; x3-x4>=0; t+x5-41>=0;
                                             -x1+x5+40>=0; x1+x5-101>=0;
                                             -x2+x5+30>=0; x2+x5-96>=0;
                                             -x3+x5+20>=0; x3+x5-91>=0;
                                             -x4+x5+10>=0; x4+x5-86>=0;
                                             x5-41>=0; x1-x5>=0; x2-x5>=0;
                                             x3-x5>=0; x4-x5>=0; t+x6-35>=0;
                                             -x1+x6+50>=0; x1+x6-95>=0;
                                             -x2+x6+40>=0; x2+x6-90>=0;
                                             -x3+x6+30>=0; x3+x6-85>=0;
                                             -x4+x6+20>=0; x4+x6-80>=0;
                                             -x5+x6+10>=0; x5+x6-76>=0;
                                             x6-35>=0; x1-x6>=0; x2-x6>=0;
                                             x3-x6>=0; x4-x6>=0; x5-x6>=0|];;
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; t+x4-45>=0; -x1+x4+30>=0; x1+x4-105>=0;
-x2+x4+20>=0; x2+x4-100>=0; -x3+x4+10>=0; x3+x4-96>=0; x4-45>=0; x1-x4>=0;
x2-x4>=0; x3-x4>=0; t+x5-40>=0; -x1+x5+40>=0; x1+x5-100>=0; -x2+x5+30>=0;
x2+x5-95>=0; -x3+x5+20>=0; x3+x5-91>=0; -x4+x5+10>=0; x4+x5-85>=0; x5-40>=0;
x1-x5>=0; x2-x5>=0; x3-x5>=0; x4-x5>=0; t+x6-35>=0; -x1+x6+50>=0;
x1+x6-95>=0; -x2+x6+40>=0; x2+x6-90>=0; -x3+x6+30>=0; x3+x6-86>=0;
-x4+x6+20>=0; x4+x6-80>=0; -x5+x6+10>=0; x5+x6-75>=0; x6-35>=0; x1-x6>=0;
x2-x6>=0; x3-x6>=0; x4-x6>=0; x5-x6>=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; t+x4-45>=0;
                                                 -x1+x4+30>=0; x1+x4-105>=0;
                                                 -x2+x4+20>=0; x2+x4-100>=0;
                                                 -x3+x4+10>=0; x3+x4-95>=0;
                                                 x4-45>=0; x1-x4-6>=0;
                                                 x2-x4-4>=0; x3-x4-2>=0;
                                                 t+x5-40>=0; -x1+x5+40>=0;
                                                 x1+x5-100>=0; -x2+x5+30>=0;
                                                 x2+x5-95>=0; -x3+x5+20>=0;
                                                 x3+x5-90>=0; -x4+x5+10>=0;
                                                 x4+x5-85>=0; x5-40>=0;
                                                 x1-x5-8>=0; x2-x5-6>=0;
                                                 x3-x5-4>=0; x4-x5-2>=0;
                                                 t+x6-35>=0; -x1+x6+50>=0;
                                                 x1+x6-95>=0; -x2+x6+40>=0;
                                                 x2+x6-90>=0; -x3+x6+30>=0;
                                                 x3+x6-85>=0; -x4+x6+20>=0;
                                                 x4+x6-80>=0; -x5+x6+10>=0;
                                                 x5+x6-75>=0; x6-35>=0;
                                                 x1-x6-10>=0; x2-x6-8>=0;
                                                 x3-x6-6>=0; x4-x6-4>=0;
                                                 x5-x6-2>=0|];;
v4: [|
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-50>=0; -x1+x3+20>=0; x1+x3-110>=0; -x2+x3+10>=0; x2+x3-105>=0;
x3-50>=0; x1-x3>=0; x2-x3>=0; t+x4-46>=0; -x1+x4+30>=0; x1+x4-106>=0;
-x2+x4+20>=0; x2+x4-101>=0; -x3+x4+10>=0; x3+x4-96>=0; x4-46>=0; x1-x4>=0;
x2-x4>=0; x3-x4>=0; t+x5-40>=0; -x1+x5+40>=0; x1+x5-100>=0; -x2+x5+30>=0;
x2+x5-95>=0; -x3+x5+20>=0; x3+x5-90>=0; -x4+x5+10>=0; x4+x5-86>=0; x5-40>=0;
x1-x5>=0; x2-x5>=0; x3-x5>=0; x4-x5>=0; t+x6-35>=0; -x1+x6+50>=0;
x1+x6-95>=0; -x2+x6+40>=0; x2+x6-90>=0; -x3+x6+30>=0; x3+x6-85>=0;
-x4+x6+20>=0; x4+x6-81>=0; -x5+x6+10>=0; x5+x6-75>=0; x6-35>=0; x1-x6>=0;
x2-x6>=0; x3-x6>=0; x4-x6>=0; x5-x6>=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; t+x4-45>=0;
                                                 -x1+x4+30>=0; x1+x4-105>=0;
                                                 -x2+x4+20>=0; x2+x4-101>=0;
                                                 -x3+x4+10>=0; x3+x4-95>=0;
                                                 x4-45>=0; x1-x4>=0;
                                                 x2-x4>=0; x3-x4>=0;
                                                 t+x5-40>=0; -x1+x5+40>=0;
                                                 x1+x5-100>=0; -x2+x5+30>=0;
                                                 x2+x5-96>=0; -x3+x5+20>=0;
                                                 x3+x5-90>=0; -x4+x5+10>=0;
                                                 x4+x5-85>=0; x5-40>=0;
                                                 x1-x5>=0; x2-x5>=0;
                                                 x3-x5>=0; x4-x5>=0;
                                                 t+x6-35>=0; -x1+x6+50>=0;
                                                 x1+x6-95>=0; -x2+x6+40>=0;
                                                 x2+x6-91>=0; -x3+x6+30>=0;
                                                 x3+x6-85>=0; -x4+x6+20>=0;
                                                 x4+x6-80>=0; -x5+x6+10>=0;
                                                 x5+x6-75>=0; x6-35>=0;
                                                 x1-x6>=0; x2-x6>=0;
                                                 x3-x6>=0; x4-x6>=0; 
                                                 x5-x6>=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-105>=0; x3-50>=0; t+x4-45>=0; x1+x4-105>=0; x2+x4-100>=0;
x3+x4-95>=0; x4-45>=0; t+x5-40>=0; x1+x5-100>=0; x2+x5-95>=0; x3+x5-90>=0;
x4+x5-85>=0; x5-40>=0; t+x6-35>=0; x1+x6-95>=0; x2+x6-90>=0; x3+x6-85>=0;
x4+x6-80>=0; x5+x6-75>=0; x6-35>=0|];;
[runlim] end:			Sat Nov 29 19:39:09 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.74 seconds
[runlim] time:			0.29 seconds
[runlim] space:			11.4 MB
[runlim] samples:		3