/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a x1 g d x1 b b b x1 c d c x1 b b x1 a g g x1 c d x1 g g x1 g g g x1 b b x1 2.2 b b b x1 c x1 b b x1 g g x1 c d x1 g g x1 b b x1 g x1 c d x1 g x1 b b x1 a g g x1 g g g x1 b b x1 b b b x1 c d c x1 a x1 g d x1 g g g x1 b x1 true g g g x1 b x1 b b b x1 c d c x1 g g g x1 b b x1 c d x1 g g x1 b b x1 g g x1 c d x1 g x1 b b x1 g x1 b b b x1 c x1 true a 1 1 23600 d 1 1 0 b 1 1 35400 c 1 1 47200 g 1 1 0 c 1 1 23601 a 1 0 g 1 1 23600 b 1 1 2 c d x1 g g x1 a x1 g d x1 b b x1 a g g x1 g g g x1 b b x1 b b b x1 c d c x1 b b x1 a g g x1 false a x1 g d x1 false NaTT certifiable-1.6