/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active f 0 mark cons 0 f s 0 active f s 0 mark f p s 0 active p s X mark X active f X f active X active cons X1 X2 cons active X1 X2 active s X s active X active p X p active X f mark X mark f X cons mark X1 X2 mark cons X1 X2 s mark X mark s X p mark X mark p X proper f X f proper X proper 0 ok 0 proper cons X1 X2 cons proper X1 proper X2 proper s X s proper X proper p X p proper X f ok X ok f X cons ok X1 ok X2 ok cons X1 X2 s ok X ok s X p ok X ok p X top mark X top proper X top ok X top active X 2.2 active f s 0 p s 0 f mark X f X p mark X p X active p X p active X proper cons X1 X2 cons proper X1 proper X2 proper cons X1 X2 proper X2 proper p X p proper X top mark X proper X p ok X p X proper s X proper X active p X active X proper s X s proper X proper p X proper X f ok X f X proper f X f proper X proper cons X1 X2 proper X1 active f X active X cons mark X1 X2 cons X1 X2 active f 0 s 0 top mark X top proper X cons ok X1 ok X2 cons X1 X2 active f 0 f s 0 active cons X1 X2 active X1 active f X f active X top ok X active X active f 0 cons 0 f s 0 s ok X s X active cons X1 X2 cons active X1 X2 active s X s active X active f s 0 f p s 0 proper f X proper X s mark X s X active s X active X top ok X top active X true top ok X top active X top mark X top proper X true 2 1 cons 2 0 0 s 1 0 1 1 0 1 1 52270 top 1 0 0 top 1 0 0 1 0 1 0 0 p 1 0 0 f 1 1 1 0 0 1 156813 172433 p 1 0 1 1 0 1 1 52270 proper 1 1 31527 31527 ok 1 1 31527 31527 0 0 1 104542 s 1 0 0 mark 1 1 52272 52272 f 1 0 0 proper 1 0 0 active 1 1 1 1 cons 2 0 0 1 1 1 1 15621 active 1 0 0 cons ok X1 ok X2 ok cons X1 X2 active f X f active X proper s X s proper X f mark X mark f X active f 0 mark cons 0 f s 0 active p s X mark X proper p X p proper X s ok X ok s X f ok X ok f X active cons X1 X2 cons active X1 X2 s mark X mark s X active p X p active X p ok X ok p X proper cons X1 X2 cons proper X1 proper X2 proper f X f proper X p mark X mark p X cons mark X1 X2 mark cons X1 X2 proper 0 ok 0 active s X s active X active f s 0 mark f p s 0 top ok X active X false top mark X proper X false active s X active X active p X active X active cons X1 X2 active X1 active f X active X true cons 2 0 s 1 1 1 top 1 0 top 1 0 p 1 0 f 1 1 1 p 1 1 1 proper 1 19456 ok 1 19457 0 0 13506 s 1 0 mark 1 48368 f 1 0 proper 1 0 active 1 23979 cons 2 1 1 active 1 1 0 cons ok X1 ok X2 ok cons X1 X2 cons mark X1 X2 mark cons X1 X2 active f s 0 f p s 0 false active s X s active X false active p X p active X false active cons X1 X2 cons active X1 X2 false active f 0 cons 0 f s 0 false active f 0 f s 0 false active f 0 s 0 false active f X f active X false proper p X proper X proper s X proper X proper f X proper X proper cons X1 X2 proper X2 proper cons X1 X2 proper X1 true cons 2 0 s 1 1 1 top 1 0 top 1 0 p 1 0 f 1 1 1 p 1 1 1 proper 1 1 ok 1 2 0 0 49110 s 1 0 mark 1 47553 f 1 0 proper 1 1 0 active 1 19696 cons 2 1 2 1 active 1 0 cons ok X1 ok X2 ok cons X1 X2 cons mark X1 X2 mark cons X1 X2 proper cons X1 X2 cons proper X1 proper X2 false cons ok X1 ok X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 2 0 s 1 1 1 top 1 0 top 1 0 p 1 0 f 1 1 1 p 1 1 15943 proper 1 1 ok 1 1 1 0 0 1 s 1 0 mark 1 30124 f 1 0 proper 1 0 active 1 30123 cons 2 1 2 1 active 1 0 cons mark X1 X2 cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 cons mark X1 X2 mark cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 11575 top 1 0 top 1 0 p 1 0 f 1 1 1 p 1 1 46517 proper 1 1 ok 1 1 1 0 0 1 s 1 0 mark 1 1 37415 f 1 0 proper 1 0 active 1 37414 cons 2 0 active 1 0 proper p X p proper X false p ok X p X p mark X p X true cons 2 0 s 1 1 1 top 1 0 top 1 0 p 1 1 0 f 1 1 1 p 1 1 1 proper 1 1 ok 1 1 1 0 0 1 s 1 0 mark 1 1 2 f 1 0 proper 1 0 active 1 1 cons 2 0 active 1 0 proper s X s proper X false s mark X s X s ok X s X true cons 2 0 s 1 1 1 top 1 0 top 1 0 p 1 0 f 1 1 1 p 1 1 1 proper 1 1 ok 1 1 1 0 0 1 s 1 1 0 mark 1 1 2 f 1 0 proper 1 0 active 1 1 cons 2 0 active 1 0 proper f X f proper X false active f s 0 p s 0 false f mark X f X f ok X f X true cons 2 0 s 1 1 27570 top 1 0 top 1 0 p 1 0 f 1 1 1 p 1 1 1 proper 1 1 ok 1 1 1 0 0 1 s 1 0 mark 1 1 19897 f 1 1 0 proper 1 0 active 1 19896 cons 2 0 active 1 0 NaTT certifiable-1.6