(* Why driver for Eprover *)

valid   "Proof found"
invalid "Completion found"
timeout "Ran out of time"
timeout "CPU time limit exceeded"
outofmemory "Out of Memory"
unknown "No proof found" ""
fail    "Failure.*"                   "\"\\0\""
time "why3cpulimit time : %s s"

import "tptp.gen"
import "discrimination.gen"
