/export/starexec/sandbox2/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES c0xxcxcyzc+xyz+000+011+022+033+044+055+066+077+088+099+101+112+123+134+145+156+167+178+189+19c10+202+213+224+235+246+257+268+279+28c10+29c11+303+314+325+336+347+358+369+37c10+38c11+39c12+404+415+426+437+448+459+46c10+47c11+48c12+49c13+505+516+527+538+549+55c10+56c11+57c12+58c13+59c14+606+617+628+639+64c10+65c11+66c12+67c13+68c14+69c15+707+718+729+73c10+74c11+75c12+76c13+77c14+78c15+79c16+808+819+82c10+83c11+84c12+85c13+86c14+87c15+88c16+89c17+909+91c10+92c11+93c12+94c13+95c14+96c15+97c16+98c17+99c18+xcyzcy+xz+cxyzcx+yz*000*010*020*030*040*050*060*070*080*090*100*111*122*133*144*155*166*177*188*199*200*212*224*236*248*25c10*26c12*27c14*28c16*29c18*300*313*326*339*34c12*35c15*36c18*37c21*38c24*39c27*400*414*428*43c12*44c16*45c20*46c24*47c28*48c32*49c36*500*515*52c10*53c15*54c20*55c25*56c30*57c35*58c40*59c45*600*616*62c12*63c18*64c24*65c30*66c36*67c42*68c48*69c54*700*717*72c14*73c21*74c28*75c35*76c42*77c49*78c56*79c63*800*818*82c18*83c24*84c32*85c40*86c48*87c56*88c64*89c72*900*919*92c18*93c27*94c36*95c45*96c54*97c63*98c72*99c81*xcyzc*xy*xz*cxyzc*xz*yz2.1cxcyz+xycxcyzc+xyz+19c10+28c10+29c11+37c10+38c11+39c12+46c10+47c11+48c12+49c13+55c10+56c11+57c12+58c13+59c14+64c10+65c11+66c12+67c13+68c14+69c15+73c10+74c11+75c12+76c13+77c14+78c15+79c16+82c10+83c11+84c12+85c13+86c14+87c15+88c16+89c17+91c10+92c11+93c12+94c13+95c14+96c15+97c16+98c17+99c18+xcyz+xz+xcyzcy+xz+cxyz+yz+cxyzcx+yz*25c10*26c12*27c14*28c16*29c18*34c12*35c15*36c18*37c21*38c24*39c27*43c12*44c16*45c20*46c24*47c28*48c32*49c36*52c10*53c15*54c20*55c25*56c30*57c35*58c40*59c45*62c12*63c18*64c24*65c30*66c36*67c42*68c48*69c54*72c14*73c21*74c28*75c35*76c42*77c49*78c56*79c63*82c18*83c24*84c32*85c40*86c48*87c56*88c64*89c72*92c18*93c27*94c36*95c45*96c54*97c63*98c72*99c81*xcyz*xz*xcyz*xy*xcyzc*xy*xz*cxyz*yz*cxyz*xz*cxyzc*xz*yztrue*cxyz*yz*cxyz*xz*xcyz*xy*xcyz*xztrue12495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106*cxyz*yz2false21true1*cxyz*xz2false21true1*xcyz*xy2true21false1*xcyz*xz2true21false1*xcyzc*xy*xzfalse2*cxyzc*xz*yzfalse1cxcyzc+xyzcxcyz+xy+cxyzcx+yz+cxyz+yz+xcyzcy+xz+xcyz+xztrue1234567891011121314151617181920212223242526272829303132333435363738394041424344451201603c211122100301803000502+211126903702c211127401+211121+cxyzcx+yz+xcyzcy+xz+000+011+022+033+044+055+066+077+088+099+101+112+123+134+145+156+167+178+189+19c10+202+213+224+235+246+257+268+279+28c10+29c11+303+314+325+336+347+358+369+37c10+38c11+39c12+404+415+426+437+448+459+46c10+47c11+48c12+49c13+505+516+527+538+549+55c10+56c11+57c12+58c13+59c14+606+617+628+639+64c10+65c11+66c12+67c13+68c14+69c15+707+718+729+73c10+74c11+75c12+76c13+77c14+78c15+79c16+808+819+82c10+83c11+84c12+85c13+86c14+87c15+88c16+89c17+909+91c10+92c11+93c12+94c13+95c14+96c15+97c16+98c17+99c18+xcyzcy+xz+cxyzcx+yzc0xxcxcyzc+xyz+xcyzcy+xzfalse+cxyzcx+yzfalse+19c10false+28c10false+29c11false+37c10false+38c11false+39c12false+46c10false+47c11false+48c12false+49c13false+55c10false+56c11false+57c12false+58c13false+59c14false+64c10false+65c11false+66c12false+67c13false+68c14false+69c15false+73c10false+74c11false+75c12false+76c13false+77c14false+78c15false+79c16false+82c10false+83c11false+84c12false+85c13false+86c14false+87c15false+88c16false+89c17false+91c10false+92c11false+93c12false+94c13false+95c14false+96c15false+97c16false+98c17false+99c18false*25c10false*26c12false*27c14false*28c16false*29c18false*34c12false*35c15false*36c18false*37c21false*38c24false*39c27false*43c12false*44c16false*45c20false*46c24false*47c28false*48c32false*49c36false*52c10false*53c15false*54c20false*55c25false*56c30false*57c35false*58c40false*59c45false*62c12false*63c18false*64c24false*65c30false*66c36false*67c42false*68c48false*69c54false*72c14false*73c21false*74c28false*75c35false*76c42false*77c49false*78c56false*79c63false*82c18false*83c24false*84c32false*85c40false*86c48false*87c56false*88c64false*89c72false*92c18false*93c27false*94c36false*95c45false*96c54false*97c63false*98c72false*99c81falsettt2ttt2 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])))