/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE sort l st 0 l st n l cond1 member n l n l cond1 true n l cons n st s n l cond1 false n l cond2 gt n max l n l cond2 true n l nil cond2 false n l st s n l member n nil false member n cons m l or equal n m member n l or x true true or x false x equal 0 0 true equal s x 0 false equal 0 s y false equal s x s y equal x y gt 0 v false gt s u 0 true gt s u s v gt u v max nil 0 max cons u l if gt u max l u max l if true u v u if false u v v 2.2 st n l member n l max cons u l if gt u max l u max l member n cons m l equal n m max cons u l max l sort l st 0 l member n cons m l or equal n m member n l member n cons m l member n l max cons u l gt u max l cond1 true n l st s n l gt s u s v gt u v cond1 false n l max l cond1 false n l gt n max l cond2 false n l st s n l st n l cond1 member n l n l max cons u l max l cond1 false n l cond2 gt n max l n l equal s x s y equal x y true sort l st 0 l false cond1 false n l cond2 gt n max l n l st n l cond1 member n l n l cond2 false n l st s n l cond1 true n l st s n l true Failed! NaTT certifiable-1.6