/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 00000000101011111101x100101100110100101011x100000101000110110101x101001110010110110111x100001001010100010001x110011100000110001111x100001010111101101010x111010110110011111110x100010000011000100101x101101010100010001110x100010010100100001101x100101101110011001100x100011110111010110111x101001110101010111011x100100110010111001101x110110111000100100111x100101000111001110111x111001111100011111001x100101011001101010100x100110110111100101111x100101011111100110001x101110110101011100111x100101101100010001110x101100101100111101110x100101111001001101101x111010101011101100100x100110011000001101010x101110101111000001110x100110110100110101111x101111010100011111111x100111000001111010001x111001010100101011100x100111000011110111010x111011100000110101110x100111111011110000101x100110111010111101001x101000000100100010101x100110111110000100111x101000010001010100000x111011010100011001001x101000010100110110101x110100001101111111111x101000011001001010101x110100101001010001101x101000100000011010010x110101100011001110001x101001001000110110010x111101100001000011110x101001001111110010010x111001101101110101100x101001010000001100110x100111100000011100110x101001010000001101010x100010100100111010110x101001011010010011110x111111000011011100110x101001111000100101101x111111100001100101101x101001111001000010010x100110101101100001011x101010011100000011101x111110100011100001111x101010101011010011101x111111111101011011111x101010110000000111001x101110100011010110111x101011001101000110100x110111111010110100100x101011011011000010010x100011100100110101110x101011101000000101000x111100011111001011111x101011101100001010101x100010101111100110101x101100011101101101101x101110111101011011011x101101000111000011110x101110101100011101101x101101001000110000101x111001100010110001011x101101011000110100111x101100101111111100011x101101110001101000110x111101110001010100110x101110110100001001111x101000010111010011111x101110111111000001010x101110011010011101010x101111000100101000101x111111110110010011111x101111001100000110010x100011101100011101101x101111010010110110011x100011111111011000111x110000000110110111111x111110011110100011100x110000001110001011101x101110101001001111011x110000011111011011011x101111101111110110011x110000111000110111100x101111011100110011100x110001001011000110111x110001011011110100001x110001100001110110001x100010001010101101011x110001101101000010110x101001101010001010110x110010000010011111101x101111000100011101111x110010000011111010011x110000001101110010111x110010001110101011011x111001101101011001111x110010011011100111000x101011010010101111101x110010110000111100101x100010101010011110111x110011000001101101110x111101010000110111000x110011001011000110101x101010101111011100111x110011010101011011101x111101110011101110101x110011100011001100101x110100110111100100011x110100000111011000101x100110101101011110011x110100000111100100001x101101101010110100110x110100011100101011101x111111101010111100111x110100100001111010110x111101110011100100110x110100110011111010100x111010001100110110111x110100111100010000011x110001000011100010111x110101001100001000001x111111000011110111110x110101010100101101001x101111101111111100111x110101100110001000001x101111001001011010111x110101110001110110011x111111101111100100111x110110001000110110101x110111001010111101111x110110010101001100010x110111011000100010110x110110010111100110101x110001010111111011101x110110110010101000001x101111110111011001011x110111010010110010101x110111101111010011011x110111101100111010001x111100111101101101101x111001000100011110010x110010000111110010110x111001100100000001101x111100000110001100011x111001101000111111101x111111110100111100101x111010001001101110001x111011010101111110110x111010010001001110011x111011100101000011001x111010010001010110001x100011011001010111101x111010010111111001101x110011110110110110111x111010011011011101101x111100011111111111101x111010111000111000000x111101011100010110010x111010111110111001010x110111110110110111110x111011000001100011111x110001100110100010111x111011001000101101111x111011111110001101001x111011010001011011001x111111000111110100011x111011100101011000111x111101100101110001111x111011111011010100101x111111110111011001101x111101010010110001111x111111001011010111001x111101011001001111101x111001111101011111111x111101011101110100011x101110111101111111111x111110100100100110010x110110101100101010001x111111000001010011110x110110100101110111101x12.100000000101011111101x100101100110100101011x100000101000110110101x101001110010110110111x100001001010100010001x110011100000110001111x100001010111101101010x111010110110011111110x100010000011000100101x101101010100010001110x100010010100100001101x100101101110011001100x100011110111010110111x101001110101010111011x100100110010111001101x110110111000100100111x100101000111001110111x111001111100011111001x100101011001101010100x100110110111100101111x100101011111100110001x101110110101011100111x100101101100010001110x101100101100111101110x100101111001001101101x111010101011101100100x100110011000001101010x101110101111000001110x100110110100110101111x101111010100011111111x100111000001111010001x111001010100101011100x100111000011110111010x111011100000110101110x100111111011110000101x100110111010111101001x101000000100100010101x100110111110000100111x101000010001010100000x111011010100011001001x101000010100110110101x110100001101111111111x101000011001001010101x110100101001010001101x101000100000011010010x110101100011001110001x101001001000110110010x111101100001000011110x101001001111110010010x111001101101110101100x101001010000001100110x100111100000011100110x101001010000001101010x100010100100111010110x101001011010010011110x111111000011011100110x101001111000100101101x111111100001100101101x101001111001000010010x100110101101100001011x101010011100000011101x111110100011100001111x101010101011010011101x111111111101011011111x101010110000000111001x101110100011010110111x101011001101000110100x110111111010110100100x101011011011000010010x100011100100110101110x101011101000000101000x111100011111001011111x101011101100001010101x100010101111100110101x101100011101101101101x101110111101011011011x101101000111000011110x101110101100011101101x101101001000110000101x111001100010110001011x101101011000110100111x101100101111111100011x101101110001101000110x111101110001010100110x101110110100001001111x101000010111010011111x101110111111000001010x101110011010011101010x101111000100101000101x111111110110010011111x101111001100000110010x100011101100011101101x101111010010110110011x100011111111011000111x110000000110110111111x111110011110100011100x110000001110001011101x101110101001001111011x110000011111011011011x101111101111110110011x110000111000110111100x101111011100110011100x110001001011000110111x110001011011110100001x110001100001110110001x100010001010101101011x110001101101000010110x101001101010001010110x110010000010011111101x101111000100011101111x110010000011111010011x110000001101110010111x110010001110101011011x111001101101011001111x110010011011100111000x101011010010101111101x110010110000111100101x100010101010011110111x110011000001101101110x111101010000110111000x110011001011000110101x101010101111011100111x110011010101011011101x111101110011101110101x110011100011001100101x110100110111100100011x110100000111011000101x100110101101011110011x110100000111100100001x101101101010110100110x110100011100101011101x111111101010111100111x110100100001111010110x111101110011100100110x110100110011111010100x111010001100110110111x110100111100010000011x110001000011100010111x110101001100001000001x111111000011110111110x110101010100101101001x101111101111111100111x110101100110001000001x101111001001011010111x110101110001110110011x111111101111100100111x110110001000110110101x110111001010111101111x110110010101001100010x110111011000100010110x110110010111100110101x110001010111111011101x110110110010101000001x101111110111011001011x110111010010110010101x110111101111010011011x110111101100111010001x111100111101101101101x111001000100011110010x110010000111110010110x111001100100000001101x111100000110001100011x111001101000111111101x111111110100111100101x111010001001101110001x111011010101111110110x111010010001001110011x111011100101000011001x111010010001010110001x100011011001010111101x111010010111111001101x110011110110110110111x111010011011011101101x111100011111111111101x111010111000111000000x111101011100010110010x111010111110111001010x110111110110110111110x111011000001100011111x110001100110100010111x111011001000101101111x111011111110001101001x111011010001011011001x111111000111110100011x111011100101011000111x111101100101110001111x111011111011010100101x111111110111011001101x111101010010110001111x111111001011010111001x111101011001001111101x111001111101011111111x111101011101110100011x101110111101111111111x111110100100100110010x110110101100101010001x111111000001010011110x110110100101110111101x1ttt2ttt2 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])))