(* Why driver for Vampire *)

valid   "Refutation found"
unknown "Time limit reached" "Time out"
unknown "Refutation not found" ""
outofmemory "Memory limit exceeded"

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