/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active filter cons X Y 0 M mark cons 0 filter Y M M active filter cons X Y s N M mark cons X filter Y N M active sieve cons 0 Y mark cons 0 sieve Y active sieve cons s N Y mark cons s N sieve filter Y N N active nats N mark cons N nats s N active zprimes mark sieve nats s s 0 mark filter X1 X2 X3 active filter mark X1 mark X2 mark X3 mark cons X1 X2 active cons mark X1 X2 mark 0 active 0 mark s X active s mark X mark sieve X active sieve mark X mark nats X active nats mark X mark zprimes active zprimes filter mark X1 X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter X1 active X2 X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 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 s mark X s X s active X s X sieve mark X sieve X sieve active X sieve X nats mark X nats X nats active X nats X 2.2 active filter cons X Y s N M cons X filter Y N M active sieve cons 0 Y mark cons 0 sieve Y mark s X s mark X nats mark X nats X active filter cons X Y 0 M mark cons 0 filter Y M M filter X1 X2 mark X3 filter X1 X2 X3 cons X1 mark X2 cons X1 X2 sieve active X sieve X active filter cons X Y 0 M cons 0 filter Y M M active sieve cons s N Y mark cons s N sieve filter Y N N active filter cons X Y 0 M filter Y M M filter active X1 X2 X3 filter X1 X2 X3 active zprimes sieve nats s s 0 active sieve cons s N Y sieve filter Y N N sieve mark X sieve X mark cons X1 X2 mark X1 mark sieve X sieve mark X active zprimes s 0 mark 0 active 0 filter X1 active X2 X3 filter X1 X2 X3 mark filter X1 X2 X3 filter mark X1 mark X2 mark X3 mark filter X1 X2 X3 active filter mark X1 mark X2 mark X3 active sieve cons 0 Y sieve Y mark sieve X active sieve mark X active nats N mark cons N nats s N active sieve cons s N Y filter Y N N mark sieve X mark X mark s X mark X filter X1 mark X2 X3 filter X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 mark filter X1 X2 X3 mark X1 filter mark X1 X2 X3 filter X1 X2 X3 active zprimes nats s s 0 filter X1 X2 active X3 filter X1 X2 X3 mark zprimes active zprimes active nats N nats s N active zprimes mark sieve nats s s 0 active sieve cons 0 Y cons 0 sieve Y mark s X active s mark X cons mark X1 X2 cons X1 X2 active nats N s N mark filter X1 X2 X3 mark X3 mark nats X active nats mark X active nats N cons N nats s N mark nats X mark X mark filter X1 X2 X3 mark X2 cons active X1 X2 cons X1 X2 s active X s X cons X1 active X2 cons X1 X2 active filter cons X Y s N M filter Y N M active filter cons X Y s N M mark cons X filter Y N M active sieve cons s N Y cons s N sieve filter Y N N active zprimes s s 0 s mark X s X nats active X nats X mark cons X1 X2 cons mark X1 X2 mark nats X nats mark X true mark filter X1 X2 X3 mark X1 mark cons X1 X2 active cons mark X1 X2 mark s X mark X mark sieve X mark X active nats N mark cons N nats s N mark sieve X active sieve mark X active filter cons X Y s N M mark cons X filter Y N M mark filter X1 X2 X3 active filter mark X1 mark X2 mark X3 mark filter X1 X2 X3 mark X2 mark cons X1 X2 mark X1 mark nats X mark X mark nats X active nats mark X mark filter X1 X2 X3 mark X3 active sieve cons s N Y mark cons s N sieve filter Y N N mark s X active s mark X active zprimes mark sieve nats s s 0 mark zprimes active zprimes active filter cons X Y 0 M mark cons 0 filter Y M M active sieve cons 0 Y mark cons 0 sieve Y true zprimes 0 71737 cons 2 0 nats 1 0 s 1 1 1143 filter 3 0 mark 1 1 1 0 0 38551 s 1 0 mark 1 1 0 sieve 1 1 283 nats 1 1 30615 active 1 1 0 cons 2 1 30613 active 1 1 0 filter 3 1 2 3 5855 sieve 1 0 filter X1 active X2 X3 filter X1 X2 X3 active sieve cons s N Y mark cons s N sieve filter Y N N filter X1 mark X2 X3 filter X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 active filter cons X Y 0 M mark cons 0 filter Y M M active sieve cons 0 Y mark cons 0 sieve Y filter X1 X2 mark X3 filter X1 X2 X3 cons X1 mark X2 cons X1 X2 sieve mark X sieve X filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 sieve active X sieve X cons active X1 X2 cons X1 X2 nats mark X nats X active nats N mark cons N nats s N mark s X active s mark X mark filter X1 X2 X3 active filter mark X1 mark X2 mark X3 cons mark X1 X2 cons X1 X2 s active X s X filter mark X1 X2 X3 filter X1 X2 X3 mark nats X active nats mark X cons X1 active X2 cons X1 X2 s mark X s X mark sieve X active sieve mark X mark 0 active 0 mark zprimes active zprimes active zprimes mark sieve nats s s 0 nats active X nats X active filter cons X Y s N M mark cons X filter Y N M mark 0 active 0 false active filter cons X Y s N M filter Y N M false mark sieve X sieve mark X false active zprimes sieve nats s s 0 false active zprimes nats s s 0 false active zprimes s s 0 false active zprimes s 0 false mark nats X nats mark X false active nats N cons N nats s N false active nats N nats s N false nats active X nats X nats mark X nats X true zprimes 0 2451 cons 2 0 nats 1 1 0 s 1 1 filter 3 0 mark 1 1 1 0 0 1 s 1 0 mark 1 1 1 sieve 1 1 1 nats 1 1 2448 active 1 1 0 cons 2 1 active 1 1 0 filter 3 2 1 sieve 1 0 nats active X nats X filter X1 active X2 X3 filter X1 X2 X3 active sieve cons s N Y mark cons s N sieve filter Y N N filter X1 mark X2 X3 filter X1 X2 X3 mark cons X1 X2 active cons mark X1 X2 active filter cons X Y 0 M mark cons 0 filter Y M M active sieve cons 0 Y mark cons 0 sieve Y filter X1 X2 mark X3 filter X1 X2 X3 cons X1 mark X2 cons X1 X2 sieve mark X sieve X filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 sieve active X sieve X cons active X1 X2 cons X1 X2 nats mark X nats X active nats N mark cons N nats s N mark s X active s mark X mark filter X1 X2 X3 active filter mark X1 mark X2 mark X3 cons mark X1 X2 cons X1 X2 s active X s X filter mark X1 X2 X3 filter X1 X2 X3 mark nats X active nats mark X cons X1 active X2 cons X1 X2 s mark X s X mark sieve X active sieve mark X mark 0 active 0 mark zprimes active zprimes active zprimes mark sieve nats s s 0 nats active X nats X active filter cons X Y s N M mark cons X filter Y N M nats active X nats X true zprimes 0 1 cons 2 0 nats 1 1 0 s 1 1 filter 3 0 mark 1 1 0 0 36251 s 1 0 mark 1 1 2 sieve 1 1 1 nats 1 1 1 active 1 1 1 cons 2 1 active 1 0 filter 3 1 sieve 1 0 filter X1 active X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 active nats N s N false active sieve cons 0 Y cons 0 sieve Y false active sieve cons 0 Y sieve Y false mark filter X1 X2 X3 filter mark X1 mark X2 mark X3 false active filter cons X Y 0 M cons 0 filter Y M M false active filter cons X Y 0 M filter Y M M false mark s X s mark X false s mark X s X s active X s X true zprimes 0 1 cons 2 0 nats 1 0 s 1 1 filter 3 0 mark 1 1 0 0 17897 s 1 1 0 mark 1 1 2 sieve 1 1 1 nats 1 1 1 active 1 1 1 cons 2 1 active 1 0 filter 3 1 sieve 1 0 filter X1 active X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 active sieve cons s N Y cons s N sieve filter Y N N false active sieve cons s N Y sieve filter Y N N false sieve mark X sieve X sieve active X sieve X true zprimes 0 1 cons 2 0 nats 1 0 s 1 1 filter 3 0 mark 1 1 0 0 56247 s 1 0 mark 1 1 2 sieve 1 1 1 nats 1 1 1 active 1 1 1 cons 2 1 active 1 0 filter 3 1 sieve 1 1 0 filter X1 active X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 active sieve cons s N Y filter Y N N false mark cons X1 X2 cons mark X1 X2 false active filter cons X Y s N M cons X filter Y N M false cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 true zprimes 0 23712 cons 2 1 0 nats 1 0 s 1 1 filter 3 0 mark 1 1 0 0 1 s 1 0 mark 1 1 2 sieve 1 1 23086 nats 1 1 625 active 1 1 1 cons 2 39946 active 1 0 filter 3 1 sieve 1 0 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 filter X1 active X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 true zprimes 0 1 cons 2 2 0 nats 1 0 s 1 47098 filter 3 0 mark 1 1 0 0 21734 s 1 0 mark 1 1 1 sieve 1 1 1 nats 1 1 1 active 1 1 1 cons 2 2 active 1 0 filter 3 1 sieve 1 0 filter X1 active X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 active X2 X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 true zprimes 0 1 cons 2 0 nats 1 0 s 1 33859 filter 3 2 3 0 mark 1 1 0 0 1 s 1 0 mark 1 1 1 sieve 1 1 5969 nats 1 1 1 active 1 1 1 cons 2 2 active 1 0 filter 3 1 sieve 1 0 filter mark X1 X2 X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter X1 active X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 true zprimes 0 1 cons 2 0 nats 1 0 s 1 42224 filter 3 1 0 mark 1 1 0 0 436 s 1 0 mark 1 1 1 sieve 1 1 11668 nats 1 1 977 active 1 1 1 cons 2 29162 active 1 0 filter 3 1 sieve 1 0 filter X1 active X2 X3 filter X1 X2 X3 filter X1 mark X2 X3 filter X1 X2 X3 filter X1 X2 mark X3 filter X1 X2 X3 filter X1 X2 active X3 filter X1 X2 X3 filter active X1 X2 X3 filter X1 X2 X3 filter mark X1 X2 X3 filter X1 X2 X3 NaTT certifiable-1.6