/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 001101111001010011010001010000111100000011110011100101011000110001001110010010011x10100000001111001000110111101001001110101000011001100100000111101100011000110110111x1001101111001010011010001010000111100000011110011100101011000110001001110010011110x10011011110010100110100010100001111000000111101010010000010001110010010001000111001x1001101111001010011010001010000111100000011110011100101011000110001001110010011111x10011110111011100110001100000000100001010001111101010100001000010011000010111101111x1001101111001010011010001010000111100000011110011100101011000110001001111011010000x10100000001111001000110111101001001110101000011001001100111000110000000101110000111x1001101111001010011010001010000111100000011110011100101011000110001001111011010001x10100000001111001000110111101001001110101000011001100100001110111111101001000111001x1001101111001010011010001010000111100000011110011100101011000110001001111110011110x10100000001111001000110111101001001110101000011001100100000111101100011100111110011x1001101111001010011010001010000111100000011110011100101011000110001001111110011111x10011011110010100110100010100001111000000111100111001010110001100010011111110000111x1001101111001010011010001010000111100000011110011100101011000110001001111111000011x10011110111011100110001100000000100001010001111101010100001000010011000010111110111x1001101111001010011010001010000111100000011110101001000001000111001001000100011101x10011110111011100110001100000000100001010001111101010100001000010011000010111101111x1001101111001010011010001010000111100000011110101001000001000111110100110101000101x10011011110010100110100010100001111000000111100111001010110001100010011111110000011x1001101111001010011010001010000111100000011110101001000001000111110100110101000101x10100000001111001000110111101001001110101000011001100100000111101100011000110110111x1001101111001010011010001010000111100000011110101001110001100000110111001110101110x10011110111010011001100001010011010000111011000101101000111010001100000001101000011x1001101111001010011010001010000111100000011110101001110001100000111001110100011011x10100000001111001000110111101001001110101000011001100100000111100101100111011100001x1001111011101001100110000101001101000011101100010110100011101000110001011001101110x10011011110010100110100010100001111000000111100111001010110001100010011111100111101000x1001111011101001100110000101001101000011101100010110100011101000110001011100110000x10100000001111001000110111101001001110101000011001100100001110111111101001000011111x1001111011101001100110000101001101000011101100010110100011101000110001011100110000x1010000000111100100011011110100100111010100001100110010000011110110001100011011011100x1001111011101001100110000101001101000011101100010110100011101000110001011100111100x10100000001111001000110111101001001110101000011001001100111000110000000101110000101x1001111011101001100110000101001101000011101100010110100011101000110001011100111100x10100000001111001000110111101001001110101000011001100100000111100101100111011100001x1001111011101001100110000101001101000011101100010110100011101000110011101111001100x10011011110010100110100010100001111000000111100111001010110001100010011111110000111x1001111011101001100110000101001101000011101100010110100011101000110011101111001100x10100000001111001000110111101001001110101000011001100100000111101100001101011110001000x1001111011101001100110000101001101000011101100010110100011101000110011101111001101x10011110111010011001100001010011010000111011000101101000111010001101100111111100001x1001111011101001100110000101001101000011101100010110100011101000110110010100101001x10011011110010100110100010100001111000000111100111001010110001100010011111110000101x1001111011101001100110000101001101000011101100010110100011101000110110010100101001x10011110111011100110001100000000100001010001111101010100001000010011000010111110011x1001111011101001100110000101001101000011101100010110100011101000110110010100110111x10011110111010011001100001010011010000111011000101101000111010001100000001101001101x1001111011101001100110000101001101000011101100010110100011101000110110011111110000x10011011110010100110100010100001111000000111101010010000010001110010010001000111101x1001111011101001100110000101001101000011101100010110100011101000110110011111110000x100110111100101001101000101000011110000001111010100100000100011100100100010001111010x1001111011101001100110000101001101000011101100010110100011101000110110011111110001x10011011110010100110100010100001111000000111101010011100011000001110011101000110111x1001111011101110011000110000000010000101101101101101110010000010110100110100101100x10100000001111001000110111101001001110101000011001100100000111100101100111011100001x1001111011101110011000110000000010000101101101101101110010000010110100110100101101x10011011110010100110100010100001111000000111100111001010110001100010011100100111111x1001111011101110011000110000000010000101101101101101110010000010110100110100101101x10100000001111001000110111101001001110101000011001100100001110111111101001000111001x1001111011101110011000110000011010100100100111101011010111101001100010001011010110x10100000001111001000110111101001001110101000011001100100001110111111101001000111001x1001111011101110011000110000011010100100100111101011010111101001100010001011010110x1001101111001010011010001010000111100000011110011100101011000110001001110010011111100x12.1001101111001010011010001010000111100000011110011100101011000110001001110010010011x10100000001111001000110111101001001110101000011001100100000111101100011000110110111x1001101111001010011010001010000111100000011110011100101011000110001001110010011110x10011011110010100110100010100001111000000111101010010000010001110010010001000111001x1001101111001010011010001010000111100000011110011100101011000110001001110010011111x10011110111011100110001100000000100001010001111101010100001000010011000010111101111x1001101111001010011010001010000111100000011110011100101011000110001001111011010000x10100000001111001000110111101001001110101000011001001100111000110000000101110000111x1001101111001010011010001010000111100000011110011100101011000110001001111011010001x10100000001111001000110111101001001110101000011001100100001110111111101001000111001x1001101111001010011010001010000111100000011110011100101011000110001001111110011110x10100000001111001000110111101001001110101000011001100100000111101100011100111110011x1001101111001010011010001010000111100000011110011100101011000110001001111110011111x10011011110010100110100010100001111000000111100111001010110001100010011111110000111x1001101111001010011010001010000111100000011110011100101011000110001001111111000011x10011110111011100110001100000000100001010001111101010100001000010011000010111110111x1001101111001010011010001010000111100000011110101001000001000111001001000100011101x10011110111011100110001100000000100001010001111101010100001000010011000010111101111x1001101111001010011010001010000111100000011110101001000001000111110100110101000101x10011011110010100110100010100001111000000111100111001010110001100010011111110000011x1001101111001010011010001010000111100000011110101001000001000111110100110101000101x10100000001111001000110111101001001110101000011001100100000111101100011000110110111x1001101111001010011010001010000111100000011110101001110001100000110111001110101110x10011110111010011001100001010011010000111011000101101000111010001100000001101000011x1001101111001010011010001010000111100000011110101001110001100000111001110100011011x10100000001111001000110111101001001110101000011001100100000111100101100111011100001x1001111011101001100110000101001101000011101100010110100011101000110001011001101110x10011011110010100110100010100001111000000111100111001010110001100010011111100111101000x1001111011101001100110000101001101000011101100010110100011101000110001011100110000x10100000001111001000110111101001001110101000011001100100001110111111101001000011111x1001111011101001100110000101001101000011101100010110100011101000110001011100110000x1010000000111100100011011110100100111010100001100110010000011110110001100011011011100x1001111011101001100110000101001101000011101100010110100011101000110001011100111100x10100000001111001000110111101001001110101000011001001100111000110000000101110000101x1001111011101001100110000101001101000011101100010110100011101000110001011100111100x10100000001111001000110111101001001110101000011001100100000111100101100111011100001x1001111011101001100110000101001101000011101100010110100011101000110011101111001100x10011011110010100110100010100001111000000111100111001010110001100010011111110000111x1001111011101001100110000101001101000011101100010110100011101000110011101111001100x10100000001111001000110111101001001110101000011001100100000111101100001101011110001000x1001111011101001100110000101001101000011101100010110100011101000110011101111001101x10011110111010011001100001010011010000111011000101101000111010001101100111111100001x1001111011101001100110000101001101000011101100010110100011101000110110010100101001x10011011110010100110100010100001111000000111100111001010110001100010011111110000101x1001111011101001100110000101001101000011101100010110100011101000110110010100101001x10011110111011100110001100000000100001010001111101010100001000010011000010111110011x1001111011101001100110000101001101000011101100010110100011101000110110010100110111x10011110111010011001100001010011010000111011000101101000111010001100000001101001101x1001111011101001100110000101001101000011101100010110100011101000110110011111110000x10011011110010100110100010100001111000000111101010010000010001110010010001000111101x1001111011101001100110000101001101000011101100010110100011101000110110011111110000x100110111100101001101000101000011110000001111010100100000100011100100100010001111010x1001111011101001100110000101001101000011101100010110100011101000110110011111110001x10011011110010100110100010100001111000000111101010011100011000001110011101000110111x1001111011101110011000110000000010000101101101101101110010000010110100110100101100x10100000001111001000110111101001001110101000011001100100000111100101100111011100001x1001111011101110011000110000000010000101101101101101110010000010110100110100101101x10011011110010100110100010100001111000000111100111001010110001100010011100100111111x1001111011101110011000110000000010000101101101101101110010000010110100110100101101x10100000001111001000110111101001001110101000011001100100001110111111101001000111001x1001111011101110011000110000011010100100100111101011010111101001100010001011010110x10100000001111001000110111101001001110101000011001100100001110111111101001000111001x1001111011101110011000110000011010100100100111101011010111101001100010001011010110x1001101111001010011010001010000111100000011110011100101011000110001001110010011111100x1ttt2ttt2 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])))