(smt.stats :restarts :decisions       :clauses/bin          :simplify   :memory)
(smt.stats   :conflicts      :propagations          :lemmas      :deletions   )
(smt.stats 1103 384029 54830179 18582672 185546/176202 14080    1    0   86.58)
(smt.working :conflicts 243294 :agility 0.04)
(smt.stats 1104 385188 54831864 18629743 185546/176202 15239    1    0   88.60)
(smt.working :conflicts 244453 :agility 0.02)
(smt.stats 1105 386462 54834190 18675930 185546/176202 16513    1    0   90.61)
(smt.delete-inactive-clauses  :num-deleted-clauses 7622)