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