/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 0012013144230513x10254411112505520x10012013144230513x11145341435050124x10012013144230513x11245520125151500x10012013144230513x12315045004204254x10012013144230513x13115104541044143x10012013144230513x13435244445312423x10012013144230513x14145002404344135x10012013144230513x15104511221134254x10012013144230513x15324144430510550x10403452111022231x10254411112505520x10403452111022231x11145341435050124x10403452111022231x11245520125151500x10403452111022231x12315045004204254x10403452111022231x12505143050420222x10403452111022231x13115104541044143x10403452111022231x13435244445312423x10403452111022231x14145002404344135x10403452111022231x15324144430510550x10430542003314244x10433023245400144x10430542003314244x11245520125151500x10430542003314244x12315045004204254x10430542003314244x15104511221134254x10433023245400144x12315045004204254x11145341435050124x11245520125151500x11225313223404311x10254411112505520x11225313223404311x11145341435050124x11225313223404311x11245520125151500x11225313223404311x13115104541044143x11225313223404311x13435244445312423x11225313223404311x14103131323155521x11225313223404311x14145002404344135x11225313223404311x15324144430510550x11550122314021332x11145341435050124x11550122314021332x11245520125151500x12014101334302052x10254411112505520x12014101334302052x11145341435050124x12014101334302052x11245520125151500x12014101334302052x12315045004204254x12014101334302052x12505143050420222x12014101334302052x13115104541044143x12014101334302052x13435244445312423x12014101334302052x14145002404344135x12014101334302052x15104511221134254x12014101334302052x15145045320131225x12014101334302052x15324144430510550x12022240020150413x10254411112505520x12022240020150413x11145341435050124x12022240020150413x11245520125151500x12022240020150413x12315045004204254x12022240020150413x12505143050420222x12022240020150413x13115104541044143x12022240020150413x13231543355555323x12022240020150413x13435244445312423x12022240020150413x15104511221134254x12022240020150413x15324144430510550x12215204222123020x10254411112505520x12215204222123020x10430542003314244x12215204222123020x10433023245400144x12215204222123020x11145341435050124x12215204222123020x11245520125151500x12215204222123020x12014101334302052x12215204222123020x12022240020150413x12215204222123020x12315045004204254x12215204222123020x12322104231445211x12215204222123020x12505143050420222x12215204222123020x13110534150553130x12215204222123020x13115104541044143x12215204222123020x13231543355555323x12215204222123020x13435244445312423x12215204222123020x14103131323155521x12215204222123020x14145002404344135x12215204222123020x14312535352132040x12215204222123020x14451235333513100x12215204222123020x15050412320250110x12215204222123020x15104511221134254x12215204222123020x15145045320131225x12215204222123020x15324144430510550x12215204222123020x15414230253253421x12322104231445211x10254411112505520x12322104231445211x11145341435050124x12322104231445211x11245520125151500x12322104231445211x12315045004204254x12322104231445211x12505143050420222x12322104231445211x13115104541044143x12322104231445211x13435244445312423x12322104231445211x14145002404344135x12322104231445211x15324144430510550x12505143050420222x10254411112505520x12505143050420222x13115104541044143x13110534150553130x10254411112505520x13110534150553130x11145341435050124x13110534150553130x11245520125151500x13110534150553130x12315045004204254x13110534150553130x13115104541044143x13110534150553130x13435244445312423x13110534150553130x15324144430510550x13231543355555323x10254411112505520x13231543355555323x11145341435050124x13231543355555323x11245520125151500x13231543355555323x13115104541044143x13231543355555323x13435244445312423x13231543355555323x15324144430510550x13241253005223305x10254411112505520x13241253005223305x11145341435050124x13241253005223305x11245520125151500x13241253005223305x12315045004204254x13241253005223305x13110534150553130x13241253005223305x13115104541044143x13241253005223305x13231543355555323x13241253005223305x13435244445312423x13241253005223305x14145002404344135x13241253005223305x15104511221134254x13241253005223305x15145045320131225x13241253005223305x15324144430510550x13241253005223305x15414230253253421x13435244445312423x13115104541044143x13501542031043042x10254411112505520x13501542031043042x11145341435050124x13501542031043042x11245520125151500x13501542031043042x12315045004204254x13501542031043042x13115104541044143x13501542031043042x13231543355555323x13501542031043042x13435244445312423x13501542031043042x15104511221134254x13501542031043042x15145045320131225x13501542031043042x15324144430510550x13501542031043042x15414230253253421x13542204102410112x10254411112505520x13542204102410112x11145341435050124x13542204102410112x11245520125151500x13542204102410112x13115104541044143x13542204102410112x13435244445312423x13542204102410112x15145045320131225x13542204102410112x15324144430510550x13551333513023002x10254411112505520x13551333513023002x11145341435050124x13551333513023002x11245520125151500x13551333513023002x12315045004204254x13551333513023002x12322104231445211x13551333513023002x12505143050420222x13551333513023002x13110534150553130x13551333513023002x13115104541044143x13551333513023002x13231543355555323x13551333513023002x13501542031043042x13551333513023002x13542204102410112x13551333513023002x15050412320250110x13551333513023002x15104511221134254x13551333513023002x15324144430510550x13551333513023002x15414230253253421x13555334424035333x10254411112505520x13555334424035333x11145341435050124x13555334424035333x11245520125151500x13555334424035333x12315045004204254x13555334424035333x13115104541044143x13555334424035333x13435244445312423x13555334424035333x15104511221134254x13555334424035333x15324144430510550x14103131323155521x10254411112505520x14103131323155521x11145341435050124x14103131323155521x11245520125151500x14103131323155521x13115104541044143x14103131323155521x13435244445312423x14103131323155521x14145002404344135x14312535352132040x10254411112505520x14312535352132040x11145341435050124x14312535352132040x11245520125151500x14312535352132040x12315045004204254x14312535352132040x13115104541044143x14312535352132040x14145002404344135x14312535352132040x14451235333513100x14312535352132040x15104511221134254x14312535352132040x15145045320131225x14312535352132040x15324144430510550x14451235333513100x10254411112505520x14451235333513100x11245520125151500x14451235333513100x15324144430510550x15050342350532123x15050412320250110x15414230253253421x10254411112505520x15414230253253421x13115104541044143x15414230253253421x15324144430510550x12.10012013144230513x10254411112505520x10012013144230513x11145341435050124x10012013144230513x11245520125151500x10012013144230513x12315045004204254x10012013144230513x13115104541044143x10012013144230513x13435244445312423x10012013144230513x14145002404344135x10012013144230513x15104511221134254x10012013144230513x15324144430510550x10403452111022231x10254411112505520x10403452111022231x11145341435050124x10403452111022231x11245520125151500x10403452111022231x12315045004204254x10403452111022231x12505143050420222x10403452111022231x13115104541044143x10403452111022231x13435244445312423x10403452111022231x14145002404344135x10403452111022231x15324144430510550x10430542003314244x10433023245400144x10430542003314244x11245520125151500x10430542003314244x12315045004204254x10430542003314244x15104511221134254x10433023245400144x12315045004204254x11145341435050124x11245520125151500x11225313223404311x10254411112505520x11225313223404311x11145341435050124x11225313223404311x11245520125151500x11225313223404311x13115104541044143x11225313223404311x13435244445312423x11225313223404311x14103131323155521x11225313223404311x14145002404344135x11225313223404311x15324144430510550x11550122314021332x11145341435050124x11550122314021332x11245520125151500x12014101334302052x10254411112505520x12014101334302052x11145341435050124x12014101334302052x11245520125151500x12014101334302052x12315045004204254x12014101334302052x12505143050420222x12014101334302052x13115104541044143x12014101334302052x13435244445312423x12014101334302052x14145002404344135x12014101334302052x15104511221134254x12014101334302052x15145045320131225x12014101334302052x15324144430510550x12022240020150413x10254411112505520x12022240020150413x11145341435050124x12022240020150413x11245520125151500x12022240020150413x12315045004204254x12022240020150413x12505143050420222x12022240020150413x13115104541044143x12022240020150413x13231543355555323x12022240020150413x13435244445312423x12022240020150413x15104511221134254x12022240020150413x15324144430510550x12215204222123020x10254411112505520x12215204222123020x10430542003314244x12215204222123020x10433023245400144x12215204222123020x11145341435050124x12215204222123020x11245520125151500x12215204222123020x12014101334302052x12215204222123020x12022240020150413x12215204222123020x12315045004204254x12215204222123020x12322104231445211x12215204222123020x12505143050420222x12215204222123020x13110534150553130x12215204222123020x13115104541044143x12215204222123020x13231543355555323x12215204222123020x13435244445312423x12215204222123020x14103131323155521x12215204222123020x14145002404344135x12215204222123020x14312535352132040x12215204222123020x14451235333513100x12215204222123020x15050412320250110x12215204222123020x15104511221134254x12215204222123020x15145045320131225x12215204222123020x15324144430510550x12215204222123020x15414230253253421x12322104231445211x10254411112505520x12322104231445211x11145341435050124x12322104231445211x11245520125151500x12322104231445211x12315045004204254x12322104231445211x12505143050420222x12322104231445211x13115104541044143x12322104231445211x13435244445312423x12322104231445211x14145002404344135x12322104231445211x15324144430510550x12505143050420222x10254411112505520x12505143050420222x13115104541044143x13110534150553130x10254411112505520x13110534150553130x11145341435050124x13110534150553130x11245520125151500x13110534150553130x12315045004204254x13110534150553130x13115104541044143x13110534150553130x13435244445312423x13110534150553130x15324144430510550x13231543355555323x10254411112505520x13231543355555323x11145341435050124x13231543355555323x11245520125151500x13231543355555323x13115104541044143x13231543355555323x13435244445312423x13231543355555323x15324144430510550x13241253005223305x10254411112505520x13241253005223305x11145341435050124x13241253005223305x11245520125151500x13241253005223305x12315045004204254x13241253005223305x13110534150553130x13241253005223305x13115104541044143x13241253005223305x13231543355555323x13241253005223305x13435244445312423x13241253005223305x14145002404344135x13241253005223305x15104511221134254x13241253005223305x15145045320131225x13241253005223305x15324144430510550x13241253005223305x15414230253253421x13435244445312423x13115104541044143x13501542031043042x10254411112505520x13501542031043042x11145341435050124x13501542031043042x11245520125151500x13501542031043042x12315045004204254x13501542031043042x13115104541044143x13501542031043042x13231543355555323x13501542031043042x13435244445312423x13501542031043042x15104511221134254x13501542031043042x15145045320131225x13501542031043042x15324144430510550x13501542031043042x15414230253253421x13542204102410112x10254411112505520x13542204102410112x11145341435050124x13542204102410112x11245520125151500x13542204102410112x13115104541044143x13542204102410112x13435244445312423x13542204102410112x15145045320131225x13542204102410112x15324144430510550x13551333513023002x10254411112505520x13551333513023002x11145341435050124x13551333513023002x11245520125151500x13551333513023002x12315045004204254x13551333513023002x12322104231445211x13551333513023002x12505143050420222x13551333513023002x13110534150553130x13551333513023002x13115104541044143x13551333513023002x13231543355555323x13551333513023002x13501542031043042x13551333513023002x13542204102410112x13551333513023002x15050412320250110x13551333513023002x15104511221134254x13551333513023002x15324144430510550x13551333513023002x15414230253253421x13555334424035333x10254411112505520x13555334424035333x11145341435050124x13555334424035333x11245520125151500x13555334424035333x12315045004204254x13555334424035333x13115104541044143x13555334424035333x13435244445312423x13555334424035333x15104511221134254x13555334424035333x15324144430510550x14103131323155521x10254411112505520x14103131323155521x11145341435050124x14103131323155521x11245520125151500x14103131323155521x13115104541044143x14103131323155521x13435244445312423x14103131323155521x14145002404344135x14312535352132040x10254411112505520x14312535352132040x11145341435050124x14312535352132040x11245520125151500x14312535352132040x12315045004204254x14312535352132040x13115104541044143x14312535352132040x14145002404344135x14312535352132040x14451235333513100x14312535352132040x15104511221134254x14312535352132040x15145045320131225x14312535352132040x15324144430510550x14451235333513100x10254411112505520x14451235333513100x11245520125151500x14451235333513100x15324144430510550x15050342350532123x15050412320250110x15414230253253421x10254411112505520x15414230253253421x13115104541044143x15414230253253421x15324144430510550x1ttt2ttt2 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])))