/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES + x 0 x + x s y s + x y + 0 y y + s x y s + x y + x + y z + + x y z f g f x f h s 0 x f g h x y f h s x y f h x h y z f h + x y z 2.2 f g f x f h s 0 x f h x h y z f h + x y z f h x h y z + x y + x + y z + x y f g h x y f h s x y + x s y + x y + s x y + x y + x + y z + + x y z true f g h x y f h s x y false f g f x f h s 0 x false f h x h y z f h + x y z true h 2 2 1 s 1 1 1 f 1 0 0 0 1 f 1 1 0 + 2 1 1 g 1 0 + 2 0 f h x h y z + x y false + x + y z + + x y z + s x y + x y + x s y + x y + x + y z + x y true h 2 1 s 1 1 1 f 1 0 0 0 0 f 1 1 0 + 2 1 2 2438 g 1 0 + 2 1 2 0 + x + y z + + x y z + s x y s + x y + x 0 x + 0 y y + x + y z + + x y z + x s y s + x y + x + y z + + x y z true h 2 1 s 1 1 1 f 1 0 0 0 0 f 1 1 0 + 2 1 2 20163 g 1 0 + 2 2 0 + s x y s + x y + x 0 x + 0 y y + x + y z + + x y z + x s y s + x y NaTT certifiable-1.6