/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES f x y z g <= x y x y z g true x y z z g false x y z f f p x y z f p y z x f p z x y p 0 0 p s x x 2.2 g false x y z f p x y z g false x y z f p z x y g false x y z p z g false x y z p y g false x y z p x g false x y z f f p x y z f p y z x f p z x y f x y z g <= x y x y z g false x y z f p y z x true g false x y z f p y z x false g false x y z f f p x y z f p y z x f p z x y false g false x y z p x false g false x y z f p z x y false g false x y z p y false g false x y z p z false g false x y z f p x y z false f x y z g <= x y x y z false NaTT certifiable-1.6