/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 z cond2 gr x 0 x y z cond2 true x y z cond1 or gr x z gr y z p x y z cond2 false x y z cond3 gr y 0 x y z cond3 true x y z cond1 or gr x z gr y z x p y z cond3 false x y z cond1 or gr x z gr y z x y z gr 0 x false gr s x 0 true gr s x s y gr x y or false false false or true x true or x true true p 0 0 p s x x 2.2 cond2 true x y z or gr x z gr y z cond3 false x y z cond1 or gr x z gr y z x y z cond1 true x y z gr x 0 cond3 false x y z gr y z cond2 false x y z gr y 0 cond1 true x y z cond2 gr x 0 x y z gr s x s y gr x y cond3 false x y z or gr x z gr y z cond2 false x y z cond3 gr y 0 x y z cond2 true x y z p x cond3 true x y z gr x z cond3 true x y z p y cond3 true x y z or gr x z gr y z cond2 true x y z gr x z cond2 true x y z cond1 or gr x z gr y z p x y z cond3 false x y z gr x z cond3 true x y z cond1 or gr x z gr y z x p y z cond2 true x y z gr y z cond3 true x y z gr y z true cond3 true x y z cond1 or gr x z gr y z x p y z cond1 true x y z cond2 gr x 0 x y z cond2 true x y z cond1 or gr x z gr y z p x y z cond3 false x y z cond1 or gr x z gr y z x y z cond2 false x y z cond3 gr y 0 x y z true Failed! NaTT certifiable-1.6