/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE active primes mark sieve from s s 0 active from X mark cons X from s X active head cons X Y mark X active tail cons X Y mark Y active if true X Y mark X active if false X Y mark Y active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y active sieve cons X Y mark cons X filter X sieve Y mark primes active primes mark sieve X active sieve mark X mark from X active from mark X mark s X active s mark X mark 0 active 0 mark cons X1 X2 active cons mark X1 X2 mark head X active head mark X mark tail X active tail mark X mark if X1 X2 X3 active if mark X1 X2 X3 mark true active true mark false active false mark filter X1 X2 active filter mark X1 mark X2 mark divides X1 X2 active divides mark X1 mark X2 sieve mark X sieve X sieve active X sieve X from mark X from X from active X from X s mark X s X s active X s X cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 head mark X head X head active X head X tail mark X tail X tail active X tail X if mark X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 filter mark X1 X2 filter X1 X2 filter X1 mark X2 filter X1 X2 filter active X1 X2 filter X1 X2 filter X1 active X2 filter X1 X2 divides mark X1 X2 divides X1 X2 divides X1 mark X2 divides X1 X2 divides active X1 X2 divides X1 X2 divides X1 active X2 divides X1 X2 2.2 active from X cons X from s X active filter s s X cons Y Z cons Y filter X sieve Y mark cons X1 X2 active cons mark X1 X2 mark filter X1 X2 active filter mark X1 mark X2 mark head X mark X mark divides X1 X2 mark X1 if active X1 X2 X3 if X1 X2 X3 active filter s s X cons Y Z filter s s X Z active filter s s X cons Y Z divides s s X Y mark filter X1 X2 mark X1 active primes sieve from s s 0 mark sieve X active sieve mark X cons mark X1 X2 cons X1 X2 active head cons X Y mark X mark sieve X sieve mark X active primes s s 0 active primes from s s 0 mark if X1 X2 X3 if mark X1 X2 X3 mark false active false mark filter X1 X2 mark X2 cons X1 mark X2 cons X1 X2 mark if X1 X2 X3 mark X1 tail mark X tail X mark divides X1 X2 mark X2 active filter s s X cons Y Z if divides s s X Y filter s s X Z cons Y filter X sieve Y active if true X Y mark X divides active X1 X2 divides X1 X2 filter mark X1 X2 filter X1 X2 if X1 mark X2 X3 if X1 X2 X3 mark if X1 X2 X3 active if mark X1 X2 X3 active primes s 0 filter X1 active X2 filter X1 X2 mark tail X mark X sieve active X sieve X mark head X active head mark X active sieve cons X Y cons X filter X sieve Y active filter s s X cons Y Z sieve Y mark tail X tail mark X divides X1 mark X2 divides X1 X2 mark cons X1 X2 mark X1 active sieve cons X Y filter X sieve Y s active X s X mark head X head mark X if X1 X2 mark X3 if X1 X2 X3 s mark X s X mark cons X1 X2 cons mark X1 X2 filter active X1 X2 filter X1 X2 mark sieve X mark X mark s X active s mark X mark from X from mark X tail active X tail X active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y if X1 X2 active X3 if X1 X2 X3 mark divides X1 X2 active divides mark X1 mark X2 divides X1 active X2 divides X1 X2 active primes mark sieve from s s 0 filter X1 mark X2 filter X1 X2 active filter s s X cons Y Z filter X sieve Y mark divides X1 X2 divides mark X1 mark X2 cons X1 active X2 cons X1 X2 from mark X from X from active X from X active tail cons X Y mark Y mark s X mark X head mark X head X mark 0 active 0 cons active X1 X2 cons X1 X2 mark from X active from mark X if mark X1 X2 X3 if X1 X2 X3 mark s X s mark X mark true active true mark tail X active tail mark X mark filter X1 X2 filter mark X1 mark X2 mark from X mark X if X1 active X2 X3 if X1 X2 X3 active from X from s X active sieve cons X Y mark cons X filter X sieve Y active from X mark cons X from s X sieve mark X sieve X divides mark X1 X2 divides X1 X2 active if false X Y mark Y active from X s X active sieve cons X Y sieve Y head active X head X mark primes active primes true mark primes active primes mark s X active s mark X mark sieve X mark X active if false X Y mark Y mark cons X1 X2 mark X1 mark head X active head mark X active from X mark cons X from s X active sieve cons X Y mark cons X filter X sieve Y mark tail X mark X mark from X mark X mark if X1 X2 X3 active if mark X1 X2 X3 mark tail X active tail mark X active if true X Y mark X mark from X active from mark X mark divides X1 X2 mark X2 mark if X1 X2 X3 mark X1 mark s X mark X mark filter X1 X2 mark X2 active tail cons X Y mark Y active head cons X Y mark X mark sieve X active sieve mark X active primes mark sieve from s s 0 mark filter X1 X2 mark X1 mark divides X1 X2 active divides mark X1 mark X2 mark head X mark X mark divides X1 X2 mark X1 active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark filter X1 X2 active filter mark X1 mark X2 mark cons X1 X2 active cons mark X1 X2 true cons 2 0 s 1 1 filter 2 0 false 0 4 head 1 0 true 0 285 tail 1 2 mark 1 2 0 0 4 if 3 2 from 1 2 s 1 0 tail 1 0 mark 1 3 sieve 1 2 divides 2 0 from 1 0 active 1 1 0 head 1 2 cons 2 1 if 3 0 active 1 1 0 filter 2 2 primes 0 2 sieve 1 0 divides 2 1 mark filter X1 X2 active filter mark X1 mark X2 active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark divides X1 X2 mark X1 mark head X mark X mark filter X1 X2 mark X1 active primes mark sieve from s s 0 mark sieve X active sieve mark X active head cons X Y mark X active tail cons X Y mark Y mark filter X1 X2 mark X2 mark s X mark X mark if X1 X2 X3 mark X1 mark divides X1 X2 mark X2 mark from X active from mark X active if true X Y mark X mark tail X active tail mark X mark if X1 X2 X3 active if mark X1 X2 X3 mark from X mark X mark tail X mark X active sieve cons X Y mark cons X filter X sieve Y active from X mark cons X from s X mark head X active head mark X mark cons X1 X2 mark X1 active if false X Y mark Y mark sieve X mark X mark primes active primes if mark X1 X2 X3 if X1 X2 X3 s mark X s X head mark X head X s active X s X tail mark X tail X sieve mark X sieve X cons mark X1 X2 cons X1 X2 filter active X1 X2 filter X1 X2 head active X head X if active X1 X2 X3 if X1 X2 X3 from active X from X divides X1 active X2 divides X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 filter X1 active X2 filter X1 X2 sieve active X sieve X from mark X from X if X1 active X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 divides active X1 X2 divides X1 X2 divides X1 mark X2 divides X1 X2 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 filter mark X1 X2 filter X1 X2 divides mark X1 X2 divides X1 X2 tail active X tail X cons X1 mark X2 cons X1 X2 filter X1 mark X2 filter X1 X2 active tail cons X Y mark Y mark head X mark X mark head X active head mark X active sieve cons X Y mark cons X filter X sieve Y active primes mark sieve from s s 0 active head cons X Y mark X mark tail X mark X mark tail X active tail mark X mark divides X1 X2 mark X2 mark divides X1 X2 mark X1 mark if X1 X2 X3 mark X1 mark if X1 X2 X3 active if mark X1 X2 X3 active if true X Y mark X mark sieve X mark X mark sieve X active sieve mark X active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark filter X1 X2 mark X2 mark filter X1 X2 mark X1 mark filter X1 X2 active filter mark X1 mark X2 mark cons X1 X2 mark X1 mark s X mark X mark from X mark X mark from X active from mark X mark primes active primes active if false X Y mark Y active from X mark cons X from s X true cons 2 0 s 1 1 0 filter 2 0 false 0 1 head 1 0 true 0 19048 tail 1 1 1324 mark 1 1 0 0 0 29722 if 3 1 2241 2 0 3 0 0 from 1 1 36967 s 1 0 tail 1 0 mark 1 1 0 sieve 1 1 1 divides 2 0 from 1 0 active 1 1 0 head 1 1 9726 cons 2 1 36966 2 0 0 if 3 0 active 1 1 0 filter 2 1 36967 2 0 0 primes 0 66691 sieve 1 0 divides 2 1 34726 2 34725 0 active from X mark cons X from s X active if false X Y mark Y mark primes active primes mark from X active from mark X mark s X mark X mark filter X1 X2 active filter mark X1 mark X2 mark filter X1 X2 mark X2 active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark sieve X active sieve mark X active if true X Y mark X mark if X1 X2 X3 active if mark X1 X2 X3 mark tail X active tail mark X active sieve cons X Y mark cons X filter X sieve Y mark head X active head mark X mark true active true active tail cons X Y mark Y mark head X active head mark X active sieve cons X Y mark cons X filter X sieve Y active primes mark sieve from s s 0 active head cons X Y mark X mark tail X active tail mark X mark divides X1 X2 active divides mark X1 mark X2 if mark X1 X2 X3 if X1 X2 X3 s mark X s X mark false active false head mark X head X mark if X1 X2 X3 active if mark X1 X2 X3 s active X s X tail mark X tail X sieve mark X sieve X cons mark X1 X2 cons X1 X2 filter active X1 X2 filter X1 X2 active if true X Y mark X head active X head X mark sieve X active sieve mark X if active X1 X2 X3 if X1 X2 X3 active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark filter X1 X2 active filter mark X1 mark X2 from active X from X divides X1 active X2 divides X1 X2 cons active X1 X2 cons X1 X2 mark cons X1 X2 active cons mark X1 X2 cons X1 active X2 cons X1 X2 mark s X active s mark X filter X1 active X2 filter X1 X2 sieve active X sieve X from mark X from X mark from X active from mark X mark primes active primes mark 0 active 0 if X1 active X2 X3 if X1 X2 X3 active if false X Y mark Y if X1 X2 mark X3 if X1 X2 X3 divides active X1 X2 divides X1 X2 divides X1 mark X2 divides X1 X2 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 filter mark X1 X2 filter X1 X2 divides mark X1 X2 divides X1 X2 tail active X tail X cons X1 mark X2 cons X1 X2 filter X1 mark X2 filter X1 X2 active from X mark cons X from s X mark head X active head mark X active sieve cons X Y mark cons X filter X sieve Y mark tail X active tail mark X mark if X1 X2 X3 active if mark X1 X2 X3 active if true X Y mark X mark sieve X active sieve mark X active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark filter X1 X2 mark X2 mark filter X1 X2 active filter mark X1 mark X2 mark s X mark X mark from X active from mark X active if false X Y mark Y active from X mark cons X from s X true cons 2 0 s 1 4 filter 2 0 false 0 4 head 1 0 true 0 4 tail 1 1 mark 1 2 0 0 4 if 3 2 from 1 2 s 1 0 tail 1 0 mark 1 3 sieve 1 2 divides 2 0 from 1 0 active 1 1 0 head 1 1 cons 2 4 if 3 0 active 1 1 0 filter 2 2 primes 0 12621 sieve 1 0 divides 2 12460 active from X mark cons X from s X active if false X Y mark Y mark from X active from mark X mark s X mark X mark filter X1 X2 active filter mark X1 mark X2 mark filter X1 X2 mark X2 active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark sieve X active sieve mark X active if true X Y mark X mark if X1 X2 X3 active if mark X1 X2 X3 active sieve cons X Y mark cons X filter X sieve Y if mark X1 X2 X3 if X1 X2 X3 s mark X s X head mark X head X s active X s X tail mark X tail X sieve mark X sieve X cons mark X1 X2 cons X1 X2 filter active X1 X2 filter X1 X2 head active X head X if active X1 X2 X3 if X1 X2 X3 from active X from X divides X1 active X2 divides X1 X2 cons active X1 X2 cons X1 X2 cons X1 active X2 cons X1 X2 filter X1 active X2 filter X1 X2 sieve active X sieve X from mark X from X if X1 active X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 divides active X1 X2 divides X1 X2 divides X1 mark X2 divides X1 X2 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 filter mark X1 X2 filter X1 X2 divides mark X1 X2 divides X1 X2 tail active X tail X cons X1 mark X2 cons X1 X2 filter X1 mark X2 filter X1 X2 active sieve cons X Y mark cons X filter X sieve Y mark if X1 X2 X3 active if mark X1 X2 X3 active if true X Y mark X mark sieve X active sieve mark X active filter s s X cons Y Z mark if divides s s X Y filter s s X Z cons Y filter X sieve Y mark filter X1 X2 mark X2 mark filter X1 X2 active filter mark X1 mark X2 mark s X mark X mark from X active from mark X active if false X Y mark Y active from X mark cons X from s X true Failed! NaTT certifiable-1.6