/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 2.2 p p b a x0 x1 p x2 x3 p b x2 a a b x1 p p b a x0 x1 p x2 x3 p x3 x0 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 true p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 p p b a x0 x1 p x2 x3 p x3 x0 true a 1 1 0 b 1 1 0 p 2 1 2 0 p 2 1 2 20653 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 p p b a x0 x1 p x2 x3 p p b x2 a a b x1 p x3 x0 true Failed! NaTT certifiable-1.6