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

% SZS status Theorem

WATCH: 1.07 CPU 1.10 WC

FINAL WATCH: 1.07 CPU 1.10 WC