/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active zeros mark cons 0 zeros active tail cons X XS mark XS active cons X1 X2 cons active X1 X2 active tail X tail active X cons mark X1 X2 mark cons X1 X2 tail mark X mark tail X proper zeros ok zeros proper cons X1 X2 cons proper X1 proper X2 proper 0 ok 0 proper tail X tail proper X cons ok X1 ok X2 ok cons X1 X2 tail ok X ok tail X top mark X top proper X top ok X top active X 2.2 top mark X top proper X top ok X top active X active zeros cons 0 zeros proper tail X proper X active cons X1 X2 cons active X1 X2 active cons X1 X2 active X1 proper cons X1 X2 cons proper X1 proper X2 top ok X active X cons mark X1 X2 cons X1 X2 tail ok X tail X active tail X tail active X proper cons X1 X2 proper X2 top mark X proper X tail mark X tail X proper tail X tail proper X proper cons X1 X2 proper X1 cons ok X1 ok X2 cons X1 X2 active tail X active X true top ok X top active X top mark X top proper X true proper 1 1 ok 1 1 active 1 1 cons 2 0 top 1 0 top 1 0 1 zeros 0 6 tail 1 3 1 0 0 2 tail 1 0 mark 1 1 1 proper 1 0 cons 2 5 1 active 1 0 cons 2 2 1 top 1 1 top 1 1 1 zeros 0 8946 tail 1 1 15922 0 0 0 tail 1 1 mark 1 1 0 proper 1 1 cons 2 1 2 0 active 1 1 top ok X top active X active tail X tail active X proper cons X1 X2 cons proper X1 proper X2 active zeros mark cons 0 zeros active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 proper tail X tail proper X proper zeros ok zeros tail ok X ok tail X cons ok X1 ok X2 ok cons X1 X2 proper 0 ok 0 tail mark X mark tail X active tail cons X XS mark XS top ok X top active X true cons 2 0 top 1 0 top 1 1 0 zeros 0 1 tail 1 1 0 proper 1 2 ok 1 2 0 0 1 tail 1 0 mark 1 1 proper 1 0 active 1 1 cons 2 1 0 active 1 0 active tail X tail active X proper cons X1 X2 cons proper X1 proper X2 active zeros mark cons 0 zeros active cons X1 X2 cons active X1 X2 cons mark X1 X2 mark cons X1 X2 proper tail X tail proper X proper zeros ok zeros tail ok X ok tail X cons ok X1 ok X2 ok cons X1 X2 proper 0 ok 0 tail mark X mark tail X active tail cons X XS mark XS top mark X proper X false proper cons X1 X2 proper X1 proper cons X1 X2 proper X2 proper tail X proper X true cons 2 0 top 1 0 top 1 0 zeros 0 1 tail 1 1 1 proper 1 0 ok 1 25907 0 0 20698 tail 1 0 mark 1 11050 proper 1 1 0 active 1 11049 cons 2 1 2 28882 active 1 0 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 proper tail X tail proper X false proper cons X1 X2 cons proper X1 proper X2 false top ok X active X false active tail X active X active cons X1 X2 active X1 true cons 2 0 top 1 0 top 1 0 zeros 0 1 tail 1 1 1 proper 1 0 ok 1 2447 0 0 19178 tail 1 0 mark 1 17749 proper 1 0 active 1 17748 cons 2 1 2 28882 active 1 1 0 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 active cons X1 X2 cons active X1 X2 false cons ok X1 ok X2 cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 2 0 top 1 0 top 1 0 zeros 0 1 tail 1 1 29534 proper 1 0 ok 1 1 1 0 0 24766 tail 1 0 mark 1 2 proper 1 0 active 1 1 cons 2 1 2 28224 active 1 0 cons mark X1 X2 cons X1 X2 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 cons mark X1 X2 cons X1 X2 true cons 2 1 0 top 1 0 top 1 0 zeros 0 1 tail 1 1 1 proper 1 12280 ok 1 1 30572 0 0 1 tail 1 0 mark 1 1 37035 proper 1 0 active 1 37034 cons 2 1 1 active 1 0 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 active zeros cons 0 zeros false active tail X tail active X false tail mark X tail X tail ok X tail X true cons 2 0 top 1 0 top 1 0 zeros 0 1 tail 1 1 1 proper 1 1103 ok 1 1 2332 0 0 40917 tail 1 1 0 mark 1 1 49044 proper 1 0 active 1 49043 cons 2 1 14137 active 1 0 cons mark X1 X2 mark cons X1 X2 cons ok X1 ok X2 ok cons X1 X2 NaTT certifiable-1.6