{
"magic" : 14,
"memlimit" : 0,
"provers" :
  [{ "executable" : "alt-ergo",
     "args" :
       [ "--max-split", "5", "--use-fpa", "--prelude", "fpa-theory-2019-10-08-19h00.ae", "--disable-weaks", "%f"],
     "args_time" : [],
     "args_steps" :
       [ "--steps-bound", "%S"],
     "driver" : "alt-ergo_gnatprove",
     "name" : "altergo",
     "shortcut" : "altergo",
     "version" : "1.30-gnatprove"
   },
  { "executable" : "colibri",
     "args" : ["--memlimit", "%m", "%f"],
     "args_time" : [],
     "args_steps" : ["--steplimit", "%S"],
     "driver" : "colibri",
     "name" : "colibri",
     "shortcut" : "colibri",
     "version" : "2137"
   },
  { "executable" : "colibri2",
     "args" : ["%f"],
     "args_time" : [],
     "args_steps" : ["--max-steps", "%S"],
     "driver" : "colibri2",
     "name" : "colibri2",
     "shortcut" : "colibri2",
     "version" : "0.3.3"
   },
  { "executable" : "gappa",
     "args" : ["-Eprecision=70", "%f"],
     "args_time" : [],
     "args_steps" : [],
     "driver" : "gappa",
     "name" : "gappa",
     "shortcut" : "gappa",
     "version" : "1.4"
   },
  { "executable" : "cvc5",
       "args" :
          [
           "--prenex-quant=none",
           "--stats-internal",
           "%f"
          ],
       "args_time" : [],
       "args_steps" : [ "--rlimit=%S"],
       "driver" : "cvc5_gnatprove",
       "name" : "CVC5",
       "shortcut" : "cvc5",
       "version" : "0.0.7-gnatprove"
   },
  { "executable" : "cvc5",
       "args" :
          [
           "--prenex-quant=none",
           "--stats-internal",
           "%f"
          ],
       "args_time" : [],
       "args_steps" : [ "--rlimit=%S"],
       "driver" : "cvc5_gnatprove_ce",
       "name" : "CVC5_CE",
       "shortcut" : "cvc5_ce",
       "version" : "0.0.7-gnatprove"
   },
  { "executable" : "z3",
     "args" :
       [ "-smt2", "-st", "smt.arith.solver=6", "%f"],
     "args_time" : [],
     "args_steps" :
       [ "rlimit=%S"],
     "driver" : "z3_gnatprove",
     "name" : "Z3",
     "shortcut" : "z3",
     "version" : "4.5.1-gnatprove"
   },
  { "executable" : "z3",
     "args" :
       [ "-smt2", "-st", "model.compact=false", "%f"],
     "args_time" : ["-t:%t"],
     "args_steps" :
       [ "rlimit=%S"],
     "driver" : "z3_gnatprove_ce",
     "name" : "z3_ce",
     "shortcut" : "z3_ce",
     "version" : "4.5.1-gnatprove"
   },
   { "executable" : "coqtop",
     "args" :
       [ "-batch",
         "-I",
         "%l/coq-tactic",
         "-R",
         "%o/why3_libs/coq",
         "Why3",
         "-l",
         "%f"],
     "args_time" : [],
     "driver" : "coq_gnatprove",
     "editor" : "coqide",
     "in_place" : false,
     "interactive" : true,
     "name" : "Coq",
     "shortcut" : "coq",
     "version" : "8.5pl2"
    }],
"editors" :
  [ { "title" : "coqide",
      "name"  : "CoqIDE",
      "executable" : "coqide",
      "args" :
        ["-I",
         "%l/coq-tactic",
         "-R",
         "%o/why3_libs/coq",
         "Why3",
         "%f"],
      "args_time" : [],
      "options" : ""
    }
  ]
}
