/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 active from X from active X active cons X1 X2 cons active X1 X2 active s X s active X active after X1 X2 after active X1 X2 active after X1 X2 after X1 active X2 from mark X mark from X cons mark X1 X2 mark cons X1 X2 s mark X mark s X after mark X1 X2 mark after X1 X2 after X1 mark X2 mark after X1 X2 proper from X from proper X proper cons X1 X2 cons proper X1 proper X2 proper s X s proper X proper after X1 X2 after proper X1 proper X2 proper 0 ok 0 from ok X ok from X cons ok X1 ok X2 ok cons X1 X2 s ok X ok s X after ok X1 ok X2 ok after X1 X2 top mark X top proper X top ok X top active X 2.2 active s X active X active from X from s X proper cons X1 X2 proper X2 active from X active X top ok X top active X cons ok X1 ok X2 cons X1 X2 top mark X proper X proper from X from proper X s ok X s X from ok X from X proper from X proper X active after X1 X2 after X1 active X2 active after X1 X2 after active X1 X2 active from X s X proper s X s proper X proper after X1 X2 after proper X1 proper X2 top ok X active X after mark X1 X2 after X1 X2 proper cons X1 X2 cons proper X1 proper X2 s mark X s X active from X cons X from s X proper after X1 X2 proper X2 proper cons X1 X2 proper X1 active after s N cons X XS after N XS active cons X1 X2 cons active X1 X2 active after X1 X2 active X2 after ok X1 ok X2 after X1 X2 proper s X proper X active from X from active X proper after X1 X2 proper X1 cons mark X1 X2 cons X1 X2 after X1 mark X2 after X1 X2 active s X s active X top mark X top proper X active after X1 X2 active X1 from mark X from X active cons X1 X2 active X1 true top mark X top proper X top ok X top active X true proper 1 1 ok 1 1 after 2 1 active 1 1 active 1 1 cons 2 0 s 1 4 1 top 1 0 top 1 0 1 after 2 5 1 2 0 0 0 from 1 4 1 s 1 0 mark 1 1 1 proper 1 0 from 1 0 cons 2 3 1 cons 2 1 1 0 s 1 1 0 top 1 1 top 1 1 1 after 2 1 2 21238 0 0 1 from 1 1 38147 s 1 1 mark 1 1 0 proper 1 1 from 1 1 cons 2 1 38146 2 0 0 top ok X top active X proper 0 ok 0 active from X from active X proper cons X1 X2 cons proper X1 proper X2 active after X1 X2 after X1 active X2 active from X mark cons X from s X active after s N cons X XS mark after N XS proper s X s proper X s ok X ok s X from ok X ok from X proper after X1 X2 after proper X1 proper X2 after ok X1 ok X2 ok after X1 X2 active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 active after X1 X2 after active X1 X2 cons ok X1 ok X2 ok cons X1 X2 proper from X from proper X after mark X1 X2 mark after X1 X2 s mark X mark s X from mark X mark from X after X1 mark X2 mark after X1 X2 active s X s active X active after 0 XS mark XS top ok X top active X true cons 2 0 s 1 1 0 top 1 0 top 1 1 0 after 2 2 0 proper 1 3 ok 1 1 2 0 0 1 from 1 1 0 s 1 0 mark 1 0 after 2 0 proper 1 0 from 1 0 active 1 1 1 cons 2 1 0 active 1 0 proper 0 ok 0 active from X from active X proper cons X1 X2 cons proper X1 proper X2 active after X1 X2 after X1 active X2 active from X mark cons X from s X active after s N cons X XS mark after N XS proper s X s proper X s ok X ok s X from ok X ok from X proper after X1 X2 after proper X1 proper X2 after ok X1 ok X2 ok after X1 X2 active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 active after X1 X2 after active X1 X2 cons ok X1 ok X2 ok cons X1 X2 proper from X from proper X after mark X1 X2 mark after X1 X2 s mark X mark s X from mark X mark from X after X1 mark X2 mark after X1 X2 active s X s active X active after 0 XS mark XS top mark X proper X false top ok X active X false proper from X proper X proper after X1 X2 proper X1 proper s X proper X proper cons X1 X2 proper X1 proper after X1 X2 proper X2 proper cons X1 X2 proper X2 true cons 2 0 s 1 1 1 top 1 0 top 1 0 after 2 1 2 1 proper 1 5599 ok 1 1 0 0 0 2016 from 1 1 14098 s 1 0 mark 1 1 after 2 0 proper 1 1 0 from 1 0 active 1 1 cons 2 1 2 1 active 1 0 proper 0 ok 0 active from X mark cons X from s X active after s N cons X XS mark after N XS s ok X ok s X from ok X ok from X after ok X1 ok X2 ok after X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 after mark X1 X2 mark after X1 X2 s mark X mark s X from mark X mark from X after X1 mark X2 mark after X1 X2 active after 0 XS mark XS proper from X from proper X false proper s X s proper X false proper cons X1 X2 cons proper X1 proper X2 false active cons X1 X2 active X1 active after X1 X2 active X1 active after X1 X2 active X2 active from X active X active s X active X true cons 2 0 s 1 1 1 top 1 0 top 1 0 after 2 1 2 15261 proper 1 1 ok 1 1 0 0 0 1 from 1 1 1 s 1 0 mark 1 1 after 2 0 proper 1 0 from 1 0 active 1 1 cons 2 1 2 15943 active 1 1 0 proper 0 ok 0 active from X mark cons X from s X active after s N cons X XS mark after N XS s ok X ok s X from ok X ok from X after ok X1 ok X2 ok after X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 after mark X1 X2 mark after X1 X2 s mark X mark s X from mark X mark from X after X1 mark X2 mark after X1 X2 active after 0 XS mark XS active s X s active X false active after X1 X2 after active X1 X2 false active cons X1 X2 cons active X1 X2 false active after s N cons X XS after N XS false active from X cons X from s X false cons mark X1 X2 cons X1 X2 cons ok X1 ok X2 cons X1 X2 true cons 2 1 0 s 1 1 20534 top 1 0 top 1 0 after 2 1 2 31892 proper 1 1 ok 1 1 0 0 0 1 from 1 1 1 s 1 0 mark 1 1 1 after 2 0 proper 1 0 from 1 0 active 1 30574 cons 2 1 2 10038 active 1 0 cons ok X1 ok X2 cons X1 X2 proper 0 ok 0 s ok X ok s X from ok X ok from X after ok X1 ok X2 ok after X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 after mark X1 X2 mark after X1 X2 s mark X mark s X from mark X mark from X after X1 mark X2 mark after X1 X2 cons ok X1 ok X2 cons X1 X2 true cons 2 1 0 s 1 1 1 top 1 0 top 1 0 after 2 1 2 14924 proper 1 0 ok 1 1 1 0 0 1 from 1 14925 s 1 0 mark 1 1 1 after 2 0 proper 1 0 from 1 0 active 1 14924 cons 2 1 active 1 0 after ok X1 ok X2 ok after X1 X2 after mark X1 X2 mark after X1 X2 after X1 mark X2 mark after X1 X2 active from X from s X false active from X s X false s ok X s X s mark X s X true cons 2 0 s 1 1 1 top 1 0 top 1 0 after 2 1 2 2 proper 1 0 ok 1 1 1 0 0 1 from 1 3 s 1 1 0 mark 1 1 1 after 2 0 proper 1 0 from 1 0 active 1 2 cons 2 1 active 1 0 after ok X1 ok X2 ok after X1 X2 after mark X1 X2 mark after X1 X2 after X1 mark X2 mark after X1 X2 active after X1 X2 after X1 active X2 false active from X from active X false from mark X from X from ok X from X true cons 2 0 s 1 1 1 top 1 0 top 1 0 after 2 1 2 2 proper 1 0 ok 1 1 1 0 0 1 from 1 5971 s 1 0 mark 1 1 5969 after 2 0 proper 1 0 from 1 1 0 active 1 5970 cons 2 1 active 1 0 after ok X1 ok X2 ok after X1 X2 after mark X1 X2 mark after X1 X2 after X1 mark X2 mark after X1 X2 proper after X1 X2 after proper X1 proper X2 false after X1 mark X2 after X1 X2 after ok X1 ok X2 after X1 X2 after mark X1 X2 after X1 X2 true cons 2 0 s 1 1 1 top 1 0 top 1 0 after 2 1 2 2 proper 1 0 ok 1 1 1 0 0 1 from 1 25534 s 1 0 mark 1 1 25532 after 2 1 2 0 proper 1 0 from 1 0 active 1 25533 cons 2 1 active 1 0 after ok X1 ok X2 ok after X1 X2 after mark X1 X2 mark after X1 X2 after X1 mark X2 mark after X1 X2 NaTT certifiable-1.6