/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 0001231425422212x15455220444444202x10453141440503524x15455220444444202x10522451425541124x15455220444444202x10531555333111314x14200020203314514x10531555333111314x14455545415353334x10555015145445122x11333144540300522x10555015145445122x12020233454400330x10555015145445122x15145554334004250x10555015145445122x15455220444444202x11105425203225221x14425505444220341x11113200325540402x15455220444444202x11152534244205141x14425505444220341x11320404502314055x10501205130253403x11320404502314055x11214301255422555x11320404502314055x11333144540300522x11320404502314055x11430040144042433x11320404502314055x12020233454400330x11320404502314055x12334052013425215x11320404502314055x12442100442344323x11320404502314055x13555025303324415x11320404502314055x14425505444220341x11320404502314055x14455545415353334x11320404502314055x15002543334320251x11320404502314055x15455220444444202x11333144540300522x15455220444444202x11344525502031230x12020233454400330x11415323442112325x11214301255422555x11415323442112325x12020233454400330x11415323442112325x14053400442132215x11415323442112325x14243133331325555x11415323442112325x14425505444220341x11415323442112325x14455545415353334x11415323442112325x15145554334004250x11415323442112325x15455220444444202x11453043241232455x10501205130253403x11453043241232455x11214301255422555x11453043241232455x11430040144042433x11453043241232455x14243133331325555x11453043241232455x15455220444444202x12045042153230343x12020233454400330x12045042153230343x12442100442344323x12045042153230343x14425505444220341x12053030232251343x12020233454400330x12053030232251343x12442100442344323x12053030232251343x14425505444220341x12112445125353250x10333534540525140x12112445125353250x10420424510505300x12112445125353250x12020233454400330x12112445125353250x12353541400005510x12112445125353250x12442100442344323x12112445125353250x14425505444220341x12112445125353250x14455545415353334x12112445125353250x15002543334320251x12112445125353250x15120345133233350x12112445125353250x15145554334004250x12112445125353250x15455220444444202x12334052013425215x14425505444220341x12334052013425215x15455220444444202x12353541400005510x12020233454400330x12353541400005510x15455220444444202x12410510022544314x14455545415353334x13145350035143513x10501205130253403x13145350035143513x11430040144042433x13145350035143513x14031430142445313x13150254513522421x12020233454400330x13150254513522421x12442100442344323x13150254513522421x14054402504433041x13150254513522421x14425505444220341x13150254513522421x15002543334320251x13153104130525515x10501205130253403x13153104130525515x11333144540300522x13153104130525515x12020233454400330x13153104130525515x12105415050150044x13153104130525515x12334052013425215x13153104130525515x12410510022544314x13153104130525515x12442100442344323x13153104130525515x13555025303324415x13153104130525515x14053400442132215x13153104130525515x14054402504433041x13153104130525515x14200020203314514x13153104130525515x14243133331325555x13153104130525515x14425505444220341x13153104130525515x14455545415353334x13153104130525515x15002543334320251x13153104130525515x15455220444444202x13450322232120334x14455545415353334x13550553121551102x10420424510505300x13550553121551102x11333144540300522x13550553121551102x12020233454400330x13550553121551102x12105415050150044x13550553121551102x12353541400005510x13550553121551102x13555025303324415x13550553121551102x14425505444220341x13550553121551102x14455545415353334x13550553121551102x15145554334004250x13550553121551102x15455220444444202x13555025303324415x15455220444444202x14053400442132215x14425505444220341x14053400442132215x15455220444444202x14054402504433041x14425505444220341x14133441553144114x12105415050150044x14133441553144114x14200020203314514x14133441553144114x14243342215020514x14133441553144114x14455545415353334x14134330104322311x12020233454400330x14134330104322311x14054402504433041x14134330104322311x14425505444220341x14145101223142251x10333534540525140x14145101223142251x11430040144042433x14145101223142251x12020233454400330x14145101223142251x12045042153230343x14145101223142251x12053030232251343x14145101223142251x12353541400005510x14145101223142251x12442100442344323x14145101223142251x14031430142445313x14145101223142251x14054402504433041x14145101223142251x14134330104322311x14145101223142251x14210425252451431x14145101223142251x14243133331325555x14145101223142251x14425505444220341x14145101223142251x15002543334320251x14145101223142251x15145554334004250x14145101223142251x15443525354304533x14145101223142251x15455220444444202x14145101223142251x15530044042112523x14200020203314514x14455545415353334x14210425252451431x12442100442344323x14210425252451431x14054402504433041x14210425252451431x14425505444220341x14243342215020514x14200020203314514x14243342215020514x14455545415353334x14414404541311145x14053400442132215x14414404541311145x14243133331325555x14414404541311145x14425505444220341x14414404541311145x14455545415353334x14414404541311145x15455220444444202x14510355131513205x12020233454400330x14510355131513205x14053400442132215x14510355131513205x14054402504433041x14510355131513205x14200020203314514x14510355131513205x14243133331325555x14510355131513205x14243342215020514x14510355131513205x14425505444220341x14510355131513205x14455545415353334x14510355131513205x15145554334004250x14510355131513205x15455220444444202x14550151253041235x12020233454400330x14550151253041235x12105415050150044x14550151253041235x12334052013425215x14550151253041235x12442100442344323x14550151253041235x14031430142445313x14550151253041235x14053400442132215x14550151253041235x14054402504433041x14550151253041235x14133441553144114x14550151253041235x14200020203314514x14550151253041235x14243133331325555x14550151253041235x14243342215020514x14550151253041235x14425505444220341x14550151253041235x14455545415353334x14550151253041235x15355504225253235x14550151253041235x15455220444444202x15012435134041250x10420424510505300x15012435134041250x12020233454400330x15012435134041250x14425505444220341x15012435134041250x15002543334320251x15012435134041250x15120345133233350x15012435134041250x15145554334004250x15012435134041250x15455220444444202x15020220243434232x15455220444444202x15104532112501133x11430040144042433x15104532112501133x15403111115415333x15104532112501133x15443525354304533x15104532112501133x15455220444444202x15120345133233350x15145554334004250x15120345133233350x15455220444444202x15152145102554204x15455220444444202x15210115352304013x11430040144042433x15355504225253235x15455220444444202x15403111115415333x15443525354304533x15403111115415333x15455220444444202x12.10001231425422212x15455220444444202x10453141440503524x15455220444444202x10522451425541124x15455220444444202x10531555333111314x14200020203314514x10531555333111314x14455545415353334x10555015145445122x11333144540300522x10555015145445122x12020233454400330x10555015145445122x15145554334004250x10555015145445122x15455220444444202x11105425203225221x14425505444220341x11113200325540402x15455220444444202x11152534244205141x14425505444220341x11320404502314055x10501205130253403x11320404502314055x11214301255422555x11320404502314055x11333144540300522x11320404502314055x11430040144042433x11320404502314055x12020233454400330x11320404502314055x12334052013425215x11320404502314055x12442100442344323x11320404502314055x13555025303324415x11320404502314055x14425505444220341x11320404502314055x14455545415353334x11320404502314055x15002543334320251x11320404502314055x15455220444444202x11333144540300522x15455220444444202x11344525502031230x12020233454400330x11415323442112325x11214301255422555x11415323442112325x12020233454400330x11415323442112325x14053400442132215x11415323442112325x14243133331325555x11415323442112325x14425505444220341x11415323442112325x14455545415353334x11415323442112325x15145554334004250x11415323442112325x15455220444444202x11453043241232455x10501205130253403x11453043241232455x11214301255422555x11453043241232455x11430040144042433x11453043241232455x14243133331325555x11453043241232455x15455220444444202x12045042153230343x12020233454400330x12045042153230343x12442100442344323x12045042153230343x14425505444220341x12053030232251343x12020233454400330x12053030232251343x12442100442344323x12053030232251343x14425505444220341x12112445125353250x10333534540525140x12112445125353250x10420424510505300x12112445125353250x12020233454400330x12112445125353250x12353541400005510x12112445125353250x12442100442344323x12112445125353250x14425505444220341x12112445125353250x14455545415353334x12112445125353250x15002543334320251x12112445125353250x15120345133233350x12112445125353250x15145554334004250x12112445125353250x15455220444444202x12334052013425215x14425505444220341x12334052013425215x15455220444444202x12353541400005510x12020233454400330x12353541400005510x15455220444444202x12410510022544314x14455545415353334x13145350035143513x10501205130253403x13145350035143513x11430040144042433x13145350035143513x14031430142445313x13150254513522421x12020233454400330x13150254513522421x12442100442344323x13150254513522421x14054402504433041x13150254513522421x14425505444220341x13150254513522421x15002543334320251x13153104130525515x10501205130253403x13153104130525515x11333144540300522x13153104130525515x12020233454400330x13153104130525515x12105415050150044x13153104130525515x12334052013425215x13153104130525515x12410510022544314x13153104130525515x12442100442344323x13153104130525515x13555025303324415x13153104130525515x14053400442132215x13153104130525515x14054402504433041x13153104130525515x14200020203314514x13153104130525515x14243133331325555x13153104130525515x14425505444220341x13153104130525515x14455545415353334x13153104130525515x15002543334320251x13153104130525515x15455220444444202x13450322232120334x14455545415353334x13550553121551102x10420424510505300x13550553121551102x11333144540300522x13550553121551102x12020233454400330x13550553121551102x12105415050150044x13550553121551102x12353541400005510x13550553121551102x13555025303324415x13550553121551102x14425505444220341x13550553121551102x14455545415353334x13550553121551102x15145554334004250x13550553121551102x15455220444444202x13555025303324415x15455220444444202x14053400442132215x14425505444220341x14053400442132215x15455220444444202x14054402504433041x14425505444220341x14133441553144114x12105415050150044x14133441553144114x14200020203314514x14133441553144114x14243342215020514x14133441553144114x14455545415353334x14134330104322311x12020233454400330x14134330104322311x14054402504433041x14134330104322311x14425505444220341x14145101223142251x10333534540525140x14145101223142251x11430040144042433x14145101223142251x12020233454400330x14145101223142251x12045042153230343x14145101223142251x12053030232251343x14145101223142251x12353541400005510x14145101223142251x12442100442344323x14145101223142251x14031430142445313x14145101223142251x14054402504433041x14145101223142251x14134330104322311x14145101223142251x14210425252451431x14145101223142251x14243133331325555x14145101223142251x14425505444220341x14145101223142251x15002543334320251x14145101223142251x15145554334004250x14145101223142251x15443525354304533x14145101223142251x15455220444444202x14145101223142251x15530044042112523x14200020203314514x14455545415353334x14210425252451431x12442100442344323x14210425252451431x14054402504433041x14210425252451431x14425505444220341x14243342215020514x14200020203314514x14243342215020514x14455545415353334x14414404541311145x14053400442132215x14414404541311145x14243133331325555x14414404541311145x14425505444220341x14414404541311145x14455545415353334x14414404541311145x15455220444444202x14510355131513205x12020233454400330x14510355131513205x14053400442132215x14510355131513205x14054402504433041x14510355131513205x14200020203314514x14510355131513205x14243133331325555x14510355131513205x14243342215020514x14510355131513205x14425505444220341x14510355131513205x14455545415353334x14510355131513205x15145554334004250x14510355131513205x15455220444444202x14550151253041235x12020233454400330x14550151253041235x12105415050150044x14550151253041235x12334052013425215x14550151253041235x12442100442344323x14550151253041235x14031430142445313x14550151253041235x14053400442132215x14550151253041235x14054402504433041x14550151253041235x14133441553144114x14550151253041235x14200020203314514x14550151253041235x14243133331325555x14550151253041235x14243342215020514x14550151253041235x14425505444220341x14550151253041235x14455545415353334x14550151253041235x15355504225253235x14550151253041235x15455220444444202x15012435134041250x10420424510505300x15012435134041250x12020233454400330x15012435134041250x14425505444220341x15012435134041250x15002543334320251x15012435134041250x15120345133233350x15012435134041250x15145554334004250x15012435134041250x15455220444444202x15020220243434232x15455220444444202x15104532112501133x11430040144042433x15104532112501133x15403111115415333x15104532112501133x15443525354304533x15104532112501133x15455220444444202x15120345133233350x15145554334004250x15120345133233350x15455220444444202x15152145102554204x15455220444444202x15210115352304013x11430040144042433x15355504225253235x15455220444444202x15403111115415333x15443525354304533x15403111115415333x15455220444444202x1ttt2ttt2 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])))