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