/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active g X mark h X active c mark d active h d mark g c mark g X active g X mark h X active h X mark c active c mark d active d g mark X g X g active X g X h mark X h X h active X h X 2.2 mark c active c h mark X h X mark g X active g X active h d g c active g X h X g mark X g X mark h X active h X active g X mark h X mark d active d g active X g X active c mark d active h d mark g c h active X h X true g mark X g X g active X g X true h 1 0 d 0 0 c 0 0 mark 1 0 h 1 0 mark 1 1 1 g 1 1 0 active 1 1 1 active 1 0 g 1 0 active h d mark g c mark g X active g X active g X mark h X mark h X active h X true h 1 1 1 d 0 20657 c 0 20653 mark 1 1 1 h 1 0 mark 1 1 1 g 1 0 active 1 1 1 active 1 1 0 g 1 1 3 g mark X g X h mark X h X h active X h X g active X g X active h d g c false active g X h X false h active X h X h mark X h X true h 1 1 1 d 0 20657 c 0 20653 mark 1 1 1 h 1 1 0 mark 1 1 1 g 1 0 active 1 1 1 active 1 1 0 g 1 1 3 g mark X g X h mark X h X h active X h X g active X g X mark c active c false active c mark d false mark d active d false NaTT certifiable-1.6