/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active c mark f g c active f g X mark g X mark c active c mark f X active f X mark g X active g X f mark X f X f active X f X g mark X g X g active X g X 2.2 f mark X f X mark c active c active c g c mark f X active f X active c mark f g c g mark X g X mark g X active g X g active X g X active f g X mark g X active c f g c f active X f X true g active X g X g mark X g X true c 0 0 f 1 0 mark 1 0 mark 1 1 1 f 1 0 g 1 1 0 active 1 1 1 active 1 0 g 1 0 active f g X mark g X mark f X active f X mark c active c mark g X active g X active c mark f g c true c 0 15443 f 1 7722 mark 1 1 7720 mark 1 1 f 1 0 g 1 0 active 1 1 active 1 1 0 g 1 1 g mark X g X f active X f X g active X g X f mark X f X active c f g c false active c g c false f active X f X f mark X f X true c 0 15443 f 1 7722 mark 1 1 7720 mark 1 1 1 f 1 1 0 g 1 0 active 1 1 1 active 1 1 0 g 1 1 g mark X g X f active X f X g active X g X f mark X f X NaTT certifiable-1.6