/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_096.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 153357317
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 65948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.581 Prop: 91.134 PropClause: 87.054 Set: 30.276 Check: 0.0 Back: 0.0
INFO - Atoms: 65948/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 131452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.615 Prop: 175.398 PropClause: 168.901 Set: 42.233 Check: 0.0 Back: 1.515
INFO - Atoms: 65504/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 196625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.675 Prop: 262.475 PropClause: 254.022 Set: 54.148 Check: 0.0 Back: 3.024
INFO - Atoms: 65173/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 261798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.716 Prop: 340.139 PropClause: 329.744 Set: 66.305 Check: 0.0 Back: 4.543
INFO - Atoms: 65173/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 326971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.801 Prop: 417.371 PropClause: 404.971 Set: 85.758 Check: 0.0 Back: 6.022
INFO - Atoms: 65173/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 392144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.862 Prop: 493.05 PropClause: 478.84 Set: 97.795 Check: 0.0 Back: 7.493
INFO - Atoms: 65173/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 457311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.929 Prop: 566.293 PropClause: 550.291 Set: 109.828 Check: 0.0 Back: 9.013
INFO - Atoms: 65167/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 522270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.97 Prop: 636.483 PropClause: 618.702 Set: 121.73 Check: 0.0 Back: 10.517
INFO - Atoms: 64959/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 586988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.012 Prop: 708.984 PropClause: 689.422 Set: 133.579 Check: 0.0 Back: 12.008
INFO - Atoms: 64718/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 651478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.048 Prop: 778.69 PropClause: 757.355 Set: 151.04 Check: 0.0 Back: 13.515
INFO - Atoms: 64490/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 715742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.091 Prop: 851.412 PropClause: 828.308 Set: 169.693 Check: 0.0 Back: 14.995
INFO - Atoms: 64264/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 779778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.133 Prop: 923.118 PropClause: 898.247 Set: 214.77 Check: 0.0 Back: 16.463
INFO - Atoms: 64036/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 843588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.169 Prop: 993.968 PropClause: 967.318 Set: 226.566 Check: 0.0 Back: 17.922
INFO - Atoms: 63810/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 907170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.218 Prop: 1068.28 PropClause: 1039.871 Set: 238.246 Check: 0.0 Back: 19.379
INFO - Atoms: 63582/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 970526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.26 Prop: 1141.136 PropClause: 1110.996 Set: 249.85 Check: 0.0 Back: 20.848
INFO - Atoms: 63356/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1033654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.299 Prop: 1209.89 PropClause: 1178.016 Set: 261.31 Check: 0.0 Back: 22.268
INFO - Atoms: 63128/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1096556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.339 Prop: 1277.407 PropClause: 1243.797 Set: 272.736 Check: 0.0 Back: 23.701
INFO - Atoms: 62902/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1159230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.378 Prop: 1345.148 PropClause: 1309.812 Set: 284.042 Check: 0.0 Back: 25.154
INFO - Atoms: 62674/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1221678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.421 Prop: 1414.992 PropClause: 1377.916 Set: 295.53 Check: 0.0 Back: 26.592
INFO - Atoms: 62448/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1283898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.46 Prop: 1483.23 PropClause: 1444.443 Set: 306.742 Check: 0.0 Back: 28.045
INFO - Atoms: 62220/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1345892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 1548.077 PropClause: 1507.576 Set: 318.087 Check: 0.0 Back: 29.483
INFO - Atoms: 61994/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1407675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.543 Prop: 1616.251 PropClause: 1574.048 Set: 334.55 Check: 0.0 Back: 30.903
INFO - Atoms: 61783/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1469215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.58 Prop: 1682.078 PropClause: 1638.17 Set: 352.057 Check: 0.0 Back: 32.322
INFO - Atoms: 61540/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1530543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.621 Prop: 1756.217 PropClause: 1710.606 Set: 370.146 Check: 0.0 Back: 33.732
INFO - Atoms: 61328/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1591629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.662 Prop: 1826.451 PropClause: 1779.164 Set: 387.758 Check: 0.0 Back: 35.142
INFO - Atoms: 61086/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1652487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.701 Prop: 1897.282 PropClause: 1848.315 Set: 404.225 Check: 0.0 Back: 36.557
INFO - Atoms: 60858/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1713119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.74 Prop: 1962.897 PropClause: 1912.257 Set: 415.411 Check: 0.0 Back: 37.951
INFO - Atoms: 60632/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1773523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.781 Prop: 2032.782 PropClause: 1980.47 Set: 426.558 Check: 0.0 Back: 39.346
INFO - Atoms: 60404/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1833701 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.818 Prop: 2099.013 PropClause: 2045.029 Set: 437.534 Check: 0.0 Back: 40.724
INFO - Atoms: 60178/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1893667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.854 Prop: 2167.233 PropClause: 2111.599 Set: 448.532 Check: 0.0 Back: 42.118
INFO - Atoms: 59966/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1953391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.896 Prop: 2237.148 PropClause: 2179.847 Set: 459.454 Check: 0.0 Back: 43.499
INFO - Atoms: 59724/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2012902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.942 Prop: 2307.484 PropClause: 2248.486 Set: 470.544 Check: 0.0 Back: 44.874
INFO - Atoms: 59511/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2072172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.979 Prop: 2374.972 PropClause: 2314.308 Set: 481.339 Check: 0.0 Back: 46.248
INFO - Atoms: 59270/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2131229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.017 Prop: 2445.179 PropClause: 2382.885 Set: 492.055 Check: 0.0 Back: 47.637
INFO - Atoms: 59057/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2190045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 2510.142 PropClause: 2446.227 Set: 502.815 Check: 0.0 Back: 49.014
INFO - Atoms: 58816/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2248648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.09 Prop: 2579.077 PropClause: 2513.534 Set: 513.553 Check: 0.0 Back: 50.389
INFO - Atoms: 58603/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2307010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.129 Prop: 2645.581 PropClause: 2578.372 Set: 524.113 Check: 0.0 Back: 51.754
INFO - Atoms: 58362/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2365160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.166 Prop: 2712.203 PropClause: 2643.381 Set: 534.636 Check: 0.0 Back: 53.105
INFO - Atoms: 58150/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2423068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.206 Prop: 2780.713 PropClause: 2710.28 Set: 545.364 Check: 0.0 Back: 54.431
INFO - Atoms: 57908/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2480763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.242 Prop: 2852.026 PropClause: 2779.992 Set: 555.9 Check: 0.0 Back: 55.767
INFO - Atoms: 57695/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2538217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.286 Prop: 2918.632 PropClause: 2845.018 Set: 566.452 Check: 0.0 Back: 57.093
INFO - Atoms: 57454/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2595459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.345 Prop: 2985.068 PropClause: 2909.873 Set: 577.177 Check: 0.0 Back: 58.406
INFO - Atoms: 57242/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2652459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.384 Prop: 3050.107 PropClause: 2973.333 Set: 587.474 Check: 0.0 Back: 59.714
INFO - Atoms: 57000/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2709247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.421 Prop: 3114.914 PropClause: 3036.567 Set: 597.8 Check: 0.0 Back: 61.018
INFO - Atoms: 56788/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2765793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.457 Prop: 3177.063 PropClause: 3097.147 Set: 608.046 Check: 0.0 Back: 62.323
INFO - Atoms: 56546/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2822127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.499 Prop: 3241.418 PropClause: 3159.937 Set: 618.153 Check: 0.0 Back: 63.625
INFO - Atoms: 56334/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2878219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.541 Prop: 3305.054 PropClause: 3222.028 Set: 628.434 Check: 0.0 Back: 64.952
INFO - Atoms: 56092/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2934099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.582 Prop: 3370.265 PropClause: 3285.69 Set: 643.455 Check: 0.0 Back: 66.258
INFO - Atoms: 55880/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2989737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 3433.127 PropClause: 3347.022 Set: 658.337 Check: 0.0 Back: 67.544
INFO - Atoms: 55638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3045163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.664 Prop: 3496.077 PropClause: 3408.442 Set: 679.183 Check: 0.0 Back: 68.825
INFO - Atoms: 55426/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3100347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.707 Prop: 3556.493 PropClause: 3467.321 Set: 689.152 Check: 0.0 Back: 70.1
INFO - Atoms: 55184/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3155303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.886 Prop: 3617.499 PropClause: 3526.807 Set: 699.076 Check: 0.0 Back: 71.366
INFO - Atoms: 54956/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 3210033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.947 Prop: 3676.939 PropClause: 3584.739 Set: 709.019 Check: 0.0 Back: 72.634
INFO - Atoms: 54730/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 3264535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.969 Prop: 3739.778 PropClause: 3646.074 Set: 718.772 Check: 0.0 Back: 73.896
INFO - Atoms: 54502/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 3318811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.989 Prop: 3795.858 PropClause: 3700.663 Set: 728.462 Check: 0.0 Back: 75.142
INFO - Atoms: 54276/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 3372876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.007 Prop: 3853.178 PropClause: 3756.496 Set: 738.235 Check: 0.0 Back: 76.392
INFO - Atoms: 54065/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 3426698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.026 Prop: 3908.492 PropClause: 3810.338 Set: 747.843 Check: 0.0 Back: 77.623
INFO - Atoms: 53822/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3480308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.047 Prop: 3970.314 PropClause: 3870.682 Set: 757.504 Check: 0.0 Back: 78.854
INFO - Atoms: 53610/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3533676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.068 Prop: 4028.979 PropClause: 3927.877 Set: 767.134 Check: 0.0 Back: 80.098
INFO - Atoms: 53368/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3586816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.091 Prop: 4090.943 PropClause: 3988.378 Set: 776.687 Check: 0.0 Back: 81.338
INFO - Atoms: 53140/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3639730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.11 Prop: 4147.546 PropClause: 4043.525 Set: 786.08 Check: 0.0 Back: 82.565
INFO - Atoms: 52914/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3692433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.131 Prop: 4203.704 PropClause: 4098.218 Set: 795.504 Check: 0.0 Back: 83.796
INFO - Atoms: 52703/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3744893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.149 Prop: 4258.406 PropClause: 4151.472 Set: 804.896 Check: 0.0 Back: 85.015
INFO - Atoms: 52460/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3797141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.168 Prop: 4314.669 PropClause: 4206.283 Set: 814.147 Check: 0.0 Back: 86.219
INFO - Atoms: 52248/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3849147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.189 Prop: 4368.287 PropClause: 4258.469 Set: 823.417 Check: 0.0 Back: 87.414
INFO - Atoms: 52006/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3900925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.208 Prop: 4421.614 PropClause: 4310.368 Set: 832.693 Check: 0.0 Back: 88.606
INFO - Atoms: 51778/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3952477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.229 Prop: 4477.947 PropClause: 4365.283 Set: 841.957 Check: 0.0 Back: 89.802
INFO - Atoms: 51552/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 4003817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.248 Prop: 4532.078 PropClause: 4417.996 Set: 851.027 Check: 0.0 Back: 90.995
INFO - Atoms: 51340/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 4054915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.268 Prop: 4582.898 PropClause: 4467.407 Set: 860.126 Check: 0.0 Back: 92.184
INFO - Atoms: 51098/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 4105801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 4637.376 PropClause: 4520.494 Set: 869.199 Check: 0.0 Back: 93.357
INFO - Atoms: 50886/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 4156445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.308 Prop: 4688.882 PropClause: 4570.614 Set: 878.267 Check: 0.0 Back: 94.515
INFO - Atoms: 50644/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 4206877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.325 Prop: 4739.29 PropClause: 4619.632 Set: 887.077 Check: 0.0 Back: 95.688
INFO - Atoms: 50432/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 4257067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 4790.023 PropClause: 4668.974 Set: 895.892 Check: 0.0 Back: 96.858
INFO - Atoms: 50190/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 4307045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.362 Prop: 4840.937 PropClause: 4718.495 Set: 904.711 Check: 0.0 Back: 98.012
INFO - Atoms: 49978/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 4356781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.38 Prop: 4892.121 PropClause: 4768.308 Set: 913.56 Check: 0.0 Back: 99.159
INFO - Atoms: 49736/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 4406289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.399 Prop: 4944.277 PropClause: 4819.088 Set: 922.282 Check: 0.0 Back: 100.303
INFO - Atoms: 49508/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 4455571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.416 Prop: 4993.644 PropClause: 4867.087 Set: 931.025 Check: 0.0 Back: 101.437
INFO - Atoms: 49282/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 4504625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.437 Prop: 5043.179 PropClause: 4915.27 Set: 939.609 Check: 0.0 Back: 102.573
INFO - Atoms: 49054/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 4553453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.455 Prop: 5091.732 PropClause: 4962.482 Set: 948.225 Check: 0.0 Back: 103.727
INFO - Atoms: 48828/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4602070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 5142.037 PropClause: 5011.452 Set: 956.738 Check: 0.0 Back: 104.845
INFO - Atoms: 48617/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4650444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.493 Prop: 5190.635 PropClause: 5058.723 Set: 965.326 Check: 0.0 Back: 105.96
INFO - Atoms: 48374/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4698590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 5239.442 PropClause: 5106.197 Set: 973.773 Check: 0.0 Back: 107.093
INFO - Atoms: 48146/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4746510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.534 Prop: 5287.446 PropClause: 5152.868 Set: 982.159 Check: 0.0 Back: 108.189
INFO - Atoms: 47920/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4794202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 5335.904 PropClause: 5200.005 Set: 990.551 Check: 0.0 Back: 109.292
INFO - Atoms: 47692/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4841668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.571 Prop: 5384.878 PropClause: 5247.68 Set: 998.931 Check: 0.0 Back: 110.385
INFO - Atoms: 47466/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4888922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.591 Prop: 5431.687 PropClause: 5293.184 Set: 1007.241 Check: 0.0 Back: 111.474
INFO - Atoms: 47254/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4935934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 5480.956 PropClause: 5341.159 Set: 1015.62 Check: 0.0 Back: 112.554
INFO - Atoms: 47012/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4982733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.671 Prop: 5531.87 PropClause: 5390.783 Set: 1023.821 Check: 0.0 Back: 113.635
INFO - Atoms: 46799/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 5029291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.682 Prop: 5577.468 PropClause: 5435.098 Set: 1031.941 Check: 0.0 Back: 114.707
INFO - Atoms: 46558/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 5075636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 5625.894 PropClause: 5482.249 Set: 1040.006 Check: 0.0 Back: 115.79
INFO - Atoms: 46345/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 5121740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.703 Prop: 5671.101 PropClause: 5526.193 Set: 1048.066 Check: 0.0 Back: 116.851
INFO - Atoms: 46104/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 5167632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 5716.23 PropClause: 5570.053 Set: 1056.021 Check: 0.0 Back: 117.906
INFO - Atoms: 45892/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 5213282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.722 Prop: 5759.913 PropClause: 5612.481 Set: 1064.029 Check: 0.0 Back: 118.963
INFO - Atoms: 45650/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 5258704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.732 Prop: 5804.596 PropClause: 5655.911 Set: 1071.891 Check: 0.0 Back: 120.02
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 5303900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.744 Prop: 5852.696 PropClause: 5702.752 Set: 1079.801 Check: 0.0 Back: 121.059
INFO - Atoms: 45196/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 5348884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.755 Prop: 5896.035 PropClause: 5744.848 Set: 1087.462 Check: 0.0 Back: 122.102
INFO - Atoms: 44984/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 5393626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.766 Prop: 5940.245 PropClause: 5787.823 Set: 1095.258 Check: 0.0 Back: 123.136
INFO - Atoms: 44742/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 5438155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.777 Prop: 5987.38 PropClause: 5833.732 Set: 1103.119 Check: 0.0 Back: 124.158
INFO - Atoms: 44529/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 5482443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 6029.293 PropClause: 5874.423 Set: 1110.764 Check: 0.0 Back: 125.176
INFO - Atoms: 44288/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 5526503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.796 Prop: 6071.991 PropClause: 5915.907 Set: 1118.317 Check: 0.0 Back: 126.21
INFO - Atoms: 44060/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 5571922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.808 Prop: 6116.867 PropClause: 5959.464 Set: 1135.784 Check: 0.0 Back: 127.216
INFO - Atoms: 45419/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 5617319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.818 Prop: 6164.408 PropClause: 6005.754 Set: 1143.689 Check: 0.0 Back: 128.257
INFO - Atoms: 45397/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 5662052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 6207.828 PropClause: 6047.939 Set: 1151.585 Check: 0.0 Back: 129.296
INFO - Atoms: 44733/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 5707452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.837 Prop: 6254.717 PropClause: 6093.578 Set: 1159.569 Check: 0.0 Back: 130.323
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 5752874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.848 Prop: 6298.149 PropClause: 6135.762 Set: 1167.638 Check: 0.0 Back: 131.353
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5798495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.859 Prop: 6343.567 PropClause: 6179.933 Set: 1175.671 Check: 0.0 Back: 132.429
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5843895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.87 Prop: 6387.469 PropClause: 6222.58 Set: 1183.595 Check: 0.0 Back: 133.468
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5889496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.881 Prop: 6431.698 PropClause: 6265.558 Set: 1191.542 Check: 0.0 Back: 134.509
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 5935120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.892 Prop: 6473.151 PropClause: 6305.758 Set: 1199.544 Check: 0.0 Back: 135.547
INFO - Atoms: 45624/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 5980721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.902 Prop: 6516.941 PropClause: 6348.294 Set: 1207.524 Check: 0.0 Back: 136.588
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 6026123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 6560.601 PropClause: 6390.703 Set: 1215.451 Check: 0.0 Back: 137.627
INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 6071761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.925 Prop: 6604.814 PropClause: 6433.661 Set: 1223.473 Check: 0.0 Back: 138.678
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 6117161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 6648.055 PropClause: 6475.648 Set: 1231.407 Check: 0.0 Back: 139.726
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 6162762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.944 Prop: 6690.995 PropClause: 6517.332 Set: 1239.383 Check: 0.0 Back: 140.767
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 6207500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 6732.779 PropClause: 6557.879 Set: 1247.176 Check: 0.0 Back: 141.809
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 6253101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 6774.702 PropClause: 6598.542 Set: 1255.151 Check: 0.0 Back: 142.838
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 6298521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.974 Prop: 6818.544 PropClause: 6641.135 Set: 1263.024 Check: 0.0 Back: 143.883
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 6344142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.982 Prop: 6860.556 PropClause: 6681.891 Set: 1270.962 Check: 0.0 Back: 144.923
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 6389542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.993 Prop: 6904.362 PropClause: 6724.446 Set: 1278.914 Check: 0.0 Back: 145.963
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 6435141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.003 Prop: 6949.303 PropClause: 6768.122 Set: 1286.942 Check: 0.0 Back: 147.009
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 6479879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.013 Prop: 6991.03 PropClause: 6808.598 Set: 1294.702 Check: 0.0 Back: 148.059
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 6525478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.024 Prop: 7033.075 PropClause: 6849.39 Set: 1302.737 Check: 0.0 Back: 149.083
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 6570900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 7075.714 PropClause: 6890.774 Set: 1310.867 Check: 0.0 Back: 150.133
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 6616538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.05 Prop: 7120.503 PropClause: 6934.29 Set: 1318.99 Check: 0.0 Back: 151.173
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 6661938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.06 Prop: 7164.374 PropClause: 6976.898 Set: 1327.035 Check: 0.0 Back: 152.242
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 6707537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.069 Prop: 7209.109 PropClause: 7020.372 Set: 1335.155 Check: 0.0 Back: 153.291
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 6752275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.078 Prop: 7253.171 PropClause: 7063.193 Set: 1343.02 Check: 0.0 Back: 154.344
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 6797874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.089 Prop: 7300.999 PropClause: 7109.762 Set: 1351.211 Check: 0.0 Back: 155.386
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 6843296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.1 Prop: 7347.388 PropClause: 7154.895 Set: 1359.28 Check: 0.0 Back: 156.434
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 6888033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.111 Prop: 7392.619 PropClause: 7198.88 Set: 1367.083 Check: 0.0 Back: 157.48
INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 6933453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.123 Prop: 7438.069 PropClause: 7243.04 Set: 1375.256 Check: 0.0 Back: 158.501
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 6979054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.133 Prop: 7481.958 PropClause: 7285.672 Set: 1383.368 Check: 0.0 Back: 159.541
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 7024678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.143 Prop: 7524.169 PropClause: 7326.623 Set: 1391.436 Check: 0.0 Back: 160.597
INFO - Atoms: 45624/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 7070276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.152 Prop: 7567.313 PropClause: 7368.5 Set: 1399.512 Check: 0.0 Back: 161.645
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 7115678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 7610.978 PropClause: 7410.909 Set: 1407.514 Check: 0.0 Back: 162.7
INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 7160415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.172 Prop: 7656.976 PropClause: 7455.655 Set: 1415.442 Check: 0.0 Back: 163.759
INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 7205835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 7699.356 PropClause: 7496.772 Set: 1423.473 Check: 0.0 Back: 164.785
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 7251436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 7744.231 PropClause: 7540.387 Set: 1431.521 Check: 0.0 Back: 165.831
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 7297060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.201 Prop: 7786.772 PropClause: 7581.67 Set: 1439.609 Check: 0.0 Back: 166.881
INFO - Atoms: 45624/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 7342660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 7830.643 PropClause: 7624.272 Set: 1447.76 Check: 0.0 Back: 167.937
INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 7388062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.221 Prop: 7873.994 PropClause: 7666.378 Set: 1455.647 Check: 0.0 Back: 168.997
INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 7433683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.23 Prop: 7918.088 PropClause: 7709.211 Set: 1463.568 Check: 0.0 Back: 170.046
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 7479083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.239 Prop: 7960.943 PropClause: 7750.811 Set: 1471.532 Check: 0.0 Back: 171.078
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 7524682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.251 Prop: 8004.897 PropClause: 7793.502 Set: 1479.577 Check: 0.0 Back: 172.125
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 7569420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.26 Prop: 8048.833 PropClause: 7836.201 Set: 1487.516 Check: 0.0 Back: 173.167
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 7615021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.271 Prop: 8090.731 PropClause: 7876.847 Set: 1495.533 Check: 0.0 Back: 174.193
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 7660441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.279 Prop: 8132.251 PropClause: 7917.116 Set: 1503.434 Check: 0.0 Back: 175.23
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 7706062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.287 Prop: 8176.543 PropClause: 7960.132 Set: 1511.647 Check: 0.0 Back: 176.273
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 7751462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 8218.362 PropClause: 8000.696 Set: 1519.725 Check: 0.0 Back: 177.314
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 7797061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.306 Prop: 8260.441 PropClause: 8041.515 Set: 1527.678 Check: 0.0 Back: 178.355
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 7841799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.315 Prop: 8301.24 PropClause: 8081.087 Set: 1535.41 Check: 0.0 Back: 179.404
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 7887398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.324 Prop: 8343.115 PropClause: 8121.71 Set: 1543.439 Check: 0.0 Back: 180.424
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 7932820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.332 Prop: 8387.088 PropClause: 8164.415 Set: 1551.447 Check: 0.0 Back: 181.462
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 7978458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.342 Prop: 8431.175 PropClause: 8207.242 Set: 1559.56 Check: 0.0 Back: 182.507
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 8023858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.352 Prop: 8473.199 PropClause: 8248.012 Set: 1567.515 Check: 0.0 Back: 183.562
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 8069457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.362 Prop: 8515.134 PropClause: 8288.686 Set: 1575.612 Check: 0.0 Back: 184.606
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 8114195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.373 Prop: 8559.311 PropClause: 8331.624 Set: 1583.554 Check: 0.0 Back: 185.67
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 8159793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.383 Prop: 8601.372 PropClause: 8372.428 Set: 1591.543 Check: 0.0 Back: 186.712
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 8205216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.395 Prop: 8644.867 PropClause: 8414.661 Set: 1599.563 Check: 0.0 Back: 187.755
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 8250853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 8688.708 PropClause: 8457.229 Set: 1607.687 Check: 0.0 Back: 188.816
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 8296253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.414 Prop: 8733.455 PropClause: 8500.722 Set: 1615.848 Check: 0.0 Back: 189.869
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 8341852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.423 Prop: 8779.625 PropClause: 8545.624 Set: 1624.009 Check: 0.0 Back: 190.913
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 8386590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 8825.732 PropClause: 8590.49 Set: 1631.982 Check: 0.0 Back: 191.968
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 8432188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.446 Prop: 8872.925 PropClause: 8636.408 Set: 1640.206 Check: 0.0 Back: 193.076
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 8477611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 8919.128 PropClause: 8681.357 Set: 1648.405 Check: 0.0 Back: 194.137
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 8523247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.467 Prop: 8965.946 PropClause: 8726.915 Set: 1656.497 Check: 0.0 Back: 195.184
INFO - Atoms: 45636/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 8568647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 9011.5 PropClause: 8771.191 Set: 1664.523 Check: 0.0 Back: 196.243
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 8614246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.486 Prop: 9058.917 PropClause: 8817.351 Set: 1672.682 Check: 0.0 Back: 197.298
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 8658984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.496 Prop: 9104.818 PropClause: 8862.015 Set: 1680.683 Check: 0.0 Back: 198.346
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 8704582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 9150.647 PropClause: 8906.584 Set: 1688.883 Check: 0.0 Back: 199.378
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 8750005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 9196.191 PropClause: 8950.843 Set: 1697.052 Check: 0.0 Back: 200.427
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 8795626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.525 Prop: 9239.237 PropClause: 8992.625 Set: 1705.074 Check: 0.0 Back: 201.485
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 8841026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.565 Prop: 9282.974 PropClause: 9035.108 Set: 1713.239 Check: 0.0 Back: 202.525
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 8886625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 9327.548 PropClause: 9078.408 Set: 1721.357 Check: 0.0 Back: 203.573
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 8931363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.608 Prop: 9372.186 PropClause: 9121.804 Set: 1729.269 Check: 0.0 Back: 204.615
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 8976961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 9422.289 PropClause: 9170.627 Set: 1737.641 Check: 0.0 Back: 205.651
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 9022384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.627 Prop: 9468.687 PropClause: 9215.769 Set: 1745.772 Check: 0.0 Back: 206.695
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 9068005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 9515.022 PropClause: 9260.847 Set: 1754.009 Check: 0.0 Back: 207.738
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 9113405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.647 Prop: 9560.278 PropClause: 9304.844 Set: 1762.196 Check: 0.0 Back: 208.881
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 9159004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 9606.888 PropClause: 9350.182 Set: 1770.293 Check: 0.0 Back: 209.943
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 9204626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 9652.308 PropClause: 9394.343 Set: 1778.445 Check: 0.0 Back: 210.985
INFO - Atoms: 45622/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 9250226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 9697.325 PropClause: 9438.102 Set: 1786.526 Check: 0.0 Back: 212.04
INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 9295628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.685 Prop: 9742.713 PropClause: 9482.235 Set: 1794.558 Check: 0.0 Back: 213.096
INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 9341265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.693 Prop: 9787.525 PropClause: 9525.784 Set: 1802.694 Check: 0.0 Back: 214.155
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 9386665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.703 Prop: 9833.742 PropClause: 9570.747 Set: 1810.887 Check: 0.0 Back: 215.206
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 9432266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.712 Prop: 9884.344 PropClause: 9620.087 Set: 1819.182 Check: 0.0 Back: 216.254
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 9477004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 9930.773 PropClause: 9665.28 Set: 1827.165 Check: 0.0 Back: 217.306
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 9522604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.73 Prop: 9976.574 PropClause: 9709.821 Set: 1835.272 Check: 0.0 Back: 218.334
INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 9568025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.741 Prop: 10022.288 PropClause: 9754.283 Set: 1843.426 Check: 0.0 Back: 219.377
INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 9613646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.749 Prop: 10068.934 PropClause: 9799.665 Set: 1851.589 Check: 0.0 Back: 220.417
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 9659046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.758 Prop: 10114.313 PropClause: 9843.79 Set: 1859.793 Check: 0.0 Back: 221.462
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 9704645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.77 Prop: 10161.124 PropClause: 9889.325 Set: 1867.86 Check: 0.0 Back: 222.51
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 9749383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.78 Prop: 10205.57 PropClause: 9932.537 Set: 1875.71 Check: 0.0 Back: 223.561
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 9794981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 10251.671 PropClause: 9977.377 Set: 1883.973 Check: 0.0 Back: 224.594
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 9840404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 10297.193 PropClause: 10021.643 Set: 1892.193 Check: 0.0 Back: 225.658
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 9886025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 10344.127 PropClause: 10067.315 Set: 1900.556 Check: 0.0 Back: 226.702
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 9931425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.82 Prop: 10389.979 PropClause: 10111.911 Set: 1908.738 Check: 0.0 Back: 227.747
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 9977024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.829 Prop: 10435.861 PropClause: 10156.528 Set: 1916.851 Check: 0.0 Back: 228.794
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 10021762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.841 Prop: 10482.294 PropClause: 10201.726 Set: 1924.907 Check: 0.0 Back: 229.838
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 10067360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.851 Prop: 10529.917 PropClause: 10248.071 Set: 1933.16 Check: 0.0 Back: 230.874
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 10112783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.86 Prop: 10575.368 PropClause: 10292.26 Set: 1941.371 Check: 0.0 Back: 231.927
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 10158421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.869 Prop: 10623.508 PropClause: 10339.124 Set: 1949.697 Check: 0.0 Back: 232.996
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 10203821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.879 Prop: 10668.608 PropClause: 10382.968 Set: 1957.925 Check: 0.0 Back: 234.047
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 10249420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.888 Prop: 10717.247 PropClause: 10430.347 Set: 1966.18 Check: 0.0 Back: 235.09
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 10294158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 10763.62 PropClause: 10475.483 Set: 1974.11 Check: 0.0 Back: 236.141
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 10339756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.907 Prop: 10809.969 PropClause: 10520.567 Set: 1982.403 Check: 0.0 Back: 237.173
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 10385179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.916 Prop: 10852.093 PropClause: 10561.438 Set: 1990.498 Check: 0.0 Back: 238.22
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 10430800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.927 Prop: 10895.38 PropClause: 10603.456 Set: 1998.609 Check: 0.0 Back: 239.279
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 10476200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.936 Prop: 10936.804 PropClause: 10643.62 Set: 2006.637 Check: 0.0 Back: 240.327
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 10521799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 10979.797 PropClause: 10685.35 Set: 2014.689 Check: 0.0 Back: 241.371
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 10566537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.954 Prop: 11021.406 PropClause: 10725.721 Set: 2022.525 Check: 0.0 Back: 242.42
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 10612135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.965 Prop: 11063.472 PropClause: 10766.523 Set: 2030.638 Check: 0.0 Back: 243.444
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 10657558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.973 Prop: 11104.011 PropClause: 10805.815 Set: 2038.626 Check: 0.0 Back: 244.504
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 10703196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.982 Prop: 11143.947 PropClause: 10844.501 Set: 2046.638 Check: 0.0 Back: 245.542
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 10748596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 11184.316 PropClause: 10883.613 Set: 2054.564 Check: 0.0 Back: 246.591
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 10794195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.001 Prop: 11225.209 PropClause: 10923.246 Set: 2062.569 Check: 0.0 Back: 247.623
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 10838933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.009 Prop: 11265.722 PropClause: 10962.529 Set: 2070.413 Check: 0.0 Back: 248.674
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 10884531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 11305.862 PropClause: 11001.411 Set: 2088.555 Check: 0.0 Back: 249.693
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 10929954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.027 Prop: 11346.012 PropClause: 11040.302 Set: 2096.571 Check: 0.0 Back: 250.727
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 10975591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.035 Prop: 11389.643 PropClause: 11082.679 Set: 2104.67 Check: 0.0 Back: 251.767
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 11020991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.046 Prop: 11430.667 PropClause: 11122.455 Set: 2112.779 Check: 0.0 Back: 252.801
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 11066590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.055 Prop: 11472.926 PropClause: 11163.459 Set: 2120.879 Check: 0.0 Back: 253.844
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 11111328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 11513.592 PropClause: 11202.893 Set: 2128.695 Check: 0.0 Back: 254.89
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 11156927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 11554.05 PropClause: 11242.098 Set: 2136.782 Check: 0.0 Back: 255.912
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 11202349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 11596.171 PropClause: 11282.971 Set: 2144.752 Check: 0.0 Back: 256.951
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 11247985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.09 Prop: 11638.022 PropClause: 11323.556 Set: 2152.728 Check: 0.0 Back: 257.991
INFO - Atoms: 45636/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 11293385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.099 Prop: 11679.175 PropClause: 11363.463 Set: 2160.685 Check: 0.0 Back: 259.029
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 11338984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.106 Prop: 11720.416 PropClause: 11403.451 Set: 2168.716 Check: 0.0 Back: 260.066
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 11383722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 11761.053 PropClause: 11442.85 Set: 2176.51 Check: 0.0 Back: 261.104
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 11429321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.124 Prop: 11801.136 PropClause: 11481.668 Set: 2184.501 Check: 0.0 Back: 262.123
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 11474743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.132 Prop: 11841.937 PropClause: 11521.223 Set: 2192.421 Check: 0.0 Back: 263.158
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 11520364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.14 Prop: 11882.743 PropClause: 11560.776 Set: 2200.383 Check: 0.0 Back: 264.193
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 11565764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.151 Prop: 11925.662 PropClause: 11602.43 Set: 2208.495 Check: 0.0 Back: 265.231
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 11611363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.162 Prop: 11967.476 PropClause: 11642.991 Set: 2216.563 Check: 0.0 Back: 266.278
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 11656101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 12010.927 PropClause: 11685.203 Set: 2224.478 Check: 0.0 Back: 267.317
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 11701699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 12056.537 PropClause: 11729.554 Set: 2232.72 Check: 0.0 Back: 268.354
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 11747122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.192 Prop: 12101.027 PropClause: 11772.765 Set: 2240.829 Check: 0.0 Back: 269.406
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 11792760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.201 Prop: 12144.148 PropClause: 11814.623 Set: 2249.037 Check: 0.0 Back: 270.45
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 11838160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.211 Prop: 12187.497 PropClause: 11856.721 Set: 2257.13 Check: 0.0 Back: 271.491
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 11883759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.219 Prop: 12230.414 PropClause: 11898.377 Set: 2265.172 Check: 0.0 Back: 272.544
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 11928497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 12275.891 PropClause: 11942.612 Set: 2273.313 Check: 0.0 Back: 273.596
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 11974095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 12323.371 PropClause: 11988.831 Set: 2281.548 Check: 0.0 Back: 274.656
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 12019518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.248 Prop: 12367.953 PropClause: 12032.159 Set: 2289.637 Check: 0.0 Back: 275.702
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 12065155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 12414.389 PropClause: 12077.335 Set: 2297.756 Check: 0.0 Back: 276.757
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 12110555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.268 Prop: 12460.479 PropClause: 12122.172 Set: 2305.919 Check: 0.0 Back: 277.803
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 12156154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 12514.482 PropClause: 12174.914 Set: 2314.199 Check: 0.0 Back: 278.846
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 12200892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 12560.541 PropClause: 12219.722 Set: 2322.19 Check: 0.0 Back: 279.913
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 12246491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.297 Prop: 12604.25 PropClause: 12262.173 Set: 2330.317 Check: 0.0 Back: 280.951
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 12291913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.306 Prop: 12649.723 PropClause: 12306.394 Set: 2338.399 Check: 0.0 Back: 282.01
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 12336650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 12696.163 PropClause: 12351.596 Set: 2346.442 Check: 0.0 Back: 283.064
INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 12382070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.324 Prop: 12739.312 PropClause: 12393.477 Set: 2354.628 Check: 0.0 Back: 284.095
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 12427671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.332 Prop: 12783.149 PropClause: 12436.051 Set: 2362.805 Check: 0.0 Back: 285.131
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 12472409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.341 Prop: 12826.778 PropClause: 12478.435 Set: 2370.756 Check: 0.0 Back: 286.172
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 12518009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.352 Prop: 12871.294 PropClause: 12521.691 Set: 2391.076 Check: 0.0 Back: 287.201
INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 12563430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.36 Prop: 12915.37 PropClause: 12564.513 Set: 2399.237 Check: 0.0 Back: 288.241
INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 12609067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.369 Prop: 12959.637 PropClause: 12607.52 Set: 2407.422 Check: 0.0 Back: 289.287
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 12654467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.379 Prop: 13005.84 PropClause: 12652.47 Set: 2415.528 Check: 0.0 Back: 290.331
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 12700068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.388 Prop: 13051.891 PropClause: 12697.252 Set: 2423.733 Check: 0.0 Back: 291.38
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 12744806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.397 Prop: 13095.263 PropClause: 12739.387 Set: 2431.713 Check: 0.0 Back: 292.433
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 12790404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 13138.982 PropClause: 12781.836 Set: 2439.927 Check: 0.0 Back: 293.473
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 12835827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.414 Prop: 13183.6 PropClause: 12825.199 Set: 2448.028 Check: 0.0 Back: 294.536
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 12881463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 13229.673 PropClause: 12870.014 Set: 2456.287 Check: 0.0 Back: 295.578
INFO - Atoms: 45636/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 12926863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 13274.032 PropClause: 12913.12 Set: 2464.385 Check: 0.0 Back: 296.649
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 12972462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 13318.138 PropClause: 12955.965 Set: 2472.6 Check: 0.0 Back: 297.688
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 13017200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 13362.513 PropClause: 12999.11 Set: 2480.487 Check: 0.0 Back: 298.746
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 13062799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.463 Prop: 13404.856 PropClause: 13040.188 Set: 2488.65 Check: 0.0 Back: 299.784
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 13108221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.472 Prop: 13449.287 PropClause: 13083.368 Set: 2496.799 Check: 0.0 Back: 300.824
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 13153858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.482 Prop: 13493.299 PropClause: 13126.12 Set: 2504.962 Check: 0.0 Back: 301.868
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 13199258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.491 Prop: 13537.649 PropClause: 13169.202 Set: 2513.078 Check: 0.0 Back: 302.913
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 13244857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 13583.536 PropClause: 13213.831 Set: 2521.304 Check: 0.0 Back: 303.956
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 13289595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 13627.031 PropClause: 13256.093 Set: 2529.356 Check: 0.0 Back: 305.002
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 13335193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.522 Prop: 13672.036 PropClause: 13299.835 Set: 2537.678 Check: 0.0 Back: 306.029
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 13380616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 13716.488 PropClause: 13343.025 Set: 2545.802 Check: 0.0 Back: 307.073
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 13425368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.542 Prop: 13759.877 PropClause: 13385.181 Set: 2553.792 Check: 0.0 Back: 308.115
INFO - Atoms: 44752/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 13470788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 13805.11 PropClause: 13429.152 Set: 2561.993 Check: 0.0 Back: 309.156
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 13516389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.561 Prop: 13849.364 PropClause: 13472.148 Set: 2570.242 Check: 0.0 Back: 310.206
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 13561127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.572 Prop: 13894.983 PropClause: 13516.525 Set: 2578.276 Check: 0.0 Back: 311.256
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 13606727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.581 Prop: 13939.852 PropClause: 13560.135 Set: 2586.599 Check: 0.0 Back: 312.285
INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 13652148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.589 Prop: 13983.849 PropClause: 13602.877 Set: 2594.776 Check: 0.0 Back: 313.33
INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 13696900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.598 Prop: 14026.356 PropClause: 13644.15 Set: 2602.746 Check: 0.0 Back: 314.374
INFO - Atoms: 44752/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 13742322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.608 Prop: 14070.162 PropClause: 13686.7 Set: 2610.864 Check: 0.0 Back: 315.412
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 13787921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.618 Prop: 14113.325 PropClause: 13728.608 Set: 2619.022 Check: 0.0 Back: 316.452
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 13833543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 14157.915 PropClause: 13771.941 Set: 2627.252 Check: 0.0 Back: 317.509
INFO - Atoms: 45622/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 13879141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 14203.957 PropClause: 13816.717 Set: 2635.615 Check: 0.0 Back: 318.56
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 13924543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 14245.716 PropClause: 13857.221 Set: 2643.662 Check: 0.0 Back: 319.627
INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 13970164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.656 Prop: 14287.578 PropClause: 13897.83 Set: 2651.745 Check: 0.0 Back: 320.665
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 14015564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.666 Prop: 14327.696 PropClause: 13936.703 Set: 2659.798 Check: 0.0 Back: 321.702
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 14061163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 14367.967 PropClause: 13975.726 Set: 2667.812 Check: 0.0 Back: 322.751
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 14105901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.684 Prop: 14408.553 PropClause: 14015.078 Set: 2688.858 Check: 0.0 Back: 323.805
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 14151501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 14448.882 PropClause: 14054.152 Set: 2697.005 Check: 0.0 Back: 324.827
INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 14196922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 14491.437 PropClause: 14095.453 Set: 2705.075 Check: 0.0 Back: 325.872
INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 14242559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.712 Prop: 14532.95 PropClause: 14135.708 Set: 2713.238 Check: 0.0 Back: 326.911
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 14287959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.723 Prop: 14575.575 PropClause: 14177.077 Set: 2721.404 Check: 0.0 Back: 327.955
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 14333558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.732 Prop: 14617.217 PropClause: 14217.443 Set: 2729.468 Check: 0.0 Back: 328.991
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 14378296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.741 Prop: 14658.046 PropClause: 14257.04 Set: 2737.339 Check: 0.0 Back: 330.038
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 14423895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.75 Prop: 14697.979 PropClause: 14295.713 Set: 2745.393 Check: 0.0 Back: 331.063
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 14469317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 14738.659 PropClause: 14335.145 Set: 2753.367 Check: 0.0 Back: 332.103
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 14514938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.768 Prop: 14779.125 PropClause: 14374.351 Set: 2761.468 Check: 0.0 Back: 333.144
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 14560338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.778 Prop: 14822.503 PropClause: 14416.481 Set: 2769.543 Check: 0.0 Back: 334.2
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 14605937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.788 Prop: 14865.556 PropClause: 14458.271 Set: 2777.681 Check: 0.0 Back: 335.253
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 14650675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.797 Prop: 14906.077 PropClause: 14497.555 Set: 2785.602 Check: 0.0 Back: 336.302
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 14696274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 14947.204 PropClause: 14537.415 Set: 2793.876 Check: 0.0 Back: 337.323
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 14741696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.815 Prop: 14990.835 PropClause: 14579.794 Set: 2802.004 Check: 0.0 Back: 338.372
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 14787333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.825 Prop: 15032.612 PropClause: 14620.303 Set: 2810.103 Check: 0.0 Back: 339.413
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 14832733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.834 Prop: 15074.122 PropClause: 14660.551 Set: 2818.215 Check: 0.0 Back: 340.454
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 14878332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.843 Prop: 15114.623 PropClause: 14699.79 Set: 2837.266 Check: 0.0 Back: 341.494
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 14923070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 15155.363 PropClause: 14739.299 Set: 2845.089 Check: 0.0 Back: 342.537
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 14968668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 15195.566 PropClause: 14778.247 Set: 2853.24 Check: 0.0 Back: 343.565
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 15014091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.871 Prop: 15236.807 PropClause: 14818.223 Set: 2861.315 Check: 0.0 Back: 344.62
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 15059712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.879 Prop: 15278.57 PropClause: 14858.734 Set: 2869.404 Check: 0.0 Back: 345.659
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 15105112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.888 Prop: 15320.38 PropClause: 14899.288 Set: 2877.499 Check: 0.0 Back: 346.717
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 15150711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.898 Prop: 15361.116 PropClause: 14938.753 Set: 2885.605 Check: 0.0 Back: 347.763
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 15195449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.907 Prop: 15402.794 PropClause: 14979.198 Set: 2893.519 Check: 0.0 Back: 348.802
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 15241048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 15446.818 PropClause: 15021.952 Set: 2901.777 Check: 0.0 Back: 349.825
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 15286470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.927 Prop: 15489.465 PropClause: 15063.339 Set: 2909.931 Check: 0.0 Back: 350.88
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 15332108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.936 Prop: 15532.347 PropClause: 15104.958 Set: 2918.107 Check: 0.0 Back: 351.93
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 15377508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.947 Prop: 15577.095 PropClause: 15148.455 Set: 2926.337 Check: 0.0 Back: 352.977
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 15423107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 15619.141 PropClause: 15189.23 Set: 2934.558 Check: 0.0 Back: 354.013
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 15467845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.965 Prop: 15662.174 PropClause: 15231.031 Set: 2942.495 Check: 0.0 Back: 355.058
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 15513444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 15705.606 PropClause: 15273.206 Set: 2950.751 Check: 0.0 Back: 356.094
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 15558866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.983 Prop: 15749.746 PropClause: 15316.092 Set: 2958.925 Check: 0.0 Back: 357.138
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 15604503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 15793.233 PropClause: 15358.316 Set: 2967.212 Check: 0.0 Back: 358.182
INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 15649903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 15836.527 PropClause: 15400.335 Set: 2984.353 Check: 0.0 Back: 359.232
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 15695502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 15879.516 PropClause: 15442.065 Set: 2992.553 Check: 0.0 Back: 360.272
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 15740240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 15924.368 PropClause: 15485.689 Set: 3000.49 Check: 0.0 Back: 361.326
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 15785838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 15966.928 PropClause: 15526.98 Set: 3008.749 Check: 0.0 Back: 362.346
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 15831261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.045 Prop: 16010.022 PropClause: 15568.816 Set: 3016.931 Check: 0.0 Back: 363.398
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 15876882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.056 Prop: 16052.317 PropClause: 15609.837 Set: 3025.124 Check: 0.0 Back: 364.445
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 15922282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 16096.059 PropClause: 15652.324 Set: 3033.331 Check: 0.0 Back: 365.49
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 15967881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.074 Prop: 16140.515 PropClause: 15695.523 Set: 3041.631 Check: 0.0 Back: 366.529
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 16012619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 16183.623 PropClause: 15737.387 Set: 3049.662 Check: 0.0 Back: 367.584
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 16058217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.091 Prop: 16226.042 PropClause: 15778.529 Set: 3057.879 Check: 0.0 Back: 368.611
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 16103640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.1 Prop: 16268.643 PropClause: 15819.868 Set: 3065.965 Check: 0.0 Back: 369.665
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 16149278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.11 Prop: 16310.917 PropClause: 15860.871 Set: 3074.13 Check: 0.0 Back: 370.709
INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 16194678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.121 Prop: 16354.138 PropClause: 15902.838 Set: 3082.278 Check: 0.0 Back: 371.764
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 16240277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.131 Prop: 16396.735 PropClause: 15944.177 Set: 3090.525 Check: 0.0 Back: 372.815
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 16285015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.141 Prop: 16440.899 PropClause: 15987.096 Set: 3098.596 Check: 0.0 Back: 373.86
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 16330613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.15 Prop: 16483.204 PropClause: 16028.134 Set: 3106.894 Check: 0.0 Back: 374.908
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 16376036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 16526.047 PropClause: 16069.725 Set: 3115.07 Check: 0.0 Back: 375.953
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 16421657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.17 Prop: 16568.487 PropClause: 16110.904 Set: 3130.928 Check: 0.0 Back: 376.987
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 16467057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.181 Prop: 16611.656 PropClause: 16152.816 Set: 3139.111 Check: 0.0 Back: 378.038
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 16512656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.19 Prop: 16654.594 PropClause: 16194.499 Set: 3147.311 Check: 0.0 Back: 379.088
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 16557394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.2 Prop: 16698.463 PropClause: 16237.131 Set: 3155.265 Check: 0.0 Back: 380.135
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 16602992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.209 Prop: 16740.905 PropClause: 16278.301 Set: 3163.525 Check: 0.0 Back: 381.161
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 16648415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.219 Prop: 16783.961 PropClause: 16320.106 Set: 3171.655 Check: 0.0 Back: 382.202
INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 16693152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.229 Prop: 16825.715 PropClause: 16360.61 Set: 3179.608 Check: 0.0 Back: 383.243
INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 16738572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.238 Prop: 16868.202 PropClause: 16401.842 Set: 3187.768 Check: 0.0 Back: 384.265
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 16784173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.247 Prop: 16910.919 PropClause: 16443.299 Set: 3195.928 Check: 0.0 Back: 385.309
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 16828911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.255 Prop: 16954.995 PropClause: 16486.131 Set: 3203.968 Check: 0.0 Back: 386.355
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 16874512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.265 Prop: 16997.776 PropClause: 16527.653 Set: 3212.352 Check: 0.0 Back: 387.385
INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 16919932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 17042.263 PropClause: 16570.887 Set: 3220.591 Check: 0.0 Back: 388.436
INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 16964669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.447 Prop: 17085.856 PropClause: 16613.248 Set: 3228.554 Check: 0.0 Back: 389.489
INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 17010091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 17129.96 PropClause: 16656.098 Set: 3236.71 Check: 0.0 Back: 390.512
INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 17055690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 17173.433 PropClause: 16698.312 Set: 3245.129 Check: 0.0 Back: 391.55
INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 17101312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 17217.026 PropClause: 16740.639 Set: 3253.337 Check: 0.0 Back: 392.596
INFO - Atoms: 45622/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 17146910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.551 Prop: 17259.981 PropClause: 16782.324 Set: 3261.644 Check: 0.0 Back: 393.644
INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 17192312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 17303.804 PropClause: 16824.888 Set: 3269.94 Check: 0.0 Back: 394.701
INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 17237933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.66 Prop: 17347.312 PropClause: 16867.138 Set: 3278.248 Check: 0.0 Back: 395.741
INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 17283333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.675 Prop: 17391.414 PropClause: 16909.987 Set: 3286.398 Check: 0.0 Back: 396.791
INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 17328838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.689 Prop: 17436.102 PropClause: 16953.414 Set: 3294.601 Check: 0.0 Back: 397.844
INFO - Atoms: 45505/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 17373576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.704 Prop: 17480.37 PropClause: 16996.447 Set: 3302.626 Check: 0.0 Back: 398.888
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 17418975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.72 Prop: 17525.127 PropClause: 17039.946 Set: 3310.999 Check: 0.0 Back: 399.915
INFO - Atoms: 45399/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 17464283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.734 Prop: 17572.003 PropClause: 17085.571 Set: 3319.273 Check: 0.0 Back: 400.963
INFO - Atoms: 45308/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 17509711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.749 Prop: 17615.671 PropClause: 17127.987 Set: 3327.538 Check: 0.0 Back: 402.014
INFO - Atoms: 45428/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 17554899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 17662.469 PropClause: 17173.543 Set: 3335.711 Check: 0.0 Back: 403.061
INFO - Atoms: 45188/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 17600090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.779 Prop: 17707.459 PropClause: 17217.288 Set: 3343.866 Check: 0.0 Back: 404.096
INFO - Atoms: 45191/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 17644828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.794 Prop: 17750.692 PropClause: 17259.286 Set: 3351.827 Check: 0.0 Back: 405.146
INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 17689794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.866 Prop: 17790.368 PropClause: 17297.722 Set: 3359.85 Check: 0.0 Back: 406.173
INFO - Atoms: 44966/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 17734761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.933 Prop: 17831.704 PropClause: 17337.8 Set: 3367.783 Check: 0.0 Back: 407.209
INFO - Atoms: 44967/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 17779727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 17872.79 PropClause: 17377.635 Set: 3375.849 Check: 0.0 Back: 408.249
INFO - Atoms: 44966/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 17824805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.988 Prop: 17914.795 PropClause: 17418.376 Set: 3383.871 Check: 0.0 Back: 409.281
INFO - Atoms: 45078/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 17870082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.0 Prop: 17955.97 PropClause: 17458.301 Set: 3391.975 Check: 0.0 Back: 410.312
INFO - Atoms: 45277/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 17915138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.013 Prop: 17996.509 PropClause: 17497.586 Set: 3399.92 Check: 0.0 Back: 411.355
INFO - Atoms: 45056/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 17960433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.028 Prop: 18035.969 PropClause: 17535.761 Set: 3407.996 Check: 0.0 Back: 412.385
INFO - Atoms: 45295/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 18005053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.064 Prop: 18076.507 PropClause: 17575.075 Set: 3415.742 Check: 0.0 Back: 413.432
INFO - Atoms: 44620/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 18049899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.08 Prop: 18115.557 PropClause: 17612.891 Set: 3423.625 Check: 0.0 Back: 414.471
INFO - Atoms: 44846/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 18094414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.097 Prop: 18155.864 PropClause: 17651.968 Set: 3431.407 Check: 0.0 Back: 415.492
INFO - Atoms: 44515/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 18138716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.111 Prop: 18196.948 PropClause: 17691.803 Set: 3439.419 Check: 0.0 Back: 416.509
INFO - Atoms: 44302/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 18182777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.126 Prop: 18237.288 PropClause: 17730.932 Set: 3447.148 Check: 0.0 Back: 417.544
INFO - Atoms: 44061/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 18227399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.163 Prop: 18281.348 PropClause: 17773.754 Set: 3458.6 Check: 0.0 Back: 418.548
INFO - Atoms: 44622/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 18272228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.178 Prop: 18324.823 PropClause: 17815.958 Set: 3466.301 Check: 0.0 Back: 419.567
INFO - Atoms: 44829/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 18317304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.196 Prop: 18370.91 PropClause: 17860.805 Set: 3474.132 Check: 0.0 Back: 420.602
INFO - Atoms: 45076/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 18362587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.209 Prop: 18411.691 PropClause: 17900.334 Set: 3481.881 Check: 0.0 Back: 421.646
INFO - Atoms: 45283/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 18408117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.25 Prop: 18452.452 PropClause: 17939.844 Set: 3489.579 Check: 0.0 Back: 422.682
INFO - Atoms: 45530/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 18453854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.268 Prop: 18496.333 PropClause: 17982.465 Set: 3497.513 Check: 0.0 Back: 423.726
INFO - Atoms: 45737/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 18499838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.303 Prop: 18538.605 PropClause: 18023.475 Set: 3505.336 Check: 0.0 Back: 424.772
INFO - Atoms: 45984/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 18546029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.314 Prop: 18580.561 PropClause: 18064.153 Set: 3513.094 Check: 0.0 Back: 425.89
INFO - Atoms: 46191/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 18592467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.326 Prop: 18624.113 PropClause: 18106.431 Set: 3520.925 Check: 0.0 Back: 426.946
INFO - Atoms: 46438/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 18639112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.336 Prop: 18669.214 PropClause: 18150.245 Set: 3543.584 Check: 0.0 Back: 428.012
INFO - Atoms: 46645/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 18686004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.348 Prop: 18713.2 PropClause: 18192.935 Set: 3551.635 Check: 0.0 Back: 429.076
INFO - Atoms: 46892/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 18733103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.358 Prop: 18760.17 PropClause: 18238.605 Set: 3559.697 Check: 0.0 Back: 430.164
INFO - Atoms: 47099/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 18780449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.369 Prop: 18806.967 PropClause: 18284.095 Set: 3567.853 Check: 0.0 Back: 431.247
INFO - Atoms: 47346/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 18828002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.378 Prop: 18854.718 PropClause: 18330.53 Set: 3576.161 Check: 0.0 Back: 432.347
INFO - Atoms: 47553/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 18875802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.39 Prop: 18901.069 PropClause: 18375.566 Set: 3584.557 Check: 0.0 Back: 433.451
INFO - Atoms: 47800/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 18923809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.402 Prop: 18950.369 PropClause: 18423.548 Set: 3593.051 Check: 0.0 Back: 434.545
INFO - Atoms: 48007/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 18972063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.414 Prop: 18997.594 PropClause: 18469.428 Set: 3601.366 Check: 0.0 Back: 435.657
INFO - Atoms: 48254/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 19020524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.424 Prop: 19045.065 PropClause: 18515.566 Set: 3609.6 Check: 0.0 Back: 436.78
INFO - Atoms: 48461/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 19069232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.433 Prop: 19093.25 PropClause: 18562.408 Set: 3618.17 Check: 0.0 Back: 437.909
INFO - Atoms: 48708/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 19118147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.443 Prop: 19144.125 PropClause: 18611.936 Set: 3626.583 Check: 0.0 Back: 439.032
INFO - Atoms: 48915/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 19167309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.454 Prop: 19195.389 PropClause: 18661.847 Set: 3635.103 Check: 0.0 Back: 440.233
INFO - Atoms: 49162/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 19216678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.464 Prop: 19249.052 PropClause: 18714.15 Set: 3643.87 Check: 0.0 Back: 441.37
INFO - Atoms: 49369/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 19266294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.476 Prop: 19301.86 PropClause: 18765.578 Set: 3652.481 Check: 0.0 Back: 442.504
INFO - Atoms: 49616/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 19316117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.486 Prop: 19354.492 PropClause: 18816.835 Set: 3661.018 Check: 0.0 Back: 443.652
INFO - Atoms: 49823/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 19366187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.496 Prop: 19405.562 PropClause: 18866.519 Set: 3669.646 Check: 0.0 Back: 444.795
INFO - Atoms: 50070/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 19416464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.506 Prop: 19457.983 PropClause: 18917.556 Set: 3678.106 Check: 0.0 Back: 445.933
INFO - Atoms: 50277/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 19466988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.515 Prop: 19508.031 PropClause: 18966.214 Set: 3686.746 Check: 0.0 Back: 447.108
INFO - Atoms: 50524/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 19517719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.525 Prop: 19560.745 PropClause: 19017.524 Set: 3695.393 Check: 0.0 Back: 448.258
INFO - Atoms: 50731/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 19568697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.536 Prop: 19611.612 PropClause: 19066.99 Set: 3704.129 Check: 0.0 Back: 449.421
INFO - Atoms: 50978/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 19619882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.545 Prop: 19666.618 PropClause: 19120.587 Set: 3712.973 Check: 0.0 Back: 450.586
INFO - Atoms: 51185/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 19671314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.556 Prop: 19721.432 PropClause: 19173.981 Set: 3722.17 Check: 0.0 Back: 451.757
INFO - Atoms: 51432/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 19722953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.565 Prop: 19777.379 PropClause: 19228.506 Set: 3731.255 Check: 0.0 Back: 452.94
INFO - Atoms: 51639/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 19774839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.59 Prop: 19832.915 PropClause: 19282.614 Set: 3740.311 Check: 0.0 Back: 454.125
INFO - Atoms: 51886/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 19826932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.599 Prop: 19889.015 PropClause: 19337.278 Set: 3749.348 Check: 0.0 Back: 455.322
INFO - Atoms: 52093/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 19879272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.609 Prop: 19945.634 PropClause: 19392.456 Set: 3758.564 Check: 0.0 Back: 456.513
INFO - Atoms: 52340/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 19931819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.622 Prop: 20001.859 PropClause: 19447.207 Set: 3767.508 Check: 0.0 Back: 457.715
INFO - Atoms: 52547/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 19984613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.631 Prop: 20056.867 PropClause: 19500.747 Set: 3776.563 Check: 0.0 Back: 458.918
INFO - Atoms: 52794/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 20037614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.642 Prop: 20112.998 PropClause: 19555.414 Set: 3785.63 Check: 0.0 Back: 460.12
INFO - Atoms: 53001/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 20090862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.654 Prop: 20170.55 PropClause: 19611.499 Set: 3795.232 Check: 0.0 Back: 461.332
INFO - Atoms: 53248/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 20144317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.666 Prop: 20229.596 PropClause: 19669.064 Set: 3817.279 Check: 0.0 Back: 462.569
INFO - Atoms: 53455/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 20198019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.675 Prop: 20286.106 PropClause: 19724.094 Set: 3826.553 Check: 0.0 Back: 463.804
INFO - Atoms: 53702/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 20251928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.683 Prop: 20344.698 PropClause: 19781.193 Set: 3835.865 Check: 0.0 Back: 465.037
INFO - Atoms: 53909/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 20306084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.691 Prop: 20402.63 PropClause: 19837.645 Set: 3845.456 Check: 0.0 Back: 466.277
INFO - Atoms: 54156/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 20360447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.7 Prop: 20461.468 PropClause: 19894.99 Set: 3854.841 Check: 0.0 Back: 467.52
INFO - Atoms: 54363/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 20415057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.71 Prop: 20521.707 PropClause: 19953.71 Set: 3864.454 Check: 0.0 Back: 468.772
INFO - Atoms: 54610/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 20469874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.72 Prop: 20586.723 PropClause: 20017.207 Set: 3874.172 Check: 0.0 Back: 470.024
INFO - Atoms: 54817/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 20524938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.73 Prop: 20652.184 PropClause: 20081.149 Set: 3883.698 Check: 0.0 Back: 471.284
INFO - Atoms: 55064/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 20580209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.745 Prop: 20714.982 PropClause: 20142.416 Set: 3893.66 Check: 0.0 Back: 472.56
INFO - Atoms: 55271/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 20635727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.757 Prop: 20775.722 PropClause: 20201.619 Set: 3903.434 Check: 0.0 Back: 473.831
INFO - Atoms: 55518/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 20691452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.77 Prop: 20836.921 PropClause: 20261.264 Set: 3913.379 Check: 0.0 Back: 475.105
INFO - Atoms: 55725/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 20747424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.781 Prop: 20890.932 PropClause: 20313.72 Set: 3923.191 Check: 0.0 Back: 476.4
INFO - Atoms: 55972/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 20803603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.792 Prop: 20947.367 PropClause: 20368.587 Set: 3933.021 Check: 0.0 Back: 477.705
INFO - Atoms: 56179/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 20860029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.803 Prop: 21012.115 PropClause: 20431.772 Set: 3943.049 Check: 0.0 Back: 479.028
INFO - Atoms: 56426/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 20916662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.814 Prop: 21077.386 PropClause: 20495.485 Set: 3952.973 Check: 0.0 Back: 480.343
INFO - Atoms: 56633/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 20973542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.825 Prop: 21140.122 PropClause: 20556.657 Set: 3963.003 Check: 0.0 Back: 481.643
INFO - Atoms: 56880/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 21030629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.838 Prop: 21207.255 PropClause: 20622.209 Set: 3973.009 Check: 0.0 Back: 482.964
INFO - Atoms: 57087/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 21087963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.847 Prop: 21273.274 PropClause: 20686.654 Set: 3983.298 Check: 0.0 Back: 484.284
INFO - Atoms: 57334/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 21145504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.859 Prop: 21340.767 PropClause: 20752.562 Set: 3993.476 Check: 0.0 Back: 485.598
INFO - Atoms: 57541/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 21203292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.87 Prop: 21408.997 PropClause: 20819.198 Set: 4003.653 Check: 0.0 Back: 486.951
INFO - Atoms: 57788/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 21261287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.882 Prop: 21480.593 PropClause: 20889.197 Set: 4013.875 Check: 0.0 Back: 488.28
INFO - Atoms: 57995/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 21319529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.891 Prop: 21548.334 PropClause: 20955.324 Set: 4024.088 Check: 0.0 Back: 489.617
INFO - Atoms: 58242/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 21377978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.902 Prop: 21619.282 PropClause: 21024.648 Set: 4034.725 Check: 0.0 Back: 490.951
INFO - Atoms: 58449/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 21436674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.912 Prop: 21687.208 PropClause: 21090.961 Set: 4044.972 Check: 0.0 Back: 492.305
INFO - Atoms: 58696/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 21495577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.921 Prop: 21757.521 PropClause: 21159.635 Set: 4055.339 Check: 0.0 Back: 493.659
INFO - Atoms: 58903/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 21554727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.93 Prop: 21829.054 PropClause: 21229.544 Set: 4066.021 Check: 0.0 Back: 495.019
INFO - Atoms: 59150/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 21614084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.942 Prop: 21899.018 PropClause: 21297.876 Set: 4099.817 Check: 0.0 Back: 496.391
INFO - Atoms: 59357/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 21673688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.953 Prop: 21964.583 PropClause: 21361.801 Set: 4110.162 Check: 0.0 Back: 497.745
INFO - Atoms: 59604/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 21733499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.961 Prop: 22032.834 PropClause: 21428.399 Set: 4120.848 Check: 0.0 Back: 499.106
INFO - Atoms: 59811/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 21793557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.971 Prop: 22099.418 PropClause: 21493.329 Set: 4131.292 Check: 0.0 Back: 500.486
INFO - Atoms: 60058/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 21853822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.98 Prop: 22168.315 PropClause: 21560.559 Set: 4141.84 Check: 0.0 Back: 501.859
INFO - Atoms: 60265/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 21914334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.989 Prop: 22234.134 PropClause: 21624.691 Set: 4152.338 Check: 0.0 Back: 503.243
INFO - Atoms: 60512/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 21975053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.999 Prop: 22300.925 PropClause: 21689.811 Set: 4163.048 Check: 0.0 Back: 504.632
INFO - Atoms: 60719/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 22036019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.009 Prop: 22366.907 PropClause: 21754.103 Set: 4173.663 Check: 0.0 Back: 506.031
INFO - Atoms: 60966/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 22097192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.018 Prop: 22432.96 PropClause: 21818.475 Set: 4184.128 Check: 0.0 Back: 507.426
INFO - Atoms: 61173/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 22158612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.025 Prop: 22499.461 PropClause: 21883.287 Set: 4195.073 Check: 0.0 Back: 508.837
INFO - Atoms: 61420/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 22220239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.035 Prop: 22567.708 PropClause: 21949.835 Set: 4205.721 Check: 0.0 Back: 510.245
INFO - Atoms: 61627/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 22282113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.046 Prop: 22636.042 PropClause: 22016.464 Set: 4216.948 Check: 0.0 Back: 511.681
INFO - Atoms: 61874/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 22344194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.058 Prop: 22706.053 PropClause: 22084.772 Set: 4235.34 Check: 0.0 Back: 513.11
INFO - Atoms: 62081/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 22406522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.066 Prop: 22775.814 PropClause: 22152.799 Set: 4246.239 Check: 0.0 Back: 514.531
INFO - Atoms: 62328/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 22469057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.078 Prop: 22845.64 PropClause: 22220.895 Set: 4257.193 Check: 0.0 Back: 515.97
INFO - Atoms: 62535/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 22531839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.087 Prop: 22914.377 PropClause: 22287.898 Set: 4268.067 Check: 0.0 Back: 517.404
INFO - Atoms: 62782/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 22594828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.095 Prop: 22985.095 PropClause: 22356.884 Set: 4279.114 Check: 0.0 Back: 518.854
INFO - Atoms: 62989/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 22658064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.107 Prop: 23055.66 PropClause: 22425.686 Set: 4290.158 Check: 0.0 Back: 520.3
INFO - Atoms: 63236/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 22721507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.116 Prop: 23127.049 PropClause: 22495.317 Set: 4301.196 Check: 0.0 Back: 521.751
INFO - Atoms: 63443/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 22785197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.125 Prop: 23194.941 PropClause: 22561.448 Set: 4312.482 Check: 0.0 Back: 523.203
INFO - Atoms: 63690/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 22849094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.134 Prop: 23259.706 PropClause: 22624.445 Set: 4323.665 Check: 0.0 Back: 524.666
INFO - Atoms: 63897/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 22913238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.146 Prop: 23329.784 PropClause: 22692.764 Set: 4335.07 Check: 0.0 Back: 526.142
INFO - Atoms: 64144/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 22977589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.155 Prop: 23401.88 PropClause: 22763.089 Set: 4346.714 Check: 0.0 Back: 527.616
INFO - Atoms: 64351/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 23042186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.166 Prop: 23475.255 PropClause: 22834.673 Set: 4358.143 Check: 0.0 Back: 529.094
INFO - Atoms: 64597/65952 Clauses: 581 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 968 Props: 25887347 Tprops: 0 Decides: 9797 RSplits: 0
INFO - Times: Expl: 1437.15 Prop: 26554.275 PropClause: 25828.789 Set: 4430.541 Check: 0.246 Back: 598.309
INFO - Atoms: 21838/65952 Clauses: 1080 Axioms: 218034
INFO - Confl: 1432 Props: 27772669 Tprops: 0 Decides: 15364 RSplits: 0
INFO - Times: Expl: 2204.93 Prop: 28387.872 PropClause: 27606.368 Set: 4476.718 Check: 0.393 Back: 642.949
INFO - Atoms: 23125/65952 Clauses: 1544 Axioms: 218034
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 470 Props: 44111 Tprops: 10790 Decides: 52127 RSplits: 0
INFO - Times: Expl: 254.858 Prop: 66018.584 PropClause: 18.308 Set: 6352.629 Check: 401.902 Back: 197.757
INFO - Atoms: 680/870 Clauses: 470 Axioms: 870
INFO - CCTimes: iE 425461 eq 26582575 cc 112054845 setRep 50929061
INFO - Merges: 376719, cc:657770
INFO - BVTimes: BB 153341927 BB_DPLL 60368149270 Graph 189492087
INFO - BitBlastingClauses: 490054 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat