Commit ac73e47b authored by François Bobot's avatar François Bobot
Browse files

tptp : another timeout regexp possible

parent 7150c064
...@@ -7,8 +7,9 @@ valid "Proof found" ...@@ -7,8 +7,9 @@ valid "Proof found"
invalid "Completion found" invalid "Completion found"
timeout "Ran out of time" timeout "Ran out of time"
timeout "Resource limit exceeded" timeout "Resource limit exceeded"
timeout "CPU time limit exceeded"
unknown "No Proof Found" "Unknown" unknown "No Proof Found" "Unknown"
fail "Failure" "Failure" fail "Failure.*" "\"\\0\""
(* to be improved *) (* to be improved *)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment