/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE cond1 true x y cond2 gr y 0 x y cond2 true x y cond2 gr y 0 p x p y cond2 false x y cond1 and eq x y gr x 0 x y gr 0 x false gr s x 0 true gr s x s y gr x y p 0 0 p s x x eq 0 0 true eq s x 0 false eq 0 s x false eq s x s y eq x y and true true true and false x false and x false false 2.2 cond2 true x y gr y 0 eq s x s y eq x y cond2 false x y eq x y cond1 true x y cond2 gr y 0 x y cond1 true x y gr y 0 cond2 false x y cond1 and eq x y gr x 0 x y cond2 false x y gr x 0 gr s x s y gr x y cond2 true x y p x cond2 true x y cond2 gr y 0 p x p y cond2 false x y and eq x y gr x 0 cond2 true x y p y true gr s x s y gr x y true cond2 3 0 s 1 1 1 cond1 3 0 and 2 0 eq 2 0 false 0 0 p 1 0 true 0 0 cond1 3 0 eq 2 0 p 1 0 0 0 0 gr 2 2 0 cond2 3 0 gr 2 0 and 2 0 cond2 true x y cond2 gr y 0 p x p y cond1 true x y cond2 gr y 0 x y cond2 false x y cond1 and eq x y gr x 0 x y true Failed! NaTT certifiable-1.6