WATCH: 0.00 CPU 0.01 WC
% SZS status Theorem

WATCH: 0.01 CPU 0.03 WC

FINAL WATCH: 0.01 CPU 0.03 WC