/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 f g f a mark f X active f mark X mark a active a 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 mark f X f mark X f mark X f X active f f a f g f a g active X g X mark g X active g X mark a active a active f f a g f a g mark X g X mark f X mark X mark f X active f mark X active f f a mark f g f a f active X f X true mark g X active g X active f f a mark f g f a mark f X active f mark X mark f X mark X true a 0 1 f 1 1 28960 mark 1 1 28959 mark 1 1 28958 f 1 0 g 1 0 active 1 1 0 active 1 1 0 g 1 1 mark g X active g X g active X g X active f f a mark f g f a mark a active a f mark X f X g mark X g X f active X f X mark f X active f mark X active f f a f g f a false g active X g X g mark X g X true a 0 1 f 1 1 1 mark 1 1 28959 mark 1 1 1 f 1 0 g 1 1 0 active 1 1 0 active 1 1 0 g 1 1 g active X g X mark g X active g X g active X g X active f f a mark f g f a mark a active a f mark X f X g mark X g X f active X f X mark f X active f mark X g active X g X true a 0 8367 f 1 8366 mark 1 1 28959 mark 1 8367 f 1 0 g 1 1 0 active 1 1 1 active 1 1 0 g 1 0 g active X g X f mark X f X g mark X g X f active X f X active f f a g f a false mark a active a false mark f X f mark X false f active X f X f mark X f X true a 0 1 f 1 41063 mark 1 1 28959 mark 1 1 1 f 1 1 0 g 1 0 active 1 1 1 active 1 1 0 g 1 0 g active X g X f mark X f X g mark X g X f active X f X NaTT certifiable-1.6