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