(:added-eqs            53
 :arith-add-rows       16
 :arith-assert-diseq   6
 :arith-assert-lower   48
 :arith-assert-upper   35
 :arith-bound-prop     4
 :arith-conflicts      1
 :arith-eq-adapter     27
 :arith-fixed-eqs      4
 :arith-offset-eqs     9
 :arith-pivots         13
 :binary-propagations  49
 :conflicts            2
 :decisions            6
 :del-clause           27
 :eliminated-vars      21
 :final-checks         2
 :interface-eqs        1
 :max-generation       2
 :max-memory           4.28
 :memory               3.21
 :mk-bool-var          147
 :mk-clause            35
 :num-allocs           1886295
 :num-checks           1
 :propagations         51
 :quant-instantiations 13
 :restarts             1
 :rlimit-count         18103
 :time                 0.06
 :total-time           0.12)
