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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 183029049
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 76830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.606 Prop: 99.301 PropClause: 95.997 Set: 36.852 Check: 0.0 Back: 0.0
INFO - Atoms: 76830/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 153660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.642 Prop: 195.362 PropClause: 189.277 Set: 98.875 Check: 0.0 Back: 1.772
INFO - Atoms: 76830/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 230046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.692 Prop: 292.387 PropClause: 283.522 Set: 112.749 Check: 0.0 Back: 3.534
INFO - Atoms: 76386/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 306099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.784 Prop: 381.628 PropClause: 370.498 Set: 135.616 Check: 0.0 Back: 5.288
INFO - Atoms: 76053/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 382152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.899 Prop: 467.088 PropClause: 454.029 Set: 150.145 Check: 0.0 Back: 7.269
INFO - Atoms: 76053/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 458201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.943 Prop: 552.865 PropClause: 537.89 Set: 165.079 Check: 0.0 Back: 9.009
INFO - Atoms: 76049/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 534248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.987 Prop: 633.098 PropClause: 616.228 Set: 179.544 Check: 0.0 Back: 10.772
INFO - Atoms: 76047/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 610072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.033 Prop: 717.019 PropClause: 698.242 Set: 194.153 Check: 0.0 Back: 12.52
INFO - Atoms: 75824/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 685670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.081 Prop: 800.593 PropClause: 779.931 Set: 216.691 Check: 0.0 Back: 14.251
INFO - Atoms: 75598/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 761057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.125 Prop: 886.18 PropClause: 863.621 Set: 239.262 Check: 0.0 Back: 16.013
INFO - Atoms: 75387/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 836201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.166 Prop: 972.573 PropClause: 948.133 Set: 253.581 Check: 0.0 Back: 17.753
INFO - Atoms: 75144/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 911133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.209 Prop: 1053.168 PropClause: 1026.853 Set: 267.936 Check: 0.0 Back: 19.481
INFO - Atoms: 74932/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 985823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.247 Prop: 1132.881 PropClause: 1104.706 Set: 282.074 Check: 0.0 Back: 21.224
INFO - Atoms: 74690/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1060285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.283 Prop: 1212.487 PropClause: 1182.442 Set: 296.183 Check: 0.0 Back: 22.943
INFO - Atoms: 74462/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1134521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.329 Prop: 1294.984 PropClause: 1263.081 Set: 311.048 Check: 0.0 Back: 24.673
INFO - Atoms: 74236/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1208545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.371 Prop: 1383.073 PropClause: 1349.3 Set: 325.343 Check: 0.0 Back: 26.384
INFO - Atoms: 74024/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1282327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.415 Prop: 1468.32 PropClause: 1432.702 Set: 339.374 Check: 0.0 Back: 28.102
INFO - Atoms: 73782/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1355881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.453 Prop: 1553.704 PropClause: 1516.235 Set: 361.159 Check: 0.0 Back: 29.823
INFO - Atoms: 73554/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1429209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.498 Prop: 1637.291 PropClause: 1597.986 Set: 383.007 Check: 0.0 Back: 31.51
INFO - Atoms: 73328/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1502309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 1721.242 PropClause: 1680.116 Set: 404.784 Check: 0.0 Back: 33.203
INFO - Atoms: 73100/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1575183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.583 Prop: 1807.406 PropClause: 1764.45 Set: 426.813 Check: 0.0 Back: 34.886
INFO - Atoms: 72874/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1647846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.633 Prop: 1893.52 PropClause: 1848.741 Set: 440.779 Check: 0.0 Back: 36.57
INFO - Atoms: 72663/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1720266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.673 Prop: 1978.619 PropClause: 1932.006 Set: 454.552 Check: 0.0 Back: 38.264
INFO - Atoms: 72420/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1792474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.716 Prop: 2063.861 PropClause: 2015.444 Set: 468.27 Check: 0.0 Back: 39.943
INFO - Atoms: 72208/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1864440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.764 Prop: 2149.155 PropClause: 2098.911 Set: 482.025 Check: 0.0 Back: 41.612
INFO - Atoms: 71966/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1936178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.807 Prop: 2228.549 PropClause: 2176.508 Set: 495.597 Check: 0.0 Back: 43.31
INFO - Atoms: 71738/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2007690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.849 Prop: 2308.73 PropClause: 2254.898 Set: 509.233 Check: 0.0 Back: 44.971
INFO - Atoms: 71512/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2078974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.888 Prop: 2386.931 PropClause: 2331.319 Set: 522.627 Check: 0.0 Back: 46.627
INFO - Atoms: 71284/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2150032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.929 Prop: 2467.662 PropClause: 2410.268 Set: 536.026 Check: 0.0 Back: 48.278
INFO - Atoms: 71058/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2220862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.968 Prop: 2546.823 PropClause: 2487.658 Set: 549.459 Check: 0.0 Back: 49.924
INFO - Atoms: 70830/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2291466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.006 Prop: 2628.154 PropClause: 2567.222 Set: 562.672 Check: 0.0 Back: 51.573
INFO - Atoms: 70604/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2361842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 2709.595 PropClause: 2646.906 Set: 575.841 Check: 0.0 Back: 53.21
INFO - Atoms: 70376/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2431992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.113 Prop: 2786.19 PropClause: 2721.748 Set: 588.896 Check: 0.0 Back: 54.85
INFO - Atoms: 70150/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2501914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.155 Prop: 2863.86 PropClause: 2797.67 Set: 601.966 Check: 0.0 Back: 56.467
INFO - Atoms: 69922/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2571610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.198 Prop: 2938.106 PropClause: 2870.185 Set: 614.98 Check: 0.0 Back: 58.101
INFO - Atoms: 69696/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2641078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.239 Prop: 3013.38 PropClause: 2943.716 Set: 627.903 Check: 0.0 Back: 59.742
INFO - Atoms: 69468/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2710320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.278 Prop: 3088.963 PropClause: 3017.562 Set: 640.618 Check: 0.0 Back: 61.39
INFO - Atoms: 69242/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2779351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.318 Prop: 3168.254 PropClause: 3095.127 Set: 659.762 Check: 0.0 Back: 63.023
INFO - Atoms: 69031/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2848139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.362 Prop: 3242.497 PropClause: 3167.645 Set: 693.709 Check: 0.0 Back: 64.644
INFO - Atoms: 68788/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2916715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.41 Prop: 3317.24 PropClause: 3240.671 Set: 706.522 Check: 0.0 Back: 66.227
INFO - Atoms: 68576/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2985049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.45 Prop: 3393.001 PropClause: 3314.727 Set: 719.394 Check: 0.0 Back: 67.832
INFO - Atoms: 68334/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3053155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.506 Prop: 3465.731 PropClause: 3385.751 Set: 732.241 Check: 0.0 Back: 69.42
INFO - Atoms: 68106/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3121035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.553 Prop: 3540.244 PropClause: 3458.569 Set: 744.909 Check: 0.0 Back: 71.002
INFO - Atoms: 67880/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3188687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 3613.269 PropClause: 3529.896 Set: 757.464 Check: 0.0 Back: 72.601
INFO - Atoms: 67652/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3256113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.635 Prop: 3688.859 PropClause: 3603.799 Set: 769.899 Check: 0.0 Back: 74.191
INFO - Atoms: 67426/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3323327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.676 Prop: 3764.516 PropClause: 3677.773 Set: 782.481 Check: 0.0 Back: 75.771
INFO - Atoms: 67214/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3390299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.713 Prop: 3840.48 PropClause: 3752.066 Set: 794.905 Check: 0.0 Back: 77.348
INFO - Atoms: 66972/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3457058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 3914.134 PropClause: 3824.049 Set: 807.266 Check: 0.0 Back: 78.9
INFO - Atoms: 66759/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3523576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.794 Prop: 3984.098 PropClause: 3892.345 Set: 819.61 Check: 0.0 Back: 80.466
INFO - Atoms: 66518/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3589881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.836 Prop: 4054.584 PropClause: 3961.162 Set: 831.929 Check: 0.0 Back: 82.026
INFO - Atoms: 66305/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3655945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.978 Prop: 4125.652 PropClause: 4030.573 Set: 844.273 Check: 0.0 Back: 83.584
INFO - Atoms: 66064/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3721796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.998 Prop: 4199.096 PropClause: 4102.362 Set: 856.632 Check: 0.0 Back: 85.138
INFO - Atoms: 65851/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3787406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.017 Prop: 4275.316 PropClause: 4176.946 Set: 868.881 Check: 0.0 Back: 86.694
INFO - Atoms: 65610/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3852804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.036 Prop: 4352.379 PropClause: 4252.361 Set: 881.084 Check: 0.0 Back: 88.249
INFO - Atoms: 65398/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3917960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.053 Prop: 4425.545 PropClause: 4323.89 Set: 893.114 Check: 0.0 Back: 89.796
INFO - Atoms: 65156/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3982903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.072 Prop: 4499.997 PropClause: 4396.713 Set: 905.305 Check: 0.0 Back: 91.334
INFO - Atoms: 64943/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 4047605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.089 Prop: 4572.559 PropClause: 4467.653 Set: 917.36 Check: 0.0 Back: 92.868
INFO - Atoms: 64702/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 4112095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.108 Prop: 4642.592 PropClause: 4536.06 Set: 929.477 Check: 0.0 Back: 94.404
INFO - Atoms: 64490/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4176343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.127 Prop: 4710.132 PropClause: 4602.011 Set: 941.196 Check: 0.0 Back: 95.931
INFO - Atoms: 64248/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4240379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.154 Prop: 4780.202 PropClause: 4670.475 Set: 966.9 Check: 0.0 Back: 97.45
INFO - Atoms: 64036/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4304173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.175 Prop: 4849.842 PropClause: 4738.515 Set: 978.84 Check: 0.0 Back: 98.976
INFO - Atoms: 63794/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 4367755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.195 Prop: 4920.812 PropClause: 4807.889 Set: 990.799 Check: 0.0 Back: 100.509
INFO - Atoms: 63582/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4431095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.214 Prop: 4989.219 PropClause: 4874.704 Set: 1002.573 Check: 0.0 Back: 102.0
INFO - Atoms: 63340/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4494223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.239 Prop: 5057.877 PropClause: 4941.778 Set: 1014.342 Check: 0.0 Back: 103.511
INFO - Atoms: 63128/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4557109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.259 Prop: 5127.264 PropClause: 5009.579 Set: 1025.833 Check: 0.0 Back: 105.003
INFO - Atoms: 62886/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4619783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.278 Prop: 5195.592 PropClause: 5076.341 Set: 1037.444 Check: 0.0 Back: 106.482
INFO - Atoms: 62674/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 4682215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.299 Prop: 5265.877 PropClause: 5145.055 Set: 1049.097 Check: 0.0 Back: 107.959
INFO - Atoms: 62432/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4744419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 5339.279 PropClause: 5208.865 Set: 1060.567 Check: 0.0 Back: 109.444
INFO - Atoms: 62204/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4806397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.39 Prop: 5406.913 PropClause: 5274.951 Set: 1071.929 Check: 0.0 Back: 110.923
INFO - Atoms: 61978/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4868147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.405 Prop: 5476.851 PropClause: 5343.345 Set: 1083.295 Check: 0.0 Back: 112.399
INFO - Atoms: 61750/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4929671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.421 Prop: 5545.229 PropClause: 5410.187 Set: 1094.669 Check: 0.0 Back: 113.862
INFO - Atoms: 61524/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4990984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.437 Prop: 5612.84 PropClause: 5476.27 Set: 1106.059 Check: 0.0 Back: 115.325
INFO - Atoms: 61313/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 5052054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.463 Prop: 5675.963 PropClause: 5537.867 Set: 1117.257 Check: 0.0 Back: 116.753
INFO - Atoms: 61070/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 5112912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.479 Prop: 5739.149 PropClause: 5599.526 Set: 1128.446 Check: 0.0 Back: 118.231
INFO - Atoms: 60858/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 5173528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.494 Prop: 5800.044 PropClause: 5658.883 Set: 1139.4 Check: 0.0 Back: 119.687
INFO - Atoms: 60616/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 5233916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 5861.257 PropClause: 5718.578 Set: 1150.521 Check: 0.0 Back: 121.136
INFO - Atoms: 60388/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 5294078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.526 Prop: 5923.2 PropClause: 5779.012 Set: 1161.915 Check: 0.0 Back: 122.573
INFO - Atoms: 60162/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 5354029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.541 Prop: 5982.309 PropClause: 5836.607 Set: 1172.81 Check: 0.0 Back: 124.009
INFO - Atoms: 59951/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 5413737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.555 Prop: 6045.201 PropClause: 5898.022 Set: 1183.508 Check: 0.0 Back: 125.42
INFO - Atoms: 59708/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 5473233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.568 Prop: 6106.6 PropClause: 5957.932 Set: 1194.349 Check: 0.0 Back: 126.828
INFO - Atoms: 59496/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 5532487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.584 Prop: 6166.943 PropClause: 6016.793 Set: 1205.068 Check: 0.0 Back: 128.227
INFO - Atoms: 59254/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 5591513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 6226.489 PropClause: 6074.865 Set: 1215.685 Check: 0.0 Back: 129.638
INFO - Atoms: 59026/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 5650313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 6281.942 PropClause: 6128.848 Set: 1226.223 Check: 0.0 Back: 131.041
INFO - Atoms: 58800/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 5708901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.631 Prop: 6336.673 PropClause: 6182.111 Set: 1236.764 Check: 0.0 Back: 132.441
INFO - Atoms: 58588/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 5767247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.647 Prop: 6395.559 PropClause: 6239.536 Set: 1247.26 Check: 0.0 Back: 133.821
INFO - Atoms: 58346/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 5825381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.661 Prop: 6455.519 PropClause: 6298.026 Set: 1257.689 Check: 0.0 Back: 135.209
INFO - Atoms: 58134/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 5883273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.677 Prop: 6517.94 PropClause: 6359.011 Set: 1268.228 Check: 0.0 Back: 136.576
INFO - Atoms: 57892/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 5940953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.695 Prop: 6577.489 PropClause: 6417.118 Set: 1278.799 Check: 0.0 Back: 137.963
INFO - Atoms: 57680/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5998391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.713 Prop: 6632.162 PropClause: 6470.347 Set: 1289.079 Check: 0.0 Back: 139.345
INFO - Atoms: 57438/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 6055617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.73 Prop: 6685.403 PropClause: 6522.157 Set: 1299.238 Check: 0.0 Back: 140.722
INFO - Atoms: 57226/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 6112601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.745 Prop: 6738.225 PropClause: 6573.549 Set: 1309.448 Check: 0.0 Back: 142.08
INFO - Atoms: 56984/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 6169357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 6791.644 PropClause: 6625.553 Set: 1319.716 Check: 0.0 Back: 143.452
INFO - Atoms: 56756/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 6225887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 6843.826 PropClause: 6676.323 Set: 1329.786 Check: 0.0 Back: 144.819
INFO - Atoms: 56530/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 6282189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.865 Prop: 6897.898 PropClause: 6728.987 Set: 1339.974 Check: 0.0 Back: 146.175
INFO - Atoms: 56302/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 6338265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.879 Prop: 6955.366 PropClause: 6785.06 Set: 1350.08 Check: 0.0 Back: 147.525
INFO - Atoms: 56076/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 6394130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 7015.055 PropClause: 6843.351 Set: 1360.411 Check: 0.0 Back: 148.866
INFO - Atoms: 55865/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 6449752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.903 Prop: 7071.055 PropClause: 6897.961 Set: 1370.561 Check: 0.0 Back: 150.196
INFO - Atoms: 55622/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 6505146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 7128.31 PropClause: 6953.822 Set: 1380.732 Check: 0.0 Back: 151.531
INFO - Atoms: 55394/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 6560314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.925 Prop: 7180.444 PropClause: 7004.575 Set: 1390.648 Check: 0.0 Back: 152.851
INFO - Atoms: 55168/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 6615254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 7233.059 PropClause: 7055.818 Set: 1400.538 Check: 0.0 Back: 154.181
INFO - Atoms: 54940/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 6669968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.951 Prop: 7286.957 PropClause: 7108.349 Set: 1410.303 Check: 0.0 Back: 155.495
INFO - Atoms: 54714/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 6724470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 7341.73 PropClause: 7161.763 Set: 1420.207 Check: 0.0 Back: 156.829
INFO - Atoms: 54502/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 6778730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 7396.485 PropClause: 7215.161 Set: 1430.103 Check: 0.0 Back: 158.129
INFO - Atoms: 54260/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 6832777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.99 Prop: 7455.037 PropClause: 7272.364 Set: 1439.957 Check: 0.0 Back: 159.433
INFO - Atoms: 54047/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 6886583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.001 Prop: 7508.318 PropClause: 7324.3 Set: 1449.65 Check: 0.0 Back: 160.731
INFO - Atoms: 53806/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 6940176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.014 Prop: 7563.933 PropClause: 7378.564 Set: 1459.589 Check: 0.0 Back: 162.026
INFO - Atoms: 53593/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 6993528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.028 Prop: 7614.648 PropClause: 7427.928 Set: 1469.099 Check: 0.0 Back: 163.333
INFO - Atoms: 53352/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 7046668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.04 Prop: 7668.105 PropClause: 7480.054 Set: 1478.695 Check: 0.0 Back: 164.621
INFO - Atoms: 53140/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 7099566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.051 Prop: 7715.327 PropClause: 7525.949 Set: 1488.075 Check: 0.0 Back: 165.891
INFO - Atoms: 52898/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 7152236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 7766.613 PropClause: 7575.92 Set: 1497.984 Check: 0.0 Back: 167.175
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 7204680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.075 Prop: 7812.778 PropClause: 7620.779 Set: 1507.237 Check: 0.0 Back: 168.443
INFO - Atoms: 52444/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 7256912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.087 Prop: 7865.847 PropClause: 7672.541 Set: 1516.679 Check: 0.0 Back: 169.722
INFO - Atoms: 52232/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 7308902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.099 Prop: 7913.333 PropClause: 7718.724 Set: 1525.968 Check: 0.0 Back: 170.971
INFO - Atoms: 51990/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 7360679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.112 Prop: 7965.35 PropClause: 7769.447 Set: 1549.435 Check: 0.0 Back: 172.234
INFO - Atoms: 51777/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 7412215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 8018.649 PropClause: 7821.444 Set: 1558.658 Check: 0.0 Back: 173.471
INFO - Atoms: 51536/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 7463523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.137 Prop: 8068.284 PropClause: 7869.791 Set: 1567.886 Check: 0.0 Back: 174.724
INFO - Atoms: 51308/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 7515717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.152 Prop: 8117.917 PropClause: 7918.118 Set: 1577.283 Check: 0.0 Back: 175.971
INFO - Atoms: 52194/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 7568162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 8166.846 PropClause: 7965.734 Set: 1586.715 Check: 0.0 Back: 177.238
INFO - Atoms: 52445/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 7620812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.176 Prop: 8213.671 PropClause: 8011.252 Set: 1596.123 Check: 0.0 Back: 178.496
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 7673481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.19 Prop: 8265.409 PropClause: 8061.68 Set: 1605.615 Check: 0.0 Back: 179.763
INFO - Atoms: 52669/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 7725467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.203 Prop: 8317.816 PropClause: 8112.786 Set: 1614.998 Check: 0.0 Back: 181.019
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 7778316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.214 Prop: 8370.198 PropClause: 8163.844 Set: 1624.713 Check: 0.0 Back: 182.276
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 7830984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.225 Prop: 8420.999 PropClause: 8213.327 Set: 1634.202 Check: 0.0 Back: 183.543
INFO - Atoms: 52668/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 7883869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.236 Prop: 8467.807 PropClause: 8258.815 Set: 1643.778 Check: 0.0 Back: 184.819
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 7936716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.252 Prop: 8514.449 PropClause: 8304.133 Set: 1653.29 Check: 0.0 Back: 186.09
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 7989366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.266 Prop: 8566.946 PropClause: 8355.313 Set: 1662.887 Check: 0.0 Back: 187.36
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 8041352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.281 Prop: 8614.224 PropClause: 8401.292 Set: 1672.291 Check: 0.0 Back: 188.621
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 8094199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 8662.346 PropClause: 8448.066 Set: 1681.917 Check: 0.0 Back: 189.892
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 8146869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 8708.861 PropClause: 8493.263 Set: 1691.372 Check: 0.0 Back: 191.163
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 8199754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.372 Prop: 8759.464 PropClause: 8542.545 Set: 1701.121 Check: 0.0 Back: 192.438
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 8252602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.38 Prop: 8810.194 PropClause: 8591.952 Set: 1710.711 Check: 0.0 Back: 193.702
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 8305252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.388 Prop: 8861.805 PropClause: 8642.243 Set: 1720.302 Check: 0.0 Back: 194.981
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 8357238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.398 Prop: 8911.699 PropClause: 8690.839 Set: 1729.636 Check: 0.0 Back: 196.256
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 8410085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.408 Prop: 8964.731 PropClause: 8742.539 Set: 1739.335 Check: 0.0 Back: 197.502
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 8462755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.415 Prop: 9011.413 PropClause: 8787.898 Set: 1748.895 Check: 0.0 Back: 198.78
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 8515624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.423 Prop: 9061.035 PropClause: 8836.202 Set: 1758.501 Check: 0.0 Back: 200.07
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 8568473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.43 Prop: 9113.404 PropClause: 8887.251 Set: 1768.104 Check: 0.0 Back: 201.338
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 8621123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 9163.116 PropClause: 8935.642 Set: 1777.537 Check: 0.0 Back: 202.63
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 8673109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.447 Prop: 9213.052 PropClause: 8984.275 Set: 1786.858 Check: 0.0 Back: 203.888
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 8725956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.454 Prop: 9264.067 PropClause: 9033.969 Set: 1796.606 Check: 0.0 Back: 205.142
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 8778626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.464 Prop: 9316.761 PropClause: 9085.341 Set: 1806.301 Check: 0.0 Back: 206.402
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 8831495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 9361.459 PropClause: 9128.715 Set: 1815.728 Check: 0.0 Back: 207.696
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 8884344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.478 Prop: 9406.278 PropClause: 9172.218 Set: 1825.115 Check: 0.0 Back: 208.976
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 8936994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 9451.568 PropClause: 9216.196 Set: 1834.431 Check: 0.0 Back: 210.253
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 8988980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.493 Prop: 9496.925 PropClause: 9260.259 Set: 1843.582 Check: 0.0 Back: 211.508
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 9041827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.501 Prop: 9542.974 PropClause: 9304.987 Set: 1853.013 Check: 0.0 Back: 212.759
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 9094497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.508 Prop: 9589.157 PropClause: 9349.856 Set: 1862.516 Check: 0.0 Back: 214.032
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 9146482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.516 Prop: 9638.566 PropClause: 9397.96 Set: 1871.783 Check: 0.0 Back: 215.317
INFO - Atoms: 51985/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 9199149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 9688.662 PropClause: 9446.735 Set: 1881.219 Check: 0.0 Back: 216.564
INFO - Atoms: 52667/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 9251999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.529 Prop: 9739.974 PropClause: 9496.723 Set: 1890.767 Check: 0.0 Back: 217.828
INFO - Atoms: 52850/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 9303985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.536 Prop: 9787.847 PropClause: 9543.3 Set: 1899.972 Check: 0.0 Back: 219.085
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 9356834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.576 Prop: 9831.904 PropClause: 9586.029 Set: 1909.513 Check: 0.0 Back: 220.337
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 9409502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.607 Prop: 9880.426 PropClause: 9633.235 Set: 1919.062 Check: 0.0 Back: 221.609
INFO - Atoms: 52668/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 9462371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.637 Prop: 9925.85 PropClause: 9677.346 Set: 1928.525 Check: 0.0 Back: 222.885
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 9515217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 9973.738 PropClause: 9723.897 Set: 1938.324 Check: 0.0 Back: 224.138
INFO - Atoms: 52846/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 9567867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 10019.806 PropClause: 9768.648 Set: 1947.647 Check: 0.0 Back: 225.412
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 9619853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.659 Prop: 10067.16 PropClause: 9814.704 Set: 1956.788 Check: 0.0 Back: 226.67
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 9672700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 10114.236 PropClause: 9860.463 Set: 1966.352 Check: 0.0 Back: 227.934
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 9725370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.672 Prop: 10164.302 PropClause: 9909.218 Set: 1975.753 Check: 0.0 Back: 229.193
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 9778255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.679 Prop: 10215.1 PropClause: 9958.699 Set: 1985.382 Check: 0.0 Back: 230.489
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 9831104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 10265.828 PropClause: 10008.098 Set: 1995.017 Check: 0.0 Back: 231.749
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 9883754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.695 Prop: 10317.869 PropClause: 10058.828 Set: 2004.465 Check: 0.0 Back: 233.022
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 9935740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.702 Prop: 10364.814 PropClause: 10104.467 Set: 2013.8 Check: 0.0 Back: 234.276
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 9988587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.709 Prop: 10412.73 PropClause: 10151.063 Set: 2023.505 Check: 0.0 Back: 235.543
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 10041257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 10462.709 PropClause: 10199.729 Set: 2033.062 Check: 0.0 Back: 236.813
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 10094126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 10514.276 PropClause: 10249.97 Set: 2042.665 Check: 0.0 Back: 238.072
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 10146975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.729 Prop: 10563.601 PropClause: 10297.965 Set: 2052.266 Check: 0.0 Back: 239.351
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 10199625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.737 Prop: 10614.059 PropClause: 10347.107 Set: 2061.841 Check: 0.0 Back: 240.619
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 10251611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.746 Prop: 10660.872 PropClause: 10392.618 Set: 2071.21 Check: 0.0 Back: 241.887
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 10304458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.752 Prop: 10707.862 PropClause: 10438.3 Set: 2080.713 Check: 0.0 Back: 243.138
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 10357128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.761 Prop: 10753.798 PropClause: 10482.922 Set: 2090.22 Check: 0.0 Back: 244.396
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 10409997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.766 Prop: 10801.336 PropClause: 10529.137 Set: 2099.851 Check: 0.0 Back: 245.669
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 10462846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.774 Prop: 10849.667 PropClause: 10576.147 Set: 2109.538 Check: 0.0 Back: 246.936
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 10515496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.781 Prop: 10901.035 PropClause: 10626.182 Set: 2119.237 Check: 0.0 Back: 248.207
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 10567482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.788 Prop: 10950.512 PropClause: 10674.356 Set: 2128.77 Check: 0.0 Back: 249.463
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 10620329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.797 Prop: 11005.702 PropClause: 10728.199 Set: 2138.646 Check: 0.0 Back: 250.722
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 10672999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.804 Prop: 11058.314 PropClause: 10779.486 Set: 2148.226 Check: 0.0 Back: 252.004
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 10725868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 11109.97 PropClause: 10829.807 Set: 2157.939 Check: 0.0 Back: 253.283
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 10778717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 11161.498 PropClause: 10880.001 Set: 2167.594 Check: 0.0 Back: 254.538
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 10831367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.825 Prop: 11209.945 PropClause: 10927.14 Set: 2177.074 Check: 0.0 Back: 255.798
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 10883353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 11259.972 PropClause: 10975.853 Set: 2186.55 Check: 0.0 Back: 257.056
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 10936200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 11311.042 PropClause: 11025.601 Set: 2196.266 Check: 0.0 Back: 258.313
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 10988870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 11363.702 PropClause: 11076.949 Set: 2205.95 Check: 0.0 Back: 259.583
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 11041739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 11414.711 PropClause: 11126.639 Set: 2215.667 Check: 0.0 Back: 260.851
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 11094588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.863 Prop: 11465.025 PropClause: 11175.634 Set: 2225.317 Check: 0.0 Back: 262.117
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 11147238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.87 Prop: 11515.897 PropClause: 11225.188 Set: 2234.906 Check: 0.0 Back: 263.388
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 11199224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.877 Prop: 11566.865 PropClause: 11274.853 Set: 2244.374 Check: 0.0 Back: 264.656
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 11252071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.885 Prop: 11620.348 PropClause: 11327.014 Set: 2254.175 Check: 0.0 Back: 265.903
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 11304741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 11670.808 PropClause: 11376.158 Set: 2263.836 Check: 0.0 Back: 267.159
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 11357626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.899 Prop: 11722.222 PropClause: 11426.243 Set: 2273.507 Check: 0.0 Back: 268.437
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 11410475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.907 Prop: 11773.44 PropClause: 11476.127 Set: 2295.621 Check: 0.0 Back: 269.696
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 11463125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.914 Prop: 11825.187 PropClause: 11526.549 Set: 2305.296 Check: 0.0 Back: 270.96
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 11515111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.923 Prop: 11871.065 PropClause: 11571.003 Set: 2314.778 Check: 0.0 Back: 272.231
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 11567958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 11917.897 PropClause: 11616.512 Set: 2324.505 Check: 0.0 Back: 273.487
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 11620628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.936 Prop: 11969.387 PropClause: 11666.684 Set: 2334.151 Check: 0.0 Back: 274.743
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 11672613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.944 Prop: 12017.275 PropClause: 11713.28 Set: 2343.628 Check: 0.0 Back: 276.021
INFO - Atoms: 51985/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 11725280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 12065.072 PropClause: 11759.758 Set: 2353.291 Check: 0.0 Back: 277.265
INFO - Atoms: 52667/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 11778130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.959 Prop: 12114.788 PropClause: 11808.151 Set: 2363.168 Check: 0.0 Back: 278.539
INFO - Atoms: 52850/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 11831000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.968 Prop: 12166.848 PropClause: 11858.864 Set: 2373.127 Check: 0.0 Back: 279.813
INFO - Atoms: 52870/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 11883648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.977 Prop: 12221.713 PropClause: 11912.413 Set: 2382.907 Check: 0.0 Back: 281.094
INFO - Atoms: 52648/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 11936497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.984 Prop: 12270.828 PropClause: 11960.193 Set: 2392.507 Check: 0.0 Back: 282.353
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 11988482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 12320.194 PropClause: 12008.262 Set: 2401.91 Check: 0.0 Back: 283.634
INFO - Atoms: 51985/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 12041149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.997 Prop: 12367.197 PropClause: 12053.949 Set: 2411.53 Check: 0.0 Back: 284.87
INFO - Atoms: 52667/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 12093999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.005 Prop: 12414.286 PropClause: 12099.716 Set: 2421.252 Check: 0.0 Back: 286.159
INFO - Atoms: 52850/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 12146871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 12461.247 PropClause: 12145.357 Set: 2430.863 Check: 0.0 Back: 287.425
INFO - Atoms: 52872/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 12199519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 12509.32 PropClause: 12192.113 Set: 2440.55 Check: 0.0 Back: 288.693
INFO - Atoms: 52648/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 12252366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.028 Prop: 12558.775 PropClause: 12240.234 Set: 2450.218 Check: 0.0 Back: 289.951
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 12305235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 12610.262 PropClause: 12290.402 Set: 2459.937 Check: 0.0 Back: 291.241
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 12358084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.045 Prop: 12659.487 PropClause: 12338.3 Set: 2469.545 Check: 0.0 Back: 292.502
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 12410734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.053 Prop: 12711.356 PropClause: 12388.836 Set: 2479.383 Check: 0.0 Back: 293.775
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 12462720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.06 Prop: 12755.077 PropClause: 12431.258 Set: 2488.721 Check: 0.0 Back: 295.06
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 12515569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.066 Prop: 12801.658 PropClause: 12476.515 Set: 2498.355 Check: 0.0 Back: 296.317
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 12568237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.072 Prop: 12849.987 PropClause: 12523.521 Set: 2507.963 Check: 0.0 Back: 297.584
INFO - Atoms: 52668/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 12621106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 12896.198 PropClause: 12568.413 Set: 2517.636 Check: 0.0 Back: 298.854
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 12673955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 12943.482 PropClause: 12614.377 Set: 2527.315 Check: 0.0 Back: 300.118
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 12726605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.096 Prop: 12993.399 PropClause: 12662.973 Set: 2536.935 Check: 0.0 Back: 301.399
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 12778591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.103 Prop: 13040.737 PropClause: 12709.003 Set: 2546.363 Check: 0.0 Back: 302.667
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 12831438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.11 Prop: 13089.277 PropClause: 12756.221 Set: 2556.112 Check: 0.0 Back: 303.919
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 12884108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.117 Prop: 13138.767 PropClause: 12804.391 Set: 2565.693 Check: 0.0 Back: 305.187
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 12936977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.124 Prop: 13189.838 PropClause: 12854.134 Set: 2575.383 Check: 0.0 Back: 306.454
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 12989825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 13240.322 PropClause: 12903.286 Set: 2585.146 Check: 0.0 Back: 307.722
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 13042475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.139 Prop: 13285.415 PropClause: 12947.069 Set: 2594.697 Check: 0.0 Back: 308.994
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 13094461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 13331.103 PropClause: 12991.467 Set: 2604.066 Check: 0.0 Back: 310.254
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 13147308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 13377.422 PropClause: 13036.465 Set: 2613.77 Check: 0.0 Back: 311.498
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 13199978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.158 Prop: 13427.014 PropClause: 13084.733 Set: 2623.481 Check: 0.0 Back: 312.767
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 13252863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.165 Prop: 13478.463 PropClause: 13134.849 Set: 2633.164 Check: 0.0 Back: 314.041
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 13305711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 13530.625 PropClause: 13185.675 Set: 2642.926 Check: 0.0 Back: 315.315
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 13358361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.18 Prop: 13579.385 PropClause: 13233.103 Set: 2652.538 Check: 0.0 Back: 316.581
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 13410347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.186 Prop: 13630.07 PropClause: 13282.478 Set: 2662.156 Check: 0.0 Back: 317.848
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 13463194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.194 Prop: 13682.9 PropClause: 13333.988 Set: 2672.07 Check: 0.0 Back: 319.099
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 13515864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.201 Prop: 13732.227 PropClause: 13382.001 Set: 2681.777 Check: 0.0 Back: 320.362
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 13568748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.208 Prop: 13782.836 PropClause: 13431.286 Set: 2691.589 Check: 0.0 Back: 321.637
INFO - Atoms: 52884/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 13621596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.215 Prop: 13829.936 PropClause: 13477.066 Set: 2701.319 Check: 0.0 Back: 322.904
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 13674246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.225 Prop: 13878.853 PropClause: 13524.663 Set: 2725.777 Check: 0.0 Back: 324.183
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 13726232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 13924.555 PropClause: 13569.067 Set: 2735.177 Check: 0.0 Back: 325.422
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 13779079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 13973.229 PropClause: 13616.423 Set: 2744.899 Check: 0.0 Back: 326.667
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 13831749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.245 Prop: 14023.178 PropClause: 13665.052 Set: 2754.613 Check: 0.0 Back: 327.923
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 13884618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.252 Prop: 14072.841 PropClause: 13713.394 Set: 2764.322 Check: 0.0 Back: 329.189
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 13937466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 14120.936 PropClause: 13760.167 Set: 2773.969 Check: 0.0 Back: 330.452
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 13990116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.267 Prop: 14165.949 PropClause: 13803.873 Set: 2783.47 Check: 0.0 Back: 331.726
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 14042102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.274 Prop: 14212.718 PropClause: 13849.342 Set: 2792.889 Check: 0.0 Back: 332.984
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 14094949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.282 Prop: 14260.391 PropClause: 13895.699 Set: 2802.782 Check: 0.0 Back: 334.241
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 14147619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.291 Prop: 14306.143 PropClause: 13940.138 Set: 2812.395 Check: 0.0 Back: 335.512
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 14200505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.298 Prop: 14353.347 PropClause: 13986.021 Set: 2836.021 Check: 0.0 Back: 336.791
INFO - Atoms: 52886/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 14253353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.305 Prop: 14399.703 PropClause: 14031.053 Set: 2845.712 Check: 0.0 Back: 338.047
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 14306003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.313 Prop: 14447.728 PropClause: 14077.76 Set: 2855.378 Check: 0.0 Back: 339.371
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 14357989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.322 Prop: 14495.898 PropClause: 14124.612 Set: 2864.815 Check: 0.0 Back: 340.629
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 14410836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 14545.803 PropClause: 14173.195 Set: 2874.606 Check: 0.0 Back: 341.877
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 14463506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 14600.243 PropClause: 14226.319 Set: 2884.359 Check: 0.0 Back: 343.126
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 14516390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 14651.405 PropClause: 14276.16 Set: 2894.104 Check: 0.0 Back: 344.385
INFO - Atoms: 52884/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 14569238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 14699.761 PropClause: 14323.187 Set: 2903.74 Check: 0.0 Back: 345.646
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 14621888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 14750.451 PropClause: 14372.56 Set: 2913.35 Check: 0.0 Back: 346.918
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 14673874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 14798.962 PropClause: 14419.769 Set: 2922.85 Check: 0.0 Back: 348.17
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 14726721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.377 Prop: 14847.192 PropClause: 14466.677 Set: 2932.634 Check: 0.0 Back: 349.425
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 14779391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 14894.056 PropClause: 14512.22 Set: 2942.321 Check: 0.0 Back: 350.687
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 14832260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.392 Prop: 14940.706 PropClause: 14557.53 Set: 2952.001 Check: 0.0 Back: 351.949
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 14885108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.401 Prop: 14991.421 PropClause: 14606.91 Set: 2961.896 Check: 0.0 Back: 353.218
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 14937758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 15038.949 PropClause: 14653.117 Set: 2971.524 Check: 0.0 Back: 354.497
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 14989744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 15085.205 PropClause: 14698.075 Set: 2980.984 Check: 0.0 Back: 355.768
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 15042591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 15133.364 PropClause: 14744.911 Set: 2990.754 Check: 0.0 Back: 357.019
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 15095261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 15183.368 PropClause: 14793.598 Set: 3000.463 Check: 0.0 Back: 358.288
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 15148130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 15233.906 PropClause: 14842.817 Set: 3010.237 Check: 0.0 Back: 359.558
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 15200978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.447 Prop: 15282.455 PropClause: 14890.047 Set: 3019.972 Check: 0.0 Back: 360.833
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 15253628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 15329.037 PropClause: 14935.306 Set: 3029.603 Check: 0.0 Back: 362.1
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 15305614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.46 Prop: 15376.994 PropClause: 14981.954 Set: 3039.041 Check: 0.0 Back: 363.36
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 15358461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.467 Prop: 15423.504 PropClause: 15027.149 Set: 3048.795 Check: 0.0 Back: 364.611
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 15411131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.474 Prop: 15472.939 PropClause: 15075.274 Set: 3058.493 Check: 0.0 Back: 365.882
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 15464000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 15523.197 PropClause: 15124.215 Set: 3068.256 Check: 0.0 Back: 367.141
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 15516848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 15570.993 PropClause: 15170.691 Set: 3077.948 Check: 0.0 Back: 368.4
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 15569498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.497 Prop: 15619.933 PropClause: 15218.318 Set: 3087.63 Check: 0.0 Back: 369.67
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 15621484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 15668.552 PropClause: 15265.639 Set: 3097.227 Check: 0.0 Back: 370.916
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 15674331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 15717.365 PropClause: 15313.124 Set: 3107.128 Check: 0.0 Back: 372.161
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 15727001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 15764.042 PropClause: 15358.488 Set: 3116.811 Check: 0.0 Back: 373.423
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 15779870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.526 Prop: 15813.418 PropClause: 15406.547 Set: 3126.615 Check: 0.0 Back: 374.701
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 15832718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 15864.787 PropClause: 15456.586 Set: 3136.437 Check: 0.0 Back: 375.962
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 15885368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.542 Prop: 15913.153 PropClause: 15503.632 Set: 3146.138 Check: 0.0 Back: 377.219
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 15937354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.549 Prop: 15960.531 PropClause: 15549.696 Set: 3155.579 Check: 0.0 Back: 378.5
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 15990201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 16005.51 PropClause: 15593.356 Set: 3165.466 Check: 0.0 Back: 379.752
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 16042871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.564 Prop: 16048.746 PropClause: 15635.279 Set: 3174.982 Check: 0.0 Back: 381.012
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 16095740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.573 Prop: 16092.912 PropClause: 15678.112 Set: 3204.054 Check: 0.0 Back: 382.282
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 16148588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 16136.244 PropClause: 15720.128 Set: 3213.628 Check: 0.0 Back: 383.539
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 16201238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 16180.758 PropClause: 15763.329 Set: 3223.263 Check: 0.0 Back: 384.811
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 16253224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.594 Prop: 16224.483 PropClause: 15805.752 Set: 3232.626 Check: 0.0 Back: 386.076
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 16306071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.601 Prop: 16268.683 PropClause: 15848.633 Set: 3242.311 Check: 0.0 Back: 387.325
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 16358741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.609 Prop: 16316.451 PropClause: 15895.093 Set: 3251.992 Check: 0.0 Back: 388.583
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 16411626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.617 Prop: 16365.069 PropClause: 15942.393 Set: 3261.695 Check: 0.0 Back: 389.843
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 16464475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.624 Prop: 16412.432 PropClause: 15988.428 Set: 3271.386 Check: 0.0 Back: 391.122
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 16517125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.632 Prop: 16458.239 PropClause: 16032.922 Set: 3280.929 Check: 0.0 Back: 392.399
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 16569111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 16504.692 PropClause: 16078.079 Set: 3290.347 Check: 0.0 Back: 393.657
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 16621958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.647 Prop: 16554.614 PropClause: 16126.682 Set: 3300.254 Check: 0.0 Back: 394.907
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 16674628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 16598.772 PropClause: 16169.528 Set: 3309.884 Check: 0.0 Back: 396.171
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 16726613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 16644.72 PropClause: 16214.179 Set: 3319.259 Check: 0.0 Back: 397.447
INFO - Atoms: 51985/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 16779281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 16690.631 PropClause: 16258.777 Set: 3329.053 Check: 0.0 Back: 398.718
INFO - Atoms: 52668/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 16832130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.677 Prop: 16734.832 PropClause: 16301.667 Set: 3338.612 Check: 0.0 Back: 399.979
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 16884116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.685 Prop: 16779.586 PropClause: 16345.134 Set: 3347.959 Check: 0.0 Back: 401.239
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 16936965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.692 Prop: 16828.213 PropClause: 16392.441 Set: 3371.006 Check: 0.0 Back: 402.482
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 16989633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.699 Prop: 16874.53 PropClause: 16437.448 Set: 3380.546 Check: 0.0 Back: 403.734
INFO - Atoms: 52668/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 17042502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.707 Prop: 16920.996 PropClause: 16482.596 Set: 3390.238 Check: 0.0 Back: 405.003
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 17095348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 16969.807 PropClause: 16530.083 Set: 3400.116 Check: 0.0 Back: 406.287
INFO - Atoms: 52846/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 17147998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 17022.955 PropClause: 16581.917 Set: 3409.999 Check: 0.0 Back: 407.555
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 17199984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.729 Prop: 17070.592 PropClause: 16628.236 Set: 3419.8 Check: 0.0 Back: 408.812
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 17252831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 17117.62 PropClause: 16673.942 Set: 3429.726 Check: 0.0 Back: 410.067
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 17305501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.745 Prop: 17165.337 PropClause: 16720.344 Set: 3439.501 Check: 0.0 Back: 411.325
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 17358370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 17214.984 PropClause: 16768.659 Set: 3468.513 Check: 0.0 Back: 412.575
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 17411218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.76 Prop: 17266.009 PropClause: 16818.351 Set: 3478.318 Check: 0.0 Back: 413.824
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 17463868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.769 Prop: 17313.604 PropClause: 16864.622 Set: 3488.03 Check: 0.0 Back: 415.099
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 17515854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 17362.464 PropClause: 16912.189 Set: 3497.538 Check: 0.0 Back: 416.361
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 17568701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.784 Prop: 17409.201 PropClause: 16957.607 Set: 3507.457 Check: 0.0 Back: 417.603
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 17621371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.791 Prop: 17455.642 PropClause: 17002.735 Set: 3517.372 Check: 0.0 Back: 418.87
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 17674256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.797 Prop: 17502.021 PropClause: 17047.787 Set: 3527.142 Check: 0.0 Back: 420.123
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 17727105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.804 Prop: 17547.567 PropClause: 17092.015 Set: 3536.852 Check: 0.0 Back: 421.376
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 17779755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.813 Prop: 17596.014 PropClause: 17139.155 Set: 3546.503 Check: 0.0 Back: 422.657
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 17831741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 17642.645 PropClause: 17184.493 Set: 3555.893 Check: 0.0 Back: 423.906
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 17884588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.829 Prop: 17691.993 PropClause: 17232.524 Set: 3565.735 Check: 0.0 Back: 425.155
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 17937258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.837 Prop: 17740.408 PropClause: 17279.626 Set: 3575.474 Check: 0.0 Back: 426.426
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 17990143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.845 Prop: 17790.914 PropClause: 17328.801 Set: 3585.21 Check: 0.0 Back: 427.678
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 18042991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.853 Prop: 17838.975 PropClause: 17375.548 Set: 3594.988 Check: 0.0 Back: 428.945
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 18095641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.86 Prop: 17887.097 PropClause: 17422.356 Set: 3604.744 Check: 0.0 Back: 430.219
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 18147627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.869 Prop: 17932.864 PropClause: 17466.822 Set: 3614.262 Check: 0.0 Back: 431.471
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 18200474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.876 Prop: 17979.632 PropClause: 17512.268 Set: 3624.191 Check: 0.0 Back: 432.718
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 18253144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.884 Prop: 18027.139 PropClause: 17558.451 Set: 3633.845 Check: 0.0 Back: 433.978
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 18306028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.89 Prop: 18075.846 PropClause: 17605.851 Set: 3643.553 Check: 0.0 Back: 435.227
INFO - Atoms: 52884/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 18358876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.898 Prop: 18126.13 PropClause: 17654.817 Set: 3653.417 Check: 0.0 Back: 436.472
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 18411526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.904 Prop: 18174.116 PropClause: 17701.477 Set: 3663.147 Check: 0.0 Back: 437.734
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 18463512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 18223.157 PropClause: 17749.22 Set: 3672.713 Check: 0.0 Back: 438.996
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 18516359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 18268.899 PropClause: 17793.641 Set: 3682.58 Check: 0.0 Back: 440.238
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 18569029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.926 Prop: 18316.154 PropClause: 17839.581 Set: 3692.264 Check: 0.0 Back: 441.515
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 18621898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 18360.616 PropClause: 17882.715 Set: 3701.953 Check: 0.0 Back: 442.778
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 18674747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.94 Prop: 18407.182 PropClause: 17927.957 Set: 3711.792 Check: 0.0 Back: 444.038
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 18727397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.948 Prop: 18453.698 PropClause: 17973.14 Set: 3721.457 Check: 0.0 Back: 445.291
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 18779383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 18499.526 PropClause: 18017.681 Set: 3730.964 Check: 0.0 Back: 446.54
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 18832230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 18546.456 PropClause: 18063.293 Set: 3740.812 Check: 0.0 Back: 447.794
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 18884900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.968 Prop: 18596.13 PropClause: 18111.648 Set: 3750.716 Check: 0.0 Back: 449.062
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 18937785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.976 Prop: 18644.455 PropClause: 18158.652 Set: 3760.522 Check: 0.0 Back: 450.336
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 18990633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 18691.444 PropClause: 18204.323 Set: 3770.306 Check: 0.0 Back: 451.596
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 19043283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.991 Prop: 18739.624 PropClause: 18251.185 Set: 3780.089 Check: 0.0 Back: 452.865
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 19095269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.998 Prop: 18787.872 PropClause: 18298.141 Set: 3789.755 Check: 0.0 Back: 454.114
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 19148116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.005 Prop: 18835.892 PropClause: 18344.832 Set: 3799.62 Check: 0.0 Back: 455.348
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 19200786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.013 Prop: 18883.028 PropClause: 18390.665 Set: 3809.309 Check: 0.0 Back: 456.616
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 19252786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.02 Prop: 18930.35 PropClause: 18436.7 Set: 3818.898 Check: 0.0 Back: 457.875
INFO - Atoms: 52000/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 19305453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 18978.51 PropClause: 18483.547 Set: 3828.7 Check: 0.0 Back: 459.108
INFO - Atoms: 52667/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 19358303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 19026.8 PropClause: 18530.513 Set: 3838.651 Check: 0.0 Back: 460.363
INFO - Atoms: 52850/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 19411173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 19074.056 PropClause: 18576.451 Set: 3848.428 Check: 0.0 Back: 461.632
INFO - Atoms: 52870/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 19463821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.047 Prop: 19123.041 PropClause: 18624.123 Set: 3858.191 Check: 0.0 Back: 462.891
INFO - Atoms: 52648/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 19516670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.053 Prop: 19169.067 PropClause: 18668.831 Set: 3867.962 Check: 0.0 Back: 464.146
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 19568670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 19213.872 PropClause: 18712.341 Set: 3877.456 Check: 0.0 Back: 465.403
INFO - Atoms: 52000/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 19621337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.067 Prop: 19258.49 PropClause: 18755.645 Set: 3887.137 Check: 0.0 Back: 466.653
INFO - Atoms: 52667/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 19674187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.074 Prop: 19303.207 PropClause: 18799.047 Set: 3896.887 Check: 0.0 Back: 467.911
INFO - Atoms: 52850/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 19727059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 19347.407 PropClause: 18841.94 Set: 3906.524 Check: 0.0 Back: 469.173
INFO - Atoms: 52872/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 19779707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.089 Prop: 19391.431 PropClause: 18884.647 Set: 3916.094 Check: 0.0 Back: 470.4
INFO - Atoms: 52648/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 19832554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 19437.04 PropClause: 18928.939 Set: 3925.82 Check: 0.0 Back: 471.661
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 19885439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.104 Prop: 19482.501 PropClause: 18973.082 Set: 3935.548 Check: 0.0 Back: 472.942
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 19938287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.11 Prop: 19528.118 PropClause: 19017.383 Set: 3945.094 Check: 0.0 Back: 474.198
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 19990937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.116 Prop: 19574.986 PropClause: 19062.939 Set: 3954.775 Check: 0.0 Back: 475.461
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 20042923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.124 Prop: 19620.251 PropClause: 19106.905 Set: 3964.267 Check: 0.0 Back: 476.724
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 20095772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 19666.698 PropClause: 19152.029 Set: 3973.948 Check: 0.0 Back: 477.963
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 20148440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.136 Prop: 19711.139 PropClause: 19195.158 Set: 3983.579 Check: 0.0 Back: 479.235
INFO - Atoms: 52668/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 20201309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.143 Prop: 19755.538 PropClause: 19238.251 Set: 3993.17 Check: 0.0 Back: 480.491
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 20254158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.149 Prop: 19801.63 PropClause: 19283.033 Set: 4002.908 Check: 0.0 Back: 481.742
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 20306808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.156 Prop: 19846.877 PropClause: 19326.963 Set: 4012.594 Check: 0.0 Back: 483.001
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 20358794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 19892.883 PropClause: 19371.664 Set: 4022.038 Check: 0.0 Back: 484.256
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 20411641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 19941.277 PropClause: 19418.742 Set: 4031.864 Check: 0.0 Back: 485.492
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 20464311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.176 Prop: 19989.019 PropClause: 19465.169 Set: 4041.544 Check: 0.0 Back: 486.751
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 20517197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.183 Prop: 20035.706 PropClause: 19510.54 Set: 4051.231 Check: 0.0 Back: 488.007
INFO - Atoms: 52886/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 20570046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 20081.784 PropClause: 19555.301 Set: 4060.805 Check: 0.0 Back: 489.284
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 20622696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.197 Prop: 20126.473 PropClause: 19598.681 Set: 4070.448 Check: 0.0 Back: 490.552
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 20674682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.204 Prop: 20171.122 PropClause: 19642.034 Set: 4080.008 Check: 0.0 Back: 491.802
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 20727529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.213 Prop: 20215.577 PropClause: 19685.183 Set: 4089.693 Check: 0.0 Back: 493.072
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 20780199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.22 Prop: 20260.494 PropClause: 19728.798 Set: 4099.399 Check: 0.0 Back: 494.351
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 20833068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.228 Prop: 20304.689 PropClause: 19771.674 Set: 4109.062 Check: 0.0 Back: 495.599
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 20885916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.236 Prop: 20352.61 PropClause: 19818.275 Set: 4118.911 Check: 0.0 Back: 496.874
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 20938566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 20399.387 PropClause: 19863.739 Set: 4128.553 Check: 0.0 Back: 498.162
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 20990552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 20447.103 PropClause: 19910.161 Set: 4138.228 Check: 0.0 Back: 499.415
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 21043399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 20494.225 PropClause: 19955.965 Set: 4148.13 Check: 0.0 Back: 500.667
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 21096069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 20541.433 PropClause: 20001.861 Set: 4157.908 Check: 0.0 Back: 501.93
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 21148938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.271 Prop: 20589.2 PropClause: 20048.311 Set: 4167.757 Check: 0.0 Back: 503.2
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 21201787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.278 Prop: 20634.697 PropClause: 20092.491 Set: 4177.469 Check: 0.0 Back: 504.479
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 21254437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 20684.048 PropClause: 20140.546 Set: 4187.195 Check: 0.0 Back: 505.747
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 21306423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.292 Prop: 20731.267 PropClause: 20186.468 Set: 4196.801 Check: 0.0 Back: 506.995
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 21359270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 20780.513 PropClause: 20234.399 Set: 4206.724 Check: 0.0 Back: 508.225
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 21411940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.308 Prop: 20829.145 PropClause: 20281.712 Set: 4216.656 Check: 0.0 Back: 509.474
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 21464809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.315 Prop: 20877.181 PropClause: 20328.431 Set: 4226.445 Check: 0.0 Back: 510.737
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 21517658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.322 Prop: 20925.121 PropClause: 20375.054 Set: 4236.307 Check: 0.0 Back: 512.005
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 21570308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 20974.168 PropClause: 20422.778 Set: 4246.251 Check: 0.0 Back: 513.28
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 21622294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.337 Prop: 21021.541 PropClause: 20468.849 Set: 4255.918 Check: 0.0 Back: 514.537
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 21675141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.344 Prop: 21070.431 PropClause: 20516.413 Set: 4265.795 Check: 0.0 Back: 515.786
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 21727811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.35 Prop: 21116.83 PropClause: 20561.501 Set: 4275.577 Check: 0.0 Back: 517.057
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 21780680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.357 Prop: 21164.772 PropClause: 20608.126 Set: 4285.351 Check: 0.0 Back: 518.314
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 21833528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.365 Prop: 21211.45 PropClause: 20653.486 Set: 4295.247 Check: 0.0 Back: 519.574
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 21886178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.375 Prop: 21258.336 PropClause: 20699.04 Set: 4304.975 Check: 0.0 Back: 520.832
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 21938164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.383 Prop: 21304.37 PropClause: 20743.775 Set: 4314.514 Check: 0.0 Back: 522.1
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 21991011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.4 Prop: 21352.74 PropClause: 20790.82 Set: 4324.477 Check: 0.0 Back: 523.337
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 22043681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.408 Prop: 21401.381 PropClause: 20838.148 Set: 4334.343 Check: 0.0 Back: 524.588
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 22096550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.414 Prop: 21448.73 PropClause: 20884.172 Set: 4344.211 Check: 0.0 Back: 525.848
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 22149398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.42 Prop: 21496.298 PropClause: 20930.422 Set: 4354.072 Check: 0.0 Back: 527.102
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 22202048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 21543.973 PropClause: 20976.79 Set: 4380.322 Check: 0.0 Back: 528.36
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 22254034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.434 Prop: 21593.504 PropClause: 21025.035 Set: 4389.991 Check: 0.0 Back: 529.578
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 22306881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.441 Prop: 21638.587 PropClause: 21068.803 Set: 4399.922 Check: 0.0 Back: 530.806
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 22359551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.446 Prop: 21683.161 PropClause: 21112.065 Set: 4409.632 Check: 0.0 Back: 532.069
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 22412436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 21729.519 PropClause: 21157.1 Set: 4419.512 Check: 0.0 Back: 533.326
INFO - Atoms: 52885/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 22465284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.458 Prop: 21779.009 PropClause: 21205.268 Set: 4429.514 Check: 0.0 Back: 534.592
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 22517934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.465 Prop: 21827.148 PropClause: 21252.089 Set: 4439.31 Check: 0.0 Back: 535.858
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 22569920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.471 Prop: 21873.441 PropClause: 21297.087 Set: 4448.972 Check: 0.0 Back: 537.112
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 22622767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.478 Prop: 21922.511 PropClause: 21344.827 Set: 4458.973 Check: 0.0 Back: 538.359
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 22675437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.485 Prop: 21970.839 PropClause: 21391.845 Set: 4468.828 Check: 0.0 Back: 539.626
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 22728306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.493 Prop: 22019.732 PropClause: 21439.411 Set: 4478.616 Check: 0.0 Back: 540.881
INFO - Atoms: 52869/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 22781154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.501 Prop: 22070.802 PropClause: 21489.156 Set: 4500.671 Check: 0.0 Back: 542.139
INFO - Atoms: 52848/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 22833804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.508 Prop: 22118.667 PropClause: 21535.7 Set: 4510.439 Check: 0.0 Back: 543.4
INFO - Atoms: 52650/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 22885790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.516 Prop: 22165.445 PropClause: 21581.183 Set: 4520.065 Check: 0.0 Back: 544.676
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 22938637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.523 Prop: 22214.358 PropClause: 21628.766 Set: 4530.11 Check: 0.0 Back: 545.916
INFO - Atoms: 52847/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 22991307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.529 Prop: 22261.476 PropClause: 21674.572 Set: 4540.027 Check: 0.0 Back: 547.195
INFO - Atoms: 52670/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 23043292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.537 Prop: 22308.801 PropClause: 21720.584 Set: 4549.695 Check: 0.0 Back: 548.453
INFO - Atoms: 51985/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 23095960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.545 Prop: 22357.445 PropClause: 21767.899 Set: 4559.528 Check: 0.0 Back: 549.684
INFO - Atoms: 52668/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 23148809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.552 Prop: 22404.779 PropClause: 21813.912 Set: 4569.47 Check: 0.0 Back: 550.956
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 23201681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.558 Prop: 22452.388 PropClause: 21860.195 Set: 4579.367 Check: 0.0 Back: 552.219
INFO - Atoms: 52872/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 23254329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.566 Prop: 22502.564 PropClause: 21909.036 Set: 4589.286 Check: 0.0 Back: 553.475
INFO - Atoms: 52648/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 23307178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.572 Prop: 22550.062 PropClause: 21955.205 Set: 4599.228 Check: 0.0 Back: 554.729
INFO - Atoms: 52849/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 23359163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 22595.288 PropClause: 21999.127 Set: 4616.613 Check: 0.0 Back: 555.992
INFO - Atoms: 51985/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 23411830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.587 Prop: 22641.847 PropClause: 22044.36 Set: 4626.54 Check: 0.0 Back: 557.246
INFO - Atoms: 52667/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 23464680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.594 Prop: 22688.386 PropClause: 22089.568 Set: 4636.547 Check: 0.0 Back: 558.515
INFO - Atoms: 52850/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 23517550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 22735.899 PropClause: 22135.757 Set: 4646.427 Check: 0.0 Back: 559.79
INFO - Atoms: 52870/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 23570198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.606 Prop: 22780.039 PropClause: 22178.577 Set: 4656.073 Check: 0.0 Back: 561.053
INFO - Atoms: 52648/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 23622951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.613 Prop: 22823.355 PropClause: 22220.568 Set: 4665.743 Check: 0.0 Back: 562.318
INFO - Atoms: 52753/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 23675718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.618 Prop: 22866.838 PropClause: 22262.721 Set: 4675.306 Check: 0.0 Back: 563.59
INFO - Atoms: 52767/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 23728365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.625 Prop: 22913.188 PropClause: 22307.728 Set: 4685.035 Check: 0.0 Back: 564.85
INFO - Atoms: 52647/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 23780909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.632 Prop: 22959.084 PropClause: 22352.305 Set: 4694.664 Check: 0.0 Back: 566.12
INFO - Atoms: 52544/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 23832895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.637 Prop: 23005.303 PropClause: 22397.23 Set: 4704.16 Check: 0.0 Back: 567.365
INFO - Atoms: 51986/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 23885334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.644 Prop: 23052.637 PropClause: 22443.247 Set: 4713.986 Check: 0.0 Back: 568.602
INFO - Atoms: 52439/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 23937770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.653 Prop: 23098.69 PropClause: 22487.989 Set: 4723.739 Check: 0.0 Back: 569.86
INFO - Atoms: 52436/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 23990225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.66 Prop: 23143.033 PropClause: 22531.011 Set: 4733.277 Check: 0.0 Back: 571.132
INFO - Atoms: 52455/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 24042439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.781 Prop: 23186.952 PropClause: 22573.624 Set: 4742.861 Check: 0.0 Back: 572.407
INFO - Atoms: 52214/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 24094653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.921 Prop: 23230.627 PropClause: 22615.987 Set: 4752.46 Check: 0.0 Back: 573.668
INFO - Atoms: 52214/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 24146867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.981 Prop: 23277.942 PropClause: 22661.997 Set: 4762.213 Check: 0.0 Back: 574.93
INFO - Atoms: 52214/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 24199168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.994 Prop: 23325.006 PropClause: 22707.753 Set: 4771.9 Check: 0.0 Back: 576.194
INFO - Atoms: 52301/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 24251689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.006 Prop: 23371.273 PropClause: 22752.715 Set: 4781.57 Check: 0.0 Back: 577.447
INFO - Atoms: 52521/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 24303988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.018 Prop: 23417.325 PropClause: 22797.466 Set: 4791.158 Check: 0.0 Back: 578.7
INFO - Atoms: 52299/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 24356507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.031 Prop: 23462.902 PropClause: 22841.735 Set: 4800.888 Check: 0.0 Back: 579.966
INFO - Atoms: 52519/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 24408375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.067 Prop: 23507.002 PropClause: 22884.54 Set: 4810.311 Check: 0.0 Back: 581.216
INFO - Atoms: 51868/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 24460469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.079 Prop: 23549.6 PropClause: 22925.84 Set: 4829.617 Check: 0.0 Back: 582.468
INFO - Atoms: 52094/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 24512352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.092 Prop: 23592.758 PropClause: 22967.707 Set: 4839.102 Check: 0.0 Back: 583.721
INFO - Atoms: 51883/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 24563993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.105 Prop: 23644.182 PropClause: 23017.838 Set: 4848.552 Check: 0.0 Back: 584.965
INFO - Atoms: 51641/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 24615863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.118 Prop: 23690.029 PropClause: 23062.388 Set: 4860.762 Check: 0.0 Back: 586.205
INFO - Atoms: 51870/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 24667962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.13 Prop: 23733.617 PropClause: 23104.665 Set: 4869.709 Check: 0.0 Back: 587.496
INFO - Atoms: 52099/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 24720266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.143 Prop: 23775.924 PropClause: 23145.656 Set: 4878.585 Check: 0.0 Back: 588.784
INFO - Atoms: 52304/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 24772817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.155 Prop: 23819.849 PropClause: 23188.249 Set: 4887.607 Check: 0.0 Back: 590.078
INFO - Atoms: 52551/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 24825575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.167 Prop: 23865.339 PropClause: 23232.411 Set: 4896.723 Check: 0.0 Back: 591.369
INFO - Atoms: 52758/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 24878580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.181 Prop: 23913.489 PropClause: 23279.223 Set: 4906.002 Check: 0.0 Back: 592.662
INFO - Atoms: 53005/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 24931792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.194 Prop: 23962.151 PropClause: 23326.556 Set: 4926.219 Check: 0.0 Back: 593.957
INFO - Atoms: 53212/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 24985251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.206 Prop: 24010.542 PropClause: 23373.603 Set: 4935.569 Check: 0.0 Back: 595.243
INFO - Atoms: 53459/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 25038917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.22 Prop: 24060.507 PropClause: 23422.233 Set: 4944.911 Check: 0.0 Back: 596.522
INFO - Atoms: 53666/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 25092830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.233 Prop: 24109.588 PropClause: 23469.947 Set: 4954.314 Check: 0.0 Back: 597.862
INFO - Atoms: 53913/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 25146950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.245 Prop: 24157.392 PropClause: 23516.396 Set: 4964.006 Check: 0.0 Back: 599.182
INFO - Atoms: 54120/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 25201317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.26 Prop: 24208.401 PropClause: 23566.042 Set: 4973.462 Check: 0.0 Back: 600.499
INFO - Atoms: 54367/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 25255891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.272 Prop: 24257.955 PropClause: 23614.229 Set: 4982.948 Check: 0.0 Back: 601.83
INFO - Atoms: 54574/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 25310712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.284 Prop: 24310.1 PropClause: 23664.988 Set: 4992.493 Check: 0.0 Back: 603.162
INFO - Atoms: 54821/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 25365740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.295 Prop: 24358.26 PropClause: 23711.774 Set: 5001.953 Check: 0.0 Back: 604.491
INFO - Atoms: 55028/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 25421015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.31 Prop: 24407.551 PropClause: 23759.665 Set: 5011.597 Check: 0.0 Back: 605.843
INFO - Atoms: 55275/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 25476497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.323 Prop: 24456.846 PropClause: 23807.57 Set: 5021.341 Check: 0.0 Back: 607.207
INFO - Atoms: 55482/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 25532226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.334 Prop: 24510.64 PropClause: 23859.961 Set: 5031.135 Check: 0.0 Back: 608.584
INFO - Atoms: 55729/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 25588162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.347 Prop: 24560.185 PropClause: 23908.106 Set: 5040.872 Check: 0.0 Back: 609.958
INFO - Atoms: 55936/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 25644345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.358 Prop: 24610.589 PropClause: 23957.102 Set: 5050.692 Check: 0.0 Back: 611.319
INFO - Atoms: 56183/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 25700735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.37 Prop: 24661.335 PropClause: 24006.434 Set: 5060.603 Check: 0.0 Back: 612.703
INFO - Atoms: 56390/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 25757372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.381 Prop: 24717.393 PropClause: 24061.076 Set: 5070.636 Check: 0.0 Back: 614.073
INFO - Atoms: 56637/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 25814216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.394 Prop: 24771.991 PropClause: 24114.249 Set: 5080.651 Check: 0.0 Back: 615.441
INFO - Atoms: 56844/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 25871307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.407 Prop: 24829.219 PropClause: 24170.041 Set: 5090.607 Check: 0.0 Back: 616.811
INFO - Atoms: 57091/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 25928605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.418 Prop: 24884.288 PropClause: 24223.663 Set: 5100.758 Check: 0.0 Back: 618.193
INFO - Atoms: 57298/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 25986150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.434 Prop: 24940.811 PropClause: 24278.737 Set: 5118.186 Check: 0.0 Back: 619.585
INFO - Atoms: 57545/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 26043902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.447 Prop: 24997.675 PropClause: 24334.134 Set: 5128.308 Check: 0.0 Back: 620.974
INFO - Atoms: 57752/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 26101901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.46 Prop: 25050.439 PropClause: 24385.439 Set: 5138.395 Check: 0.0 Back: 622.388
INFO - Atoms: 57999/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 26160107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.474 Prop: 25102.913 PropClause: 24436.453 Set: 5148.568 Check: 0.0 Back: 623.81
INFO - Atoms: 58206/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 26218560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.485 Prop: 25158.848 PropClause: 24490.93 Set: 5158.977 Check: 0.0 Back: 625.236
INFO - Atoms: 58453/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 26277220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.498 Prop: 25212.742 PropClause: 24543.347 Set: 5169.359 Check: 0.0 Back: 626.654
INFO - Atoms: 58660/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 26336127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.512 Prop: 25269.462 PropClause: 24598.59 Set: 5179.939 Check: 0.0 Back: 628.074
INFO - Atoms: 58907/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 26395241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.523 Prop: 25326.726 PropClause: 24654.372 Set: 5190.363 Check: 0.0 Back: 629.489
INFO - Atoms: 59114/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 26454602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.535 Prop: 25387.57 PropClause: 24713.726 Set: 5200.896 Check: 0.0 Back: 630.92
INFO - Atoms: 59361/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 26514170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.548 Prop: 25446.391 PropClause: 24771.041 Set: 5211.602 Check: 0.0 Back: 632.347
INFO - Atoms: 59568/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 26573985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.563 Prop: 25504.987 PropClause: 24828.131 Set: 5222.112 Check: 0.0 Back: 633.789
INFO - Atoms: 59815/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 26634007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.577 Prop: 25564.625 PropClause: 24886.253 Set: 5232.797 Check: 0.0 Back: 635.239
INFO - Atoms: 60022/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 26694276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.589 Prop: 25624.111 PropClause: 24944.224 Set: 5243.523 Check: 0.0 Back: 636.679
INFO - Atoms: 60269/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 26754752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.6 Prop: 25678.905 PropClause: 24997.491 Set: 5254.329 Check: 0.0 Back: 638.12
INFO - Atoms: 60476/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 26815475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.611 Prop: 25738.231 PropClause: 25055.294 Set: 5264.971 Check: 0.0 Back: 639.591
INFO - Atoms: 60723/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 26876405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.624 Prop: 25794.859 PropClause: 25110.388 Set: 5275.708 Check: 0.0 Back: 641.075
INFO - Atoms: 60930/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 26937582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.636 Prop: 25853.967 PropClause: 25167.951 Set: 5286.712 Check: 0.0 Back: 642.556
INFO - Atoms: 61177/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 26998966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.649 Prop: 25912.883 PropClause: 25225.322 Set: 5297.654 Check: 0.0 Back: 644.032
INFO - Atoms: 61384/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 27060597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.659 Prop: 25973.181 PropClause: 25284.078 Set: 5308.521 Check: 0.0 Back: 645.523
INFO - Atoms: 61631/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 27122435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.672 Prop: 26035.325 PropClause: 25344.673 Set: 5319.583 Check: 0.0 Back: 647.003
INFO - Atoms: 61838/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 27184520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.683 Prop: 26095.575 PropClause: 25403.35 Set: 5330.541 Check: 0.0 Back: 648.484
INFO - Atoms: 62085/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 27246812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.697 Prop: 26158.745 PropClause: 25464.945 Set: 5341.799 Check: 0.0 Back: 649.971
INFO - Atoms: 62292/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 27309351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.707 Prop: 26221.361 PropClause: 25525.998 Set: 5352.865 Check: 0.0 Back: 651.459
INFO - Atoms: 62539/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 27372097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.718 Prop: 26282.878 PropClause: 25585.947 Set: 5364.019 Check: 0.0 Back: 652.956
INFO - Atoms: 62746/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 27435090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.73 Prop: 26347.041 PropClause: 25648.535 Set: 5391.681 Check: 0.0 Back: 654.459
INFO - Atoms: 62993/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 27498290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.741 Prop: 26407.051 PropClause: 25706.954 Set: 5403.144 Check: 0.0 Back: 655.928
INFO - Atoms: 63200/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 27561737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.752 Prop: 26469.418 PropClause: 25767.727 Set: 5414.43 Check: 0.0 Back: 657.429
INFO - Atoms: 63447/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 27625391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.763 Prop: 26529.977 PropClause: 25826.689 Set: 5425.708 Check: 0.0 Back: 658.971
INFO - Atoms: 63654/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 27689292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.777 Prop: 26594.237 PropClause: 25889.343 Set: 5437.04 Check: 0.0 Back: 660.5
INFO - Atoms: 63901/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 27753400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.79 Prop: 26657.356 PropClause: 25950.839 Set: 5448.473 Check: 0.0 Back: 662.036
INFO - Atoms: 64108/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 27817755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.8 Prop: 26722.569 PropClause: 26014.436 Set: 5459.753 Check: 0.0 Back: 663.579
INFO - Atoms: 64355/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 27882317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.813 Prop: 26787.946 PropClause: 26078.172 Set: 5471.266 Check: 0.0 Back: 665.099
INFO - Atoms: 64562/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 59447 Tprops: 14803 Decides: 67718 RSplits: 0
INFO - Times: Expl: 329.749 Prop: 66016.724 PropClause: 22.23 Set: 10698.169 Check: 243.729 Back: 292.215
INFO - Atoms: 792/1014 Clauses: 500 Axioms: 1014
INFO - CCTimes: iE 692312 eq 34047148 cc 102798147 setRep 69512655
INFO - Merges: 500565, cc:913344
INFO - BVTimes: BB 183013720 BB_DPLL 59081404907 Graph 1661981
INFO - BitBlastingClauses: 590650 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 27947126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.826 Prop: 26854.889 PropClause: 26143.442 Set: 5482.887 Check: 0.0 Back: 666.643
INFO - Atoms: 64809/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 28012142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.84 Prop: 26918.13 PropClause: 26205.037 Set: 5494.35 Check: 0.0 Back: 668.204
INFO - Atoms: 65016/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 28077405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.851 Prop: 26979.976 PropClause: 26265.228 Set: 5505.894 Check: 0.0 Back: 669.771
INFO - Atoms: 65263/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 28142875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.864 Prop: 27038.828 PropClause: 26322.417 Set: 5517.325 Check: 0.0 Back: 671.353
INFO - Atoms: 65470/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 28208592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.879 Prop: 27099.586 PropClause: 26381.509 Set: 5528.855 Check: 0.0 Back: 672.94
INFO - Atoms: 65717/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 28274516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.892 Prop: 27159.74 PropClause: 26439.988 Set: 5540.531 Check: 0.0 Back: 674.541
INFO - Atoms: 65924/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 28340687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.904 Prop: 27226.086 PropClause: 26504.66 Set: 5552.654 Check: 0.0 Back: 676.132
INFO - Atoms: 66171/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 28407065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.918 Prop: 27288.327 PropClause: 26565.221 Set: 5564.373 Check: 0.0 Back: 677.755
INFO - Atoms: 66378/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 28473690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.929 Prop: 27357.574 PropClause: 26632.8 Set: 5576.397 Check: 0.0 Back: 679.356
INFO - Atoms: 66625/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 28540522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.94 Prop: 27423.936 PropClause: 26697.479 Set: 5588.341 Check: 0.0 Back: 680.954
INFO - Atoms: 66832/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 28607601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.95 Prop: 27493.424 PropClause: 26765.273 Set: 5600.279 Check: 0.0 Back: 682.555
INFO - Atoms: 67079/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 28674887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.962 Prop: 27556.191 PropClause: 26826.352 Set: 5612.118 Check: 0.0 Back: 684.165
INFO - Atoms: 67286/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 28742420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.977 Prop: 27623.113 PropClause: 26891.565 Set: 5642.512 Check: 0.0 Back: 685.803
INFO - Atoms: 67533/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 28810160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.99 Prop: 27688.221 PropClause: 26954.964 Set: 5654.424 Check: 0.0 Back: 687.393
INFO - Atoms: 67740/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 28878147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.0 Prop: 27754.795 PropClause: 27019.828 Set: 5666.508 Check: 0.0 Back: 689.019
INFO - Atoms: 67987/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 28946341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.011 Prop: 27824.377 PropClause: 27087.675 Set: 5678.739 Check: 0.0 Back: 690.658
INFO - Atoms: 68194/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 29014782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.022 Prop: 27896.492 PropClause: 27158.049 Set: 5690.929 Check: 0.0 Back: 692.288
INFO - Atoms: 68441/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 29083430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.033 Prop: 27967.562 PropClause: 27227.398 Set: 5703.246 Check: 0.0 Back: 693.938
INFO - Atoms: 68648/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 29152325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.045 Prop: 28037.492 PropClause: 27295.606 Set: 5715.43 Check: 0.0 Back: 695.574
INFO - Atoms: 68895/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 29221427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.059 Prop: 28109.73 PropClause: 27366.094 Set: 5738.194 Check: 0.0 Back: 697.229
INFO - Atoms: 69102/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 29290776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.071 Prop: 28183.729 PropClause: 27438.357 Set: 5750.954 Check: 0.0 Back: 698.87
INFO - Atoms: 69349/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 29360332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.084 Prop: 28259.113 PropClause: 27511.993 Set: 5763.533 Check: 0.0 Back: 700.541
INFO - Atoms: 69556/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 29430135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.097 Prop: 28330.269 PropClause: 27581.383 Set: 5775.92 Check: 0.0 Back: 702.213
INFO - Atoms: 69803/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 29500145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.111 Prop: 28401.82 PropClause: 27651.171 Set: 5788.452 Check: 0.0 Back: 703.884
INFO - Atoms: 70010/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 29570402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.123 Prop: 28475.534 PropClause: 27723.136 Set: 5801.05 Check: 0.0 Back: 705.562
INFO - Atoms: 70257/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 29640866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.137 Prop: 28553.278 PropClause: 27799.09 Set: 5813.931 Check: 0.0 Back: 707.231
INFO - Atoms: 70464/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 29711577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.15 Prop: 28636.805 PropClause: 27880.834 Set: 5827.162 Check: 0.0 Back: 708.906
INFO - Atoms: 70711/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 29782495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.163 Prop: 28713.071 PropClause: 27955.318 Set: 5853.144 Check: 0.0 Back: 710.582
INFO - Atoms: 70918/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 29853660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.173 Prop: 28792.894 PropClause: 28033.337 Set: 5865.976 Check: 0.0 Back: 712.28
INFO - Atoms: 71165/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 29925032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.186 Prop: 28865.738 PropClause: 28104.394 Set: 5878.766 Check: 0.0 Back: 713.972
INFO - Atoms: 71372/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 29996651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.197 Prop: 28941.304 PropClause: 28178.15 Set: 5891.649 Check: 0.0 Back: 715.685
INFO - Atoms: 71619/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 30068477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.21 Prop: 29017.214 PropClause: 28252.26 Set: 5904.575 Check: 0.0 Back: 717.389
INFO - Atoms: 71826/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 30140550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.222 Prop: 29094.588 PropClause: 28327.832 Set: 5917.603 Check: 0.0 Back: 719.124
INFO - Atoms: 72073/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 30212830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.232 Prop: 29170.079 PropClause: 28401.518 Set: 5930.669 Check: 0.0 Back: 720.841
INFO - Atoms: 72280/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 30285357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.243 Prop: 29248.664 PropClause: 28478.27 Set: 5943.814 Check: 0.0 Back: 722.557
INFO - Atoms: 72527/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 30358091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.256 Prop: 29327.633 PropClause: 28555.403 Set: 5956.834 Check: 0.0 Back: 724.301
INFO - Atoms: 72734/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 30431072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.268 Prop: 29409.193 PropClause: 28635.133 Set: 5970.12 Check: 0.0 Back: 726.022
INFO - Atoms: 72981/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 30504260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.281 Prop: 29490.286 PropClause: 28714.391 Set: 5983.477 Check: 0.0 Back: 727.732
INFO - Atoms: 73188/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 30577695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.293 Prop: 29570.529 PropClause: 28792.8 Set: 5996.702 Check: 0.0 Back: 729.482
INFO - Atoms: 73435/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 30651337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.305 Prop: 29650.47 PropClause: 28870.893 Set: 6009.899 Check: 0.0 Back: 731.229
INFO - Atoms: 73642/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 30725226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.317 Prop: 29729.11 PropClause: 28947.67 Set: 6023.156 Check: 0.0 Back: 732.976
INFO - Atoms: 73889/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 30799322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.329 Prop: 29807.213 PropClause: 29023.917 Set: 6036.433 Check: 0.0 Back: 734.743
INFO - Atoms: 74096/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 30873665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.341 Prop: 29888.557 PropClause: 29103.405 Set: 6050.281 Check: 0.0 Back: 736.487
INFO - Atoms: 74343/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 30948215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.352 Prop: 29970.875 PropClause: 29183.848 Set: 6063.744 Check: 0.0 Back: 738.257
INFO - Atoms: 74550/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 31023012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.362 Prop: 30058.881 PropClause: 29269.974 Set: 6077.817 Check: 0.0 Back: 740.034
INFO - Atoms: 74797/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 31098016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.375 Prop: 30142.954 PropClause: 29352.144 Set: 6091.599 Check: 0.0 Back: 741.811
INFO - Atoms: 75004/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 31173267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.389 Prop: 30223.619 PropClause: 29430.909 Set: 6105.195 Check: 0.0 Back: 743.599
INFO - Atoms: 75251/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 31248725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.4 Prop: 30303.846 PropClause: 29509.247 Set: 6118.913 Check: 0.0 Back: 745.387
INFO - Atoms: 75458/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 31324429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.413 Prop: 30388.191 PropClause: 29591.687 Set: 6132.986 Check: 0.0 Back: 747.177
INFO - Atoms: 75704/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 31400341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.424 Prop: 30470.122 PropClause: 29671.707 Set: 6146.743 Check: 0.0 Back: 748.996
INFO - Atoms: 75912/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 31476499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.437 Prop: 30556.14 PropClause: 29755.823 Set: 6160.62 Check: 0.0 Back: 750.795
INFO - Atoms: 76158/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 31552887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.447 Prop: 30642.853 PropClause: 29840.626 Set: 6174.607 Check: 0.0 Back: 752.594
INFO - Atoms: 76388/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 31629499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.466 Prop: 30731.112 PropClause: 29926.962 Set: 6188.712 Check: 0.0 Back: 754.402
INFO - Atoms: 76612/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 31706318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.477 Prop: 30818.006 PropClause: 30011.919 Set: 6202.643 Check: 0.0 Back: 756.22
INFO - Atoms: 76819/76832 Clauses: 677 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1052 Props: 33444326 Tprops: 0 Decides: 4866 RSplits: 0
INFO - Times: Expl: 1005.362 Prop: 32486.896 PropClause: 31634.218 Set: 6247.08 Check: 0.119 Back: 798.228
INFO - Atoms: 25431/76832 Clauses: 1176 Axioms: 254002
INFO - Restart
INFO - Confl: 1552 Props: 36540542 Tprops: 0 Decides: 13422 RSplits: 0
INFO - Times: Expl: 2062.941 Prop: 35827.376 PropClause: 34891.481 Set: 6321.291 Check: 0.324 Back: 871.605
INFO - Atoms: 25447/76832 Clauses: 1676 Axioms: 254002
INFO - Confl: 1806 Props: 37546449 Tprops: 0 Decides: 15691 RSplits: 0
INFO - Times: Expl: 2493.331 Prop: 36907.266 PropClause: 35944.371 Set: 6345.6 Check: 0.388 Back: 895.343
INFO - Atoms: 26162/76832 Clauses: 1930 Axioms: 254002
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 555 Props: 65662 Tprops: 14805 Decides: 69206 RSplits: 0
INFO - Times: Expl: 360.666 Prop: 83525.214 PropClause: 25.59 Set: 11653.355 Check: 271.496 Back: 310.102
INFO - Atoms: 1014/1014 Clauses: 555 Axioms: 1014
INFO - CCTimes: iE 698694 eq 36464824 cc 115284037 setRep 80183731
INFO - Merges: 573150, cc:1538561
INFO - BVTimes: BB 183013720 BB_DPLL 75624500967 Graph 1696269
INFO - BitBlastingClauses: 627830 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat