/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active f f a mark c f g f a mark f X active f mark X mark a active a mark c X active c X mark g X active g mark X f mark X f X f active X f X c mark X c X c active X c X g mark X g X g active X g X 2.2 mark f X f mark X g active X g X active f f a mark c f g f a mark g X active g mark X mark g X mark X mark a active a active f f a c f g f a f active X f X mark g X g mark X c active X c X c mark X c X active f f a g f a mark f X mark X mark f X active f mark X g mark X g X active f f a f g f a f mark X f X mark c X active c X true mark f X mark X mark g X mark X true a 0 0 c 1 0 f 1 1 1 mark 1 1 0 mark 1 0 f 1 0 g 1 0 c 1 0 active 1 0 active 1 0 g 1 1 1 mark f X active f mark X false mark a active a false mark g X active g mark X false mark c X active c X active f f a mark c f g f a true a 0 3118 c 1 1 1 f 1 1 8683 mark 1 1 11798 mark 1 1 0 f 1 0 g 1 0 c 1 0 active 1 1 0 active 1 1 0 g 1 1 c mark X c X g mark X g X f active X f X g active X g X c active X c X f mark X f X active f f a c f g f a false active f f a f g f a false active f f a g f a false c mark X c X c active X c X true a 0 3118 c 1 1 1 f 1 1 8683 mark 1 1 11798 mark 1 1 1 f 1 0 g 1 0 c 1 1 0 active 1 1 1 active 1 1 0 g 1 1 c mark X c X g mark X g X f active X f X g active X g X c active X c X f mark X f X mark g X g mark X false g mark X g X g active X g X true a 0 3118 c 1 1 1 f 1 1 8683 mark 1 1 11798 mark 1 1 1 f 1 0 g 1 1 0 c 1 0 active 1 1 1 active 1 1 0 g 1 1 c mark X c X g mark X g X f active X f X g active X g X c active X c X f mark X f X mark f X f mark X false f mark X f X f active X f X true a 0 3118 c 1 1 1 f 1 1 8683 mark 1 1 11798 mark 1 1 1 f 1 1 0 g 1 0 c 1 0 active 1 1 1 active 1 1 0 g 1 1 c mark X c X g mark X g X f active X f X g active X g X c active X c X f mark X f X NaTT certifiable-1.6