/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 00000122201100100121220x1021012000100100212200000100x100001201200210220102022x1002011100000022020020100021x100001202002011022200111x1010021020110011120101020011x100020122010110222011010x1000010002001221200011021000x100102111100122200010201x1011201011110000120101012011x100112200211201020100220x1000200221100001002012111020x100120002112021122011100x1011022101020122220120201000x100122220000000202212000x1002201100210120100000112200x100200211122121001021000x1012202200202102102000100110x100202010210100200211122x1020111000010210210000102112x100210011220101110101021x1020100202020012000101200011x101000001111011022100012x1010010000011000200001121021x101001022001112111200111x1002100002010212202220102001x101002021102101200112012x1020101122201100000002020001x101002120210102212110110x1001200121220002010102220020x101010011100212010011222x1001020011010211011020100121x101011000021121002211010x1020101121020111021010010010x101022011111022110010101x1002020010000010012020010111x101100021210020202200102x1001020120201010222120100002x101102100120210102011021x1021000002200002201201200000x101112002212021021012010x1010020222201101001210021210x101120100001221201200210x1020112200001000010111110210x101121100122020102110010x1001011211000200102120202010x101211002000012100110120x1010111001120100111000000120x101211211022210220011100x1001010111222000200211111210x101212211010011000002002x1000000012222010201011101001x101220000210021121200101x1002100010112012010002200011x101221010011002020002020x1020120200010020010100002220x101221012101200202011100x1022121010102020202010102010x101221022121200001212120x1022010022222202202002102100x101221202201200122010000x1000101220022100221200100200x102110121002001121000020x1002112011010101110021110010x102202001211002012000220x1011011001012010222011001220x102211020000010121222200x1002100110102202120120121000x110000120100000012001122x1002010011010010002101020010x110010101201100000222101x1020200101010211000000012010x110010120202221010202000x1012201011001020011102020010x110102001100221020001111x1210100020001000010110000000x110111102220012010020010x1000021222002000100100210100x110122010220202012022200x1100120011120101221120000020x110200021100121110200000x1000000102002020102022110110x110210110001102001201210x1012000201020200100101022020x111000000021011002211111x1010201101000210001010122100x111001000001002020220221x1120101000222201010001100101x111001001111000100122102x1210101100010120101010110001x111122021001020020220100x1221010202100210100102110100x112001021010011020010012x1201201000101100011011000001x112100210000110121001001x1010020012200011011000120010x112100222001102002001010x1100101220212011001001000000x112101000010221002212000x1210020012011000000101100010x112202002022010012210200x1102202002001011212010120100x120011011002200010021122x1020210011101001002001001222x120011101000121202211200x1210202221100112010001201010x120021112010121101000100x1000000220022001200120001020x120111020101110202020000x1000211011020210000102000020x120122002120112010110100x1200020022201000002200110110x121000020120201101100011x1010002211000101100110000100x121200102001112101202000x1200100102020002122010221000x122000221110110102011101x1012000000212201011100022001x122010101011021100000121x1210120020200010001101010011x122010211202022000110200x1000212101000000211001202020x122010220201201201120100x1110000100212001022100011200x122020001200222001010220x1210122012010002200101000200x122021001102201121010120x1120200000020022200120202200x122100101010012022022100x1111010221200021010010020100x122101201010220010212200x1010021001210002100101002010x122110011012101110101000x1200001010001010010212110110x122121012000200102101010x1221210102100000100102101000x122201222010100200100021x1001002020010102010100121112x122221102001100200000201x1110101222010200011100010200x100110220000202102102200x1000021111001220100021002000x112100020110012011120120x1000001122110120020110200200x120210000222011120110111x1201202102102012200012100101x12.100000122201100100121220x1021012000100100212200000100x100001201200210220102022x1002011100000022020020100021x100001202002011022200111x1010021020110011120101020011x100020122010110222011010x1000010002001221200011021000x100102111100122200010201x1011201011110000120101012011x100112200211201020100220x1000200221100001002012111020x100120002112021122011100x1011022101020122220120201000x100122220000000202212000x1002201100210120100000112200x100200211122121001021000x1012202200202102102000100110x100202010210100200211122x1020111000010210210000102112x100210011220101110101021x1020100202020012000101200011x101000001111011022100012x1010010000011000200001121021x101001022001112111200111x1002100002010212202220102001x101002021102101200112012x1020101122201100000002020001x101002120210102212110110x1001200121220002010102220020x101010011100212010011222x1001020011010211011020100121x101011000021121002211010x1020101121020111021010010010x101022011111022110010101x1002020010000010012020010111x101100021210020202200102x1001020120201010222120100002x101102100120210102011021x1021000002200002201201200000x101112002212021021012010x1010020222201101001210021210x101120100001221201200210x1020112200001000010111110210x101121100122020102110010x1001011211000200102120202010x101211002000012100110120x1010111001120100111000000120x101211211022210220011100x1001010111222000200211111210x101212211010011000002002x1000000012222010201011101001x101220000210021121200101x1002100010112012010002200011x101221010011002020002020x1020120200010020010100002220x101221012101200202011100x1022121010102020202010102010x101221022121200001212120x1022010022222202202002102100x101221202201200122010000x1000101220022100221200100200x102110121002001121000020x1002112011010101110021110010x102202001211002012000220x1011011001012010222011001220x102211020000010121222200x1002100110102202120120121000x110000120100000012001122x1002010011010010002101020010x110010101201100000222101x1020200101010211000000012010x110010120202221010202000x1012201011001020011102020010x110102001100221020001111x1210100020001000010110000000x110111102220012010020010x1000021222002000100100210100x110122010220202012022200x1100120011120101221120000020x110200021100121110200000x1000000102002020102022110110x110210110001102001201210x1012000201020200100101022020x111000000021011002211111x1010201101000210001010122100x111001000001002020220221x1120101000222201010001100101x111001001111000100122102x1210101100010120101010110001x111122021001020020220100x1221010202100210100102110100x112001021010011020010012x1201201000101100011011000001x112100210000110121001001x1010020012200011011000120010x112100222001102002001010x1100101220212011001001000000x112101000010221002212000x1210020012011000000101100010x112202002022010012210200x1102202002001011212010120100x120011011002200010021122x1020210011101001002001001222x120011101000121202211200x1210202221100112010001201010x120021112010121101000100x1000000220022001200120001020x120111020101110202020000x1000211011020210000102000020x120122002120112010110100x1200020022201000002200110110x121000020120201101100011x1010002211000101100110000100x121200102001112101202000x1200100102020002122010221000x122000221110110102011101x1012000000212201011100022001x122010101011021100000121x1210120020200010001101010011x122010211202022000110200x1000212101000000211001202020x122010220201201201120100x1110000100212001022100011200x122020001200222001010220x1210122012010002200101000200x122021001102201121010120x1120200000020022200120202200x122100101010012022022100x1111010221200021010010020100x122101201010220010212200x1010021001210002100101002010x122110011012101110101000x1200001010001010010212110110x122121012000200102101010x1221210102100000100102101000x122201222010100200100021x1001002020010102010100121112x122221102001100200000201x1110101222010200011100010200x100110220000202102102200x1000021111001220100021002000x112100020110012011120120x1000001122110120020110200200x120210000222011120110111x1201202102102012200012100101x1ttt2ttt2 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])))