/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES p s x x s p x x + 0 y y + s x y s + x y + p x y p + x y minus 0 0 minus s x p minus x minus p x s minus x * 0 y 0 * s x y + * x y y * p x y + * x y minus y 2.2 * p x y * x y * s x y + * x y y + s x y + x y + p x y + x y minus p x minus x + s x y s + x y * s x y * x y minus p x s minus x minus s x minus x * p x y minus y * p x y + * x y minus y + p x y p + x y minus s x p minus x true * s x y * x y * p x y * x y true s 1 1 1 minus 1 0 * 2 1 0 p 1 0 p 1 1 1 0 0 0 s 1 0 minus 1 0 + 2 0 + 2 0 * 2 0 * p x y + * x y minus y false * p x y minus y false minus p x minus x minus s x minus x true s 1 1 1 minus 1 0 * 2 0 p 1 0 p 1 1 1 0 0 0 s 1 0 minus 1 1 0 + 2 0 + 2 0 * 2 0 minus s x p minus x false minus p x s minus x false * s x y + * x y y false + p x y + x y + s x y + x y true s 1 1 1 minus 1 0 * 2 0 p 1 0 p 1 1 1 0 0 0 s 1 0 minus 1 0 + 2 0 + 2 1 0 * 2 0 + p x y p + x y false + s x y s + x y false NaTT certifiable-1.6