/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 010234x1010324x1103541x1113054x13001515x13005115x15513045x15531045x124320152x124231052x13023354514x13032354514x14355144003x14355140403x15541235353x15514523353x101404234413x13153221150x102132054205x12211314540x102134354355x11001141413x102341402310x13102214151x103300205242x15450303050x103322202401x15431500042x105002441503x11434332433x105041344333x10030340444x105043232433x13500551500x110054252020x13005455442x112030044415x11002440423x113131210101x11202450152x114140101541x13032201302x114421223255x11115101542x115351144302x10500002013x120211244124x15531055530x120313150515x15313524044x120521131341x12313140313x122120011024x10151502540x123202413543x11035205433x125130412211x10333351110x125320322245x13130204204x125330452030x125334052030x125531502233x14341100502x130034303140x12434003104x130552532324x12330050004x131011244510x10211530001x132003020213x10231311255x133235015524x13015440525x133425005332x14311210223x133501210430x12315250031x134004510103x11500143441x134204321052x11033202313x134232425204x12552442413x135410103033x15143043052x140521314125x13142122252x141301043311x14234033250x141544020004x10332421335x142151513502x11353252044x143143055415x12000331254x143153035343x11415325524x143245233140x14321402421x143253140352x10312351023x145413332230x13534035240x152525540000x13011131304x154004552352x11035350115x154051150413x12142032130x154510310535x13551133404x154521330523x12012222020x1132335110445x15204513550x1325154245055x10251005151x1354241515521x1255312415154x144533231330152x144533231303152x1110213115102544x1110123115102544x1230333325540035x1230333352540305x1234554500054420x1234554050052440x140120432320405043x140120432230405043x154534001200400353x154534001200403053x11521124005504245021x11521124005504254021x13104314204542001020x13104312404542001020x13320220055542013455x13320220055452013455x134145130350055044021x134145130530055404021x1325021054435421114153x1320521054435421114153x1423542413201503531255x1423542431201503531255x10455445342101502134241x10454545342101502134214x123443012344423101013133x131442430324241003113133x141124420022014003044233x141124420020214003044233x1433024234352422003000252x1430324234352422003000252x1501342455123110415154242x1503142455123110415154242x1531244324350005445444340x1531244325430005445444430x14355344530045202531315004x14355344530042502531315004x15111141120555515101322302x15111141125055515101322302x114040241352012501134554300x114040241352012501134553400x115234125442150003343250503x115234125442150030343250503x1055045010042021212023113121x1540505001022214032110223111x1440201122252232020433035051x1440201122252232024033035051x12141220512512114553531211031x12141220512521114553531211031x13103024121410242423250324205x13100324121410242423250324205x113033301401034010421140521450x113033304101034010421140521450x131342531005154532254404205005x131342531005154523254404205005x140410145004541500245031441400x140410154004541500245031441400x1312520331515215330344224103005x1312523031515215330344224103005x12.1010234x1010324x1103541x1113054x13001515x13005115x15513045x15531045x124320152x124231052x13023354514x13032354514x14355144003x14355140403x15541235353x15514523353x101404234413x13153221150x102132054205x12211314540x102134354355x11001141413x102341402310x13102214151x103300205242x15450303050x103322202401x15431500042x105002441503x11434332433x105041344333x10030340444x105043232433x13500551500x110054252020x13005455442x112030044415x11002440423x113131210101x11202450152x114140101541x13032201302x114421223255x11115101542x115351144302x10500002013x120211244124x15531055530x120313150515x15313524044x120521131341x12313140313x122120011024x10151502540x123202413543x11035205433x125130412211x10333351110x125320322245x13130204204x125330452030x125334052030x125531502233x14341100502x130034303140x12434003104x130552532324x12330050004x131011244510x10211530001x132003020213x10231311255x133235015524x13015440525x133425005332x14311210223x133501210430x12315250031x134004510103x11500143441x134204321052x11033202313x134232425204x12552442413x135410103033x15143043052x140521314125x13142122252x141301043311x14234033250x141544020004x10332421335x142151513502x11353252044x143143055415x12000331254x143153035343x11415325524x143245233140x14321402421x143253140352x10312351023x145413332230x13534035240x152525540000x13011131304x154004552352x11035350115x154051150413x12142032130x154510310535x13551133404x154521330523x12012222020x1132335110445x15204513550x1325154245055x10251005151x1354241515521x1255312415154x144533231330152x144533231303152x1110213115102544x1110123115102544x1230333325540035x1230333352540305x1234554500054420x1234554050052440x140120432320405043x140120432230405043x154534001200400353x154534001200403053x11521124005504245021x11521124005504254021x13104314204542001020x13104312404542001020x13320220055542013455x13320220055452013455x134145130350055044021x134145130530055404021x1325021054435421114153x1320521054435421114153x1423542413201503531255x1423542431201503531255x10455445342101502134241x10454545342101502134214x123443012344423101013133x131442430324241003113133x141124420022014003044233x141124420020214003044233x1433024234352422003000252x1430324234352422003000252x1501342455123110415154242x1503142455123110415154242x1531244324350005445444340x1531244325430005445444430x14355344530045202531315004x14355344530042502531315004x15111141120555515101322302x15111141125055515101322302x114040241352012501134554300x114040241352012501134553400x115234125442150003343250503x115234125442150030343250503x1055045010042021212023113121x1540505001022214032110223111x1440201122252232020433035051x1440201122252232024033035051x12141220512512114553531211031x12141220512521114553531211031x13103024121410242423250324205x13100324121410242423250324205x113033301401034010421140521450x113033304101034010421140521450x131342531005154532254404205005x131342531005154523254404205005x140410145004541500245031441400x140410154004541500245031441400x1312520331515215330344224103005x1312523031515215330344224103005x1ttt2ttt2 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])))