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