/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/brummayerbiere/countbits256.smt2


--------------------------------------------------------------------------------


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 8208144506
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 4625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.575 Prop: 392.719 PropClause: 392.393 Set: 4.925 Check: 0.0 Back: 0.0
INFO - Atoms: 4625/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 284697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.631 Prop: 588.512 PropClause: 578.349 Set: 60.026 Check: 0.0 Back: 0.139
INFO - Atoms: 280072/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 586205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.728 Prop: 978.131 PropClause: 959.98 Set: 129.371 Check: 0.0 Back: 6.878
INFO - Atoms: 301508/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 873798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.779 Prop: 1148.046 PropClause: 1122.829 Set: 175.446 Check: 0.0 Back: 13.738
INFO - Atoms: 287593/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1161656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.831 Prop: 1296.829 PropClause: 1264.535 Set: 374.932 Check: 0.0 Back: 20.303
INFO - Atoms: 287858/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1449763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.85 Prop: 1449.329 PropClause: 1409.912 Set: 421.343 Check: 0.0 Back: 26.83
INFO - Atoms: 288107/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1738923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.87 Prop: 1607.728 PropClause: 1561.143 Set: 468.216 Check: 0.0 Back: 33.47
INFO - Atoms: 289160/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 2028341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.888 Prop: 1761.886 PropClause: 1708.207 Set: 514.859 Check: 0.0 Back: 40.158
INFO - Atoms: 289418/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 2317758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.908 Prop: 1912.285 PropClause: 1851.473 Set: 561.212 Check: 0.0 Back: 46.806
INFO - Atoms: 289417/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 2607181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 2067.539 PropClause: 1999.666 Set: 607.635 Check: 0.0 Back: 53.52
INFO - Atoms: 289423/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2896605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.943 Prop: 2218.854 PropClause: 2143.898 Set: 829.021 Check: 0.0 Back: 60.155
INFO - Atoms: 289424/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 3186029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.962 Prop: 2377.951 PropClause: 2295.534 Set: 1041.105 Check: 0.0 Back: 66.773
INFO - Atoms: 289424/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 3477761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.982 Prop: 2530.389 PropClause: 2440.756 Set: 1231.301 Check: 0.0 Back: 73.422
INFO - Atoms: 291732/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 3767453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.001 Prop: 2684.651 PropClause: 2587.919 Set: 1277.79 Check: 0.0 Back: 80.096
INFO - Atoms: 289692/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 4067262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.022 Prop: 2846.108 PropClause: 2741.994 Set: 1326.748 Check: 0.0 Back: 86.802
INFO - Atoms: 299809/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 4367073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.041 Prop: 3017.321 PropClause: 2905.869 Set: 1375.291 Check: 0.0 Back: 93.793
INFO - Atoms: 299811/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 4666875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.06 Prop: 3189.042 PropClause: 3069.97 Set: 1425.685 Check: 0.0 Back: 100.672
INFO - Atoms: 299802/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 4966679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.077 Prop: 3355.191 PropClause: 3228.761 Set: 1474.043 Check: 0.0 Back: 107.577
INFO - Atoms: 299804/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 5267767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.097 Prop: 3560.359 PropClause: 3424.335 Set: 1540.617 Check: 0.0 Back: 114.436
INFO - Atoms: 301088/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 5568862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.117 Prop: 3741.154 PropClause: 3597.708 Set: 1771.402 Check: 0.0 Back: 121.333
INFO - Atoms: 301095/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 5870223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.134 Prop: 3908.524 PropClause: 3757.733 Set: 1819.893 Check: 0.0 Back: 128.205
INFO - Atoms: 301361/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 6171584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.151 Prop: 4083.587 PropClause: 3925.443 Set: 1868.83 Check: 0.0 Back: 135.026
INFO - Atoms: 301361/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 6483834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.3 Prop: 4269.239 PropClause: 4103.504 Set: 1920.013 Check: 0.0 Back: 141.941
INFO - Atoms: 312250/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 6796347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.403 Prop: 4461.213 PropClause: 4287.799 Set: 1971.299 Check: 0.0 Back: 149.034
INFO - Atoms: 312513/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 7098554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.457 Prop: 4634.503 PropClause: 4453.675 Set: 2020.297 Check: 0.0 Back: 156.226
INFO - Atoms: 302207/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 7401279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.524 Prop: 4809.808 PropClause: 4621.562 Set: 2069.764 Check: 0.0 Back: 163.214
INFO - Atoms: 302725/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 7702198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.572 Prop: 4979.524 PropClause: 4783.92 Set: 2118.584 Check: 0.0 Back: 170.201
INFO - Atoms: 300919/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 8003135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.624 Prop: 5149.631 PropClause: 4946.695 Set: 2167.309 Check: 0.0 Back: 177.092
INFO - Atoms: 300937/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 8302768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.675 Prop: 5311.616 PropClause: 5101.42 Set: 2214.965 Check: 0.0 Back: 183.944
INFO - Atoms: 299633/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 8595241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.741 Prop: 5498.037 PropClause: 5280.004 Set: 2267.691 Check: 0.0 Back: 190.683
INFO - Atoms: 292473/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 9043866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.754 Prop: 5876.095 PropClause: 5647.039 Set: 2349.764 Check: 0.0 Back: 197.838
INFO - Atoms: 448625/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 9430966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.768 Prop: 6264.195 PropClause: 6025.69 Set: 2416.173 Check: 0.0 Back: 208.09
INFO - Atoms: 387100/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 9822346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.781 Prop: 6562.128 PropClause: 6313.965 Set: 2484.146 Check: 0.0 Back: 216.881
INFO - Atoms: 391380/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 10231961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.793 Prop: 6881.493 PropClause: 6623.22 Set: 2558.203 Check: 0.0 Back: 225.88
INFO - Atoms: 409615/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 10636602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.839 Prop: 7210.918 PropClause: 6942.652 Set: 2874.192 Check: 0.0 Back: 235.278
INFO - Atoms: 404641/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 11040982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.86 Prop: 7527.484 PropClause: 7249.343 Set: 3135.137 Check: 0.0 Back: 244.535
INFO - Atoms: 404380/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 11447955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.867 Prop: 7844.856 PropClause: 7556.653 Set: 3383.282 Check: 0.0 Back: 253.744
INFO - Atoms: 406973/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 11854506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.876 Prop: 8170.274 PropClause: 7872.034 Set: 3456.228 Check: 0.0 Back: 263.011
INFO - Atoms: 406551/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 12265073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.922 Prop: 8503.403 PropClause: 8195.064 Set: 3529.402 Check: 0.0 Back: 272.251
INFO - Atoms: 410567/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 12678211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.998 Prop: 8824.027 PropClause: 8505.558 Set: 3602.18 Check: 0.0 Back: 281.607
INFO - Atoms: 413138/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 13091297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.007 Prop: 9169.441 PropClause: 8840.732 Set: 3678.453 Check: 0.0 Back: 290.965
INFO - Atoms: 413086/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 13507268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.015 Prop: 9527.137 PropClause: 9188.12 Set: 3754.42 Check: 0.0 Back: 300.659
INFO - Atoms: 415971/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 13926327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.024 Prop: 9895.895 PropClause: 9546.538 Set: 3833.402 Check: 0.0 Back: 310.616
INFO - Atoms: 419059/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 14344546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.034 Prop: 10246.595 PropClause: 9886.955 Set: 4137.0 Check: 0.0 Back: 320.245
INFO - Atoms: 418219/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 14759695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.042 Prop: 10593.584 PropClause: 10223.73 Set: 4211.769 Check: 0.0 Back: 329.797
INFO - Atoms: 415149/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 15182134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.05 Prop: 10945.213 PropClause: 10564.986 Set: 4288.377 Check: 0.0 Back: 339.299
INFO - Atoms: 422439/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 15604988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.059 Prop: 11311.307 PropClause: 10920.151 Set: 4369.316 Check: 0.0 Back: 348.906
INFO - Atoms: 422854/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 16029939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.067 Prop: 11676.309 PropClause: 11274.725 Set: 4447.2 Check: 0.0 Back: 358.546
INFO - Atoms: 424951/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 16432414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 12037.382 PropClause: 11625.963 Set: 4519.481 Check: 0.0 Back: 368.22
INFO - Atoms: 402475/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 16839399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.216 Prop: 12399.152 PropClause: 11977.668 Set: 4595.873 Check: 0.0 Back: 377.386
INFO - Atoms: 406985/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 17245830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.228 Prop: 12758.502 PropClause: 12326.971 Set: 4671.485 Check: 0.0 Back: 386.745
INFO - Atoms: 406431/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 17651323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.24 Prop: 13097.228 PropClause: 12655.711 Set: 4745.334 Check: 0.0 Back: 395.987
INFO - Atoms: 405493/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 18058870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.254 Prop: 13447.163 PropClause: 12995.587 Set: 4821.006 Check: 0.0 Back: 405.247
INFO - Atoms: 407547/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 18465948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.267 Prop: 13802.784 PropClause: 13341.226 Set: 4895.639 Check: 0.0 Back: 414.71
INFO - Atoms: 407078/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 18873706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.279 Prop: 14154.723 PropClause: 13683.13 Set: 5172.111 Check: 0.0 Back: 424.025
INFO - Atoms: 407758/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 19279148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.292 Prop: 14486.054 PropClause: 14004.447 Set: 5245.251 Check: 0.0 Back: 433.259
INFO - Atoms: 405442/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 19685289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.306 Prop: 14827.699 PropClause: 14336.148 Set: 5318.973 Check: 0.0 Back: 442.506
INFO - Atoms: 406141/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 20092001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.32 Prop: 15179.093 PropClause: 14677.539 Set: 5393.269 Check: 0.0 Back: 451.756
INFO - Atoms: 406712/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 20496054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 15515.674 PropClause: 15004.158 Set: 5466.468 Check: 0.0 Back: 461.245
INFO - Atoms: 404053/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 20902499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.382 Prop: 15859.705 PropClause: 15338.228 Set: 5729.373 Check: 0.0 Back: 470.398
INFO - Atoms: 406445/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 21308373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.443 Prop: 16213.655 PropClause: 15682.187 Set: 5804.244 Check: 0.0 Back: 479.606
INFO - Atoms: 405874/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 21713055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.456 Prop: 16556.21 PropClause: 16014.821 Set: 5877.479 Check: 0.0 Back: 488.867
INFO - Atoms: 404682/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 22120300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.468 Prop: 16893.37 PropClause: 16342.029 Set: 5951.183 Check: 0.0 Back: 498.128
INFO - Atoms: 407245/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 22527357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.483 Prop: 17245.046 PropClause: 16683.695 Set: 6025.716 Check: 0.0 Back: 507.361
INFO - Atoms: 407057/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 22933347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 17589.782 PropClause: 17018.17 Set: 6318.94 Check: 0.0 Back: 516.702
INFO - Atoms: 405990/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 23338532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.507 Prop: 17918.87 PropClause: 17337.303 Set: 6393.952 Check: 0.0 Back: 525.917
INFO - Atoms: 405185/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 23745786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.519 Prop: 18246.754 PropClause: 17655.213 Set: 6467.035 Check: 0.0 Back: 535.216
INFO - Atoms: 407254/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 24153610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.531 Prop: 18609.53 PropClause: 18007.991 Set: 6542.191 Check: 0.0 Back: 544.624
INFO - Atoms: 407824/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 24560362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.545 Prop: 18960.903 PropClause: 18349.06 Set: 6618.882 Check: 0.0 Back: 554.144
INFO - Atoms: 406752/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 24967432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.556 Prop: 19296.832 PropClause: 18674.991 Set: 6912.716 Check: 0.0 Back: 563.578
INFO - Atoms: 407070/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 25376064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.569 Prop: 19649.644 PropClause: 19017.769 Set: 6987.383 Check: 0.0 Back: 572.909
INFO - Atoms: 408632/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 25783874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.583 Prop: 20008.654 PropClause: 19366.752 Set: 7062.35 Check: 0.0 Back: 582.347
INFO - Atoms: 407810/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 26190619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 20343.84 PropClause: 19691.981 Set: 7136.011 Check: 0.0 Back: 591.638
INFO - Atoms: 406745/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 26596556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.607 Prop: 20678.436 PropClause: 20016.686 Set: 7209.126 Check: 0.0 Back: 600.83
INFO - Atoms: 405937/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 27004068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 21033.834 PropClause: 20362.034 Set: 7487.706 Check: 0.0 Back: 610.43
INFO - Atoms: 407512/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 27410763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.633 Prop: 21391.841 PropClause: 20710.061 Set: 7561.621 Check: 0.0 Back: 619.828
INFO - Atoms: 406695/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 27816893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.645 Prop: 21731.314 PropClause: 21039.547 Set: 7635.641 Check: 0.0 Back: 629.089
INFO - Atoms: 406130/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 28222830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.659 Prop: 22079.478 PropClause: 21377.781 Set: 7710.167 Check: 0.0 Back: 638.324
INFO - Atoms: 405937/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 28630330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.743 Prop: 22425.353 PropClause: 21713.548 Set: 7784.789 Check: 0.0 Back: 647.582
INFO - Atoms: 407500/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 29038143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.75 Prop: 22780.266 PropClause: 22058.421 Set: 8075.095 Check: 0.0 Back: 656.837
INFO - Atoms: 407813/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 29444886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 23116.973 PropClause: 22385.173 Set: 8148.345 Check: 0.0 Back: 666.11
INFO - Atoms: 406743/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 29850820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 23469.723 PropClause: 22727.929 Set: 8223.26 Check: 0.0 Back: 675.299
INFO - Atoms: 405934/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 30258328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.774 Prop: 23820.087 PropClause: 23068.283 Set: 8297.63 Check: 0.0 Back: 684.576
INFO - Atoms: 407508/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 30666147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.781 Prop: 24156.479 PropClause: 23394.701 Set: 8370.915 Check: 0.0 Back: 693.844
INFO - Atoms: 407819/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 31072898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.791 Prop: 24506.412 PropClause: 23734.464 Set: 8673.521 Check: 0.0 Back: 703.097
INFO - Atoms: 406751/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 31479717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.8 Prop: 24879.871 PropClause: 24097.921 Set: 8748.599 Check: 0.0 Back: 712.453
INFO - Atoms: 406819/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 31888348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.808 Prop: 25221.816 PropClause: 24429.821 Set: 8823.201 Check: 0.0 Back: 721.694
INFO - Atoms: 408631/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 32296157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.817 Prop: 25569.464 PropClause: 24767.459 Set: 8897.617 Check: 0.0 Back: 731.012
INFO - Atoms: 407809/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 32702901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.826 Prop: 25903.328 PropClause: 25091.339 Set: 8971.104 Check: 0.0 Back: 740.292
INFO - Atoms: 406744/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 33108837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.834 Prop: 26261.086 PropClause: 25438.726 Set: 9251.74 Check: 0.0 Back: 749.536
INFO - Atoms: 405936/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 33516347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.842 Prop: 26611.056 PropClause: 25778.48 Set: 9328.24 Check: 0.0 Back: 758.82
INFO - Atoms: 407510/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 33922788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.851 Prop: 26957.293 PropClause: 26114.699 Set: 9402.526 Check: 0.0 Back: 768.235
INFO - Atoms: 406441/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 34328664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.859 Prop: 27302.616 PropClause: 26449.961 Set: 9477.153 Check: 0.0 Back: 777.561
INFO - Atoms: 405876/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 34733605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.868 Prop: 27649.204 PropClause: 26786.605 Set: 9553.031 Check: 0.0 Back: 786.831
INFO - Atoms: 404941/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 35140847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.876 Prop: 27984.946 PropClause: 27112.303 Set: 9846.275 Check: 0.0 Back: 796.064
INFO - Atoms: 407242/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 35547660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.883 Prop: 28329.952 PropClause: 27447.309 Set: 9920.676 Check: 0.0 Back: 805.363
INFO - Atoms: 406813/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 35953399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.893 Prop: 28686.911 PropClause: 27794.174 Set: 9996.318 Check: 0.0 Back: 814.872
INFO - Atoms: 405739/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 36358333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.901 Prop: 29030.258 PropClause: 28127.333 Set: 10071.643 Check: 0.0 Back: 824.594
INFO - Atoms: 404934/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 36765583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.908 Prop: 29376.407 PropClause: 28463.471 Set: 10146.032 Check: 0.0 Back: 834.134
INFO - Atoms: 407250/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 37172652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.917 Prop: 29730.13 PropClause: 28807.074 Set: 10430.208 Check: 0.0 Back: 843.421
INFO - Atoms: 407069/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 37578651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.925 Prop: 30076.796 PropClause: 29143.761 Set: 10504.481 Check: 0.0 Back: 852.658
INFO - Atoms: 405999/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 37985222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.933 Prop: 30421.614 PropClause: 29478.611 Set: 10578.052 Check: 0.0 Back: 861.924
INFO - Atoms: 406571/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 38393102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.94 Prop: 30772.401 PropClause: 29819.313 Set: 10652.85 Check: 0.0 Back: 871.188
INFO - Atoms: 407880/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 38800161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.948 Prop: 31116.852 PropClause: 30153.759 Set: 10726.685 Check: 0.0 Back: 880.505
INFO - Atoms: 407059/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 39206153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.956 Prop: 31445.941 PropClause: 30472.829 Set: 11000.987 Check: 0.0 Back: 889.812
INFO - Atoms: 405992/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 39611341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.963 Prop: 31781.928 PropClause: 30798.866 Set: 11073.775 Check: 0.0 Back: 899.049
INFO - Atoms: 405188/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 40018596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.972 Prop: 32137.988 PropClause: 31144.843 Set: 11149.553 Check: 0.0 Back: 908.256
INFO - Atoms: 407255/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 40426421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.981 Prop: 32484.561 PropClause: 31481.402 Set: 11223.628 Check: 0.0 Back: 917.557
INFO - Atoms: 407825/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 40833178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.99 Prop: 32826.14 PropClause: 31812.99 Set: 11297.527 Check: 0.0 Back: 926.888
INFO - Atoms: 406757/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 41240256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.997 Prop: 33173.147 PropClause: 32149.944 Set: 11603.613 Check: 0.0 Back: 936.155
INFO - Atoms: 407078/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 41648898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.004 Prop: 33524.565 PropClause: 32491.259 Set: 11678.372 Check: 0.0 Back: 945.4
INFO - Atoms: 408642/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 42056811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.013 Prop: 33865.356 PropClause: 32821.831 Set: 11754.079 Check: 0.0 Back: 954.756
INFO - Atoms: 407913/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 42422251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.022 Prop: 34215.714 PropClause: 33163.163 Set: 11823.197 Check: 0.0 Back: 964.081
INFO - Atoms: 365440/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 42786104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.029 Prop: 34552.793 PropClause: 33491.129 Set: 11892.775 Check: 0.0 Back: 972.437
INFO - Atoms: 363853/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 43149892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.038 Prop: 34884.768 PropClause: 33814.152 Set: 11960.929 Check: 0.0 Back: 980.718
INFO - Atoms: 363788/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 43514518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 35210.513 PropClause: 34130.957 Set: 12028.564 Check: 0.0 Back: 989.02
INFO - Atoms: 364626/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 43879974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.053 Prop: 35546.299 PropClause: 34457.775 Set: 12097.068 Check: 0.0 Back: 997.287
INFO - Atoms: 365456/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 44243830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.062 Prop: 35874.494 PropClause: 34777.064 Set: 12165.916 Check: 0.0 Back: 1005.62
INFO - Atoms: 363856/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 44608501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.07 Prop: 36204.195 PropClause: 35097.772 Set: 12234.16 Check: 0.0 Back: 1013.893
INFO - Atoms: 364671/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 44974500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.078 Prop: 36532.627 PropClause: 35417.174 Set: 12302.327 Check: 0.0 Back: 1022.187
INFO - Atoms: 365999/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 45339934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.086 Prop: 36874.091 PropClause: 35749.623 Set: 12371.331 Check: 0.0 Back: 1030.558
INFO - Atoms: 365434/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 45703783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.095 Prop: 37204.508 PropClause: 36070.97 Set: 12440.458 Check: 0.0 Back: 1038.894
INFO - Atoms: 363849/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 46067565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.103 Prop: 37519.427 PropClause: 36376.922 Set: 12507.81 Check: 0.0 Back: 1047.195
INFO - Atoms: 363782/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 46432185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.112 Prop: 37838.814 PropClause: 36687.354 Set: 12575.14 Check: 0.0 Back: 1055.987
INFO - Atoms: 364620/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 46796482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.12 Prop: 38172.022 PropClause: 37011.535 Set: 12643.643 Check: 0.0 Back: 1064.323
INFO - Atoms: 364297/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 47159209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.129 Prop: 38501.674 PropClause: 37332.241 Set: 12712.776 Check: 0.0 Back: 1072.835
INFO - Atoms: 362727/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 47522984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 38810.788 PropClause: 37632.431 Set: 12779.249 Check: 0.0 Back: 1081.064
INFO - Atoms: 363775/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 47887595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.145 Prop: 39125.336 PropClause: 37938.013 Set: 12846.279 Check: 0.0 Back: 1089.365
INFO - Atoms: 364611/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 48253039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.153 Prop: 39466.502 PropClause: 38270.198 Set: 12914.603 Check: 0.0 Back: 1097.653
INFO - Atoms: 365444/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 48616889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.161 Prop: 39806.165 PropClause: 38600.873 Set: 12982.999 Check: 0.0 Back: 1106.022
INFO - Atoms: 363850/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 48980673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.169 Prop: 40115.346 PropClause: 38901.219 Set: 13048.964 Check: 0.0 Back: 1114.345
INFO - Atoms: 363784/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 49345293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.177 Prop: 40444.027 PropClause: 39220.921 Set: 13116.399 Check: 0.0 Back: 1122.577
INFO - Atoms: 364620/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 49709333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.187 Prop: 40776.347 PropClause: 39544.326 Set: 13185.918 Check: 0.0 Back: 1130.901
INFO - Atoms: 364040/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 50071296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.196 Prop: 41095.525 PropClause: 39854.496 Set: 13252.709 Check: 0.0 Back: 1139.301
INFO - Atoms: 361963/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 50434315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 41406.619 PropClause: 40156.626 Set: 13319.499 Check: 0.0 Back: 1147.57
INFO - Atoms: 363019/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 50798169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.212 Prop: 41738.637 PropClause: 40479.687 Set: 13387.324 Check: 0.0 Back: 1155.818
INFO - Atoms: 363854/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 51162203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.222 Prop: 42067.189 PropClause: 40799.333 Set: 13455.245 Check: 0.0 Back: 1164.135
INFO - Atoms: 364034/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 51524158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.23 Prop: 42400.457 PropClause: 41123.723 Set: 13523.341 Check: 0.0 Back: 1172.995
INFO - Atoms: 361955/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 51886310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.238 Prop: 42725.22 PropClause: 41439.589 Set: 13592.547 Check: 0.0 Back: 1181.224
INFO - Atoms: 362152/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 52249286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.246 Prop: 43052.297 PropClause: 41757.699 Set: 13660.169 Check: 0.0 Back: 1189.421
INFO - Atoms: 362976/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 52613337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.255 Prop: 43391.142 PropClause: 42087.542 Set: 13730.495 Check: 0.0 Back: 1197.657
INFO - Atoms: 364051/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 52975301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.263 Prop: 43702.787 PropClause: 42390.212 Set: 13797.45 Check: 0.0 Back: 1205.96
INFO - Atoms: 361964/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 53338320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 44024.234 PropClause: 42702.743 Set: 13864.558 Check: 0.0 Back: 1214.224
INFO - Atoms: 363019/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 53702175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.281 Prop: 44340.944 PropClause: 43010.353 Set: 13933.317 Check: 0.0 Back: 1222.489
INFO - Atoms: 363855/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 54066864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 44655.329 PropClause: 43315.752 Set: 14001.808 Check: 0.0 Back: 1230.996
INFO - Atoms: 364689/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 54429957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.297 Prop: 44976.971 PropClause: 43628.363 Set: 14069.874 Check: 0.0 Back: 1239.896
INFO - Atoms: 363093/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 54792989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.304 Prop: 45310.105 PropClause: 43952.524 Set: 14137.502 Check: 0.0 Back: 1248.173
INFO - Atoms: 363032/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 55156856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.312 Prop: 45619.255 PropClause: 44252.664 Set: 14204.628 Check: 0.0 Back: 1256.475
INFO - Atoms: 363867/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 55520649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.323 Prop: 45959.1 PropClause: 44583.283 Set: 14509.365 Check: 0.0 Back: 1264.833
INFO - Atoms: 363793/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 55881864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.331 Prop: 46291.554 PropClause: 44906.749 Set: 14577.116 Check: 0.0 Back: 1273.295
INFO - Atoms: 361215/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 56244141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.339 Prop: 46620.016 PropClause: 45226.16 Set: 14644.801 Check: 0.0 Back: 1281.603
INFO - Atoms: 362277/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 56607241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.346 Prop: 46937.493 PropClause: 45534.695 Set: 14711.53 Check: 0.0 Back: 1289.989
INFO - Atoms: 363100/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 56971025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.354 Prop: 47286.755 PropClause: 45874.839 Set: 14781.153 Check: 0.0 Back: 1298.391
INFO - Atoms: 363784/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 57331980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.366 Prop: 47619.09 PropClause: 46198.247 Set: 14849.868 Check: 0.0 Back: 1306.796
INFO - Atoms: 360955/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 57693885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 47941.4 PropClause: 46511.553 Set: 14917.699 Check: 0.0 Back: 1315.102
INFO - Atoms: 361905/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 58056604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 48271.79 PropClause: 46832.925 Set: 14985.982 Check: 0.0 Back: 1323.454
INFO - Atoms: 362719/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 58419766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 48623.253 PropClause: 47175.292 Set: 15212.207 Check: 0.0 Back: 1331.747
INFO - Atoms: 363162/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 58780857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.4 Prop: 48955.292 PropClause: 47498.407 Set: 15279.37 Check: 0.0 Back: 1340.084
INFO - Atoms: 361091/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 59142751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.409 Prop: 49266.235 PropClause: 47800.444 Set: 15345.473 Check: 0.0 Back: 1348.437
INFO - Atoms: 361894/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 59505462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 49595.216 PropClause: 48120.387 Set: 15589.807 Check: 0.0 Back: 1356.693
INFO - Atoms: 362711/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 59869252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.424 Prop: 49931.957 PropClause: 48448.047 Set: 15658.733 Check: 0.0 Back: 1365.092
INFO - Atoms: 363790/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 60230456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 50256.463 PropClause: 48763.538 Set: 15726.292 Check: 0.0 Back: 1373.883
INFO - Atoms: 361204/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 60592360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 50595.291 PropClause: 49093.365 Set: 15795.114 Check: 0.0 Back: 1382.185
INFO - Atoms: 361904/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 60955078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.447 Prop: 50922.443 PropClause: 49411.547 Set: 15862.415 Check: 0.0 Back: 1390.512
INFO - Atoms: 362718/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 61319372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.457 Prop: 51256.957 PropClause: 49736.936 Set: 15932.872 Check: 0.0 Back: 1398.892
INFO - Atoms: 364294/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 61681842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 51562.799 PropClause: 50033.837 Set: 15999.191 Check: 0.0 Back: 1407.362
INFO - Atoms: 362470/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 62045363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 51883.762 PropClause: 50345.767 Set: 16253.879 Check: 0.0 Back: 1415.619
INFO - Atoms: 363521/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 62409720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 52207.868 PropClause: 50660.806 Set: 16321.924 Check: 0.0 Back: 1423.882
INFO - Atoms: 364357/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 62774007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.489 Prop: 52526.495 PropClause: 50970.415 Set: 16598.115 Check: 0.0 Back: 1432.378
INFO - Atoms: 364287/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 63136469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.497 Prop: 52846.296 PropClause: 51281.06 Set: 16665.353 Check: 0.0 Back: 1440.668
INFO - Atoms: 362462/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 63498872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.505 Prop: 53167.459 PropClause: 51593.211 Set: 16732.873 Check: 0.0 Back: 1449.055
INFO - Atoms: 362403/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 63862101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.513 Prop: 53490.903 PropClause: 51907.675 Set: 16800.18 Check: 0.0 Back: 1457.375
INFO - Atoms: 363229/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 64226407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.522 Prop: 53800.099 PropClause: 52207.758 Set: 16868.053 Check: 0.0 Back: 1465.703
INFO - Atoms: 364306/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 64588878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.53 Prop: 54103.796 PropClause: 52502.527 Set: 16934.376 Check: 0.0 Back: 1474.1
INFO - Atoms: 362471/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 64952400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.538 Prop: 54419.492 PropClause: 52809.201 Set: 17001.779 Check: 0.0 Back: 1482.355
INFO - Atoms: 363522/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 65316758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.545 Prop: 54733.808 PropClause: 53114.458 Set: 17070.483 Check: 0.0 Back: 1490.651
INFO - Atoms: 364358/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 65681950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.552 Prop: 55038.236 PropClause: 53409.893 Set: 17137.286 Check: 0.0 Back: 1499.016
INFO - Atoms: 365192/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 66045046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.562 Prop: 55358.5 PropClause: 53721.072 Set: 17204.805 Check: 0.0 Back: 1507.33
INFO - Atoms: 363096/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 66408581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.569 Prop: 55664.007 PropClause: 54017.558 Set: 17271.424 Check: 0.0 Back: 1515.734
INFO - Atoms: 363535/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 66772951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.576 Prop: 55977.228 PropClause: 54321.789 Set: 17338.54 Check: 0.0 Back: 1524.059
INFO - Atoms: 364370/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 67137250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 56276.504 PropClause: 54612.004 Set: 17405.19 Check: 0.0 Back: 1532.38
INFO - Atoms: 364299/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 67499726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.593 Prop: 56587.834 PropClause: 54914.379 Set: 17471.966 Check: 0.0 Back: 1540.734
INFO - Atoms: 362476/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 67863254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.603 Prop: 56903.236 PropClause: 55220.748 Set: 17539.285 Check: 0.0 Back: 1548.999
INFO - Atoms: 363528/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 68227618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.61 Prop: 57210.953 PropClause: 55519.423 Set: 17606.359 Check: 0.0 Back: 1557.318
INFO - Atoms: 364364/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 68591915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.618 Prop: 57506.792 PropClause: 55806.263 Set: 17672.333 Check: 0.0 Back: 1565.67
INFO - Atoms: 364297/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 68954386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.625 Prop: 57824.673 PropClause: 56115.134 Set: 17739.444 Check: 0.0 Back: 1573.98
INFO - Atoms: 362471/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 69316799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.633 Prop: 58137.676 PropClause: 56419.131 Set: 17806.579 Check: 0.0 Back: 1582.345
INFO - Atoms: 362413/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 69680038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.641 Prop: 58442.654 PropClause: 56715.164 Set: 17872.088 Check: 0.0 Back: 1590.66
INFO - Atoms: 363239/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 70044347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.649 Prop: 58758.553 PropClause: 57021.994 Set: 17939.686 Check: 0.0 Back: 1598.928
INFO - Atoms: 364309/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 70407086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.656 Prop: 59062.639 PropClause: 57317.119 Set: 18005.482 Check: 0.0 Back: 1607.297
INFO - Atoms: 362739/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 70770871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 59372.787 PropClause: 57618.201 Set: 18072.059 Check: 0.0 Back: 1615.576
INFO - Atoms: 363785/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 71135492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 59681.68 PropClause: 57918.034 Set: 18138.359 Check: 0.0 Back: 1623.904
INFO - Atoms: 364621/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 71500931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.679 Prop: 59979.397 PropClause: 58206.74 Set: 18204.966 Check: 0.0 Back: 1632.244
INFO - Atoms: 365439/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 71864788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.687 Prop: 60297.496 PropClause: 58515.752 Set: 18272.819 Check: 0.0 Back: 1640.613
INFO - Atoms: 363857/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 72228579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 60615.756 PropClause: 58824.941 Set: 18340.18 Check: 0.0 Back: 1649.021
INFO - Atoms: 363791/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 72593204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.704 Prop: 60912.364 PropClause: 59112.565 Set: 18406.517 Check: 0.0 Back: 1657.354
INFO - Atoms: 364625/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 72957502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 61226.785 PropClause: 59417.932 Set: 18474.137 Check: 0.0 Back: 1665.652
INFO - Atoms: 364298/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 73320231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 61531.86 PropClause: 59714.106 Set: 18540.137 Check: 0.0 Back: 1674.04
INFO - Atoms: 362729/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 73684005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 61843.283 PropClause: 60016.523 Set: 18606.934 Check: 0.0 Back: 1682.313
INFO - Atoms: 363774/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 74048616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.736 Prop: 62150.682 PropClause: 60314.798 Set: 18673.213 Check: 0.0 Back: 1690.663
INFO - Atoms: 364611/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 74412912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.745 Prop: 62459.581 PropClause: 60614.714 Set: 18739.466 Check: 0.0 Back: 1699.027
INFO - Atoms: 364296/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 74775636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.754 Prop: 62778.06 PropClause: 60924.173 Set: 18806.394 Check: 0.0 Back: 1707.353
INFO - Atoms: 362724/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 75138048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 63080.464 PropClause: 61217.546 Set: 18874.955 Check: 0.0 Back: 1715.759
INFO - Atoms: 362412/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 75501287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.77 Prop: 63374.475 PropClause: 61502.644 Set: 18939.839 Check: 0.0 Back: 1724.067
INFO - Atoms: 363239/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 75864461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.778 Prop: 63694.587 PropClause: 61813.677 Set: 19007.913 Check: 0.0 Back: 1732.324
INFO - Atoms: 363174/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 76226064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 64005.778 PropClause: 62115.947 Set: 19073.826 Check: 0.0 Back: 1740.688
INFO - Atoms: 361603/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 76588463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.794 Prop: 64320.955 PropClause: 62422.131 Set: 19141.267 Check: 0.0 Back: 1748.899
INFO - Atoms: 362399/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 76951692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 64614.104 PropClause: 62706.274 Set: 19208.617 Check: 0.0 Back: 1757.123
INFO - Atoms: 363229/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 77315984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 64926.222 PropClause: 63009.432 Set: 19275.388 Check: 0.0 Back: 1765.463
INFO - Atoms: 364292/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 77678455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.819 Prop: 65245.193 PropClause: 63319.381 Set: 19342.406 Check: 0.0 Back: 1773.756
INFO - Atoms: 362471/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 78040860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.826 Prop: 65533.511 PropClause: 63598.722 Set: 19408.04 Check: 0.0 Back: 1782.109
INFO - Atoms: 362405/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 78404093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.833 Prop: 65836.587 PropClause: 63892.837 Set: 19473.89 Check: 0.0 Back: 1790.463
INFO - Atoms: 363233/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 78767265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 66158.137 PropClause: 64205.343 Set: 19542.069 Check: 0.0 Back: 1798.72
INFO - Atoms: 363172/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 79128866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.849 Prop: 66465.974 PropClause: 64504.28 Set: 19608.343 Check: 0.0 Back: 1807.096
INFO - Atoms: 361601/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 79491263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 66760.745 PropClause: 64790.089 Set: 19674.295 Check: 0.0 Back: 1815.337
INFO - Atoms: 362397/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 79854490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.865 Prop: 67060.525 PropClause: 65080.874 Set: 19740.196 Check: 0.0 Back: 1823.57
INFO - Atoms: 363227/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 80217659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 67364.312 PropClause: 65375.715 Set: 19807.12 Check: 0.0 Back: 1831.877
INFO - Atoms: 363169/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 80579254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 67685.646 PropClause: 65688.028 Set: 19874.094 Check: 0.0 Back: 1840.13
INFO - Atoms: 361595/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 80941054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 67988.641 PropClause: 65981.926 Set: 19942.994 Check: 0.0 Back: 1848.499
INFO - Atoms: 361800/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 81303421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.896 Prop: 68300.927 PropClause: 66285.278 Set: 20009.31 Check: 0.0 Back: 1856.869
INFO - Atoms: 362367/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 81666600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 68615.604 PropClause: 66590.955 Set: 20076.353 Check: 0.0 Back: 1865.098
INFO - Atoms: 363179/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 82028209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.915 Prop: 68927.025 PropClause: 66893.473 Set: 20142.742 Check: 0.0 Back: 1873.439
INFO - Atoms: 361609/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 82390615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 69233.029 PropClause: 67190.488 Set: 20209.433 Check: 0.0 Back: 1881.642
INFO - Atoms: 362406/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 82753846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.931 Prop: 69536.794 PropClause: 67485.253 Set: 20276.841 Check: 0.0 Back: 1889.846
INFO - Atoms: 363231/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 83118141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 69845.006 PropClause: 67784.494 Set: 20343.343 Check: 0.0 Back: 1898.175
INFO - Atoms: 364295/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 83480863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.946 Prop: 70158.413 PropClause: 68088.871 Set: 20410.743 Check: 0.0 Back: 1906.44
INFO - Atoms: 362722/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 83843273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.954 Prop: 70450.7 PropClause: 68372.185 Set: 20476.282 Check: 0.0 Back: 1914.793
INFO - Atoms: 362410/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 84206510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.961 Prop: 70766.045 PropClause: 68678.579 Set: 20542.555 Check: 0.0 Back: 1923.127
INFO - Atoms: 363237/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 84570811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 71082.169 PropClause: 68985.628 Set: 20610.748 Check: 0.0 Back: 1931.407
INFO - Atoms: 364301/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 84933542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 71392.419 PropClause: 69286.942 Set: 20676.1 Check: 0.0 Back: 1939.788
INFO - Atoms: 362731/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 85297317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.985 Prop: 71690.946 PropClause: 69576.457 Set: 20742.293 Check: 0.0 Back: 1948.035
INFO - Atoms: 363775/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 85661932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.993 Prop: 71996.775 PropClause: 69873.245 Set: 20810.506 Check: 0.0 Back: 1956.273
INFO - Atoms: 364615/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 86026232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.001 Prop: 72311.827 PropClause: 70179.344 Set: 20877.664 Check: 0.0 Back: 1964.625
INFO - Atoms: 364300/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 86388958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.009 Prop: 72609.562 PropClause: 70468.056 Set: 20945.83 Check: 0.0 Back: 1972.919
INFO - Atoms: 362726/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 86751372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.018 Prop: 72909.184 PropClause: 70758.729 Set: 21012.102 Check: 0.0 Back: 1981.269
INFO - Atoms: 362414/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 87114615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.026 Prop: 73216.257 PropClause: 71056.854 Set: 21079.975 Check: 0.0 Back: 1989.576
INFO - Atoms: 363243/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 87477791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 73527.807 PropClause: 71359.255 Set: 21148.29 Check: 0.0 Back: 1997.849
INFO - Atoms: 363176/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 87839396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.041 Prop: 73829.006 PropClause: 71651.552 Set: 21213.878 Check: 0.0 Back: 2006.594
INFO - Atoms: 361605/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 88201797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.049 Prop: 74113.686 PropClause: 71927.383 Set: 21278.099 Check: 0.0 Back: 2014.739
INFO - Atoms: 362401/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 88565028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.056 Prop: 74416.474 PropClause: 72221.277 Set: 21343.728 Check: 0.0 Back: 2022.905
INFO - Atoms: 363231/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 88929322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 74723.305 PropClause: 72519.06 Set: 21411.126 Check: 0.0 Back: 2031.087
INFO - Atoms: 364294/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 89291794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 75021.55 PropClause: 72808.427 Set: 21476.121 Check: 0.0 Back: 2039.353
INFO - Atoms: 362472/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 89654201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.08 Prop: 75314.121 PropClause: 73092.161 Set: 21540.798 Check: 0.0 Back: 2047.53
INFO - Atoms: 362407/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 90017436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.088 Prop: 75616.131 PropClause: 73385.284 Set: 21606.967 Check: 0.0 Back: 2055.708
INFO - Atoms: 363235/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 90380604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.094 Prop: 75922.239 PropClause: 73682.452 Set: 21674.526 Check: 0.0 Back: 2063.933
INFO - Atoms: 363168/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 90741703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.102 Prop: 76221.989 PropClause: 73973.19 Set: 21741.16 Check: 0.0 Back: 2072.26
INFO - Atoms: 361099/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 91103598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.11 Prop: 76528.262 PropClause: 74270.579 Set: 21807.196 Check: 0.0 Back: 2080.484
INFO - Atoms: 361895/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 91466322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.118 Prop: 76822.459 PropClause: 74555.928 Set: 21874.078 Check: 0.0 Back: 2088.776
INFO - Atoms: 362724/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 91830112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 77120.549 PropClause: 74845.138 Set: 21939.674 Check: 0.0 Back: 2096.956
INFO - Atoms: 363790/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 92191332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 77406.582 PropClause: 75122.374 Set: 22004.005 Check: 0.0 Back: 2105.139
INFO - Atoms: 361220/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 92553242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.139 Prop: 77699.322 PropClause: 75406.285 Set: 22070.263 Check: 0.0 Back: 2113.255
INFO - Atoms: 361910/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 92915972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.147 Prop: 78009.057 PropClause: 75707.119 Set: 22136.665 Check: 0.0 Back: 2121.39
INFO - Atoms: 362730/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 93279142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.155 Prop: 78301.074 PropClause: 75990.282 Set: 22202.214 Check: 0.0 Back: 2129.568
INFO - Atoms: 363170/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 93640240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 78595.847 PropClause: 76276.224 Set: 22266.721 Check: 0.0 Back: 2137.744
INFO - Atoms: 361098/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 94002140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.171 Prop: 78895.263 PropClause: 76566.791 Set: 22331.923 Check: 0.0 Back: 2145.917
INFO - Atoms: 361900/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 94364864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.178 Prop: 79194.26 PropClause: 76856.925 Set: 22397.075 Check: 0.0 Back: 2154.093
INFO - Atoms: 362724/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 94728029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.186 Prop: 79496.012 PropClause: 77149.776 Set: 22462.883 Check: 0.0 Back: 2162.321
INFO - Atoms: 363165/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 95089119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.194 Prop: 79791.979 PropClause: 77436.833 Set: 22528.227 Check: 0.0 Back: 2170.521
INFO - Atoms: 361090/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 95450922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 80083.616 PropClause: 77719.683 Set: 22593.501 Check: 0.0 Back: 2178.651
INFO - Atoms: 361803/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 95813280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.21 Prop: 80382.075 PropClause: 78009.317 Set: 22659.23 Check: 0.0 Back: 2186.843
INFO - Atoms: 362358/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 96176456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 80689.074 PropClause: 78307.465 Set: 22725.679 Check: 0.0 Back: 2195.079
INFO - Atoms: 363176/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 96537810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.226 Prop: 80983.738 PropClause: 78593.294 Set: 22790.508 Check: 0.0 Back: 2203.33
INFO - Atoms: 361354/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 96899958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 81293.868 PropClause: 78894.536 Set: 22856.967 Check: 0.0 Back: 2211.492
INFO - Atoms: 362148/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 97262938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.242 Prop: 81604.872 PropClause: 79196.659 Set: 22924.77 Check: 0.0 Back: 2219.733
INFO - Atoms: 362980/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 97626982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.249 Prop: 81914.89 PropClause: 79497.696 Set: 22990.902 Check: 0.0 Back: 2228.065
INFO - Atoms: 364044/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 97988953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.259 Prop: 82213.292 PropClause: 79787.207 Set: 23057.311 Check: 0.0 Back: 2236.31
INFO - Atoms: 361971/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 98351110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.267 Prop: 82529.149 PropClause: 80094.194 Set: 23123.936 Check: 0.0 Back: 2244.52
INFO - Atoms: 362157/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 98714096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.274 Prop: 82834.517 PropClause: 80390.686 Set: 23190.024 Check: 0.0 Back: 2252.735
INFO - Atoms: 362986/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 99078142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.282 Prop: 83133.06 PropClause: 80680.288 Set: 23256.451 Check: 0.0 Back: 2261.019
INFO - Atoms: 364046/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 99440118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.29 Prop: 83441.452 PropClause: 80979.811 Set: 23322.45 Check: 0.0 Back: 2269.306
INFO - Atoms: 361976/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 99803139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.298 Prop: 83750.553 PropClause: 81279.938 Set: 23390.812 Check: 0.0 Back: 2277.582
INFO - Atoms: 363021/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 100167000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.306 Prop: 84059.053 PropClause: 81579.527 Set: 23457.444 Check: 0.0 Back: 2285.842
INFO - Atoms: 363861/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 100531041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.315 Prop: 84361.98 PropClause: 81873.547 Set: 23523.717 Check: 0.0 Back: 2294.094
INFO - Atoms: 364041/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 100893009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.323 Prop: 84659.222 PropClause: 82161.947 Set: 23588.863 Check: 0.0 Back: 2302.37
INFO - Atoms: 361968/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 101255167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.332 Prop: 84958.023 PropClause: 82451.875 Set: 23654.601 Check: 0.0 Back: 2310.545
INFO - Atoms: 362158/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 101618151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.34 Prop: 85265.967 PropClause: 82750.874 Set: 23720.745 Check: 0.0 Back: 2318.748
INFO - Atoms: 362984/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 101981320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 85565.125 PropClause: 83041.148 Set: 23785.541 Check: 0.0 Back: 2326.996
INFO - Atoms: 363169/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 102342668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 85873.171 PropClause: 83340.349 Set: 23850.999 Check: 0.0 Back: 2335.194
INFO - Atoms: 361348/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 102704812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.363 Prop: 86176.265 PropClause: 83634.596 Set: 23916.983 Check: 0.0 Back: 2343.347
INFO - Atoms: 362144/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 103067786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.371 Prop: 86469.607 PropClause: 83919.043 Set: 23981.845 Check: 0.0 Back: 2351.516
INFO - Atoms: 362974/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 103431827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.379 Prop: 86770.422 PropClause: 84210.988 Set: 24048.273 Check: 0.0 Back: 2359.749
INFO - Atoms: 364041/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 43953 Tprops: 132149 Decides: 134973 RSplits: 0
INFO - Times: Expl: 293.837 Prop: 556691.292 PropClause: 58.465 Set: 218046.482 Check: 174.141 Back: 306.307
INFO - Atoms: 5/2053 Clauses: 500 Axioms: 1540
INFO - CCTimes: iE 2862082 eq 108693769 cc 91138156 setRep 40031656
INFO - Merges: 235342, cc:262164
INFO - BVTimes: BB 8208111914 BB_DPLL 521457924754 Graph 3502798
INFO - BitBlastingClauses: 5152906 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 103793328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.386 Prop: 87084.799 PropClause: 84516.544 Set: 24113.391 Check: 0.0 Back: 2368.004
INFO - Atoms: 361501/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 104155014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.395 Prop: 87397.5 PropClause: 84820.407 Set: 24180.499 Check: 0.0 Back: 2376.173
INFO - Atoms: 361686/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 104517528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.403 Prop: 87688.677 PropClause: 85102.762 Set: 24245.489 Check: 0.0 Back: 2384.352
INFO - Atoms: 362514/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 104880233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 87983.108 PropClause: 85388.243 Set: 24311.204 Check: 0.0 Back: 2392.526
INFO - Atoms: 362705/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 105241117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 88293.341 PropClause: 85689.607 Set: 24533.806 Check: 0.0 Back: 2400.775
INFO - Atoms: 360884/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 105602797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.426 Prop: 88578.757 PropClause: 85966.151 Set: 24598.616 Check: 0.0 Back: 2408.996
INFO - Atoms: 361680/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 105965307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.434 Prop: 88868.412 PropClause: 86246.867 Set: 24664.065 Check: 0.0 Back: 2417.214
INFO - Atoms: 362510/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 106328007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 89167.484 PropClause: 86537.118 Set: 24729.63 Check: 0.0 Back: 2425.402
INFO - Atoms: 362700/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 106688883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.449 Prop: 89466.09 PropClause: 86826.929 Set: 24794.4 Check: 0.0 Back: 2433.557
INFO - Atoms: 360876/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 107050216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.457 Prop: 89757.456 PropClause: 87109.484 Set: 24859.188 Check: 0.0 Back: 2441.785
INFO - Atoms: 361333/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 107412115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.465 Prop: 90058.041 PropClause: 87401.18 Set: 24924.469 Check: 0.0 Back: 2449.925
INFO - Atoms: 361899/918536 Clauses: 2053 Axioms: 4576294
INFO - Formula is unsat
INFO - Bitblasting DPLL finished