/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 0000022120010x102202201022222020x10000200102220x102202200002020002x10000221202210x101001020221002020x10001102010022x100200001012220020x10010000000210x102001020200202020x10010201002010x112100000200202222x10011200102022x101202002022022210x10012002010022x100200012020000222x10020010120002x100020201020220100x10020211102210x100000012222012200x10021010122020x100221102200102200x10022202110002x100001022000100200x10100220012220x112102002002200222x10102101100200x102012000002012002x10110220100000x100001122022220200x10112102202022x100010102021200200x10120010210221x101210002001002001x10122210021100x100010120120222202x10220012100102x102221022100020010x10220220010000x100022202022222222x10220221222222x102120200020220020x11000222001010x101000022200200210x11010220200001x121000202000222201x11012010212100x111221220020101022x11022020222010x122202022020202222x11100002100220x122200000022000102x11222210002202x100221100001000202x12000201222022x120022202020202110x12002001100200x110220222102220222x12002210100220x122002102020000202x12200021000202x100202220202002020x10000001121001x100210000201120021x10001022220210x100200101002020200x10001210102022x100000012210010202x10002021002210x100202202221200000x10002220011222x100200100022212002x10010202001200x100200102100102222x10012100022002x100222022110200220x10012200000022x100102000022222102x10020102120021x100002021001200021x10020220210100x100220200202122000x10020222220110x100202020000012000x10021000221022x100220022022210100x10021020020001x100002222001022200x10022001012010x100201020021102020x10022100220222x100002222020100202x10022102221000x100001002010202220x10100002100020x100100222002100202x10101001020120x101012000000220120x10110120101000x100122001112020000x10111000210221x101100100022020101x10201111112220x102202111112102022x10220022021200x102200202120000202x10221001002000x102202222020120002x11000221112000x110020122001220200x11000222010022x110000220200020100x11020120022020x110002201000010022x11022210200202x120000001200220222x11220200200202x100100210202202202x11220220000222x100001220202220002x12001000000020x120002222010000000x12001000122000x120022100100000010x12002022101002x120000002122000002x12002200012210x120021220210002220x12011020202110x120110000102222110x12020200200220x100222220022220202x12022120200102x120120200100220220x12022122022020x110020002221002220x12100102010000x100100012202020222x12100210022020x100222221000200102x12100212000200x112000220010222000x12200201020222x102202102202000000x12202100100002x122021200222200222x12.10000022120010x102202201022222020x10000200102220x102202200002020002x10000221202210x101001020221002020x10001102010022x100200001012220020x10010000000210x102001020200202020x10010201002010x112100000200202222x10011200102022x101202002022022210x10012002010022x100200012020000222x10020010120002x100020201020220100x10020211102210x100000012222012200x10021010122020x100221102200102200x10022202110002x100001022000100200x10100220012220x112102002002200222x10102101100200x102012000002012002x10110220100000x100001122022220200x10112102202022x100010102021200200x10120010210221x101210002001002001x10122210021100x100010120120222202x10220012100102x102221022100020010x10220220010000x100022202022222222x10220221222222x102120200020220020x11000222001010x101000022200200210x11010220200001x121000202000222201x11012010212100x111221220020101022x11022020222010x122202022020202222x11100002100220x122200000022000102x11222210002202x100221100001000202x12000201222022x120022202020202110x12002001100200x110220222102220222x12002210100220x122002102020000202x12200021000202x100202220202002020x10000001121001x100210000201120021x10001022220210x100200101002020200x10001210102022x100000012210010202x10002021002210x100202202221200000x10002220011222x100200100022212002x10010202001200x100200102100102222x10012100022002x100222022110200220x10012200000022x100102000022222102x10020102120021x100002021001200021x10020220210100x100220200202122000x10020222220110x100202020000012000x10021000221022x100220022022210100x10021020020001x100002222001022200x10022001012010x100201020021102020x10022100220222x100002222020100202x10022102221000x100001002010202220x10100002100020x100100222002100202x10101001020120x101012000000220120x10110120101000x100122001112020000x10111000210221x101100100022020101x10201111112220x102202111112102022x10220022021200x102200202120000202x10221001002000x102202222020120002x11000221112000x110020122001220200x11000222010022x110000220200020100x11020120022020x110002201000010022x11022210200202x120000001200220222x11220200200202x100100210202202202x11220220000222x100001220202220002x12001000000020x120002222010000000x12001000122000x120022100100000010x12002022101002x120000002122000002x12002200012210x120021220210002220x12011020202110x120110000102222110x12020200200220x100222220022220202x12022120200102x120120200100220220x12022122022020x110020002221002220x12100102010000x100100012202020222x12100210022020x100222221000200102x12100212000200x112000220010222000x12200201020222x102202102202000000x12202100100002x122021200222200222x1ttt2ttt2 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])))