WATCH: 0.00 CPU 0.01 WC

/CW/home-0/sutcliff/CASC/23/Problems/FEQ/FEQ073.p 300 sec +++


SZS status GaveUp for FEQ073.p

0.17 sec 

0.35 sec 
WATCH: 0.37 CPU 0.43 WC

FINAL WATCH: 0.37 CPU 0.43 WC