/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES + 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 minus p x minus x minus s x minus x * s x y * x y + p x y + x y * p x y minus y * p x y + * x y minus y + s x y + x y * s x y + * x y y * p x y * x y true * p x y * x y * s x y * x y true s 1 1 1 minus 1 0 * 2 1 0 p 1 1 1 0 0 0 minus 1 0 + 2 0 + 2 0 * 2 0 * p x y + * x y minus y false * s x y + * x y y false * p x y minus y false + s x y + x y + p x y + x y true s 1 1 1 minus 1 0 * 2 0 p 1 1 1 0 0 0 minus 1 0 + 2 0 + 2 1 0 * 2 0 minus s x minus x minus p x minus x true s 1 1 1 minus 1 0 * 2 0 p 1 1 1 0 0 0 minus 1 1 0 + 2 0 + 2 0 * 2 0 NaTT certifiable-1.6