v5: [|t>=0; t+x>=0; x>=0; t+y>=0; x+y>=0; y>=0; t-y>=0; x-y>=0; -y>=0|];;
v4: [|
t>=0; t+x>=0; x>=0; t-x+2>=0; -x+2>=0; t-y+5>=0; -x-y+7>=0; x-y+5>=0; 
-y+5>=0|];;
v3: [|t>=0; t+x-2>=0; x-2>=0; t+y-5>=0; x+y-7>=0; y-5>=0|];;
v2: [|
t>=0; t+x>=0; x>=0; t-x+2>=0; -x+2>=0; t+y-10>=0; -x+y-8>=0; x+y-10>=0;
y-10>=0|];;
v1: [|t>=0; t+x>=0; x>=0; t-y+10>=0; x-y+10>=0; -y+10>=0|];;
[runlim] end:			Sat Nov 29 21:49:11 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.31 seconds
[runlim] time:			0.00 seconds
[runlim] space:			0.0 MB
[runlim] samples:		0