/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 000113120330101120x1000011132113031020x1000121323123121332x1031200231323111232x1001222300203233322x1020332023310222032x1001300013313301101x1010313330011300101x1002302122102330331x1122231020300323031x1010220330212331312x1102310311300323222x1012032200120103132x1013221031202001032x1012121221130212312x1203111112221102232x1012312020011323003x1013003201103220213x1012332323200022113x1003132232021320312x1020012122323212101x1023322211200112201x1021202133310133112x1131032113201312032x1021321220020212101x1022220210311002211x1023233021223100120x1022101133300222230x1030003333121111122x1101303013113130222x1030212202312332101x1033312123202022101x1032213313020012323x1222013033103032213x1033011230101013310x1021331313110000310x1033330021333332323x1132033330330332233x1100300131033301031x1030301130303103011x1101130101331231313x1130111332103130113x1102303231232310122x1113330320231222012x1110100123231312110x1101312103201132110x1110231322023101013x1103120231113220013x1111012323230230112x1122033112210303112x1112122322311210230x1222211013113132220x1112313112213131001x1131103221131111203x1120000023020122112x1012002110322001202x1120020022233011102x1100112221203320002x1120123330231213232x1213103223220133132x1121102101132133121x1121132010111132231x1121110133122110111x1103111112122011131x1122112123213100011x1022022311113021111x1122331331321200023x1022133122320310313x1123113010112321113x1131003212112131113x1123113313000013101x1103130131130031201x1123123323332000012x1132333222003103102x1123211331102232123x1112222311132233103x1123313320121113331x1103131331221323311x1131221010321231231x1123131202131022131x1133011112012201100x1101113221213110000x1133233312100203020x1103030123210322330x1133333333120112331x1113313333322333011x1200113123233223023x1222121200333203133x1201332321300102322x1232221310033013022x1210013220002303312x1220202130031300312x1211012310010032311x1200313112032011101x1212020012020323002x1202310202130202002x1212210100123323012x1221002332320111102x1213333022201010213x1210223103031232013x1220111212102330010x1221021132110301200x1220220133212302122x1203102222203132212x1221023222333022212x1222220031331223222x1222223022212110222x1222200223211122222x1223031220323200123x1211220303320320223x1230013301311332122x1210321310032133132x1230122221321020001x1221103200021320221x1230132123303001113x1203033121201113033x1230223102230100001x1220000303232211001x1231200011111101111x1201011111320011111x1232121020211031213x1220212310113220113x1232212123202030110x1232202112320302110x1232310333312220132x1223031313022213332x1233211321110023322x1211131031233203222x1233212302002020212x1222310130302200222x1233312011133131131x1213113331213113031x1300120222321303231x1302332222210013031x1301211033132013301x1311102230330311301x1301231232020021122x1300020132121222132x1301330120301102033x1311003031030122033x1302300101131020200x1311003022211000300x1303012112110123101x1031122121303110011x1310012221230013030x1322320112110030030x1311012021223120202x1311321002222120102x1313321310022202203x1311122032230032203x1321212222332002212x1323022131222012222x1323201220222123232x1302223222203212132x1332200010222332303x1322203230303102203x1333002331013300200x1313320312003003300x1333023303122323002x1303032223303332102x10123x10123x12.1000113120330101120x1000011132113031020x1000121323123121332x1031200231323111232x1001222300203233322x1020332023310222032x1001300013313301101x1010313330011300101x1002302122102330331x1122231020300323031x1010220330212331312x1102310311300323222x1012032200120103132x1013221031202001032x1012121221130212312x1203111112221102232x1012312020011323003x1013003201103220213x1012332323200022113x1003132232021320312x1020012122323212101x1023322211200112201x1021202133310133112x1131032113201312032x1021321220020212101x1022220210311002211x1023233021223100120x1022101133300222230x1030003333121111122x1101303013113130222x1030212202312332101x1033312123202022101x1032213313020012323x1222013033103032213x1033011230101013310x1021331313110000310x1033330021333332323x1132033330330332233x1100300131033301031x1030301130303103011x1101130101331231313x1130111332103130113x1102303231232310122x1113330320231222012x1110100123231312110x1101312103201132110x1110231322023101013x1103120231113220013x1111012323230230112x1122033112210303112x1112122322311210230x1222211013113132220x1112313112213131001x1131103221131111203x1120000023020122112x1012002110322001202x1120020022233011102x1100112221203320002x1120123330231213232x1213103223220133132x1121102101132133121x1121132010111132231x1121110133122110111x1103111112122011131x1122112123213100011x1022022311113021111x1122331331321200023x1022133122320310313x1123113010112321113x1131003212112131113x1123113313000013101x1103130131130031201x1123123323332000012x1132333222003103102x1123211331102232123x1112222311132233103x1123313320121113331x1103131331221323311x1131221010321231231x1123131202131022131x1133011112012201100x1101113221213110000x1133233312100203020x1103030123210322330x1133333333120112331x1113313333322333011x1200113123233223023x1222121200333203133x1201332321300102322x1232221310033013022x1210013220002303312x1220202130031300312x1211012310010032311x1200313112032011101x1212020012020323002x1202310202130202002x1212210100123323012x1221002332320111102x1213333022201010213x1210223103031232013x1220111212102330010x1221021132110301200x1220220133212302122x1203102222203132212x1221023222333022212x1222220031331223222x1222223022212110222x1222200223211122222x1223031220323200123x1211220303320320223x1230013301311332122x1210321310032133132x1230122221321020001x1221103200021320221x1230132123303001113x1203033121201113033x1230223102230100001x1220000303232211001x1231200011111101111x1201011111320011111x1232121020211031213x1220212310113220113x1232212123202030110x1232202112320302110x1232310333312220132x1223031313022213332x1233211321110023322x1211131031233203222x1233212302002020212x1222310130302200222x1233312011133131131x1213113331213113031x1300120222321303231x1302332222210013031x1301211033132013301x1311102230330311301x1301231232020021122x1300020132121222132x1301330120301102033x1311003031030122033x1302300101131020200x1311003022211000300x1303012112110123101x1031122121303110011x1310012221230013030x1322320112110030030x1311012021223120202x1311321002222120102x1313321310022202203x1311122032230032203x1321212222332002212x1323022131222012222x1323201220222123232x1302223222203212132x1332200010222332303x1322203230303102203x1333002331013300200x1313320312003003300x1333023303122323002x1303032223303332102x10123x10123x1ttt2ttt2 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])))