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