/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 00001211223200021010x132113220321200022300x100010302122032232121x102002232002230122300x100012131231212232303x123302321322323110230x100030103301301222133x121223221331333222303x100232303223303113022x112202113220132120321x101000120112020010003x130222300013031122000x101032321032213020033x121112132312022120323x101113003330321300121x102300200331201230221x101123200221200113010x103002300212001131022x101200033001132130013x100232113220133233022x101201113202223223021x102232202321001221320x101202222211330001110x101202112010023200223x101221222122233120233x101230123222120212310x101321001011022303212x102220003210202211321x101331321213021211123x101332122021032223323x102010132312002202001x121330311330221202322x102011203021211200000x100302223302302021200x102101111313130233222x111222020022113110030x102123101221022303023x122011100210213023022x102210230231121310132x130223022222331113000x102223103201100230203x102302132010310002233x102231123003211032100x102223302112003200202x102302311201010000123x111231120021202233023x102312011101130300132x113011232103020111102x102323200301102111122x132202021020022300222x103021023111103101002x120330232330200112123x103100232302013122003x101100321102001230001x103122220313122332213x110222131003230023021x103123012320021032230x101211231130122002122x103200102300321201003x132223222212230110222x103212221333010231120x122232223100003323300x103212312211211101133x133332003200202122220x103222131000200321231x102303030022111000022x103230131122211303001x130213200121232132003x103301310012212020013x102222231122012031232x103303100002303113130x100331201023021122113x103312212202332210020x112212321212222110023x110001021001022212231x130212022110002000211x110013012203000333013x112311112123202203321x110132220123213012133x133223301213021102002x110223013302230023110x132321130122122121130x110232202311233030212x132200223021002231212x111002010201232111221x132021230223022031230x111013333202122313023x120023321333100223010x111033100232330013122x122003023121102110010x111212302032222023011x120222203012022020000x111212313232201010123x112003111000210120220x111230112220233133000x111313321123122021220x111230121100020133333x113100022030011200312x111311313133233222232x110002111121322222311x111322232123312110203x112113020220222232003x111332110222001031310x122110030101000000222x111333031120011310023x130332223021212002030x112012003131303010210x100323322213013023213x112023102123031201313x131211012130323220023x112030300233322313313x132200232300013332021x112031002002300231320x113232122023232121203x112102110233203202203x120002203200120002001x112102210011310222323x120232122110311002000x112221122000300101233x112203212233211122030x112320003311033023030x102112313320022312023x112321311310232332123x120222032120231122001x112333102120002022233x110222201222311100003x113022211123330221010x123011223222022022033x113132120200311213021x131232221220020300223x113302302331222312020x120212213000200321323x113310021232133202033x120222033230211313122x113321030203102112020x130223030112300212300x113322000033101211123x100320003302221213021x120003122321232233333x110022132032220110210x120112002230303013020x122202201202102300302x120220102231221300320x132322002031213202222x120231021102331121021x100232221030102121210x120303210023310030020x113023000300032321021x120303312321021102323x110221220102330202223x121110020003202313021x130321303220022013232x121111323110001201211x122312300033223330021x121203330323303220210x121112302301221202200x121213232211030223020x121230000202133321120x121233120023231310200x101002200222023032213x121313012233120102223x121012222203011101021x121330013221202321300x103030222222122101100x122020110013102122200x110023002131220221221x122103100023221021110x120021302102011200303x122113131232123000023x123002200213030100020x122133220122322002001x130021102122122221301x123023233123321321303x133222032022211322223x123131032122320120011x112112311112220033032x123202210030023231033x122303132022200132113x123330301211302102110x122011203222001032120x130013030222021231231x123322001002303023321x130212203223133230302x101230021320222112000x130301212023020220002x132221220212223301021x130303121112332312023x132002110202310322321x131030232120221102112x130122222133001212222x131221101222320210233x130022221222220330111x133033022013112012201x101100200132332232001x133100200322231020322x112232233003303300321x133130212330002300001x133303212231323213213x12.100001211223200021010x132113220321200022300x100010302122032232121x102002232002230122300x100012131231212232303x123302321322323110230x100030103301301222133x121223221331333222303x100232303223303113022x112202113220132120321x101000120112020010003x130222300013031122000x101032321032213020033x121112132312022120323x101113003330321300121x102300200331201230221x101123200221200113010x103002300212001131022x101200033001132130013x100232113220133233022x101201113202223223021x102232202321001221320x101202222211330001110x101202112010023200223x101221222122233120233x101230123222120212310x101321001011022303212x102220003210202211321x101331321213021211123x101332122021032223323x102010132312002202001x121330311330221202322x102011203021211200000x100302223302302021200x102101111313130233222x111222020022113110030x102123101221022303023x122011100210213023022x102210230231121310132x130223022222331113000x102223103201100230203x102302132010310002233x102231123003211032100x102223302112003200202x102302311201010000123x111231120021202233023x102312011101130300132x113011232103020111102x102323200301102111122x132202021020022300222x103021023111103101002x120330232330200112123x103100232302013122003x101100321102001230001x103122220313122332213x110222131003230023021x103123012320021032230x101211231130122002122x103200102300321201003x132223222212230110222x103212221333010231120x122232223100003323300x103212312211211101133x133332003200202122220x103222131000200321231x102303030022111000022x103230131122211303001x130213200121232132003x103301310012212020013x102222231122012031232x103303100002303113130x100331201023021122113x103312212202332210020x112212321212222110023x110001021001022212231x130212022110002000211x110013012203000333013x112311112123202203321x110132220123213012133x133223301213021102002x110223013302230023110x132321130122122121130x110232202311233030212x132200223021002231212x111002010201232111221x132021230223022031230x111013333202122313023x120023321333100223010x111033100232330013122x122003023121102110010x111212302032222023011x120222203012022020000x111212313232201010123x112003111000210120220x111230112220233133000x111313321123122021220x111230121100020133333x113100022030011200312x111311313133233222232x110002111121322222311x111322232123312110203x112113020220222232003x111332110222001031310x122110030101000000222x111333031120011310023x130332223021212002030x112012003131303010210x100323322213013023213x112023102123031201313x131211012130323220023x112030300233322313313x132200232300013332021x112031002002300231320x113232122023232121203x112102110233203202203x120002203200120002001x112102210011310222323x120232122110311002000x112221122000300101233x112203212233211122030x112320003311033023030x102112313320022312023x112321311310232332123x120222032120231122001x112333102120002022233x110222201222311100003x113022211123330221010x123011223222022022033x113132120200311213021x131232221220020300223x113302302331222312020x120212213000200321323x113310021232133202033x120222033230211313122x113321030203102112020x130223030112300212300x113322000033101211123x100320003302221213021x120003122321232233333x110022132032220110210x120112002230303013020x122202201202102300302x120220102231221300320x132322002031213202222x120231021102331121021x100232221030102121210x120303210023310030020x113023000300032321021x120303312321021102323x110221220102330202223x121110020003202313021x130321303220022013232x121111323110001201211x122312300033223330021x121203330323303220210x121112302301221202200x121213232211030223020x121230000202133321120x121233120023231310200x101002200222023032213x121313012233120102223x121012222203011101021x121330013221202321300x103030222222122101100x122020110013102122200x110023002131220221221x122103100023221021110x120021302102011200303x122113131232123000023x123002200213030100020x122133220122322002001x130021102122122221301x123023233123321321303x133222032022211322223x123131032122320120011x112112311112220033032x123202210030023231033x122303132022200132113x123330301211302102110x122011203222001032120x130013030222021231231x123322001002303023321x130212203223133230302x101230021320222112000x130301212023020220002x132221220212223301021x130303121112332312023x132002110202310322321x131030232120221102112x130122222133001212222x131221101222320210233x130022221222220330111x133033022013112012201x101100200132332232001x133100200322231020322x112232233003303300321x133130212330002300001x133303212231323213213x1ttt2ttt2 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])))