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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 367568208
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 95290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.643 Prop: 218.183 PropClause: 213.297 Set: 83.682 Check: 0.0 Back: 0.0
INFO - Atoms: 95290/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 190580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.709 Prop: 373.56 PropClause: 364.365 Set: 106.864 Check: 0.0 Back: 2.469
INFO - Atoms: 95290/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 285859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.763 Prop: 522.636 PropClause: 509.639 Set: 130.262 Check: 0.0 Back: 4.956
INFO - Atoms: 95279/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 381134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.81 Prop: 638.409 PropClause: 622.713 Set: 147.677 Check: 0.0 Back: 7.43
INFO - Atoms: 95275/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 476400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.879 Prop: 750.466 PropClause: 732.103 Set: 174.937 Check: 0.0 Back: 9.901
INFO - Atoms: 95266/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 571659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 868.373 PropClause: 847.334 Set: 192.559 Check: 0.0 Back: 12.113
INFO - Atoms: 95259/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 666909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.972 Prop: 980.721 PropClause: 957.027 Set: 209.99 Check: 0.0 Back: 14.482
INFO - Atoms: 95250/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 762157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.02 Prop: 1096.677 PropClause: 1070.342 Set: 227.328 Check: 0.0 Back: 16.813
INFO - Atoms: 95248/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 857237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.064 Prop: 1207.734 PropClause: 1178.75 Set: 244.68 Check: 0.0 Back: 19.038
INFO - Atoms: 95080/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 951957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.11 Prop: 1323.081 PropClause: 1291.464 Set: 261.984 Check: 0.0 Back: 21.208
INFO - Atoms: 94720/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1046484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.155 Prop: 1439.689 PropClause: 1405.436 Set: 285.963 Check: 0.0 Back: 23.448
INFO - Atoms: 94527/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1141004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.201 Prop: 1559.326 PropClause: 1522.436 Set: 311.735 Check: 0.0 Back: 25.699
INFO - Atoms: 94520/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1235210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.262 Prop: 1702.421 PropClause: 1662.422 Set: 340.857 Check: 0.0 Back: 27.879
INFO - Atoms: 94206/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1329208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.308 Prop: 1823.537 PropClause: 1780.923 Set: 358.3 Check: 0.0 Back: 30.317
INFO - Atoms: 93998/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1423014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.359 Prop: 1949.255 PropClause: 1904.043 Set: 375.604 Check: 0.0 Back: 32.458
INFO - Atoms: 93806/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1516658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.408 Prop: 2067.739 PropClause: 2019.822 Set: 393.025 Check: 0.0 Back: 34.607
INFO - Atoms: 93644/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1610140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.462 Prop: 2185.449 PropClause: 2134.905 Set: 410.366 Check: 0.0 Back: 36.754
INFO - Atoms: 93482/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1703478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.503 Prop: 2308.189 PropClause: 2255.033 Set: 427.74 Check: 0.0 Back: 38.928
INFO - Atoms: 93338/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1796632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.545 Prop: 2425.655 PropClause: 2369.891 Set: 444.977 Check: 0.0 Back: 41.203
INFO - Atoms: 93154/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1889644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.589 Prop: 2548.057 PropClause: 2489.692 Set: 462.164 Check: 0.0 Back: 43.414
INFO - Atoms: 93012/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1982474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.63 Prop: 2662.284 PropClause: 2601.323 Set: 479.316 Check: 0.0 Back: 45.655
INFO - Atoms: 92830/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2075142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.681 Prop: 2785.343 PropClause: 2721.802 Set: 496.538 Check: 0.0 Back: 47.878
INFO - Atoms: 92668/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2167723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 2907.563 PropClause: 2841.43 Set: 513.574 Check: 0.0 Back: 50.234
INFO - Atoms: 92581/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2260162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.777 Prop: 3026.958 PropClause: 2958.23 Set: 538.547 Check: 0.0 Back: 52.588
INFO - Atoms: 92439/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2352415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.821 Prop: 3142.266 PropClause: 3070.957 Set: 555.658 Check: 0.0 Back: 54.954
INFO - Atoms: 92253/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2444526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.866 Prop: 3266.396 PropClause: 3192.51 Set: 572.834 Check: 0.0 Back: 57.151
INFO - Atoms: 92111/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2536455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.91 Prop: 3383.091 PropClause: 3306.649 Set: 589.656 Check: 0.0 Back: 59.331
INFO - Atoms: 91929/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2628240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.016 Prop: 3498.499 PropClause: 3419.505 Set: 606.614 Check: 0.0 Back: 61.507
INFO - Atoms: 91785/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2719843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.035 Prop: 3607.885 PropClause: 3526.354 Set: 623.126 Check: 0.0 Back: 63.675
INFO - Atoms: 91603/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2811304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.052 Prop: 3719.045 PropClause: 3634.939 Set: 639.973 Check: 0.0 Back: 65.837
INFO - Atoms: 91461/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2902581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.071 Prop: 3828.898 PropClause: 3742.233 Set: 656.71 Check: 0.0 Back: 68.011
INFO - Atoms: 91277/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2993716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.089 Prop: 3942.236 PropClause: 3853.039 Set: 673.427 Check: 0.0 Back: 70.151
INFO - Atoms: 91135/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3084667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.107 Prop: 4050.093 PropClause: 3958.356 Set: 690.003 Check: 0.0 Back: 72.296
INFO - Atoms: 90951/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3175474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.126 Prop: 4164.374 PropClause: 4070.127 Set: 706.692 Check: 0.0 Back: 74.43
INFO - Atoms: 90807/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3266097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.146 Prop: 4274.143 PropClause: 4177.371 Set: 723.271 Check: 0.0 Back: 76.571
INFO - Atoms: 90623/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 3356580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.163 Prop: 4386.875 PropClause: 4287.562 Set: 740.006 Check: 0.0 Back: 78.702
INFO - Atoms: 90483/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 3446879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.18 Prop: 4492.319 PropClause: 4390.487 Set: 756.447 Check: 0.0 Back: 80.837
INFO - Atoms: 90299/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 3537014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.197 Prop: 4597.778 PropClause: 4493.44 Set: 772.836 Check: 0.0 Back: 82.968
INFO - Atoms: 90135/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 3626987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.218 Prop: 4706.36 PropClause: 4599.522 Set: 789.207 Check: 0.0 Back: 85.079
INFO - Atoms: 89973/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 3716818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 4815.344 PropClause: 4706.002 Set: 805.596 Check: 0.0 Back: 87.196
INFO - Atoms: 89831/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 3806465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 4926.891 PropClause: 4815.045 Set: 821.918 Check: 0.0 Back: 89.313
INFO - Atoms: 89647/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3895970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.289 Prop: 5037.049 PropClause: 4922.714 Set: 838.182 Check: 0.0 Back: 91.417
INFO - Atoms: 89505/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3985291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.311 Prop: 5145.6 PropClause: 5028.757 Set: 854.613 Check: 0.0 Back: 93.542
INFO - Atoms: 89321/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4074470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.329 Prop: 5252.376 PropClause: 5133.035 Set: 870.988 Check: 0.0 Back: 95.715
INFO - Atoms: 89179/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4163463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.345 Prop: 5362.496 PropClause: 5240.689 Set: 887.163 Check: 0.0 Back: 97.836
INFO - Atoms: 88993/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 4252316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.364 Prop: 5471.689 PropClause: 5347.381 Set: 903.435 Check: 0.0 Back: 99.973
INFO - Atoms: 88853/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 4340985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.382 Prop: 5577.12 PropClause: 5450.34 Set: 919.677 Check: 0.0 Back: 102.068
INFO - Atoms: 88669/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 4429512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.398 Prop: 5684.998 PropClause: 5555.752 Set: 935.836 Check: 0.0 Back: 104.156
INFO - Atoms: 88527/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 4517855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.416 Prop: 5792.931 PropClause: 5661.24 Set: 951.955 Check: 0.0 Back: 106.261
INFO - Atoms: 88343/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 4606056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.433 Prop: 5897.892 PropClause: 5763.727 Set: 968.16 Check: 0.0 Back: 108.364
INFO - Atoms: 88201/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 4694073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.451 Prop: 6001.041 PropClause: 5864.415 Set: 984.306 Check: 0.0 Back: 110.47
INFO - Atoms: 88017/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 4781948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.472 Prop: 6108.588 PropClause: 5969.504 Set: 1000.381 Check: 0.0 Back: 112.569
INFO - Atoms: 87875/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 4869639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 6215.527 PropClause: 6073.99 Set: 1016.339 Check: 0.0 Back: 114.63
INFO - Atoms: 87691/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 4957166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 6320.287 PropClause: 6176.324 Set: 1032.218 Check: 0.0 Back: 116.717
INFO - Atoms: 87527/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 5044529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.536 Prop: 6427.898 PropClause: 6281.455 Set: 1048.294 Check: 0.0 Back: 118.79
INFO - Atoms: 87363/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 5131750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.556 Prop: 6534.394 PropClause: 6385.518 Set: 1064.221 Check: 0.0 Back: 120.894
INFO - Atoms: 87221/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 5218789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.578 Prop: 6640.252 PropClause: 6488.937 Set: 1080.142 Check: 0.0 Back: 122.948
INFO - Atoms: 87039/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 5305686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.597 Prop: 6746.16 PropClause: 6592.407 Set: 1096.037 Check: 0.0 Back: 125.027
INFO - Atoms: 86897/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 5392397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.617 Prop: 6849.242 PropClause: 6693.063 Set: 1111.834 Check: 0.0 Back: 127.097
INFO - Atoms: 86711/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 5478963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.639 Prop: 6955.346 PropClause: 6796.733 Set: 1127.515 Check: 0.0 Back: 129.202
INFO - Atoms: 86566/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 5565348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.658 Prop: 7057.743 PropClause: 6896.701 Set: 1143.184 Check: 0.0 Back: 131.251
INFO - Atoms: 86385/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 5651591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.675 Prop: 7161.74 PropClause: 6998.295 Set: 1158.841 Check: 0.0 Back: 133.316
INFO - Atoms: 86243/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 5737650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.694 Prop: 7263.583 PropClause: 7097.743 Set: 1174.478 Check: 0.0 Back: 135.386
INFO - Atoms: 86059/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 5823564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.714 Prop: 7367.153 PropClause: 7198.908 Set: 1190.05 Check: 0.0 Back: 137.439
INFO - Atoms: 85914/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 5909297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.736 Prop: 7464.855 PropClause: 7294.215 Set: 1205.648 Check: 0.0 Back: 139.489
INFO - Atoms: 85733/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 5994888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.755 Prop: 7567.557 PropClause: 7394.494 Set: 1221.285 Check: 0.0 Back: 141.568
INFO - Atoms: 85591/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 6080297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.772 Prop: 7672.013 PropClause: 7496.556 Set: 1236.919 Check: 0.0 Back: 143.63
INFO - Atoms: 85409/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 6165564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.79 Prop: 7774.251 PropClause: 7596.429 Set: 1252.329 Check: 0.0 Back: 145.673
INFO - Atoms: 85267/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 6250645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.806 Prop: 7871.366 PropClause: 7691.173 Set: 1267.668 Check: 0.0 Back: 147.684
INFO - Atoms: 85081/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 6335584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.821 Prop: 7974.139 PropClause: 7791.577 Set: 1283.052 Check: 0.0 Back: 149.7
INFO - Atoms: 84939/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 6420341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.836 Prop: 8073.862 PropClause: 7888.957 Set: 1298.347 Check: 0.0 Back: 151.727
INFO - Atoms: 84757/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 6504934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.855 Prop: 8177.49 PropClause: 7990.171 Set: 1313.858 Check: 0.0 Back: 153.751
INFO - Atoms: 84593/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 6589365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.873 Prop: 8277.011 PropClause: 8087.312 Set: 1329.301 Check: 0.0 Back: 155.826
INFO - Atoms: 84431/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 6673654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.889 Prop: 8376.31 PropClause: 8184.243 Set: 1344.653 Check: 0.0 Back: 157.858
INFO - Atoms: 84289/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 6757759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.906 Prop: 8475.521 PropClause: 8281.093 Set: 1359.903 Check: 0.0 Back: 159.896
INFO - Atoms: 84105/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 6841722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 8578.192 PropClause: 8381.408 Set: 1375.282 Check: 0.0 Back: 161.893
INFO - Atoms: 83963/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 6925501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.94 Prop: 8677.103 PropClause: 8477.972 Set: 1390.499 Check: 0.0 Back: 163.88
INFO - Atoms: 83779/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 7009138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.959 Prop: 8777.186 PropClause: 8575.729 Set: 1405.682 Check: 0.0 Back: 165.881
INFO - Atoms: 83637/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 7092591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.978 Prop: 8876.154 PropClause: 8672.366 Set: 1420.925 Check: 0.0 Back: 167.871
INFO - Atoms: 83453/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 7175880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.996 Prop: 8975.177 PropClause: 8769.049 Set: 1436.143 Check: 0.0 Back: 169.929
INFO - Atoms: 83289/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 7259007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.013 Prop: 9071.503 PropClause: 8863.039 Set: 1451.284 Check: 0.0 Back: 171.925
INFO - Atoms: 83127/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 7341990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.026 Prop: 9169.463 PropClause: 8958.684 Set: 1466.267 Check: 0.0 Back: 173.931
INFO - Atoms: 82983/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 7424791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.04 Prop: 9266.84 PropClause: 9053.757 Set: 1481.206 Check: 0.0 Back: 175.888
INFO - Atoms: 82801/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 7507448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.093 Prop: 9363.104 PropClause: 9147.723 Set: 1496.059 Check: 0.0 Back: 177.865
INFO - Atoms: 82657/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 7589923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.153 Prop: 9460.881 PropClause: 9243.21 Set: 1511.024 Check: 0.0 Back: 179.835
INFO - Atoms: 82475/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 7672254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.165 Prop: 9559.971 PropClause: 9340.007 Set: 1525.988 Check: 0.0 Back: 181.821
INFO - Atoms: 82331/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 7754403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.177 Prop: 9653.971 PropClause: 9431.705 Set: 1540.893 Check: 0.0 Back: 183.801
INFO - Atoms: 82149/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 7836410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.191 Prop: 9749.187 PropClause: 9524.629 Set: 1555.733 Check: 0.0 Back: 185.782
INFO - Atoms: 82007/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 7918231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.203 Prop: 9844.593 PropClause: 9617.752 Set: 1570.7 Check: 0.0 Back: 187.746
INFO - Atoms: 81821/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 7999910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.213 Prop: 9941.959 PropClause: 9712.844 Set: 1585.387 Check: 0.0 Back: 189.711
INFO - Atoms: 81679/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 8081405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.224 Prop: 10038.871 PropClause: 9807.473 Set: 1600.108 Check: 0.0 Back: 191.642
INFO - Atoms: 81495/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 8162758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.234 Prop: 10132.676 PropClause: 9899.018 Set: 1614.76 Check: 0.0 Back: 193.617
INFO - Atoms: 81353/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 8243927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.246 Prop: 10230.268 PropClause: 9994.353 Set: 1629.392 Check: 0.0 Back: 195.548
INFO - Atoms: 81169/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 8324954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.259 Prop: 10325.261 PropClause: 10087.094 Set: 1643.992 Check: 0.0 Back: 197.484
INFO - Atoms: 81027/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 8405799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 10423.212 PropClause: 10182.776 Set: 1658.728 Check: 0.0 Back: 199.416
INFO - Atoms: 80845/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 8486502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.285 Prop: 10515.297 PropClause: 10272.603 Set: 1673.292 Check: 0.0 Back: 201.394
INFO - Atoms: 80703/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 8567021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.297 Prop: 10610.973 PropClause: 10366.017 Set: 1687.879 Check: 0.0 Back: 203.335
INFO - Atoms: 80519/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 8647396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.309 Prop: 10702.761 PropClause: 10455.567 Set: 1702.319 Check: 0.0 Back: 205.299
INFO - Atoms: 80375/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 8727589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.321 Prop: 10793.914 PropClause: 10544.488 Set: 1716.638 Check: 0.0 Back: 207.212
INFO - Atoms: 80193/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 8807640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.333 Prop: 10880.527 PropClause: 10628.866 Set: 1730.973 Check: 0.0 Back: 209.122
INFO - Atoms: 80051/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 8887507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.345 Prop: 10969.164 PropClause: 10715.306 Set: 1745.183 Check: 0.0 Back: 211.039
INFO - Atoms: 79867/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 8967230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.357 Prop: 11057.749 PropClause: 10801.684 Set: 1759.383 Check: 0.0 Back: 212.962
INFO - Atoms: 79723/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 9046769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.367 Prop: 11142.831 PropClause: 10884.543 Set: 1773.563 Check: 0.0 Back: 214.85
INFO - Atoms: 79539/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 9126160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.379 Prop: 11228.478 PropClause: 10967.962 Set: 1787.743 Check: 0.0 Back: 216.798
INFO - Atoms: 79391/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 9205373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.395 Prop: 11317.729 PropClause: 11054.993 Set: 1801.937 Check: 0.0 Back: 218.703
INFO - Atoms: 79213/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 9284444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.407 Prop: 11403.313 PropClause: 11138.374 Set: 1816.081 Check: 0.0 Back: 220.603
INFO - Atoms: 79071/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 9363333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.417 Prop: 11490.307 PropClause: 11223.201 Set: 1830.032 Check: 0.0 Back: 222.473
INFO - Atoms: 78889/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 9442078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.428 Prop: 11577.015 PropClause: 11307.727 Set: 1844.077 Check: 0.0 Back: 224.359
INFO - Atoms: 78745/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 9520641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.438 Prop: 11665.577 PropClause: 11394.105 Set: 1858.132 Check: 0.0 Back: 226.239
INFO - Atoms: 78563/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 9599040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.45 Prop: 11756.87 PropClause: 11483.227 Set: 1872.213 Check: 0.0 Back: 228.109
INFO - Atoms: 78399/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 9677277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.462 Prop: 11841.983 PropClause: 11566.161 Set: 1886.176 Check: 0.0 Back: 229.963
INFO - Atoms: 78237/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 9755350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.473 Prop: 11931.481 PropClause: 11653.471 Set: 1900.309 Check: 0.0 Back: 231.846
INFO - Atoms: 78073/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 9833259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.487 Prop: 12028.186 PropClause: 11747.995 Set: 1914.557 Check: 0.0 Back: 233.747
INFO - Atoms: 77909/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 9911006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.501 Prop: 12119.819 PropClause: 11837.455 Set: 1928.568 Check: 0.0 Back: 235.66
INFO - Atoms: 77747/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 9988591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 12209.648 PropClause: 11925.112 Set: 1942.498 Check: 0.0 Back: 237.525
INFO - Atoms: 77585/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 10066029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.525 Prop: 12297.145 PropClause: 12010.443 Set: 1956.394 Check: 0.0 Back: 239.444
INFO - Atoms: 77438/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 10143286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.535 Prop: 12383.141 PropClause: 12094.302 Set: 1970.181 Check: 0.0 Back: 241.306
INFO - Atoms: 77257/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 10220401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.547 Prop: 12470.271 PropClause: 12179.279 Set: 1984.012 Check: 0.0 Back: 243.174
INFO - Atoms: 77115/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 10297332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.561 Prop: 12560.683 PropClause: 12267.486 Set: 1998.151 Check: 0.0 Back: 244.994
INFO - Atoms: 76931/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 10374101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.573 Prop: 12647.327 PropClause: 12351.977 Set: 2012.034 Check: 0.0 Back: 246.881
INFO - Atoms: 76769/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 10450706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.586 Prop: 12730.365 PropClause: 12432.864 Set: 2025.729 Check: 0.0 Back: 248.755
INFO - Atoms: 76605/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 10527149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 12815.727 PropClause: 12516.091 Set: 2039.488 Check: 0.0 Back: 250.618
INFO - Atoms: 76443/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 10603430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.607 Prop: 12903.314 PropClause: 12601.561 Set: 2053.085 Check: 0.0 Back: 252.46
INFO - Atoms: 76281/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 10679547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.618 Prop: 12991.997 PropClause: 12688.102 Set: 2066.794 Check: 0.0 Back: 254.285
INFO - Atoms: 76117/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 10755502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.632 Prop: 13101.026 PropClause: 12795.02 Set: 2080.38 Check: 0.0 Back: 256.091
INFO - Atoms: 75955/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 10831308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.642 Prop: 13191.109 PropClause: 12882.988 Set: 2093.964 Check: 0.0 Back: 257.949
INFO - Atoms: 75806/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 10906937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.655 Prop: 13279.606 PropClause: 12969.384 Set: 2107.576 Check: 0.0 Back: 259.78
INFO - Atoms: 75629/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 10982402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.667 Prop: 13363.835 PropClause: 13051.501 Set: 2121.093 Check: 0.0 Back: 261.636
INFO - Atoms: 75465/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 11057705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 13449.28 PropClause: 13134.846 Set: 2134.641 Check: 0.0 Back: 263.5
INFO - Atoms: 75303/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 11132866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.691 Prop: 13534.196 PropClause: 13217.649 Set: 2148.165 Check: 0.0 Back: 265.361
INFO - Atoms: 75161/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 11207843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 13615.819 PropClause: 13297.181 Set: 2161.607 Check: 0.0 Back: 267.189
INFO - Atoms: 74977/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 11282676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.712 Prop: 13699.223 PropClause: 13378.495 Set: 2174.907 Check: 0.0 Back: 269.027
INFO - Atoms: 74833/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 11357325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 13781.361 PropClause: 13458.546 Set: 2188.191 Check: 0.0 Back: 270.843
INFO - Atoms: 74649/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 11431812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 13864.397 PropClause: 13539.491 Set: 2201.487 Check: 0.0 Back: 272.657
INFO - Atoms: 74487/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 11506137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 13946.811 PropClause: 13619.791 Set: 2214.74 Check: 0.0 Back: 274.478
INFO - Atoms: 74325/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 11580298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 14030.738 PropClause: 13701.601 Set: 2228.132 Check: 0.0 Back: 276.335
INFO - Atoms: 74161/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 11654297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 14107.28 PropClause: 13776.074 Set: 2241.247 Check: 0.0 Back: 278.161
INFO - Atoms: 73999/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 11728154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 14196.536 PropClause: 13863.155 Set: 2254.971 Check: 0.0 Back: 279.96
INFO - Atoms: 73857/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 11801827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.799 Prop: 14275.148 PropClause: 13939.695 Set: 2298.683 Check: 0.0 Back: 281.839
INFO - Atoms: 73673/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 11875358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.809 Prop: 14356.623 PropClause: 14019.122 Set: 2311.694 Check: 0.0 Back: 283.613
INFO - Atoms: 73531/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 11948705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.819 Prop: 14441.392 PropClause: 14101.866 Set: 2324.804 Check: 0.0 Back: 285.375
INFO - Atoms: 73347/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 12021910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 14519.141 PropClause: 14177.567 Set: 2337.785 Check: 0.0 Back: 287.162
INFO - Atoms: 73205/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 12094931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.84 Prop: 14600.812 PropClause: 14257.214 Set: 2350.783 Check: 0.0 Back: 288.92
INFO - Atoms: 73021/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 12167802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.85 Prop: 14681.648 PropClause: 14336.031 Set: 2363.648 Check: 0.0 Back: 290.685
INFO - Atoms: 72871/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 12240497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.86 Prop: 14755.172 PropClause: 14407.522 Set: 2376.472 Check: 0.0 Back: 292.451
INFO - Atoms: 72695/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 12313028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.874 Prop: 14831.793 PropClause: 14482.118 Set: 2389.323 Check: 0.0 Back: 294.211
INFO - Atoms: 72531/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 12385397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.887 Prop: 14912.578 PropClause: 14560.872 Set: 2402.276 Check: 0.0 Back: 295.987
INFO - Atoms: 72369/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 12457602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.899 Prop: 14995.473 PropClause: 14641.759 Set: 2415.251 Check: 0.0 Back: 297.761
INFO - Atoms: 72205/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 12529645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 15075.915 PropClause: 14720.203 Set: 2428.031 Check: 0.0 Back: 299.525
INFO - Atoms: 72043/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 12601546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.921 Prop: 15157.61 PropClause: 14799.81 Set: 2440.799 Check: 0.0 Back: 301.266
INFO - Atoms: 71901/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 12673261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.933 Prop: 15234.803 PropClause: 14875.007 Set: 2453.569 Check: 0.0 Back: 302.987
INFO - Atoms: 71715/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 12744834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.943 Prop: 15313.274 PropClause: 14951.484 Set: 2466.341 Check: 0.0 Back: 304.731
INFO - Atoms: 71573/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 12816225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 15390.457 PropClause: 15026.679 Set: 2478.983 Check: 0.0 Back: 306.474
INFO - Atoms: 71391/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 12887472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 15466.751 PropClause: 15100.982 Set: 2491.672 Check: 0.0 Back: 308.208
INFO - Atoms: 71247/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 12958535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.977 Prop: 15538.771 PropClause: 15171.01 Set: 2504.176 Check: 0.0 Back: 309.939
INFO - Atoms: 71063/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 13029436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.988 Prop: 15618.357 PropClause: 15248.591 Set: 2516.832 Check: 0.0 Back: 311.664
INFO - Atoms: 70901/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 13100175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.999 Prop: 15694.201 PropClause: 15322.456 Set: 2534.666 Check: 0.0 Back: 313.399
INFO - Atoms: 70739/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 13170772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.013 Prop: 15772.954 PropClause: 15399.236 Set: 2547.253 Check: 0.0 Back: 315.116
INFO - Atoms: 70597/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 13241183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.024 Prop: 15851.407 PropClause: 15475.72 Set: 2559.85 Check: 0.0 Back: 316.833
INFO - Atoms: 70411/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 13311449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.037 Prop: 15928.402 PropClause: 15550.747 Set: 2572.294 Check: 0.0 Back: 318.555
INFO - Atoms: 70266/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 13381536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.048 Prop: 16003.27 PropClause: 15623.65 Set: 2584.795 Check: 0.0 Back: 320.266
INFO - Atoms: 70087/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 13451459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 16079.722 PropClause: 15698.155 Set: 2597.197 Check: 0.0 Back: 321.972
INFO - Atoms: 69923/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 13521220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.069 Prop: 16152.612 PropClause: 15769.099 Set: 2609.53 Check: 0.0 Back: 323.668
INFO - Atoms: 69761/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 13590839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.116 Prop: 16227.865 PropClause: 15842.404 Set: 2621.915 Check: 0.0 Back: 325.381
INFO - Atoms: 69619/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 13660274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.177 Prop: 16308.094 PropClause: 15920.675 Set: 2634.5 Check: 0.0 Back: 327.09
INFO - Atoms: 69435/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 13729567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 16380.759 PropClause: 15991.385 Set: 2646.778 Check: 0.0 Back: 328.829
INFO - Atoms: 69293/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 13798676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 16454.961 PropClause: 16063.661 Set: 2659.004 Check: 0.0 Back: 330.557
INFO - Atoms: 69109/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 13867643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.209 Prop: 16529.156 PropClause: 16135.919 Set: 2671.197 Check: 0.0 Back: 332.248
INFO - Atoms: 68967/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 13936426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 16600.947 PropClause: 16205.802 Set: 2683.27 Check: 0.0 Back: 333.931
INFO - Atoms: 68783/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 14005067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.231 Prop: 16674.237 PropClause: 16277.182 Set: 2695.391 Check: 0.0 Back: 335.616
INFO - Atoms: 68641/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 14073522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 16746.166 PropClause: 16347.194 Set: 2707.454 Check: 0.0 Back: 337.294
INFO - Atoms: 68455/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 14141815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.252 Prop: 16820.558 PropClause: 16419.688 Set: 2719.517 Check: 0.0 Back: 338.977
INFO - Atoms: 68293/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 14209946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.263 Prop: 16888.826 PropClause: 16486.034 Set: 2731.532 Check: 0.0 Back: 340.639
INFO - Atoms: 68131/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 14277935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.273 Prop: 16961.198 PropClause: 16556.498 Set: 2743.637 Check: 0.0 Back: 342.329
INFO - Atoms: 67989/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 14345740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 17031.169 PropClause: 16624.568 Set: 2755.599 Check: 0.0 Back: 344.0
INFO - Atoms: 67805/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 14413403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.297 Prop: 17103.0 PropClause: 16694.507 Set: 2767.559 Check: 0.0 Back: 345.69
INFO - Atoms: 67663/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 14480882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.31 Prop: 17174.145 PropClause: 16763.745 Set: 2779.456 Check: 0.0 Back: 347.353
INFO - Atoms: 67479/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 14548217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 17245.665 PropClause: 16833.383 Set: 2791.375 Check: 0.0 Back: 349.064
INFO - Atoms: 67335/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 14615370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.333 Prop: 17313.624 PropClause: 16899.465 Set: 2803.202 Check: 0.0 Back: 350.716
INFO - Atoms: 67153/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 14682379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.343 Prop: 17381.499 PropClause: 16965.47 Set: 2814.958 Check: 0.0 Back: 352.367
INFO - Atoms: 67009/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 14749204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.353 Prop: 17449.903 PropClause: 17032.006 Set: 2826.777 Check: 0.0 Back: 353.986
INFO - Atoms: 66825/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 14815887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 17518.285 PropClause: 17098.519 Set: 2838.478 Check: 0.0 Back: 355.628
INFO - Atoms: 66683/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 14882386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 17580.537 PropClause: 17158.911 Set: 2850.097 Check: 0.0 Back: 357.295
INFO - Atoms: 66499/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 14948745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.384 Prop: 17646.08 PropClause: 17222.597 Set: 2861.716 Check: 0.0 Back: 358.93
INFO - Atoms: 66359/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 15014918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.397 Prop: 17711.981 PropClause: 17286.634 Set: 2873.431 Check: 0.0 Back: 360.557
INFO - Atoms: 66173/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 15080951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.407 Prop: 17777.583 PropClause: 17350.398 Set: 2884.966 Check: 0.0 Back: 362.183
INFO - Atoms: 66033/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 15146798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 17843.485 PropClause: 17414.459 Set: 2896.504 Check: 0.0 Back: 363.794
INFO - Atoms: 65847/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 15212505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.428 Prop: 17912.546 PropClause: 17481.679 Set: 2908.095 Check: 0.0 Back: 365.456
INFO - Atoms: 65707/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 15278026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 17979.324 PropClause: 17546.618 Set: 2919.705 Check: 0.0 Back: 367.07
INFO - Atoms: 65521/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 15343407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.45 Prop: 18046.143 PropClause: 17611.613 Set: 2931.23 Check: 0.0 Back: 368.679
INFO - Atoms: 65381/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 15408602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.461 Prop: 18111.569 PropClause: 17675.21 Set: 2942.72 Check: 0.0 Back: 370.287
INFO - Atoms: 65195/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 15473657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.471 Prop: 18177.024 PropClause: 17738.846 Set: 2953.991 Check: 0.0 Back: 371.903
INFO - Atoms: 65055/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 15538528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.484 Prop: 18238.227 PropClause: 17798.227 Set: 2965.354 Check: 0.0 Back: 373.517
INFO - Atoms: 64871/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 15603257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.496 Prop: 18302.134 PropClause: 17860.321 Set: 2976.731 Check: 0.0 Back: 375.133
INFO - Atoms: 64729/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 15667802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.505 Prop: 18367.05 PropClause: 17923.413 Set: 2988.091 Check: 0.0 Back: 376.741
INFO - Atoms: 64545/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 15732205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 18431.743 PropClause: 17986.306 Set: 2999.386 Check: 0.0 Back: 378.348
INFO - Atoms: 64403/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 15796424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.526 Prop: 18497.514 PropClause: 18050.283 Set: 3010.685 Check: 0.0 Back: 379.922
INFO - Atoms: 64219/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 15860479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.537 Prop: 18565.843 PropClause: 18116.807 Set: 3022.0 Check: 0.0 Back: 381.502
INFO - Atoms: 64055/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 15924370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.581 Prop: 18628.474 PropClause: 18177.651 Set: 3033.243 Check: 0.0 Back: 383.08
INFO - Atoms: 63891/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 15988112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 18692.042 PropClause: 18239.437 Set: 3044.414 Check: 0.0 Back: 384.673
INFO - Atoms: 63742/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 16051679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.626 Prop: 18756.706 PropClause: 18302.323 Set: 3055.564 Check: 0.0 Back: 386.267
INFO - Atoms: 63567/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 16115097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.639 Prop: 18825.211 PropClause: 18369.056 Set: 3066.755 Check: 0.0 Back: 387.864
INFO - Atoms: 63418/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 16178336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.651 Prop: 18889.861 PropClause: 18431.932 Set: 3077.849 Check: 0.0 Back: 389.441
INFO - Atoms: 63239/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 16241433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.661 Prop: 18950.205 PropClause: 18490.51 Set: 3088.793 Check: 0.0 Back: 391.033
INFO - Atoms: 63097/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 16304348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.671 Prop: 19009.235 PropClause: 18547.778 Set: 3099.724 Check: 0.0 Back: 392.594
INFO - Atoms: 62915/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 16367119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.684 Prop: 19069.015 PropClause: 18605.791 Set: 3110.72 Check: 0.0 Back: 394.16
INFO - Atoms: 62771/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 16429708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.696 Prop: 19131.06 PropClause: 18666.086 Set: 3121.711 Check: 0.0 Back: 395.714
INFO - Atoms: 62589/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 16492155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.741 Prop: 19194.025 PropClause: 18727.303 Set: 3132.681 Check: 0.0 Back: 397.28
INFO - Atoms: 62447/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 16554418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 19254.958 PropClause: 18786.494 Set: 3143.656 Check: 0.0 Back: 398.839
INFO - Atoms: 62263/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 16616537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.799 Prop: 19316.844 PropClause: 18846.643 Set: 3154.462 Check: 0.0 Back: 400.384
INFO - Atoms: 62119/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 16678472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.806 Prop: 19379.31 PropClause: 18907.359 Set: 3165.381 Check: 0.0 Back: 401.931
INFO - Atoms: 61935/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 16740267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.814 Prop: 19439.397 PropClause: 18965.715 Set: 3176.19 Check: 0.0 Back: 403.477
INFO - Atoms: 61795/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 16801876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.822 Prop: 19500.032 PropClause: 19024.623 Set: 3186.844 Check: 0.0 Back: 405.002
INFO - Atoms: 61609/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 16863343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.829 Prop: 19557.528 PropClause: 19080.387 Set: 3197.419 Check: 0.0 Back: 406.55
INFO - Atoms: 61467/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 16924628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 19613.428 PropClause: 19134.571 Set: 3208.025 Check: 0.0 Back: 408.07
INFO - Atoms: 61285/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 16985764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.845 Prop: 19670.441 PropClause: 19189.875 Set: 3218.562 Check: 0.0 Back: 409.6
INFO - Atoms: 61136/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 17046721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.851 Prop: 19730.051 PropClause: 19247.774 Set: 3229.207 Check: 0.0 Back: 411.113
INFO - Atoms: 60957/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 17107536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.858 Prop: 19789.211 PropClause: 19305.248 Set: 3239.686 Check: 0.0 Back: 412.639
INFO - Atoms: 60815/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 17168169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.867 Prop: 19849.745 PropClause: 19364.103 Set: 3274.564 Check: 0.0 Back: 414.122
INFO - Atoms: 60633/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 17228660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 19906.492 PropClause: 19419.176 Set: 3284.971 Check: 0.0 Back: 415.614
INFO - Atoms: 60491/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 17288965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.88 Prop: 19963.484 PropClause: 19474.486 Set: 3295.435 Check: 0.0 Back: 417.104
INFO - Atoms: 60305/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 17349128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.888 Prop: 20022.861 PropClause: 19532.2 Set: 3305.854 Check: 0.0 Back: 418.61
INFO - Atoms: 60163/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 17409109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.895 Prop: 20079.442 PropClause: 19587.117 Set: 3316.229 Check: 0.0 Back: 420.089
INFO - Atoms: 59981/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 17468940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.901 Prop: 20132.665 PropClause: 19638.672 Set: 3326.35 Check: 0.0 Back: 421.586
INFO - Atoms: 59831/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 17528593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.909 Prop: 20183.524 PropClause: 19687.87 Set: 3336.479 Check: 0.0 Back: 423.089
INFO - Atoms: 59653/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 17588106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 20235.826 PropClause: 19738.512 Set: 3346.626 Check: 0.0 Back: 424.579
INFO - Atoms: 59513/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 17647435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.923 Prop: 20286.285 PropClause: 19787.321 Set: 3356.734 Check: 0.0 Back: 426.053
INFO - Atoms: 59329/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 17706620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 20341.093 PropClause: 19840.484 Set: 3366.969 Check: 0.0 Back: 427.513
INFO - Atoms: 59185/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 17765623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 20395.066 PropClause: 19892.817 Set: 3377.112 Check: 0.0 Back: 428.983
INFO - Atoms: 59003/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 17824462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.944 Prop: 20449.361 PropClause: 19945.462 Set: 3405.6 Check: 0.0 Back: 430.434
INFO - Atoms: 58839/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 17883139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.95 Prop: 20503.956 PropClause: 19998.438 Set: 3415.582 Check: 0.0 Back: 431.888
INFO - Atoms: 58677/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 17941652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.956 Prop: 20555.618 PropClause: 20048.474 Set: 3425.565 Check: 0.0 Back: 433.313
INFO - Atoms: 58513/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 18000003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.965 Prop: 20608.034 PropClause: 20099.268 Set: 3435.662 Check: 0.0 Back: 434.797
INFO - Atoms: 58351/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 18058210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.972 Prop: 20660.065 PropClause: 20149.699 Set: 3445.567 Check: 0.0 Back: 436.244
INFO - Atoms: 58207/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 18116233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 20712.429 PropClause: 20200.468 Set: 3455.413 Check: 0.0 Back: 437.674
INFO - Atoms: 58023/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 18174094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.986 Prop: 20760.565 PropClause: 20246.99 Set: 3465.162 Check: 0.0 Back: 439.1
INFO - Atoms: 57861/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 18231791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.992 Prop: 20808.337 PropClause: 20293.151 Set: 3474.948 Check: 0.0 Back: 440.529
INFO - Atoms: 57697/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 18289346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.999 Prop: 20856.689 PropClause: 20339.895 Set: 3484.657 Check: 0.0 Back: 441.98
INFO - Atoms: 57555/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 18346719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.006 Prop: 20904.702 PropClause: 20386.31 Set: 3494.396 Check: 0.0 Back: 443.407
INFO - Atoms: 57373/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 18403950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 20955.284 PropClause: 20435.301 Set: 3504.162 Check: 0.0 Back: 444.854
INFO - Atoms: 57231/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 18460997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 21005.943 PropClause: 20484.385 Set: 3513.821 Check: 0.0 Back: 446.273
INFO - Atoms: 57047/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 18517900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 21060.538 PropClause: 20537.408 Set: 3523.626 Check: 0.0 Back: 447.68
INFO - Atoms: 56903/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 18574619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.033 Prop: 21110.707 PropClause: 20586.006 Set: 3533.317 Check: 0.0 Back: 449.078
INFO - Atoms: 56719/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 18631198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.04 Prop: 21160.752 PropClause: 20634.475 Set: 3543.011 Check: 0.0 Back: 450.489
INFO - Atoms: 56579/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 18687593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.048 Prop: 21210.079 PropClause: 20682.24 Set: 3552.572 Check: 0.0 Back: 451.907
INFO - Atoms: 56395/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 18743838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.054 Prop: 21260.606 PropClause: 20731.195 Set: 3562.232 Check: 0.0 Back: 453.312
INFO - Atoms: 56245/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 18799907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.062 Prop: 21311.289 PropClause: 20780.319 Set: 3571.789 Check: 0.0 Back: 454.706
INFO - Atoms: 56069/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 18855832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 21359.515 PropClause: 20826.98 Set: 3581.352 Check: 0.0 Back: 456.111
INFO - Atoms: 55925/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 18911573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.081 Prop: 21405.687 PropClause: 20871.593 Set: 3590.813 Check: 0.0 Back: 457.544
INFO - Atoms: 55741/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 18967174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.096 Prop: 21452.18 PropClause: 20916.525 Set: 3600.221 Check: 0.0 Back: 458.957
INFO - Atoms: 55601/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 19022589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 21498.195 PropClause: 20960.992 Set: 3609.649 Check: 0.0 Back: 460.362
INFO - Atoms: 55415/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 19077864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.111 Prop: 21549.679 PropClause: 21010.934 Set: 3619.137 Check: 0.0 Back: 461.767
INFO - Atoms: 55275/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 19132953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 21599.46 PropClause: 21059.172 Set: 3628.604 Check: 0.0 Back: 463.154
INFO - Atoms: 55089/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 19187900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.126 Prop: 21650.668 PropClause: 21108.853 Set: 3638.024 Check: 0.0 Back: 464.527
INFO - Atoms: 54947/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 19242665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.133 Prop: 21696.779 PropClause: 21153.441 Set: 3647.291 Check: 0.0 Back: 465.898
INFO - Atoms: 54765/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 19297288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.141 Prop: 21743.161 PropClause: 21198.297 Set: 3656.557 Check: 0.0 Back: 467.265
INFO - Atoms: 54623/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 19351725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.149 Prop: 21792.593 PropClause: 21246.208 Set: 3666.012 Check: 0.0 Back: 468.659
INFO - Atoms: 54437/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 19406022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.158 Prop: 21843.88 PropClause: 21295.979 Set: 3675.28 Check: 0.0 Back: 470.052
INFO - Atoms: 54297/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 19460133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.167 Prop: 21890.108 PropClause: 21340.701 Set: 3684.459 Check: 0.0 Back: 471.419
INFO - Atoms: 54111/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 19514097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.174 Prop: 21935.813 PropClause: 21384.916 Set: 3693.52 Check: 0.0 Back: 472.778
INFO - Atoms: 53964/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 19567884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.183 Prop: 21977.708 PropClause: 21425.298 Set: 3702.492 Check: 0.0 Back: 474.132
INFO - Atoms: 53787/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 19621529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.188 Prop: 22020.888 PropClause: 21466.981 Set: 3711.464 Check: 0.0 Back: 475.513
INFO - Atoms: 53645/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 19674990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.194 Prop: 22064.068 PropClause: 21508.664 Set: 3720.397 Check: 0.0 Back: 476.866
INFO - Atoms: 53461/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 19728302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 22106.739 PropClause: 21549.847 Set: 3729.314 Check: 0.0 Back: 478.231
INFO - Atoms: 53312/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 19781437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.208 Prop: 22151.458 PropClause: 21593.069 Set: 3738.298 Check: 0.0 Back: 479.586
INFO - Atoms: 53135/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 19834422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.215 Prop: 22198.158 PropClause: 21638.288 Set: 3747.292 Check: 0.0 Back: 480.953
INFO - Atoms: 52985/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 19887229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.223 Prop: 22241.725 PropClause: 21680.387 Set: 3756.201 Check: 0.0 Back: 482.29
INFO - Atoms: 52807/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 19939896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 22284.621 PropClause: 21721.821 Set: 3764.932 Check: 0.0 Back: 483.64
INFO - Atoms: 52667/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 19992379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.236 Prop: 22328.715 PropClause: 21764.447 Set: 3773.776 Check: 0.0 Back: 484.96
INFO - Atoms: 52483/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 20044720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.243 Prop: 22372.944 PropClause: 21807.207 Set: 3782.575 Check: 0.0 Back: 486.303
INFO - Atoms: 52341/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 20096875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.252 Prop: 22418.591 PropClause: 21851.394 Set: 3791.432 Check: 0.0 Back: 487.628
INFO - Atoms: 52155/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 20148888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.259 Prop: 22461.739 PropClause: 21893.089 Set: 3800.113 Check: 0.0 Back: 488.962
INFO - Atoms: 52013/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 20200717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.266 Prop: 22503.506 PropClause: 21933.414 Set: 3808.797 Check: 0.0 Back: 490.292
INFO - Atoms: 51829/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 20252384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 22542.414 PropClause: 21970.88 Set: 3817.304 Check: 0.0 Back: 491.614
INFO - Atoms: 51667/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 20303889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 22580.49 PropClause: 22007.517 Set: 3825.842 Check: 0.0 Back: 492.928
INFO - Atoms: 51505/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 20355246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 22619.76 PropClause: 22045.351 Set: 3834.352 Check: 0.0 Back: 494.242
INFO - Atoms: 51357/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 20406423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 22659.028 PropClause: 22083.184 Set: 3842.883 Check: 0.0 Back: 495.557
INFO - Atoms: 51177/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 20457458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 22698.45 PropClause: 22121.171 Set: 3851.359 Check: 0.0 Back: 496.891
INFO - Atoms: 51035/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 20508309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.309 Prop: 22740.075 PropClause: 22161.382 Set: 3859.874 Check: 0.0 Back: 498.186
INFO - Atoms: 50851/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 20558998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.316 Prop: 22778.988 PropClause: 22198.891 Set: 3868.196 Check: 0.0 Back: 499.481
INFO - Atoms: 50689/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 20609525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 22816.36 PropClause: 22234.864 Set: 3876.568 Check: 0.0 Back: 500.762
INFO - Atoms: 50527/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 20659908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 22853.63 PropClause: 22270.73 Set: 3884.838 Check: 0.0 Back: 502.041
INFO - Atoms: 50383/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 20710109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.337 Prop: 22891.18 PropClause: 22306.879 Set: 3893.162 Check: 0.0 Back: 503.309
INFO - Atoms: 50201/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 20760162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.345 Prop: 22933.166 PropClause: 22347.455 Set: 3901.47 Check: 0.0 Back: 504.595
INFO - Atoms: 50053/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 20810035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 22970.346 PropClause: 22383.256 Set: 3909.656 Check: 0.0 Back: 505.872
INFO - Atoms: 49873/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 20859762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.36 Prop: 23007.328 PropClause: 22418.859 Set: 3917.819 Check: 0.0 Back: 507.137
INFO - Atoms: 49727/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 20909309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.366 Prop: 23044.906 PropClause: 22455.049 Set: 3926.057 Check: 0.0 Back: 508.392
INFO - Atoms: 49547/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 20958714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.373 Prop: 23079.1 PropClause: 22487.861 Set: 3934.12 Check: 0.0 Back: 509.67
INFO - Atoms: 49405/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 21007937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.379 Prop: 23113.455 PropClause: 22520.841 Set: 3942.23 Check: 0.0 Back: 510.924
INFO - Atoms: 49223/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 21057016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.387 Prop: 23148.228 PropClause: 22554.228 Set: 3950.264 Check: 0.0 Back: 512.188
INFO - Atoms: 49079/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 21105911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.394 Prop: 23182.734 PropClause: 22587.36 Set: 3958.282 Check: 0.0 Back: 513.444
INFO - Atoms: 48895/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 21154644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 23217.75 PropClause: 22621.017 Set: 3966.236 Check: 0.0 Back: 514.71
INFO - Atoms: 48733/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 21203215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 23253.086 PropClause: 22655.006 Set: 3974.13 Check: 0.0 Back: 515.959
INFO - Atoms: 48571/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 21251644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 23289.526 PropClause: 22690.105 Set: 3982.057 Check: 0.0 Back: 517.196
INFO - Atoms: 48429/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 21299889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 23325.146 PropClause: 22724.38 Set: 3990.026 Check: 0.0 Back: 518.429
INFO - Atoms: 48245/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 21347196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.432 Prop: 23358.929 PropClause: 22756.846 Set: 3997.614 Check: 0.0 Back: 519.664
INFO - Atoms: 47307/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 21394321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 23391.083 PropClause: 22787.7 Set: 4005.174 Check: 0.0 Back: 520.872
INFO - Atoms: 47125/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 21441302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 23428.458 PropClause: 22823.772 Set: 4012.803 Check: 0.0 Back: 522.067
INFO - Atoms: 46981/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 21488099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 23461.241 PropClause: 22855.262 Set: 4020.321 Check: 0.0 Back: 523.278
INFO - Atoms: 46797/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 21534754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.461 Prop: 23494.461 PropClause: 22887.181 Set: 4027.852 Check: 0.0 Back: 524.503
INFO - Atoms: 46655/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 21581227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 23527.083 PropClause: 22918.503 Set: 4035.398 Check: 0.0 Back: 525.715
INFO - Atoms: 46473/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 21627536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 23558.714 PropClause: 22948.83 Set: 4042.882 Check: 0.0 Back: 526.916
INFO - Atoms: 46309/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 21673683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 23589.197 PropClause: 22978.018 Set: 4050.305 Check: 0.0 Back: 528.118
INFO - Atoms: 46147/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 21718892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 23619.024 PropClause: 23006.578 Set: 4057.495 Check: 0.0 Back: 529.334
INFO - Atoms: 45209/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 21763919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.498 Prop: 23647.764 PropClause: 23034.062 Set: 4064.628 Check: 0.0 Back: 530.528
INFO - Atoms: 45027/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 21808804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 23681.331 PropClause: 23066.375 Set: 4071.861 Check: 0.0 Back: 531.705
INFO - Atoms: 44885/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 21853505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.512 Prop: 23711.624 PropClause: 23095.432 Set: 4078.901 Check: 0.0 Back: 532.895
INFO - Atoms: 44701/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 21898064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 23741.361 PropClause: 23123.921 Set: 4085.947 Check: 0.0 Back: 534.058
INFO - Atoms: 44559/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 21942439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 23771.675 PropClause: 23152.991 Set: 4093.028 Check: 0.0 Back: 535.208
INFO - Atoms: 44375/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 21986672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.534 Prop: 23802.552 PropClause: 23182.621 Set: 4100.103 Check: 0.0 Back: 536.368
INFO - Atoms: 44233/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 22030721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 23830.652 PropClause: 23209.489 Set: 4107.088 Check: 0.0 Back: 537.529
INFO - Atoms: 44049/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 22074628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 23858.939 PropClause: 23236.563 Set: 4113.935 Check: 0.0 Back: 538.688
INFO - Atoms: 43907/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 22118349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 23886.496 PropClause: 23262.906 Set: 4120.762 Check: 0.0 Back: 539.846
INFO - Atoms: 43721/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 22161928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.561 Prop: 23915.684 PropClause: 23290.886 Set: 4127.557 Check: 0.0 Back: 541.005
INFO - Atoms: 43579/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 22205323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 23943.404 PropClause: 23317.4 Set: 4134.379 Check: 0.0 Back: 542.139
INFO - Atoms: 43395/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 22248576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 23971.336 PropClause: 23344.125 Set: 4141.137 Check: 0.0 Back: 543.271
INFO - Atoms: 43253/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 22291647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 23998.438 PropClause: 23370.022 Set: 4147.96 Check: 0.0 Back: 544.419
INFO - Atoms: 43071/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 22334576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.589 Prop: 24025.508 PropClause: 23395.889 Set: 4154.692 Check: 0.0 Back: 545.552
INFO - Atoms: 42929/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 22377321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 24051.175 PropClause: 23420.364 Set: 4161.391 Check: 0.0 Back: 546.665
INFO - Atoms: 42745/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 22419924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.603 Prop: 24076.655 PropClause: 23444.652 Set: 4168.043 Check: 0.0 Back: 547.809
INFO - Atoms: 42603/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 22462343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.61 Prop: 24102.572 PropClause: 23469.381 Set: 4174.708 Check: 0.0 Back: 548.941
INFO - Atoms: 42419/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 22504620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.617 Prop: 24127.828 PropClause: 23493.449 Set: 4181.289 Check: 0.0 Back: 550.072
INFO - Atoms: 42277/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 22546713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.623 Prop: 24153.939 PropClause: 23518.39 Set: 4187.86 Check: 0.0 Back: 551.184
INFO - Atoms: 42093/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 22588662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 24180.537 PropClause: 23543.822 Set: 4194.389 Check: 0.0 Back: 552.28
INFO - Atoms: 41949/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 22630427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.639 Prop: 24207.645 PropClause: 23569.76 Set: 4200.956 Check: 0.0 Back: 553.385
INFO - Atoms: 41765/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 22672050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 24232.807 PropClause: 23593.756 Set: 4207.452 Check: 0.0 Back: 554.502
INFO - Atoms: 41623/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 22713491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.653 Prop: 24257.037 PropClause: 23616.825 Set: 4213.908 Check: 0.0 Back: 555.605
INFO - Atoms: 41441/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 22754790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 24282.344 PropClause: 23640.982 Set: 4220.325 Check: 0.0 Back: 556.697
INFO - Atoms: 41299/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 22795905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.666 Prop: 24307.283 PropClause: 23664.782 Set: 4226.658 Check: 0.0 Back: 557.79
INFO - Atoms: 41115/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 22836878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 24332.022 PropClause: 23688.387 Set: 4232.946 Check: 0.0 Back: 558.869
INFO - Atoms: 40973/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 22877665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.681 Prop: 24356.149 PropClause: 23711.386 Set: 4239.25 Check: 0.0 Back: 559.949
INFO - Atoms: 40787/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 22918310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.689 Prop: 24380.727 PropClause: 23734.84 Set: 4245.513 Check: 0.0 Back: 561.029
INFO - Atoms: 40645/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 22958773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 24405.65 PropClause: 23758.632 Set: 4251.811 Check: 0.0 Back: 562.102
INFO - Atoms: 40463/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 22999092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 24431.627 PropClause: 23783.459 Set: 4258.138 Check: 0.0 Back: 563.188
INFO - Atoms: 40319/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 23039227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.712 Prop: 24454.917 PropClause: 23805.615 Set: 4264.363 Check: 0.0 Back: 564.281
INFO - Atoms: 40135/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 23079222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.719 Prop: 24478.368 PropClause: 23827.945 Set: 4270.53 Check: 0.0 Back: 565.348
INFO - Atoms: 39995/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 23119033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.727 Prop: 24501.667 PropClause: 23850.119 Set: 4276.702 Check: 0.0 Back: 566.405
INFO - Atoms: 39811/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 23158702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.733 Prop: 24524.632 PropClause: 23871.968 Set: 4282.816 Check: 0.0 Back: 567.476
INFO - Atoms: 39669/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 23198187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 24547.45 PropClause: 23893.68 Set: 4288.924 Check: 0.0 Back: 568.531
INFO - Atoms: 39485/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 23237530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.747 Prop: 24571.452 PropClause: 23916.594 Set: 4294.902 Check: 0.0 Back: 569.596
INFO - Atoms: 39343/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 23276689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.755 Prop: 24594.264 PropClause: 23938.318 Set: 4300.898 Check: 0.0 Back: 570.665
INFO - Atoms: 39159/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 23315704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.763 Prop: 24616.867 PropClause: 23959.821 Set: 4306.862 Check: 0.0 Back: 571.71
INFO - Atoms: 39015/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 23354537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.77 Prop: 24639.84 PropClause: 23981.697 Set: 4312.838 Check: 0.0 Back: 572.758
INFO - Atoms: 38833/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 23393228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.777 Prop: 24661.482 PropClause: 24002.257 Set: 4318.75 Check: 0.0 Back: 573.8
INFO - Atoms: 38691/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 23431733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.783 Prop: 24684.04 PropClause: 24023.742 Set: 4324.696 Check: 0.0 Back: 574.848
INFO - Atoms: 38505/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 23470096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 24706.509 PropClause: 24045.138 Set: 4330.597 Check: 0.0 Back: 575.88
INFO - Atoms: 38363/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 23508277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 24729.002 PropClause: 24066.562 Set: 4336.474 Check: 0.0 Back: 576.933
INFO - Atoms: 38181/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 23546314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.854 Prop: 24750.39 PropClause: 24086.882 Set: 4342.238 Check: 0.0 Back: 577.967
INFO - Atoms: 38037/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 23584169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.899 Prop: 24770.995 PropClause: 24106.426 Set: 4348.023 Check: 0.0 Back: 578.996
INFO - Atoms: 37855/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 23621882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.939 Prop: 24792.429 PropClause: 24126.803 Set: 4353.767 Check: 0.0 Back: 580.022
INFO - Atoms: 37713/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 23659409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 24811.497 PropClause: 24144.815 Set: 4359.51 Check: 0.0 Back: 581.038
INFO - Atoms: 37527/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 23696794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 24830.963 PropClause: 24163.228 Set: 4365.196 Check: 0.0 Back: 582.044
INFO - Atoms: 37385/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 23733997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.959 Prop: 24849.177 PropClause: 24180.404 Set: 4370.819 Check: 0.0 Back: 583.03
INFO - Atoms: 37203/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 23771058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.965 Prop: 24867.522 PropClause: 24197.716 Set: 4376.381 Check: 0.0 Back: 584.014
INFO - Atoms: 37061/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 23807935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.972 Prop: 24885.629 PropClause: 24214.796 Set: 4381.948 Check: 0.0 Back: 584.991
INFO - Atoms: 36877/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 23844668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.978 Prop: 24904.296 PropClause: 24232.436 Set: 4387.494 Check: 0.0 Back: 585.987
INFO - Atoms: 36733/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 23881219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 24922.237 PropClause: 24249.355 Set: 4393.029 Check: 0.0 Back: 586.959
INFO - Atoms: 36551/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 23917628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.992 Prop: 24941.679 PropClause: 24267.769 Set: 4398.469 Check: 0.0 Back: 587.96
INFO - Atoms: 36409/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 23953853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.999 Prop: 24959.397 PropClause: 24284.479 Set: 4403.895 Check: 0.0 Back: 588.932
INFO - Atoms: 36225/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 23989936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 24979.072 PropClause: 24303.141 Set: 4409.335 Check: 0.0 Back: 589.92
INFO - Atoms: 36083/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 24025835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.013 Prop: 24997.164 PropClause: 24320.23 Set: 4414.727 Check: 0.0 Back: 590.9
INFO - Atoms: 35899/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 24061592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.02 Prop: 25015.299 PropClause: 24337.377 Set: 4420.027 Check: 0.0 Back: 591.89
INFO - Atoms: 35757/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 24097163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 25033.375 PropClause: 24354.455 Set: 4425.768 Check: 0.0 Back: 592.85
INFO - Atoms: 35571/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 24132592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.043 Prop: 25051.531 PropClause: 24371.621 Set: 4433.658 Check: 0.0 Back: 593.817
INFO - Atoms: 35429/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 24167837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.05 Prop: 25069.206 PropClause: 24388.316 Set: 4458.776 Check: 0.0 Back: 594.79
INFO - Atoms: 35245/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 24202940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.057 Prop: 25086.047 PropClause: 24404.179 Set: 4463.995 Check: 0.0 Back: 595.741
INFO - Atoms: 35103/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 24237882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 25102.819 PropClause: 24419.979 Set: 4469.214 Check: 0.0 Back: 596.676
INFO - Atoms: 34942/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 24272269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.069 Prop: 25119.359 PropClause: 24435.561 Set: 4474.249 Check: 0.0 Back: 597.627
INFO - Atoms: 34387/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 24306472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.075 Prop: 25135.377 PropClause: 24450.629 Set: 4479.26 Check: 0.0 Back: 598.57
INFO - Atoms: 34203/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 24340533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 25150.136 PropClause: 24464.439 Set: 4484.203 Check: 0.0 Back: 599.51
INFO - Atoms: 34061/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 24374410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.09 Prop: 25167.47 PropClause: 24480.799 Set: 4489.422 Check: 0.0 Back: 600.405
INFO - Atoms: 33877/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 24408145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 25182.301 PropClause: 24494.689 Set: 4494.329 Check: 0.0 Back: 601.354
INFO - Atoms: 33735/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 24441696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 25197.008 PropClause: 24508.462 Set: 4499.238 Check: 0.0 Back: 602.258
INFO - Atoms: 33551/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 24475105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.109 Prop: 25211.305 PropClause: 24521.829 Set: 4504.089 Check: 0.0 Back: 603.152
INFO - Atoms: 33409/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 24508330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.115 Prop: 25226.423 PropClause: 24536.021 Set: 4508.925 Check: 0.0 Back: 604.032
INFO - Atoms: 33225/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 24541413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 25240.815 PropClause: 24549.483 Set: 4513.718 Check: 0.0 Back: 604.942
INFO - Atoms: 33083/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 24574312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.127 Prop: 25255.015 PropClause: 24562.767 Set: 4518.494 Check: 0.0 Back: 605.83
INFO - Atoms: 32899/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 24607069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.134 Prop: 25269.48 PropClause: 24576.317 Set: 4523.229 Check: 0.0 Back: 606.723
INFO - Atoms: 32757/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 24639642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 25283.795 PropClause: 24589.717 Set: 4527.953 Check: 0.0 Back: 607.611
INFO - Atoms: 32573/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 24672073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 25298.107 PropClause: 24603.114 Set: 4532.628 Check: 0.0 Back: 608.505
INFO - Atoms: 32431/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 24704320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.152 Prop: 25312.468 PropClause: 24616.573 Set: 4537.289 Check: 0.0 Back: 609.386
INFO - Atoms: 32247/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 24736425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.158 Prop: 25327.004 PropClause: 24630.21 Set: 4541.909 Check: 0.0 Back: 610.262
INFO - Atoms: 32105/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 24768346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.164 Prop: 25340.517 PropClause: 24642.83 Set: 4546.509 Check: 0.0 Back: 611.144
INFO - Atoms: 31921/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 24800125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 25353.944 PropClause: 24655.367 Set: 4551.064 Check: 0.0 Back: 612.015
INFO - Atoms: 31779/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 884 Props: 26383330 Tprops: 0 Decides: 5850 RSplits: 0
INFO - Times: Expl: 1167.765 Prop: 26835.097 PropClause: 26083.485 Set: 4593.995 Check: 0.157 Back: 650.948
INFO - Atoms: 31203/95294 Clauses: 1668 Axioms: 315074
INFO - Restart
INFO - Confl: 1384 Props: 27732206 Tprops: 0 Decides: 9790 RSplits: 0
INFO - Times: Expl: 1724.824 Prop: 27955.575 PropClause: 27160.225 Set: 4626.983 Check: 0.265 Back: 683.661
INFO - Atoms: 31219/95294 Clauses: 2168 Axioms: 315074
INFO - Confl: 1520 Props: 28028816 Tprops: 0 Decides: 10445 RSplits: 0
INFO - Times: Expl: 1829.106 Prop: 28166.282 PropClause: 27362.074 Set: 4634.331 Check: 0.282 Back: 690.58
INFO - Atoms: 33049/95294 Clauses: 2304 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2020 Props: 29409064 Tprops: 0 Decides: 14436 RSplits: 0
INFO - Times: Expl: 2508.107 Prop: 29273.635 PropClause: 28425.916 Set: 4670.836 Check: 0.381 Back: 723.182
INFO - Atoms: 31210/95294 Clauses: 1670 Axioms: 315074
INFO - Restart
INFO - Confl: 2520 Props: 30587566 Tprops: 0 Decides: 18211 RSplits: 0
INFO - Times: Expl: 2863.009 Prop: 30096.563 PropClause: 29213.509 Set: 4698.787 Check: 0.474 Back: 751.036
INFO - Atoms: 31230/95294 Clauses: 2170 Axioms: 315074
INFO - Confl: 2659 Props: 30831170 Tprops: 0 Decides: 18811 RSplits: 0
INFO - Times: Expl: 2952.681 Prop: 30276.761 PropClause: 29386.251 Set: 4704.748 Check: 0.49 Back: 756.714
INFO - Atoms: 32533/95294 Clauses: 2309 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3159 Props: 32353643 Tprops: 0 Decides: 24003 RSplits: 0
INFO - Times: Expl: 3678.897 Prop: 31576.597 PropClause: 30638.494 Set: 4746.418 Check: 0.624 Back: 793.03
INFO - Atoms: 31201/95294 Clauses: 1671 Axioms: 315074
INFO - Restart
INFO - Confl: 3659 Props: 33620344 Tprops: 0 Decides: 27423 RSplits: 0
INFO - Times: Expl: 4077.163 Prop: 32542.437 PropClause: 31562.066 Set: 4776.85 Check: 0.716 Back: 823.077
INFO - Atoms: 31239/95294 Clauses: 2171 Axioms: 315074
INFO - Confl: 3744 Props: 33843160 Tprops: 0 Decides: 27965 RSplits: 0
INFO - Times: Expl: 4157.68 Prop: 32724.165 PropClause: 31737.08 Set: 4782.449 Check: 0.732 Back: 828.373
INFO - Atoms: 32644/95294 Clauses: 2256 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4244 Props: 35388450 Tprops: 0 Decides: 32372 RSplits: 0
INFO - Times: Expl: 5049.016 Prop: 34026.121 PropClause: 32991.251 Set: 4824.477 Check: 0.845 Back: 865.187
INFO - Atoms: 31201/95294 Clauses: 1671 Axioms: 315074
INFO - Restart
INFO - Confl: 4744 Props: 36569524 Tprops: 0 Decides: 35506 RSplits: 0
INFO - Times: Expl: 5494.828 Prop: 34932.25 PropClause: 33860.637 Set: 4853.006 Check: 0.929 Back: 893.439
INFO - Atoms: 31207/95294 Clauses: 2171 Axioms: 315074
INFO - Confl: 5029 Props: 37263295 Tprops: 0 Decides: 37386 RSplits: 0
INFO - Times: Expl: 5771.027 Prop: 35524.375 PropClause: 34430.576 Set: 4870.029 Check: 0.982 Back: 910.073
INFO - Atoms: 31754/95294 Clauses: 2456 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5529 Props: 38796379 Tprops: 0 Decides: 41581 RSplits: 0
INFO - Times: Expl: 6712.409 Prop: 36843.475 PropClause: 35702.396 Set: 4911.817 Check: 1.093 Back: 946.511
INFO - Atoms: 31201/95294 Clauses: 1676 Axioms: 315074
INFO - Restart
INFO - Confl: 6029 Props: 39839201 Tprops: 0 Decides: 44779 RSplits: 0
INFO - Times: Expl: 7061.08 Prop: 37546.588 PropClause: 36374.066 Set: 4936.534 Check: 1.174 Back: 971.115
INFO - Atoms: 31212/95294 Clauses: 2176 Axioms: 315074
INFO - Confl: 6174 Props: 40163660 Tprops: 0 Decides: 45629 RSplits: 0
INFO - Times: Expl: 7251.941 Prop: 37871.077 PropClause: 36686.732 Set: 4944.995 Check: 1.201 Back: 979.234
INFO - Atoms: 31831/95294 Clauses: 2321 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6674 Props: 41908221 Tprops: 0 Decides: 51471 RSplits: 0
INFO - Times: Expl: 7954.322 Prop: 39453.686 PropClause: 38215.936 Set: 4991.779 Check: 1.35 Back: 1020.787
INFO - Atoms: 31202/95294 Clauses: 1680 Axioms: 315074
INFO - Restart
INFO - Confl: 7174 Props: 43336885 Tprops: 0 Decides: 55900 RSplits: 0
INFO - Times: Expl: 8469.825 Prop: 40697.346 PropClause: 39415.759 Set: 5026.382 Check: 1.467 Back: 1055.137
INFO - Atoms: 31215/95294 Clauses: 2180 Axioms: 315074
INFO - Confl: 7343 Props: 43780690 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.544 Prop: 41052.557 PropClause: 39757.585 Set: 5037.175 Check: 1.497 Back: 1065.651
INFO - Atoms: 32131/95294 Clauses: 2349 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7344 Props: 43866019 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.686 Prop: 41152.809 PropClause: 39855.052 Set: 5064.57 Check: 1.497 Back: 1066.442
INFO - Atoms: 85329/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7345 Props: 43921683 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.696 Prop: 41229.319 PropClause: 39929.967 Set: 5073.893 Check: 1.497 Back: 1068.419
INFO - Atoms: 55664/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7346 Props: 43977356 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.706 Prop: 41281.374 PropClause: 39980.448 Set: 5083.105 Check: 1.497 Back: 1069.752
INFO - Atoms: 55673/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7347 Props: 44033194 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.715 Prop: 41329.116 PropClause: 40026.604 Set: 5092.154 Check: 1.497 Back: 1071.062
INFO - Atoms: 55838/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7348 Props: 44089331 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.725 Prop: 41379.204 PropClause: 40075.098 Set: 5101.394 Check: 1.497 Back: 1072.384
INFO - Atoms: 56137/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7349 Props: 44145632 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.735 Prop: 41433.125 PropClause: 40127.425 Set: 5110.879 Check: 1.497 Back: 1073.72
INFO - Atoms: 56301/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7350 Props: 44201957 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.745 Prop: 41488.239 PropClause: 40180.936 Set: 5120.508 Check: 1.497 Back: 1075.082
INFO - Atoms: 56325/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7351 Props: 44258465 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.756 Prop: 41540.921 PropClause: 40232.013 Set: 5129.886 Check: 1.497 Back: 1076.448
INFO - Atoms: 56508/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7352 Props: 44315116 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.767 Prop: 41595.909 PropClause: 40285.396 Set: 5139.394 Check: 1.497 Back: 1077.814
INFO - Atoms: 56651/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7353 Props: 44371949 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.777 Prop: 41651.195 PropClause: 40339.072 Set: 5148.841 Check: 1.497 Back: 1079.164
INFO - Atoms: 56833/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7354 Props: 44428975 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.788 Prop: 41706.617 PropClause: 40392.878 Set: 5158.444 Check: 1.497 Back: 1080.523
INFO - Atoms: 57026/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7355 Props: 44486115 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.797 Prop: 41763.661 PropClause: 40448.287 Set: 5168.107 Check: 1.497 Back: 1081.901
INFO - Atoms: 57140/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7356 Props: 44543439 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.809 Prop: 41821.25 PropClause: 40504.244 Set: 5177.864 Check: 1.497 Back: 1083.264
INFO - Atoms: 57324/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7357 Props: 44600948 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.818 Prop: 41878.803 PropClause: 40560.162 Set: 5187.472 Check: 1.497 Back: 1084.643
INFO - Atoms: 57509/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7358 Props: 44658577 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.827 Prop: 41937.541 PropClause: 40617.259 Set: 5197.252 Check: 1.497 Back: 1086.022
INFO - Atoms: 57629/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7359 Props: 44716424 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.838 Prop: 41997.034 PropClause: 40675.098 Set: 5207.034 Check: 1.497 Back: 1087.416
INFO - Atoms: 57847/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7360 Props: 44774478 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.917 Prop: 42056.147 PropClause: 40732.56 Set: 5234.607 Check: 1.497 Back: 1088.798
INFO - Atoms: 58054/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7361 Props: 44832734 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.952 Prop: 42118.471 PropClause: 40793.193 Set: 5244.708 Check: 1.497 Back: 1090.186
INFO - Atoms: 58256/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7362 Props: 44891015 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.958 Prop: 42178.972 PropClause: 40852.048 Set: 5254.643 Check: 1.497 Back: 1091.608
INFO - Atoms: 58281/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7363 Props: 44949509 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.964 Prop: 42237.709 PropClause: 40909.12 Set: 5264.492 Check: 1.497 Back: 1093.012
INFO - Atoms: 58494/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7364 Props: 45008116 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.97 Prop: 42298.041 PropClause: 40967.812 Set: 5274.638 Check: 1.497 Back: 1094.408
INFO - Atoms: 58607/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7365 Props: 45066886 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.975 Prop: 42358.628 PropClause: 41026.727 Set: 5284.618 Check: 1.497 Back: 1095.83
INFO - Atoms: 58770/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7366 Props: 45125840 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.981 Prop: 42420.029 PropClause: 41086.465 Set: 5294.63 Check: 1.497 Back: 1097.237
INFO - Atoms: 58954/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7367 Props: 45184956 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.986 Prop: 42482.064 PropClause: 41146.83 Set: 5304.66 Check: 1.497 Back: 1098.633
INFO - Atoms: 59116/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7368 Props: 45244215 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.991 Prop: 42545.065 PropClause: 41208.124 Set: 5314.815 Check: 1.497 Back: 1100.041
INFO - Atoms: 59259/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7369 Props: 45303782 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8637.997 Prop: 42606.368 PropClause: 41267.731 Set: 5324.857 Check: 1.497 Back: 1101.465
INFO - Atoms: 59567/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7370 Props: 45363505 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.002 Prop: 42670.363 PropClause: 41330.034 Set: 5335.067 Check: 1.497 Back: 1102.889
INFO - Atoms: 59723/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7371 Props: 45423389 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.006 Prop: 42732.574 PropClause: 41390.549 Set: 5345.193 Check: 1.497 Back: 1104.317
INFO - Atoms: 59884/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7372 Props: 45483438 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.011 Prop: 42795.776 PropClause: 41452.03 Set: 5355.505 Check: 1.497 Back: 1105.748
INFO - Atoms: 60049/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7373 Props: 45543512 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.016 Prop: 42857.622 PropClause: 41512.157 Set: 5365.775 Check: 1.497 Back: 1107.188
INFO - Atoms: 60074/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7374 Props: 45603749 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.021 Prop: 42919.174 PropClause: 41571.993 Set: 5376.072 Check: 1.497 Back: 1108.639
INFO - Atoms: 60237/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7375 Props: 45664169 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.026 Prop: 42983.109 PropClause: 41634.221 Set: 5386.369 Check: 1.497 Back: 1110.127
INFO - Atoms: 60420/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7376 Props: 45724732 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.032 Prop: 43042.882 PropClause: 41692.286 Set: 5396.565 Check: 1.497 Back: 1111.581
INFO - Atoms: 60563/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7377 Props: 45785476 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.036 Prop: 43101.418 PropClause: 41749.094 Set: 5406.685 Check: 1.497 Back: 1113.03
INFO - Atoms: 60744/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7378 Props: 45846518 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.042 Prop: 43164.313 PropClause: 41810.246 Set: 5417.231 Check: 1.497 Back: 1114.475
INFO - Atoms: 61042/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7379 Props: 45907706 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.047 Prop: 43224.901 PropClause: 41869.113 Set: 5427.435 Check: 1.497 Back: 1115.943
INFO - Atoms: 61188/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7380 Props: 45968921 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.052 Prop: 43284.555 PropClause: 41927.026 Set: 5437.817 Check: 1.497 Back: 1117.385
INFO - Atoms: 61215/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7381 Props: 46030453 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.058 Prop: 43342.833 PropClause: 41983.56 Set: 5448.081 Check: 1.497 Back: 1118.855
INFO - Atoms: 61532/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7382 Props: 46091994 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.063 Prop: 43402.708 PropClause: 42041.692 Set: 5458.505 Check: 1.497 Back: 1120.323
INFO - Atoms: 61541/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7383 Props: 46153710 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.068 Prop: 43463.162 PropClause: 42100.417 Set: 5468.722 Check: 1.497 Back: 1121.794
INFO - Atoms: 61716/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7384 Props: 46215716 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.073 Prop: 43524.337 PropClause: 42159.851 Set: 5479.113 Check: 1.497 Back: 1123.263
INFO - Atoms: 62006/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7385 Props: 46277746 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.076 Prop: 43584.905 PropClause: 42218.662 Set: 5489.516 Check: 1.497 Back: 1124.746
INFO - Atoms: 62030/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7386 Props: 46340091 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.082 Prop: 43647.414 PropClause: 42279.407 Set: 5500.091 Check: 1.497 Back: 1126.218
INFO - Atoms: 62345/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7387 Props: 46402447 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.087 Prop: 43709.39 PropClause: 42339.615 Set: 5510.505 Check: 1.497 Back: 1127.715
INFO - Atoms: 62356/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7388 Props: 46464984 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.092 Prop: 43770.897 PropClause: 42399.348 Set: 5521.032 Check: 1.497 Back: 1129.174
INFO - Atoms: 62537/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7389 Props: 46527665 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.097 Prop: 43833.429 PropClause: 42460.085 Set: 5531.623 Check: 1.497 Back: 1130.687
INFO - Atoms: 62681/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7390 Props: 46592646 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.104 Prop: 43899.468 PropClause: 42524.316 Set: 5542.75 Check: 1.497 Back: 1132.186
INFO - Atoms: 64981/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7391 Props: 46657944 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.109 Prop: 43968.34 PropClause: 42591.325 Set: 5553.813 Check: 1.497 Back: 1133.759
INFO - Atoms: 65298/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7392 Props: 46723421 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.114 Prop: 44039.799 PropClause: 42660.94 Set: 5565.003 Check: 1.497 Back: 1135.332
INFO - Atoms: 65477/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7393 Props: 46789045 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.12 Prop: 44114.265 PropClause: 42733.524 Set: 5576.602 Check: 1.497 Back: 1136.896
INFO - Atoms: 65624/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7394 Props: 46854846 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.124 Prop: 44186.213 PropClause: 42803.607 Set: 5587.969 Check: 1.497 Back: 1138.508
INFO - Atoms: 65801/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7395 Props: 46920805 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.13 Prop: 44260.773 PropClause: 42876.279 Set: 5599.295 Check: 1.497 Back: 1140.095
INFO - Atoms: 65959/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7396 Props: 46986918 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.134 Prop: 44331.175 PropClause: 42944.819 Set: 5610.601 Check: 1.497 Back: 1141.793
INFO - Atoms: 66113/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7397 Props: 47053195 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.14 Prop: 44398.571 PropClause: 43010.337 Set: 5621.88 Check: 1.497 Back: 1143.368
INFO - Atoms: 66277/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7398 Props: 47119633 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.145 Prop: 44468.069 PropClause: 43077.939 Set: 5633.417 Check: 1.497 Back: 1144.945
INFO - Atoms: 66438/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7399 Props: 47186376 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.15 Prop: 44537.309 PropClause: 43145.259 Set: 5644.857 Check: 1.497 Back: 1146.544
INFO - Atoms: 66743/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7400 Props: 47253142 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.155 Prop: 44608.619 PropClause: 43214.677 Set: 5656.46 Check: 1.497 Back: 1148.159
INFO - Atoms: 66766/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7401 Props: 47320069 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.159 Prop: 44680.615 PropClause: 43284.783 Set: 5667.923 Check: 1.497 Back: 1149.741
INFO - Atoms: 66927/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7402 Props: 47387161 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.166 Prop: 44755.402 PropClause: 43357.682 Set: 5679.631 Check: 1.497 Back: 1151.339
INFO - Atoms: 67092/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7403 Props: 47454426 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.171 Prop: 44825.584 PropClause: 43425.957 Set: 5691.102 Check: 1.497 Back: 1152.967
INFO - Atoms: 67265/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7404 Props: 47521859 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.175 Prop: 44899.906 PropClause: 43498.368 Set: 5702.889 Check: 1.497 Back: 1154.58
INFO - Atoms: 67433/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7405 Props: 47593055 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.18 Prop: 44976.734 PropClause: 43573.191 Set: 5715.169 Check: 1.497 Back: 1156.188
INFO - Atoms: 71196/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7406 Props: 47664580 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.185 Prop: 45054.925 PropClause: 43649.348 Set: 5727.471 Check: 1.497 Back: 1157.846
INFO - Atoms: 71525/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7407 Props: 47736259 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.19 Prop: 45135.202 PropClause: 43727.581 Set: 5739.905 Check: 1.497 Back: 1159.539
INFO - Atoms: 71679/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7408 Props: 47808114 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.195 Prop: 45215.883 PropClause: 43806.216 Set: 5752.413 Check: 1.497 Back: 1161.234
INFO - Atoms: 71855/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7409 Props: 47880119 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.201 Prop: 45298.284 PropClause: 43886.549 Set: 5764.927 Check: 1.497 Back: 1162.949
INFO - Atoms: 72005/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7410 Props: 47952294 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.206 Prop: 45380.653 PropClause: 43966.88 Set: 5777.389 Check: 1.497 Back: 1164.643
INFO - Atoms: 72175/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7411 Props: 48024640 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.212 Prop: 45464.362 PropClause: 44048.536 Set: 5789.884 Check: 1.497 Back: 1166.37
INFO - Atoms: 72346/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7412 Props: 48097134 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.218 Prop: 45546.684 PropClause: 44128.787 Set: 5802.462 Check: 1.497 Back: 1168.079
INFO - Atoms: 72494/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7413 Props: 48169791 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.223 Prop: 45631.182 PropClause: 44211.214 Set: 5815.079 Check: 1.497 Back: 1169.79
INFO - Atoms: 72657/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7414 Props: 48242611 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.228 Prop: 45714.574 PropClause: 44292.538 Set: 5827.725 Check: 1.497 Back: 1171.517
INFO - Atoms: 72820/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7415 Props: 48315594 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.234 Prop: 45799.632 PropClause: 44375.537 Set: 5840.384 Check: 1.497 Back: 1173.231
INFO - Atoms: 72983/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7416 Props: 48388740 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.238 Prop: 45882.782 PropClause: 44456.598 Set: 5853.254 Check: 1.497 Back: 1174.97
INFO - Atoms: 73146/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7417 Props: 48462190 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.243 Prop: 45961.868 PropClause: 44533.593 Set: 5865.908 Check: 1.497 Back: 1176.715
INFO - Atoms: 73450/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7418 Props: 48535662 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.248 Prop: 46040.093 PropClause: 44609.736 Set: 5878.575 Check: 1.497 Back: 1178.501
INFO - Atoms: 73472/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7419 Props: 48612883 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.252 Prop: 46126.018 PropClause: 44693.481 Set: 5892.121 Check: 1.497 Back: 1180.227
INFO - Atoms: 77221/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7420 Props: 48690267 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.256 Prop: 46215.314 PropClause: 44780.611 Set: 5905.567 Check: 1.497 Back: 1182.018
INFO - Atoms: 77384/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7421 Props: 48767827 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.261 Prop: 46299.228 PropClause: 44862.318 Set: 5918.89 Check: 1.497 Back: 1183.831
INFO - Atoms: 77560/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7422 Props: 48845551 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.266 Prop: 46384.991 PropClause: 44945.874 Set: 5932.279 Check: 1.497 Back: 1185.65
INFO - Atoms: 77724/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7423 Props: 48923429 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.27 Prop: 46470.412 PropClause: 45029.112 Set: 5945.51 Check: 1.497 Back: 1187.464
INFO - Atoms: 77878/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 57478 Tprops: 1239 Decides: 112202 RSplits: 0
INFO - Times: Expl: 606.046 Prop: 107697.203 PropClause: 31.973 Set: 25092.515 Check: 1441.472 Back: 354.069
INFO - Atoms: 175/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1232917 eq 64669310 cc 347601056 setRep 179245523
INFO - Merges: 1035517, cc:2862307
INFO - BVTimes: BB 367541968 BB_DPLL 97999350584 Graph 802663251
INFO - BitBlastingClauses: 864034 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 7424 Props: 49001463 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.276 Prop: 46563.249 PropClause: 45119.313 Set: 5959.607 Check: 1.497 Back: 1189.27
INFO - Atoms: 78034/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7425 Props: 49079663 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.281 Prop: 46650.959 PropClause: 45204.619 Set: 5973.14 Check: 1.497 Back: 1191.126
INFO - Atoms: 78200/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7426 Props: 49158025 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.285 Prop: 46736.465 PropClause: 45287.706 Set: 6008.137 Check: 1.497 Back: 1192.962
INFO - Atoms: 78362/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7427 Props: 49236551 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.29 Prop: 46823.211 PropClause: 45372.03 Set: 6021.587 Check: 1.497 Back: 1194.791
INFO - Atoms: 78526/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7428 Props: 49315253 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.295 Prop: 46916.612 PropClause: 45462.616 Set: 6038.562 Check: 1.497 Back: 1196.614
INFO - Atoms: 78702/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7429 Props: 49394119 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.3 Prop: 47004.686 PropClause: 45548.722 Set: 6052.252 Check: 1.497 Back: 1198.444
INFO - Atoms: 78866/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7430 Props: 49473138 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.304 Prop: 47094.216 PropClause: 45636.285 Set: 6066.089 Check: 1.497 Back: 1200.317
INFO - Atoms: 79019/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7431 Props: 49546090 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.337 Prop: 47184.216 PropClause: 45724.469 Set: 6078.769 Check: 1.497 Back: 1202.16
INFO - Atoms: 72952/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7432 Props: 49619213 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.342 Prop: 47269.995 PropClause: 45808.475 Set: 6091.403 Check: 1.497 Back: 1203.873
INFO - Atoms: 73123/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7433 Props: 49692479 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.346 Prop: 47349.669 PropClause: 45886.359 Set: 6103.967 Check: 1.497 Back: 1205.579
INFO - Atoms: 73266/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7434 Props: 49765909 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.351 Prop: 47435.987 PropClause: 45970.88 Set: 6116.824 Check: 1.497 Back: 1207.299
INFO - Atoms: 73430/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7435 Props: 49839503 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.356 Prop: 47521.914 PropClause: 46054.986 Set: 6129.591 Check: 1.497 Back: 1209.052
INFO - Atoms: 73594/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7436 Props: 49913261 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.361 Prop: 47602.304 PropClause: 46133.573 Set: 6142.342 Check: 1.497 Back: 1210.783
INFO - Atoms: 73758/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7437 Props: 49987043 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.366 Prop: 47684.246 PropClause: 46213.706 Set: 6155.105 Check: 1.497 Back: 1212.529
INFO - Atoms: 73782/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7438 Props: 50060994 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.372 Prop: 47767.061 PropClause: 46294.708 Set: 6167.946 Check: 1.497 Back: 1214.261
INFO - Atoms: 73951/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7439 Props: 50135102 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.379 Prop: 47852.875 PropClause: 46378.717 Set: 6180.808 Check: 1.497 Back: 1216.019
INFO - Atoms: 74108/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7440 Props: 50209373 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.386 Prop: 47940.342 PropClause: 46464.355 Set: 6193.963 Check: 1.497 Back: 1217.764
INFO - Atoms: 74271/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7441 Props: 50283810 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.391 Prop: 48030.31 PropClause: 46552.491 Set: 6207.05 Check: 1.497 Back: 1219.54
INFO - Atoms: 74437/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7442 Props: 50358548 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.395 Prop: 48120.272 PropClause: 46640.617 Set: 6220.04 Check: 1.497 Back: 1221.293
INFO - Atoms: 74738/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7443 Props: 50433308 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.401 Prop: 48208.169 PropClause: 46726.658 Set: 6232.956 Check: 1.497 Back: 1223.039
INFO - Atoms: 74760/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7444 Props: 50508247 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.406 Prop: 48292.728 PropClause: 46809.38 Set: 6246.082 Check: 1.497 Back: 1224.819
INFO - Atoms: 74939/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7445 Props: 50583351 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.412 Prop: 48378.651 PropClause: 46893.456 Set: 6259.154 Check: 1.497 Back: 1226.586
INFO - Atoms: 75104/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7446 Props: 50658747 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.417 Prop: 48466.412 PropClause: 46979.38 Set: 6272.292 Check: 1.497 Back: 1228.409
INFO - Atoms: 75396/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7447 Props: 50734296 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.423 Prop: 48552.906 PropClause: 47064.024 Set: 6285.441 Check: 1.497 Back: 1230.169
INFO - Atoms: 75549/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7448 Props: 50810008 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.428 Prop: 48636.639 PropClause: 47145.909 Set: 6298.617 Check: 1.497 Back: 1231.964
INFO - Atoms: 75712/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7449 Props: 50885746 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.434 Prop: 48720.166 PropClause: 47227.599 Set: 6311.498 Check: 1.497 Back: 1233.735
INFO - Atoms: 75738/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7450 Props: 50961668 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.438 Prop: 48801.957 PropClause: 47307.497 Set: 6324.683 Check: 1.497 Back: 1235.494
INFO - Atoms: 75922/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7451 Props: 51037743 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.444 Prop: 48885.774 PropClause: 47389.424 Set: 6337.867 Check: 1.497 Back: 1237.287
INFO - Atoms: 76075/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7452 Props: 51113970 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.449 Prop: 48974.507 PropClause: 47476.284 Set: 6351.173 Check: 1.497 Back: 1239.074
INFO - Atoms: 76227/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7453 Props: 51190372 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.455 Prop: 49056.543 PropClause: 47556.451 Set: 6364.152 Check: 1.497 Back: 1240.882
INFO - Atoms: 76402/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7454 Props: 51266944 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.46 Prop: 49143.097 PropClause: 47641.132 Set: 6377.389 Check: 1.497 Back: 1242.658
INFO - Atoms: 76572/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7455 Props: 51343678 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.464 Prop: 49227.748 PropClause: 47723.907 Set: 6390.594 Check: 1.497 Back: 1244.465
INFO - Atoms: 76734/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7456 Props: 51420558 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.47 Prop: 49313.307 PropClause: 47807.562 Set: 6404.002 Check: 1.497 Back: 1246.248
INFO - Atoms: 76880/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7457 Props: 51497753 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.474 Prop: 49400.143 PropClause: 47892.503 Set: 6417.387 Check: 1.497 Back: 1248.044
INFO - Atoms: 77195/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7458 Props: 51575096 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.48 Prop: 49491.128 PropClause: 47981.551 Set: 6431.187 Check: 1.497 Back: 1249.846
INFO - Atoms: 77343/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7459 Props: 51652464 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.486 Prop: 49579.751 PropClause: 48068.272 Set: 6444.616 Check: 1.497 Back: 1251.666
INFO - Atoms: 77368/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7460 Props: 51730015 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.49 Prop: 49667.515 PropClause: 48154.142 Set: 6458.103 Check: 1.497 Back: 1253.485
INFO - Atoms: 77551/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7461 Props: 51807853 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.494 Prop: 49755.565 PropClause: 48240.301 Set: 6471.494 Check: 1.497 Back: 1255.4
INFO - Atoms: 77838/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7462 Props: 51885710 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.499 Prop: 49846.391 PropClause: 48329.21 Set: 6485.123 Check: 1.497 Back: 1257.23
INFO - Atoms: 77857/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7463 Props: 51963738 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.504 Prop: 49937.258 PropClause: 48418.155 Set: 6498.864 Check: 1.497 Back: 1259.054
INFO - Atoms: 78028/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7464 Props: 52042058 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.508 Prop: 50029.316 PropClause: 48508.206 Set: 6513.31 Check: 1.497 Back: 1260.938
INFO - Atoms: 78320/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7465 Props: 52120540 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.513 Prop: 50123.01 PropClause: 48599.944 Set: 6527.279 Check: 1.497 Back: 1262.795
INFO - Atoms: 78482/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7466 Props: 52199189 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.52 Prop: 50219.124 PropClause: 48694.05 Set: 6541.653 Check: 1.497 Back: 1264.653
INFO - Atoms: 78649/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7467 Props: 52277700 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.525 Prop: 50308.636 PropClause: 48781.657 Set: 6555.384 Check: 1.497 Back: 1266.517
INFO - Atoms: 78511/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7468 Props: 52355738 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.53 Prop: 50399.043 PropClause: 48870.147 Set: 6569.053 Check: 1.497 Back: 1268.343
INFO - Atoms: 78038/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7469 Props: 52434247 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.536 Prop: 50488.746 PropClause: 48957.93 Set: 6582.733 Check: 1.497 Back: 1270.166
INFO - Atoms: 78509/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7470 Props: 52512912 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.541 Prop: 50582.675 PropClause: 49049.926 Set: 6596.846 Check: 1.497 Back: 1272.016
INFO - Atoms: 78665/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7471 Props: 52591593 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.545 Prop: 50673.703 PropClause: 49139.028 Set: 6610.644 Check: 1.497 Back: 1273.876
INFO - Atoms: 78681/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7472 Props: 52670241 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.549 Prop: 50767.845 PropClause: 49231.235 Set: 6624.698 Check: 1.497 Back: 1275.739
INFO - Atoms: 78648/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7473 Props: 52748915 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.555 Prop: 50859.316 PropClause: 49320.755 Set: 6638.605 Check: 1.497 Back: 1277.569
INFO - Atoms: 78674/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7474 Props: 52827725 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.56 Prop: 50952.458 PropClause: 49411.97 Set: 6652.485 Check: 1.497 Back: 1279.438
INFO - Atoms: 78810/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7475 Props: 52906565 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.566 Prop: 51042.627 PropClause: 49500.206 Set: 6666.305 Check: 1.497 Back: 1281.274
INFO - Atoms: 78840/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7476 Props: 52965159 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.572 Prop: 51116.008 PropClause: 49572.148 Set: 6676.163 Check: 1.497 Back: 1283.13
INFO - Atoms: 58594/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7477 Props: 53023741 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.579 Prop: 51173.327 PropClause: 49628.036 Set: 6686.004 Check: 1.497 Back: 1284.541
INFO - Atoms: 58582/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7478 Props: 53082319 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.584 Prop: 51232.386 PropClause: 49685.655 Set: 6696.041 Check: 1.497 Back: 1285.948
INFO - Atoms: 58578/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7479 Props: 53140736 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.59 Prop: 51288.154 PropClause: 49739.989 Set: 6705.869 Check: 1.497 Back: 1287.426
INFO - Atoms: 58417/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7480 Props: 53198922 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.595 Prop: 51346.122 PropClause: 49796.528 Set: 6716.153 Check: 1.497 Back: 1288.854
INFO - Atoms: 58186/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7481 Props: 53256943 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.599 Prop: 51401.532 PropClause: 49850.514 Set: 6725.903 Check: 1.497 Back: 1290.271
INFO - Atoms: 58021/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7482 Props: 53314950 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.604 Prop: 51455.949 PropClause: 49903.527 Set: 6735.511 Check: 1.497 Back: 1291.652
INFO - Atoms: 58007/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7483 Props: 53372651 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.609 Prop: 51510.32 PropClause: 49956.501 Set: 6745.16 Check: 1.497 Back: 1293.04
INFO - Atoms: 57701/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7484 Props: 53430181 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.614 Prop: 51564.157 PropClause: 50008.943 Set: 6754.712 Check: 1.497 Back: 1294.42
INFO - Atoms: 57530/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7485 Props: 53487594 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.619 Prop: 51617.987 PropClause: 50061.381 Set: 6764.111 Check: 1.497 Back: 1295.8
INFO - Atoms: 57413/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7486 Props: 53544802 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.624 Prop: 51668.408 PropClause: 50110.395 Set: 6773.559 Check: 1.497 Back: 1297.147
INFO - Atoms: 57208/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7487 Props: 53601979 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.629 Prop: 51722.143 PropClause: 50162.726 Set: 6783.156 Check: 1.497 Back: 1298.515
INFO - Atoms: 57177/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7488 Props: 53659008 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.633 Prop: 51772.242 PropClause: 50211.427 Set: 6792.57 Check: 1.497 Back: 1299.89
INFO - Atoms: 57029/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7489 Props: 53715731 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.638 Prop: 51827.858 PropClause: 50265.668 Set: 6801.941 Check: 1.497 Back: 1301.267
INFO - Atoms: 56723/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7490 Props: 53772289 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.644 Prop: 51881.785 PropClause: 50318.213 Set: 6811.324 Check: 1.497 Back: 1302.607
INFO - Atoms: 56558/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7491 Props: 53828688 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.649 Prop: 51934.783 PropClause: 50369.845 Set: 6820.565 Check: 1.497 Back: 1303.973
INFO - Atoms: 56399/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7492 Props: 53885050 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.654 Prop: 51986.5 PropClause: 50420.191 Set: 6849.729 Check: 1.497 Back: 1305.303
INFO - Atoms: 56362/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7493 Props: 53941108 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.658 Prop: 52036.77 PropClause: 50469.096 Set: 6858.928 Check: 1.497 Back: 1306.644
INFO - Atoms: 56058/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7494 Props: 53997002 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.662 Prop: 52087.813 PropClause: 50518.742 Set: 6868.222 Check: 1.497 Back: 1307.987
INFO - Atoms: 55894/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7495 Props: 54052740 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.666 Prop: 52135.164 PropClause: 50564.711 Set: 6877.333 Check: 1.497 Back: 1309.323
INFO - Atoms: 55738/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7496 Props: 54108317 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.671 Prop: 52184.86 PropClause: 50613.024 Set: 6886.558 Check: 1.497 Back: 1310.655
INFO - Atoms: 55577/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7497 Props: 54163733 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.677 Prop: 52237.527 PropClause: 50664.304 Set: 6895.869 Check: 1.497 Back: 1311.998
INFO - Atoms: 55416/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7498 Props: 54218986 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.682 Prop: 52286.672 PropClause: 50712.102 Set: 6905.051 Check: 1.497 Back: 1313.347
INFO - Atoms: 55253/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7499 Props: 54274082 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.688 Prop: 52338.361 PropClause: 50762.455 Set: 6914.218 Check: 1.497 Back: 1314.691
INFO - Atoms: 55096/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7500 Props: 54329019 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.694 Prop: 52389.322 PropClause: 50812.085 Set: 6923.308 Check: 1.497 Back: 1316.005
INFO - Atoms: 54937/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7501 Props: 54383775 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.698 Prop: 52439.322 PropClause: 50860.744 Set: 6932.372 Check: 1.497 Back: 1317.326
INFO - Atoms: 54756/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7502 Props: 54438383 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.703 Prop: 52497.435 PropClause: 50917.46 Set: 6942.159 Check: 1.497 Back: 1318.635
INFO - Atoms: 54608/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7503 Props: 54492827 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.709 Prop: 52548.501 PropClause: 50967.207 Set: 6951.158 Check: 1.497 Back: 1319.992
INFO - Atoms: 54444/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7504 Props: 54547104 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.714 Prop: 52599.811 PropClause: 51017.117 Set: 6960.636 Check: 1.497 Back: 1321.289
INFO - Atoms: 54277/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7505 Props: 54601216 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.719 Prop: 52646.979 PropClause: 51062.965 Set: 6969.575 Check: 1.497 Back: 1322.608
INFO - Atoms: 54112/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7506 Props: 54655314 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.725 Prop: 52695.081 PropClause: 51109.748 Set: 6978.513 Check: 1.497 Back: 1323.928
INFO - Atoms: 54098/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7507 Props: 54709093 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.73 Prop: 52742.27 PropClause: 51155.62 Set: 6987.382 Check: 1.497 Back: 1325.244
INFO - Atoms: 53779/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7508 Props: 54762723 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.736 Prop: 52796.119 PropClause: 51208.145 Set: 6996.439 Check: 1.497 Back: 1326.558
INFO - Atoms: 53630/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7509 Props: 54816185 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.742 Prop: 52845.941 PropClause: 51256.666 Set: 7005.315 Check: 1.497 Back: 1327.883
INFO - Atoms: 53462/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7510 Props: 54869475 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.747 Prop: 52894.09 PropClause: 51303.517 Set: 7014.076 Check: 1.497 Back: 1329.186
INFO - Atoms: 53290/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7511 Props: 54922618 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.752 Prop: 52942.072 PropClause: 51350.195 Set: 7022.875 Check: 1.497 Back: 1330.461
INFO - Atoms: 53143/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7512 Props: 54975595 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.756 Prop: 52990.09 PropClause: 51396.885 Set: 7031.674 Check: 1.497 Back: 1331.74
INFO - Atoms: 52977/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7513 Props: 55028411 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.761 Prop: 53039.478 PropClause: 51444.974 Set: 7040.475 Check: 1.497 Back: 1333.022
INFO - Atoms: 52816/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7514 Props: 55081049 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.767 Prop: 53087.848 PropClause: 51492.055 Set: 7049.214 Check: 1.497 Back: 1334.284
INFO - Atoms: 52638/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7515 Props: 55133565 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.773 Prop: 53137.964 PropClause: 51540.885 Set: 7058.053 Check: 1.497 Back: 1335.568
INFO - Atoms: 52516/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7516 Props: 55185877 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.778 Prop: 53188.444 PropClause: 51589.966 Set: 7067.584 Check: 1.497 Back: 1336.839
INFO - Atoms: 52312/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7517 Props: 55238043 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.783 Prop: 53236.5 PropClause: 51636.747 Set: 7076.233 Check: 1.497 Back: 1338.142
INFO - Atoms: 52166/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7518 Props: 55290036 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.789 Prop: 53283.566 PropClause: 51682.555 Set: 7084.749 Check: 1.497 Back: 1339.405
INFO - Atoms: 51993/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7519 Props: 55341866 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.795 Prop: 53329.453 PropClause: 51727.153 Set: 7093.395 Check: 1.497 Back: 1340.658
INFO - Atoms: 51830/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7520 Props: 55393526 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.801 Prop: 53375.35 PropClause: 51771.79 Set: 7101.853 Check: 1.497 Back: 1341.906
INFO - Atoms: 51660/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7521 Props: 55445023 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.806 Prop: 53421.551 PropClause: 51816.736 Set: 7110.247 Check: 1.497 Back: 1343.154
INFO - Atoms: 51497/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7522 Props: 55496372 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.811 Prop: 53465.877 PropClause: 51859.788 Set: 7118.647 Check: 1.497 Back: 1344.386
INFO - Atoms: 51349/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7523 Props: 55547557 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.816 Prop: 53507.429 PropClause: 51900.067 Set: 7127.073 Check: 1.497 Back: 1345.625
INFO - Atoms: 51185/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7524 Props: 55598580 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.821 Prop: 53550.056 PropClause: 51941.437 Set: 7135.471 Check: 1.497 Back: 1346.875
INFO - Atoms: 51023/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7525 Props: 55649580 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.826 Prop: 53590.411 PropClause: 51980.54 Set: 7161.325 Check: 1.497 Back: 1348.122
INFO - Atoms: 51000/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7526 Props: 55700261 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.831 Prop: 53633.725 PropClause: 52022.616 Set: 7169.532 Check: 1.497 Back: 1349.35
INFO - Atoms: 50681/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7527 Props: 55750779 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.836 Prop: 53676.138 PropClause: 52063.768 Set: 7177.771 Check: 1.497 Back: 1350.597
INFO - Atoms: 50518/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7528 Props: 55801135 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.841 Prop: 53718.083 PropClause: 52104.48 Set: 7185.891 Check: 1.497 Back: 1351.832
INFO - Atoms: 50356/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7529 Props: 55851337 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.846 Prop: 53759.486 PropClause: 52144.649 Set: 7193.982 Check: 1.497 Back: 1353.037
INFO - Atoms: 50202/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7530 Props: 55901383 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.851 Prop: 53799.564 PropClause: 52183.505 Set: 7201.984 Check: 1.497 Back: 1354.236
INFO - Atoms: 50046/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7531 Props: 55951250 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.856 Prop: 53840.377 PropClause: 52223.102 Set: 7210.01 Check: 1.497 Back: 1355.456
INFO - Atoms: 49867/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7532 Props: 56000961 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.86 Prop: 53882.713 PropClause: 52264.217 Set: 7218.064 Check: 1.497 Back: 1356.657
INFO - Atoms: 49711/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7533 Props: 56050502 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.865 Prop: 53924.598 PropClause: 52304.891 Set: 7226.128 Check: 1.497 Back: 1357.876
INFO - Atoms: 49541/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7534 Props: 56099896 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.87 Prop: 53965.894 PropClause: 52344.968 Set: 7234.123 Check: 1.497 Back: 1359.129
INFO - Atoms: 49394/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7535 Props: 56149114 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.874 Prop: 54003.771 PropClause: 52381.639 Set: 7242.034 Check: 1.497 Back: 1360.339
INFO - Atoms: 49218/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7536 Props: 56198171 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.879 Prop: 54042.225 PropClause: 52418.875 Set: 7249.962 Check: 1.497 Back: 1361.535
INFO - Atoms: 49057/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7537 Props: 56247067 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.884 Prop: 54082.862 PropClause: 52458.313 Set: 7257.84 Check: 1.497 Back: 1362.731
INFO - Atoms: 48896/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7538 Props: 56295933 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.889 Prop: 54124.023 PropClause: 52498.101 Set: 7267.333 Check: 1.497 Back: 1363.925
INFO - Atoms: 48866/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7539 Props: 56344496 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.894 Prop: 54162.519 PropClause: 52535.411 Set: 7275.105 Check: 1.497 Back: 1365.129
INFO - Atoms: 48563/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7540 Props: 56392896 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.899 Prop: 54203.76 PropClause: 52575.47 Set: 7282.951 Check: 1.497 Back: 1366.311
INFO - Atoms: 48400/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7541 Props: 56441148 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.903 Prop: 54243.611 PropClause: 52614.142 Set: 7290.753 Check: 1.497 Back: 1367.488
INFO - Atoms: 48252/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7542 Props: 56489238 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.907 Prop: 54283.707 PropClause: 52653.065 Set: 7321.993 Check: 1.497 Back: 1368.658
INFO - Atoms: 48090/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7543 Props: 56537162 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.912 Prop: 54321.04 PropClause: 52689.225 Set: 7329.647 Check: 1.497 Back: 1369.826
INFO - Atoms: 47924/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7544 Props: 56584910 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.917 Prop: 54361.261 PropClause: 52728.274 Set: 7337.409 Check: 1.497 Back: 1371.005
INFO - Atoms: 47748/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7545 Props: 56632502 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.921 Prop: 54400.023 PropClause: 52765.872 Set: 7345.082 Check: 1.497 Back: 1372.178
INFO - Atoms: 47592/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7546 Props: 56679933 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.926 Prop: 54439.589 PropClause: 52804.254 Set: 7352.803 Check: 1.497 Back: 1373.36
INFO - Atoms: 47431/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7547 Props: 56727213 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.931 Prop: 54479.378 PropClause: 52842.895 Set: 7360.427 Check: 1.497 Back: 1374.524
INFO - Atoms: 47280/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7548 Props: 56774309 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.937 Prop: 54519.956 PropClause: 52882.301 Set: 7368.057 Check: 1.497 Back: 1375.678
INFO - Atoms: 47096/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7549 Props: 56821242 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.941 Prop: 54558.314 PropClause: 52919.509 Set: 7375.591 Check: 1.497 Back: 1376.822
INFO - Atoms: 46933/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7550 Props: 56868013 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.946 Prop: 54596.856 PropClause: 52956.88 Set: 7383.097 Check: 1.497 Back: 1377.989
INFO - Atoms: 46771/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7551 Props: 56914633 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.951 Prop: 54635.097 PropClause: 52993.995 Set: 7390.465 Check: 1.497 Back: 1379.129
INFO - Atoms: 46620/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7552 Props: 56961233 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.956 Prop: 54672.532 PropClause: 53030.268 Set: 7397.987 Check: 1.497 Back: 1380.26
INFO - Atoms: 46600/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7553 Props: 57007530 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.961 Prop: 54709.72 PropClause: 53066.304 Set: 7405.495 Check: 1.497 Back: 1381.41
INFO - Atoms: 46297/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7554 Props: 57053648 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.965 Prop: 54747.645 PropClause: 53103.099 Set: 7412.938 Check: 1.497 Back: 1382.55
INFO - Atoms: 46118/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7555 Props: 57099603 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.971 Prop: 54783.603 PropClause: 53137.909 Set: 7420.366 Check: 1.497 Back: 1383.685
INFO - Atoms: 45955/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7556 Props: 57145409 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.976 Prop: 54820.786 PropClause: 53173.982 Set: 7427.647 Check: 1.497 Back: 1384.806
INFO - Atoms: 45806/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7557 Props: 57191023 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.981 Prop: 54857.942 PropClause: 53210.031 Set: 7434.878 Check: 1.497 Back: 1385.916
INFO - Atoms: 45614/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7558 Props: 57236515 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.986 Prop: 54897.388 PropClause: 53248.344 Set: 7442.345 Check: 1.497 Back: 1387.039
INFO - Atoms: 45492/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7559 Props: 57282340 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.992 Prop: 54934.232 PropClause: 53284.039 Set: 7449.678 Check: 1.497 Back: 1388.171
INFO - Atoms: 45825/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7560 Props: 57328666 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8638.998 Prop: 54972.528 PropClause: 53321.204 Set: 7472.316 Check: 1.497 Back: 1389.283
INFO - Atoms: 46326/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7561 Props: 57375744 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.003 Prop: 55011.986 PropClause: 53359.521 Set: 7479.786 Check: 1.497 Back: 1390.417
INFO - Atoms: 47078/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7562 Props: 57423047 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.008 Prop: 55052.44 PropClause: 53398.809 Set: 7487.381 Check: 1.497 Back: 1391.581
INFO - Atoms: 47303/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7563 Props: 57470369 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.014 Prop: 55092.734 PropClause: 53437.929 Set: 7494.974 Check: 1.497 Back: 1392.717
INFO - Atoms: 47322/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7564 Props: 57519269 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.019 Prop: 55135.598 PropClause: 53479.587 Set: 7503.063 Check: 1.497 Back: 1393.867
INFO - Atoms: 48900/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7565 Props: 57567402 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.024 Prop: 55176.564 PropClause: 53519.371 Set: 7510.753 Check: 1.497 Back: 1395.056
INFO - Atoms: 48133/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7566 Props: 57616958 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.028 Prop: 55219.416 PropClause: 53561.021 Set: 7518.785 Check: 1.497 Back: 1396.224
INFO - Atoms: 49556/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7567 Props: 57666851 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.032 Prop: 55270.408 PropClause: 53610.638 Set: 7528.458 Check: 1.497 Back: 1397.418
INFO - Atoms: 49893/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7568 Props: 57717707 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.037 Prop: 55315.767 PropClause: 53654.747 Set: 7536.881 Check: 1.497 Back: 1398.633
INFO - Atoms: 50856/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7569 Props: 57768419 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.041 Prop: 55358.678 PropClause: 53696.417 Set: 7545.099 Check: 1.497 Back: 1399.875
INFO - Atoms: 50712/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7570 Props: 57820528 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.045 Prop: 55404.333 PropClause: 53740.8 Set: 7553.757 Check: 1.497 Back: 1401.089
INFO - Atoms: 52109/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7571 Props: 57872235 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.05 Prop: 55448.868 PropClause: 53784.081 Set: 7562.038 Check: 1.497 Back: 1402.347
INFO - Atoms: 51707/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7572 Props: 57924106 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.055 Prop: 55494.013 PropClause: 53827.969 Set: 7570.446 Check: 1.497 Back: 1403.58
INFO - Atoms: 51871/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7573 Props: 57976303 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.06 Prop: 55537.976 PropClause: 53870.656 Set: 7578.965 Check: 1.497 Back: 1404.824
INFO - Atoms: 52197/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7574 Props: 58029475 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.066 Prop: 55582.107 PropClause: 53913.487 Set: 7587.589 Check: 1.497 Back: 1406.075
INFO - Atoms: 53172/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7575 Props: 58083263 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.071 Prop: 55627.404 PropClause: 53957.452 Set: 7596.378 Check: 1.497 Back: 1407.351
INFO - Atoms: 53788/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7576 Props: 58137413 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.076 Prop: 55676.032 PropClause: 54004.737 Set: 7605.2 Check: 1.497 Back: 1408.642
INFO - Atoms: 54150/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7577 Props: 58192054 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.082 Prop: 55726.753 PropClause: 54054.121 Set: 7614.223 Check: 1.497 Back: 1409.939
INFO - Atoms: 54641/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7578 Props: 58247676 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.086 Prop: 55775.581 PropClause: 54101.582 Set: 7623.42 Check: 1.497 Back: 1411.248
INFO - Atoms: 55622/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7579 Props: 58303589 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.091 Prop: 55826.204 PropClause: 54150.817 Set: 7632.717 Check: 1.497 Back: 1412.581
INFO - Atoms: 55913/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7580 Props: 58359066 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.097 Prop: 55879.572 PropClause: 54202.829 Set: 7641.878 Check: 1.497 Back: 1413.918
INFO - Atoms: 55477/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7581 Props: 58415961 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.102 Prop: 55930.879 PropClause: 54252.754 Set: 7651.19 Check: 1.497 Back: 1415.3
INFO - Atoms: 56895/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7582 Props: 58472402 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.107 Prop: 55983.433 PropClause: 54303.926 Set: 7660.429 Check: 1.497 Back: 1416.644
INFO - Atoms: 56441/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7583 Props: 58530706 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.111 Prop: 56034.195 PropClause: 54353.24 Set: 7670.149 Check: 1.497 Back: 1417.974
INFO - Atoms: 58304/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7584 Props: 58587668 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.116 Prop: 56087.326 PropClause: 54404.962 Set: 7679.446 Check: 1.497 Back: 1419.359
INFO - Atoms: 56962/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7585 Props: 58646223 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.12 Prop: 56140.731 PropClause: 54456.909 Set: 7689.184 Check: 1.497 Back: 1420.719
INFO - Atoms: 58555/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7586 Props: 58704955 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.126 Prop: 56197.475 PropClause: 54512.23 Set: 7698.921 Check: 1.497 Back: 1422.136
INFO - Atoms: 58732/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7587 Props: 58763843 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.131 Prop: 56256.433 PropClause: 54569.764 Set: 7708.601 Check: 1.497 Back: 1423.541
INFO - Atoms: 58888/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7588 Props: 58823881 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.135 Prop: 56312.802 PropClause: 54624.669 Set: 7718.632 Check: 1.497 Back: 1424.926
INFO - Atoms: 60038/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7589 Props: 58885155 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.139 Prop: 56371.185 PropClause: 54681.52 Set: 7728.972 Check: 1.497 Back: 1426.351
INFO - Atoms: 61274/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7590 Props: 58946294 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.144 Prop: 56435.668 PropClause: 54744.329 Set: 7740.996 Check: 1.497 Back: 1427.799
INFO - Atoms: 61139/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7591 Props: 59007607 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.15 Prop: 56497.894 PropClause: 54805.069 Set: 7751.237 Check: 1.497 Back: 1429.245
INFO - Atoms: 61313/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7592 Props: 59070350 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.155 Prop: 56562.289 PropClause: 54867.944 Set: 7761.84 Check: 1.497 Back: 1430.684
INFO - Atoms: 62743/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7593 Props: 59133794 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.159 Prop: 56626.531 PropClause: 54930.593 Set: 7772.722 Check: 1.497 Back: 1432.169
INFO - Atoms: 63444/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7594 Props: 59197692 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.165 Prop: 56693.334 PropClause: 54995.816 Set: 7783.585 Check: 1.497 Back: 1433.667
INFO - Atoms: 63898/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7595 Props: 59261274 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.169 Prop: 56758.761 PropClause: 55059.648 Set: 7794.365 Check: 1.497 Back: 1435.187
INFO - Atoms: 63582/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7596 Props: 59325971 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.174 Prop: 56827.021 PropClause: 55126.185 Set: 7806.764 Check: 1.497 Back: 1436.708
INFO - Atoms: 64697/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7597 Props: 59389904 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.18 Prop: 56895.696 PropClause: 55193.283 Set: 7817.701 Check: 1.497 Back: 1438.233
INFO - Atoms: 63933/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7598 Props: 59455757 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.186 Prop: 56962.726 PropClause: 55258.699 Set: 7829.059 Check: 1.497 Back: 1439.77
INFO - Atoms: 65853/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7599 Props: 59522243 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.192 Prop: 57031.926 PropClause: 55326.269 Set: 7840.422 Check: 1.497 Back: 1441.343
INFO - Atoms: 66486/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7600 Props: 59588544 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.198 Prop: 57102.948 PropClause: 55395.682 Set: 7851.718 Check: 1.497 Back: 1442.945
INFO - Atoms: 66301/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7601 Props: 59655166 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.202 Prop: 57172.411 PropClause: 55463.492 Set: 7862.965 Check: 1.497 Back: 1444.503
INFO - Atoms: 66622/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7602 Props: 59721796 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.206 Prop: 57243.499 PropClause: 55532.921 Set: 7874.337 Check: 1.497 Back: 1446.064
INFO - Atoms: 66630/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7603 Props: 59787276 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.211 Prop: 57315.335 PropClause: 55603.15 Set: 7885.698 Check: 1.497 Back: 1447.649
INFO - Atoms: 65480/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7604 Props: 59853719 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.217 Prop: 57387.436 PropClause: 55673.599 Set: 7897.17 Check: 1.497 Back: 1449.221
INFO - Atoms: 66443/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7605 Props: 59920184 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.221 Prop: 57458.886 PropClause: 55743.382 Set: 7908.442 Check: 1.497 Back: 1450.849
INFO - Atoms: 66465/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7606 Props: 59986488 Tprops: 0 Decides: 56979 RSplits: 0
INFO - Times: Expl: 8639.226 Prop: 57530.182 PropClause: 55813.044 Set: 7919.678 Check: 1.497 Back: 1452.434
INFO - Atoms: 66304/95294 Clauses: 1183 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 766 Props: 199972 Tprops: 3089 Decides: 117138 RSplits: 0
INFO - Times: Expl: 792.361 Prop: 138466.018 PropClause: 85.084 Set: 39646.756 Check: 1661.759 Back: 809.291
INFO - Atoms: 228/1651 Clauses: 766 Axioms: 1651
INFO - CCTimes: iE 1893938 eq 80806183 cc 428104718 setRep 233759426
INFO - Merges: 1348231, cc:4417145
INFO - BVTimes: BB 367541968 BB_DPLL 125568317428 Graph 869805187
INFO - BitBlastingClauses: 1077778 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat