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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 222588682
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 79674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.617 Prop: 116.961 PropClause: 114.038 Set: 104.938 Check: 0.0 Back: 0.0
INFO - Atoms: 79674/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 159337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.66 Prop: 231.28 PropClause: 225.408 Set: 127.13 Check: 0.0 Back: 1.804
INFO - Atoms: 79663/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 238687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.714 Prop: 341.344 PropClause: 333.287 Set: 141.597 Check: 0.0 Back: 3.64
INFO - Atoms: 79350/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 318350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.775 Prop: 441.649 PropClause: 431.408 Set: 155.739 Check: 0.0 Back: 5.463
INFO - Atoms: 79663/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 398013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.832 Prop: 540.429 PropClause: 528.222 Set: 195.674 Check: 0.0 Back: 7.275
INFO - Atoms: 79663/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 477667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.903 Prop: 645.416 PropClause: 631.197 Set: 210.313 Check: 0.0 Back: 9.065
INFO - Atoms: 79654/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 557314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.951 Prop: 748.634 PropClause: 732.441 Set: 233.219 Check: 0.0 Back: 10.908
INFO - Atoms: 79647/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 636951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.999 Prop: 852.926 PropClause: 834.775 Set: 255.777 Check: 0.0 Back: 12.734
INFO - Atoms: 79637/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 716580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.07 Prop: 955.134 PropClause: 935.016 Set: 270.016 Check: 0.0 Back: 14.587
INFO - Atoms: 79629/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 795974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.117 Prop: 1055.951 PropClause: 1033.883 Set: 284.167 Check: 0.0 Back: 16.39
INFO - Atoms: 79394/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 875202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 1161.172 PropClause: 1137.145 Set: 298.513 Check: 0.0 Back: 18.211
INFO - Atoms: 79228/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 954136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.213 Prop: 1266.627 PropClause: 1240.649 Set: 312.76 Check: 0.0 Back: 20.026
INFO - Atoms: 78934/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1032810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.262 Prop: 1371.592 PropClause: 1343.657 Set: 327.115 Check: 0.0 Back: 21.827
INFO - Atoms: 78674/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1111342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.307 Prop: 1472.19 PropClause: 1442.327 Set: 341.16 Check: 0.0 Back: 23.649
INFO - Atoms: 78532/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1189688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.357 Prop: 1573.448 PropClause: 1541.669 Set: 355.222 Check: 0.0 Back: 25.443
INFO - Atoms: 78346/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1267872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.432 Prop: 1677.489 PropClause: 1643.775 Set: 376.53 Check: 0.0 Back: 27.23
INFO - Atoms: 78184/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1345894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.473 Prop: 1777.565 PropClause: 1741.947 Set: 397.329 Check: 0.0 Back: 29.042
INFO - Atoms: 78022/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1423772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.518 Prop: 1883.316 PropClause: 1845.791 Set: 418.34 Check: 0.0 Back: 30.815
INFO - Atoms: 77878/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1501466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.566 Prop: 1988.605 PropClause: 1949.13 Set: 432.384 Check: 0.0 Back: 32.606
INFO - Atoms: 77694/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1579017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.611 Prop: 2090.279 PropClause: 2048.892 Set: 446.229 Check: 0.0 Back: 34.395
INFO - Atoms: 77551/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1656310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.706 Prop: 2192.605 PropClause: 2149.325 Set: 460.069 Check: 0.0 Back: 36.166
INFO - Atoms: 77293/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1733461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.75 Prop: 2293.495 PropClause: 2248.312 Set: 473.87 Check: 0.0 Back: 37.933
INFO - Atoms: 77151/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1810428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.792 Prop: 2392.447 PropClause: 2345.379 Set: 487.703 Check: 0.0 Back: 39.707
INFO - Atoms: 76967/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1887231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.836 Prop: 2491.748 PropClause: 2442.797 Set: 501.39 Check: 0.0 Back: 41.467
INFO - Atoms: 76803/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1963872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.88 Prop: 2590.157 PropClause: 2539.239 Set: 515.259 Check: 0.0 Back: 43.208
INFO - Atoms: 76641/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2040351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 2691.453 PropClause: 2638.649 Set: 528.904 Check: 0.0 Back: 44.958
INFO - Atoms: 76479/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2116664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.966 Prop: 2791.161 PropClause: 2736.485 Set: 542.651 Check: 0.0 Back: 46.706
INFO - Atoms: 76313/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2192815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.012 Prop: 2891.104 PropClause: 2834.552 Set: 556.274 Check: 0.0 Back: 48.453
INFO - Atoms: 76151/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2268802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 2990.391 PropClause: 2931.978 Set: 569.882 Check: 0.0 Back: 50.193
INFO - Atoms: 75987/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2344805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.101 Prop: 3086.506 PropClause: 3026.24 Set: 583.326 Check: 0.0 Back: 51.934
INFO - Atoms: 76003/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2420624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.148 Prop: 3185.476 PropClause: 3123.366 Set: 596.73 Check: 0.0 Back: 53.666
INFO - Atoms: 75819/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2496370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.186 Prop: 3277.874 PropClause: 3213.924 Set: 610.028 Check: 0.0 Back: 55.386
INFO - Atoms: 75746/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 2571942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.226 Prop: 3371.153 PropClause: 3305.365 Set: 629.316 Check: 0.0 Back: 57.108
INFO - Atoms: 75572/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 2647372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.331 Prop: 3467.472 PropClause: 3399.837 Set: 649.609 Check: 0.0 Back: 58.822
INFO - Atoms: 75430/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 2722618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.351 Prop: 3558.986 PropClause: 3489.508 Set: 662.987 Check: 0.0 Back: 60.525
INFO - Atoms: 75246/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 2797722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.369 Prop: 3651.051 PropClause: 3579.747 Set: 676.19 Check: 0.0 Back: 62.247
INFO - Atoms: 75104/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 2872642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.387 Prop: 3740.984 PropClause: 3667.851 Set: 689.39 Check: 0.0 Back: 63.98
INFO - Atoms: 74920/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2947420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.406 Prop: 3831.152 PropClause: 3756.188 Set: 702.502 Check: 0.0 Back: 65.682
INFO - Atoms: 74778/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 3022012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.422 Prop: 3922.65 PropClause: 3845.866 Set: 715.605 Check: 0.0 Back: 67.38
INFO - Atoms: 74592/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 3096442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.44 Prop: 4013.583 PropClause: 3934.985 Set: 728.715 Check: 0.0 Back: 69.08
INFO - Atoms: 74430/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 3170710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.456 Prop: 4103.272 PropClause: 4022.871 Set: 741.753 Check: 0.0 Back: 70.757
INFO - Atoms: 74268/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3244834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.481 Prop: 4193.112 PropClause: 4110.895 Set: 754.976 Check: 0.0 Back: 72.428
INFO - Atoms: 74124/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3318776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.499 Prop: 4282.123 PropClause: 4198.091 Set: 768.077 Check: 0.0 Back: 74.126
INFO - Atoms: 73942/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 3392569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.518 Prop: 4374.792 PropClause: 4288.956 Set: 781.179 Check: 0.0 Back: 75.815
INFO - Atoms: 73793/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 3466183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.536 Prop: 4464.844 PropClause: 4377.213 Set: 794.211 Check: 0.0 Back: 77.497
INFO - Atoms: 73614/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 3539655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 4558.473 PropClause: 4469.032 Set: 807.362 Check: 0.0 Back: 79.189
INFO - Atoms: 73472/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 3612945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 4650.503 PropClause: 4559.257 Set: 820.498 Check: 0.0 Back: 80.851
INFO - Atoms: 73290/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 3686071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.588 Prop: 4740.901 PropClause: 4647.855 Set: 833.555 Check: 0.0 Back: 82.522
INFO - Atoms: 73126/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 3759035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.604 Prop: 4831.855 PropClause: 4737.016 Set: 846.576 Check: 0.0 Back: 84.178
INFO - Atoms: 72964/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 3831835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.627 Prop: 4927.701 PropClause: 4831.083 Set: 859.639 Check: 0.0 Back: 85.854
INFO - Atoms: 72800/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 3904473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.647 Prop: 5020.202 PropClause: 4921.792 Set: 872.592 Check: 0.0 Back: 87.56
INFO - Atoms: 72638/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 3976947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.664 Prop: 5111.95 PropClause: 5011.763 Set: 885.422 Check: 0.0 Back: 89.221
INFO - Atoms: 72474/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 4049257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.681 Prop: 5200.19 PropClause: 5098.242 Set: 898.238 Check: 0.0 Back: 90.877
INFO - Atoms: 72310/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 4121422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.698 Prop: 5290.484 PropClause: 5186.762 Set: 911.048 Check: 0.0 Back: 92.525
INFO - Atoms: 72165/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 4193408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.716 Prop: 5379.974 PropClause: 5274.48 Set: 923.924 Check: 0.0 Back: 94.163
INFO - Atoms: 71986/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 4265250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.741 Prop: 5473.647 PropClause: 5366.385 Set: 936.685 Check: 0.0 Back: 95.804
INFO - Atoms: 71842/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 4336910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.757 Prop: 5561.674 PropClause: 5452.659 Set: 949.459 Check: 0.0 Back: 97.443
INFO - Atoms: 71660/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 4408426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 5651.653 PropClause: 5540.889 Set: 962.23 Check: 0.0 Back: 99.098
INFO - Atoms: 71516/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 4479758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.797 Prop: 5743.721 PropClause: 5631.185 Set: 975.046 Check: 0.0 Back: 100.739
INFO - Atoms: 71332/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 4550948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.814 Prop: 5833.765 PropClause: 5719.48 Set: 987.76 Check: 0.0 Back: 102.399
INFO - Atoms: 71190/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 4621956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.831 Prop: 5923.352 PropClause: 5807.307 Set: 1000.558 Check: 0.0 Back: 104.027
INFO - Atoms: 71008/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 4692822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 6015.074 PropClause: 5897.283 Set: 1013.369 Check: 0.0 Back: 105.676
INFO - Atoms: 70866/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 4763504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.871 Prop: 6103.0 PropClause: 5983.465 Set: 1026.052 Check: 0.0 Back: 107.311
INFO - Atoms: 70682/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 4834042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.888 Prop: 6194.367 PropClause: 6073.086 Set: 1038.836 Check: 0.0 Back: 108.943
INFO - Atoms: 70538/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 4904398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.908 Prop: 6281.582 PropClause: 6158.562 Set: 1051.428 Check: 0.0 Back: 110.556
INFO - Atoms: 70356/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 4974612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.928 Prop: 6376.616 PropClause: 6251.862 Set: 1064.246 Check: 0.0 Back: 112.188
INFO - Atoms: 70214/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 5044642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.946 Prop: 6468.171 PropClause: 6341.677 Set: 1077.127 Check: 0.0 Back: 113.814
INFO - Atoms: 70030/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 5114530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.962 Prop: 6556.801 PropClause: 6428.595 Set: 1089.68 Check: 0.0 Back: 115.416
INFO - Atoms: 69888/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 5184232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.979 Prop: 6640.816 PropClause: 6510.892 Set: 1102.207 Check: 0.0 Back: 117.014
INFO - Atoms: 69702/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 5253794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.994 Prop: 6728.049 PropClause: 6596.417 Set: 1114.69 Check: 0.0 Back: 118.61
INFO - Atoms: 69562/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 5323172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.011 Prop: 6816.522 PropClause: 6683.176 Set: 1127.389 Check: 0.0 Back: 120.204
INFO - Atoms: 69378/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 5392408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.029 Prop: 6900.44 PropClause: 6765.395 Set: 1153.657 Check: 0.0 Back: 121.805
INFO - Atoms: 69236/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 5461460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.047 Prop: 6982.501 PropClause: 6845.759 Set: 1165.952 Check: 0.0 Back: 123.378
INFO - Atoms: 69052/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 5530370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.061 Prop: 7065.089 PropClause: 6926.645 Set: 1178.169 Check: 0.0 Back: 124.966
INFO - Atoms: 68910/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 5599094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.077 Prop: 7146.296 PropClause: 7006.155 Set: 1190.477 Check: 0.0 Back: 126.536
INFO - Atoms: 68724/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 5667600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.092 Prop: 7230.907 PropClause: 7089.08 Set: 1202.734 Check: 0.0 Back: 128.113
INFO - Atoms: 68506/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 5735926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.108 Prop: 7314.851 PropClause: 7171.343 Set: 1214.944 Check: 0.0 Back: 129.688
INFO - Atoms: 68326/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 5804110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.123 Prop: 7396.752 PropClause: 7251.568 Set: 1227.069 Check: 0.0 Back: 131.266
INFO - Atoms: 68184/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 5872108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.139 Prop: 7476.818 PropClause: 7329.966 Set: 1239.107 Check: 0.0 Back: 132.823
INFO - Atoms: 67998/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 5939966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.156 Prop: 7558.807 PropClause: 7410.279 Set: 1251.183 Check: 0.0 Back: 134.376
INFO - Atoms: 67858/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 6007640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.173 Prop: 7639.608 PropClause: 7489.433 Set: 1263.123 Check: 0.0 Back: 135.919
INFO - Atoms: 67674/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 6075150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.188 Prop: 7719.853 PropClause: 7568.003 Set: 1275.189 Check: 0.0 Back: 137.454
INFO - Atoms: 67510/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 6142498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.204 Prop: 7798.498 PropClause: 7644.992 Set: 1287.073 Check: 0.0 Back: 138.987
INFO - Atoms: 67348/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 6209697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.249 Prop: 7877.57 PropClause: 7722.423 Set: 1298.91 Check: 0.0 Back: 140.527
INFO - Atoms: 67199/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 6276717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.304 Prop: 7958.105 PropClause: 7801.317 Set: 1310.821 Check: 0.0 Back: 142.054
INFO - Atoms: 67020/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 6343595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.317 Prop: 8037.459 PropClause: 7879.008 Set: 1322.614 Check: 0.0 Back: 143.583
INFO - Atoms: 66878/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 6410291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.326 Prop: 8121.631 PropClause: 7961.546 Set: 1334.504 Check: 0.0 Back: 145.09
INFO - Atoms: 66696/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 6476823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.338 Prop: 8203.685 PropClause: 8041.978 Set: 1346.329 Check: 0.0 Back: 146.608
INFO - Atoms: 66532/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 6543193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.351 Prop: 8282.852 PropClause: 8119.527 Set: 1358.12 Check: 0.0 Back: 148.112
INFO - Atoms: 66370/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 6609419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.366 Prop: 8365.475 PropClause: 8200.519 Set: 1369.991 Check: 0.0 Back: 149.625
INFO - Atoms: 66226/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 6675463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.38 Prop: 8445.543 PropClause: 8278.961 Set: 1381.719 Check: 0.0 Back: 151.159
INFO - Atoms: 66044/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 6741365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.392 Prop: 8525.324 PropClause: 8357.109 Set: 1393.384 Check: 0.0 Back: 152.68
INFO - Atoms: 65902/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 6807081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.405 Prop: 8603.04 PropClause: 8433.213 Set: 1405.118 Check: 0.0 Back: 154.179
INFO - Atoms: 65716/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 6872635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 8681.694 PropClause: 8510.263 Set: 1416.686 Check: 0.0 Back: 155.696
INFO - Atoms: 65554/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 6938025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.431 Prop: 8758.973 PropClause: 8585.934 Set: 1428.282 Check: 0.0 Back: 157.199
INFO - Atoms: 65390/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 7003268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.444 Prop: 8837.588 PropClause: 8662.934 Set: 1439.915 Check: 0.0 Back: 158.693
INFO - Atoms: 65243/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 7068332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.454 Prop: 8913.477 PropClause: 8737.218 Set: 1451.365 Check: 0.0 Back: 160.173
INFO - Atoms: 65064/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 7133254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.466 Prop: 8990.74 PropClause: 8812.888 Set: 1462.947 Check: 0.0 Back: 161.657
INFO - Atoms: 64922/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 7197994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.477 Prop: 9066.15 PropClause: 8886.708 Set: 1474.411 Check: 0.0 Back: 163.139
INFO - Atoms: 64740/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 7262590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.487 Prop: 9143.849 PropClause: 8962.818 Set: 1485.87 Check: 0.0 Back: 164.622
INFO - Atoms: 64596/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 7327004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.499 Prop: 9218.763 PropClause: 9036.151 Set: 1497.288 Check: 0.0 Back: 166.103
INFO - Atoms: 64414/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 7391276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 9295.152 PropClause: 9110.966 Set: 1523.268 Check: 0.0 Back: 167.574
INFO - Atoms: 64272/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 7455364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.521 Prop: 9370.076 PropClause: 9184.324 Set: 1534.519 Check: 0.0 Back: 169.029
INFO - Atoms: 64088/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 7519310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.533 Prop: 9447.955 PropClause: 9260.635 Set: 1545.893 Check: 0.0 Back: 170.484
INFO - Atoms: 63946/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 7583072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.546 Prop: 9523.987 PropClause: 9335.103 Set: 1557.118 Check: 0.0 Back: 171.938
INFO - Atoms: 63762/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 7646692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.557 Prop: 9600.403 PropClause: 9409.959 Set: 1568.377 Check: 0.0 Back: 173.403
INFO - Atoms: 63620/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 7710128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.571 Prop: 9673.695 PropClause: 9481.694 Set: 1579.566 Check: 0.0 Back: 174.856
INFO - Atoms: 63436/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 7773420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 9749.014 PropClause: 9555.46 Set: 1590.778 Check: 0.0 Back: 176.311
INFO - Atoms: 63292/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 7836528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.597 Prop: 9821.874 PropClause: 9626.772 Set: 1601.88 Check: 0.0 Back: 177.75
INFO - Atoms: 63108/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 7899494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.607 Prop: 9894.906 PropClause: 9698.26 Set: 1612.933 Check: 0.0 Back: 179.193
INFO - Atoms: 62966/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 7962278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.618 Prop: 9966.709 PropClause: 9768.526 Set: 1623.982 Check: 0.0 Back: 180.629
INFO - Atoms: 62784/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 8024920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.63 Prop: 10039.454 PropClause: 9839.737 Set: 1635.062 Check: 0.0 Back: 182.064
INFO - Atoms: 62642/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 8087378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.641 Prop: 10111.077 PropClause: 9909.82 Set: 1646.076 Check: 0.0 Back: 183.486
INFO - Atoms: 62458/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 8149672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.654 Prop: 10187.825 PropClause: 9985.015 Set: 1657.257 Check: 0.0 Back: 184.921
INFO - Atoms: 62294/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 8211804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.668 Prop: 10259.364 PropClause: 10055.015 Set: 1668.27 Check: 0.0 Back: 186.351
INFO - Atoms: 62132/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 8273789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 10331.305 PropClause: 10125.431 Set: 1679.183 Check: 0.0 Back: 187.777
INFO - Atoms: 61985/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 8335593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 10403.447 PropClause: 10196.065 Set: 1690.26 Check: 0.0 Back: 189.192
INFO - Atoms: 61804/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 8397251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.703 Prop: 10475.025 PropClause: 10266.136 Set: 1701.039 Check: 0.0 Back: 190.618
INFO - Atoms: 61658/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 8458731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.716 Prop: 10544.915 PropClause: 10334.521 Set: 1711.874 Check: 0.0 Back: 192.021
INFO - Atoms: 61480/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 8520069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 10611.36 PropClause: 10399.466 Set: 1722.566 Check: 0.0 Back: 193.414
INFO - Atoms: 61338/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 8581221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.739 Prop: 10677.276 PropClause: 10463.9 Set: 1733.126 Check: 0.0 Back: 194.803
INFO - Atoms: 61152/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 8642231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.752 Prop: 10745.607 PropClause: 10530.753 Set: 1743.684 Check: 0.0 Back: 196.175
INFO - Atoms: 61010/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 8703059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 10812.135 PropClause: 10595.812 Set: 1754.213 Check: 0.0 Back: 197.546
INFO - Atoms: 60828/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 8763745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 10880.075 PropClause: 10662.26 Set: 1764.818 Check: 0.0 Back: 198.91
INFO - Atoms: 60686/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 8824247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 10946.206 PropClause: 10726.903 Set: 1775.396 Check: 0.0 Back: 200.291
INFO - Atoms: 60502/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 8884607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.795 Prop: 11012.467 PropClause: 10791.696 Set: 1785.829 Check: 0.0 Back: 201.669
INFO - Atoms: 60360/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 8944783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.805 Prop: 11076.589 PropClause: 10854.361 Set: 1796.197 Check: 0.0 Back: 203.04
INFO - Atoms: 60176/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 9004809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.817 Prop: 11141.661 PropClause: 10917.96 Set: 1806.531 Check: 0.0 Back: 204.391
INFO - Atoms: 60026/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 9064659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.834 Prop: 11206.314 PropClause: 10981.157 Set: 1816.868 Check: 0.0 Back: 205.749
INFO - Atoms: 59850/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 9124358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 11271.478 PropClause: 11044.856 Set: 1827.181 Check: 0.0 Back: 207.1
INFO - Atoms: 59699/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 9183880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 11336.952 PropClause: 11108.881 Set: 1837.561 Check: 0.0 Back: 208.443
INFO - Atoms: 59522/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 9243240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.887 Prop: 11403.101 PropClause: 11173.581 Set: 1847.821 Check: 0.0 Back: 209.807
INFO - Atoms: 59360/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 9302436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.893 Prop: 11466.838 PropClause: 11235.879 Set: 1858.039 Check: 0.0 Back: 211.152
INFO - Atoms: 59196/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 9361490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.899 Prop: 11531.108 PropClause: 11298.698 Set: 1868.242 Check: 0.0 Back: 212.497
INFO - Atoms: 59054/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 9420362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 11595.132 PropClause: 11361.27 Set: 1878.568 Check: 0.0 Back: 213.823
INFO - Atoms: 58872/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 9479092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 11659.743 PropClause: 11424.455 Set: 1888.69 Check: 0.0 Back: 215.162
INFO - Atoms: 58730/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 9537638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.921 Prop: 11722.829 PropClause: 11486.109 Set: 1898.796 Check: 0.0 Back: 216.5
INFO - Atoms: 58546/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 9596036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.927 Prop: 11785.405 PropClause: 11547.249 Set: 1908.938 Check: 0.0 Back: 217.847
INFO - Atoms: 58398/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 9654254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.933 Prop: 11846.809 PropClause: 11607.243 Set: 1918.926 Check: 0.0 Back: 219.176
INFO - Atoms: 58218/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 9712323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.943 Prop: 11909.511 PropClause: 11668.517 Set: 1941.549 Check: 0.0 Back: 220.488
INFO - Atoms: 58069/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 9770217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.95 Prop: 11971.548 PropClause: 11729.138 Set: 1951.579 Check: 0.0 Back: 221.796
INFO - Atoms: 57894/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 9827962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.957 Prop: 12033.256 PropClause: 11789.436 Set: 1961.517 Check: 0.0 Back: 223.114
INFO - Atoms: 57745/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 9885530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 12095.571 PropClause: 11850.353 Set: 1971.501 Check: 0.0 Back: 224.418
INFO - Atoms: 57568/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 9942954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.998 Prop: 12158.198 PropClause: 11911.583 Set: 1981.385 Check: 0.0 Back: 225.736
INFO - Atoms: 57424/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 10000194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.057 Prop: 12219.677 PropClause: 11971.642 Set: 1991.602 Check: 0.0 Back: 227.042
INFO - Atoms: 57240/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 10057272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 12280.257 PropClause: 12030.831 Set: 2001.55 Check: 0.0 Back: 228.345
INFO - Atoms: 57078/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 10114188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 12341.099 PropClause: 12090.286 Set: 2011.471 Check: 0.0 Back: 229.649
INFO - Atoms: 56916/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 10170953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.079 Prop: 12403.351 PropClause: 12151.143 Set: 2021.388 Check: 0.0 Back: 230.952
INFO - Atoms: 56765/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 10227543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.09 Prop: 12464.584 PropClause: 12210.987 Set: 2048.815 Check: 0.0 Back: 232.237
INFO - Atoms: 56590/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 10283969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.097 Prop: 12525.655 PropClause: 12270.653 Set: 2058.626 Check: 0.0 Back: 233.524
INFO - Atoms: 56426/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 10340233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.104 Prop: 12583.604 PropClause: 12327.222 Set: 2068.295 Check: 0.0 Back: 234.793
INFO - Atoms: 56264/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 10396348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.11 Prop: 12644.088 PropClause: 12386.338 Set: 2077.987 Check: 0.0 Back: 236.079
INFO - Atoms: 56115/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 10452286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.116 Prop: 12703.584 PropClause: 12444.459 Set: 2087.658 Check: 0.0 Back: 237.357
INFO - Atoms: 55938/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 10508080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.123 Prop: 12762.709 PropClause: 12502.224 Set: 2097.252 Check: 0.0 Back: 238.637
INFO - Atoms: 55794/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 10563692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.131 Prop: 12820.802 PropClause: 12558.95 Set: 2106.883 Check: 0.0 Back: 239.896
INFO - Atoms: 55612/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 10619162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.138 Prop: 12881.428 PropClause: 12618.227 Set: 2116.506 Check: 0.0 Back: 241.16
INFO - Atoms: 55470/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 10674448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.146 Prop: 12939.271 PropClause: 12674.722 Set: 2126.039 Check: 0.0 Back: 242.426
INFO - Atoms: 55286/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 10729592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.155 Prop: 12997.378 PropClause: 12731.482 Set: 2135.578 Check: 0.0 Back: 243.692
INFO - Atoms: 55144/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 10784552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.164 Prop: 13054.482 PropClause: 12787.247 Set: 2145.0 Check: 0.0 Back: 244.937
INFO - Atoms: 54960/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 10839348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.17 Prop: 13110.909 PropClause: 12842.328 Set: 2154.466 Check: 0.0 Back: 246.18
INFO - Atoms: 54796/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 10893982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.178 Prop: 13167.919 PropClause: 12897.998 Set: 2163.947 Check: 0.0 Back: 247.417
INFO - Atoms: 54634/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 10948452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.186 Prop: 13225.895 PropClause: 12954.633 Set: 2173.388 Check: 0.0 Back: 248.675
INFO - Atoms: 54470/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 11002758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.194 Prop: 13281.427 PropClause: 13008.837 Set: 2182.744 Check: 0.0 Back: 249.911
INFO - Atoms: 54306/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 11056924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.201 Prop: 13337.891 PropClause: 13063.976 Set: 2192.069 Check: 0.0 Back: 251.146
INFO - Atoms: 54166/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 11110904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 13391.697 PropClause: 13116.448 Set: 2201.343 Check: 0.0 Back: 252.379
INFO - Atoms: 53980/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 11164742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.213 Prop: 13447.089 PropClause: 13170.519 Set: 2210.565 Check: 0.0 Back: 253.606
INFO - Atoms: 53838/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 11218398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.221 Prop: 13501.082 PropClause: 13223.191 Set: 2233.94 Check: 0.0 Back: 254.833
INFO - Atoms: 53656/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 11271910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.23 Prop: 13562.811 PropClause: 13283.606 Set: 2243.281 Check: 0.0 Back: 256.07
INFO - Atoms: 53512/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 11325240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.239 Prop: 13617.423 PropClause: 13336.902 Set: 2252.57 Check: 0.0 Back: 257.286
INFO - Atoms: 53330/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 11378428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.247 Prop: 13672.494 PropClause: 13390.652 Set: 2261.816 Check: 0.0 Back: 258.651
INFO - Atoms: 53188/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 11431432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.254 Prop: 13724.624 PropClause: 13441.475 Set: 2270.951 Check: 0.0 Back: 259.858
INFO - Atoms: 53004/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 11484292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.263 Prop: 13779.554 PropClause: 13495.102 Set: 2280.084 Check: 0.0 Back: 261.087
INFO - Atoms: 52860/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 11536968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.271 Prop: 13831.553 PropClause: 13545.81 Set: 2289.05 Check: 0.0 Back: 262.293
INFO - Atoms: 52676/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 11589502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 13882.153 PropClause: 13595.13 Set: 2297.971 Check: 0.0 Back: 263.491
INFO - Atoms: 52534/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 11641852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.286 Prop: 13932.588 PropClause: 13644.282 Set: 2306.834 Check: 0.0 Back: 264.683
INFO - Atoms: 52350/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 11694060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.293 Prop: 13983.692 PropClause: 13694.107 Set: 2315.714 Check: 0.0 Back: 265.868
INFO - Atoms: 52208/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 11746084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.3 Prop: 14033.396 PropClause: 13742.549 Set: 2324.533 Check: 0.0 Back: 267.052
INFO - Atoms: 52024/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 11797968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.307 Prop: 14082.911 PropClause: 13790.798 Set: 2333.315 Check: 0.0 Back: 268.238
INFO - Atoms: 51884/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 11849668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 14131.383 PropClause: 13837.997 Set: 2342.059 Check: 0.0 Back: 269.408
INFO - Atoms: 51700/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 11900430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 14179.456 PropClause: 13884.83 Set: 2350.515 Check: 0.0 Back: 270.588
INFO - Atoms: 50762/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 11951010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.328 Prop: 14226.045 PropClause: 13930.181 Set: 2358.975 Check: 0.0 Back: 271.74
INFO - Atoms: 50580/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 12001446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 14273.568 PropClause: 13976.469 Set: 2367.359 Check: 0.0 Back: 272.894
INFO - Atoms: 50436/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 12051700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.341 Prop: 14319.526 PropClause: 14021.209 Set: 2375.724 Check: 0.0 Back: 274.033
INFO - Atoms: 50254/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 12101812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 14366.437 PropClause: 14066.898 Set: 2384.027 Check: 0.0 Back: 275.172
INFO - Atoms: 50112/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 12151738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 14412.109 PropClause: 14111.337 Set: 2392.403 Check: 0.0 Back: 276.307
INFO - Atoms: 49926/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 12201524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.364 Prop: 14458.61 PropClause: 14156.618 Set: 2400.727 Check: 0.0 Back: 277.431
INFO - Atoms: 49786/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 12251124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.371 Prop: 14504.862 PropClause: 14201.649 Set: 2409.095 Check: 0.0 Back: 278.554
INFO - Atoms: 49600/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 12300584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.417 Prop: 14550.829 PropClause: 14246.404 Set: 2417.337 Check: 0.0 Back: 279.69
INFO - Atoms: 49460/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 12349860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.463 Prop: 14595.311 PropClause: 14289.675 Set: 2425.538 Check: 0.0 Back: 280.807
INFO - Atoms: 49276/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 12398972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.506 Prop: 14640.502 PropClause: 14333.659 Set: 2433.683 Check: 0.0 Back: 281.922
INFO - Atoms: 49112/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 12447922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 14685.098 PropClause: 14377.053 Set: 2441.921 Check: 0.0 Back: 283.032
INFO - Atoms: 48950/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 12496728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.521 Prop: 14730.357 PropClause: 14421.13 Set: 2449.919 Check: 0.0 Back: 284.141
INFO - Atoms: 48806/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 12545352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.529 Prop: 14773.643 PropClause: 14463.235 Set: 2457.914 Check: 0.0 Back: 285.26
INFO - Atoms: 48624/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 12593832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.536 Prop: 14818.504 PropClause: 14506.918 Set: 2465.927 Check: 0.0 Back: 286.367
INFO - Atoms: 48480/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 12642130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.571 Prop: 14861.783 PropClause: 14549.013 Set: 2473.925 Check: 0.0 Back: 287.467
INFO - Atoms: 48298/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 12690286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.601 Prop: 14905.303 PropClause: 14591.348 Set: 2481.899 Check: 0.0 Back: 288.562
INFO - Atoms: 48156/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 12738256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.609 Prop: 14948.502 PropClause: 14633.371 Set: 2489.845 Check: 0.0 Back: 289.664
INFO - Atoms: 47970/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 12786086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.616 Prop: 14992.189 PropClause: 14675.892 Set: 2497.749 Check: 0.0 Back: 290.758
INFO - Atoms: 47830/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 12833730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.622 Prop: 15034.941 PropClause: 14717.47 Set: 2505.642 Check: 0.0 Back: 291.863
INFO - Atoms: 47644/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 12881225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 15079.053 PropClause: 14760.41 Set: 2513.571 Check: 0.0 Back: 292.957
INFO - Atoms: 47495/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 12928545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.638 Prop: 15121.464 PropClause: 14801.652 Set: 2521.407 Check: 0.0 Back: 294.056
INFO - Atoms: 47320/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 12975721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 15165.915 PropClause: 14844.933 Set: 2529.275 Check: 0.0 Back: 295.16
INFO - Atoms: 47176/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 13022715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 15207.483 PropClause: 14885.336 Set: 2537.059 Check: 0.0 Back: 296.255
INFO - Atoms: 46994/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 13069567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 15251.119 PropClause: 14927.828 Set: 2544.934 Check: 0.0 Back: 297.335
INFO - Atoms: 46852/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 13116233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.668 Prop: 15293.868 PropClause: 14969.423 Set: 2552.661 Check: 0.0 Back: 298.4
INFO - Atoms: 46666/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 13162757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.676 Prop: 15338.931 PropClause: 15013.338 Set: 2560.421 Check: 0.0 Back: 299.477
INFO - Atoms: 46524/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 13209099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.684 Prop: 15382.68 PropClause: 15055.947 Set: 2568.142 Check: 0.0 Back: 300.537
INFO - Atoms: 46342/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 13255299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 15423.938 PropClause: 15096.074 Set: 2575.769 Check: 0.0 Back: 301.593
INFO - Atoms: 46200/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 13301313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.699 Prop: 15464.413 PropClause: 15135.427 Set: 2583.287 Check: 0.0 Back: 302.641
INFO - Atoms: 46014/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 13347185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.705 Prop: 15504.996 PropClause: 15174.893 Set: 2590.798 Check: 0.0 Back: 303.69
INFO - Atoms: 45872/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 13392873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 15546.223 PropClause: 15214.988 Set: 2598.399 Check: 0.0 Back: 304.73
INFO - Atoms: 45688/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 13438399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.72 Prop: 15587.779 PropClause: 15255.43 Set: 2605.872 Check: 0.0 Back: 305.794
INFO - Atoms: 45526/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 13483763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.727 Prop: 15630.327 PropClause: 15296.865 Set: 2613.375 Check: 0.0 Back: 306.833
INFO - Atoms: 45364/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 13528985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 15672.384 PropClause: 15337.815 Set: 2620.782 Check: 0.0 Back: 307.884
INFO - Atoms: 45222/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 13574023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 15710.722 PropClause: 15375.057 Set: 2628.08 Check: 0.0 Back: 308.906
INFO - Atoms: 45038/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 13618912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.749 Prop: 15749.687 PropClause: 15412.929 Set: 2635.425 Check: 0.0 Back: 309.93
INFO - Atoms: 44889/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 13663624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.756 Prop: 15787.851 PropClause: 15449.99 Set: 2642.807 Check: 0.0 Back: 310.945
INFO - Atoms: 44712/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 13708192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.762 Prop: 15825.487 PropClause: 15486.537 Set: 2649.999 Check: 0.0 Back: 311.958
INFO - Atoms: 44568/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 13752578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.768 Prop: 15864.189 PropClause: 15524.146 Set: 2657.215 Check: 0.0 Back: 312.975
INFO - Atoms: 44386/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 13796813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.776 Prop: 15902.851 PropClause: 15561.725 Set: 2664.451 Check: 0.0 Back: 313.982
INFO - Atoms: 44235/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 13840873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.783 Prop: 15939.538 PropClause: 15597.338 Set: 2671.626 Check: 0.0 Back: 314.997
INFO - Atoms: 44060/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 13884789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 15977.129 PropClause: 15633.853 Set: 2678.746 Check: 0.0 Back: 315.998
INFO - Atoms: 43916/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 13928521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.797 Prop: 16013.623 PropClause: 15669.275 Set: 2685.887 Check: 0.0 Back: 316.992
INFO - Atoms: 43732/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 13972111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.804 Prop: 16052.594 PropClause: 15707.176 Set: 2692.944 Check: 0.0 Back: 317.991
INFO - Atoms: 43590/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 14015519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.811 Prop: 16091.457 PropClause: 15744.977 Set: 2700.161 Check: 0.0 Back: 318.983
INFO - Atoms: 43408/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 14058763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.821 Prop: 16130.027 PropClause: 15782.49 Set: 2707.269 Check: 0.0 Back: 319.967
INFO - Atoms: 43244/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 14101845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.828 Prop: 16170.026 PropClause: 15821.432 Set: 2714.414 Check: 0.0 Back: 320.966
INFO - Atoms: 43082/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 14144785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.836 Prop: 16208.278 PropClause: 15858.626 Set: 2721.452 Check: 0.0 Back: 321.965
INFO - Atoms: 42940/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 14187539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.843 Prop: 16244.559 PropClause: 15893.861 Set: 2728.454 Check: 0.0 Back: 322.943
INFO - Atoms: 42754/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 14230151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 16281.306 PropClause: 15929.56 Set: 2735.466 Check: 0.0 Back: 323.912
INFO - Atoms: 42612/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 14272581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 16317.03 PropClause: 15964.244 Set: 2742.378 Check: 0.0 Back: 324.882
INFO - Atoms: 42430/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 14314869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 16353.778 PropClause: 15999.954 Set: 2749.375 Check: 0.0 Back: 325.85
INFO - Atoms: 42288/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 14356971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.881 Prop: 16388.849 PropClause: 16033.991 Set: 2756.247 Check: 0.0 Back: 326.814
INFO - Atoms: 42102/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 14398931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.888 Prop: 16423.333 PropClause: 16067.439 Set: 2763.019 Check: 0.0 Back: 327.79
INFO - Atoms: 41960/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 14440707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.894 Prop: 16457.49 PropClause: 16100.575 Set: 2769.758 Check: 0.0 Back: 328.745
INFO - Atoms: 41776/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 14482343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.902 Prop: 16492.461 PropClause: 16134.513 Set: 2776.486 Check: 0.0 Back: 329.708
INFO - Atoms: 41636/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 14523795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 16528.332 PropClause: 16169.372 Set: 2783.214 Check: 0.0 Back: 330.653
INFO - Atoms: 41452/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 14565105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.915 Prop: 16561.913 PropClause: 16201.934 Set: 2789.828 Check: 0.0 Back: 331.6
INFO - Atoms: 41310/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 14606231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.924 Prop: 16594.803 PropClause: 16233.806 Set: 2796.426 Check: 0.0 Back: 332.538
INFO - Atoms: 41126/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 14647207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 16626.664 PropClause: 16264.669 Set: 2802.954 Check: 0.0 Back: 333.475
INFO - Atoms: 40976/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 14688005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.937 Prop: 16657.77 PropClause: 16294.772 Set: 2809.421 Check: 0.0 Back: 334.399
INFO - Atoms: 40798/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 14728663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.944 Prop: 16691.006 PropClause: 16327.021 Set: 2815.888 Check: 0.0 Back: 335.329
INFO - Atoms: 40658/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 14769137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 16722.959 PropClause: 16357.983 Set: 2822.371 Check: 0.0 Back: 336.248
INFO - Atoms: 40474/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 14809467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.96 Prop: 16753.545 PropClause: 16387.585 Set: 2828.756 Check: 0.0 Back: 337.175
INFO - Atoms: 40330/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 14849613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.966 Prop: 16782.506 PropClause: 16415.56 Set: 2835.15 Check: 0.0 Back: 338.083
INFO - Atoms: 40146/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 14889617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.973 Prop: 16811.078 PropClause: 16443.16 Set: 2841.439 Check: 0.0 Back: 338.994
INFO - Atoms: 40004/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 14929437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.98 Prop: 16839.258 PropClause: 16470.363 Set: 2847.772 Check: 0.0 Back: 339.892
INFO - Atoms: 39820/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 14969115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.986 Prop: 16867.768 PropClause: 16497.903 Set: 2853.968 Check: 0.0 Back: 340.8
INFO - Atoms: 39678/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 15008611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.994 Prop: 16895.927 PropClause: 16525.092 Set: 2860.221 Check: 0.0 Back: 341.714
INFO - Atoms: 39496/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 15047963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.003 Prop: 16924.132 PropClause: 16552.343 Set: 2866.339 Check: 0.0 Back: 342.615
INFO - Atoms: 39352/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 15087131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 16951.215 PropClause: 16578.466 Set: 2872.545 Check: 0.0 Back: 343.512
INFO - Atoms: 39168/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 15126157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.016 Prop: 16978.649 PropClause: 16604.952 Set: 2878.646 Check: 0.0 Back: 344.403
INFO - Atoms: 39026/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 15165001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.023 Prop: 17005.639 PropClause: 16630.99 Set: 2884.752 Check: 0.0 Back: 345.279
INFO - Atoms: 38844/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 15202907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.03 Prop: 17032.006 PropClause: 16656.435 Set: 2890.544 Check: 0.0 Back: 346.161
INFO - Atoms: 37906/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 15240631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.037 Prop: 17057.039 PropClause: 16680.538 Set: 2896.365 Check: 0.0 Back: 347.022
INFO - Atoms: 37724/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 15278213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.044 Prop: 17082.955 PropClause: 16705.511 Set: 2902.195 Check: 0.0 Back: 347.879
INFO - Atoms: 37582/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 15315611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.051 Prop: 17109.02 PropClause: 16730.636 Set: 2908.018 Check: 0.0 Back: 348.728
INFO - Atoms: 37398/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 15352867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.059 Prop: 17134.407 PropClause: 16755.119 Set: 2913.701 Check: 0.0 Back: 349.582
INFO - Atoms: 37256/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 15389937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.066 Prop: 17158.741 PropClause: 16778.54 Set: 2919.378 Check: 0.0 Back: 350.424
INFO - Atoms: 37070/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 15426865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 17183.64 PropClause: 16802.548 Set: 2924.98 Check: 0.0 Back: 351.261
INFO - Atoms: 36928/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 15463611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.077 Prop: 17207.305 PropClause: 16825.315 Set: 2930.62 Check: 0.0 Back: 352.092
INFO - Atoms: 36746/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 15500215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 17230.914 PropClause: 16848.044 Set: 2936.102 Check: 0.0 Back: 352.931
INFO - Atoms: 36604/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 15536635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.091 Prop: 17254.385 PropClause: 16870.624 Set: 2941.673 Check: 0.0 Back: 353.755
INFO - Atoms: 36420/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 15572913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 17277.601 PropClause: 16892.968 Set: 2947.107 Check: 0.0 Back: 354.597
INFO - Atoms: 36278/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 15609007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 17300.601 PropClause: 16915.086 Set: 2952.645 Check: 0.0 Back: 355.422
INFO - Atoms: 36094/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 15644959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.111 Prop: 17323.468 PropClause: 16937.073 Set: 2958.093 Check: 0.0 Back: 356.244
INFO - Atoms: 35952/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 15680727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.117 Prop: 17346.612 PropClause: 16959.331 Set: 2963.533 Check: 0.0 Back: 357.061
INFO - Atoms: 35768/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 15716351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.124 Prop: 17369.207 PropClause: 16981.057 Set: 2968.9 Check: 0.0 Back: 357.875
INFO - Atoms: 35624/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 15751793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.132 Prop: 17391.611 PropClause: 17002.593 Set: 2974.297 Check: 0.0 Back: 358.683
INFO - Atoms: 35442/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 15787093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.139 Prop: 17414.014 PropClause: 17024.139 Set: 2979.587 Check: 0.0 Back: 359.49
INFO - Atoms: 35300/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 15822207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 17435.988 PropClause: 17045.251 Set: 2984.907 Check: 0.0 Back: 360.288
INFO - Atoms: 35114/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 15857179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 17458.208 PropClause: 17066.627 Set: 2990.138 Check: 0.0 Back: 361.086
INFO - Atoms: 34972/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 15891969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 17479.775 PropClause: 17087.334 Set: 2995.394 Check: 0.0 Back: 361.875
INFO - Atoms: 34790/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 15926617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.166 Prop: 17501.041 PropClause: 17107.758 Set: 3000.576 Check: 0.0 Back: 362.669
INFO - Atoms: 34648/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 15961081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.173 Prop: 17522.295 PropClause: 17128.171 Set: 3005.778 Check: 0.0 Back: 363.462
INFO - Atoms: 34464/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 15995401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.18 Prop: 17544.214 PropClause: 17149.255 Set: 3010.92 Check: 0.0 Back: 364.238
INFO - Atoms: 34320/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 16029537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 17564.674 PropClause: 17168.881 Set: 3016.028 Check: 0.0 Back: 365.031
INFO - Atoms: 34136/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 16063533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.193 Prop: 17585.913 PropClause: 17189.296 Set: 3021.102 Check: 0.0 Back: 365.804
INFO - Atoms: 33996/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 16097345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 17606.461 PropClause: 17209.021 Set: 3026.209 Check: 0.0 Back: 366.58
INFO - Atoms: 33812/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 16131015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.206 Prop: 17627.814 PropClause: 17229.556 Set: 3031.242 Check: 0.0 Back: 367.352
INFO - Atoms: 33670/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 16164501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.213 Prop: 17648.389 PropClause: 17249.317 Set: 3036.255 Check: 0.0 Back: 368.11
INFO - Atoms: 33486/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 16197845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.22 Prop: 17669.569 PropClause: 17269.677 Set: 3041.256 Check: 0.0 Back: 368.871
INFO - Atoms: 33344/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 16231005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.228 Prop: 17690.089 PropClause: 17289.389 Set: 3046.233 Check: 0.0 Back: 369.646
INFO - Atoms: 33160/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 16264023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 17710.999 PropClause: 17309.494 Set: 3051.187 Check: 0.0 Back: 370.4
INFO - Atoms: 33018/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 16296855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.243 Prop: 17730.703 PropClause: 17328.401 Set: 3056.092 Check: 0.0 Back: 371.146
INFO - Atoms: 32832/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 16329545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.25 Prop: 17750.273 PropClause: 17347.172 Set: 3060.961 Check: 0.0 Back: 371.889
INFO - Atoms: 32690/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 16362053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.257 Prop: 17769.842 PropClause: 17365.942 Set: 3065.819 Check: 0.0 Back: 372.626
INFO - Atoms: 32508/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 16394419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.266 Prop: 17789.354 PropClause: 17384.655 Set: 3070.649 Check: 0.0 Back: 373.368
INFO - Atoms: 32366/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 16426601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 17808.143 PropClause: 17402.662 Set: 3075.431 Check: 0.0 Back: 374.099
INFO - Atoms: 32182/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 16458639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 17827.41 PropClause: 17421.148 Set: 3080.199 Check: 0.0 Back: 374.828
INFO - Atoms: 32038/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 16490493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 17846.28 PropClause: 17439.244 Set: 3084.941 Check: 0.0 Back: 375.56
INFO - Atoms: 31854/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 16522207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.293 Prop: 17864.935 PropClause: 17457.128 Set: 3089.624 Check: 0.0 Back: 376.281
INFO - Atoms: 31714/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 16553735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.3 Prop: 17883.478 PropClause: 17474.891 Set: 3094.287 Check: 0.0 Back: 376.996
INFO - Atoms: 31528/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 16585123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.308 Prop: 17902.379 PropClause: 17493.019 Set: 3098.956 Check: 0.0 Back: 377.721
INFO - Atoms: 31388/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 16616327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 17920.364 PropClause: 17510.234 Set: 3103.568 Check: 0.0 Back: 378.435
INFO - Atoms: 31204/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 16647387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.322 Prop: 17938.391 PropClause: 17527.501 Set: 3108.162 Check: 0.0 Back: 379.147
INFO - Atoms: 31060/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 16678265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 17955.774 PropClause: 17544.132 Set: 3112.741 Check: 0.0 Back: 379.852
INFO - Atoms: 30878/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 16709001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.337 Prop: 17973.12 PropClause: 17560.724 Set: 3117.292 Check: 0.0 Back: 380.552
INFO - Atoms: 30736/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 16739551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 17989.895 PropClause: 17576.747 Set: 3121.777 Check: 0.0 Back: 381.255
INFO - Atoms: 30550/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 16769959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 18007.124 PropClause: 17593.232 Set: 3126.243 Check: 0.0 Back: 381.964
INFO - Atoms: 30408/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 16800183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.358 Prop: 18053.876 PropClause: 17639.249 Set: 3130.703 Check: 0.0 Back: 382.651
INFO - Atoms: 30224/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 16830265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.365 Prop: 18070.605 PropClause: 17655.243 Set: 3135.108 Check: 0.0 Back: 383.337
INFO - Atoms: 30082/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 16859773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.371 Prop: 18086.699 PropClause: 17670.617 Set: 3139.369 Check: 0.0 Back: 384.036
INFO - Atoms: 29508/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 16889139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.378 Prop: 18102.64 PropClause: 17685.831 Set: 3143.605 Check: 0.0 Back: 384.706
INFO - Atoms: 29366/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 16918321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 18117.817 PropClause: 17700.297 Set: 3147.808 Check: 0.0 Back: 385.376
INFO - Atoms: 29182/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 16947361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 18132.818 PropClause: 17714.58 Set: 3151.958 Check: 0.0 Back: 386.037
INFO - Atoms: 29040/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 16976217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.398 Prop: 18147.869 PropClause: 17728.928 Set: 3156.15 Check: 0.0 Back: 386.712
INFO - Atoms: 28856/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 17004931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 18162.539 PropClause: 17742.896 Set: 3160.259 Check: 0.0 Back: 387.369
INFO - Atoms: 28714/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 17033461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.412 Prop: 18176.789 PropClause: 17756.453 Set: 3164.353 Check: 0.0 Back: 388.014
INFO - Atoms: 28530/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 17061849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.42 Prop: 18191.146 PropClause: 17770.121 Set: 3168.401 Check: 0.0 Back: 388.66
INFO - Atoms: 28388/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 17090053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 18205.452 PropClause: 17783.739 Set: 3172.442 Check: 0.0 Back: 389.297
INFO - Atoms: 28204/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 17118115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 18219.756 PropClause: 17797.356 Set: 3176.449 Check: 0.0 Back: 389.935
INFO - Atoms: 28062/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 17145993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.44 Prop: 18233.613 PropClause: 17810.534 Set: 3180.462 Check: 0.0 Back: 390.574
INFO - Atoms: 27878/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 17173729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 18247.381 PropClause: 17823.627 Set: 3184.38 Check: 0.0 Back: 391.208
INFO - Atoms: 27736/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 17201281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 18260.722 PropClause: 17836.292 Set: 3188.315 Check: 0.0 Back: 391.834
INFO - Atoms: 27552/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 17228691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.46 Prop: 18274.195 PropClause: 17849.097 Set: 3192.19 Check: 0.0 Back: 392.464
INFO - Atoms: 27410/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 17255917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.466 Prop: 18287.091 PropClause: 17861.325 Set: 3196.075 Check: 0.0 Back: 393.085
INFO - Atoms: 27226/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 17283001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.472 Prop: 18299.756 PropClause: 17873.332 Set: 3199.884 Check: 0.0 Back: 393.709
INFO - Atoms: 27084/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 17309901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.478 Prop: 18311.958 PropClause: 17884.878 Set: 3203.677 Check: 0.0 Back: 394.321
INFO - Atoms: 26900/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 17336659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.485 Prop: 18324.531 PropClause: 17896.799 Set: 3219.437 Check: 0.0 Back: 394.933
INFO - Atoms: 26758/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 17363233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.492 Prop: 18336.624 PropClause: 17908.245 Set: 3223.171 Check: 0.0 Back: 395.539
INFO - Atoms: 26574/79678 Clauses: 977 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 821 Props: 18897088 Tprops: 0 Decides: 6519 RSplits: 0
INFO - Times: Expl: 1049.779 Prop: 19707.409 PropClause: 19237.67 Set: 3262.655 Check: 0.163 Back: 431.63
INFO - Atoms: 26026/79678 Clauses: 1476 Axioms: 263618
INFO - Confl: 1263 Props: 20089256 Tprops: 0 Decides: 10613 RSplits: 0
INFO - Times: Expl: 1427.544 Prop: 20602.632 PropClause: 20101.069 Set: 3290.692 Check: 0.268 Back: 459.511
INFO - Atoms: 26952/79678 Clauses: 1918 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1763 Props: 22296357 Tprops: 0 Decides: 21326 RSplits: 0
INFO - Times: Expl: 2407.278 Prop: 22785.747 PropClause: 22224.143 Set: 3346.552 Check: 0.525 Back: 512.012
INFO - Atoms: 26031/79678 Clauses: 1478 Axioms: 263618
INFO - Confl: 2009 Props: 23137117 Tprops: 0 Decides: 23996 RSplits: 0
INFO - Times: Expl: 2702.749 Prop: 23565.032 PropClause: 22980.728 Set: 3366.559 Check: 0.593 Back: 531.861
INFO - Atoms: 26642/79678 Clauses: 1724 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2509 Props: 24577540 Tprops: 0 Decides: 30295 RSplits: 0
INFO - Times: Expl: 3545.666 Prop: 24850.721 PropClause: 24227.128 Set: 3403.834 Check: 0.748 Back: 566.106
INFO - Atoms: 26022/79678 Clauses: 1480 Axioms: 263618
INFO - Confl: 2828 Props: 25500818 Tprops: 0 Decides: 33684 RSplits: 0
INFO - Times: Expl: 3877.333 Prop: 25612.624 PropClause: 24964.041 Set: 3425.674 Check: 0.838 Back: 587.895
INFO - Atoms: 27079/79678 Clauses: 1799 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3328 Props: 27372701 Tprops: 0 Decides: 41940 RSplits: 0
INFO - Times: Expl: 4700.963 Prop: 27278.516 PropClause: 26579.396 Set: 3472.702 Check: 1.034 Back: 632.161
INFO - Atoms: 26027/79678 Clauses: 1480 Axioms: 263618
INFO - Confl: 3563 Props: 28184012 Tprops: 0 Decides: 44567 RSplits: 0
INFO - Times: Expl: 4996.344 Prop: 28013.824 PropClause: 27293.18 Set: 3492.024 Check: 1.1 Back: 651.405
INFO - Atoms: 27313/79678 Clauses: 1715 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4063 Props: 30351255 Tprops: 0 Decides: 54500 RSplits: 0
INFO - Times: Expl: 6332.388 Prop: 30278.09 PropClause: 29498.363 Set: 3546.908 Check: 1.339 Back: 703.388
INFO - Atoms: 26027/79678 Clauses: 1480 Axioms: 263618
INFO - Confl: 4344 Props: 31177166 Tprops: 0 Decides: 57358 RSplits: 0
INFO - Times: Expl: 6639.116 Prop: 31006.139 PropClause: 30204.497 Set: 3566.518 Check: 1.412 Back: 722.949
INFO - Atoms: 26825/79678 Clauses: 1761 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4844 Props: 33124991 Tprops: 0 Decides: 67009 RSplits: 0
INFO - Times: Expl: 7404.085 Prop: 32820.924 PropClause: 31966.166 Set: 3615.55 Check: 1.643 Back: 769.199
INFO - Atoms: 26036/79678 Clauses: 1483 Axioms: 263618
INFO - Confl: 5033 Props: 33687282 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.181 Prop: 33252.272 PropClause: 32382.848 Set: 3628.801 Check: 1.686 Back: 782.435
INFO - Atoms: 26925/79678 Clauses: 1672 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5034 Props: 33733551 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.187 Prop: 33312.403 PropClause: 32441.682 Set: 3651.535 Check: 1.686 Back: 783.045
INFO - Atoms: 46269/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5035 Props: 33780132 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.193 Prop: 33356.261 PropClause: 32484.401 Set: 3660.053 Check: 1.686 Back: 784.093
INFO - Atoms: 46581/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5036 Props: 33827033 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.199 Prop: 33400.391 PropClause: 32527.381 Set: 3668.711 Check: 1.686 Back: 785.153
INFO - Atoms: 46901/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5037 Props: 33874095 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.204 Prop: 33445.315 PropClause: 32571.155 Set: 3677.375 Check: 1.686 Back: 786.213
INFO - Atoms: 47062/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5038 Props: 33921324 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.209 Prop: 33489.617 PropClause: 32614.301 Set: 3686.052 Check: 1.686 Back: 787.279
INFO - Atoms: 47229/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5039 Props: 33968712 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.214 Prop: 33533.85 PropClause: 32657.374 Set: 3694.781 Check: 1.686 Back: 788.346
INFO - Atoms: 47388/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5040 Props: 34016271 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.218 Prop: 33577.766 PropClause: 32700.127 Set: 3703.556 Check: 1.686 Back: 789.423
INFO - Atoms: 47559/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5041 Props: 34063985 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.225 Prop: 33625.154 PropClause: 32746.328 Set: 3712.462 Check: 1.686 Back: 790.508
INFO - Atoms: 47714/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5042 Props: 34111876 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.229 Prop: 33671.44 PropClause: 32791.443 Set: 3721.345 Check: 1.686 Back: 791.588
INFO - Atoms: 47891/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5043 Props: 34159917 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.234 Prop: 33715.917 PropClause: 32834.735 Set: 3730.278 Check: 1.686 Back: 792.682
INFO - Atoms: 48041/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5044 Props: 34208134 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.239 Prop: 33760.611 PropClause: 32878.246 Set: 3739.123 Check: 1.686 Back: 793.773
INFO - Atoms: 48217/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5045 Props: 34256506 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.244 Prop: 33806.868 PropClause: 32923.316 Set: 3748.038 Check: 1.686 Back: 794.881
INFO - Atoms: 48372/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5046 Props: 34305041 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.248 Prop: 33853.392 PropClause: 32968.654 Set: 3757.03 Check: 1.686 Back: 795.97
INFO - Atoms: 48535/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5047 Props: 34353734 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.253 Prop: 33899.284 PropClause: 33013.351 Set: 3766.051 Check: 1.686 Back: 797.067
INFO - Atoms: 48693/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5048 Props: 34402603 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.26 Prop: 33949.067 PropClause: 33061.928 Set: 3775.18 Check: 1.686 Back: 798.168
INFO - Atoms: 48869/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5049 Props: 34451636 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.266 Prop: 33996.574 PropClause: 33108.23 Set: 3784.336 Check: 1.686 Back: 799.282
INFO - Atoms: 49033/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5050 Props: 34500819 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.271 Prop: 34044.849 PropClause: 33155.28 Set: 3793.536 Check: 1.686 Back: 800.41
INFO - Atoms: 49183/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5051 Props: 34550173 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.276 Prop: 34093.142 PropClause: 33202.355 Set: 3802.728 Check: 1.686 Back: 801.535
INFO - Atoms: 49354/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5052 Props: 34599680 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.281 Prop: 34143.138 PropClause: 33251.129 Set: 3811.966 Check: 1.686 Back: 802.729
INFO - Atoms: 49507/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5053 Props: 34649350 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.286 Prop: 34192.815 PropClause: 33299.584 Set: 3821.308 Check: 1.686 Back: 803.884
INFO - Atoms: 49670/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5054 Props: 34699187 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.291 Prop: 34241.728 PropClause: 33347.27 Set: 3830.614 Check: 1.686 Back: 805.022
INFO - Atoms: 49837/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5055 Props: 34749183 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.296 Prop: 34290.499 PropClause: 33394.808 Set: 3839.944 Check: 1.686 Back: 806.153
INFO - Atoms: 49996/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5056 Props: 34799359 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.301 Prop: 34341.0 PropClause: 33444.062 Set: 3849.273 Check: 1.686 Back: 807.29
INFO - Atoms: 50176/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5057 Props: 34849685 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.307 Prop: 34390.986 PropClause: 33492.8 Set: 3858.772 Check: 1.686 Back: 808.465
INFO - Atoms: 50326/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5058 Props: 34900172 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.311 Prop: 34440.442 PropClause: 33541.016 Set: 3868.179 Check: 1.686 Back: 809.63
INFO - Atoms: 50487/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5059 Props: 34950820 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.316 Prop: 34492.344 PropClause: 33591.668 Set: 3877.685 Check: 1.686 Back: 810.774
INFO - Atoms: 50648/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5060 Props: 35001645 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.321 Prop: 34546.196 PropClause: 33644.266 Set: 3887.149 Check: 1.686 Back: 811.942
INFO - Atoms: 50825/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5061 Props: 35052635 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.327 Prop: 34598.086 PropClause: 33694.898 Set: 3896.633 Check: 1.686 Back: 813.105
INFO - Atoms: 50990/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5062 Props: 35103774 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.334 Prop: 34649.685 PropClause: 33745.227 Set: 3906.217 Check: 1.686 Back: 814.278
INFO - Atoms: 51139/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5063 Props: 35155074 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.339 Prop: 34702.299 PropClause: 33796.584 Set: 3915.807 Check: 1.686 Back: 815.435
INFO - Atoms: 51300/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5064 Props: 35206552 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.344 Prop: 34755.532 PropClause: 33848.548 Set: 3925.464 Check: 1.686 Back: 816.604
INFO - Atoms: 51478/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5065 Props: 35258186 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.359 Prop: 34809.076 PropClause: 33900.824 Set: 3935.161 Check: 1.686 Back: 817.777
INFO - Atoms: 51634/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5066 Props: 35309976 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.365 Prop: 34862.736 PropClause: 33953.199 Set: 3944.833 Check: 1.686 Back: 818.959
INFO - Atoms: 51790/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5067 Props: 35361942 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.371 Prop: 34916.607 PropClause: 34005.789 Set: 3954.578 Check: 1.686 Back: 820.143
INFO - Atoms: 51966/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5068 Props: 35414069 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.376 Prop: 34972.082 PropClause: 34059.985 Set: 3964.409 Check: 1.686 Back: 821.325
INFO - Atoms: 52127/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5069 Props: 35466362 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.382 Prop: 35025.075 PropClause: 34111.695 Set: 3974.217 Check: 1.686 Back: 822.514
INFO - Atoms: 52293/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5070 Props: 35518804 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.387 Prop: 35077.111 PropClause: 34162.444 Set: 3983.984 Check: 1.686 Back: 823.7
INFO - Atoms: 52442/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5071 Props: 35571423 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.393 Prop: 35132.667 PropClause: 34216.704 Set: 4010.571 Check: 1.686 Back: 824.893
INFO - Atoms: 52619/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5072 Props: 35624196 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.399 Prop: 35188.61 PropClause: 34271.352 Set: 4020.522 Check: 1.686 Back: 826.088
INFO - Atoms: 52773/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5073 Props: 35677142 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.404 Prop: 35243.702 PropClause: 34325.145 Set: 4030.504 Check: 1.686 Back: 827.287
INFO - Atoms: 52946/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5074 Props: 35730251 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.409 Prop: 35299.22 PropClause: 34379.358 Set: 4040.462 Check: 1.686 Back: 828.498
INFO - Atoms: 53109/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5075 Props: 35783507 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.414 Prop: 35352.123 PropClause: 34430.938 Set: 4050.555 Check: 1.686 Back: 829.699
INFO - Atoms: 53256/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5076 Props: 35836926 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.418 Prop: 35408.108 PropClause: 34485.615 Set: 4060.561 Check: 1.686 Back: 830.922
INFO - Atoms: 53419/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5077 Props: 35890508 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.422 Prop: 35462.826 PropClause: 34539.023 Set: 4070.603 Check: 1.686 Back: 832.137
INFO - Atoms: 53582/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5078 Props: 35944254 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.427 Prop: 35519.605 PropClause: 34594.486 Set: 4080.683 Check: 1.686 Back: 833.349
INFO - Atoms: 53746/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5079 Props: 35998172 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.432 Prop: 35574.803 PropClause: 34648.353 Set: 4090.856 Check: 1.686 Back: 834.562
INFO - Atoms: 53918/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5080 Props: 36052259 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.437 Prop: 35632.854 PropClause: 34705.078 Set: 4101.018 Check: 1.686 Back: 835.795
INFO - Atoms: 54087/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5081 Props: 36106493 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.441 Prop: 35689.62 PropClause: 34760.513 Set: 4111.187 Check: 1.686 Back: 837.02
INFO - Atoms: 54234/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5082 Props: 36160905 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.446 Prop: 35744.804 PropClause: 34814.373 Set: 4121.306 Check: 1.686 Back: 838.262
INFO - Atoms: 54412/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5083 Props: 36215467 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.451 Prop: 35803.346 PropClause: 34871.58 Set: 4142.855 Check: 1.686 Back: 839.492
INFO - Atoms: 54562/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5084 Props: 36270192 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.456 Prop: 35858.383 PropClause: 34925.283 Set: 4153.113 Check: 1.686 Back: 840.727
INFO - Atoms: 54725/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5085 Props: 36325094 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.461 Prop: 35915.992 PropClause: 34981.559 Set: 4163.371 Check: 1.686 Back: 841.963
INFO - Atoms: 54902/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5086 Props: 36380165 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.467 Prop: 35973.684 PropClause: 35037.906 Set: 4173.659 Check: 1.686 Back: 843.188
INFO - Atoms: 55071/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5087 Props: 36435377 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.473 Prop: 36033.42 PropClause: 35096.302 Set: 4184.041 Check: 1.686 Back: 844.457
INFO - Atoms: 55212/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5088 Props: 36497113 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.479 Prop: 36097.975 PropClause: 35159.351 Set: 4195.752 Check: 1.686 Back: 845.731
INFO - Atoms: 61736/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5089 Props: 36559011 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.485 Prop: 36166.249 PropClause: 35226.116 Set: 4207.459 Check: 1.686 Back: 847.135
INFO - Atoms: 61898/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5090 Props: 36620903 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.49 Prop: 36232.97 PropClause: 35291.323 Set: 4219.174 Check: 1.686 Back: 848.531
INFO - Atoms: 61892/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5091 Props: 36682811 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.495 Prop: 36303.514 PropClause: 35360.349 Set: 4230.908 Check: 1.686 Back: 849.934
INFO - Atoms: 61908/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5092 Props: 36750977 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.501 Prop: 36379.877 PropClause: 35435.042 Set: 4244.03 Check: 1.686 Back: 851.351
INFO - Atoms: 68166/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5093 Props: 36818829 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.576 Prop: 36460.597 PropClause: 35513.945 Set: 4270.787 Check: 1.686 Back: 852.93
INFO - Atoms: 67852/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5094 Props: 36887838 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.643 Prop: 36541.744 PropClause: 35593.166 Set: 4284.026 Check: 1.686 Back: 854.475
INFO - Atoms: 69009/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5095 Props: 36956994 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.686 Prop: 36624.484 PropClause: 35674.01 Set: 4297.306 Check: 1.686 Back: 856.045
INFO - Atoms: 69156/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5096 Props: 37029917 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.81 Prop: 36713.093 PropClause: 35760.607 Set: 4311.43 Check: 1.686 Back: 857.603
INFO - Atoms: 72923/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5097 Props: 37102985 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.82 Prop: 36802.958 PropClause: 35848.475 Set: 4325.581 Check: 1.686 Back: 859.261
INFO - Atoms: 73068/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5098 Props: 37176053 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.829 Prop: 36887.542 PropClause: 35931.027 Set: 4339.568 Check: 1.686 Back: 860.915
INFO - Atoms: 73068/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5099 Props: 37249121 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.84 Prop: 36979.039 PropClause: 36020.714 Set: 4353.764 Check: 1.686 Back: 862.556
INFO - Atoms: 73068/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5100 Props: 37306714 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.852 Prop: 37062.87 PropClause: 36103.086 Set: 4364.796 Check: 1.686 Back: 864.238
INFO - Atoms: 57593/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5101 Props: 37364084 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.861 Prop: 37131.041 PropClause: 36169.859 Set: 4375.748 Check: 1.686 Back: 865.577
INFO - Atoms: 57370/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5102 Props: 37421618 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.872 Prop: 37196.029 PropClause: 36233.433 Set: 4386.566 Check: 1.686 Back: 866.887
INFO - Atoms: 57534/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5103 Props: 37479316 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.882 Prop: 37264.294 PropClause: 36300.246 Set: 4397.661 Check: 1.686 Back: 868.215
INFO - Atoms: 57698/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5104 Props: 37537160 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.893 Prop: 37326.064 PropClause: 36360.583 Set: 4408.561 Check: 1.686 Back: 869.557
INFO - Atoms: 57844/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5105 Props: 37595173 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.904 Prop: 37393.473 PropClause: 36426.557 Set: 4419.566 Check: 1.686 Back: 870.899
INFO - Atoms: 58013/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5106 Props: 37653357 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.915 Prop: 37456.848 PropClause: 36488.479 Set: 4430.498 Check: 1.686 Back: 872.247
INFO - Atoms: 58184/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5107 Props: 37711704 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7598.925 Prop: 37525.452 PropClause: 36555.648 Set: 4441.588 Check: 1.686 Back: 873.6
INFO - Atoms: 58347/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5108 Props: 37770200 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.004 Prop: 37594.185 PropClause: 36622.937 Set: 4452.621 Check: 1.686 Back: 874.953
INFO - Atoms: 58496/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5109 Props: 37828867 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.039 Prop: 37664.501 PropClause: 36691.791 Set: 4463.857 Check: 1.686 Back: 876.316
INFO - Atoms: 58667/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5110 Props: 37887704 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.044 Prop: 37733.536 PropClause: 36759.388 Set: 4475.06 Check: 1.686 Back: 877.675
INFO - Atoms: 58837/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5111 Props: 37946689 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.049 Prop: 37801.505 PropClause: 36825.914 Set: 4486.338 Check: 1.686 Back: 879.024
INFO - Atoms: 58985/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5112 Props: 38005839 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.054 Prop: 37870.332 PropClause: 36893.288 Set: 4497.563 Check: 1.686 Back: 880.377
INFO - Atoms: 59150/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5113 Props: 38065151 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.059 Prop: 37940.378 PropClause: 36961.883 Set: 4508.888 Check: 1.686 Back: 881.732
INFO - Atoms: 59312/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5114 Props: 38124645 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.064 Prop: 38010.972 PropClause: 37031.022 Set: 4520.231 Check: 1.686 Back: 883.114
INFO - Atoms: 59494/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5115 Props: 38184296 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.069 Prop: 38078.081 PropClause: 37096.672 Set: 4531.53 Check: 1.686 Back: 884.51
INFO - Atoms: 59651/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5116 Props: 38244096 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.073 Prop: 38148.492 PropClause: 37165.624 Set: 4542.847 Check: 1.686 Back: 885.907
INFO - Atoms: 59800/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5117 Props: 38304060 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.079 Prop: 38217.716 PropClause: 37233.397 Set: 4554.153 Check: 1.686 Back: 887.286
INFO - Atoms: 59964/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5118 Props: 38364342 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.084 Prop: 38288.139 PropClause: 37302.344 Set: 4565.571 Check: 1.686 Back: 888.657
INFO - Atoms: 60282/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5119 Props: 38424635 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.09 Prop: 38358.813 PropClause: 37371.553 Set: 4576.965 Check: 1.686 Back: 890.046
INFO - Atoms: 60293/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5120 Props: 38485087 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.095 Prop: 38431.453 PropClause: 37442.714 Set: 4588.443 Check: 1.686 Back: 891.448
INFO - Atoms: 60452/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5121 Props: 38545702 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.1 Prop: 38503.277 PropClause: 37513.056 Set: 4599.956 Check: 1.686 Back: 892.846
INFO - Atoms: 60615/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5122 Props: 38612859 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.104 Prop: 38576.261 PropClause: 37584.409 Set: 4612.769 Check: 1.686 Back: 894.235
INFO - Atoms: 67157/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5123 Props: 38680021 Tprops: 0 Decides: 68796 RSplits: 0
INFO - Times: Expl: 7599.109 Prop: 38654.816 PropClause: 37661.308 Set: 4625.48 Check: 1.686 Back: 895.768
INFO - Atoms: 67162/79678 Clauses: 986 Axioms: 263618
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 476 Props: 30741 Tprops: 1867 Decides: 84164 RSplits: 0
INFO - Times: Expl: 448.66 Prop: 85347.878 PropClause: 19.072 Set: 13284.808 Check: 872.657 Back: 182.842
INFO - Atoms: 175/1379 Clauses: 476 Axioms: 1379
INFO - CCTimes: iE 817220 eq 47082636 cc 202320717 setRep 131887503
INFO - Merges: 760412, cc:2104071
INFO - BVTimes: BB 222566370 BB_DPLL 78739675887 Graph 454891291
INFO - BitBlastingClauses: 670610 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat