/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 000122011313000032x1000301103223011002x1000201230230012301x1023003212000230101x1001233102202321313x1030133122221020133x1001302000123200000x1000020003121023000x1002313301301330320x1030213013303033120x1003021003111130000x1000123131010103000x1003233000300003330x1023003303000330030x1010200021002221100x1011020220022010100x1011003130100122131x1012330201103101101x1011130300002301311x1013130010303020111x1012100101321300002x1010010321100201032x1012131321311120000x1011103310103122210x1022113010200022121x1020202012102023111x1022310130110102300x1023020210301131010x1032123112323313230x1013123331212223330x1033232133302130003x1033032033210031233x1102000231311232023x1103102032132201230x1102000322320010101x1102201020320010301x1110112223013302123x1111002311232223103x1111312230021221101x1101122310110221231x1112221123131323221x1111232221332213121x1113021200013100302x1102031101033021002x1121202322302011100x1121220023101220310x1121320120010011200x1101120102101020320x1122000013213113111x1120311132002113101x1122002011222020200x1102020220120201220x1123001210022313232x1122303121003213022x1123013003301312123x1103230213103031213x1123230303210111311x1111133320303221011x1123331302320221133x1121332201031332233x1130113311013120101x1131010311031032111x1130300012232113003x1101133200320312003x1130323132003021012x1100032030323132112x1131022110011302100x1101011002121032310x1131121200202021230x1122120212203003110x1132333313022022113x1103113330222221333x1200103030022332323x1222132030033030203x1200123013200220300x1220203120020303100x1201212311111300111x1300321211111210111x1201232200302232332x1322032012032203232x1201301203223130113x1211310330230321210x1202033133001323102x1203113021033230302x1202100301303321120x1310332020311002210x1202321320231013011x1321110103232022031x1210021022113002013x1211022001102030123x1210022321213330323x1230313320321222103x1211032320021121323x1213321111202320203x1211310232113331023x1211212130333101233x1212111130000313332x1311010201133310322x1212113330210013333x1120321020333111333x1213332300222100001x1020322001221033031x1221321121130123211x1201133212122113121x1223002003201000230x1002023032020200310x1223022001332232020x1230230102223220320x1223331133031100003x1023333030310112103x1230032023320021232x1221320223303203002x1232133301111000010x1030101112130203310x1233113201332020211x1233212210332103101x1233330002130230023x1002122023030033333x1300011331223230213x1312330012022303113x1300030323302123213x1203330122310320033x1300112231112012011x1313202111011221001x1300112330011302200x1311000032302231010x1300120002300201313x1300000010021213233x1301313013001213333x1133323101033031103x1302003033221111333x1033312212033011033x1302113223031232131x1313333202321022111x1302300232311232313x1322032003132231133x1311202023133001300x1303321003210021130x1312001311222300301x1120023210310203131x1312330130033030213x1330011033020321333x1313133220231322003x1322010333312021233x1313211323213002303x1333302120122301133x1313313000002122310x1113210302302033010x1320102003112133233x1302103011233212033x1321130302300111330x1310231021100333310x1322321323120030032x1303302220321330212x1323003101130033211x1311010303312320301x1323333013210232333x1333333310323201223x1332223022323130213x1222232133103022333x10123x10123x12.1000122011313000032x1000301103223011002x1000201230230012301x1023003212000230101x1001233102202321313x1030133122221020133x1001302000123200000x1000020003121023000x1002313301301330320x1030213013303033120x1003021003111130000x1000123131010103000x1003233000300003330x1023003303000330030x1010200021002221100x1011020220022010100x1011003130100122131x1012330201103101101x1011130300002301311x1013130010303020111x1012100101321300002x1010010321100201032x1012131321311120000x1011103310103122210x1022113010200022121x1020202012102023111x1022310130110102300x1023020210301131010x1032123112323313230x1013123331212223330x1033232133302130003x1033032033210031233x1102000231311232023x1103102032132201230x1102000322320010101x1102201020320010301x1110112223013302123x1111002311232223103x1111312230021221101x1101122310110221231x1112221123131323221x1111232221332213121x1113021200013100302x1102031101033021002x1121202322302011100x1121220023101220310x1121320120010011200x1101120102101020320x1122000013213113111x1120311132002113101x1122002011222020200x1102020220120201220x1123001210022313232x1122303121003213022x1123013003301312123x1103230213103031213x1123230303210111311x1111133320303221011x1123331302320221133x1121332201031332233x1130113311013120101x1131010311031032111x1130300012232113003x1101133200320312003x1130323132003021012x1100032030323132112x1131022110011302100x1101011002121032310x1131121200202021230x1122120212203003110x1132333313022022113x1103113330222221333x1200103030022332323x1222132030033030203x1200123013200220300x1220203120020303100x1201212311111300111x1300321211111210111x1201232200302232332x1322032012032203232x1201301203223130113x1211310330230321210x1202033133001323102x1203113021033230302x1202100301303321120x1310332020311002210x1202321320231013011x1321110103232022031x1210021022113002013x1211022001102030123x1210022321213330323x1230313320321222103x1211032320021121323x1213321111202320203x1211310232113331023x1211212130333101233x1212111130000313332x1311010201133310322x1212113330210013333x1120321020333111333x1213332300222100001x1020322001221033031x1221321121130123211x1201133212122113121x1223002003201000230x1002023032020200310x1223022001332232020x1230230102223220320x1223331133031100003x1023333030310112103x1230032023320021232x1221320223303203002x1232133301111000010x1030101112130203310x1233113201332020211x1233212210332103101x1233330002130230023x1002122023030033333x1300011331223230213x1312330012022303113x1300030323302123213x1203330122310320033x1300112231112012011x1313202111011221001x1300112330011302200x1311000032302231010x1300120002300201313x1300000010021213233x1301313013001213333x1133323101033031103x1302003033221111333x1033312212033011033x1302113223031232131x1313333202321022111x1302300232311232313x1322032003132231133x1311202023133001300x1303321003210021130x1312001311222300301x1120023210310203131x1312330130033030213x1330011033020321333x1313133220231322003x1322010333312021233x1313211323213002303x1333302120122301133x1313313000002122310x1113210302302033010x1320102003112133233x1302103011233212033x1321130302300111330x1310231021100333310x1322321323120030032x1303302220321330212x1323003101130033211x1311010303312320301x1323333013210232333x1333333310323201223x1332223022323130213x1222232133103022333x10123x10123x1ttt2ttt2 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])))