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