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