/export/starexec/sandbox2/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 010223x1022103x1044104x1044401x1040042351x1503240014x1123101420x1403211210x1134041123544x1244013514341x1411330150442233543x1404243134351203513x11043121204332152321x11421141030531322322x11113045030113045330x14503341001113103530x11323050411244335405x14212534113003340545x13022011501110204501x15121400301001012512x10215415401202121113525x12113542505211121402051x12253330413545134103540x10153413533134534402250x125514332111504435141452x134514452155501211134342x1340223242353501355244233x1553222054333202421534343x1552021552144524411132555x1545054212411212453152555x11524133530425152010305514x11523154552342354113001050x13151044112202332233541251x11303552123252310213141244x1001400421553034014315520023x1005412421542050003413530103x1115445045110321302153204502x1234015051120341304152504251x1152430143505013201433210155x1151410035500301145323124253x10125331041420104410532125251x10115354023000451412152143221x10414224003530050455532110231x10124113052303050452454150203x120310431522411302425222415512x120022152313314521425222054411x10502304004335045414025553152233x12353504000334041453425555200213x11235350333131033520344004040022x11335055341233004210003234030432x13242231412010521301120401034214x10212141312450021141340102332024x14040421512310033435421553401352x14043123425320513410351241304055x1224355413045522335210311033300103x1241515040002323325151332533431003x12440213500144211200522325510113445x12430501110211222400452435504113425x15435235122313232410145414401025220x15415225340504230034521423411211223x103045551304434525001505504511043452x103001551344140455422555500013453450x142122151530535044312120244311445512x141522053022215341215310344411445521x154411352225333045323055122011315002x134510232320353145222015521145350013x1003000341405215241115225340043135411x1001405014400215310105225343143345121x1211432241533332443014320021522301512x1031234022313135443214342011522305212x1454440445520250314343014410454331105x1444531125534451334400050110452034444x100551014520525210511450210341250144535x103451005100545012554410213221051514525x10130310304303213505301011430514333000534x10310540304505133003031321154311033003430x1433000324300442442125500425510445023324404x1422400325345400402105524335410440043322404x1010401111103433140201104433501103040040313535x1033101310153403140231405403011100040041511433x1022313405332021502032145044023012121153230352x1022503425032121301034044022023332131152135052x1220455351235255332111313534152114112232422533x1221151321313255355121353124035424112233224553x125050151344313330533043332442252433512104152322x122050251332314320533443232410452430511234153353x145423324103443140014445204222204343032533053041x145325423144443244014420034320201343035232053041x1031451224513532304521445310112534550230410330244x1031451522523444305422340510012135520531410334134x1144254521442023503350350400552504032215324315441x1421204555445003402343312454525205030015321215434x1231512333521553405222323333132202141443244042430x1132332342420153405221321533332202244315304542341x1455444332014531154302425420341425154040022203020x1405445312134533124314254440400420152220052203540x11352540145521254131353425013533022225145314021511x12352540555421330112351421514023032235115311424515x14034140453023420524153042535101103533450443321155x14104510453023420524103011503114352525443543334035x12.1010223x1022103x1044104x1044401x1040042351x1503240014x1123101420x1403211210x1134041123544x1244013514341x1411330150442233543x1404243134351203513x11043121204332152321x11421141030531322322x11113045030113045330x14503341001113103530x11323050411244335405x14212534113003340545x13022011501110204501x15121400301001012512x10215415401202121113525x12113542505211121402051x12253330413545134103540x10153413533134534402250x125514332111504435141452x134514452155501211134342x1340223242353501355244233x1553222054333202421534343x1552021552144524411132555x1545054212411212453152555x11524133530425152010305514x11523154552342354113001050x13151044112202332233541251x11303552123252310213141244x1001400421553034014315520023x1005412421542050003413530103x1115445045110321302153204502x1234015051120341304152504251x1152430143505013201433210155x1151410035500301145323124253x10125331041420104410532125251x10115354023000451412152143221x10414224003530050455532110231x10124113052303050452454150203x120310431522411302425222415512x120022152313314521425222054411x10502304004335045414025553152233x12353504000334041453425555200213x11235350333131033520344004040022x11335055341233004210003234030432x13242231412010521301120401034214x10212141312450021141340102332024x14040421512310033435421553401352x14043123425320513410351241304055x1224355413045522335210311033300103x1241515040002323325151332533431003x12440213500144211200522325510113445x12430501110211222400452435504113425x15435235122313232410145414401025220x15415225340504230034521423411211223x103045551304434525001505504511043452x103001551344140455422555500013453450x142122151530535044312120244311445512x141522053022215341215310344411445521x154411352225333045323055122011315002x134510232320353145222015521145350013x1003000341405215241115225340043135411x1001405014400215310105225343143345121x1211432241533332443014320021522301512x1031234022313135443214342011522305212x1454440445520250314343014410454331105x1444531125534451334400050110452034444x100551014520525210511450210341250144535x103451005100545012554410213221051514525x10130310304303213505301011430514333000534x10310540304505133003031321154311033003430x1433000324300442442125500425510445023324404x1422400325345400402105524335410440043322404x1010401111103433140201104433501103040040313535x1033101310153403140231405403011100040041511433x1022313405332021502032145044023012121153230352x1022503425032121301034044022023332131152135052x1220455351235255332111313534152114112232422533x1221151321313255355121353124035424112233224553x125050151344313330533043332442252433512104152322x122050251332314320533443232410452430511234153353x145423324103443140014445204222204343032533053041x145325423144443244014420034320201343035232053041x1031451224513532304521445310112534550230410330244x1031451522523444305422340510012135520531410334134x1144254521442023503350350400552504032215324315441x1421204555445003402343312454525205030015321215434x1231512333521553405222323333132202141443244042430x1132332342420153405221321533332202244315304542341x1455444332014531154302425420341425154040022203020x1405445312134533124314254440400420152220052203540x11352540145521254131353425013533022225145314021511x12352540555421330112351421514023032235115311424515x14034140453023420524153042535101103533450443321155x14104510453023420524103011503114352525443543334035x1ttt2ttt2 1.17 [hg: a28b6edf8379]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))