/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 000011323301120131x1000111013310320231x1000230000001103000x1003100002000310000x1001121313111221022x1211110311120310222x1003302303021000330x1003103003303300202x1020130013020131131x1020131121003300131x1020211212003223003x1032202222030101103x1021211232100100303x1032001210211310023x1023123210100313123x1023312111023102033x1030021002122320020x1020002030220113220x1032030012120121300x1022033100302110120x1033000132232130021x1022003023103103231x1100100330021213313x1103003300210312311x1103120332120010213x1103310203103212210x1112030130233322303x1330310323220321103x1112030213303333312x1103303310231132323x1112100303130131333x1301111303110302333x1113210033113201211x1112330033111110221x1122332013120303202x1231031023322003122x1123130122020111101x1122011110032102311x1130131212122213013x1232112213102111033x1130301312102113011x1101031310113230211x1132101213113330213x1103112232311311033x1133032111013231121x1131301132322031111x1133132222201220303x1132010222221033323x1133312012002133302x1131103302013032322x1201200022132101020x1202010110103202220x1203203100013003022x1230000000231310322x1210030001301301321x1300011233003010211x1210112233212122302x1232110122203221132x1210201032131132210x1231232212001031110x1211101003303201213x1223031003011112103x1211302132233313233x1223312101133233233x1212210130110033223x1203101313222201103x1213030101330133023x1233033003231110310x1213112123032010121x1300311111232022121x1221013220222202212x1232221222010220212x1221201301111220022x1200110223122121102x1221222221321303312x1220222312132311232x1221222320330120233x1231310223022232203x1221232111003312213x1221112123231310203x1221301301202213222x1112233322020102212x1223023120221300132x1302132211203002232x1223103021322233312x1110322322102332332x1223112020300210132x1223220303101112200x1223131302131231331x1233131332311232101x1232120301333023000x1300302311332203020x1232131200130120311x1123110130003232211x1233131001133312213x1221331103111332303x1300313322110212020x1331020202023113102x1301001300130120333x1113003101023033003x1301020313313302230x1302103033023311230x1301322320100301020x1231202031000323100x1301323320112013132x1323303110223121103x1302133011301231213x1011232310211103333x1303013020110102303x1300211010321003303x1303203112133210321x1233011102123303321x1303223203022120220x1321003023220223220x1311313303130212213x1333202112311303113x1312030120332322123x1313211320003222323x1312302211310010230x1310003110312122320x1313302220120101220x1323203121112000220x1320100031313320111x1320301110110303231x1320121232320212120x1211320231122023220x1320220023023012202x1203222032021320002x1320223001302002130x1210000323031300222x1321233121123023123x1202311331222331123x1321322333212010112x1231102203331231212x1322312221333021321x1322122232331133021x1323111322121003133x1323203112320131113x1323213012122101100x1322011111000322132x1323302320232213303x1332233230032210323x1330101333223303303x1333023101323333003x1330233002103010102x1203330203111000032x1330313312032223230x1323103212333003322x1331130213201233323x1310311033222231333x1332031223132322120x1321323203223231120x1332032122120123320x1203312121023323220x1332111130031202230x1331101020112332230x1333013312302132100x1311130130232303230x1333130331301002120x1331101330330223100x12.1000011323301120131x1000111013310320231x1000230000001103000x1003100002000310000x1001121313111221022x1211110311120310222x1003302303021000330x1003103003303300202x1020130013020131131x1020131121003300131x1020211212003223003x1032202222030101103x1021211232100100303x1032001210211310023x1023123210100313123x1023312111023102033x1030021002122320020x1020002030220113220x1032030012120121300x1022033100302110120x1033000132232130021x1022003023103103231x1100100330021213313x1103003300210312311x1103120332120010213x1103310203103212210x1112030130233322303x1330310323220321103x1112030213303333312x1103303310231132323x1112100303130131333x1301111303110302333x1113210033113201211x1112330033111110221x1122332013120303202x1231031023322003122x1123130122020111101x1122011110032102311x1130131212122213013x1232112213102111033x1130301312102113011x1101031310113230211x1132101213113330213x1103112232311311033x1133032111013231121x1131301132322031111x1133132222201220303x1132010222221033323x1133312012002133302x1131103302013032322x1201200022132101020x1202010110103202220x1203203100013003022x1230000000231310322x1210030001301301321x1300011233003010211x1210112233212122302x1232110122203221132x1210201032131132210x1231232212001031110x1211101003303201213x1223031003011112103x1211302132233313233x1223312101133233233x1212210130110033223x1203101313222201103x1213030101330133023x1233033003231110310x1213112123032010121x1300311111232022121x1221013220222202212x1232221222010220212x1221201301111220022x1200110223122121102x1221222221321303312x1220222312132311232x1221222320330120233x1231310223022232203x1221232111003312213x1221112123231310203x1221301301202213222x1112233322020102212x1223023120221300132x1302132211203002232x1223103021322233312x1110322322102332332x1223112020300210132x1223220303101112200x1223131302131231331x1233131332311232101x1232120301333023000x1300302311332203020x1232131200130120311x1123110130003232211x1233131001133312213x1221331103111332303x1300313322110212020x1331020202023113102x1301001300130120333x1113003101023033003x1301020313313302230x1302103033023311230x1301322320100301020x1231202031000323100x1301323320112013132x1323303110223121103x1302133011301231213x1011232310211103333x1303013020110102303x1300211010321003303x1303203112133210321x1233011102123303321x1303223203022120220x1321003023220223220x1311313303130212213x1333202112311303113x1312030120332322123x1313211320003222323x1312302211310010230x1310003110312122320x1313302220120101220x1323203121112000220x1320100031313320111x1320301110110303231x1320121232320212120x1211320231122023220x1320220023023012202x1203222032021320002x1320223001302002130x1210000323031300222x1321233121123023123x1202311331222331123x1321322333212010112x1231102203331231212x1322312221333021321x1322122232331133021x1323111322121003133x1323203112320131113x1323213012122101100x1322011111000322132x1323302320232213303x1332233230032210323x1330101333223303303x1333023101323333003x1330233002103010102x1203330203111000032x1330313312032223230x1323103212333003322x1331130213201233323x1310311033222231333x1332031223132322120x1321323203223231120x1332032122120123320x1203312121023323220x1332111130031202230x1331101020112332230x1333013312302132100x1311130130232303230x1333130331301002120x1331101330330223100x1ttt2ttt2 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])))