WATCH: 0.00 CPU 0.01 WC

/CW/home-0/sutcliff/CASC/23/Problems/FNE/FNE045.p 300 sec             +++
            

SZS status GaveUp for FNE045.p

0.03 sec 

0.06 sec 
WATCH: 0.10 CPU 0.16 WC

FINAL WATCH: 0.10 CPU 0.16 WC