drivers/spass.drv

   1 (* Why driver for SPASS *)
   2
   3 valid   "Proof found"
   4 invalid "Completion found"
   5 timeout "Ran out of time"
   6 timeout "CPU time limit exceeded"
   7 outofmemory "Out of Memory"
   8 unknown "No Proof Found" ""
   9 fail    "Failure.*" "\"\\0\""
  10
  11 import "tptp.gen"
  12 import "discrimination.gen"