/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 000003001313123131x1000003133211301013x1000111312120302312x1032100321012131201x1000123103230033122x1033102002013102332x1000202233031313120x1330032300122321010x1000310223203021210x1023320130010221002x1000311303230233320x1013323300100033322x1011000122112233112x1011222103213210101x1012001131303111032x1011110213102130330x1012111310313113121x1331321111101013211x1012213112032111221x1012201122211113321x1020020213021131303x1022322130011300013x1021230303301030130x1032033010313321000x1021300211111132002x1001121133101210022x1030112001230031001x1001000022103331101x1030132231221103210x1012100321201333212x1030331202320311113x1321322133003101013x1031002320123032022x1022002002110332332x1031032000323120230x1002233030032301120x1032000013103133012x1001301000102333321x1032012302231323302x1233233320000122312x1032220031310310300x1200103320130123300x1101210220011103120x1221010210210310110x1102020021111223120x1220001321110122102x1103112012311313011x1101301031111233121x1110333122030322231x1110203331223302231x1111021123131312131x1332113311211011211x1111131302210231202x1122211303301011221x1112032220120220323x1122212210232023003x1112131002000311112x1110122101103032101x1112303112231201301x1213101110123023321x1113120100033020312x1121031203000133012x1113231312333231200x1120232111133333230x1120223212331312311x1121220211121332333x1120231101203123320x1110001331231322220x1120312321030313201x1110012123012332330x1121222231131120113x1113212121023122113x1123032032303023112x1110230210332223330x1130033131210313300x1133330010131300321x1131112302333123120x1213123301332121310x1133003102312333212x1133012030121333232x1200320313022220111x1212330102002032211x1201201230200131030x1223300012130100201x1201202300332201112x1210122033302201012x1202010103121312330x1130102332100221310x1202203031113323030x1223230130301332100x1203031233003112223x1233203211103203023x1203130212231030030x1201210332033302100x1203311323312203133x1231331211022033333x1211123020031003220x1201320012132320100x1213120131222123012x1221332220210321111x1231033133030223222x1231302001332323322x1231230331223211322x1232231123221333102x1232332323200131113x1221333133223102013x1233031031222103010x1230310323321012010x1233123120102021112x1213312102120321012x1300030330033213023x1330333300102300023x1300322102301021311x1321111002332100230x1301103230023131122x1211332130023100321x1301202331131203301x1301131011230333220x1301203010201230310x1002101333302101200x1302122311311030301x1311232130213301010x1302230020302213112x1322000133320201122x1302301301113023220x1301023232033102110x1303022320021231212x1022320203210133212x1303213002301203220x1302002133313002220x1311032313113223132x1312323201331332111x1311113121300030130x1011023330111103310x1311303011113120013x1011112330110013313x1311303313111310300x1033333301011131101x1312120231220203210x1030211022221331022x1312230031231233210x1333212130013102232x1312322031232313133x1320121113222333333x1313120203132210330x1313323003011013222x1320032321303303010x1322311302333300000x1320310222120311123x1023133200112122123x1321220330220023100x1022333322102120000x1323012010330011320x1323200023301131010x1323032223123233121x1313221223332330122x1331202231203210112x1310132032223212101x1332032302331113221x1333323010223312211x12.1000003001313123131x1000003133211301013x1000111312120302312x1032100321012131201x1000123103230033122x1033102002013102332x1000202233031313120x1330032300122321010x1000310223203021210x1023320130010221002x1000311303230233320x1013323300100033322x1011000122112233112x1011222103213210101x1012001131303111032x1011110213102130330x1012111310313113121x1331321111101013211x1012213112032111221x1012201122211113321x1020020213021131303x1022322130011300013x1021230303301030130x1032033010313321000x1021300211111132002x1001121133101210022x1030112001230031001x1001000022103331101x1030132231221103210x1012100321201333212x1030331202320311113x1321322133003101013x1031002320123032022x1022002002110332332x1031032000323120230x1002233030032301120x1032000013103133012x1001301000102333321x1032012302231323302x1233233320000122312x1032220031310310300x1200103320130123300x1101210220011103120x1221010210210310110x1102020021111223120x1220001321110122102x1103112012311313011x1101301031111233121x1110333122030322231x1110203331223302231x1111021123131312131x1332113311211011211x1111131302210231202x1122211303301011221x1112032220120220323x1122212210232023003x1112131002000311112x1110122101103032101x1112303112231201301x1213101110123023321x1113120100033020312x1121031203000133012x1113231312333231200x1120232111133333230x1120223212331312311x1121220211121332333x1120231101203123320x1110001331231322220x1120312321030313201x1110012123012332330x1121222231131120113x1113212121023122113x1123032032303023112x1110230210332223330x1130033131210313300x1133330010131300321x1131112302333123120x1213123301332121310x1133003102312333212x1133012030121333232x1200320313022220111x1212330102002032211x1201201230200131030x1223300012130100201x1201202300332201112x1210122033302201012x1202010103121312330x1130102332100221310x1202203031113323030x1223230130301332100x1203031233003112223x1233203211103203023x1203130212231030030x1201210332033302100x1203311323312203133x1231331211022033333x1211123020031003220x1201320012132320100x1213120131222123012x1221332220210321111x1231033133030223222x1231302001332323322x1231230331223211322x1232231123221333102x1232332323200131113x1221333133223102013x1233031031222103010x1230310323321012010x1233123120102021112x1213312102120321012x1300030330033213023x1330333300102300023x1300322102301021311x1321111002332100230x1301103230023131122x1211332130023100321x1301202331131203301x1301131011230333220x1301203010201230310x1002101333302101200x1302122311311030301x1311232130213301010x1302230020302213112x1322000133320201122x1302301301113023220x1301023232033102110x1303022320021231212x1022320203210133212x1303213002301203220x1302002133313002220x1311032313113223132x1312323201331332111x1311113121300030130x1011023330111103310x1311303011113120013x1011112330110013313x1311303313111310300x1033333301011131101x1312120231220203210x1030211022221331022x1312230031231233210x1333212130013102232x1312322031232313133x1320121113222333333x1313120203132210330x1313323003011013222x1320032321303303010x1322311302333300000x1320310222120311123x1023133200112122123x1321220330220023100x1022333322102120000x1323012010330011320x1323200023301131010x1323032223123233121x1313221223332330122x1331202231203210112x1310132032223212101x1332032302331113221x1333323010223312211x1ttt2ttt2 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])))