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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 773988369
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 259306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.606 Prop: 367.557 PropClause: 357.754 Set: 107.795 Check: 0.0 Back: 0.0
INFO - Atoms: 259306/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 518620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.68 Prop: 744.275 PropClause: 726.974 Set: 191.922 Check: 0.0 Back: 6.16
INFO - Atoms: 259314/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 777915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.735 Prop: 1204.135 PropClause: 1176.152 Set: 257.789 Check: 0.0 Back: 12.237
INFO - Atoms: 259295/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1037210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.801 Prop: 1510.629 PropClause: 1476.315 Set: 307.041 Check: 0.0 Back: 19.042
INFO - Atoms: 259295/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1296488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.869 Prop: 1803.119 PropClause: 1762.459 Set: 355.571 Check: 0.0 Back: 26.355
INFO - Atoms: 259278/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1554504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.92 Prop: 2124.288 PropClause: 2077.297 Set: 404.175 Check: 0.0 Back: 33.587
INFO - Atoms: 258016/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1811409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.97 Prop: 2428.812 PropClause: 2375.528 Set: 453.723 Check: 0.0 Back: 40.741
INFO - Atoms: 256905/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 2068549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.02 Prop: 2751.848 PropClause: 2692.29 Set: 502.877 Check: 0.0 Back: 47.923
INFO - Atoms: 257140/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 2325115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.068 Prop: 3048.627 PropClause: 2982.734 Set: 551.647 Check: 0.0 Back: 55.028
INFO - Atoms: 256566/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 2581357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.119 Prop: 3376.94 PropClause: 3304.71 Set: 600.945 Check: 0.0 Back: 62.248
INFO - Atoms: 256242/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2836336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.169 Prop: 3684.757 PropClause: 3606.235 Set: 649.727 Check: 0.0 Back: 69.363
INFO - Atoms: 254979/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 3091057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.22 Prop: 4012.061 PropClause: 3927.226 Set: 698.853 Check: 0.0 Back: 76.621
INFO - Atoms: 254721/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 3345390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.27 Prop: 4305.489 PropClause: 4214.362 Set: 747.835 Check: 0.0 Back: 83.931
INFO - Atoms: 254333/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 3599708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.319 Prop: 4618.405 PropClause: 4520.962 Set: 796.161 Check: 0.0 Back: 91.113
INFO - Atoms: 254318/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 3854013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.366 Prop: 4903.783 PropClause: 4800.081 Set: 843.44 Check: 0.0 Back: 98.232
INFO - Atoms: 254305/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 4107370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.417 Prop: 5211.203 PropClause: 5101.252 Set: 891.422 Check: 0.0 Back: 105.259
INFO - Atoms: 253357/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 4359932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.47 Prop: 5511.052 PropClause: 5394.882 Set: 940.424 Check: 0.0 Back: 112.326
INFO - Atoms: 252562/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 4612329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.525 Prop: 5838.448 PropClause: 5716.031 Set: 988.923 Check: 0.0 Back: 119.412
INFO - Atoms: 252397/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 4864245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.568 Prop: 6136.748 PropClause: 6008.088 Set: 1037.317 Check: 0.0 Back: 126.508
INFO - Atoms: 251916/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 5115903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.653 Prop: 6459.253 PropClause: 6324.383 Set: 1085.384 Check: 0.0 Back: 133.499
INFO - Atoms: 251658/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 5367173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.73 Prop: 6757.797 PropClause: 6616.757 Set: 1133.689 Check: 0.0 Back: 140.364
INFO - Atoms: 251270/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 5618185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.778 Prop: 7076.131 PropClause: 6928.908 Set: 1181.799 Check: 0.0 Back: 147.321
INFO - Atoms: 251012/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 5868809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.826 Prop: 7370.527 PropClause: 7217.181 Set: 1228.539 Check: 0.0 Back: 154.395
INFO - Atoms: 250624/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 6119175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.929 Prop: 7681.59 PropClause: 7522.092 Set: 1276.498 Check: 0.0 Back: 161.338
INFO - Atoms: 250366/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 6369151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.952 Prop: 7974.45 PropClause: 7808.802 Set: 1323.625 Check: 0.0 Back: 168.313
INFO - Atoms: 249976/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 6619117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.972 Prop: 8288.896 PropClause: 8117.097 Set: 1371.663 Check: 0.0 Back: 175.271
INFO - Atoms: 249966/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 6868759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.994 Prop: 8594.013 PropClause: 8416.025 Set: 1419.535 Check: 0.0 Back: 182.179
INFO - Atoms: 249642/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 7117889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.015 Prop: 8923.695 PropClause: 8739.582 Set: 1468.056 Check: 0.0 Back: 189.167
INFO - Atoms: 249130/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 7366573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.038 Prop: 9221.968 PropClause: 9031.777 Set: 1515.456 Check: 0.0 Back: 196.108
INFO - Atoms: 248684/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 7614999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.062 Prop: 9532.114 PropClause: 9335.814 Set: 1562.522 Check: 0.0 Back: 202.978
INFO - Atoms: 248426/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 7863037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.084 Prop: 9829.156 PropClause: 9626.775 Set: 1683.848 Check: 0.0 Back: 209.715
INFO - Atoms: 248038/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 8110879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.105 Prop: 10147.194 PropClause: 9938.725 Set: 1731.468 Check: 0.0 Back: 216.453
INFO - Atoms: 247842/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 8358271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.126 Prop: 10448.351 PropClause: 10233.787 Set: 1779.826 Check: 0.0 Back: 223.165
INFO - Atoms: 247392/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 8605338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.15 Prop: 10766.183 PropClause: 10545.483 Set: 1827.254 Check: 0.0 Back: 229.861
INFO - Atoms: 247067/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 8852405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.172 Prop: 11058.697 PropClause: 10831.986 Set: 1873.745 Check: 0.0 Back: 236.663
INFO - Atoms: 247067/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 9099456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.196 Prop: 11383.842 PropClause: 11151.069 Set: 1921.643 Check: 0.0 Back: 243.467
INFO - Atoms: 247051/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 9346507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.218 Prop: 11680.268 PropClause: 11441.42 Set: 1968.477 Check: 0.0 Back: 250.139
INFO - Atoms: 247051/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 9593545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.239 Prop: 11988.286 PropClause: 11743.355 Set: 2015.261 Check: 0.0 Back: 256.987
INFO - Atoms: 247038/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 9839633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.259 Prop: 12273.399 PropClause: 12022.347 Set: 2061.97 Check: 0.0 Back: 263.741
INFO - Atoms: 246088/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 10085398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.279 Prop: 12586.595 PropClause: 12329.51 Set: 2108.669 Check: 0.0 Back: 270.475
INFO - Atoms: 245765/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 10331154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.309 Prop: 12875.977 PropClause: 12612.847 Set: 2155.473 Check: 0.0 Back: 277.139
INFO - Atoms: 245756/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 10576968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 13201.265 PropClause: 12931.839 Set: 2204.769 Check: 0.0 Back: 283.897
INFO - Atoms: 245814/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 10822240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.356 Prop: 13492.609 PropClause: 13217.111 Set: 2252.071 Check: 0.0 Back: 290.517
INFO - Atoms: 245272/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 11067249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.374 Prop: 13799.154 PropClause: 13517.622 Set: 2298.738 Check: 0.0 Back: 297.184
INFO - Atoms: 245009/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 11311873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.397 Prop: 14091.325 PropClause: 13803.808 Set: 2345.73 Check: 0.0 Back: 303.857
INFO - Atoms: 244624/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 11556082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.42 Prop: 14413.792 PropClause: 14120.278 Set: 2392.875 Check: 0.0 Back: 310.592
INFO - Atoms: 244209/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 11799905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.442 Prop: 14717.779 PropClause: 14418.201 Set: 2440.315 Check: 0.0 Back: 317.343
INFO - Atoms: 243823/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 12043470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.466 Prop: 15022.809 PropClause: 14717.271 Set: 2486.674 Check: 0.0 Back: 324.053
INFO - Atoms: 243565/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 12286645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.489 Prop: 15304.859 PropClause: 14993.345 Set: 2532.823 Check: 0.0 Back: 330.682
INFO - Atoms: 243175/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 12529816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.512 Prop: 15619.071 PropClause: 15301.51 Set: 2579.031 Check: 0.0 Back: 337.252
INFO - Atoms: 243171/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 12772665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.537 Prop: 15904.364 PropClause: 15580.818 Set: 2625.47 Check: 0.0 Back: 343.958
INFO - Atoms: 242849/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 13015256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 16201.048 PropClause: 15871.536 Set: 2671.253 Check: 0.0 Back: 350.647
INFO - Atoms: 242591/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 13257459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.579 Prop: 16480.968 PropClause: 16145.528 Set: 2753.746 Check: 0.0 Back: 357.277
INFO - Atoms: 242203/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 13499404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 16776.319 PropClause: 16434.942 Set: 2799.882 Check: 0.0 Back: 363.755
INFO - Atoms: 241945/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 13740961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.622 Prop: 17066.425 PropClause: 16719.048 Set: 2846.379 Check: 0.0 Back: 370.322
INFO - Atoms: 241557/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 13982291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.641 Prop: 17375.882 PropClause: 17022.564 Set: 2892.458 Check: 0.0 Back: 376.945
INFO - Atoms: 241330/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 14223202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.662 Prop: 17665.186 PropClause: 17305.96 Set: 2939.197 Check: 0.0 Back: 383.639
INFO - Atoms: 240911/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 14463855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.684 Prop: 17978.677 PropClause: 17613.554 Set: 2984.536 Check: 0.0 Back: 390.409
INFO - Atoms: 240653/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 14704118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.707 Prop: 18277.599 PropClause: 17906.473 Set: 3032.356 Check: 0.0 Back: 396.754
INFO - Atoms: 240263/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 14944123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.729 Prop: 18591.943 PropClause: 18214.779 Set: 3079.678 Check: 0.0 Back: 403.354
INFO - Atoms: 240005/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 15183740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.752 Prop: 18874.009 PropClause: 18490.948 Set: 3125.726 Check: 0.0 Back: 410.131
INFO - Atoms: 239617/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 15423037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.774 Prop: 19173.039 PropClause: 18784.096 Set: 3171.506 Check: 0.0 Back: 416.721
INFO - Atoms: 239297/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 15662008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.797 Prop: 19462.259 PropClause: 19067.447 Set: 3217.739 Check: 0.0 Back: 423.211
INFO - Atoms: 238971/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 15900721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 19762.392 PropClause: 19361.726 Set: 3349.451 Check: 0.0 Back: 429.772
INFO - Atoms: 238713/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 16139048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.85 Prop: 20057.836 PropClause: 19651.189 Set: 3396.976 Check: 0.0 Back: 435.738
INFO - Atoms: 238327/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 16377052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.868 Prop: 20363.273 PropClause: 19950.745 Set: 3441.901 Check: 0.0 Back: 442.294
INFO - Atoms: 238004/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 16614112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.889 Prop: 20656.273 PropClause: 20237.886 Set: 3544.701 Check: 0.0 Back: 448.83
INFO - Atoms: 237060/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 16850902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.907 Prop: 20961.939 PropClause: 20537.722 Set: 3589.354 Check: 0.0 Back: 455.262
INFO - Atoms: 236790/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 17087312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.925 Prop: 21244.574 PropClause: 20814.564 Set: 3634.904 Check: 0.0 Back: 461.808
INFO - Atoms: 236410/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 17323458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.946 Prop: 21544.944 PropClause: 21109.133 Set: 3719.326 Check: 0.0 Back: 468.206
INFO - Atoms: 236146/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 17559220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.966 Prop: 21824.158 PropClause: 21382.555 Set: 3764.433 Check: 0.0 Back: 474.591
INFO - Atoms: 235762/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 17794726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.986 Prop: 22114.949 PropClause: 21667.534 Set: 3809.116 Check: 0.0 Back: 481.016
INFO - Atoms: 235506/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 18029844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.005 Prop: 22386.555 PropClause: 21933.349 Set: 3853.494 Check: 0.0 Back: 487.532
INFO - Atoms: 235118/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 18264638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.024 Prop: 22677.011 PropClause: 22218.074 Set: 3897.766 Check: 0.0 Back: 493.944
INFO - Atoms: 234794/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 18499110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.043 Prop: 22948.654 PropClause: 22484.011 Set: 3941.981 Check: 0.0 Back: 500.446
INFO - Atoms: 234472/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 18733317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.061 Prop: 23233.005 PropClause: 22762.659 Set: 3985.639 Check: 0.0 Back: 506.767
INFO - Atoms: 234207/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 18967143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.079 Prop: 23500.408 PropClause: 23024.324 Set: 4030.034 Check: 0.0 Back: 513.201
INFO - Atoms: 233826/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 19200706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.098 Prop: 23787.716 PropClause: 23305.906 Set: 4073.802 Check: 0.0 Back: 519.498
INFO - Atoms: 233563/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 19433886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.117 Prop: 24062.367 PropClause: 23574.824 Set: 4156.277 Check: 0.0 Back: 525.831
INFO - Atoms: 233180/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 19666808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.134 Prop: 24354.95 PropClause: 23861.69 Set: 4200.243 Check: 0.0 Back: 532.239
INFO - Atoms: 232922/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 19899340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.15 Prop: 24622.915 PropClause: 24123.962 Set: 4243.547 Check: 0.0 Back: 538.536
INFO - Atoms: 232532/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 20131607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.168 Prop: 24919.658 PropClause: 24414.979 Set: 4338.89 Check: 0.0 Back: 544.881
INFO - Atoms: 232267/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 20363495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.22 Prop: 25191.771 PropClause: 24681.383 Set: 4382.173 Check: 0.0 Back: 551.063
INFO - Atoms: 231888/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 20595059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.28 Prop: 25492.694 PropClause: 24976.645 Set: 4425.832 Check: 0.0 Back: 557.413
INFO - Atoms: 231564/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 20826301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.296 Prop: 25760.687 PropClause: 25238.951 Set: 4548.273 Check: 0.0 Back: 563.717
INFO - Atoms: 231242/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 21057283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.311 Prop: 26041.0 PropClause: 25513.624 Set: 4590.993 Check: 0.0 Back: 569.589
INFO - Atoms: 230982/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 21287877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.327 Prop: 26308.345 PropClause: 25775.325 Set: 4634.154 Check: 0.0 Back: 575.823
INFO - Atoms: 230594/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 21518215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.34 Prop: 26593.199 PropClause: 26054.546 Set: 4677.461 Check: 0.0 Back: 582.063
INFO - Atoms: 230338/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 21748163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.353 Prop: 26859.845 PropClause: 26315.519 Set: 4720.602 Check: 0.0 Back: 588.369
INFO - Atoms: 229948/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 21977853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.368 Prop: 27146.057 PropClause: 26596.062 Set: 4764.609 Check: 0.0 Back: 594.617
INFO - Atoms: 229690/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 22207155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 27418.872 PropClause: 26863.261 Set: 4808.311 Check: 0.0 Back: 600.79
INFO - Atoms: 229302/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 22436199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.398 Prop: 27701.565 PropClause: 27140.297 Set: 4851.165 Check: 0.0 Back: 607.109
INFO - Atoms: 229044/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 22664857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.413 Prop: 27960.607 PropClause: 27393.608 Set: 4894.58 Check: 0.0 Back: 613.334
INFO - Atoms: 228658/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 22893249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.426 Prop: 28236.476 PropClause: 27663.857 Set: 4937.173 Check: 0.0 Back: 619.486
INFO - Atoms: 228392/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 23121259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 28500.712 PropClause: 27922.458 Set: 4980.163 Check: 0.0 Back: 625.632
INFO - Atoms: 228010/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 23348947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.456 Prop: 28776.26 PropClause: 28192.395 Set: 5023.369 Check: 0.0 Back: 631.901
INFO - Atoms: 227688/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 23576313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.469 Prop: 29038.727 PropClause: 28449.315 Set: 5066.349 Check: 0.0 Back: 638.137
INFO - Atoms: 227366/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 23803419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 29315.546 PropClause: 28720.611 Set: 5108.577 Check: 0.0 Back: 644.214
INFO - Atoms: 227106/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 24030139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.497 Prop: 29574.705 PropClause: 28974.136 Set: 5151.155 Check: 0.0 Back: 650.355
INFO - Atoms: 226720/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 24256535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.511 Prop: 29844.789 PropClause: 29238.661 Set: 5193.237 Check: 0.0 Back: 656.617
INFO - Atoms: 226396/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 24482609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.525 Prop: 30096.193 PropClause: 29484.499 Set: 5235.553 Check: 0.0 Back: 662.771
INFO - Atoms: 226074/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 24708423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.539 Prop: 30354.089 PropClause: 29736.887 Set: 5276.8 Check: 0.0 Back: 668.818
INFO - Atoms: 225814/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 24933851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.555 Prop: 30608.287 PropClause: 29985.532 Set: 5319.123 Check: 0.0 Back: 674.816
INFO - Atoms: 225428/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 25159021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.57 Prop: 30884.966 PropClause: 30256.659 Set: 5361.568 Check: 0.0 Back: 680.87
INFO - Atoms: 225170/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 25383801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.585 Prop: 31144.773 PropClause: 30510.907 Set: 5404.805 Check: 0.0 Back: 687.015
INFO - Atoms: 224780/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 25608325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 31414.972 PropClause: 30775.581 Set: 5447.197 Check: 0.0 Back: 693.171
INFO - Atoms: 224524/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 25832461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.612 Prop: 31670.05 PropClause: 31025.155 Set: 5489.664 Check: 0.0 Back: 699.206
INFO - Atoms: 224136/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 26056275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.628 Prop: 31937.809 PropClause: 31287.385 Set: 5531.154 Check: 0.0 Back: 705.208
INFO - Atoms: 223814/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 26279920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.654 Prop: 32193.997 PropClause: 31538.063 Set: 5573.755 Check: 0.0 Back: 711.261
INFO - Atoms: 223645/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 26503307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 32463.341 PropClause: 31801.966 Set: 5615.926 Check: 0.0 Back: 717.35
INFO - Atoms: 223387/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 26726306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.681 Prop: 32717.498 PropClause: 32050.684 Set: 5657.5 Check: 0.0 Back: 723.307
INFO - Atoms: 222999/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 26949047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.695 Prop: 32982.453 PropClause: 32310.169 Set: 5699.178 Check: 0.0 Back: 729.286
INFO - Atoms: 222741/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 27171402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.71 Prop: 33295.848 PropClause: 32617.142 Set: 5754.156 Check: 0.0 Back: 735.382
INFO - Atoms: 222355/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 27393497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 33551.783 PropClause: 32867.643 Set: 5795.248 Check: 0.0 Back: 741.018
INFO - Atoms: 222095/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 27615204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 33794.216 PropClause: 33104.653 Set: 5836.82 Check: 0.0 Back: 746.931
INFO - Atoms: 221707/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 27836655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.752 Prop: 34048.433 PropClause: 33353.432 Set: 5877.762 Check: 0.0 Back: 752.838
INFO - Atoms: 221451/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 28057718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.766 Prop: 34297.672 PropClause: 33597.312 Set: 5919.503 Check: 0.0 Back: 758.873
INFO - Atoms: 221063/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 28278521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.781 Prop: 34558.393 PropClause: 33852.607 Set: 6007.279 Check: 0.0 Back: 764.798
INFO - Atoms: 220803/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 28498936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.797 Prop: 34815.234 PropClause: 34103.969 Set: 6049.898 Check: 0.0 Back: 770.702
INFO - Atoms: 220415/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 28719093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.813 Prop: 35080.895 PropClause: 34364.198 Set: 6091.01 Check: 0.0 Back: 776.606
INFO - Atoms: 220157/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 28938864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 35331.959 PropClause: 34609.819 Set: 6132.824 Check: 0.0 Back: 782.663
INFO - Atoms: 219771/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 29158377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.843 Prop: 35599.621 PropClause: 34872.083 Set: 6173.895 Check: 0.0 Back: 788.532
INFO - Atoms: 219513/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 29377502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 35848.142 PropClause: 35115.233 Set: 6215.478 Check: 0.0 Back: 794.463
INFO - Atoms: 219125/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 29596369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 36118.677 PropClause: 35380.341 Set: 6257.15 Check: 0.0 Back: 800.329
INFO - Atoms: 218867/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 29814846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.887 Prop: 36367.929 PropClause: 35624.226 Set: 6336.145 Check: 0.0 Back: 806.203
INFO - Atoms: 218477/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 30033065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.901 Prop: 36621.564 PropClause: 35872.511 Set: 6376.58 Check: 0.0 Back: 812.013
INFO - Atoms: 218219/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 30250898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.918 Prop: 36860.528 PropClause: 36106.108 Set: 6417.405 Check: 0.0 Back: 817.923
INFO - Atoms: 217833/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 30468407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.933 Prop: 37120.499 PropClause: 36360.43 Set: 6460.225 Check: 0.0 Back: 823.757
INFO - Atoms: 217509/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 30685594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 37356.588 PropClause: 36591.237 Set: 6499.902 Check: 0.0 Back: 829.616
INFO - Atoms: 217187/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 30902521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.997 Prop: 37604.976 PropClause: 36834.281 Set: 6540.565 Check: 0.0 Back: 835.39
INFO - Atoms: 216927/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 31119062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.006 Prop: 37850.171 PropClause: 37074.137 Set: 6581.79 Check: 0.0 Back: 841.178
INFO - Atoms: 216541/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 31335345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.015 Prop: 38106.73 PropClause: 37325.417 Set: 6676.828 Check: 0.0 Back: 846.991
INFO - Atoms: 216283/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 31551238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.025 Prop: 38353.139 PropClause: 37566.502 Set: 6717.34 Check: 0.0 Back: 852.746
INFO - Atoms: 215893/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 31766809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 38609.565 PropClause: 37817.653 Set: 6757.603 Check: 0.0 Back: 858.568
INFO - Atoms: 215571/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 31982056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.044 Prop: 38857.367 PropClause: 38060.178 Set: 6797.915 Check: 0.0 Back: 864.325
INFO - Atoms: 215247/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 32197047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.052 Prop: 39120.274 PropClause: 38317.73 Set: 6838.805 Check: 0.0 Back: 870.076
INFO - Atoms: 214991/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 32411650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.063 Prop: 39363.519 PropClause: 38555.697 Set: 6879.585 Check: 0.0 Back: 875.837
INFO - Atoms: 214603/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 32625929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 39627.765 PropClause: 38814.661 Set: 6920.187 Check: 0.0 Back: 881.542
INFO - Atoms: 214279/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 32839884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.08 Prop: 39867.976 PropClause: 39049.595 Set: 6960.157 Check: 0.0 Back: 887.265
INFO - Atoms: 213955/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 33053575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.089 Prop: 40109.767 PropClause: 39286.117 Set: 6999.428 Check: 0.0 Back: 893.111
INFO - Atoms: 213691/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 33266886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.098 Prop: 40351.255 PropClause: 39522.297 Set: 7040.684 Check: 0.0 Back: 898.89
INFO - Atoms: 213311/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 33479934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.106 Prop: 40613.66 PropClause: 39779.529 Set: 7080.089 Check: 0.0 Back: 904.736
INFO - Atoms: 213048/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 33692597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.116 Prop: 40848.969 PropClause: 40009.635 Set: 7163.906 Check: 0.0 Back: 910.416
INFO - Atoms: 212663/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 33905004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.127 Prop: 41099.887 PropClause: 40255.349 Set: 7203.16 Check: 0.0 Back: 916.026
INFO - Atoms: 212407/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 34117023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 41348.069 PropClause: 40498.296 Set: 7243.262 Check: 0.0 Back: 921.708
INFO - Atoms: 212019/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 34328784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.145 Prop: 41598.603 PropClause: 40743.64 Set: 7282.75 Check: 0.0 Back: 927.206
INFO - Atoms: 211761/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 34540157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.154 Prop: 41835.557 PropClause: 40975.411 Set: 7322.193 Check: 0.0 Back: 932.875
INFO - Atoms: 211373/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 34751270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 42096.209 PropClause: 41230.851 Set: 7362.113 Check: 0.0 Back: 938.536
INFO - Atoms: 211113/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 34961995 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.172 Prop: 42336.151 PropClause: 41465.552 Set: 7402.057 Check: 0.0 Back: 944.239
INFO - Atoms: 210725/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 35172464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 42591.741 PropClause: 41715.958 Set: 7441.375 Check: 0.0 Back: 949.959
INFO - Atoms: 210469/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 35382543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.19 Prop: 42835.748 PropClause: 41954.835 Set: 7481.356 Check: 0.0 Back: 955.554
INFO - Atoms: 210079/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 35592364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 43086.809 PropClause: 42200.772 Set: 7520.256 Check: 0.0 Back: 961.242
INFO - Atoms: 209821/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 35801799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 43319.706 PropClause: 42428.575 Set: 7559.656 Check: 0.0 Back: 966.828
INFO - Atoms: 209435/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 36010967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.214 Prop: 43565.13 PropClause: 42668.837 Set: 7599.057 Check: 0.0 Back: 972.411
INFO - Atoms: 209168/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 36219756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.222 Prop: 43793.681 PropClause: 42892.265 Set: 7637.945 Check: 0.0 Back: 977.985
INFO - Atoms: 208789/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 36428280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.231 Prop: 44041.782 PropClause: 43135.285 Set: 7677.039 Check: 0.0 Back: 983.544
INFO - Atoms: 208524/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 36636423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.241 Prop: 44274.123 PropClause: 43362.529 Set: 7715.685 Check: 0.0 Back: 989.026
INFO - Atoms: 208143/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 36844300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.25 Prop: 44522.483 PropClause: 43605.781 Set: 7828.526 Check: 0.0 Back: 994.514
INFO - Atoms: 207877/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 37051797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.259 Prop: 44755.864 PropClause: 43834.044 Set: 7867.293 Check: 0.0 Back: 999.761
INFO - Atoms: 207497/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 37259031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.269 Prop: 45009.706 PropClause: 44082.793 Set: 7906.587 Check: 0.0 Back: 1005.287
INFO - Atoms: 207234/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 37465882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 45235.93 PropClause: 44303.969 Set: 7945.233 Check: 0.0 Back: 1010.778
INFO - Atoms: 206851/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 37672409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.286 Prop: 45483.893 PropClause: 44546.84 Set: 8028.335 Check: 0.0 Back: 1016.28
INFO - Atoms: 206527/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 37878612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 45715.139 PropClause: 44773.01 Set: 8067.731 Check: 0.0 Back: 1021.764
INFO - Atoms: 206203/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 38084493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.302 Prop: 45957.646 PropClause: 45010.471 Set: 8105.764 Check: 0.0 Back: 1027.308
INFO - Atoms: 205881/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 38290052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.312 Prop: 46185.216 PropClause: 45233.047 Set: 8143.839 Check: 0.0 Back: 1032.81
INFO - Atoms: 205559/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 38495353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 46431.11 PropClause: 45473.909 Set: 8182.932 Check: 0.0 Back: 1038.329
INFO - Atoms: 205301/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 38700266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.33 Prop: 46661.488 PropClause: 45699.283 Set: 8221.026 Check: 0.0 Back: 1043.759
INFO - Atoms: 204913/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 38904919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.338 Prop: 46899.305 PropClause: 45932.05 Set: 8259.079 Check: 0.0 Back: 1049.179
INFO - Atoms: 204653/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 39109186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.347 Prop: 47119.131 PropClause: 46146.867 Set: 8297.559 Check: 0.0 Back: 1054.593
INFO - Atoms: 204267/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 39313193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 47346.057 PropClause: 46368.828 Set: 8334.724 Check: 0.0 Back: 1060.034
INFO - Atoms: 204007/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 39516814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 47562.616 PropClause: 46580.41 Set: 8372.579 Check: 0.0 Back: 1065.413
INFO - Atoms: 203621/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 39720177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.373 Prop: 47795.909 PropClause: 46808.71 Set: 8410.673 Check: 0.0 Back: 1070.708
INFO - Atoms: 203363/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 39923152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.382 Prop: 48019.542 PropClause: 47027.395 Set: 8448.346 Check: 0.0 Back: 1076.056
INFO - Atoms: 202975/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 40125803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 48256.947 PropClause: 47259.869 Set: 8486.099 Check: 0.0 Back: 1081.444
INFO - Atoms: 202651/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 40328130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 48478.451 PropClause: 47476.426 Set: 8524.533 Check: 0.0 Back: 1086.756
INFO - Atoms: 202327/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 40530201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.409 Prop: 48713.993 PropClause: 47707.006 Set: 8562.159 Check: 0.0 Back: 1092.116
INFO - Atoms: 202071/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 40731884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.418 Prop: 48939.853 PropClause: 47927.857 Set: 8600.526 Check: 0.0 Back: 1097.529
INFO - Atoms: 201683/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 40933309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 49169.404 PropClause: 48152.443 Set: 8637.867 Check: 0.0 Back: 1102.9
INFO - Atoms: 201425/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 41134344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.436 Prop: 49396.656 PropClause: 48374.732 Set: 8676.119 Check: 0.0 Back: 1108.292
INFO - Atoms: 201035/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 41335117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 49628.889 PropClause: 48602.023 Set: 8713.183 Check: 0.0 Back: 1113.608
INFO - Atoms: 200773/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 41535506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.453 Prop: 49851.425 PropClause: 48819.639 Set: 8751.126 Check: 0.0 Back: 1119.022
INFO - Atoms: 200389/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 41735637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.462 Prop: 50090.419 PropClause: 49053.732 Set: 8788.895 Check: 0.0 Back: 1124.384
INFO - Atoms: 200131/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 41935380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.471 Prop: 50302.441 PropClause: 49260.839 Set: 8826.076 Check: 0.0 Back: 1129.748
INFO - Atoms: 199743/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 42134865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.48 Prop: 50528.392 PropClause: 49481.896 Set: 8863.207 Check: 0.0 Back: 1134.983
INFO - Atoms: 199485/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 42333964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 50735.76 PropClause: 49684.359 Set: 8899.918 Check: 0.0 Back: 1140.274
INFO - Atoms: 199099/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 42532799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.496 Prop: 50956.055 PropClause: 49899.771 Set: 8936.781 Check: 0.0 Back: 1145.506
INFO - Atoms: 198835/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 42731252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.504 Prop: 51166.908 PropClause: 50105.761 Set: 8973.569 Check: 0.0 Back: 1150.729
INFO - Atoms: 198453/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 42929440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 51396.23 PropClause: 50330.219 Set: 9010.468 Check: 0.0 Back: 1155.919
INFO - Atoms: 198188/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 43127245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.523 Prop: 51612.621 PropClause: 50541.728 Set: 9047.091 Check: 0.0 Back: 1161.134
INFO - Atoms: 197805/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 43324792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.531 Prop: 51836.865 PropClause: 50761.096 Set: 9084.129 Check: 0.0 Back: 1166.34
INFO - Atoms: 197547/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 43521953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.539 Prop: 52051.243 PropClause: 50970.589 Set: 9121.548 Check: 0.0 Back: 1171.572
INFO - Atoms: 197161/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 43718856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.549 Prop: 52279.6 PropClause: 51194.109 Set: 9158.111 Check: 0.0 Back: 1176.806
INFO - Atoms: 196903/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 43915371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.558 Prop: 52488.754 PropClause: 51398.446 Set: 9194.14 Check: 0.0 Back: 1182.06
INFO - Atoms: 196515/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 44111628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.567 Prop: 52708.583 PropClause: 51613.404 Set: 9268.219 Check: 0.0 Back: 1187.208
INFO - Atoms: 196257/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 44307497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 52917.908 PropClause: 51817.932 Set: 9304.878 Check: 0.0 Back: 1192.337
INFO - Atoms: 195869/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 44503108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 53147.375 PropClause: 52042.6 Set: 9341.004 Check: 0.0 Back: 1197.553
INFO - Atoms: 195611/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 44698331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.594 Prop: 53361.168 PropClause: 52251.587 Set: 9377.054 Check: 0.0 Back: 1202.749
INFO - Atoms: 195223/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 44893230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 53576.523 PropClause: 52462.116 Set: 9475.78 Check: 0.0 Back: 1207.947
INFO - Atoms: 194899/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 45087805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.611 Prop: 53779.309 PropClause: 52660.136 Set: 9511.362 Check: 0.0 Back: 1212.943
INFO - Atoms: 194575/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 45282124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.62 Prop: 53991.09 PropClause: 52867.136 Set: 9547.73 Check: 0.0 Back: 1218.097
INFO - Atoms: 194319/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 45476053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 54195.441 PropClause: 53066.737 Set: 9583.748 Check: 0.0 Back: 1223.21
INFO - Atoms: 193929/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 45669718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.704 Prop: 54409.172 PropClause: 53275.727 Set: 9619.187 Check: 0.0 Back: 1228.232
INFO - Atoms: 193665/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 45863003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.744 Prop: 54613.505 PropClause: 53475.332 Set: 9654.824 Check: 0.0 Back: 1233.337
INFO - Atoms: 193285/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 46056030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.753 Prop: 54826.652 PropClause: 53683.762 Set: 9690.461 Check: 0.0 Back: 1238.432
INFO - Atoms: 193027/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 46248669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.761 Prop: 55035.324 PropClause: 53887.557 Set: 9727.328 Check: 0.0 Back: 1243.448
INFO - Atoms: 192639/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 46441050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.77 Prop: 55256.209 PropClause: 54103.714 Set: 9762.978 Check: 0.0 Back: 1248.509
INFO - Atoms: 192381/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 46633043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.78 Prop: 55464.345 PropClause: 54307.126 Set: 9799.236 Check: 0.0 Back: 1253.66
INFO - Atoms: 191993/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 46824773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 55679.727 PropClause: 54517.801 Set: 9834.646 Check: 0.0 Back: 1258.821
INFO - Atoms: 191730/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 47016120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.799 Prop: 55892.806 PropClause: 54726.129 Set: 9871.155 Check: 0.0 Back: 1263.862
INFO - Atoms: 191347/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 47207207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.807 Prop: 56119.0 PropClause: 54947.603 Set: 9907.337 Check: 0.0 Back: 1268.828
INFO - Atoms: 191087/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 47397906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 56326.632 PropClause: 55150.508 Set: 9942.883 Check: 0.0 Back: 1273.862
INFO - Atoms: 190699/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 47588347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.826 Prop: 56544.06 PropClause: 55363.254 Set: 9978.307 Check: 0.0 Back: 1278.884
INFO - Atoms: 190441/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 47778400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.834 Prop: 56747.372 PropClause: 55561.922 Set: 10013.53 Check: 0.0 Back: 1283.942
INFO - Atoms: 190053/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 47968189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.843 Prop: 56956.231 PropClause: 55766.13 Set: 10048.839 Check: 0.0 Back: 1288.94
INFO - Atoms: 189789/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 48157598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.854 Prop: 57155.74 PropClause: 55960.962 Set: 10139.857 Check: 0.0 Back: 1293.981
INFO - Atoms: 189409/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 48346749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.863 Prop: 57362.616 PropClause: 56163.194 Set: 10174.309 Check: 0.0 Back: 1298.828
INFO - Atoms: 189151/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 48535512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.871 Prop: 57553.746 PropClause: 56349.711 Set: 10208.692 Check: 0.0 Back: 1303.858
INFO - Atoms: 188763/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 48724017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.88 Prop: 57755.741 PropClause: 56547.091 Set: 10242.942 Check: 0.0 Back: 1308.721
INFO - Atoms: 188505/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 48912132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.889 Prop: 57953.766 PropClause: 56740.492 Set: 10277.758 Check: 0.0 Back: 1313.688
INFO - Atoms: 188115/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 49099925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 58157.137 PropClause: 56939.273 Set: 10311.887 Check: 0.0 Back: 1318.646
INFO - Atoms: 187793/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 49287394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.905 Prop: 58353.661 PropClause: 57131.21 Set: 10346.969 Check: 0.0 Back: 1323.577
INFO - Atoms: 187469/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 49474607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.914 Prop: 58565.373 PropClause: 57338.307 Set: 10381.324 Check: 0.0 Back: 1328.524
INFO - Atoms: 187213/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 49661432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 58764.014 PropClause: 57532.359 Set: 10416.435 Check: 0.0 Back: 1333.441
INFO - Atoms: 186825/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 49847997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.931 Prop: 58971.934 PropClause: 57735.695 Set: 10450.858 Check: 0.0 Back: 1338.347
INFO - Atoms: 186565/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 50034176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.94 Prop: 59169.838 PropClause: 57929.04 Set: 10485.241 Check: 0.0 Back: 1343.239
INFO - Atoms: 186179/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 50220097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.949 Prop: 59379.613 PropClause: 58134.272 Set: 10519.822 Check: 0.0 Back: 1348.09
INFO - Atoms: 185921/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 50405628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.958 Prop: 59577.015 PropClause: 58327.103 Set: 10554.526 Check: 0.0 Back: 1352.996
INFO - Atoms: 185531/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 50590901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.967 Prop: 59782.47 PropClause: 58528.014 Set: 10588.517 Check: 0.0 Back: 1357.83
INFO - Atoms: 185273/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 50775786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.977 Prop: 59981.726 PropClause: 58722.555 Set: 10624.528 Check: 0.0 Back: 1362.696
INFO - Atoms: 184885/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 50960413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.985 Prop: 60176.318 PropClause: 58912.637 Set: 10658.394 Check: 0.0 Back: 1367.552
INFO - Atoms: 184627/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 51144654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.993 Prop: 60366.941 PropClause: 59098.667 Set: 10692.813 Check: 0.0 Back: 1372.327
INFO - Atoms: 184241/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 51328635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 60565.795 PropClause: 59293.005 Set: 10727.2 Check: 0.0 Back: 1377.124
INFO - Atoms: 183981/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 51512230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.012 Prop: 60752.566 PropClause: 59475.286 Set: 10760.788 Check: 0.0 Back: 1382.001
INFO - Atoms: 183595/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 51695567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.021 Prop: 60947.89 PropClause: 59666.131 Set: 10793.943 Check: 0.0 Back: 1386.791
INFO - Atoms: 183337/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 51878516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.031 Prop: 61139.409 PropClause: 59853.135 Set: 10828.279 Check: 0.0 Back: 1391.594
INFO - Atoms: 182949/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 52061205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.039 Prop: 61345.575 PropClause: 60054.852 Set: 10862.205 Check: 0.0 Back: 1396.368
INFO - Atoms: 182689/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 52243506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.048 Prop: 61538.678 PropClause: 60243.468 Set: 10969.872 Check: 0.0 Back: 1401.163
INFO - Atoms: 182301/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 52425549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.056 Prop: 61743.167 PropClause: 60443.494 Set: 11003.555 Check: 0.0 Back: 1405.601
INFO - Atoms: 182043/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 52607204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.067 Prop: 61932.608 PropClause: 60628.452 Set: 11037.505 Check: 0.0 Back: 1410.364
INFO - Atoms: 181655/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 52788601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.075 Prop: 62136.722 PropClause: 60827.866 Set: 11073.086 Check: 0.0 Back: 1415.106
INFO - Atoms: 181397/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 52969612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 62321.347 PropClause: 61008.065 Set: 11106.577 Check: 0.0 Back: 1419.857
INFO - Atoms: 181011/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 53150359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.093 Prop: 62517.263 PropClause: 61199.556 Set: 11139.891 Check: 0.0 Back: 1424.574
INFO - Atoms: 180747/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 53330722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.102 Prop: 62698.845 PropClause: 61376.687 Set: 11173.155 Check: 0.0 Back: 1429.311
INFO - Atoms: 180363/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 53510827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.11 Prop: 62893.203 PropClause: 61566.642 Set: 11206.035 Check: 0.0 Back: 1434.029
INFO - Atoms: 180105/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 53690546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.12 Prop: 63075.73 PropClause: 61744.767 Set: 11238.788 Check: 0.0 Back: 1438.736
INFO - Atoms: 179719/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 53870001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 63257.258 PropClause: 61921.884 Set: 11270.92 Check: 0.0 Back: 1443.369
INFO - Atoms: 179455/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 54049074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 63434.237 PropClause: 62094.486 Set: 11303.58 Check: 0.0 Back: 1448.003
INFO - Atoms: 179073/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 54227889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.146 Prop: 63619.218 PropClause: 62275.1 Set: 11336.391 Check: 0.0 Back: 1452.667
INFO - Atoms: 178815/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 54406316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.155 Prop: 63793.629 PropClause: 62445.135 Set: 11368.911 Check: 0.0 Back: 1457.315
INFO - Atoms: 178427/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 54584485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.163 Prop: 63972.771 PropClause: 62619.9 Set: 11401.15 Check: 0.0 Back: 1461.947
INFO - Atoms: 178169/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 54762264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 64149.599 PropClause: 62792.355 Set: 11434.019 Check: 0.0 Back: 1466.592
INFO - Atoms: 177779/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 54939787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.179 Prop: 64336.436 PropClause: 62974.853 Set: 11466.406 Check: 0.0 Back: 1471.188
INFO - Atoms: 177523/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 55116920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.189 Prop: 64520.685 PropClause: 63154.714 Set: 11499.001 Check: 0.0 Back: 1475.79
INFO - Atoms: 177133/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 55293795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 64718.83 PropClause: 63348.392 Set: 11532.289 Check: 0.0 Back: 1480.366
INFO - Atoms: 176875/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 55470282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.209 Prop: 64898.022 PropClause: 63523.245 Set: 11564.628 Check: 0.0 Back: 1484.988
INFO - Atoms: 176487/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 55646511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.218 Prop: 65085.596 PropClause: 63706.467 Set: 11596.531 Check: 0.0 Back: 1489.576
INFO - Atoms: 176229/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 55822352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 65263.072 PropClause: 63879.571 Set: 11629.199 Check: 0.0 Back: 1494.198
INFO - Atoms: 175841/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 55997937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.238 Prop: 65447.266 PropClause: 64059.435 Set: 11661.192 Check: 0.0 Back: 1498.792
INFO - Atoms: 175585/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 56173134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.247 Prop: 65623.659 PropClause: 64231.542 Set: 11692.937 Check: 0.0 Back: 1503.34
INFO - Atoms: 175197/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 56348007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.255 Prop: 65812.313 PropClause: 64415.909 Set: 11725.29 Check: 0.0 Back: 1507.893
INFO - Atoms: 174873/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 56522556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 65990.385 PropClause: 64589.645 Set: 11757.758 Check: 0.0 Back: 1512.52
INFO - Atoms: 174549/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 56696849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 66170.081 PropClause: 64765.063 Set: 11789.354 Check: 0.0 Back: 1517.075
INFO - Atoms: 174293/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 56870754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.282 Prop: 66334.474 PropClause: 64925.211 Set: 11820.473 Check: 0.0 Back: 1521.624
INFO - Atoms: 173905/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 57044401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.289 Prop: 66506.33 PropClause: 65092.832 Set: 11851.516 Check: 0.0 Back: 1526.126
INFO - Atoms: 173647/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 57217660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.298 Prop: 66672.259 PropClause: 65254.51 Set: 11928.842 Check: 0.0 Back: 1530.657
INFO - Atoms: 173259/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 57390661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.307 Prop: 66842.175 PropClause: 65420.2 Set: 11960.112 Check: 0.0 Back: 1535.174
INFO - Atoms: 173001/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 57563272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.315 Prop: 67007.119 PropClause: 65580.92 Set: 11991.387 Check: 0.0 Back: 1539.627
INFO - Atoms: 172611/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 57735625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.324 Prop: 67178.251 PropClause: 65747.842 Set: 12022.625 Check: 0.0 Back: 1544.044
INFO - Atoms: 172353/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 57907592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 67349.127 PropClause: 65914.437 Set: 12054.785 Check: 0.0 Back: 1548.502
INFO - Atoms: 171967/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 58079301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 67527.338 PropClause: 66088.438 Set: 12086.059 Check: 0.0 Back: 1552.997
INFO - Atoms: 171709/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 58250620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 67700.376 PropClause: 66257.29 Set: 12117.263 Check: 0.0 Back: 1557.52
INFO - Atoms: 171319/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 58421681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.359 Prop: 67880.452 PropClause: 66433.162 Set: 12148.818 Check: 0.0 Back: 1561.991
INFO - Atoms: 171061/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 58592356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 68047.335 PropClause: 66595.86 Set: 12180.279 Check: 0.0 Back: 1566.403
INFO - Atoms: 170675/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 58762765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.377 Prop: 68221.341 PropClause: 66765.696 Set: 12210.927 Check: 0.0 Back: 1570.763
INFO - Atoms: 170409/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 58932794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 68389.79 PropClause: 66929.958 Set: 12241.821 Check: 0.0 Back: 1575.158
INFO - Atoms: 170029/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 59102563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 68567.902 PropClause: 67103.886 Set: 12272.513 Check: 0.0 Back: 1579.573
INFO - Atoms: 169769/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 59271944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.402 Prop: 68731.765 PropClause: 67263.604 Set: 12303.592 Check: 0.0 Back: 1583.982
INFO - Atoms: 169381/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 59441067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 68899.79 PropClause: 67427.487 Set: 12334.223 Check: 0.0 Back: 1588.516
INFO - Atoms: 169123/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 59609802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.42 Prop: 69068.478 PropClause: 67592.017 Set: 12365.558 Check: 0.0 Back: 1592.851
INFO - Atoms: 168735/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 59778215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.429 Prop: 69251.122 PropClause: 67770.078 Set: 12398.852 Check: 0.0 Back: 1597.234
INFO - Atoms: 168413/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 59946304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 69410.246 PropClause: 67925.039 Set: 12429.343 Check: 0.0 Back: 1601.665
INFO - Atoms: 168089/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 60114135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.446 Prop: 69581.079 PropClause: 68091.745 Set: 12459.761 Check: 0.0 Back: 1605.996
INFO - Atoms: 167831/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 60281578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 69750.873 PropClause: 68257.419 Set: 12490.652 Check: 0.0 Back: 1610.351
INFO - Atoms: 167443/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 60448763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 69917.675 PropClause: 68420.104 Set: 12520.798 Check: 0.0 Back: 1614.622
INFO - Atoms: 167185/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 60615562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 70080.591 PropClause: 68578.929 Set: 12551.226 Check: 0.0 Back: 1618.917
INFO - Atoms: 166799/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 60782103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.479 Prop: 70257.991 PropClause: 68752.254 Set: 12581.723 Check: 0.0 Back: 1623.194
INFO - Atoms: 166541/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 60948256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 70428.001 PropClause: 68918.122 Set: 12613.112 Check: 0.0 Back: 1627.483
INFO - Atoms: 166153/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 61114085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.498 Prop: 70604.616 PropClause: 69090.683 Set: 12643.911 Check: 0.0 Back: 1631.844
INFO - Atoms: 165829/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 61279592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.506 Prop: 70763.637 PropClause: 69245.651 Set: 12673.895 Check: 0.0 Back: 1636.137
INFO - Atoms: 165507/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 61444834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 70934.946 PropClause: 69412.895 Set: 12703.604 Check: 0.0 Back: 1640.32
INFO - Atoms: 165242/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 61609695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.522 Prop: 71100.778 PropClause: 69574.676 Set: 12733.794 Check: 0.0 Back: 1644.559
INFO - Atoms: 164861/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 61774232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.53 Prop: 71274.316 PropClause: 69744.153 Set: 12763.962 Check: 0.0 Back: 1648.869
INFO - Atoms: 164537/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 61938445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 71434.442 PropClause: 69900.254 Set: 12793.58 Check: 0.0 Back: 1653.144
INFO - Atoms: 164213/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 62102402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 71602.624 PropClause: 70064.389 Set: 12823.823 Check: 0.0 Back: 1657.393
INFO - Atoms: 163957/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 62265971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 71761.303 PropClause: 70219.071 Set: 12853.527 Check: 0.0 Back: 1661.662
INFO - Atoms: 163569/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 62429282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 71927.105 PropClause: 70380.889 Set: 12883.316 Check: 0.0 Back: 1665.883
INFO - Atoms: 163311/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 62592205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.572 Prop: 72085.884 PropClause: 70535.605 Set: 12913.262 Check: 0.0 Back: 1670.102
INFO - Atoms: 162923/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 62754870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.581 Prop: 72249.284 PropClause: 70695.017 Set: 12942.531 Check: 0.0 Back: 1674.284
INFO - Atoms: 162665/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 62917145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.59 Prop: 72404.383 PropClause: 70846.145 Set: 12971.985 Check: 0.0 Back: 1678.526
INFO - Atoms: 162275/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 63079162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.599 Prop: 72561.047 PropClause: 70998.839 Set: 13038.382 Check: 0.0 Back: 1682.741
INFO - Atoms: 162017/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 63240791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 72713.754 PropClause: 71147.594 Set: 13067.353 Check: 0.0 Back: 1686.918
INFO - Atoms: 161629/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 63402164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 72868.082 PropClause: 71297.974 Set: 13095.962 Check: 0.0 Back: 1691.038
INFO - Atoms: 161373/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 63563149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.624 Prop: 73018.617 PropClause: 71444.567 Set: 13125.738 Check: 0.0 Back: 1695.152
INFO - Atoms: 160985/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 63723876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.633 Prop: 73179.511 PropClause: 71601.528 Set: 13155.085 Check: 0.0 Back: 1699.309
INFO - Atoms: 160727/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 63884213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.642 Prop: 73333.057 PropClause: 71751.144 Set: 13183.821 Check: 0.0 Back: 1703.45
INFO - Atoms: 160337/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 64044292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.65 Prop: 73492.201 PropClause: 71906.366 Set: 13212.991 Check: 0.0 Back: 1707.578
INFO - Atoms: 160079/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 64203985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.659 Prop: 73657.483 PropClause: 72067.479 Set: 13243.768 Check: 0.0 Back: 1711.694
INFO - Atoms: 159693/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 64363420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.666 Prop: 73817.19 PropClause: 72223.277 Set: 13272.716 Check: 0.0 Back: 1715.779
INFO - Atoms: 159435/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 64522467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 73975.203 PropClause: 72377.371 Set: 13301.917 Check: 0.0 Back: 1719.889
INFO - Atoms: 159047/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 64681254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.681 Prop: 74134.845 PropClause: 72533.094 Set: 13331.072 Check: 0.0 Back: 1723.976
INFO - Atoms: 158787/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 64839655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.691 Prop: 74286.637 PropClause: 72680.98 Set: 13359.897 Check: 0.0 Back: 1728.071
INFO - Atoms: 158401/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 64997796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 74450.727 PropClause: 72841.168 Set: 13388.743 Check: 0.0 Back: 1732.137
INFO - Atoms: 158141/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 65155549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.711 Prop: 74606.563 PropClause: 72993.147 Set: 13417.395 Check: 0.0 Back: 1736.227
INFO - Atoms: 157753/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 65312980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.719 Prop: 74766.27 PropClause: 73148.985 Set: 13445.782 Check: 0.0 Back: 1740.275
INFO - Atoms: 157431/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 65470089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.729 Prop: 74917.929 PropClause: 73296.79 Set: 13474.274 Check: 0.0 Back: 1744.309
INFO - Atoms: 157109/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 65626940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.738 Prop: 75071.107 PropClause: 73446.132 Set: 13539.861 Check: 0.0 Back: 1748.342
INFO - Atoms: 156851/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 65783401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.747 Prop: 75211.944 PropClause: 73583.131 Set: 13567.919 Check: 0.0 Back: 1752.371
INFO - Atoms: 156461/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 65938010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.755 Prop: 75365.354 PropClause: 73732.584 Set: 13597.017 Check: 0.0 Back: 1756.413
INFO - Atoms: 154609/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 66092233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 75503.092 PropClause: 73866.549 Set: 13624.171 Check: 0.0 Back: 1760.445
INFO - Atoms: 154223/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 66246196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.772 Prop: 75647.554 PropClause: 74007.252 Set: 13651.299 Check: 0.0 Back: 1764.371
INFO - Atoms: 153963/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 66399773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.781 Prop: 75784.556 PropClause: 74140.492 Set: 13678.264 Check: 0.0 Back: 1768.295
INFO - Atoms: 153577/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 66553092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 75930.947 PropClause: 74283.143 Set: 13705.626 Check: 0.0 Back: 1772.192
INFO - Atoms: 153319/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 66706023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 76070.248 PropClause: 74418.68 Set: 13732.628 Check: 0.0 Back: 1776.133
INFO - Atoms: 152931/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 66858696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.807 Prop: 76217.653 PropClause: 74562.324 Set: 13759.66 Check: 0.0 Back: 1780.037
INFO - Atoms: 152673/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 67010979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.815 Prop: 76357.508 PropClause: 74698.461 Set: 13786.695 Check: 0.0 Back: 1783.928
INFO - Atoms: 152283/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 67163004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.824 Prop: 76505.365 PropClause: 74842.606 Set: 13813.848 Check: 0.0 Back: 1787.821
INFO - Atoms: 152025/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 67314643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 76643.712 PropClause: 74977.208 Set: 13888.839 Check: 0.0 Back: 1791.674
INFO - Atoms: 151639/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 67466024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.842 Prop: 76789.034 PropClause: 75118.815 Set: 13916.059 Check: 0.0 Back: 1795.537
INFO - Atoms: 151381/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 67617017 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.85 Prop: 76928.894 PropClause: 75254.978 Set: 13943.333 Check: 0.0 Back: 1799.397
INFO - Atoms: 150993/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 67767752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.86 Prop: 77077.966 PropClause: 75400.337 Set: 13970.354 Check: 0.0 Back: 1803.249
INFO - Atoms: 150735/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 67918099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 77225.326 PropClause: 75543.991 Set: 13998.07 Check: 0.0 Back: 1807.083
INFO - Atoms: 150347/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 68068188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.877 Prop: 77371.693 PropClause: 75686.662 Set: 14024.715 Check: 0.0 Back: 1810.927
INFO - Atoms: 150089/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 68217887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.886 Prop: 77510.558 PropClause: 75821.643 Set: 14053.115 Check: 0.0 Back: 1814.742
INFO - Atoms: 149699/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 68367323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 77653.045 PropClause: 75960.469 Set: 14079.968 Check: 0.0 Back: 1818.557
INFO - Atoms: 149436/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 68516378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.906 Prop: 77790.448 PropClause: 76094.221 Set: 14106.847 Check: 0.0 Back: 1822.433
INFO - Atoms: 149055/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 68665167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.914 Prop: 77923.627 PropClause: 76223.769 Set: 14132.732 Check: 0.0 Back: 1826.263
INFO - Atoms: 148789/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 68813574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.923 Prop: 78053.78 PropClause: 76350.272 Set: 14159.314 Check: 0.0 Back: 1830.068
INFO - Atoms: 148407/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 68961725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 78190.03 PropClause: 76482.904 Set: 14185.561 Check: 0.0 Back: 1833.871
INFO - Atoms: 148151/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 69109488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.94 Prop: 78326.955 PropClause: 76616.21 Set: 14212.642 Check: 0.0 Back: 1837.591
INFO - Atoms: 147763/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 69256991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 78463.696 PropClause: 76749.31 Set: 14239.001 Check: 0.0 Back: 1841.333
INFO - Atoms: 147503/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 69404108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.957 Prop: 78595.374 PropClause: 76877.398 Set: 14265.112 Check: 0.0 Back: 1845.122
INFO - Atoms: 147117/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 69550965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 78734.286 PropClause: 77012.741 Set: 14290.981 Check: 0.0 Back: 1848.865
INFO - Atoms: 146857/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 69697434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.976 Prop: 78872.341 PropClause: 77147.029 Set: 14318.718 Check: 0.0 Back: 1852.6
INFO - Atoms: 146469/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 69843645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.984 Prop: 79012.299 PropClause: 77283.411 Set: 14345.078 Check: 0.0 Back: 1856.391
INFO - Atoms: 146211/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 69989470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.992 Prop: 79144.261 PropClause: 77411.813 Set: 14370.711 Check: 0.0 Back: 1860.074
INFO - Atoms: 145825/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 70135037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.0 Prop: 79279.799 PropClause: 77543.783 Set: 14396.554 Check: 0.0 Back: 1863.771
INFO - Atoms: 145567/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 70280216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 79412.961 PropClause: 77673.392 Set: 14422.489 Check: 0.0 Back: 1867.457
INFO - Atoms: 145179/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 70425135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.019 Prop: 79552.464 PropClause: 77809.333 Set: 14448.197 Check: 0.0 Back: 1871.194
INFO - Atoms: 144919/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 70569666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.027 Prop: 79682.56 PropClause: 77935.878 Set: 14474.109 Check: 0.0 Back: 1874.873
INFO - Atoms: 144531/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 70713941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.037 Prop: 79820.066 PropClause: 78069.847 Set: 14499.838 Check: 0.0 Back: 1878.542
INFO - Atoms: 144275/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 70857828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.046 Prop: 79952.968 PropClause: 78199.216 Set: 14525.859 Check: 0.0 Back: 1882.207
INFO - Atoms: 143887/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 71001457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 80088.261 PropClause: 78330.978 Set: 14551.259 Check: 0.0 Back: 1885.853
INFO - Atoms: 143629/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 71144696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.064 Prop: 80220.307 PropClause: 78459.513 Set: 14577.259 Check: 0.0 Back: 1889.494
INFO - Atoms: 143239/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 71287677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.073 Prop: 80355.022 PropClause: 78590.727 Set: 14602.805 Check: 0.0 Back: 1893.135
INFO - Atoms: 142981/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 71430272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 80477.293 PropClause: 78709.487 Set: 14628.212 Check: 0.0 Back: 1896.725
INFO - Atoms: 142595/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 71572607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.088 Prop: 80604.021 PropClause: 78832.74 Set: 14653.422 Check: 0.0 Back: 1900.274
INFO - Atoms: 142335/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 71714554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.097 Prop: 80729.598 PropClause: 78954.841 Set: 14678.388 Check: 0.0 Back: 1903.857
INFO - Atoms: 141947/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 71856243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.107 Prop: 80856.662 PropClause: 79078.433 Set: 14703.555 Check: 0.0 Back: 1907.419
INFO - Atoms: 141689/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 71997544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 80979.766 PropClause: 79198.07 Set: 14728.803 Check: 0.0 Back: 1910.985
INFO - Atoms: 141301/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 72138587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.13 Prop: 81105.761 PropClause: 79320.622 Set: 14753.313 Check: 0.0 Back: 1914.531
INFO - Atoms: 141043/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 72279242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.138 Prop: 81226.711 PropClause: 79438.13 Set: 14778.069 Check: 0.0 Back: 1918.062
INFO - Atoms: 140655/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 72419639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.146 Prop: 81353.59 PropClause: 79561.573 Set: 14802.852 Check: 0.0 Back: 1921.576
INFO - Atoms: 140397/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 72559650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 81475.097 PropClause: 79679.661 Set: 14827.605 Check: 0.0 Back: 1925.106
INFO - Atoms: 140011/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 72699403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 81607.743 PropClause: 79808.862 Set: 14852.733 Check: 0.0 Back: 1928.617
INFO - Atoms: 139753/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 72838768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 81730.787 PropClause: 79928.489 Set: 14877.523 Check: 0.0 Back: 1932.19
INFO - Atoms: 139365/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 72977873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 81858.072 PropClause: 80052.348 Set: 14902.098 Check: 0.0 Back: 1935.705
INFO - Atoms: 139105/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 73116592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.188 Prop: 81977.669 PropClause: 80168.568 Set: 14926.996 Check: 0.0 Back: 1939.223
INFO - Atoms: 138719/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 73255053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.196 Prop: 82102.697 PropClause: 80290.206 Set: 14951.293 Check: 0.0 Back: 1942.706
INFO - Atoms: 138461/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 73393124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.205 Prop: 82223.546 PropClause: 80407.686 Set: 14975.485 Check: 0.0 Back: 1946.14
INFO - Atoms: 138071/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 73530939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.214 Prop: 82354.686 PropClause: 80535.437 Set: 15000.085 Check: 0.0 Back: 1949.591
INFO - Atoms: 137815/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 73668364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.224 Prop: 82473.845 PropClause: 80651.217 Set: 15024.268 Check: 0.0 Back: 1953.051
INFO - Atoms: 137425/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 73805531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.233 Prop: 82598.713 PropClause: 80772.703 Set: 15048.447 Check: 0.0 Back: 1956.565
INFO - Atoms: 137167/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 73942310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 82724.511 PropClause: 80895.134 Set: 15073.031 Check: 0.0 Back: 1960.029
INFO - Atoms: 136779/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 74077237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.25 Prop: 82843.803 PropClause: 81011.113 Set: 15096.568 Check: 0.0 Back: 1963.484
INFO - Atoms: 134927/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 74211776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 82959.207 PropClause: 81123.205 Set: 15172.599 Check: 0.0 Back: 1966.864
INFO - Atoms: 134539/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 74346059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.266 Prop: 83073.269 PropClause: 81233.951 Set: 15196.097 Check: 0.0 Back: 1970.216
INFO - Atoms: 134283/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 74479954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.274 Prop: 83184.914 PropClause: 81342.318 Set: 15219.308 Check: 0.0 Back: 1973.581
INFO - Atoms: 133895/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 74613591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.284 Prop: 83298.304 PropClause: 81452.433 Set: 15242.687 Check: 0.0 Back: 1976.964
INFO - Atoms: 133637/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 74746838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.292 Prop: 83410.352 PropClause: 81561.219 Set: 15266.189 Check: 0.0 Back: 1980.298
INFO - Atoms: 133247/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 74879827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 83521.679 PropClause: 81669.25 Set: 15289.244 Check: 0.0 Back: 1983.622
INFO - Atoms: 132989/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 75012430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.31 Prop: 83627.682 PropClause: 81772.004 Set: 15312.447 Check: 0.0 Back: 1986.977
INFO - Atoms: 132603/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 75144773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.318 Prop: 83745.489 PropClause: 81886.545 Set: 15335.883 Check: 0.0 Back: 1990.296
INFO - Atoms: 132343/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 75276730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.325 Prop: 83855.277 PropClause: 81993.085 Set: 15359.361 Check: 0.0 Back: 1993.577
INFO - Atoms: 131957/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 75406835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.334 Prop: 83972.167 PropClause: 82106.77 Set: 15382.096 Check: 0.0 Back: 1996.87
INFO - Atoms: 130105/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 75536550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.343 Prop: 84079.238 PropClause: 82210.644 Set: 15404.739 Check: 0.0 Back: 2000.128
INFO - Atoms: 129715/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 75666009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.351 Prop: 84190.73 PropClause: 82318.964 Set: 15427.123 Check: 0.0 Back: 2003.371
INFO - Atoms: 129459/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 75795078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.359 Prop: 84295.019 PropClause: 82419.645 Set: 15452.106 Check: 0.0 Back: 2006.575
INFO - Atoms: 129069/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 75923889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.367 Prop: 84400.488 PropClause: 82521.947 Set: 15474.322 Check: 0.0 Back: 2009.831
INFO - Atoms: 128811/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 76052314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.376 Prop: 84500.968 PropClause: 82619.267 Set: 15496.693 Check: 0.0 Back: 2013.004
INFO - Atoms: 128425/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 76180479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.383 Prop: 84607.357 PropClause: 82722.481 Set: 15518.673 Check: 0.0 Back: 2016.178
INFO - Atoms: 128165/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 76308258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.39 Prop: 84711.026 PropClause: 82823.0 Set: 15540.557 Check: 0.0 Back: 2019.381
INFO - Atoms: 127779/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 76435779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 84817.427 PropClause: 82926.259 Set: 15562.63 Check: 0.0 Back: 2022.564
INFO - Atoms: 127521/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 76562912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 84922.343 PropClause: 83028.029 Set: 15584.956 Check: 0.0 Back: 2025.756
INFO - Atoms: 127133/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 76689785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.415 Prop: 85026.07 PropClause: 83128.65 Set: 15606.686 Check: 0.0 Back: 2029.01
INFO - Atoms: 126873/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 76816272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.425 Prop: 85129.611 PropClause: 83229.064 Set: 15666.9 Check: 0.0 Back: 2032.16
INFO - Atoms: 126487/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 76942501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.432 Prop: 85231.441 PropClause: 83327.814 Set: 15688.617 Check: 0.0 Back: 2035.291
INFO - Atoms: 126229/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 77068340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 85333.576 PropClause: 83426.862 Set: 15710.231 Check: 0.0 Back: 2038.39
INFO - Atoms: 125839/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 77193921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.448 Prop: 85437.282 PropClause: 83527.468 Set: 15731.989 Check: 0.0 Back: 2041.533
INFO - Atoms: 125581/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 77319114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.455 Prop: 85532.069 PropClause: 83619.151 Set: 15753.634 Check: 0.0 Back: 2044.67
INFO - Atoms: 125193/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 77444049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.462 Prop: 85635.074 PropClause: 83719.085 Set: 15774.903 Check: 0.0 Back: 2047.754
INFO - Atoms: 124935/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 77568598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.471 Prop: 85728.523 PropClause: 83809.464 Set: 15796.24 Check: 0.0 Back: 2050.889
INFO - Atoms: 124549/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 77692887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.48 Prop: 85828.878 PropClause: 83906.777 Set: 15817.361 Check: 0.0 Back: 2053.985
INFO - Atoms: 124289/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 77816788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.489 Prop: 85924.173 PropClause: 83999.008 Set: 15838.529 Check: 0.0 Back: 2057.041
INFO - Atoms: 123901/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 77940433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.496 Prop: 86018.567 PropClause: 84090.393 Set: 15859.309 Check: 0.0 Back: 2060.103
INFO - Atoms: 123645/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 78063688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 86113.437 PropClause: 84182.221 Set: 15880.619 Check: 0.0 Back: 2063.165
INFO - Atoms: 123255/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 78186687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.512 Prop: 86212.399 PropClause: 84278.116 Set: 15901.524 Check: 0.0 Back: 2066.234
INFO - Atoms: 122999/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 78309298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.52 Prop: 86304.291 PropClause: 84367.005 Set: 15922.312 Check: 0.0 Back: 2069.272
INFO - Atoms: 122611/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 78431651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.527 Prop: 86403.367 PropClause: 84463.073 Set: 15943.299 Check: 0.0 Back: 2072.452
INFO - Atoms: 122353/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 78553614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.536 Prop: 86496.638 PropClause: 84553.354 Set: 15999.769 Check: 0.0 Back: 2075.582
INFO - Atoms: 121963/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 78675319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.544 Prop: 86590.53 PropClause: 84644.257 Set: 16020.541 Check: 0.0 Back: 2078.581
INFO - Atoms: 121705/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 78796636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.553 Prop: 86680.547 PropClause: 84731.295 Set: 16041.109 Check: 0.0 Back: 2081.579
INFO - Atoms: 121317/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 78917697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.56 Prop: 86775.629 PropClause: 84823.417 Set: 16061.484 Check: 0.0 Back: 2084.552
INFO - Atoms: 121061/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 79038368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.57 Prop: 86867.716 PropClause: 84912.529 Set: 16082.108 Check: 0.0 Back: 2087.522
INFO - Atoms: 120671/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 79158783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.578 Prop: 86961.32 PropClause: 85003.178 Set: 16102.43 Check: 0.0 Back: 2090.512
INFO - Atoms: 120415/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 79278808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.588 Prop: 87050.948 PropClause: 85089.823 Set: 16122.634 Check: 0.0 Back: 2093.51
INFO - Atoms: 120025/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 79398577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.596 Prop: 87144.445 PropClause: 85180.396 Set: 16192.466 Check: 0.0 Back: 2096.484
INFO - Atoms: 119769/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 79517956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.603 Prop: 87230.168 PropClause: 85263.183 Set: 16212.644 Check: 0.0 Back: 2099.376
INFO - Atoms: 119379/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 79637077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.612 Prop: 87325.657 PropClause: 85355.779 Set: 16232.648 Check: 0.0 Back: 2102.326
INFO - Atoms: 119121/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 79755812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.62 Prop: 87415.252 PropClause: 85442.458 Set: 16252.685 Check: 0.0 Back: 2105.249
INFO - Atoms: 118735/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 79874287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.628 Prop: 87507.827 PropClause: 85532.129 Set: 16272.907 Check: 0.0 Back: 2108.189
INFO - Atoms: 118475/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 79992376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.638 Prop: 87591.424 PropClause: 85612.833 Set: 16292.628 Check: 0.0 Back: 2111.143
INFO - Atoms: 118089/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 80110207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.645 Prop: 87674.027 PropClause: 85692.566 Set: 16312.243 Check: 0.0 Back: 2114.129
INFO - Atoms: 117831/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 80227650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.653 Prop: 87756.001 PropClause: 85771.708 Set: 16331.911 Check: 0.0 Back: 2117.029
INFO - Atoms: 117443/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 80344833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.662 Prop: 87843.574 PropClause: 85856.425 Set: 16351.599 Check: 0.0 Back: 2119.943
INFO - Atoms: 117183/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 80461630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.679 Prop: 87925.847 PropClause: 85935.826 Set: 16371.358 Check: 0.0 Back: 2122.85
INFO - Atoms: 116797/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 80578169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.687 Prop: 88009.98 PropClause: 86017.114 Set: 16390.771 Check: 0.0 Back: 2125.725
INFO - Atoms: 116539/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 80694320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.696 Prop: 88090.008 PropClause: 86094.3 Set: 16410.422 Check: 0.0 Back: 2128.555
INFO - Atoms: 116151/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 80810213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.705 Prop: 88176.303 PropClause: 86177.741 Set: 16429.95 Check: 0.0 Back: 2131.428
INFO - Atoms: 115893/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 80925716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.714 Prop: 88260.018 PropClause: 86258.635 Set: 16449.376 Check: 0.0 Back: 2134.236
INFO - Atoms: 115503/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 81040961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.721 Prop: 88346.322 PropClause: 86342.107 Set: 16468.758 Check: 0.0 Back: 2137.035
INFO - Atoms: 115245/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 81155818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.73 Prop: 88430.289 PropClause: 86423.207 Set: 16522.47 Check: 0.0 Back: 2139.887
INFO - Atoms: 114857/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 81270417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.738 Prop: 88516.539 PropClause: 86506.628 Set: 16541.888 Check: 0.0 Back: 2142.679
INFO - Atoms: 114599/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 81384630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.746 Prop: 88600.481 PropClause: 86587.752 Set: 16561.318 Check: 0.0 Back: 2145.494
INFO - Atoms: 114213/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 81498583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.754 Prop: 88687.737 PropClause: 86672.22 Set: 16580.421 Check: 0.0 Back: 2148.251
INFO - Atoms: 113953/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 81612150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.762 Prop: 88770.965 PropClause: 86752.641 Set: 16599.785 Check: 0.0 Back: 2151.061
INFO - Atoms: 113567/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 81725459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.771 Prop: 88859.796 PropClause: 86838.682 Set: 16618.847 Check: 0.0 Back: 2153.853
INFO - Atoms: 113309/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 81838378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.779 Prop: 88938.274 PropClause: 86914.362 Set: 16638.108 Check: 0.0 Back: 2156.602
INFO - Atoms: 112919/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 81951039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.787 Prop: 89019.574 PropClause: 86992.886 Set: 16656.895 Check: 0.0 Back: 2159.357
INFO - Atoms: 112661/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 82063312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.798 Prop: 89100.841 PropClause: 87071.382 Set: 16675.984 Check: 0.0 Back: 2162.103
INFO - Atoms: 112273/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 82175327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.809 Prop: 89186.579 PropClause: 87154.377 Set: 16694.956 Check: 0.0 Back: 2164.951
INFO - Atoms: 112015/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 82286956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.819 Prop: 89268.674 PropClause: 87233.721 Set: 16713.87 Check: 0.0 Back: 2167.693
INFO - Atoms: 111629/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 82398325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.827 Prop: 89347.007 PropClause: 87309.319 Set: 16732.516 Check: 0.0 Back: 2170.419
INFO - Atoms: 111369/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 82509308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.836 Prop: 89423.495 PropClause: 87383.086 Set: 16751.158 Check: 0.0 Back: 2173.52
INFO - Atoms: 110983/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 82620031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.845 Prop: 89504.446 PropClause: 87461.328 Set: 16769.62 Check: 0.0 Back: 2176.23
INFO - Atoms: 110723/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 82730366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.853 Prop: 89577.959 PropClause: 87532.129 Set: 16788.078 Check: 0.0 Back: 2178.944
INFO - Atoms: 110335/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 82840445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.863 Prop: 89653.927 PropClause: 87605.412 Set: 16806.538 Check: 0.0 Back: 2181.681
INFO - Atoms: 110079/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 82950136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.871 Prop: 89722.913 PropClause: 87671.684 Set: 16824.881 Check: 0.0 Back: 2184.353
INFO - Atoms: 109691/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 83059504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.881 Prop: 89797.215 PropClause: 87743.296 Set: 16843.181 Check: 0.0 Back: 2187.012
INFO - Atoms: 109368/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 83168226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.89 Prop: 89868.628 PropClause: 87812.018 Set: 16861.514 Check: 0.0 Back: 2189.671
INFO - Atoms: 108722/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 83276692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.899 Prop: 89937.556 PropClause: 87878.29 Set: 16879.399 Check: 0.0 Back: 2192.295
INFO - Atoms: 108466/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 83384768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.908 Prop: 90004.777 PropClause: 87942.857 Set: 16897.37 Check: 0.0 Back: 2195.028
INFO - Atoms: 108076/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 83492585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.916 Prop: 90077.101 PropClause: 88012.531 Set: 16915.525 Check: 0.0 Back: 2197.635
INFO - Atoms: 107817/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 83600338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.925 Prop: 90148.716 PropClause: 88081.484 Set: 16933.7 Check: 0.0 Back: 2200.247
INFO - Atoms: 107753/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 83708144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.934 Prop: 90222.398 PropClause: 88152.528 Set: 16951.735 Check: 0.0 Back: 2202.812
INFO - Atoms: 107806/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 83814780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.942 Prop: 90290.051 PropClause: 88217.575 Set: 16969.389 Check: 0.0 Back: 2205.414
INFO - Atoms: 106636/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 83920849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.951 Prop: 90361.873 PropClause: 88286.764 Set: 16987.132 Check: 0.0 Back: 2207.955
INFO - Atoms: 106069/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 84026530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.958 Prop: 90433.648 PropClause: 88355.955 Set: 17005.046 Check: 0.0 Back: 2210.517
INFO - Atoms: 105681/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 84131951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.966 Prop: 90504.157 PropClause: 88423.873 Set: 17022.437 Check: 0.0 Back: 2213.072
INFO - Atoms: 105421/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 84236984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.973 Prop: 90572.645 PropClause: 88489.793 Set: 17039.889 Check: 0.0 Back: 2215.625
INFO - Atoms: 105033/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 84341759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.983 Prop: 90641.296 PropClause: 88555.867 Set: 17057.065 Check: 0.0 Back: 2218.161
INFO - Atoms: 104775/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 84446146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.991 Prop: 90711.45 PropClause: 88623.455 Set: 17074.467 Check: 0.0 Back: 2220.698
INFO - Atoms: 104387/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 84550277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.0 Prop: 90778.911 PropClause: 88688.367 Set: 17091.638 Check: 0.0 Back: 2223.209
INFO - Atoms: 104131/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 84654020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.008 Prop: 90841.004 PropClause: 88747.919 Set: 17108.648 Check: 0.0 Back: 2225.729
INFO - Atoms: 103743/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 84757505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.018 Prop: 90907.121 PropClause: 88811.505 Set: 17125.682 Check: 0.0 Back: 2228.216
INFO - Atoms: 103485/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 84860600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.026 Prop: 90971.934 PropClause: 88873.765 Set: 17142.708 Check: 0.0 Back: 2230.693
INFO - Atoms: 103095/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 84963437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.037 Prop: 91035.528 PropClause: 88934.845 Set: 17159.52 Check: 0.0 Back: 2233.156
INFO - Atoms: 102837/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 85065886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.043 Prop: 91099.492 PropClause: 88996.279 Set: 17176.649 Check: 0.0 Back: 2235.608
INFO - Atoms: 102449/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 85168079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.051 Prop: 91160.659 PropClause: 89054.946 Set: 17193.294 Check: 0.0 Back: 2238.078
INFO - Atoms: 102193/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 85269882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.06 Prop: 91217.634 PropClause: 89109.408 Set: 17210.037 Check: 0.0 Back: 2240.494
INFO - Atoms: 101803/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 85371421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.066 Prop: 91281.217 PropClause: 89170.495 Set: 17226.518 Check: 0.0 Back: 2242.915
INFO - Atoms: 101539/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 85472578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.075 Prop: 91339.143 PropClause: 89225.948 Set: 17243.106 Check: 0.0 Back: 2245.342
INFO - Atoms: 101157/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 85573477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.083 Prop: 91398.82 PropClause: 89283.137 Set: 17296.472 Check: 0.0 Back: 2247.751
INFO - Atoms: 100899/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 85673990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.091 Prop: 91453.78 PropClause: 89335.637 Set: 17312.838 Check: 0.0 Back: 2250.124
INFO - Atoms: 100513/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 85774243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.099 Prop: 91509.766 PropClause: 89389.164 Set: 17329.122 Check: 0.0 Back: 2252.502
INFO - Atoms: 100253/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 85874110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.109 Prop: 91566.52 PropClause: 89443.484 Set: 17345.476 Check: 0.0 Back: 2254.881
INFO - Atoms: 99867/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 85973713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.118 Prop: 91629.683 PropClause: 89504.187 Set: 17361.946 Check: 0.0 Back: 2257.245
INFO - Atoms: 99603/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 86072934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.128 Prop: 91685.817 PropClause: 89557.898 Set: 17378.18 Check: 0.0 Back: 2259.642
INFO - Atoms: 99221/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 86171897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.135 Prop: 91742.436 PropClause: 89612.061 Set: 17394.289 Check: 0.0 Back: 2261.971
INFO - Atoms: 98963/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 86270472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.145 Prop: 91800.967 PropClause: 89668.154 Set: 17410.663 Check: 0.0 Back: 2264.303
INFO - Atoms: 98575/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 86368789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.153 Prop: 91858.758 PropClause: 89723.536 Set: 17426.746 Check: 0.0 Back: 2266.693
INFO - Atoms: 98317/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 86466718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.162 Prop: 91914.417 PropClause: 89776.767 Set: 17477.908 Check: 0.0 Back: 2269.059
INFO - Atoms: 97929/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 86564387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.171 Prop: 91969.223 PropClause: 89829.182 Set: 17493.66 Check: 0.0 Back: 2271.378
INFO - Atoms: 97669/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 86661670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.179 Prop: 92021.402 PropClause: 89878.984 Set: 17509.451 Check: 0.0 Back: 2273.699
INFO - Atoms: 97283/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 86758695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.187 Prop: 92073.718 PropClause: 89928.923 Set: 17525.019 Check: 0.0 Back: 2275.992
INFO - Atoms: 97025/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 86855332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.195 Prop: 92123.165 PropClause: 89976.001 Set: 17540.518 Check: 0.0 Back: 2278.268
INFO - Atoms: 96637/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 86951711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.202 Prop: 92174.817 PropClause: 90025.289 Set: 17555.853 Check: 0.0 Back: 2280.542
INFO - Atoms: 96379/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 87047702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.211 Prop: 92225.477 PropClause: 90073.587 Set: 17571.429 Check: 0.0 Back: 2282.802
INFO - Atoms: 95991/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 87143433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.219 Prop: 92276.2 PropClause: 90121.962 Set: 17586.718 Check: 0.0 Back: 2285.067
INFO - Atoms: 95731/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 87238776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.228 Prop: 92326.542 PropClause: 90169.97 Set: 17602.118 Check: 0.0 Back: 2287.328
INFO - Atoms: 95343/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 87333855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.236 Prop: 92375.291 PropClause: 90216.394 Set: 17617.275 Check: 0.0 Back: 2289.588
INFO - Atoms: 95079/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 87428552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.245 Prop: 92423.598 PropClause: 90262.371 Set: 17632.5 Check: 0.0 Back: 2291.798
INFO - Atoms: 94697/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 87522987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.254 Prop: 92472.696 PropClause: 90309.15 Set: 17647.664 Check: 0.0 Back: 2294.024
INFO - Atoms: 94435/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 87617038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.263 Prop: 92521.822 PropClause: 90355.983 Set: 17662.893 Check: 0.0 Back: 2296.355
INFO - Atoms: 94051/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 87710767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.271 Prop: 92570.048 PropClause: 90401.906 Set: 17677.943 Check: 0.0 Back: 2298.562
INFO - Atoms: 93729/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 87804172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.282 Prop: 92617.147 PropClause: 90446.727 Set: 17692.845 Check: 0.0 Back: 2300.772
INFO - Atoms: 93405/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 87897321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.291 Prop: 92664.553 PropClause: 90491.831 Set: 17707.633 Check: 0.0 Back: 2302.958
INFO - Atoms: 93149/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 87990082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.301 Prop: 92712.097 PropClause: 90537.08 Set: 17722.786 Check: 0.0 Back: 2305.146
INFO - Atoms: 92761/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 88082583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.308 Prop: 92757.782 PropClause: 90580.505 Set: 17737.35 Check: 0.0 Back: 2307.343
INFO - Atoms: 92501/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 88174698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.315 Prop: 92802.16 PropClause: 90622.642 Set: 17751.791 Check: 0.0 Back: 2309.495
INFO - Atoms: 92115/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 88266555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.325 Prop: 92847.76 PropClause: 90665.96 Set: 17766.449 Check: 0.0 Back: 2311.646
INFO - Atoms: 91857/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 3926 Tprops: 11422 Decides: 161267 RSplits: 0
INFO - Times: Expl: 818.525 Prop: 263198.932 PropClause: 14.588 Set: 42342.394 Check: 1049.737 Back: 193.31
INFO - Atoms: 37/2179 Clauses: 500 Axioms: 2179
INFO - CCTimes: iE 1556738 eq 96680737 cc 555012501 setRep 296551153
INFO - Merges: 1541557, cc:3911737
INFO - BVTimes: BB 773959805 BB_DPLL 241102939691 Graph 3647816
INFO - BitBlastingClauses: 1672194 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 88372013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.334 Prop: 92910.96 PropClause: 90726.58 Set: 17786.04 Check: 0.0 Back: 2313.794
INFO - Atoms: 105458/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 88477731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.342 Prop: 92980.514 PropClause: 90793.52 Set: 17805.137 Check: 0.0 Back: 2316.278
INFO - Atoms: 105718/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 88581529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.351 Prop: 93047.94 PropClause: 90858.418 Set: 17823.814 Check: 0.0 Back: 2318.833
INFO - Atoms: 103798/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 88685336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.36 Prop: 93110.32 PropClause: 90918.24 Set: 17841.805 Check: 0.0 Back: 2321.244
INFO - Atoms: 103807/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 88789722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.368 Prop: 93172.822 PropClause: 90978.163 Set: 17860.339 Check: 0.0 Back: 2323.694
INFO - Atoms: 104386/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 88894175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.376 Prop: 93234.865 PropClause: 91037.641 Set: 17878.535 Check: 0.0 Back: 2326.174
INFO - Atoms: 104453/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 88999009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.385 Prop: 93296.913 PropClause: 91097.109 Set: 17897.135 Check: 0.0 Back: 2328.621
INFO - Atoms: 104834/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 89104104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.459 Prop: 93363.139 PropClause: 91160.765 Set: 17915.582 Check: 0.0 Back: 2331.112
INFO - Atoms: 105095/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 89209522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.539 Prop: 93430.563 PropClause: 91225.589 Set: 17934.768 Check: 0.0 Back: 2333.578
INFO - Atoms: 105418/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 89315263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.584 Prop: 93496.408 PropClause: 91288.833 Set: 17953.338 Check: 0.0 Back: 2336.086
INFO - Atoms: 105741/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 89421327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.638 Prop: 93563.481 PropClause: 91353.271 Set: 17972.645 Check: 0.0 Back: 2338.598
INFO - Atoms: 106064/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 89527714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.685 Prop: 93630.179 PropClause: 91417.338 Set: 17991.512 Check: 0.0 Back: 2341.166
INFO - Atoms: 106387/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 89634424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.734 Prop: 93698.887 PropClause: 91483.431 Set: 18010.747 Check: 0.0 Back: 2343.818
INFO - Atoms: 106710/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 89741774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.778 Prop: 93767.126 PropClause: 91549.046 Set: 18029.839 Check: 0.0 Back: 2346.353
INFO - Atoms: 107350/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 89849130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.828 Prop: 93840.58 PropClause: 91619.847 Set: 18049.686 Check: 0.0 Back: 2348.917
INFO - Atoms: 107356/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 89957067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.881 Prop: 93910.252 PropClause: 91686.856 Set: 18069.057 Check: 0.0 Back: 2351.571
INFO - Atoms: 107937/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 90065129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.031 Prop: 93982.41 PropClause: 91756.356 Set: 18088.573 Check: 0.0 Back: 2354.163
INFO - Atoms: 108062/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 90173454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.05 Prop: 94056.797 PropClause: 91828.075 Set: 18108.207 Check: 0.0 Back: 2356.731
INFO - Atoms: 108325/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 90282102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.067 Prop: 94128.124 PropClause: 91896.729 Set: 18127.916 Check: 0.0 Back: 2359.337
INFO - Atoms: 108648/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 90391331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.123 Prop: 94200.494 PropClause: 91966.413 Set: 18147.382 Check: 0.0 Back: 2361.952
INFO - Atoms: 109229/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 90500883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.169 Prop: 94269.045 PropClause: 92032.271 Set: 18166.77 Check: 0.0 Back: 2364.592
INFO - Atoms: 109552/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 90610557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.182 Prop: 94340.852 PropClause: 92101.369 Set: 18186.896 Check: 0.0 Back: 2367.212
INFO - Atoms: 109674/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 90720497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.195 Prop: 94410.925 PropClause: 92168.741 Set: 18206.611 Check: 0.0 Back: 2369.848
INFO - Atoms: 109940/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 90830760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.209 Prop: 94481.936 PropClause: 92237.042 Set: 18225.928 Check: 0.0 Back: 2372.479
INFO - Atoms: 110263/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 90941405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.223 Prop: 94552.016 PropClause: 92304.396 Set: 18245.72 Check: 0.0 Back: 2375.101
INFO - Atoms: 110645/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 91052314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.236 Prop: 94623.514 PropClause: 92373.181 Set: 18265.037 Check: 0.0 Back: 2377.762
INFO - Atoms: 110909/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 91163862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.248 Prop: 94694.582 PropClause: 92441.525 Set: 18284.799 Check: 0.0 Back: 2380.39
INFO - Atoms: 111548/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 91275417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.26 Prop: 94769.758 PropClause: 92513.943 Set: 18304.502 Check: 0.0 Back: 2383.08
INFO - Atoms: 111555/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 91387552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.273 Prop: 94842.416 PropClause: 92583.86 Set: 18324.93 Check: 0.0 Back: 2385.775
INFO - Atoms: 112135/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 91500012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.286 Prop: 94917.6 PropClause: 92656.264 Set: 18345.138 Check: 0.0 Back: 2388.532
INFO - Atoms: 112460/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 91612853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.298 Prop: 94997.044 PropClause: 92732.932 Set: 18365.611 Check: 0.0 Back: 2391.29
INFO - Atoms: 112841/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 91725760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.346 Prop: 95075.944 PropClause: 92809.041 Set: 18385.905 Check: 0.0 Back: 2394.031
INFO - Atoms: 112907/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 91838930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.412 Prop: 95151.756 PropClause: 92882.064 Set: 18406.369 Check: 0.0 Back: 2396.762
INFO - Atoms: 113170/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 91952483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.441 Prop: 95230.036 PropClause: 92957.527 Set: 18426.633 Check: 0.0 Back: 2399.5
INFO - Atoms: 113553/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 92066299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.447 Prop: 95310.181 PropClause: 93034.844 Set: 18447.489 Check: 0.0 Back: 2402.266
INFO - Atoms: 113816/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 92180755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.454 Prop: 95395.173 PropClause: 93116.989 Set: 18468.249 Check: 0.0 Back: 2405.047
INFO - Atoms: 114456/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 92295217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.46 Prop: 95473.638 PropClause: 93192.639 Set: 18488.963 Check: 0.0 Back: 2407.845
INFO - Atoms: 114462/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 92410061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.466 Prop: 95554.938 PropClause: 93271.108 Set: 18509.545 Check: 0.0 Back: 2410.623
INFO - Atoms: 114844/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 92525169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.472 Prop: 95638.302 PropClause: 93351.609 Set: 18530.833 Check: 0.0 Back: 2413.402
INFO - Atoms: 115108/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 92640916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.478 Prop: 95721.033 PropClause: 93431.476 Set: 18551.61 Check: 0.0 Back: 2416.217
INFO - Atoms: 115747/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 92756670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.484 Prop: 95801.031 PropClause: 93508.621 Set: 18572.448 Check: 0.0 Back: 2419.053
INFO - Atoms: 115754/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 92873004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.491 Prop: 95896.196 PropClause: 93600.103 Set: 18600.291 Check: 0.0 Back: 2421.932
INFO - Atoms: 116334/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 92989404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.498 Prop: 95972.951 PropClause: 93673.993 Set: 18621.045 Check: 0.0 Back: 2425.126
INFO - Atoms: 116400/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 93106185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.504 Prop: 96056.566 PropClause: 93754.72 Set: 18641.926 Check: 0.0 Back: 2427.955
INFO - Atoms: 116781/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 93223231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.51 Prop: 96136.078 PropClause: 93831.355 Set: 18663.109 Check: 0.0 Back: 2430.802
INFO - Atoms: 117046/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 93340600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.516 Prop: 96217.392 PropClause: 93909.815 Set: 18683.895 Check: 0.0 Back: 2433.656
INFO - Atoms: 117369/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 93458294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.522 Prop: 96297.312 PropClause: 93986.833 Set: 18704.792 Check: 0.0 Back: 2436.456
INFO - Atoms: 117694/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 548 Props: 93576309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.529 Prop: 96385.632 PropClause: 94072.256 Set: 18726.006 Check: 0.0 Back: 2439.327
INFO - Atoms: 118015/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 549 Props: 93694963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.535 Prop: 96473.334 PropClause: 94156.847 Set: 18749.57 Check: 0.0 Back: 2442.204
INFO - Atoms: 118654/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 550 Props: 93813624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.543 Prop: 96561.813 PropClause: 94242.427 Set: 18770.761 Check: 0.0 Back: 2445.114
INFO - Atoms: 118661/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 551 Props: 93932608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.548 Prop: 96645.894 PropClause: 94323.584 Set: 18792.353 Check: 0.0 Back: 2448.016
INFO - Atoms: 118984/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 552 Props: 94051975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.554 Prop: 96735.588 PropClause: 94410.362 Set: 18814.059 Check: 0.0 Back: 2450.902
INFO - Atoms: 119367/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 553 Props: 94171605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.56 Prop: 96822.678 PropClause: 94494.225 Set: 18887.327 Check: 0.0 Back: 2453.826
INFO - Atoms: 119630/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 554 Props: 94291558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.566 Prop: 96911.818 PropClause: 94580.424 Set: 18908.677 Check: 0.0 Back: 2456.764
INFO - Atoms: 119953/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 555 Props: 94411893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.572 Prop: 97001.075 PropClause: 94666.723 Set: 18931.001 Check: 0.0 Back: 2459.776
INFO - Atoms: 120335/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 556 Props: 94532492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.579 Prop: 97093.339 PropClause: 94756.027 Set: 18952.914 Check: 0.0 Back: 2462.725
INFO - Atoms: 120599/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 557 Props: 94653731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.585 Prop: 97181.203 PropClause: 94840.879 Set: 18975.224 Check: 0.0 Back: 2465.698
INFO - Atoms: 121239/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 558 Props: 94774976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.591 Prop: 97270.692 PropClause: 94927.402 Set: 18996.737 Check: 0.0 Back: 2468.679
INFO - Atoms: 121245/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 559 Props: 94896544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.598 Prop: 97360.893 PropClause: 95014.599 Set: 19019.096 Check: 0.0 Back: 2471.64
INFO - Atoms: 121568/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 560 Props: 95018695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.604 Prop: 97452.417 PropClause: 95103.149 Set: 19041.092 Check: 0.0 Back: 2474.619
INFO - Atoms: 122151/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 561 Props: 95141167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.61 Prop: 97539.755 PropClause: 95187.475 Set: 19063.399 Check: 0.0 Back: 2477.596
INFO - Atoms: 122472/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 562 Props: 95263761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.617 Prop: 97627.634 PropClause: 95272.388 Set: 19084.878 Check: 0.0 Back: 2480.584
INFO - Atoms: 122594/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 563 Props: 95386621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.622 Prop: 97714.088 PropClause: 95355.823 Set: 19106.947 Check: 0.0 Back: 2483.571
INFO - Atoms: 122860/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 564 Props: 95509864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.627 Prop: 97801.412 PropClause: 95440.147 Set: 19128.55 Check: 0.0 Back: 2486.577
INFO - Atoms: 123243/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 565 Props: 95633370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.633 Prop: 97891.531 PropClause: 95527.236 Set: 19151.112 Check: 0.0 Back: 2489.598
INFO - Atoms: 123506/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 566 Props: 95757516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.64 Prop: 97982.687 PropClause: 95615.397 Set: 19172.958 Check: 0.0 Back: 2492.632
INFO - Atoms: 124146/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 567 Props: 95881668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.646 Prop: 98074.584 PropClause: 95704.244 Set: 19195.622 Check: 0.0 Back: 2495.659
INFO - Atoms: 124152/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 568 Props: 95973458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.652 Prop: 98141.611 PropClause: 95769.026 Set: 19210.121 Check: 0.0 Back: 2498.695
INFO - Atoms: 91790/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 569 Props: 96064990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.658 Prop: 98185.507 PropClause: 95810.668 Set: 19224.725 Check: 0.0 Back: 2500.808
INFO - Atoms: 91532/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 570 Props: 96157103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.664 Prop: 98230.081 PropClause: 95852.973 Set: 19239.577 Check: 0.0 Back: 2502.917
INFO - Atoms: 92113/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 571 Props: 96249541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.671 Prop: 98282.239 PropClause: 95902.369 Set: 19258.487 Check: 0.0 Back: 2505.058
INFO - Atoms: 92438/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 572 Props: 96342555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.677 Prop: 98329.003 PropClause: 95946.833 Set: 19273.714 Check: 0.0 Back: 2507.487
INFO - Atoms: 93014/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 573 Props: 96435891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.682 Prop: 98374.263 PropClause: 95989.795 Set: 19288.882 Check: 0.0 Back: 2509.651
INFO - Atoms: 93336/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 574 Props: 96529296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.689 Prop: 98420.876 PropClause: 96034.142 Set: 19303.762 Check: 0.0 Back: 2511.809
INFO - Atoms: 93405/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 575 Props: 96623090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.694 Prop: 98468.638 PropClause: 96079.589 Set: 19319.107 Check: 0.0 Back: 2513.984
INFO - Atoms: 93794/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 576 Props: 96717143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.7 Prop: 98515.469 PropClause: 96124.092 Set: 19334.359 Check: 0.0 Back: 2516.177
INFO - Atoms: 94053/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 577 Props: 96811580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.706 Prop: 98564.447 PropClause: 96170.743 Set: 19349.703 Check: 0.0 Back: 2518.423
INFO - Atoms: 94437/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 578 Props: 96906343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.711 Prop: 98611.612 PropClause: 96215.574 Set: 19365.138 Check: 0.0 Back: 2520.606
INFO - Atoms: 94763/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 579 Props: 97001365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.716 Prop: 98658.949 PropClause: 96260.57 Set: 19380.672 Check: 0.0 Back: 2522.832
INFO - Atoms: 95022/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 580 Props: 97096961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.722 Prop: 98708.485 PropClause: 96307.763 Set: 19396.162 Check: 0.0 Back: 2525.063
INFO - Atoms: 95596/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 581 Props: 97192627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.728 Prop: 98760.772 PropClause: 96357.679 Set: 19461.635 Check: 0.0 Back: 2527.294
INFO - Atoms: 95666/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 582 Props: 97288616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.735 Prop: 98813.681 PropClause: 96407.868 Set: 19479.686 Check: 0.0 Back: 2529.567
INFO - Atoms: 95989/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 583 Props: 97384993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.74 Prop: 98864.753 PropClause: 96456.58 Set: 19495.431 Check: 0.0 Back: 2531.849
INFO - Atoms: 96377/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 584 Props: 97481630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.747 Prop: 98914.16 PropClause: 96503.615 Set: 19510.957 Check: 0.0 Back: 2534.132
INFO - Atoms: 96637/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 585 Props: 97578840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.753 Prop: 98963.325 PropClause: 96550.395 Set: 19526.73 Check: 0.0 Back: 2536.378
INFO - Atoms: 97210/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 586 Props: 97676375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.758 Prop: 99016.704 PropClause: 96601.376 Set: 19542.648 Check: 0.0 Back: 2538.669
INFO - Atoms: 97535/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 587 Props: 97774234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.764 Prop: 99067.597 PropClause: 96649.886 Set: 19558.491 Check: 0.0 Back: 2540.965
INFO - Atoms: 97859/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 588 Props: 97872416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.77 Prop: 99120.737 PropClause: 96700.609 Set: 19574.529 Check: 0.0 Back: 2543.259
INFO - Atoms: 98182/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 589 Props: 97970921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.776 Prop: 99172.878 PropClause: 96750.314 Set: 19590.721 Check: 0.0 Back: 2545.59
INFO - Atoms: 98505/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 590 Props: 98069749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.781 Prop: 99225.25 PropClause: 96800.233 Set: 19607.008 Check: 0.0 Back: 2547.907
INFO - Atoms: 98828/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 591 Props: 98168900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.798 Prop: 99279.533 PropClause: 96852.097 Set: 19661.259 Check: 0.0 Back: 2550.473
INFO - Atoms: 99151/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 592 Props: 98268373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.803 Prop: 99336.403 PropClause: 96906.527 Set: 19677.549 Check: 0.0 Back: 2552.82
INFO - Atoms: 99473/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 593 Props: 98367915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.809 Prop: 99390.716 PropClause: 96958.423 Set: 19693.683 Check: 0.0 Back: 2555.175
INFO - Atoms: 99542/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 594 Props: 98467780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.815 Prop: 99445.226 PropClause: 97010.476 Set: 19709.844 Check: 0.0 Back: 2557.508
INFO - Atoms: 99865/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 595 Props: 98567970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.82 Prop: 99498.186 PropClause: 97060.979 Set: 19726.197 Check: 0.0 Back: 2559.852
INFO - Atoms: 100190/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 596 Props: 98668736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.826 Prop: 99554.347 PropClause: 97114.688 Set: 19742.621 Check: 0.0 Back: 2562.206
INFO - Atoms: 100766/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 597 Props: 98769570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.832 Prop: 99611.305 PropClause: 97169.173 Set: 19759.243 Check: 0.0 Back: 2564.56
INFO - Atoms: 100834/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 598 Props: 98870794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.839 Prop: 99668.493 PropClause: 97223.877 Set: 19775.804 Check: 0.0 Back: 2566.97
INFO - Atoms: 101224/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 599 Props: 98972339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.846 Prop: 99729.253 PropClause: 97282.157 Set: 19792.518 Check: 0.0 Back: 2569.372
INFO - Atoms: 101545/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 600 Props: 99062748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.851 Prop: 99778.303 PropClause: 97328.984 Set: 19806.923 Check: 0.0 Back: 2571.761
INFO - Atoms: 90409/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 601 Props: 99152769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.859 Prop: 99819.897 PropClause: 97368.374 Set: 19821.236 Check: 0.0 Back: 2573.838
INFO - Atoms: 90021/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 602 Props: 99242846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.864 Prop: 99862.506 PropClause: 97408.784 Set: 19835.419 Check: 0.0 Back: 2575.896
INFO - Atoms: 90077/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 603 Props: 99332542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.871 Prop: 99904.324 PropClause: 97448.397 Set: 19849.746 Check: 0.0 Back: 2578.006
INFO - Atoms: 89696/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 604 Props: 99422002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.877 Prop: 99946.266 PropClause: 97488.168 Set: 19863.761 Check: 0.0 Back: 2580.072
INFO - Atoms: 89460/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 605 Props: 99510898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.883 Prop: 99987.496 PropClause: 97527.235 Set: 19877.799 Check: 0.0 Back: 2582.103
INFO - Atoms: 88896/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 606 Props: 99599470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.888 Prop: 100028.052 PropClause: 97565.621 Set: 19891.773 Check: 0.0 Back: 2584.125
INFO - Atoms: 88572/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 607 Props: 99686127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.895 Prop: 100067.26 PropClause: 97602.711 Set: 19905.193 Check: 0.0 Back: 2586.288
INFO - Atoms: 86657/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 608 Props: 99772461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.901 Prop: 100107.922 PropClause: 97641.029 Set: 19920.101 Check: 0.0 Back: 2588.259
INFO - Atoms: 86334/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 609 Props: 99856875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.907 Prop: 100145.588 PropClause: 97676.608 Set: 19933.16 Check: 0.0 Back: 2590.262
INFO - Atoms: 84414/259322 Clauses: 1601 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1109 Props: 112983022 Tprops: 0 Decides: 84788 RSplits: 0
INFO - Times: Expl: 5804.76 Prop: 115327.162 PropClause: 112479.055 Set: 20267.767 Check: 2.08 Back: 2905.208
INFO - Atoms: 82739/259322 Clauses: 2100 Axioms: 872194
INFO - Confl: 1303 Props: 114158805 Tprops: 0 Decides: 90071 RSplits: 0
INFO - Times: Expl: 6386.678 Prop: 116448.894 PropClause: 113567.718 Set: 20296.256 Check: 2.211 Back: 2933.116
INFO - Atoms: 83152/259322 Clauses: 2294 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1803 Props: 127117168 Tprops: 0 Decides: 172659 RSplits: 0
INFO - Times: Expl: 12619.837 Prop: 131996.909 PropClause: 128742.355 Set: 20629.647 Check: 4.211 Back: 3245.312
INFO - Atoms: 82763/259322 Clauses: 2100 Axioms: 872194
INFO - Confl: 1973 Props: 127968885 Tprops: 0 Decides: 176574 RSplits: 0
INFO - Times: Expl: 13137.159 Prop: 132909.966 PropClause: 129631.745 Set: 20650.684 Check: 4.309 Back: 3265.731
INFO - Atoms: 82921/259322 Clauses: 2270 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2473 Props: 145064014 Tprops: 0 Decides: 286590 RSplits: 0
INFO - Times: Expl: 20981.76 Prop: 153473.015 PropClause: 149704.458 Set: 21086.981 Check: 6.949 Back: 3675.183
INFO - Atoms: 82748/259322 Clauses: 2100 Axioms: 872194
INFO - Confl: 2635 Props: 145890499 Tprops: 0 Decides: 290264 RSplits: 0
INFO - Times: Expl: 21464.423 Prop: 154349.126 PropClause: 150557.654 Set: 21107.541 Check: 7.04 Back: 3694.864
INFO - Atoms: 83262/259322 Clauses: 2262 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3135 Props: 164385657 Tprops: 0 Decides: 409409 RSplits: 0
INFO - Times: Expl: 29421.261 Prop: 176862.999 PropClause: 172536.735 Set: 21577.044 Check: 9.857 Back: 4136.035
INFO - Atoms: 82784/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 3205 Props: 164680693 Tprops: 0 Decides: 410578 RSplits: 0
INFO - Times: Expl: 29661.782 Prop: 177186.406 PropClause: 172851.345 Set: 21584.579 Check: 9.888 Back: 4143.284
INFO - Atoms: 83109/259322 Clauses: 2171 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3705 Props: 172298274 Tprops: 0 Decides: 450356 RSplits: 0
INFO - Times: Expl: 33295.311 Prop: 185895.82 PropClause: 181347.278 Set: 21782.509 Check: 10.832 Back: 4323.484
INFO - Atoms: 82780/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 3808 Props: 172792866 Tprops: 0 Decides: 452388 RSplits: 0
INFO - Times: Expl: 33580.948 Prop: 186423.929 PropClause: 181861.808 Set: 21794.65 Check: 10.884 Back: 4335.231
INFO - Atoms: 83188/259322 Clauses: 2204 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4308 Props: 183779170 Tprops: 0 Decides: 516613 RSplits: 0
INFO - Times: Expl: 38424.539 Prop: 199285.506 PropClause: 194412.136 Set: 22076.044 Check: 12.382 Back: 4595.656
INFO - Atoms: 82780/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 4387 Props: 184228115 Tprops: 0 Decides: 518367 RSplits: 0
INFO - Times: Expl: 38693.871 Prop: 199759.407 PropClause: 194872.592 Set: 22087.21 Check: 12.428 Back: 4606.485
INFO - Atoms: 83614/259322 Clauses: 2180 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4887 Props: 196909916 Tprops: 0 Decides: 595261 RSplits: 0
INFO - Times: Expl: 44348.49 Prop: 214978.153 PropClause: 209730.022 Set: 22411.294 Check: 14.236 Back: 4907.132
INFO - Atoms: 82785/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 4968 Props: 197293067 Tprops: 0 Decides: 596808 RSplits: 0
INFO - Times: Expl: 44626.395 Prop: 215437.388 PropClause: 210177.348 Set: 22421.164 Check: 14.278 Back: 4916.62
INFO - Atoms: 83244/259322 Clauses: 2182 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5468 Props: 210655865 Tprops: 0 Decides: 679093 RSplits: 0
INFO - Times: Expl: 50465.23 Prop: 231485.868 PropClause: 225844.516 Set: 22762.93 Check: 16.213 Back: 5234.213
INFO - Atoms: 82781/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 5554 Props: 211127695 Tprops: 0 Decides: 680931 RSplits: 0
INFO - Times: Expl: 50758.534 Prop: 232031.573 PropClause: 226377.268 Set: 22774.838 Check: 16.26 Back: 5245.484
INFO - Atoms: 83347/259322 Clauses: 2187 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6054 Props: 222892740 Tprops: 0 Decides: 751725 RSplits: 0
INFO - Times: Expl: 56407.342 Prop: 246278.629 PropClause: 240283.618 Set: 23077.805 Check: 17.946 Back: 5526.517
INFO - Atoms: 82781/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 6143 Props: 223268951 Tprops: 0 Decides: 753211 RSplits: 0
INFO - Times: Expl: 56641.511 Prop: 246687.149 PropClause: 240681.068 Set: 23087.417 Check: 17.987 Back: 5535.783
INFO - Atoms: 83325/259322 Clauses: 2190 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6643 Props: 230988583 Tprops: 0 Decides: 793298 RSplits: 0
INFO - Times: Expl: 60491.505 Prop: 255582.776 PropClause: 249359.467 Set: 23288.345 Check: 18.962 Back: 5718.668
INFO - Atoms: 82793/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 6708 Props: 231221872 Tprops: 0 Decides: 794190 RSplits: 0
INFO - Times: Expl: 60651.573 Prop: 255845.37 PropClause: 249615.584 Set: 23294.32 Check: 18.986 Back: 5724.205
INFO - Atoms: 83614/259322 Clauses: 2166 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7208 Props: 246662036 Tprops: 0 Decides: 890200 RSplits: 0
INFO - Times: Expl: 67485.668 Prop: 274877.482 PropClause: 268199.724 Set: 23690.159 Check: 21.351 Back: 6091.98
INFO - Atoms: 82785/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 7284 Props: 247049887 Tprops: 0 Decides: 891720 RSplits: 0
INFO - Times: Expl: 67700.581 Prop: 275285.453 PropClause: 268596.594 Set: 23699.646 Check: 21.39 Back: 6101.141
INFO - Atoms: 83218/259322 Clauses: 2177 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7784 Props: 263043638 Tprops: 0 Decides: 1000656 RSplits: 0
INFO - Times: Expl: 74161.483 Prop: 294809.019 PropClause: 287654.804 Set: 24105.562 Check: 23.947 Back: 6482.757
INFO - Atoms: 82792/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 7831 Props: 263344840 Tprops: 0 Decides: 1001829 RSplits: 0
INFO - Times: Expl: 74331.378 Prop: 295144.548 PropClause: 287982.152 Set: 24113.051 Check: 23.976 Back: 6489.849
INFO - Atoms: 83256/259322 Clauses: 2148 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 8331 Props: 270545004 Tprops: 0 Decides: 1044878 RSplits: 0
INFO - Times: Expl: 77759.375 Prop: 303564.659 PropClause: 296191.894 Set: 24303.766 Check: 25.006 Back: 6660.714
INFO - Atoms: 82784/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 8421 Props: 271023046 Tprops: 0 Decides: 1046787 RSplits: 0
INFO - Times: Expl: 78010.842 Prop: 304079.563 PropClause: 296693.818 Set: 24315.317 Check: 25.053 Back: 6671.88
INFO - Atoms: 83236/259322 Clauses: 2191 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 8921 Props: 287161861 Tprops: 0 Decides: 1148421 RSplits: 0
INFO - Times: Expl: 84905.105 Prop: 323056.461 PropClause: 315206.845 Set: 24721.139 Check: 27.536 Back: 7053.077
INFO - Atoms: 82781/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 8986 Props: 287530700 Tprops: 0 Decides: 1149874 RSplits: 0
INFO - Times: Expl: 85135.235 Prop: 323450.703 PropClause: 315591.034 Set: 24730.175 Check: 27.571 Back: 7061.688
INFO - Atoms: 83565/259322 Clauses: 2166 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 9486 Props: 295031218 Tprops: 0 Decides: 1189261 RSplits: 0
INFO - Times: Expl: 88628.917 Prop: 332042.106 PropClause: 323973.336 Set: 24921.844 Check: 28.494 Back: 7237.167
INFO - Atoms: 82785/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 9575 Props: 295414609 Tprops: 0 Decides: 1190771 RSplits: 0
INFO - Times: Expl: 88843.24 Prop: 332438.435 PropClause: 324359.221 Set: 24931.263 Check: 28.532 Back: 7246.25
INFO - Atoms: 83343/259322 Clauses: 2190 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 10075 Props: 306106350 Tprops: 0 Decides: 1252595 RSplits: 0
INFO - Times: Expl: 93660.8 Prop: 344888.731 PropClause: 336508.932 Set: 25202.461 Check: 29.961 Back: 7498.062
INFO - Atoms: 82795/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 10117 Props: 306290716 Tprops: 0 Decides: 1253284 RSplits: 0
INFO - Times: Expl: 93781.663 Prop: 345079.172 PropClause: 336694.393 Set: 25207.018 Check: 29.978 Back: 7502.36
INFO - Atoms: 83612/259322 Clauses: 2143 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 10617 Props: 313982677 Tprops: 0 Decides: 1292798 RSplits: 0
INFO - Times: Expl: 97394.705 Prop: 353811.529 PropClause: 345211.884 Set: 25404.101 Check: 30.911 Back: 7683.239
INFO - Atoms: 82795/259322 Clauses: 2101 Axioms: 872194
INFO - Confl: 10666 Props: 314130437 Tprops: 0 Decides: 1293358 RSplits: 0
INFO - Times: Expl: 97502.299 Prop: 353969.861 PropClause: 345366.108 Set: 25407.863 Check: 30.926 Back: 7686.718
INFO - Atoms: 83358/259322 Clauses: 2150 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 11166 Props: 321961309 Tprops: 0 Decides: 1334216 RSplits: 0
INFO - Times: Expl: 101153.958 Prop: 362871.597 PropClause: 354048.512 Set: 25608.665 Check: 31.898 Back: 7871.181
INFO - Atoms: 82794/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 11216 Props: 322182437 Tprops: 0 Decides: 1335091 RSplits: 0
INFO - Times: Expl: 101290.596 Prop: 363099.216 PropClause: 354270.142 Set: 25614.041 Check: 31.92 Back: 7876.359
INFO - Atoms: 83208/259322 Clauses: 2152 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 11716 Props: 332417756 Tprops: 0 Decides: 1394619 RSplits: 0
INFO - Times: Expl: 106053.38 Prop: 375054.647 PropClause: 365935.638 Set: 25994.554 Check: 33.306 Back: 8118.299
INFO - Atoms: 82788/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 11765 Props: 332621466 Tprops: 0 Decides: 1395411 RSplits: 0
INFO - Times: Expl: 106165.224 Prop: 375261.222 PropClause: 366136.609 Set: 25999.659 Check: 33.327 Back: 8123.166
INFO - Atoms: 83339/259322 Clauses: 2151 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 12265 Props: 340155534 Tprops: 0 Decides: 1434234 RSplits: 0
INFO - Times: Expl: 109743.009 Prop: 383874.366 PropClause: 374538.409 Set: 26195.126 Check: 34.244 Back: 8301.22
INFO - Atoms: 82783/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 12362 Props: 340619629 Tprops: 0 Decides: 1436111 RSplits: 0
INFO - Times: Expl: 109982.763 Prop: 384328.712 PropClause: 374980.047 Set: 26206.534 Check: 34.291 Back: 8312.254
INFO - Atoms: 83346/259322 Clauses: 2199 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 12862 Props: 347937705 Tprops: 0 Decides: 1473503 RSplits: 0
INFO - Times: Expl: 113518.097 Prop: 392631.675 PropClause: 383079.298 Set: 26394.832 Check: 35.169 Back: 8484.011
INFO - Atoms: 82792/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 12921 Props: 348233930 Tprops: 0 Decides: 1474671 RSplits: 0
INFO - Times: Expl: 113698.545 Prop: 392964.861 PropClause: 383404.406 Set: 26402.174 Check: 35.198 Back: 8491.06
INFO - Atoms: 83346/259322 Clauses: 2161 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 13421 Props: 359140041 Tprops: 0 Decides: 1538623 RSplits: 0
INFO - Times: Expl: 118604.887 Prop: 405514.566 PropClause: 395644.723 Set: 26679.267 Check: 36.689 Back: 8748.865
INFO - Atoms: 82793/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 13462 Props: 359336622 Tprops: 0 Decides: 1539388 RSplits: 0
INFO - Times: Expl: 118719.009 Prop: 405693.646 PropClause: 395818.473 Set: 26684.155 Check: 36.708 Back: 8753.518
INFO - Atoms: 83345/259322 Clauses: 2143 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 13962 Props: 371601618 Tprops: 0 Decides: 1613338 RSplits: 0
INFO - Times: Expl: 124194.921 Prop: 420131.694 PropClause: 409909.003 Set: 26995.4 Check: 38.441 Back: 9043.394
INFO - Atoms: 82782/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 14051 Props: 371987648 Tprops: 0 Decides: 1614935 RSplits: 0
INFO - Times: Expl: 124417.71 Prop: 420506.46 PropClause: 410273.272 Set: 27004.867 Check: 38.482 Back: 9052.626
INFO - Atoms: 83156/259322 Clauses: 2191 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 14551 Props: 379680246 Tprops: 0 Decides: 1654904 RSplits: 0
INFO - Times: Expl: 128114.17 Prop: 429412.615 PropClause: 418963.589 Set: 27204.548 Check: 39.436 Back: 9234.67
INFO - Atoms: 82782/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 14641 Props: 380129860 Tprops: 0 Decides: 1656678 RSplits: 0
INFO - Times: Expl: 128352.483 Prop: 429870.101 PropClause: 419408.814 Set: 27215.635 Check: 39.481 Back: 9245.335
INFO - Atoms: 83142/259322 Clauses: 2192 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 15141 Props: 391073028 Tprops: 0 Decides: 1721141 RSplits: 0
INFO - Times: Expl: 133180.549 Prop: 442737.761 PropClause: 431968.087 Set: 27494.692 Check: 40.978 Back: 9503.883
INFO - Atoms: 82791/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 15217 Props: 391400590 Tprops: 0 Decides: 1722395 RSplits: 0
INFO - Times: Expl: 133360.905 Prop: 443046.702 PropClause: 432268.202 Set: 27502.789 Check: 41.01 Back: 9511.725
INFO - Atoms: 83207/259322 Clauses: 2178 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 15717 Props: 398990699 Tprops: 0 Decides: 1761269 RSplits: 0
INFO - Times: Expl: 137015.68 Prop: 451912.79 PropClause: 440920.83 Set: 27699.761 Check: 41.929 Back: 9691.311
INFO - Atoms: 82792/259322 Clauses: 2102 Axioms: 872194
INFO - Confl: 15776 Props: 399245435 Tprops: 0 Decides: 1762236 RSplits: 0
INFO - Times: Expl: 137160.309 Prop: 452172.889 PropClause: 441174.075 Set: 27705.96 Check: 41.953 Back: 9697.276
INFO - Atoms: 83561/259322 Clauses: 2161 Axioms: 872194
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL: