/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES f x y g1 x x y f x y g1 y x x f x y g2 x y y f x y g2 y y x g1 x x y h x y g1 y x x h x y g2 x y y h x y g2 y y x h x y h x x x 2.2 g1 y x x h x y f x y g1 x x y g2 y y x h x y f x y g2 x y y g2 x y y h x y f x y g1 y x x f x y g2 y y x g1 x x y h x y true f x y g2 y y x false f x y g1 y x x false f x y g1 x x y false g1 x x y h x y false f x y g2 x y y false g2 x y y h x y false g2 y y x h x y false g1 y x x h x y false NaTT certifiable-1.6