/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 0012112013420302040134405321253205315112112424152241355003424054544213542404520514512x10514004425413352353314322235001105001052121532101020030301340245155251350242135230020323010011240255x10331155222555013455221335155043001340153432201443520205213204145200045122352123003534x10012525033302531243231455010011003410255024042245534102230125101325023025223411410312045333035000423x10331451450245534130131424454050243140413311454414141312251454220550011545521105133121x15451010023054232001324103400224502114235350442102211313123223525302403445230023530125020324124442314x10343135034042432015523344541330432544522031525421434155000214430203221244011045324332x12344203042505050134423150534323022005341423344513024510003211224234030001535515125053044225050303030x10433041511112520221530351125450052521402013244145314514135434143033451145345241033414x15011051542021000030012134402202542421144523123512343305055425235043045353302023245050040300255334204x11522445343241344110345305311315440350134315204402034222030251455141150535104224010012x14014004150454405312523055320455155223405040122303130221234301532450123205230203215310003501433525331x11543554443111340551315315543515514554331424430144430321011423532154053252145353252125x10035324522020202515225011124311425532332340105123050133505003342455050525143130233123110000421534035x12415442301553104505225411115525120301533102125343503445543110505441215420132424155241x10503255055034353302353411350412155050004304345253000010052542540042255335252203215030350435533325411x12435542145421350123343545242413421112144053341405242505443300403321441313420543341521x11223403533441545120200510354325551225205453011434513051112240543523110221500001004320540203234223113x13234431053212015140531432442021301524504332112304341524104451021555354214215013315522x13523250222301210510333502500313341304111551122125322322341323050100510404223413304442020243225032220x13402350143144432501355302310232115224511432414514330314442411303431115343000555144302x13040104442135250154000310011215034412100530202233244424243021525042350454225231333252404123035422223x14141304304301100045324142014455310343251514214152053120154343335411355221113241335332x15434323204235025004112440014012242243002334353021205152021314125224504324253412111042525232112305152x14232211244321025422133255542120551430321215535001334403022132215112052042124153244041x15045223524524454510304411100502230051333140425332311010034554454052305255354451234011003244205404104x14321232533402033203433214024051555414504131103355343241032131052534424145000113412114x13252353104110133000142130003454125004005550130053512121242210133004322302035015255141023433245502502x14335514035130415143322455154402441123222120245315344021412334315341404524151104214311x10235000444305223431450241035052424202321130441324102241023543230430044504401444300222550513300324201x14432234453411023152135311144524115013133132345115551133151344002123253112512003433110x12123012105225341335032013000523422550400251251244350000203001453204245424502405013002423012545420012x15051134124321124124451031045535214542242200311013341430434213143425540053451253343051x15002340344515244005035420512334313252210200431120125410510002032542343050553015105300230013003005355x15123031253223413115025241211521044455112455351244501055335244421004314511514434442013x15330505123502550005520554520550051251110335525100125012200452121500532000112304042330010541325014033x15434313012544420115550510044211154222133154441132132443440324522512413412521433121334x14045412220422050255103230420253402013123013435021422511220540224020435314301132224321302302130110500x15452140455405313350412143325120302134431403131031354020403313205410224412221502141344x10014500520311022454411002050003200142353455404223032515323541113205543543535235243040050325201150445x12.10012112013420302040134405321253205315112112424152241355003424054544213542404520514512x10514004425413352353314322235001105001052121532101020030301340245155251350242135230020323010011240255x10331155222555013455221335155043001340153432201443520205213204145200045122352123003534x10012525033302531243231455010011003410255024042245534102230125101325023025223411410312045333035000423x10331451450245534130131424454050243140413311454414141312251454220550011545521105133121x15451010023054232001324103400224502114235350442102211313123223525302403445230023530125020324124442314x10343135034042432015523344541330432544522031525421434155000214430203221244011045324332x12344203042505050134423150534323022005341423344513024510003211224234030001535515125053044225050303030x10433041511112520221530351125450052521402013244145314514135434143033451145345241033414x15011051542021000030012134402202542421144523123512343305055425235043045353302023245050040300255334204x11522445343241344110345305311315440350134315204402034222030251455141150535104224010012x14014004150454405312523055320455155223405040122303130221234301532450123205230203215310003501433525331x11543554443111340551315315543515514554331424430144430321011423532154053252145353252125x10035324522020202515225011124311425532332340105123050133505003342455050525143130233123110000421534035x12415442301553104505225411115525120301533102125343503445543110505441215420132424155241x10503255055034353302353411350412155050004304345253000010052542540042255335252203215030350435533325411x12435542145421350123343545242413421112144053341405242505443300403321441313420543341521x11223403533441545120200510354325551225205453011434513051112240543523110221500001004320540203234223113x13234431053212015140531432442021301524504332112304341524104451021555354214215013315522x13523250222301210510333502500313341304111551122125322322341323050100510404223413304442020243225032220x13402350143144432501355302310232115224511432414514330314442411303431115343000555144302x13040104442135250154000310011215034412100530202233244424243021525042350454225231333252404123035422223x14141304304301100045324142014455310343251514214152053120154343335411355221113241335332x15434323204235025004112440014012242243002334353021205152021314125224504324253412111042525232112305152x14232211244321025422133255542120551430321215535001334403022132215112052042124153244041x15045223524524454510304411100502230051333140425332311010034554454052305255354451234011003244205404104x14321232533402033203433214024051555414504131103355343241032131052534424145000113412114x13252353104110133000142130003454125004005550130053512121242210133004322302035015255141023433245502502x14335514035130415143322455154402441123222120245315344021412334315341404524151104214311x10235000444305223431450241035052424202321130441324102241023543230430044504401444300222550513300324201x14432234453411023152135311144524115013133132345115551133151344002123253112512003433110x12123012105225341335032013000523422550400251251244350000203001453204245424502405013002423012545420012x15051134124321124124451031045535214542242200311013341430434213143425540053451253343051x15002340344515244005035420512334313252210200431120125410510002032542343050553015105300230013003005355x15123031253223413115025241211521044455112455351244501055335244421004314511514434442013x15330505123502550005520554520550051251110335525100125012200452121500532000112304042330010541325014033x15434313012544420115550510044211154222133154441132132443440324522512413412521433121334x14045412220422050255103230420253402013123013435021422511220540224020435314301132224321302302130110500x15452140455405313350412143325120302134431403131031354020403313205410224412221502141344x10014500520311022454411002050003200142353455404223032515323541113205543543535235243040050325201150445x1ttt2ttt2 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])))