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/FNE084.p ...

WATCH: 0.00 CPU 0.01 WC
Parsing /CW/home-0/sutcliff/TPTP/Axioms/CSR004+0.ax ...
Calling eprover for clausification ...



Proving  ...


WATCH: 2.97 CPU 3.02 WC

WATCH: 5.97 CPU 6.03 WC

WATCH: 8.97 CPU 9.04 WC
% SZS status Theorem for /CW/home-0/sutcliff/CASC/23/Problems/FNE/FNE084.p

WATCH: 9.85 CPU 10.12 WC

FINAL WATCH: 9.85 CPU 10.12 WC