WATCH: 0.00 CPU 0.01 WC
[1] 10201
SZS status Theorem for /tmp/Z3_10197_cl5-027.p

WATCH: 0.03 CPU 0.08 WC

FINAL WATCH: 0.03 CPU 0.08 WC
Killed 1 orphans
Killed 1 orphans