/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 000120033122112231x1030123220012231101x1000331302311222020x1010001232133202320x1001013233210102210x1031132232000011210x1010102200131230222x1010112312002230202x1010131301230031311x1011323031100310311x1010200033011220000x1010133020200102000x1013221310312000102x1013020301221113002x1013303023221121222x1123110230212302232x1021220033011101002x1021012013001213002x1022132013331300323x1023323011231303023x1022302101301200301x1023231320000200111x1022331131331321103x1033232313110113213x1030000131233212102x1310332321101002002x1031131312000003311x1330011332001310011x1031321101313112231x1310323231111320111x1033030121030021311x1001002333230011311x1033310103221033030x1301331320010320330x1033310210330312233x1020012333233031133x1033330321300130221x1033311000323023231x1100111023032223330x1032323320011211300x1100201032220130323x1312011002320002323x1102002210311330112x1023020011112113302x1102010033212121201x1121012320023102101x1102011221031031010x1112021012031003110x1102013333103122222x1121123032020323132x1102202222020231203x1102222021223200203x1102220111033013111x1231001132302110111x1103012221101010321x1001210111200233121x1103030031222331123x1332011130220130323x1103223121001222302x1112002212320320132x1110033031322320202x1123203012013203302x1113210230031303322x1132010133133200322x1122101322113023132x1113231211203102232x1122230121023000112x1112002320121120302x1122301312120320030x1121112332023230000x1132221010020321010x1103020212320120110x1132312123001103122x1132112310023031122x1200222011221031322x1200213110122022322x1202021033003313303x1200013032320330313x1202110310022102212x1201202022120110312x1202222020123000300x1230020320202100220x1210113221132303123x1233023112011132123x1210212003122212130x1213102120212123020x1211222102300321322x1200232212210131322x1212011112210213300x1201132201102112310x1220220333330223012x1230322012032323302x1221112320333013321x1201233012321313321x1221221301130210012x1213122001321021012x1222022221200131120x1212012023222110220x1222101312010102200x1232120201201211000x1222122323010013303x1230321213202003213x1222131210222010222x1222222021231012102x1222202001301331212x1221112300303212202x1222230231332211102x1220122132331232012x1222232033330223302x1233333232223200022x1222323333220102112x1201232113202332232x1223120212210133110x1211323202121100231x1230200130001203222x1200203131002203202x1231022123021311322x1202323113213210122x1233001000021222122x1220022012101033022x1233102203221321202x1232220113321320202x1300000221201121122x1020021112021310022x1300130221020131322x1302020021123310312x1303122221210301030x1301200230130231122x1310222302022223302x1323232012232000222x1310320333333221213x1323032101332333213x1310321220200030000x1023232001002030100x1312203001100301031x1332321100010000131x1312221023100002211x1023122100100223211x1313132222333132200x1323320212132213330x1313322312331213331x1333213311232332311x1313333303312312122x1333023123313113232x1321123303131300233x1323130332310102133x1322222223310322202x1322310222232023222x1323030031301022212x1110023230200231332x1330013022103330130x1010132310023303330x1333022013312010212x1331303201213212002x1333123121102221321x1332312311012221321x1333221002230333130x1331320230012323330x1333331311302021013x1330331123313021013x12.1000120033122112231x1030123220012231101x1000331302311222020x1010001232133202320x1001013233210102210x1031132232000011210x1010102200131230222x1010112312002230202x1010131301230031311x1011323031100310311x1010200033011220000x1010133020200102000x1013221310312000102x1013020301221113002x1013303023221121222x1123110230212302232x1021220033011101002x1021012013001213002x1022132013331300323x1023323011231303023x1022302101301200301x1023231320000200111x1022331131331321103x1033232313110113213x1030000131233212102x1310332321101002002x1031131312000003311x1330011332001310011x1031321101313112231x1310323231111320111x1033030121030021311x1001002333230011311x1033310103221033030x1301331320010320330x1033310210330312233x1020012333233031133x1033330321300130221x1033311000323023231x1100111023032223330x1032323320011211300x1100201032220130323x1312011002320002323x1102002210311330112x1023020011112113302x1102010033212121201x1121012320023102101x1102011221031031010x1112021012031003110x1102013333103122222x1121123032020323132x1102202222020231203x1102222021223200203x1102220111033013111x1231001132302110111x1103012221101010321x1001210111200233121x1103030031222331123x1332011130220130323x1103223121001222302x1112002212320320132x1110033031322320202x1123203012013203302x1113210230031303322x1132010133133200322x1122101322113023132x1113231211203102232x1122230121023000112x1112002320121120302x1122301312120320030x1121112332023230000x1132221010020321010x1103020212320120110x1132312123001103122x1132112310023031122x1200222011221031322x1200213110122022322x1202021033003313303x1200013032320330313x1202110310022102212x1201202022120110312x1202222020123000300x1230020320202100220x1210113221132303123x1233023112011132123x1210212003122212130x1213102120212123020x1211222102300321322x1200232212210131322x1212011112210213300x1201132201102112310x1220220333330223012x1230322012032323302x1221112320333013321x1201233012321313321x1221221301130210012x1213122001321021012x1222022221200131120x1212012023222110220x1222101312010102200x1232120201201211000x1222122323010013303x1230321213202003213x1222131210222010222x1222222021231012102x1222202001301331212x1221112300303212202x1222230231332211102x1220122132331232012x1222232033330223302x1233333232223200022x1222323333220102112x1201232113202332232x1223120212210133110x1211323202121100231x1230200130001203222x1200203131002203202x1231022123021311322x1202323113213210122x1233001000021222122x1220022012101033022x1233102203221321202x1232220113321320202x1300000221201121122x1020021112021310022x1300130221020131322x1302020021123310312x1303122221210301030x1301200230130231122x1310222302022223302x1323232012232000222x1310320333333221213x1323032101332333213x1310321220200030000x1023232001002030100x1312203001100301031x1332321100010000131x1312221023100002211x1023122100100223211x1313132222333132200x1323320212132213330x1313322312331213331x1333213311232332311x1313333303312312122x1333023123313113232x1321123303131300233x1323130332310102133x1322222223310322202x1322310222232023222x1323030031301022212x1110023230200231332x1330013022103330130x1010132310023303330x1333022013312010212x1331303201213212002x1333123121102221321x1332312311012221321x1333221002230333130x1331320230012323330x1333331311302021013x1330331123313021013x1ttt2ttt2 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])))