/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES activenatsmarkcons0incrnatsactivepairsmarkcons0incroddsactiveoddsmarkincrpairsactiveincrconsXXSmarkconssXincrXSactiveheadconsXXSmarkXactivetailconsXXSmarkXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactiveheadXheadactiveXactivetailXtailactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXheadmarkXmarkheadXtailmarkXmarktailXpropernatsoknatsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperpairsokpairsproperoddsokoddspropersXsproperXproperheadXheadproperXpropertailXtailproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXheadokXokheadXtailokXoktailXtopmarkXtopproperXtopokXtopactiveX2.1311cons210000001011000000002001000000s11000100011000000000active11100000001011000000incr11000000001000000000mark11000000001000000000tail11000100011000000000nats0011000000odds0000000000ok11000100011000000000proper11000000101001000000head11000100011100000000top11000000001000000000pairs000000000000000000000activenatsmarkcons0incrnatsactivepairsmarkcons0incroddsactiveoddsmarkincrpairsactiveincrconsXXSmarkconssXincrXSactivetailconsXXSmarkXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactiveheadXheadactiveXactivetailXtailactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXheadmarkXmarkheadXtailmarkXmarktailXpropernatsoknatsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperpairsokpairsproperoddsokoddspropersXsproperXproperheadXheadproperXpropertailXtailproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXheadokXokheadXtailokXoktailXtopmarkXtopproperXtopokXtopactiveX311cons210001001011100000002001000000s11000100011000000000active11000100101001000000incr11000100011000000000mark11000000001010000000tail11000100011100000000nats0010000000odds0010000000ok11000100011000000000proper11100100011000000000head11000000001010000000top11000000001001000000pairs000100000000001000000activenatsmarkcons0incrnatsactivepairsmarkcons0incroddsactiveoddsmarkincrpairsactiveincrconsXXSmarkconssXincrXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactiveheadXheadactiveXactivetailXtailactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXheadmarkXmarkheadXtailmarkXmarktailXpropernatsoknatsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperpairsokpairsproperoddsokoddspropersXsproperXproperheadXheadproperXpropertailXtailproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXheadokXokheadXtailokXoktailXtopmarkXtopproperXtopokXtopactiveX311cons210000010011100000002000000000s11000001001000000000active11000101001000000000incr11000000011000000000mark11000000011000000000tail11000001101000000000nats0001000000odds0000000000ok11000000011000000000proper11100000111000000000head11000001111000000000top11000001001000000000pairs000000000000000000000activepairsmarkcons0incroddsactiveoddsmarkincrpairsactiveincrconsXXSmarkconssXincrXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactiveheadXheadactiveXactivetailXtailactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXheadmarkXmarkheadXtailmarkXmarktailXpropernatsoknatsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperpairsokpairsproperoddsokoddspropersXsproperXproperheadXheadproperXpropertailXtailproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXheadokXokheadXtailokXoktailXtopmarkXtopproperXtopokXtopactiveXactivepairsincroddsactivepairscons0incroddsactiveoddsincrpairsactiveincrconsXXSincrXSactiveincrconsXXSsXactiveincrconsXXSconssXincrXSactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activeincrXactiveXactiveincrXincractiveXactivesXactiveXactivesXsactiveXactiveheadXactiveXactiveheadXheadactiveXactivetailXactiveXactivetailXtailactiveXconsmarkX1X2consX1X2incrmarkXincrXsmarkXsXheadmarkXheadXtailmarkXtailXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properincrXproperXproperincrXincrproperXpropersXproperXpropersXsproperXproperheadXproperXproperheadXheadproperXpropertailXproperXpropertailXtailproperXconsokX1okX2consX1X2incrokXincrXsokXsXheadokXheadXtailokXtailXtopmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue18top10ok10proper10tail11head10s10odds03pairs02mark10cons20incr12000active10nats00top11ok11proper11tail11head11s11odds0pairs0mark11cons21incr1100active11nats0topokXtopactiveXactivepairsmarkcons0incroddsactiveoddsmarkincrpairsactiveincrconsXXSmarkconssXincrXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactiveheadXheadactiveXactivetailXtailactiveXincrmarkXmarkincrXincrokXokincrXsmarkXmarksXsokXoksXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2headmarkXmarkheadXheadokXokheadXtailmarkXmarktailXtailokXoktailXpropernatsoknatsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperpairsokpairsproperoddsokoddspropersXsproperXproperheadXheadproperXpropertailXtailproperXtop10ok10tail10head10s10odds02pairs01mark10cons20incr10000active10top11ok11tail11head11s11odds0pairs0mark11cons21incr1100active11activepairsmarkcons0incroddsactiveoddsmarkincrpairsactiveincrconsXXSmarkconssXincrXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactiveheadXheadactiveXactivetailXtailactiveXincrmarkXmarkincrXincrokXokincrXsmarkXmarksXsokXoksXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2headmarkXmarkheadXheadokXokheadXtailmarkXmarktailXtailokXoktailXtopmarkXproperXfalse123456propertailXproperXproperheadXproperXpropersXproperXproperincrXproperXproperconsX1X2properX1properconsX1X2properX2true12345propertailXproperX1true1properheadXproperX1true1propersXproperX1true1properincrXproperX1true1properconsX1X2properX11true1properconsX1X2properX21true1properconsX1X2consproperX1properX2false14properincrXincrproperXfalse15propersXsproperXfalse16properheadXheadproperXfalse17propertailXtailproperXfalse18topokXactiveXfalse1234567810121416activetailXactiveXactiveheadXactiveXactivesXactiveXactiveincrXactiveXactiveconsX1X2activeX1true12345679111315activetailXactiveX1true1activeheadXactiveX1true1activesXactiveX1true1activeincrXactiveX1true1activeconsX1X2activeX11true1activepairsincroddsfalseactivepairscons0incroddsfalseactiveoddsincrpairsfalseactiveincrconsXXSincrXSfalse6activeincrconsXXSsXfalse7activeincrconsXXSconssXincrXSfalse2activeconsX1X2consactiveX1X2false1consokX1okX2consX1X2consmarkX1X2consX1X2trueconsokX1okX2consX1X22true21true1consmarkX1X2consX1X22false21true1activeincrXincractiveXfalse1incrokXincrXincrmarkXincrXtrueincrokXincrX1true1incrmarkXincrX1true1activesXsactiveXfalse1sokXsXsmarkXsXtruesokXsX1true1smarkXsX1true1activeheadXheadactiveXfalse1headokXheadXheadmarkXheadXtrueheadokXheadX1true1headmarkXheadX1true1activetailXtailactiveXfalse1tailokXtailXtailmarkXtailXtruetailokXtailX1true1tailmarkXtailX1true1ttt2ttt2 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])))