(* 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"
import "discrimination.gen"
