/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixX2.1a__appnilYSmarkYSa__appconsXXSYSmarkXa__fromXmarkXa__zWadrconsXXSconsYYSmarkXa__zWadrconsXXSconsYYSmarkYa__zWadrconsXXSconsYYSa__appmarkYconsmarkXnilmarkappX1X2markX2markappX1X2markX1markappX1X2a__appmarkX1markX2markfromXmarkXmarkfromXa__frommarkXmarkzWadrX1X2markX2markzWadrX1X2markX1markzWadrX1X2a__zWadrmarkX1markX2markprefixXmarkXmarkprefixXa__prefixmarkXmarkconsX1X2markX1marksXmarkXtruea__zWadrconsXXSconsYYSmarkYmarkappX1X2markX2markappX1X2markX1markappX1X2a__appmarkX1markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkzWadrX1X2markX2markzWadrX1X2markX1markzWadrX1X2a__zWadrmarkX1markX2a__zWadrconsXXSconsYYSmarkXmarkprefixXmarkXmarkconsX1X2markX1marksXmarkXa__zWadrconsXXSconsYYSa__appmarkYconsmarkXnila__appconsXXSYSmarkXtrue11app201020a__zWadr201020a__zWadr201020a__app201020cons201020a__from1010a__prefix1111nil00from101a__from1010a__app201020prefix1111zWadr201020mark1010s101mark1010a__zWadrconsXXSconsYYSmarkYmarkappX1X2markX2markappX1X2markX1markappX1X2a__appmarkX1markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkzWadrX1X2markX2markzWadrX1X2markX1markzWadrX1X2a__zWadrmarkX1markX2a__zWadrconsXXSconsYYSmarkXmarkconsX1X2markX1marksXmarkXa__zWadrconsXXSconsYYSa__appmarkYconsmarkXnila__appconsXXSYSmarkXa__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixX1app201020a__zWadr201020a__zWadr201020a__app201020cons20120a__from1010a__prefix113nil00from1010a__from1010a__app201020prefix113zWadr201020mark1010s1314mark1010a__zWadrconsXXSconsYYSmarkYmarkappX1X2markX2markappX1X2markX1markappX1X2a__appmarkX1markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkzWadrX1X2markX2markzWadrX1X2markX1markzWadrX1X2a__zWadrmarkX1markX2a__zWadrconsXXSconsYYSmarkXmarkconsX1X2markX1a__zWadrconsXXSconsYYSa__appmarkYconsmarkXnila__appconsXXSYSmarkXa__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixX1app201020a__zWadr20102a__zWadr271720a__app201020cons20120a__from1012a__prefix110nil00from1012a__from1010a__app20102prefix110zWadr271720mark1010s1013mark101a__zWadrconsXXSconsYYSmarkYmarkappX1X2markX2markappX1X2markX1markappX1X2a__appmarkX1markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkzWadrX1X2markX2markzWadrX1X2markX1a__zWadrconsXXSconsYYSmarkXmarkconsX1X2markX1a__zWadrconsXXSconsYYSa__appmarkYconsmarkXnila__appconsXXSYSmarkXa__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixXa__zWadrconsXXSconsYYSa__appmarkYconsmarkXnilfalse3a__zWadrconsXXSconsYYSmarkXfalse2a__zWadrconsXXSconsYYSmarkYfalse1markappX1X2markX2markappX1X2markX1markappX1X2a__appmarkX1markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkzWadrX1X2markX2markzWadrX1X2markX1markconsX1X2markX1a__appconsXXSYSmarkXtrue1app26102a__zWadr20162a__app26102cons20120a__from1010a__prefix1010nil00from1010a__from101a__app26102prefix1010zWadr20162mark101s111mark101markappX1X2markX2markappX1X2a__appmarkX1markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkzWadrX1X2markX1markconsX1X2markX1a__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixX1app201020a__zWadr211020a__app201020cons2012a__from101a__prefix110nil00from101a__from101a__app201020prefix110zWadr211020mark101s111mark101markappX1X2markX2markappX1X2a__appmarkX1markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkconsX1X2markX1a__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixX1app21152a__zWadr261220a__app21152cons21120a__from1110a__prefix1011nil00from1110a__from1010a__app20142prefix1011zWadr261220mark1010s101mark101markappX1X2markX2a__appnilYSmarkYSmarkfromXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkconsX1X2markX1a__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixXa__appnilYSmarkYSfalse1a__fromXmarkXmarkappX1X2markX2markfromXmarkXmarkfromXa__frommarkXmarkconsX1X2markX1true1app20112a__zWadr26142a__app20112cons2012a__from101a__prefix1011nil01from101a__from101prefix1011zWadr26142mark101s141mark101a__fromXmarkXmarkfromXmarkXmarkfromXa__frommarkXmarkconsX1X2markX1a__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixX1app20122a__zWadr221020a__app20122cons2012a__from141a__prefix113nil02from141a__from101prefix113zWadr221020mark101s1113mark101a__fromXmarkXmarkconsX1X2markX1a__appnilYSmarkYSa__appconsXXSYSconsmarkXappXSYSa__fromXconsmarkXfromsXa__zWadrnilYSnila__zWadrXSnilnila__zWadrconsXXSconsYYSconsa__appmarkYconsmarkXnilzWadrXSYSa__prefixLconsnilzWadrLprefixLmarkappX1X2a__appmarkX1markX2markfromXa__frommarkXmarkzWadrX1X2a__zWadrmarkX1markX2markprefixXa__prefixmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXa__appX1X2appX1X2a__fromXfromXa__zWadrX1X2zWadrX1X2a__prefixXprefixXa__fromXmarkXfalse1markconsX1X2markX1truemarkconsX1X2markX11true1markprefixXa__prefixmarkXfalsettt2ttt2 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])))