/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES ____XYZ__X__YZ__XnilX__nilXXandttXactivateXisListVisNeListactivateVisListn__nilttisListn____V1V2andisListactivateV1n__isListactivateV2isNeListVisQidactivateVisNeListn____V1V2andisListactivateV1n__isNeListactivateV2isNeListn____V1V2andisNeListactivateV1n__isListactivateV2isNePalVisQidactivateVisNePaln____I__PIandisQidactivateIn__isPalactivatePisPalVisNePalactivateVisPaln__nilttisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2isListXn__isListXisNeListXn__isNeListXisPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__isListXisListXactivaten__isNeListXisNeListXactivaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.1311n__o0000000000activate11100100011000000000n__a0101000000n____210110000111000100012101000000nil0001000000and211000000011100100012010000000n__e0100000000e0110000000n__u0000000000n__i0000000000i0000000000isList11100000101010000000isQid11000000101010000000__211111000111000100012111000000n__nil0001000000a0111000000isPal11100000101111000000isNePal11000000101011000000o0000000000u0000000000n__isNeList11000000101010000000n__isList11000000101010000000n__isPal11000000101101000000isNeList11100000101010000000tt0000000000andttXactivateXisListVisNeListactivateVisListn__nilttisNeListVisQidactivateVisNePalVisQidactivateVisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2isListXn__isListXisNeListXn__isNeListXisPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__isListXisListXactivaten__isNeListXisNeListXactivaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311n__o0000000000activate11100100011000000000n__a0100000000n____211000000011001010002000000000nil0000000000and210011011011100100112000000000n__e0000000000e0000000000n__u0000000000n__i0000000000i0000000000isList11111111101011000000isQid11000001101011000000__211000000011101110002000000000n__nil0000000000a0100000000isPal11100000001000000000isNePal11000001101011000000o0000000000u0000000000n__isNeList11000011001011000000n__isList11011011001011000000n__isPal11000000001000000000isNeList11100011101011000000tt0011000000isListVisNeListactivateVisListn__nilttisNeListVisQidactivateVisNePalVisQidactivateVisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2isListXn__isListXisNeListXn__isNeListXisPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__isListXisListXactivaten__isNeListXisNeListXactivaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311n__o0000000000activate11000100011000000000n__a0100000000n____210000000011000000002000000000nil0000000000n__e0000000000e0000000000n__u0100000000n__i0000000000i0000000000isList11000101001100000000isQid11000000001000000000__210000000011000000002000000000n__nil0000000000a0100000000isPal11000000001000000000isNePal11110000011001000000o0000000000u0100000000n__isNeList11000000001000000000n__isList11000101001100000000n__isPal11000000001000000000isNeList11000000001000000000tt0000000000isNeListVisQidactivateVisNePalVisQidactivateVisQidn__ittisQidn__ottniln__nil__X1X2n____X1X2isListXn__isListXisNeListXn__isNeListXisPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__isListXisListXactivaten__isNeListXisNeListXactivaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311n__o0000000000activate11000100011000000000n__a0000000000n____210000000011000000002000000000nil0000000000n__e0000000000e0000000000n__u0001000000n__i0000000000i0000000000isList11000000001000000000isQid11000000001000000000__210000000011000000002000000000n__nil0000000000a0000000000isPal11000000001110000000isNePal11000100101100000000o0000000000u0001000000n__isNeList11000000001000000000n__isList11000000001000000000n__isPal11000000001110000000isNeList11000000001000000000tt0000000000isNeListVisQidactivateVisQidn__ittisQidn__ottniln__nil__X1X2n____X1X2isListXn__isListXisNeListXn__isNeListXisPalXn__isPalXan__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__isListXisListXactivaten__isNeListXisNeListXactivaten__isPalXisPalXactivaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311n__o0110000000activate11101110111000000000n__a0110000000n____210000000011101000002100000000nil0001000000n__e0001000000e0011000000n__u0010000000n__i0010000000i0110000000isList11100001111110000000isQid11100000001100000000__210000000011101000002110000000n__nil0001000000a0111000000isPal11110000111111000000o0110000000u0110000000n__isNeList11100100001100000000n__isList11000000101010000000n__isPal11110000011110000000isNeList11111110001100000000tt0000000000isNeListVisQidactivateVniln__nil__X1X2n____X1X2isNeListXn__isNeListXisPalXn__isPalXan__aen__eon__oactivaten__nilnilactivaten____X1X2__X1X2activaten__isListXisListXactivaten__isNeListXisNeListXactivaten__eeactivaten__iiactivaten__uuactivateXX311n__o0000000000activate11001100111100000000n__a0000000000n____210000000011000000002010000000nil0110000000n__e0011000000e0111000000n__u0100000000n__i0100000000i0000000000isList11000000001000000000isQid11000000001010000000__210000000011000000002110000000n__nil0010000000a0000000000isPal11000000001000000000o0000000000u0000000000n__isNeList11001000101010000000n__isList11000000001100000000n__isPal11000000001000000000isNeList11001000101110000000isNeListVisQidactivateVisPalXn__isPalXan__aon__oo00a04n__o00n__a00isPal101n__isPal101isQid101isNeList101activate101o01a00n__o00n__a00isPal10311n__isPal12011isQid10011isNeList11411activate1311ttt2ttt2 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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( 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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( 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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))![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])) || (if standard then (bounds -cert || fail;(bounds -rfc -qc)) else fail)))! || (( unfold || fail)*[7])!)[299])))