/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active from X mark cons X from s X active after 0 XS mark XS active after s N cons X XS mark after N XS mark from X active from mark X mark cons X1 X2 active cons mark X1 X2 mark s X active s mark X mark after X1 X2 active after mark X1 mark X2 mark 0 active 0 from mark X from X from active X from 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 s mark X s X s active X s X after mark X1 X2 after X1 X2 after X1 mark X2 after X1 X2 after active X1 X2 after X1 X2 after X1 active X2 after X1 X2 2.2 mark s X active s mark X s mark X s X from mark X from X mark after X1 X2 mark X1 cons X1 active X2 cons X1 X2 mark after X1 X2 active after mark X1 mark X2 active from X mark cons X from s X active after s N cons X XS after N XS mark after X1 X2 after mark X1 mark X2 mark from X from mark X mark after X1 X2 mark X2 mark from X active from mark X active from X cons X from s X after active X1 X2 after X1 X2 cons mark X1 X2 cons X1 X2 after X1 active X2 after X1 X2 after X1 mark X2 after X1 X2 cons active X1 X2 cons X1 X2 mark 0 active 0 active after s N cons X XS mark after N XS active from X s X mark cons X1 X2 cons mark X1 X2 mark from X mark X after mark X1 X2 after X1 X2 active from X from s X s active X s X mark cons X1 X2 active cons mark X1 X2 mark s X s mark X active after 0 XS mark XS cons X1 mark X2 cons X1 X2 from active X from X mark s X mark X mark cons X1 X2 mark X1 true mark cons X1 X2 mark X1 mark s X mark X mark from X active from mark X mark after X1 X2 mark X2 active after 0 XS mark XS active from X mark cons X from s X mark cons X1 X2 active cons mark X1 X2 mark after X1 X2 active after mark X1 mark X2 mark after X1 X2 mark X1 mark from X mark X active after s N cons X XS mark after N XS mark s X active s mark X true cons 2 0 s 1 40651 after 2 52449 mark 1 52449 0 0 1 from 1 52449 s 1 0 mark 1 1 after 2 0 from 1 0 active 1 2 cons 2 1 active 1 1 0 active after s N cons X XS mark after N XS mark from X mark X mark after X1 X2 mark X1 mark after X1 X2 active after mark X1 mark X2 active from X mark cons X from s X active after 0 XS mark XS mark after X1 X2 mark X2 mark from X active from mark X mark s X mark X mark cons X1 X2 mark X1 after X1 mark X2 after X1 X2 s mark X s X s active X s X after active X1 X2 after X1 X2 after mark X1 X2 after X1 X2 from active X from X after X1 active X2 after X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X cons active X1 X2 cons X1 X2 mark from X mark X mark from X active from mark X active from X mark cons X from s X active after s N cons X XS mark after N XS mark cons X1 X2 mark X1 mark after X1 X2 mark X2 mark after X1 X2 mark X1 mark after X1 X2 active after mark X1 mark X2 mark s X mark X active after 0 XS mark XS true cons 2 0 s 1 1 0 after 2 1 10452 2 1 0 mark 1 1 0 0 0 44083 from 1 1 18818 s 1 0 mark 1 1 0 after 2 0 from 1 0 active 1 1 0 cons 2 1 18817 2 0 0 active 1 1 0 mark s X mark X mark after X1 X2 active after mark X1 mark X2 active after s N cons X XS mark after N XS active from X mark cons X from s X mark from X active from mark X after X1 mark X2 after X1 X2 mark from X active from mark X s mark X s X mark 0 active 0 active from X mark cons X from s X active after s N cons X XS mark after N XS s active X s X after active X1 X2 after X1 X2 after mark X1 X2 after X1 X2 mark cons X1 X2 active cons mark X1 X2 from active X from X mark after X1 X2 active after mark X1 mark X2 after X1 active X2 after X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X cons active X1 X2 cons X1 X2 mark s X active s mark X active after 0 XS mark XS mark from X active from mark X active from X mark cons X from s X active after s N cons X XS mark after N XS mark after X1 X2 active after mark X1 mark X2 mark s X mark X true cons 2 0 s 1 1 40651 after 2 21657 mark 1 1 30792 0 0 1 from 1 21658 s 1 0 mark 1 1 after 2 0 from 1 0 active 1 2 cons 2 21656 active 1 52449 mark after X1 X2 active after mark X1 mark X2 active after s N cons X XS mark after N XS after X1 mark X2 after X1 X2 after active X1 X2 after X1 X2 after mark X1 X2 after X1 X2 from active X from X after X1 active X2 after X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X cons active X1 X2 cons X1 X2 active after s N cons X XS mark after N XS mark after X1 X2 active after mark X1 mark X2 true cons 2 0 s 1 1 16909 after 2 1 2 19428 mark 1 1 30792 0 0 53516 from 1 3037 s 1 0 mark 1 1 0 after 2 0 from 1 0 active 1 1 0 cons 2 2 0 active 1 1 30791 after X1 mark X2 after X1 X2 mark from X active from mark X s mark X s X mark 0 active 0 active from X mark cons X from s X active after s N cons X XS mark after N XS s active X s X after active X1 X2 after X1 X2 after mark X1 X2 after X1 X2 mark cons X1 X2 active cons mark X1 X2 from active X from X mark after X1 X2 active after mark X1 mark X2 after X1 active X2 after X1 X2 cons X1 active X2 cons X1 X2 cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 from mark X from X cons active X1 X2 cons X1 X2 mark s X active s mark X active after 0 XS mark XS mark s X s mark X false mark after X1 X2 after mark X1 mark X2 false mark cons X1 X2 cons mark X1 X2 false mark 0 active 0 false active after s N cons X XS after N XS false mark from X from mark X false active from X cons X from s X false cons X1 mark X2 cons X1 X2 cons X1 active X2 cons X1 X2 cons active X1 X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 2 0 s 1 29405 after 2 1 48664 mark 1 30792 0 0 51696 from 1 19791 s 1 0 mark 1 1 0 after 2 0 from 1 0 active 1 1 7630 cons 2 1 2 7631 active 1 30791 cons mark X1 X2 cons X1 X2 cons X1 mark X2 cons X1 X2 from active X from X from mark X from X cons X1 mark X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 after 2 1 22541 mark 1 30792 0 0 1 from 1 48581 s 1 0 mark 1 1 1103 after 2 0 from 1 0 active 1 1 1104 cons 2 1 2 2 active 1 30791 cons X1 mark X2 cons X1 X2 from active X from X from mark X from X cons X1 mark X2 cons X1 X2 true cons 2 2 0 s 1 11820 after 2 1 19095 mark 1 30792 0 0 20752 from 1 44049 s 1 0 mark 1 1 28872 after 2 0 from 1 0 active 1 1 28873 cons 2 1 2 2 active 1 30791 from active X from X from mark X from X active from X from s X false from active X from X from mark X from X true cons 2 0 s 1 1 after 2 1 14598 mark 1 30792 0 0 31729 from 1 36554 s 1 0 mark 1 1 28872 after 2 0 from 1 1 0 active 1 1 28873 cons 2 1 2 2 active 1 30791 from active X from X from mark X from X active from X s X false s active X s X s mark X s X true cons 2 0 s 1 1 after 2 1 31233 mark 1 30792 0 0 1 from 1 40400 s 1 1 0 mark 1 1 28872 after 2 0 from 1 0 active 1 1 28873 cons 2 1 2 2 active 1 30791 from active X from X from mark X from X after mark X1 X2 after X1 X2 after X1 mark X2 after X1 X2 after X1 active X2 after X1 X2 after active X1 X2 after X1 X2 true cons 2 0 s 1 3566 after 2 1 37790 mark 1 30792 0 0 35475 from 1 31135 s 1 0 mark 1 1 14923 after 2 1 2 0 from 1 0 active 1 1 14924 cons 2 1 2 2 active 1 30791 from active X from X from mark X from X NaTT certifiable-1.6