drivers/vampire.drv

   1 (* Why driver for Vampire *)
   2
   3 valid   "Refutation found"
   4 unknown "Time limit reached" "Time out"
   5 unknown "Refutation not found" ""
   6 outofmemory "Memory limit exceeded"
   7
   8 import "tptp.gen"
   9 import "discrimination.gen"