/export/starexec/sandbox/solver/bin/starexec_run_ttt2-1.17+nonreach-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.1311tail11000000001000000000head11000000001000000000nats0100000000a__tail11000000011000000000a__head11000000001000000000zeros000000000000000000000a__zeros0000000000a__nats0100000000adx11000000001000000000a__adx11000100001000000000incr11000000001000000000s11000000001000000000mark11000000001000000000cons210000000011001000002000000000a__incr11000000101000000000nil0100000000a__incrnilnila__incrconsXLconssmarkXincrLa__adxnilnila__adxconsXLa__incrconsmarkXadxLa__zeroscons0zerosa__headconsXLmarkXa__tailconsXLmarkLmarkincrXa__incrmarkXmarkadxXa__adxmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__adxXadxXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailX1tail1114head1110nats00a__tail1114a__head1110zeros00000a__zeros00a__nats00adx1110a__adx1110incr1110s1110mark1110cons211220a__incr1110nil04a__incrnilnila__incrconsXLconssmarkXincrLa__adxnilnila__adxconsXLa__incrconsmarkXadxLa__zeroscons0zerosa__headconsXLmarkXmarkincrXa__incrmarkXmarkadxXa__adxmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__adxXadxXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailX311tail11100000001000000000head11100100101001000000nats0111000000a__tail11100000001000000000a__head11100100101001000000zeros000000000000000000000a__zeros0000000000a__nats0111000000adx11100000001110000000a__adx11100000001110000000incr11100000001000000000s11000000001000000000mark11000100101001000000cons210001000111000000002000000000a__incr11100000001000000000nil0000000000a__incrnilnila__incrconsXLconssmarkXincrLa__adxconsXLa__incrconsmarkXadxLa__zeroscons0zerosa__headconsXLmarkXmarkincrXa__incrmarkXmarkadxXa__adxmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__adxXadxXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailX311tail11001100011000000000head11000111001100000000nats0100000000a__tail11001101011000000000a__head11000111011100000000zeros000000000000000000000a__zeros0000000000a__nats0100000000adx11000110011000000000a__adx11001111011000000000incr11000110011000000000s11000111001000000000mark11001011001000000000cons210001100111000000002000000000a__incr11001111011000000000nil0000000000a__incrnilnila__incrconsXLconssmarkXincrLa__adxconsXLa__incrconsmarkXadxLa__zeroscons0zerosmarkincrXa__incrmarkXmarkadxXa__adxmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__adxXadxXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailX311tail11001101001000000000head11000000001000000000nats0000000000a__tail11001101011000000000a__head11000000011000000000zeros010000000000000000000a__zeros0100000000a__nats0000000000adx11000000001000000000a__adx11000000001000000000incr11001100011000000000s11000000001000000000mark11000100001000000000cons210000000011000100102000000000a__incr11001100011000000000nil0010000000a__incrconsXLconssmarkXincrLa__adxconsXLa__incrconsmarkXadxLa__zeroscons0zerosmarkincrXa__incrmarkXmarkadxXa__adxmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__adxXadxXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailX311tail11000110001001000000head11000100101001000000nats0000000000a__tail11000110001001000000a__head11000100101001000000zeros000000000000001000000a__zeros0000000000a__nats0000000000adx11001100111110000000a__adx11001101111110000000incr11000101011000000000s11000100001000000000mark11001100011000000000cons210001100011000100012000000000a__incr11000101011000000000nil0000000000a__incrconsXLconssmarkXincrLa__adxconsXLa__incrconsmarkXadxLa__zeroscons0zerosmarkincrXa__incrmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__adxXadxXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailX311tail11000001001000000000head11000001101000000000nats0000000000a__tail11000001001000000000a__head11000001101000000000zeros010000000000000000000a__zeros0110000000a__nats0000000000adx11000010011000000000a__adx11000010011100000000incr11000101001100000000s11010000011000000000mark11100000011000000000cons210000000011001001002000000000a__incr11000101001100000000nil0100000000a__incrconsXLconssmarkXincrLa__adxconsXLa__incrconsmarkXadxLa__zeroscons0zerosmarkincrXa__incrmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailX311tail11000000001100000000head11000000001100000000nats0000000000a__tail11000000001100000000a__head11000000011100000000zeros000000000000000000000a__zeros0000000000a__nats0000000000adx11000000001000000000a__adx11000000001101000000incr11000000001000000000s11000000001000000000mark11000000001000000000cons210000000011000000002000000000a__incr11000000001000000000nil0000000000a__incrconsXLconssmarkXincrLa__zeroscons0zerosmarkincrXa__incrmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailXa__incrconsXLmarkXmarkincrXmarkXmarkincrXa__incrmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXmarkXmarkheadXa__headmarkXmarktailXmarkXmarktailXa__tailmarkXmarkconsX1X2markX1marksXmarkXtruemarktailXmarkXmarkincrXmarkXmarkincrXa__incrmarkXa__incrconsXLmarkXmarkheadXmarkXmarkconsX1X2markX1marksXmarkXtrue12341mark101a__incr1110tail101head1010nats06a__tail1010a__head1010zeros00000a__zeros00a__nats07incr1211s101mark1110cons20102a__incr1211nil00marktailXmarkXmarkincrXa__incrmarkXmarkheadXmarkXmarkconsX1X2markX1marksXmarkXa__incrconsXLconssmarkXincrLa__zeroscons0zerosmarkincrXa__incrmarkXmarknatsa__natsmarkzerosa__zerosmarkheadXa__headmarkXmarktailXa__tailmarkXmarknilnilmarkconsX1X2consmarkX1X2marksXsmarkXmark00a__incrXincrXa__natsnatsa__zeroszerosa__headXheadXa__tailXtailXmarktailXmarkXmarkheadXmarkXmarkconsX1X2markX1marksXmarkXtrue1marktailXmarkX1true1markheadXmarkX1true1markconsX1X2markX11true1marksXmarkX1true1markincrXa__incrmarkXfalsemarkheadXa__headmarkXfalsemarkzerosa__zerosfalsemarknatsa__natsfalsemarktailXa__tailmarkXfalsettt2ttt2 1.17 [hg: a28b6edf8379]((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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || ((((( (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])! || (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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![42])! ) 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 || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( 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[5] | arctic -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[5] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[8] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[8] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[8] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[42])))