/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE primes sieve from s s 0 from X cons X n__from s X head cons X Y X tail cons X Y activate Y if true X Y activate X if false X Y activate Y filter s s X cons Y Z if divides s s X Y n__filter s s X activate Z n__cons Y n__filter X sieve Y sieve cons X Y cons X n__filter X sieve activate Y from X n__from X filter X1 X2 n__filter X1 X2 cons X1 X2 n__cons X1 X2 activate n__from X from X activate n__filter X1 X2 filter X1 X2 activate n__cons X1 X2 cons X1 X2 activate X X 2.2 if false X Y activate Y filter s s X cons Y Z if divides s s X Y n__filter s s X activate Z n__cons Y n__filter X sieve Y sieve cons X Y sieve activate Y if true X Y activate X primes from s s 0 sieve cons X Y cons X n__filter X sieve activate Y sieve cons X Y activate Y filter s s X cons Y Z activate Z primes sieve from s s 0 activate n__cons X1 X2 cons X1 X2 activate n__filter X1 X2 filter X1 X2 from X cons X n__from s X filter s s X cons Y Z sieve Y tail cons X Y activate Y activate n__from X from X true tail cons X Y activate Y false primes from s s 0 false if true X Y activate X false primes sieve from s s 0 false if false X Y activate Y false sieve cons X Y activate Y filter s s X cons Y Z sieve Y activate n__filter X1 X2 filter X1 X2 sieve cons X Y sieve activate Y filter s s X cons Y Z activate Z true cons 2 0 s 1 1 0 activate 1 1 0 filter 2 1 520 2 1 0 n__from 1 1 20797 activate 1 1 1 false 0 1166 head 1 0 primes 0 0 true 0 0 tail 1 0 0 0 0 if 3 1 261 2 0 3 0 0 from 1 1 20797 n__cons 2 1 260 2 0 0 n__filter 2 1 519 2 0 0 tail 1 0 sieve 1 1 259 from 1 0 head 1 0 cons 2 1 260 2 0 0 if 3 0 filter 2 1 519 2 0 0 primes 0 0 sieve 1 1 2 divides 2 1 1 0 filter s s X cons Y Z activate Z sieve cons X Y sieve activate Y activate n__filter X1 X2 filter X1 X2 activate X X sieve cons X Y cons X n__filter X sieve activate Y if true X Y activate X filter X1 X2 n__filter X1 X2 filter s s X cons Y Z if divides s s X Y n__filter s s X activate Z n__cons Y n__filter X sieve Y activate n__cons X1 X2 cons X1 X2 activate n__from X from X cons X1 X2 n__cons X1 X2 from X n__from X activate n__filter X1 X2 filter X1 X2 if false X Y activate Y from X cons X n__from s X sieve cons X Y sieve activate Y true Failed! NaTT certifiable-1.6