/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 000030021031320332x1003201033103200302x1000202021000211311x1202022300110001011x1001310012011201313x1030210110101302113x1002022220312133000x1223220302012301000x1002120312320003331x1021332213020010303x1003220323213312222x1232322230102301322x1010022331002211331x1012323010102121303x1012030200331000010x1030010100301202300x1012233100000031010x1010123003310020100x1020333002023310332x1023130002332303032x1021121120003312100x1003011102320210121x1021331001031213311x1002331332101111103x1022032033023133312x1032223133302013230x1022300312003312100x1001010330010232232x1023100320021130133x1023130130210321003x1031013332330220320x1010223313032230330x1031213320312213031x1012231301302133231x1033201112120023112x1021321230203011112x1110010112313121331x1111101123113203031x1111021211212103300x1112230113110210210x1112220333213230032x1113221033302302232x1120023232202021202x1222301001222223002x1120032013213103023x1122130010133230023x1121022113100331003x1100113211032301203x1121113311131130201x1131111022111313301x1130211200331103121x1130312311210100213x1131031320313032112x1103313231323101012x1131132231320323032x1132333021232101332x1132200331101133031x1101133010130323231x1133312020212133310x1121121302132330330x1200011221121303330x1222123303011013010x1201313033121300101x1210133010330110321x1202013131331000220x1302032110212103030x1203222213311210031x1222032232101111330x1210010102010011331x1210301021000101311x1211003133230320313x1330121022303011333x1211131132231000213x1012102311112320133x1212022222033100202x1201021222030302222x1212122231223333211x1213222132332232111x1221211310333332122x1221323113213103322x1221333100312322020x1230122230101223033x1230002120232110330x1231130222303012000x1230012330303100030x1230030210330130300x1231232302000011032x1002123030101223032x1231313012121131312x1212331113332011112x1232003121030223110x1231103201302230210x1233001202131213123x1233012231100231321x1233302133130203122x1233022331100332132x1300313111330321220x1312311231302301030x1300331202112000001x1300132200301002101x1301002232201112103x1301021221021030123x1302000323222331202x1302021332300223022x1302111212310211210x1311321012120112210x1310002033330311202x1303023323012101300x1310011331033122121x1302112130311011323x1310131200012000000x1230001001321001000x1311320300010003031x1330100230303001101x1312023122222203123x1230011222232223321x1312220210031333320x1303200311221332320x1312310310212012303x1332330210112121003x1312331331031230003x1311301230323030133x1313131212331333232x1313213331133323212x1313200032030001122x1303022110023003012x1320033331311123203x1323130313230013321x1320102003103333101x1323103233000101301x1320120221133003133x1332301203213012301x1320132002203300303x1300202302330130023x1320312122022021333x1322332301221022130x1322020033003331231x1333223023001300231x1322033210321202113x1323221320301101223x1330032212231032010x1302230230311301220x1331031331020001121x1011323013301121003x1331033103123002330x1313013233303100230x1331110120233123131x1331211301301322311x1331200023230031300x1303002211303203030x1332011133220020003x1303100301010222323x1332333102202332023x1332012302323223303x1333131231310302133x1332103332033311113x1333233210033003131x1333232130100330331x1333323220311321213x1333031121222313233x12.1000030021031320332x1003201033103200302x1000202021000211311x1202022300110001011x1001310012011201313x1030210110101302113x1002022220312133000x1223220302012301000x1002120312320003331x1021332213020010303x1003220323213312222x1232322230102301322x1010022331002211331x1012323010102121303x1012030200331000010x1030010100301202300x1012233100000031010x1010123003310020100x1020333002023310332x1023130002332303032x1021121120003312100x1003011102320210121x1021331001031213311x1002331332101111103x1022032033023133312x1032223133302013230x1022300312003312100x1001010330010232232x1023100320021130133x1023130130210321003x1031013332330220320x1010223313032230330x1031213320312213031x1012231301302133231x1033201112120023112x1021321230203011112x1110010112313121331x1111101123113203031x1111021211212103300x1112230113110210210x1112220333213230032x1113221033302302232x1120023232202021202x1222301001222223002x1120032013213103023x1122130010133230023x1121022113100331003x1100113211032301203x1121113311131130201x1131111022111313301x1130211200331103121x1130312311210100213x1131031320313032112x1103313231323101012x1131132231320323032x1132333021232101332x1132200331101133031x1101133010130323231x1133312020212133310x1121121302132330330x1200011221121303330x1222123303011013010x1201313033121300101x1210133010330110321x1202013131331000220x1302032110212103030x1203222213311210031x1222032232101111330x1210010102010011331x1210301021000101311x1211003133230320313x1330121022303011333x1211131132231000213x1012102311112320133x1212022222033100202x1201021222030302222x1212122231223333211x1213222132332232111x1221211310333332122x1221323113213103322x1221333100312322020x1230122230101223033x1230002120232110330x1231130222303012000x1230012330303100030x1230030210330130300x1231232302000011032x1002123030101223032x1231313012121131312x1212331113332011112x1232003121030223110x1231103201302230210x1233001202131213123x1233012231100231321x1233302133130203122x1233022331100332132x1300313111330321220x1312311231302301030x1300331202112000001x1300132200301002101x1301002232201112103x1301021221021030123x1302000323222331202x1302021332300223022x1302111212310211210x1311321012120112210x1310002033330311202x1303023323012101300x1310011331033122121x1302112130311011323x1310131200012000000x1230001001321001000x1311320300010003031x1330100230303001101x1312023122222203123x1230011222232223321x1312220210031333320x1303200311221332320x1312310310212012303x1332330210112121003x1312331331031230003x1311301230323030133x1313131212331333232x1313213331133323212x1313200032030001122x1303022110023003012x1320033331311123203x1323130313230013321x1320102003103333101x1323103233000101301x1320120221133003133x1332301203213012301x1320132002203300303x1300202302330130023x1320312122022021333x1322332301221022130x1322020033003331231x1333223023001300231x1322033210321202113x1323221320301101223x1330032212231032010x1302230230311301220x1331031331020001121x1011323013301121003x1331033103123002330x1313013233303100230x1331110120233123131x1331211301301322311x1331200023230031300x1303002211303203030x1332011133220020003x1303100301010222323x1332333102202332023x1332012302323223303x1333131231310302133x1332103332033311113x1333233210033003131x1333232130100330331x1333323220311321213x1333031121222313233x1ttt2ttt2 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])))