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