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

WATCH: 2.99 CPU 3.01 WC

WATCH: 6.00 CPU 6.02 WC

WATCH: 9.00 CPU 9.03 WC

WATCH: 12.00 CPU 12.04 WC

WATCH: 15.01 CPU 15.05 WC

WATCH: 18.01 CPU 18.06 WC

WATCH: 21.02 CPU 21.08 WC

WATCH: 24.03 CPU 24.09 WC

WATCH: 27.03 CPU 27.10 WC

WATCH: 30.03 CPU 30.11 WC

WATCH: 33.04 CPU 33.12 WC

WATCH: 36.04 CPU 36.13 WC

WATCH: 39.05 CPU 39.14 WC

WATCH: 42.05 CPU 42.15 WC

WATCH: 45.05 CPU 45.16 WC

WATCH: 48.06 CPU 48.17 WC

WATCH: 51.06 CPU 51.18 WC

WATCH: 54.07 CPU 54.18 WC

% SZS status Theorem

WATCH: 56.03 CPU 56.16 WC

FINAL WATCH: 56.03 CPU 56.16 WC