v4: [|th-15=0; t>=0; -x1+6>=0; -x2+6>=0|];;
v3: [|t>=0; -th+15>=0; th-3>=0|];;
v2: [|
t>=0; -th+15>=0; th-3>=0|];;
v1: [|t>=0; -th+15>=0|];;
[runlim] end:			Sat Nov 29 19:34:51 2014
[runlim] status:		ok
[runlim] result:		0
[runlim] children:		0
[runlim] real:			0.82 seconds
[runlim] time:			0.00 seconds
[runlim] space:			0.0 MB
[runlim] samples:		0