/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE cond true x y z cond and gr x z gr y z p x p y z and true true true and x false false and false x false gr 0 0 false gr 0 x false gr s x 0 true gr s x s y gr x y p 0 0 p s x x 2.2 cond true x y z and gr x z gr y z cond true x y z p y gr s x s y gr x y cond true x y z p x cond true x y z gr x z cond true x y z cond and gr x z gr y z p x p y z cond true x y z gr y z true cond true x y z cond and gr x z gr y z p x p y z true Failed! NaTT certifiable-1.6