let gui_provers = [ AltErgo ; Coq ; Why "z3" ; Why "simplify" ; Why "cvc3" ; Why "yices" ; Why "zenon" ]