spass.drv 270 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4 5 6 7 8 9 10 11
(* Why driver for SPASS *)

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\""

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