/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active 2nd cons X cons Y Z mark Y active from X mark cons X from s X active 2nd X 2nd active X active cons X1 X2 cons active X1 X2 active from X from active X active s X s active X 2nd mark X mark 2nd X cons mark X1 X2 mark cons X1 X2 from mark X mark from X s mark X mark s X proper 2nd X 2nd proper X proper cons X1 X2 cons proper X1 proper X2 proper from X from proper X proper s X s proper X 2nd ok X ok 2nd X cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s ok X ok s X top mark X top proper X top ok X top active X 2.2 active from X from s X 2nd ok X 2nd X proper from X from proper X proper cons X1 X2 proper X2 proper 2nd X 2nd proper X proper cons X1 X2 cons proper X1 proper X2 top mark X proper X top mark X top proper X proper cons X1 X2 proper X1 active cons X1 X2 active X1 proper s X s proper X active cons X1 X2 cons active X1 X2 cons ok X1 ok X2 cons X1 X2 active from X from active X proper from X proper X proper 2nd X proper X active s X active X cons mark X1 X2 cons X1 X2 from ok X from X active 2nd X active X top ok X active X s ok X s X s mark X s X active 2nd X 2nd active X active from X active X top ok X top active X active from X s X active from X cons X from s X from mark X from X proper s X proper X active s X s active X 2nd mark X 2nd X true top mark X top proper X top ok X top active X true cons 2 0 s 1 1 0 top 1 0 2nd 1 1 0 top 1 1 0 proper 1 1 ok 1 1 28103 from 1 1 0 s 1 0 2nd 1 0 mark 1 2 proper 1 0 from 1 0 active 1 1 28102 cons 2 1 0 active 1 0 s ok X ok s X active cons X1 X2 cons active X1 X2 2nd ok X ok 2nd X cons mark X1 X2 mark cons X1 X2 active 2nd cons X cons Y Z mark Y active 2nd X 2nd active X cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X active from X from active X s mark X mark s X 2nd mark X mark 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 proper 2nd X 2nd proper X from mark X mark from X proper from X from proper X active s X s active X active from X mark cons X from s X top mark X proper X false top ok X active X false active cons X1 X2 active X1 active from X active X active 2nd X active X active s X active X true cons 2 0 s 1 1 0 top 1 0 2nd 1 1 0 top 1 1 0 proper 1 1 1 ok 1 1 29283 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 0 active 1 1 0 active s X active X active 2nd X active X active cons X1 X2 active X1 s ok X ok s X active cons X1 X2 cons active X1 X2 2nd ok X ok 2nd X cons mark X1 X2 mark cons X1 X2 active 2nd cons X cons Y Z mark Y active 2nd X 2nd active X cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X active from X from active X s mark X mark s X 2nd mark X mark 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 proper 2nd X 2nd proper X from mark X mark from X proper from X from proper X active s X s active X active from X mark cons X from s X active cons X1 X2 active X1 active 2nd X active X active s X active X true cons 2 0 s 1 1 0 top 1 0 2nd 1 1 1 top 1 0 proper 1 1 50349 ok 1 1 1 from 1 1 47562 s 1 0 2nd 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 0 active 1 1 0 active s X active X active cons X1 X2 active X1 s ok X ok s X 2nd ok X ok 2nd X cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s mark X mark s X 2nd mark X mark 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 proper 2nd X 2nd proper X from mark X mark from X proper from X from proper X active from X mark cons X from s X active cons X1 X2 active X1 active s X active X true cons 2 0 s 1 1 0 top 1 0 2nd 1 1 0 top 1 0 proper 1 1 1 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 1 active 1 1 0 active s X active X s ok X ok s X 2nd ok X ok 2nd X cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s mark X mark s X 2nd mark X mark 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 proper 2nd X 2nd proper X from mark X mark from X proper from X from proper X active from X mark cons X from s X active s X active X true cons 2 0 s 1 1 1 top 1 0 2nd 1 1 0 top 1 0 proper 1 1 61160 ok 1 1 from 1 1 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 11966 cons 2 1 1 active 1 1 0 s ok X ok s X 2nd ok X ok 2nd X cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s mark X mark s X 2nd mark X mark 2nd X proper s X s proper X proper cons X1 X2 cons proper X1 proper X2 proper 2nd X 2nd proper X from mark X mark from X proper from X from proper X active from X mark cons X from s X active from X cons X from s X false active from X s X false active s X s active X false active 2nd X 2nd active X false active cons X1 X2 cons active X1 X2 false proper s X proper X proper cons X1 X2 proper X1 proper cons X1 X2 proper X2 proper 2nd X proper X proper from X proper X true cons 2 0 s 1 1 1 top 1 0 2nd 1 1 1 top 1 0 proper 1 1 0 ok 1 39825 from 1 1 1 s 1 0 2nd 1 0 mark 1 2 proper 1 1 0 from 1 0 active 1 1 1 cons 2 1 2 1 active 1 0 2nd ok X ok 2nd X cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s mark X mark s X 2nd mark X mark 2nd X from mark X mark from X active from X mark cons X from s X proper from X from proper X false proper 2nd X 2nd proper X false 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 0 top 1 0 2nd 1 1 1 top 1 0 proper 1 1 0 ok 1 1 1 from 1 1 2 s 1 0 2nd 1 0 mark 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 1 2 1 active 1 0 cons mark X1 X2 cons X1 X2 2nd ok X ok 2nd X cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 from ok X ok from X s mark X mark s X 2nd mark X mark 2nd X from mark X mark from X active from X mark cons X from s X cons mark X1 X2 cons X1 X2 true cons 2 1 0 s 1 1 0 top 1 0 2nd 1 1 1 top 1 0 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 0 active 1 0 2nd ok X ok 2nd X from ok X ok from X 2nd mark X mark 2nd X from mark X mark from X proper s X s proper X false s ok X s X s mark X s X true cons 2 0 s 1 1 0 top 1 0 2nd 1 1 1 top 1 0 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 1 0 2nd 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 0 active 1 0 2nd ok X ok 2nd X from ok X ok from X 2nd mark X mark 2nd X from mark X mark from X 2nd mark X 2nd X 2nd ok X 2nd X true cons 2 0 s 1 1 0 top 1 0 2nd 1 1 52194 top 1 0 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 1 0 mark 1 1 1 proper 1 0 from 1 0 active 1 1 1 cons 2 0 active 1 0 2nd ok X ok 2nd X from ok X ok from X 2nd mark X mark 2nd X from mark X mark from X active from X from s X 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 0 top 1 0 2nd 1 1 17897 top 1 0 proper 1 1 0 ok 1 1 1 from 1 1 1 s 1 0 2nd 1 0 mark 1 1 1 proper 1 0 from 1 1 0 active 1 1 1 cons 2 0 active 1 0 2nd ok X ok 2nd X from ok X ok from X 2nd mark X mark 2nd X from mark X mark from X NaTT certifiable-1.6