Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Stats: (:added-eqs 8876
- :arith-add-rows 2936869
- :arith-assert-diseq 1318
- :arith-assert-lower 32129
- :arith-assert-upper 26952
- :arith-bound-prop 4338
- :arith-conflicts 1384
- :arith-eq-adapter 34
- :arith-fixed-eqs 6415
- :arith-gcd-tests 48109
- :arith-gomory-cuts 345
- :arith-grobner 112003
- :arith-ineq-splits 404
- :arith-max-min 148270
- :arith-nonlinear-bounds 8544
- :arith-nonlinear-horner 94526
- :arith-offset-eqs 3502
- :arith-pivots 115950
- :arith-pseudo-nonlinear 3237
- :binary-propagations 66488
- :conflicts 1668
- :decisions 31646
- :del-clause 7681
- :final-checks 11158
- :interface-eqs 10
- :max-memory 5.05
- :memory 2.74
- :minimized-lits 1051
- :mk-bool-var 3863
- :mk-clause 9394
- :num-allocs 301817378
- :num-checks 1
- :propagations 105505
- :restarts 14
- :rlimit-count 391432284)
Add Comment
Please, Sign In to add comment
