/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 000001001101000011100111011000010011001100011001011000010010011110010011010111110x1000001001101000011100111011000010011001100011001011000010010011110000110110000001011x1001011000111001110100100110011110111010010001111101000000111010000010111110010010x10010110001110011101001001100111101110100100011111010000001110100000101111100110000x1001011000111001110100100110011110111010010001111101000000111010000010111110010010x100000100110100001110011101100001001100110001100101011110011110001110011001000010001x1001011000111001110100100110011110111010010001111101000000111010000010111110010011x10000010011010000111001110110000100110011000110010101111001111000000001110011101110x1001011000111001110100100110011110111010010001111101000000111010000010111110010011x10000010011010000111001110110000100110011000110010110000100100111100101101101011000x1001011000111001110100100110011110111010010001111101000000111010000010111110010011x1000001001101000011100111011000010011001100011001010111100111100000000111111010000011x1001011000111001110100100110011110111010011100100001111111111001001001101001111010x10000010011010000111001110110000100110011000110010101111001111000000001111110100010x1001011000111001110100100110011110111010011100100001111111111001001001101001111010x10000010011010000111001110110000100110011000110010110000100100111100110010011110010x1001011000111001110100100110011110111010011100100010111010110111100000000010000100x100000100110100001110011101100001001100110001100101011110011110000000011110001011001x1001011000111001110100100110011110111010011100100010111110100000111101111001101100x11000101001010001001110011001000011001101000000111111000001111111011101101001001100x1001011000111001110100100110011110111010011100100010111110100000111101111001110100x10000010011010000111001110110000100110011000110010110000100100111100110010011110000x1001011000111001110100100110011110111010011100100010111110100000111101111001110101x10000010011010000111001110110000100110011000110010101111001111000000001110011101110x1001011000111001110100100110011110111010011100100010111110100000111101111001110110x10000010011010000111001110110000100110011000110010110000100100111100110010011110000111x1001011000111001110100100110011110111010011100100010111110100000111101111001111010x100000100110100001110011101100001001100110001100101011110011110000000011111101000101111x1001011000111001110100100110011110111010011100100010111110100000111101111001111011x110001010010100010011100110010000110011010000001111110000011111110111011010010010001x1001011000111001110100100110011110111010011100100010111110100000111101111011000001x110001010010100010011100110010000110011010000001111110000011111100100011011011111001x1001011000111001110100100110011110111010011100100010111110100000111101111011000111x10000010011010000111001110110000100110011000110010110000100100111100110010011110000x1001011000111001110100100110011110111010011100100010111110100000111101111011000111x10000010011010000111001110110000100110011000110010110000100100111100110010011110000111x1001011000111001110100100110011110111010011100100010111110100000111101111011010101x111011001011110000011001001100010000100101101000011111110011111100010001010111000001111x1001011000111001110100100110011110111010011100100010111110100000111101111011010110x10000010011010000111001110110000100110011000110010110000100100111100101101101011000x1001011000111001110100100110011110111010011100100010111110100000111101111011010110x11101100101111000001100100110001000010010110100001111111001111110001000101011100000x1001011000111001110100100110011110111010011100100010111110100000111101111011010110x1100010100101000100111001100100001100110100000011111100000111111101110110100100101011x1001011000111001110100100110011110111010011100100010111110100000111101111011010111x10010110001110011101001001100111101110100111001000101111101000001111011110110000010x1001011000111001110100100110011110111010011100100010111110100000111101111011011010x11000101001010001001110011001000011001101000000111111000001111111011101100110000000x1100010100101000100111001100100001100010111010000010111011110101100001011101111000x10000010011010000111001110110000100110011000110010101111000100111010010000100000000x1100010100101000100111001100100001100110100000011111100000111111101110110101110111x1000001001101000011100111011000010011001100011001010111100111100000000111111010000011x1100111101010101011011110101011110011000000111001100110011101101000110111100110011x10010110001110011101001001100111101110100100011111010000001110100000101111100100000x1100111101010101011011110101011110011000000111001100110011101101000110111100110011x10010110001110011101001001100111101110100111001000101111101000001111011110110000010x1100111101010101011011110101011110011000000111001100110011101101100111000011000010x10010110001110011101001001100111101110100111001000101110101101111000000000100001000x1100111101010101011011110101011110011000000111001100110011101101100111000110000110x11101100101111000001100100110001000010010110100001111111001111111010111110001010100x1100111101010101011011110101011110011000000111001100110011101101100111000110011000x11000101001010001001110011001000011001101000000111111000001111111011101100110000000x12.1000001001101000011100111011000010011001100011001011000010010011110010011010111110x1000001001101000011100111011000010011001100011001011000010010011110000110110000001011x1001011000111001110100100110011110111010010001111101000000111010000010111110010010x10010110001110011101001001100111101110100100011111010000001110100000101111100110000x1001011000111001110100100110011110111010010001111101000000111010000010111110010010x100000100110100001110011101100001001100110001100101011110011110001110011001000010001x1001011000111001110100100110011110111010010001111101000000111010000010111110010011x10000010011010000111001110110000100110011000110010101111001111000000001110011101110x1001011000111001110100100110011110111010010001111101000000111010000010111110010011x10000010011010000111001110110000100110011000110010110000100100111100101101101011000x1001011000111001110100100110011110111010010001111101000000111010000010111110010011x1000001001101000011100111011000010011001100011001010111100111100000000111111010000011x1001011000111001110100100110011110111010011100100001111111111001001001101001111010x10000010011010000111001110110000100110011000110010101111001111000000001111110100010x1001011000111001110100100110011110111010011100100001111111111001001001101001111010x10000010011010000111001110110000100110011000110010110000100100111100110010011110010x1001011000111001110100100110011110111010011100100010111010110111100000000010000100x100000100110100001110011101100001001100110001100101011110011110000000011110001011001x1001011000111001110100100110011110111010011100100010111110100000111101111001101100x11000101001010001001110011001000011001101000000111111000001111111011101101001001100x1001011000111001110100100110011110111010011100100010111110100000111101111001110100x10000010011010000111001110110000100110011000110010110000100100111100110010011110000x1001011000111001110100100110011110111010011100100010111110100000111101111001110101x10000010011010000111001110110000100110011000110010101111001111000000001110011101110x1001011000111001110100100110011110111010011100100010111110100000111101111001110110x10000010011010000111001110110000100110011000110010110000100100111100110010011110000111x1001011000111001110100100110011110111010011100100010111110100000111101111001111010x100000100110100001110011101100001001100110001100101011110011110000000011111101000101111x1001011000111001110100100110011110111010011100100010111110100000111101111001111011x110001010010100010011100110010000110011010000001111110000011111110111011010010010001x1001011000111001110100100110011110111010011100100010111110100000111101111011000001x110001010010100010011100110010000110011010000001111110000011111100100011011011111001x1001011000111001110100100110011110111010011100100010111110100000111101111011000111x10000010011010000111001110110000100110011000110010110000100100111100110010011110000x1001011000111001110100100110011110111010011100100010111110100000111101111011000111x10000010011010000111001110110000100110011000110010110000100100111100110010011110000111x1001011000111001110100100110011110111010011100100010111110100000111101111011010101x111011001011110000011001001100010000100101101000011111110011111100010001010111000001111x1001011000111001110100100110011110111010011100100010111110100000111101111011010110x10000010011010000111001110110000100110011000110010110000100100111100101101101011000x1001011000111001110100100110011110111010011100100010111110100000111101111011010110x11101100101111000001100100110001000010010110100001111111001111110001000101011100000x1001011000111001110100100110011110111010011100100010111110100000111101111011010110x1100010100101000100111001100100001100110100000011111100000111111101110110100100101011x1001011000111001110100100110011110111010011100100010111110100000111101111011010111x10010110001110011101001001100111101110100111001000101111101000001111011110110000010x1001011000111001110100100110011110111010011100100010111110100000111101111011011010x11000101001010001001110011001000011001101000000111111000001111111011101100110000000x1100010100101000100111001100100001100010111010000010111011110101100001011101111000x10000010011010000111001110110000100110011000110010101111000100111010010000100000000x1100010100101000100111001100100001100110100000011111100000111111101110110101110111x1000001001101000011100111011000010011001100011001010111100111100000000111111010000011x1100111101010101011011110101011110011000000111001100110011101101000110111100110011x10010110001110011101001001100111101110100100011111010000001110100000101111100100000x1100111101010101011011110101011110011000000111001100110011101101000110111100110011x10010110001110011101001001100111101110100111001000101111101000001111011110110000010x1100111101010101011011110101011110011000000111001100110011101101100111000011000010x10010110001110011101001001100111101110100111001000101110101101111000000000100001000x1100111101010101011011110101011110011000000111001100110011101101100111000110000110x11101100101111000001100100110001000010010110100001111111001111111010111110001010100x1100111101010101011011110101011110011000000111001100110011101101100111000110011000x11000101001010001001110011001000011001101000000111111000001111111011101100110000000x1ttt2ttt2 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])))