/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__primes a__sieve a__from s s 0 a__from X cons mark X from s X a__head cons X Y mark X a__tail cons X Y mark Y a__if true X Y mark X a__if false X Y mark Y a__filter s s X cons Y Z a__if divides s s mark X mark Y filter s s X Z cons Y filter X sieve Y a__sieve cons X Y cons mark X filter X sieve Y mark primes a__primes mark sieve X a__sieve mark X mark from X a__from mark X mark head X a__head mark X mark tail X a__tail mark X mark if X1 X2 X3 a__if mark X1 X2 X3 mark filter X1 X2 a__filter mark X1 mark X2 mark s X s mark X mark 0 0 mark cons X1 X2 cons mark X1 X2 mark true true mark false false mark divides X1 X2 divides mark X1 mark X2 a__primes primes a__sieve X sieve X a__from X from X a__head X head X a__tail X tail X a__if X1 X2 X3 if X1 X2 X3 a__filter X1 X2 filter X1 X2 2.2 a__if false X Y mark Y mark cons X1 X2 mark X1 mark from X a__from mark X a__filter s s X cons Y Z mark X mark head X mark X mark if X1 X2 X3 mark X1 a__sieve cons X Y mark X a__primes a__from s s 0 a__filter s s X cons Y Z a__if divides s s mark X mark Y filter s s X Z cons Y filter X sieve Y a__filter s s X cons Y Z mark Y mark filter X1 X2 a__filter mark X1 mark X2 mark s X mark X mark from X mark X mark if X1 X2 X3 a__if mark X1 X2 X3 mark primes a__primes a__tail cons X Y mark Y a__primes a__sieve a__from s s 0 mark filter X1 X2 mark X2 a__if true X Y mark X mark divides X1 X2 mark X2 mark filter X1 X2 mark X1 a__head cons X Y mark X mark sieve X mark X mark tail X a__tail mark X a__from X mark X mark head X a__head mark X mark sieve X a__sieve mark X mark tail X mark X mark divides X1 X2 mark X1 true mark divides X1 X2 mark X1 mark filter X1 X2 a__filter mark X1 mark X2 mark tail X mark X a__filter s s X cons Y Z mark Y mark sieve X a__sieve mark X mark head X a__head mark X a__from X mark X a__primes a__from s s 0 mark tail X a__tail mark X a__sieve cons X Y mark X mark sieve X mark X a__head cons X Y mark X mark filter X1 X2 mark X1 mark if X1 X2 X3 mark X1 mark head X mark X a__filter s s X cons Y Z mark X mark divides X1 X2 mark X2 a__if true X Y mark X mark from X a__from mark X mark filter X1 X2 mark X2 a__primes a__sieve a__from s s 0 a__tail cons X Y mark Y mark primes a__primes mark if X1 X2 X3 a__if mark X1 X2 X3 mark from X mark X mark cons X1 X2 mark X1 a__if false X Y mark Y mark s X mark X true s 1 1 0 a__head 1 1 38147 a__from 1 1 38146 a__from 1 1 3 false 0 18589 a__filter 2 1 38146 2 38145 0 a__sieve 1 1 2 true 0 2242 tail 1 1 9727 mark 1 1 38146 0 0 24452 if 3 1 0 2 0 3 0 0 a__primes 0 62603 from 1 1 3 mark 1 1 0 sieve 1 1 2 a__if 3 1 38145 2 38146 3 38146 0 head 1 1 592 cons 2 1 3 2 0 0 a__primes 0 24458 filter 2 1 0 2 0 0 primes 0 24458 a__sieve 1 1 38147 divides 2 1 0 2 1 0 a__tail 1 1 9727 a__filter 2 1 0 2 0 0 a__tail 1 1 38147 a__if 3 1 0 2 0 3 0 0 a__head 1 1 592 mark s X mark X a__if false X Y mark Y mark if X1 X2 X3 a__if mark X1 X2 X3 mark filter X1 X2 mark X2 a__if true X Y mark X a__filter s s X cons Y Z mark X mark if X1 X2 X3 mark X1 mark filter X1 X2 mark X1 a__from X mark X mark filter X1 X2 a__filter mark X1 mark X2 mark divides X1 X2 mark X1 mark cons X1 X2 cons mark X1 X2 a__tail cons X Y mark Y mark filter X1 X2 a__filter mark X1 mark X2 a__sieve cons X Y cons mark X filter X sieve Y a__primes a__sieve a__from s s 0 a__head cons X Y mark X mark s X s mark X mark divides X1 X2 divides mark X1 mark X2 a__tail X tail X mark true true mark 0 0 a__if X1 X2 X3 if X1 X2 X3 a__primes primes a__filter X1 X2 filter X1 X2 a__if true X Y mark X mark sieve X a__sieve mark X a__filter s s X cons Y Z a__if divides s s mark X mark Y filter s s X Z cons Y filter X sieve Y mark false false a__head X head X mark if X1 X2 X3 a__if mark X1 X2 X3 mark head X a__head mark X a__sieve X sieve X a__from X from X mark from X a__from mark X mark primes a__primes mark tail X a__tail mark X a__if false X Y mark Y a__from X cons mark X from s X a__from X mark X false mark filter X1 X2 mark X2 mark filter X1 X2 mark X1 mark filter X1 X2 a__filter mark X1 mark X2 mark s X mark X mark divides X1 X2 mark X1 a__if true X Y mark X a__filter s s X cons Y Z mark X mark if X1 X2 X3 mark X1 mark if X1 X2 X3 a__if mark X1 X2 X3 a__if false X Y mark Y true s 1 1 0 a__head 1 1 38147 a__from 1 1 38146 a__from 1 1 3 false 0 1 a__filter 2 1 4 2 1 0 a__sieve 1 1 2 true 0 3 tail 1 1 25466 mark 1 1 3 0 0 43810 if 3 1 0 2 0 3 0 0 a__primes 0 62603 from 1 1 3 mark 1 1 0 sieve 1 1 2 a__if 3 1 1 2 3 3 3 0 head 1 1 51696 cons 2 1 3 2 0 0 a__primes 0 43815 filter 2 1 1 2 0 0 primes 0 43815 a__sieve 1 1 38147 divides 2 1 0 2 2 0 a__tail 1 1 25466 a__filter 2 1 1 2 0 0 a__tail 1 1 38147 a__if 3 1 0 2 0 3 0 0 a__head 1 1 51696 a__if false X Y mark Y mark if X1 X2 X3 a__if mark X1 X2 X3 mark if X1 X2 X3 mark X1 a__if true X Y mark X mark divides X1 X2 mark X1 mark s X mark X mark filter X1 X2 a__filter mark X1 mark X2 mark filter X1 X2 mark X2 mark cons X1 X2 cons mark X1 X2 a__tail cons X Y mark Y mark filter X1 X2 a__filter mark X1 mark X2 a__sieve cons X Y cons mark X filter X sieve Y a__primes a__sieve a__from s s 0 a__head cons X Y mark X mark s X s mark X mark divides X1 X2 divides mark X1 mark X2 a__tail X tail X mark true true mark 0 0 a__if X1 X2 X3 if X1 X2 X3 a__primes primes a__filter X1 X2 filter X1 X2 a__if true X Y mark X mark sieve X a__sieve mark X a__filter s s X cons Y Z a__if divides s s mark X mark Y filter s s X Z cons Y filter X sieve Y mark false false a__head X head X mark if X1 X2 X3 a__if mark X1 X2 X3 mark head X a__head mark X a__sieve X sieve X a__from X from X mark from X a__from mark X mark primes a__primes mark tail X a__tail mark X a__if false X Y mark Y a__from X cons mark X from s X mark filter X1 X2 mark X2 mark s X mark X mark divides X1 X2 mark X1 a__if true X Y mark X mark if X1 X2 X3 mark X1 mark if X1 X2 X3 a__if mark X1 X2 X3 a__if false X Y mark Y true s 1 1 21653 a__head 1 2 a__from 1 2 a__from 1 1 7 false 0 6 a__filter 2 0 a__sieve 1 7 true 0 6 tail 1 1 5 mark 1 1 4 0 0 6 if 3 1 2 3 7 a__primes 0 2 from 1 8 mark 1 5 sieve 1 8 a__if 3 2 3 5 head 1 2 cons 2 1 3 a__primes 0 6 filter 2 2 2 primes 0 7 a__sieve 1 2 divides 2 1 1 a__tail 1 4 a__filter 2 2 1 a__tail 1 2 a__if 3 6 a__head 1 1 1 mark filter X1 X2 a__filter mark X1 mark X2 false a__filter s s X cons Y Z a__if divides s s mark X mark Y filter s s X Z cons Y filter X sieve Y false NaTT certifiable-1.6