WATCH: 0.00 CPU 0.01 WC
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/FNE044.p ...
Parsing /CW/home-0/sutcliff/TPTP/Axioms/CSR002+2.ax ...
Calling eprover for clausification ...



Proving  ...

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

WATCH: 1.29 CPU 1.55 WC

FINAL WATCH: 1.29 CPU 1.55 WC