/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE diff x y cond1 equal x y x y cond1 true x y 0 cond1 false x y cond2 gt x y x y cond2 true x y s diff x s y cond2 false x y s diff s x y gt 0 v false gt s u 0 true gt s u s v gt u v equal 0 0 true equal s x 0 false equal 0 s y false equal s x s y equal x y 2.2 cond2 false x y diff s x y diff x y equal x y gt s u s v gt u v diff x y cond1 equal x y x y cond1 false x y cond2 gt x y x y equal s x s y equal x y cond2 true x y diff x s y cond1 false x y gt x y true cond2 true x y diff x s y cond1 false x y cond2 gt x y x y diff x y cond1 equal x y x y cond2 false x y diff s x y true Failed! NaTT certifiable-1.6