WATCH: 0.00 CPU 0.01 WC

/CW/home-0/sutcliff/CASC/23/Problems/FEQ/FEQ061.p 300 sec 
WATCH: 2.92 CPU 3.02 WC

WATCH: 5.92 CPU 6.03 WC

WATCH: 8.92 CPU 9.04 WC
         +++

WATCH: 11.93 CPU 12.05 WC

WATCH: 14.94 CPU 15.06 WC

WATCH: 17.94 CPU 18.07 WC

WATCH: 20.95 CPU 21.08 WC
         

SZS status GaveUp for FEQ061.p

10.54 sec 

20.96 sec 
WATCH: 20.99 CPU 21.15 WC

FINAL WATCH: 20.99 CPU 21.15 WC