WATCH: 0.00 CPU 0.01 WC
% Processing file: /CW/home-0/sutcliff/Systems/E-KRHyper---1.2/casc/../casc/config.tme.

WATCH: 3.00 CPU 3.02 WC

WATCH: 6.00 CPU 6.04 WC

% SZS status Theorem

WATCH: 8.76 CPU 8.80 WC

FINAL WATCH: 8.76 CPU 8.80 WC