/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__nilXXU11ttttU21ttV2U22isListactivateV2U22ttttU31ttttU41ttV2U42isNeListactivateV2U42ttttU51ttV2U52isListactivateV2U52ttttU61ttttU71ttPU72isPalactivatePU72ttttU81ttttisListVU11isNeListactivateVisListn__nilttisListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisNeListn____V1V2U41isListactivateV1activateV2isNeListn____V1V2U51isNeListactivateV1activateV2isNePalVU61isQidactivateVisNePaln____I__PIU71isQidactivateIactivatePisPalVU81isNePalactivateVisPaln__nilttisQidn__attisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX2.1311U8111000000001000000000U21210011000011000000002100000000U71211001000011100100102100000000U3111000000001001000000nil0000000000U1111000000001000000000isPal11000000011100000000isQid11000010101110000000n__o0000000000u0000000000n__nil0000000000U7211100000101000000000n__u0000000000isNePal11000100101101000000a0110000000activate11000100011000000000isNeList11110010101101000000__211011010111000100012101000000U2211000000001000000000n____211011010111000100012101000000n__i0010000000i0010000000U6111000000001000000000o0000000000U51210001000011110000002001000000n__a0110000000n__e0010000000U4211010100001001000000U41210110100011110000102101000000U5211000000001000000000isList11010100001100000000e0010000000tt0100000000U11ttttU22ttttU31ttttU42ttttU51ttV2U52isListactivateV2U52ttttU61ttttU72ttttU81ttttisListVU11isNeListactivateVisListn__nilttisListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisNeListn____V1V2U41isListactivateV1activateV2isNePalVU61isQidactivateVisPalVU81isNePalactivateVisPaln__nilttisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311U8111100001001000000000U21211000000011000001012000000000U3111000000001000000000nil0011000000U1111110000001000000000isPal11111101001100000000isQid11000010101000000000n__o0100000000u0101000000n__nil0010000000U7211010000001000000000n__u0100000000isNePal11101000001001000000a0000000000activate11000100011001000000isNeList11101000001010000000__211010011011111001012110000000U2211100000001101000000n____211010011011111001012110000000n__i0101000000i0101000000U6111000001001000000000o0101000000U51211000000011111011012100000000n__a0000000000n__e0111000000U4211000000001000000000U41210000001011000000002000000000U5211000000001000000000isList11111111101101000000e0111000000tt0100000000U11ttttU31ttttU42ttttU51ttV2U52isListactivateV2U52ttttU61ttttU72ttttU81ttttisListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisNeListn____V1V2U41isListactivateV1activateV2isNePalVU61isQidactivateVisPalVU81isNePalactivateVisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311U8111000000001000000000U21210001000011001000002010000000U3111100001001000000000nil0110000000U1111000000001100000000isPal11111001101110000000isQid11000010111000000000n__o0100000000u0111000000n__nil0110000000U7211100000001010000000n__u0111000000isNePal11001101001110000000a0000000000activate11000100011000000000isNeList11101101101000000000__211110001111001011002001000000n____211110001111001011002001000000n__i0100000000i0100000000U6111000001001000000000o0100000000U51211100000011101110112000000000n__a0000000000n__e0101000000U4211100000001000000000U41210010000011001000002000000000U5211000100001000000000isList11100100101100000000e0101000000tt0100000000U31ttttU42ttttU51ttV2U52isListactivateV2U52ttttU61ttttU72ttttU81ttttisListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisNeListn____V1V2U41isListactivateV1activateV2isPalVU81isNePalactivateVisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311U8111110110001000000000U21210010000011001001002000000000U3111100010001000000000nil0000000000isPal11111000001101000000isQid11101100101000000000n__o0010000000u0010000000n__nil0000000000U7211010010001010000000n__u0010000000isNePal11000000001001000000a0000000000activate11000100011000000000isNeList11111111111011000000__210010100111001001002011000000n____210010100111001001002011000000n__i0100000000i0100000000U6111010000001010000000o0010000000U51210101100011000100012001000000n__a0000000000n__e0010000000U4211011010001010000000U41210001110011010001002110000000U5211000100001100000000isList11000100001001000000e0010000000tt0110000000U31ttttU51ttV2U52isListactivateV2U61ttttU72ttttU81ttttisListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisNeListn____V1V2U41isListactivateV1activateV2isQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311U8111101110011010000000U21210100110011000001012000000000U3111001000101001000000nil0000000000isQid11010011011010000000n__o0110000000u0011000000n__nil0000000000U7211101100011001000000n__u0011000000a0000000000activate11000100011000000000isNeList11111101111111000000__211110111111110011012000000000n____211110111111110011012000000000n__i0100000000i0100000000U6111101010001001000000o0110000000U51210000000011001111002110000000n__a0000000000n__e0100000000U41211001000011000000002010000000U5211000000001000000000isList11110011101000000000e0100000000tt0111000000isListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten__nilnilactivaten____X1X2__X1X2activaten__aaactivaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311U21210001000011010110002000000000U3111000001001000000000nil0010000000isQid11000000011001000000n__o0000000000u0000000000n__nil0010000000n__u0000000000a0010000000activate11001100011000000000isNeList11011101111100000000__211110000111001011012000000000n____211110000111001011012000000000n__i0001000000i0001000000o0000000000n__a0010000000n__e0000000000isList11010010111100000000e0000000000tt0001000000isListn____V1V2U21isListactivateV1activateV2isNeListVU31isQidactivateVisQidn__ettisQidn__ittisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten____X1X2__X1X2activaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX511U21210001000000100000000000001100000000000000000000000020001000000000000000000000U311100001000000000000000000010010000000000000000000000nil00010000000000000000000000isQid1100000001000000010000100010000000000000000000000000n__o00000000000000000000000000u00101000000000000000000000n__nil00000000000000000000000000n__u00100000000000000000000000a00000000000000000000000000activate1100000100000110000100100110001000000000000000000000isNeList1101101001010000100001000011010100000000000000000000__210001001100010000100010001100000000000000000000000021000000000000000000000000n____210001001000010000100010001100000000000000000000000021000000000000000000000000n__i01000100000000000000000000i01000100000000000000000000o00001000000000000000000000n__a00000000000000000000000000n__e00100000000000000000000000isList1100100100011001000000010110000000000000000000000000e00101000000000000000000000tt00000000000000000000000000isNeListVU31isQidactivateVisQidn__ettisQidn__ottisQidn__uttniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten____X1X2__X1X2activaten__eeactivaten__iiactivaten__ooactivaten__uuactivateXX311U3111001000001000000000nil0000000000isQid11000100001000000000n__o0000000000u0100000000n__nil0000000000n__u0100000000a0000000000activate11000111011001000000isNeList11011011011010000000__210001001111000000002000000000n____210001001011000000002000000000n__i0001000000i0001000000o0000000000n__a0000000000n__e0111000000e0111000000tt0000000000isNeListVU31isQidactivateVisQidn__ottniln__nil__X1X2n____X1X2an__aen__ein__ion__oun__uactivaten____X1X2__X1X2activaten__ooactivaten__uuactivateXX511U311100000000000000000100000010000000000000000000000000nil00000000000000000000000000isQid1100000000000010000000000010000000000000000000000000n__o00100000000000000000000000u00000000000000000000000000n__nil00000000000000000000000000n__u00000000000000000000000000a00000000000000000000000000activate1100001100101100000100000110010000000000000000000000isNeList1110001000000010010110100010011000000000000000000000__210000000000000000000000001100000000000000000000010021100000000000000000000000n____210000000000000000000000001100000000000000000000010020100000000000000000000000n__i00000000000000000000000000i00000000000000000000000000o01110000000000000000000000n__a00000000000000000000000000n__e00000000000000000000000000e00000000000000000000000000tt00000000000000000000000000isNeListVU31isQidactivateVisQidn__ottniln__nilan__aen__ein__iun__uactivaten____X1X2__X1X2activaten__ooactivaten__uuactivateXXisNeListVactivateVisNeListVisQidactivateVactivaten__uutrueisNeListVactivateVfalse2isNeListVisQidactivateVfalseactivaten__uufalsettt2ttt2 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])))