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

WATCH: 0.02 CPU 0.04 WC

FINAL WATCH: 0.02 CPU 0.04 WC