/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES + + x y z + x + y z + f x f y f + x y + f x + f y z + f + x y z 2.2 + f x + f y z + f + x y z + + x y z + y z + f x + f y z + x y + f x f y + x y + + x y z + x + y z true + + x y z + x + y z + f x f y + x y + f x + f y z + x y + + x y z + y z + f x + f y z + f + x y z true f 1 1 1 + 2 1 2 39 + 2 1 2 0 + + x y z + x + y z + + x y z + x + y z + f x + f y z + f + x y z + f x f y f + x y + + x y z + x + y z true f 1 1 1 + 2 1 2 39 + 2 1 0 + + x y z + x + y z + f x + f y z + f + x y z + f x f y f + x y NaTT certifiable-1.6