WATCH: 0.00 CPU 0.01 WC
[1] 5639
SZS status Theorem for /tmp/Z3_5635_cl5-017.p

WATCH: 0.02 CPU 0.15 WC

FINAL WATCH: 0.02 CPU 0.15 WC
Killed 1 orphans
Killed 1 orphans