let
prover_names =
[
"none"
;
"coq"
;
"coqide"
;
"alt-ergo"
;
"simplify"
;
"yices"
;
"cvc3"
;
"z3"
]