/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE 0120334x10013234x11030241x11032041x105045305x105030455x113115044x113151044x124252133x124251233x151125311x151123511x1100423134x1100432314x10033402114x10213043104x14003341150x14243251051x15101033334x14041420424x101001510305x14344004405x101131052424x10254130201x102200335121x12001333441x102355555545x11255350152x102545011255x13030155500x103410401404x103410404104x104001213011x15411321153x104155531032x13454405555x104443420454x11250242050x105002032124x105002013224x111034220022x12525504331x111224525430x10032234414x111311542254x12422434121x113003341253x15221003434x115121331401x115123131401x115220554134x11511322304x121010335540x10150203012x121503111450x13245452354x121511522522x14342211224x121531220542x15453110121x122255431124x12240313434x123130521201x13010234013x123441142552x15155153435x123515455032x15020313200x124135201142x15514552344x125505331211x13142452151x130141025245x15124440232x130411302035x15302034104x130513235005x14515150103x131101552032x11500015530x131444000111x10401215004x132140311542x15030153420x134212203455x10414202114x140232054553x12241402454x141055125424x14311114251x141313253242x12033510420x150025201153x150205201153x150103124033x11344511551x150400310530x10233313022x151222123031x11555135105x151542322100x12241342552x152335450514x152335045514x153211332410x14300154340x153420230434x13431504452x154350210453x10220135554x1011205240334x13141344323x1041432203040x12343551313x1212402140551x1212402410551x1340431222053x15345505314x1343520551015x12434541235x1401554201100x14125333255x1404205210055x12543214310x1411405405442x14353315411x1455052514524x10045042150x12052111254213x11052122142513x150453453535003x150543534355003x154234451443242x154234454143242x1211055331030502x1211055313030502x1241450011445513x1241405011445513x11105220533412415x11105220533142415x14525244201203043x14525424201203043x14541400253053301x14541400523053301x15302401453454214x15203404135524414x1213245053502035115x1213245053502031515x1323453113254051033x1335214233154050133x123215001521250144113x123215001522150144113x144334300051104033410x144343300051104033410x1144000043302302451500x1144000043302304251500x15533132003502043324543x15532013305030424335243x1105042454305205554433341x1105044254305205554433341x1344102241535110331131413x1344102241355110331131413x1555311410320330200401425x1555311410320332000401425x11145000501254104424530524x11145000051254104424530524x12213501133201531113451221x12123510132305131113451221x111424142512302205421331421x111424142512032205421331421x140205232222505110011202531x140205232222551010011202351x1052042434350535102042055512x1052042434350553102042055512x1314013534121305114402345144x1314013534121305114403245144x122143442155211010005242035540x122143441255211010005242035540x130240112020112045020305055301x130240112020112045020300555301x153401014435413225223421313451x153410014435413225223421313451x1052100250013225451151350404120x1052010250013225451151350404120x12.10120334x10013234x11030241x11032041x105045305x105030455x113115044x113151044x124252133x124251233x151125311x151123511x1100423134x1100432314x10033402114x10213043104x14003341150x14243251051x15101033334x14041420424x101001510305x14344004405x101131052424x10254130201x102200335121x12001333441x102355555545x11255350152x102545011255x13030155500x103410401404x103410404104x104001213011x15411321153x104155531032x13454405555x104443420454x11250242050x105002032124x105002013224x111034220022x12525504331x111224525430x10032234414x111311542254x12422434121x113003341253x15221003434x115121331401x115123131401x115220554134x11511322304x121010335540x10150203012x121503111450x13245452354x121511522522x14342211224x121531220542x15453110121x122255431124x12240313434x123130521201x13010234013x123441142552x15155153435x123515455032x15020313200x124135201142x15514552344x125505331211x13142452151x130141025245x15124440232x130411302035x15302034104x130513235005x14515150103x131101552032x11500015530x131444000111x10401215004x132140311542x15030153420x134212203455x10414202114x140232054553x12241402454x141055125424x14311114251x141313253242x12033510420x150025201153x150205201153x150103124033x11344511551x150400310530x10233313022x151222123031x11555135105x151542322100x12241342552x152335450514x152335045514x153211332410x14300154340x153420230434x13431504452x154350210453x10220135554x1011205240334x13141344323x1041432203040x12343551313x1212402140551x1212402410551x1340431222053x15345505314x1343520551015x12434541235x1401554201100x14125333255x1404205210055x12543214310x1411405405442x14353315411x1455052514524x10045042150x12052111254213x11052122142513x150453453535003x150543534355003x154234451443242x154234454143242x1211055331030502x1211055313030502x1241450011445513x1241405011445513x11105220533412415x11105220533142415x14525244201203043x14525424201203043x14541400253053301x14541400523053301x15302401453454214x15203404135524414x1213245053502035115x1213245053502031515x1323453113254051033x1335214233154050133x123215001521250144113x123215001522150144113x144334300051104033410x144343300051104033410x1144000043302302451500x1144000043302304251500x15533132003502043324543x15532013305030424335243x1105042454305205554433341x1105044254305205554433341x1344102241535110331131413x1344102241355110331131413x1555311410320330200401425x1555311410320332000401425x11145000501254104424530524x11145000051254104424530524x12213501133201531113451221x12123510132305131113451221x111424142512302205421331421x111424142512032205421331421x140205232222505110011202531x140205232222551010011202351x1052042434350535102042055512x1052042434350553102042055512x1314013534121305114402345144x1314013534121305114403245144x122143442155211010005242035540x122143441255211010005242035540x130240112020112045020305055301x130240112020112045020300555301x153401014435413225223421313451x153410014435413225223421313451x1052100250013225451151350404120x1052010250013225451151350404120x1ttt2ttt2 1.20 [hg: unknown]((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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) 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 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || 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[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))