/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 00000101201100002012210x1212002210100100010211212210x100021021011212200221110x1010010112111200021200121101x100021101011220021021110x1101120210001102100100011211x100022110100212012121022x1100001011111021021211011021x100110100100201220201100x1012112122002100101202211110x100121220001000010121201x1100200211100000102112211010x100202100210122210102121x1110000112010212210021002111x100211210222000022101000x1102101021211002010221201110x101021021012102221001120x1102110101000201020102110111x101022101221021121221211x1021001202210211110110010020x101202022110021120000211x1000211120222110121210020101x101210110201122210220010x1211011020121011221221001201x101212100102021121102110x1011111110111211021212110011x101222112222210111121011x1212001221120110022021110011x102100200111011211011211x1210010211111111021101000121x102202102022101010021000x1011210101100121122120100120x102210110102110000210222x1000121211222110102110012110x110000001211020122221100x1120021210112101210211212221x110021102112000200011120x1101010211121001021010212220x110120002100100122102000x1100102122010011001211012011x110200010021212001212220x1110012021101100102001001220x110210212220101112201111x1102011011020010020112211000x110211200021210012020111x1101100111011121012221111110x111002212011012211210021x1122021121111011121121211210x111011200022210121100101x1110201102101001110101210121x111102110002110202202021x1110122021212200021121000121x111121111221212212100102x1110110112111010101220001000x111211011012112220001201x1110102221102110210011111111x111212222110011212120000x1100221100011201000121110020x112002012221101211211100x1101000212200100012122211100x112011211121121101002022x1101011211020211110120102101x112022101002000121220111x1100211022010200122210011011x112022101211211220212120x1122211210200222121002100211x112101120022121122212100x1121222202111212110012111121x112110111221210121201200x1102110011110001000221010010x112112221002102021211220x1111210111222021222110000210x112121220201100101020111x1101021111012102200001201021x112212122002102001212021x1112010101012001211120022211x112212202222111011011000x1102111001012222020200212121x120020001121211011102121x1121011101112102010100021100x121000220121022221210110x1021211201201210000221020101x121100211012010000011202x1211100002110001121100120012x121101021221012210020110x1211110212020110121200121111x121102121201211022100120x1001011112011000021112200110x121201201211000221210120x1000001210201222000210001211x122100002001110211001111x1102121001101100200210211121x122210201101021021212121x1112121011112200000121011001x12.100000101201100002012210x1212002210100100010211212210x100021021011212200221110x1010010112111200021200121101x100021101011220021021110x1101120210001102100100011211x100022110100212012121022x1100001011111021021211011021x100110100100201220201100x1012112122002100101202211110x100121220001000010121201x1100200211100000102112211010x100202100210122210102121x1110000112010212210021002111x100211210222000022101000x1102101021211002010221201110x101021021012102221001120x1102110101000201020102110111x101022101221021121221211x1021001202210211110110010020x101202022110021120000211x1000211120222110121210020101x101210110201122210220010x1211011020121011221221001201x101212100102021121102110x1011111110111211021212110011x101222112222210111121011x1212001221120110022021110011x102100200111011211011211x1210010211111111021101000121x102202102022101010021000x1011210101100121122120100120x102210110102110000210222x1000121211222110102110012110x110000001211020122221100x1120021210112101210211212221x110021102112000200011120x1101010211121001021010212220x110120002100100122102000x1100102122010011001211012011x110200010021212001212220x1110012021101100102001001220x110210212220101112201111x1102011011020010020112211000x110211200021210012020111x1101100111011121012221111110x111002212011012211210021x1122021121111011121121211210x111011200022210121100101x1110201102101001110101210121x111102110002110202202021x1110122021212200021121000121x111121111221212212100102x1110110112111010101220001000x111211011012112220001201x1110102221102110210011111111x111212222110011212120000x1100221100011201000121110020x112002012221101211211100x1101000212200100012122211100x112011211121121101002022x1101011211020211110120102101x112022101002000121220111x1100211022010200122210011011x112022101211211220212120x1122211210200222121002100211x112101120022121122212100x1121222202111212110012111121x112110111221210121201200x1102110011110001000221010010x112112221002102021211220x1111210111222021222110000210x112121220201100101020111x1101021111012102200001201021x112212122002102001212021x1112010101012001211120022211x112212202222111011011000x1102111001012222020200212121x120020001121211011102121x1121011101112102010100021100x121000220121022221210110x1021211201201210000221020101x121100211012010000011202x1211100002110001121100120012x121101021221012210020110x1211110212020110121200121111x121102121201211022100120x1001011112011000021112200110x121201201211000221210120x1000001210201222000210001211x122100002001110211001111x1102121001101100200210211121x122210201101021021212121x1112121011112200000121011001x1ttt2ttt2 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])))