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