E-Darwin 1.4 2011/07/07 (based on Darwin 1.3)


Defaulting to tptp format.
Parsing /CW/home-0/sutcliff/CASC/23/Problems/FNE/FNE045.p ...

WATCH: 0.00 CPU 0.01 WC
Calling eprover for clausification ...



Proving  ...

% SZS status Theorem for /CW/home-0/sutcliff/CASC/23/Problems/FNE/FNE045.p

WATCH: 0.01 CPU 0.06 WC

FINAL WATCH: 0.01 CPU 0.06 WC