/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 0001100001201x111110001001101100x10001122110011x101102000101100010x10100210010010x101100011010011100x10101100002012x111100010110111002x10101102101000x101101100100101110x10110010200021x100110101100112111x10121000002111x101011201000110001x10200210000001x110010111000100001x10210121220111x102110021100121111x10210210120001x100211110010200010x10211000021011x100101010211100000x10220011010101x100210001101101100x11000011100211x111111111110110100x11000111200102x101101001000002012x11000120100010x111100011011011101x11000210020101x121001101000001000x11001012102110x101110000021111110x11001021101101x111110010101110011x11001200022112x110001022011101212x11001211102021x110010012010122100x11002010102102x101000201101011002x11010121121001x111001002200001100x11012012100100x100000110111102101x11022101010102x111100000011000212x11101022210000x111011010101002001x11102200121212x111200011022110102x11111010211002x111100101101002102x11112110202010x111100102200121010x11121101101102x111201010000010012x11122111101100x110111211010111000x11122210011000x101011111021011000x11201011101111x110011101001101101x11210000101121x101001000110021000x11210100102011x110010002200100110x11220111111010x110022001001000110x12100110121011x110001000021001101x12101200201012x121001000010222012x12102222100001x111100011210012010x12110101112110x111211001100110100x12110210210001x101011112010010010x12111111100201x111101110100102010x12210021111101x122200010101101110x12210021200102x121000210012001112x12220001000010x102001110110001010x10000101021101x100010000021101000x10011000222010x100110002201001110x10100100202211x100100021011121010x10100200221101x101020122100100001x10101100011101x101110101000000000x10120202201112x101020110021200012x10221112010000x102100101001210111x10221211012011x102111021100112111x11002122120021x110022200102002100x11011111020021x110011010011002221x11020000210100x112121001010100001x11020121010111x112101021100010110x11120210202010x111211010102012110x11201120221010x112202122110000000x11202111021121x112112021010012100x11210221021212x112120010010021212x11220221102012x110002202200210112x11220221212011x112011001220212011x12010210212111x120102022101010011x12022110011011x120221101000110010x12101010011122x121011001011000022x12110022000110x120011000211110001x12110110221212x121011001011122212x12112020002210x121010020121111210x12112221101201x122100100022111201x12120010100020x121002110001000120x12121000210100x120111001101021100x12210210221001x120110001211011211x12212202112220x122101120102120020x12.10001100001201x111110001001101100x10001122110011x101102000101100010x10100210010010x101100011010011100x10101100002012x111100010110111002x10101102101000x101101100100101110x10110010200021x100110101100112111x10121000002111x101011201000110001x10200210000001x110010111000100001x10210121220111x102110021100121111x10210210120001x100211110010200010x10211000021011x100101010211100000x10220011010101x100210001101101100x11000011100211x111111111110110100x11000111200102x101101001000002012x11000120100010x111100011011011101x11000210020101x121001101000001000x11001012102110x101110000021111110x11001021101101x111110010101110011x11001200022112x110001022011101212x11001211102021x110010012010122100x11002010102102x101000201101011002x11010121121001x111001002200001100x11012012100100x100000110111102101x11022101010102x111100000011000212x11101022210000x111011010101002001x11102200121212x111200011022110102x11111010211002x111100101101002102x11112110202010x111100102200121010x11121101101102x111201010000010012x11122111101100x110111211010111000x11122210011000x101011111021011000x11201011101111x110011101001101101x11210000101121x101001000110021000x11210100102011x110010002200100110x11220111111010x110022001001000110x12100110121011x110001000021001101x12101200201012x121001000010222012x12102222100001x111100011210012010x12110101112110x111211001100110100x12110210210001x101011112010010010x12111111100201x111101110100102010x12210021111101x122200010101101110x12210021200102x121000210012001112x12220001000010x102001110110001010x10000101021101x100010000021101000x10011000222010x100110002201001110x10100100202211x100100021011121010x10100200221101x101020122100100001x10101100011101x101110101000000000x10120202201112x101020110021200012x10221112010000x102100101001210111x10221211012011x102111021100112111x11002122120021x110022200102002100x11011111020021x110011010011002221x11020000210100x112121001010100001x11020121010111x112101021100010110x11120210202010x111211010102012110x11201120221010x112202122110000000x11202111021121x112112021010012100x11210221021212x112120010010021212x11220221102012x110002202200210112x11220221212011x112011001220212011x12010210212111x120102022101010011x12022110011011x120221101000110010x12101010011122x121011001011000022x12110022000110x120011000211110001x12110110221212x121011001011122212x12112020002210x121010020121111210x12112221101201x122100100022111201x12120010100020x121002110001000120x12121000210100x120111001101021100x12210210221001x120110001211011211x12212202112220x122101120102120020x1ttt2ttt2 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])))