Commit 75e1e522 authored by MARCHE Claude's avatar MARCHE Claude

alternative timeout regexp for vampire

parent 91277a12
......@@ -5,6 +5,7 @@ filename "%f-%t-%g.p"
valid "Refutation found"
timeout "Aborted by signal SIGXCPU on"
timeout "Time limit reached"
unknown "Refutation not found" "Unknown"
(* invalid "Completion found" *)
(* invalid "SZS status CounterSatisfiable" *)
......
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