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