/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__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X22.1a__primesa__fromss0a__primesa__sievea__fromss0a__fromXmarkXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZmarkYa__filterssXconsYZmarkXa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYmarkXmarkprimesa__primesmarksieveXmarkXmarksieveXa__sievemarkXmarkfromXmarkXmarkfromXa__frommarkXmarkheadXmarkXmarkheadXa__headmarkXmarktailXmarkXmarktailXa__tailmarkXmarkifX1X2X3markX1markifX1X2X3a__ifmarkX1X2X3markfilterX1X2markX2markfilterX1X2markX1markfilterX1X2a__filtermarkX1markX2marksXmarkXmarkconsX1X2markX1markdividesX1X2markX2markdividesX1X2markX1truea__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXmarkheadXa__headmarkXa__headconsXYmarkXmarkheadXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkfromXmarkXmarksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXmarkprimesa__primesa__primesa__sievea__fromss0a__primesa__fromss0a__iftrueXYmarkXtrue11a__filter201020a__if3102030a__tail1010a__head1210mark1010a__sieve1010a__from1010a__primes06if30102030tail1010head1212primes06sieve1010filter201020divides20102a__filter201020false00a__if30102030true01a__tail1010a__head1212cons201020from1010mark1010a__sieve1010a__from1010s1010004a__primes06a__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXmarkheadXa__headmarkXmarkfromXa__frommarkXa__fromXmarkXmarkfromXmarkXmarksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXmarkprimesa__primesa__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__filterssXconsYZmarkYmarkdividesX1X2markX1markdividesX1X2markX2markconsX1X2markX1marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXmarkfromXa__frommarkXa__fromXmarkXmarkfromXmarkXmarksieveXa__sievemarkXa__sieveconsXYmarkXmarksieveXmarkXa__iftrueXYmarkXtrue121a__filter20102a__if3010203a__tail101mark101a__sieve101a__from1010if3010203-8tail101head101primes04sieve101filter20102divides20102a__filter20102false00a__if3010203-8true06a__tail101a__head101cons24102from1414mark101a__sieve101a__from1414s1010000a__primes04markdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2a__filterssXconsYZmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXa__fromXmarkXmarksieveXa__sievemarkXmarksieveXmarkXa__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__fromXmarkXfalse12a__filterssXconsYZmarkXmarkdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2markfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marktailXa__tailmarkXa__tailconsXYmarkYmarktailXmarkXmarksieveXmarkXa__iftrueXYmarkXtrue11a__filter201020a__if30102030a__tail1010mark1010if30102030tail1114head1014primes00sieve101filter20102divides20102a__filter201020false00a__if30102030true00a__tail1114a__head1014cons201020from101mark1010a__sieve1010a__from1010s101000a__primes00a__filterssXconsYZmarkXmarkdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2markfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1a__tailconsXYmarkYmarksieveXmarkXa__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__tailconsXYmarkYfalse1a__filterssXconsYZmarkXmarkdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2markfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marksieveXmarkXa__iftrueXYmarkXtrue1a__filter211020a__if3-410203mark1010if3110203tail101head101primes04sieve1011filter211020divides201020a__filter211020false04a__if3110203true04a__tail101a__head101cons21102from1111mark101a__sieve1011a__from1111s1010001a__primes04markdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2a__filtermarkX1markX2markfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iffalseXYmarkYmarkifX1X2X3markX1marksieveXmarkXa__iftrueXYmarkXa__primesa__sievea__fromss0a__fromXconsmarkXfromsXa__headconsXYmarkXa__tailconsXYmarkYa__iftrueXYmarkXa__iffalseXYmarkYa__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYa__sieveconsXYconsmarkXfilterXsieveYmarkprimesa__primesmarksieveXa__sievemarkXmarkfromXa__frommarkXmarkheadXa__headmarkXmarktailXa__tailmarkXmarkifX1X2X3a__ifmarkX1X2X3markfilterX1X2a__filtermarkX1markX2marksXsmarkXmark00markconsX1X2consmarkX1X2marktruetruemarkfalsefalsemarkdividesX1X2dividesmarkX1markX2a__primesprimesa__sieveXsieveXa__fromXfromXa__headXheadXa__tailXtailXa__ifX1X2X3ifX1X2X3a__filterX1X2filterX1X2a__iffalseXYmarkYmarkdividesX1X2markX1markdividesX1X2markX2marksXmarkXmarkfilterX1X2markX1markfilterX1X2markX2markifX1X2X3a__ifmarkX1X2X3a__iftrueXYmarkXmarkifX1X2X3markX1marksieveXmarkXtrue1a__iffalseXYmarkY3false1markdividesX1X2markX11true1markdividesX1X2markX21true1marksXmarkX1true1markfilterX1X2markX11true1markfilterX1X2markX21true1markifX1X2X3a__ifmarkX1X2X31true31true2a__iftrueXYmarkX2false1markifX1X2X3markX11true1marksieveXmarkX1true1markfilterX1X2a__filtermarkX1markX2falsemarksieveXa__sievemarkXfalsemarkprimesa__primesfalsemarkheadXa__headmarkXfalsea__filterssXconsYZa__ifdividesssmarkXmarkYfilterssXZconsYfilterXsieveYfalsettt2ttt2 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])))