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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1043478226
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 220026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.616 Prop: 379.924 PropClause: 368.635 Set: 297.214 Check: 0.0 Back: 0.0
INFO - Atoms: 220026/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 440052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.69 Prop: 652.447 PropClause: 635.082 Set: 472.79 Check: 0.0 Back: 5.003
INFO - Atoms: 220026/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 660067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.746 Prop: 924.986 PropClause: 901.989 Set: 520.244 Check: 0.0 Back: 9.971
INFO - Atoms: 220015/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 880082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.78 Prop: 1213.773 PropClause: 1185.301 Set: 561.281 Check: 0.0 Back: 15.012
INFO - Atoms: 220015/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 1100087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.829 Prop: 1496.727 PropClause: 1462.757 Set: 602.264 Check: 0.0 Back: 19.963
INFO - Atoms: 220005/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1320092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.871 Prop: 1781.529 PropClause: 1742.096 Set: 718.32 Check: 0.0 Back: 24.887
INFO - Atoms: 220005/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1540088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.918 Prop: 2055.977 PropClause: 2011.084 Set: 759.398 Check: 0.0 Back: 29.843
INFO - Atoms: 219996/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1759603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.965 Prop: 2340.266 PropClause: 2289.932 Set: 800.467 Check: 0.0 Back: 34.748
INFO - Atoms: 219515/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1979115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.01 Prop: 2619.619 PropClause: 2563.855 Set: 840.575 Check: 0.0 Back: 39.669
INFO - Atoms: 219512/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 2198624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.053 Prop: 2912.999 PropClause: 2851.721 Set: 881.428 Check: 0.0 Back: 44.604
INFO - Atoms: 219509/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2417967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.094 Prop: 3182.308 PropClause: 3115.607 Set: 921.295 Check: 0.0 Back: 49.536
INFO - Atoms: 219343/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 2636832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.141 Prop: 3462.036 PropClause: 3389.941 Set: 961.78 Check: 0.0 Back: 54.588
INFO - Atoms: 218865/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 2855063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.179 Prop: 3721.497 PropClause: 3644.013 Set: 1001.52 Check: 0.0 Back: 59.704
INFO - Atoms: 218231/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 3073190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.221 Prop: 3987.912 PropClause: 3905.017 Set: 1125.011 Check: 0.0 Back: 64.755
INFO - Atoms: 218127/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 3290931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.263 Prop: 4254.845 PropClause: 4166.547 Set: 1165.678 Check: 0.0 Back: 69.747
INFO - Atoms: 217741/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 3508466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.309 Prop: 4516.715 PropClause: 4423.021 Set: 1279.62 Check: 0.0 Back: 74.762
INFO - Atoms: 217535/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 3725559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.347 Prop: 4780.061 PropClause: 4680.954 Set: 1319.587 Check: 0.0 Back: 79.785
INFO - Atoms: 217093/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 3942678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.392 Prop: 5057.714 PropClause: 4953.166 Set: 1438.406 Check: 0.0 Back: 84.815
INFO - Atoms: 217119/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 4159443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.431 Prop: 5331.263 PropClause: 5221.326 Set: 1478.976 Check: 0.0 Back: 89.91
INFO - Atoms: 216765/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 4375942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.468 Prop: 5605.862 PropClause: 5490.561 Set: 1519.908 Check: 0.0 Back: 94.915
INFO - Atoms: 216499/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 4592059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.514 Prop: 5879.046 PropClause: 5758.413 Set: 1559.571 Check: 0.0 Back: 99.925
INFO - Atoms: 216117/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 4807852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.554 Prop: 6154.301 PropClause: 6028.277 Set: 1599.677 Check: 0.0 Back: 104.93
INFO - Atoms: 215793/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 5023642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.591 Prop: 6422.849 PropClause: 6291.488 Set: 1639.064 Check: 0.0 Back: 109.971
INFO - Atoms: 215790/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 5238954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.627 Prop: 6692.571 PropClause: 6555.877 Set: 1678.194 Check: 0.0 Back: 114.972
INFO - Atoms: 215312/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 5453940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.666 Prop: 6958.394 PropClause: 6816.311 Set: 1718.255 Check: 0.0 Back: 119.985
INFO - Atoms: 214986/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 5668670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.772 Prop: 7233.69 PropClause: 7086.271 Set: 1757.717 Check: 0.0 Back: 125.012
INFO - Atoms: 214730/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 5883012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.794 Prop: 7504.67 PropClause: 7351.932 Set: 1884.019 Check: 0.0 Back: 129.986
INFO - Atoms: 214342/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 6097096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.813 Prop: 7777.312 PropClause: 7619.238 Set: 1923.383 Check: 0.0 Back: 134.915
INFO - Atoms: 214084/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 6310792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.834 Prop: 8041.293 PropClause: 7877.893 Set: 1963.315 Check: 0.0 Back: 140.018
INFO - Atoms: 213696/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 6524164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.852 Prop: 8323.639 PropClause: 8154.941 Set: 2003.603 Check: 0.0 Back: 144.979
INFO - Atoms: 213372/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 6737212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.869 Prop: 8588.805 PropClause: 8414.822 Set: 2042.611 Check: 0.0 Back: 149.933
INFO - Atoms: 213048/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 6950159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 8857.212 PropClause: 8677.924 Set: 2120.43 Check: 0.0 Back: 154.891
INFO - Atoms: 212947/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 7162718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.906 Prop: 9115.001 PropClause: 8930.425 Set: 2159.508 Check: 0.0 Back: 159.809
INFO - Atoms: 212559/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 7375019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.923 Prop: 9380.972 PropClause: 9191.13 Set: 2198.363 Check: 0.0 Back: 164.746
INFO - Atoms: 212301/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 7586932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.94 Prop: 9638.1 PropClause: 9442.99 Set: 2237.416 Check: 0.0 Back: 169.668
INFO - Atoms: 211913/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 7798558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.957 Prop: 9908.0 PropClause: 9707.617 Set: 2276.479 Check: 0.0 Back: 174.627
INFO - Atoms: 211626/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 8009827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.976 Prop: 10165.198 PropClause: 9959.566 Set: 2315.058 Check: 0.0 Back: 179.548
INFO - Atoms: 211269/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 8220838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.993 Prop: 10428.963 PropClause: 10218.079 Set: 2354.173 Check: 0.0 Back: 184.448
INFO - Atoms: 211011/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 8431461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.013 Prop: 10690.606 PropClause: 10474.488 Set: 2392.59 Check: 0.0 Back: 189.33
INFO - Atoms: 210623/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 8641826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.041 Prop: 10946.947 PropClause: 10725.612 Set: 2462.569 Check: 0.0 Back: 194.207
INFO - Atoms: 210365/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 8851801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.057 Prop: 11202.852 PropClause: 10976.322 Set: 2500.782 Check: 0.0 Back: 199.065
INFO - Atoms: 209975/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 9061052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.085 Prop: 11465.842 PropClause: 11234.104 Set: 2539.135 Check: 0.0 Back: 203.946
INFO - Atoms: 209251/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 9269913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.106 Prop: 11717.899 PropClause: 11481.025 Set: 2577.144 Check: 0.0 Back: 208.822
INFO - Atoms: 208861/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 9478516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.126 Prop: 11983.63 PropClause: 11741.62 Set: 2615.12 Check: 0.0 Back: 213.688
INFO - Atoms: 208603/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 9686733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.142 Prop: 12241.26 PropClause: 11994.109 Set: 2653.343 Check: 0.0 Back: 218.49
INFO - Atoms: 208217/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 9894690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.159 Prop: 12507.581 PropClause: 12255.269 Set: 2691.775 Check: 0.0 Back: 223.335
INFO - Atoms: 207957/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 10102259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.181 Prop: 12768.849 PropClause: 12511.399 Set: 2729.889 Check: 0.0 Back: 228.167
INFO - Atoms: 207569/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 10309572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.198 Prop: 13040.695 PropClause: 12778.101 Set: 2767.886 Check: 0.0 Back: 232.999
INFO - Atoms: 207313/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 10516497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.219 Prop: 13302.735 PropClause: 13035.001 Set: 2806.143 Check: 0.0 Back: 237.843
INFO - Atoms: 206925/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 10723162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.239 Prop: 13569.247 PropClause: 13296.373 Set: 2844.26 Check: 0.0 Back: 242.683
INFO - Atoms: 206665/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 10929441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.255 Prop: 13826.528 PropClause: 13548.523 Set: 2882.058 Check: 0.0 Back: 247.544
INFO - Atoms: 206279/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 11135460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.275 Prop: 14094.688 PropClause: 13811.632 Set: 2919.786 Check: 0.0 Back: 252.357
INFO - Atoms: 206019/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 11341091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.293 Prop: 14357.659 PropClause: 14069.529 Set: 2958.066 Check: 0.0 Back: 257.139
INFO - Atoms: 205631/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 11546464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.313 Prop: 14609.059 PropClause: 14315.856 Set: 2995.004 Check: 0.0 Back: 261.939
INFO - Atoms: 205373/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 11751451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 14856.294 PropClause: 14558.026 Set: 3031.974 Check: 0.0 Back: 266.673
INFO - Atoms: 204987/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 11956180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.353 Prop: 15104.877 PropClause: 14801.564 Set: 3069.092 Check: 0.0 Back: 271.438
INFO - Atoms: 204729/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 12160519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.372 Prop: 15356.439 PropClause: 15048.099 Set: 3106.583 Check: 0.0 Back: 276.14
INFO - Atoms: 204339/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 12364602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.391 Prop: 15605.376 PropClause: 15292.002 Set: 3143.703 Check: 0.0 Back: 280.882
INFO - Atoms: 204083/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 12568297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.413 Prop: 15860.207 PropClause: 15541.799 Set: 3181.065 Check: 0.0 Back: 285.592
INFO - Atoms: 203695/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 12771734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.428 Prop: 16117.106 PropClause: 15793.73 Set: 3218.119 Check: 0.0 Back: 290.269
INFO - Atoms: 203437/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 12974783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.444 Prop: 16363.585 PropClause: 16035.229 Set: 3254.818 Check: 0.0 Back: 294.958
INFO - Atoms: 203049/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 13177574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.464 Prop: 16620.149 PropClause: 16286.765 Set: 3291.816 Check: 0.0 Back: 299.681
INFO - Atoms: 202791/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 13379977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.479 Prop: 16868.933 PropClause: 16530.557 Set: 3328.571 Check: 0.0 Back: 304.396
INFO - Atoms: 202403/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 13582120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.495 Prop: 17119.163 PropClause: 16775.777 Set: 3365.137 Check: 0.0 Back: 309.109
INFO - Atoms: 202143/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 13783877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.516 Prop: 17365.857 PropClause: 17017.475 Set: 3401.597 Check: 0.0 Back: 313.813
INFO - Atoms: 201757/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 13985310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.531 Prop: 17622.683 PropClause: 17269.281 Set: 3438.991 Check: 0.0 Back: 318.517
INFO - Atoms: 201433/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 14186419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.553 Prop: 17875.414 PropClause: 17517.024 Set: 3475.981 Check: 0.0 Back: 323.227
INFO - Atoms: 201109/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 14387267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.568 Prop: 18127.918 PropClause: 17764.556 Set: 3512.678 Check: 0.0 Back: 327.977
INFO - Atoms: 200848/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 14587732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 18376.254 PropClause: 18007.929 Set: 3549.643 Check: 0.0 Back: 332.681
INFO - Atoms: 200465/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 14787937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.602 Prop: 18612.036 PropClause: 18238.726 Set: 3586.099 Check: 0.0 Back: 337.344
INFO - Atoms: 200205/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 14987756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.619 Prop: 18847.021 PropClause: 18468.834 Set: 3621.554 Check: 0.0 Back: 342.003
INFO - Atoms: 199819/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 15187251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.635 Prop: 19085.708 PropClause: 18702.577 Set: 3657.483 Check: 0.0 Back: 346.664
INFO - Atoms: 199495/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 15386422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.654 Prop: 19328.334 PropClause: 18940.165 Set: 3694.416 Check: 0.0 Back: 351.32
INFO - Atoms: 199171/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 15585271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.671 Prop: 19581.681 PropClause: 19188.581 Set: 3730.806 Check: 0.0 Back: 356.047
INFO - Atoms: 198849/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 15783796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.687 Prop: 19826.793 PropClause: 19428.713 Set: 3767.72 Check: 0.0 Back: 360.727
INFO - Atoms: 198525/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 15982065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.705 Prop: 20081.349 PropClause: 19678.345 Set: 3803.865 Check: 0.0 Back: 365.379
INFO - Atoms: 198269/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 16179944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 20329.674 PropClause: 19921.823 Set: 3839.799 Check: 0.0 Back: 370.005
INFO - Atoms: 197879/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 16377565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.737 Prop: 20587.345 PropClause: 20174.578 Set: 3876.471 Check: 0.0 Back: 374.622
INFO - Atoms: 197621/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 16574798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 20834.115 PropClause: 20416.438 Set: 3966.225 Check: 0.0 Back: 379.221
INFO - Atoms: 197233/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 16771773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.769 Prop: 21090.667 PropClause: 20668.092 Set: 4002.574 Check: 0.0 Back: 383.796
INFO - Atoms: 196975/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 16968362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.787 Prop: 21342.998 PropClause: 20915.532 Set: 4039.132 Check: 0.0 Back: 388.388
INFO - Atoms: 196589/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 17164627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.803 Prop: 21600.847 PropClause: 21168.506 Set: 4075.226 Check: 0.0 Back: 393.028
INFO - Atoms: 196265/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 17360570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.822 Prop: 21851.515 PropClause: 21414.291 Set: 4111.717 Check: 0.0 Back: 397.611
INFO - Atoms: 195943/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 17556247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.868 Prop: 22097.005 PropClause: 21654.913 Set: 4147.459 Check: 0.0 Back: 402.254
INFO - Atoms: 195677/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 17751544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.93 Prop: 22337.043 PropClause: 21890.123 Set: 4182.833 Check: 0.0 Back: 406.829
INFO - Atoms: 195297/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 17946517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.943 Prop: 22583.971 PropClause: 22132.244 Set: 4217.802 Check: 0.0 Back: 411.405
INFO - Atoms: 194973/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 18141166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.954 Prop: 22825.545 PropClause: 22369.007 Set: 4252.94 Check: 0.0 Back: 415.956
INFO - Atoms: 194649/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 18335557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.967 Prop: 23069.734 PropClause: 22608.361 Set: 4288.06 Check: 0.0 Back: 420.495
INFO - Atoms: 194391/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 18529562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.98 Prop: 23308.242 PropClause: 22842.082 Set: 4361.616 Check: 0.0 Back: 425.054
INFO - Atoms: 194005/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 18723303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.99 Prop: 23548.656 PropClause: 23077.675 Set: 4396.872 Check: 0.0 Back: 429.626
INFO - Atoms: 193741/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 18916662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.001 Prop: 23790.709 PropClause: 23314.935 Set: 4431.951 Check: 0.0 Back: 434.151
INFO - Atoms: 193359/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 19109757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.013 Prop: 24040.789 PropClause: 23560.192 Set: 4467.692 Check: 0.0 Back: 438.674
INFO - Atoms: 193095/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 19302470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.026 Prop: 24283.266 PropClause: 23797.865 Set: 4503.184 Check: 0.0 Back: 443.203
INFO - Atoms: 192713/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 19494917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.038 Prop: 24531.711 PropClause: 24041.526 Set: 4538.564 Check: 0.0 Back: 447.736
INFO - Atoms: 192447/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 19686982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.05 Prop: 24778.599 PropClause: 24283.644 Set: 4573.78 Check: 0.0 Back: 452.242
INFO - Atoms: 192065/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 19878789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.063 Prop: 25029.105 PropClause: 24529.392 Set: 4608.882 Check: 0.0 Back: 456.763
INFO - Atoms: 191807/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 20070210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.076 Prop: 25282.018 PropClause: 24777.556 Set: 4644.348 Check: 0.0 Back: 461.258
INFO - Atoms: 191421/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 20261307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.087 Prop: 25528.962 PropClause: 25019.749 Set: 4679.202 Check: 0.0 Back: 465.753
INFO - Atoms: 191097/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 20452082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.098 Prop: 25763.251 PropClause: 25249.312 Set: 4713.648 Check: 0.0 Back: 470.223
INFO - Atoms: 190775/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 20642597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.112 Prop: 26008.542 PropClause: 25489.896 Set: 4748.402 Check: 0.0 Back: 474.676
INFO - Atoms: 190515/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 20832726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.125 Prop: 26248.754 PropClause: 25725.313 Set: 4783.454 Check: 0.0 Back: 479.164
INFO - Atoms: 190129/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 21022597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 26490.696 PropClause: 25962.477 Set: 4818.608 Check: 0.0 Back: 483.653
INFO - Atoms: 189871/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 21212078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.151 Prop: 26724.628 PropClause: 26191.651 Set: 4877.004 Check: 0.0 Back: 488.179
INFO - Atoms: 189481/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 21401237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.163 Prop: 26965.628 PropClause: 26427.922 Set: 4911.612 Check: 0.0 Back: 492.66
INFO - Atoms: 189159/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 21590074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.175 Prop: 27207.882 PropClause: 26665.478 Set: 4946.258 Check: 0.0 Back: 497.113
INFO - Atoms: 188837/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 21778653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.186 Prop: 27446.831 PropClause: 26899.76 Set: 4980.35 Check: 0.0 Back: 501.551
INFO - Atoms: 188579/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 21966844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.198 Prop: 27684.021 PropClause: 27132.272 Set: 5015.273 Check: 0.0 Back: 505.966
INFO - Atoms: 188191/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 22154777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.212 Prop: 27917.489 PropClause: 27361.071 Set: 5049.507 Check: 0.0 Back: 510.385
INFO - Atoms: 187933/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 22342320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.224 Prop: 28152.696 PropClause: 27591.611 Set: 5083.72 Check: 0.0 Back: 514.786
INFO - Atoms: 187543/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 22529605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.237 Prop: 28392.473 PropClause: 27826.752 Set: 5172.896 Check: 0.0 Back: 519.206
INFO - Atoms: 187285/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 22716502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.251 Prop: 28623.579 PropClause: 28053.185 Set: 5206.935 Check: 0.0 Back: 523.557
INFO - Atoms: 186897/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 22903141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.262 Prop: 28863.896 PropClause: 28288.845 Set: 5240.828 Check: 0.0 Back: 527.978
INFO - Atoms: 186639/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 23089392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.275 Prop: 29098.658 PropClause: 28518.977 Set: 5274.703 Check: 0.0 Back: 532.379
INFO - Atoms: 186251/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 23275385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.286 Prop: 29341.245 PropClause: 28756.95 Set: 5308.525 Check: 0.0 Back: 536.757
INFO - Atoms: 185993/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 23460992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 29585.072 PropClause: 28996.157 Set: 5342.139 Check: 0.0 Back: 541.14
INFO - Atoms: 185607/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 23646275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.312 Prop: 29817.451 PropClause: 29223.94 Set: 5375.949 Check: 0.0 Back: 545.513
INFO - Atoms: 185283/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 23831236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.324 Prop: 30037.47 PropClause: 29439.372 Set: 5409.409 Check: 0.0 Back: 549.897
INFO - Atoms: 184961/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 24015939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.338 Prop: 30264.849 PropClause: 29662.152 Set: 5442.695 Check: 0.0 Back: 554.254
INFO - Atoms: 184703/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 24200254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.353 Prop: 30486.365 PropClause: 29879.073 Set: 5475.945 Check: 0.0 Back: 558.605
INFO - Atoms: 184315/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 24384311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.368 Prop: 30720.083 PropClause: 30108.215 Set: 5509.446 Check: 0.0 Back: 562.961
INFO - Atoms: 184057/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 24567980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.413 Prop: 30934.665 PropClause: 30318.241 Set: 5542.522 Check: 0.0 Back: 567.281
INFO - Atoms: 183669/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 24751325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.462 Prop: 31167.094 PropClause: 30546.108 Set: 5575.792 Check: 0.0 Back: 571.585
INFO - Atoms: 183345/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 24934346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.474 Prop: 31393.612 PropClause: 30768.085 Set: 5608.85 Check: 0.0 Back: 575.883
INFO - Atoms: 183021/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 25117111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.488 Prop: 31620.993 PropClause: 30990.905 Set: 5641.833 Check: 0.0 Back: 580.209
INFO - Atoms: 182765/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 25299488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.502 Prop: 31848.769 PropClause: 31214.13 Set: 5718.222 Check: 0.0 Back: 584.546
INFO - Atoms: 182377/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 25481607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 32078.7 PropClause: 31439.539 Set: 5751.476 Check: 0.0 Back: 588.803
INFO - Atoms: 182119/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 25663338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.527 Prop: 32306.06 PropClause: 31662.377 Set: 5784.403 Check: 0.0 Back: 593.085
INFO - Atoms: 181731/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 25844811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.538 Prop: 32538.13 PropClause: 31889.958 Set: 5817.344 Check: 0.0 Back: 597.381
INFO - Atoms: 181473/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 26025896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.555 Prop: 32766.627 PropClause: 32113.935 Set: 5877.835 Check: 0.0 Back: 601.639
INFO - Atoms: 181085/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 26206723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.567 Prop: 32998.378 PropClause: 32341.203 Set: 5910.357 Check: 0.0 Back: 605.958
INFO - Atoms: 180827/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 26387162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.58 Prop: 33212.242 PropClause: 32550.58 Set: 5942.575 Check: 0.0 Back: 610.205
INFO - Atoms: 180439/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 26567338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.591 Prop: 33430.735 PropClause: 32764.62 Set: 5974.566 Check: 0.0 Back: 614.435
INFO - Atoms: 180176/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 26747131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.603 Prop: 33643.648 PropClause: 32973.085 Set: 6006.574 Check: 0.0 Back: 618.659
INFO - Atoms: 179793/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 26926664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.618 Prop: 33864.972 PropClause: 33189.874 Set: 6039.348 Check: 0.0 Back: 622.861
INFO - Atoms: 179533/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 27105811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.63 Prop: 34076.456 PropClause: 33396.915 Set: 6071.303 Check: 0.0 Back: 627.083
INFO - Atoms: 179147/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 27284700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.642 Prop: 34299.751 PropClause: 33615.771 Set: 6103.321 Check: 0.0 Back: 631.323
INFO - Atoms: 178889/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 27463199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.657 Prop: 34518.836 PropClause: 33830.404 Set: 6136.234 Check: 0.0 Back: 635.572
INFO - Atoms: 178499/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 27641440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.67 Prop: 34741.754 PropClause: 34048.944 Set: 6168.633 Check: 0.0 Back: 639.795
INFO - Atoms: 178241/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 27819293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.681 Prop: 34966.337 PropClause: 34269.108 Set: 6201.15 Check: 0.0 Back: 643.995
INFO - Atoms: 177853/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 27996824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.691 Prop: 35189.019 PropClause: 34487.333 Set: 6233.76 Check: 0.0 Back: 648.195
INFO - Atoms: 177531/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 28174033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.703 Prop: 35404.264 PropClause: 34698.166 Set: 6265.54 Check: 0.0 Back: 652.368
INFO - Atoms: 177209/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 28350982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 35631.018 PropClause: 34920.518 Set: 6297.82 Check: 0.0 Back: 656.554
INFO - Atoms: 176949/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 28527545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 35849.584 PropClause: 35134.68 Set: 6330.15 Check: 0.0 Back: 660.704
INFO - Atoms: 176563/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 28703850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.734 Prop: 36071.073 PropClause: 35351.799 Set: 6361.784 Check: 0.0 Back: 664.89
INFO - Atoms: 176305/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 28879767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.748 Prop: 36284.88 PropClause: 35561.215 Set: 6433.962 Check: 0.0 Back: 669.014
INFO - Atoms: 175917/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 29055424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 36509.09 PropClause: 35781.045 Set: 6466.3 Check: 0.0 Back: 673.181
INFO - Atoms: 175657/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 29230695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 36710.056 PropClause: 35977.681 Set: 6497.629 Check: 0.0 Back: 677.339
INFO - Atoms: 175271/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 29405708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 36918.113 PropClause: 36181.405 Set: 6528.579 Check: 0.0 Back: 681.474
INFO - Atoms: 175013/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 29580333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.796 Prop: 37121.768 PropClause: 36380.708 Set: 6599.511 Check: 0.0 Back: 685.584
INFO - Atoms: 174625/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 29754700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.81 Prop: 37332.472 PropClause: 36587.059 Set: 6630.958 Check: 0.0 Back: 689.636
INFO - Atoms: 174367/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 29928677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.823 Prop: 37537.815 PropClause: 36788.106 Set: 6662.107 Check: 0.0 Back: 693.811
INFO - Atoms: 173977/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 30102332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.833 Prop: 37745.877 PropClause: 36991.847 Set: 6693.279 Check: 0.0 Back: 697.965
INFO - Atoms: 173655/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 30275665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.845 Prop: 37947.759 PropClause: 37189.431 Set: 6724.42 Check: 0.0 Back: 702.049
INFO - Atoms: 173333/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 30448674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 38163.442 PropClause: 37400.783 Set: 6755.593 Check: 0.0 Back: 706.147
INFO - Atoms: 173009/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 30621361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.868 Prop: 38366.096 PropClause: 37599.156 Set: 6786.763 Check: 0.0 Back: 710.266
INFO - Atoms: 172687/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 30793788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.878 Prop: 38577.888 PropClause: 37806.672 Set: 6817.507 Check: 0.0 Back: 714.375
INFO - Atoms: 172427/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 30965829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 38781.699 PropClause: 38006.194 Set: 6848.654 Check: 0.0 Back: 718.459
INFO - Atoms: 172041/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 31137546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.9 Prop: 38991.227 PropClause: 38211.432 Set: 6879.579 Check: 0.0 Back: 722.509
INFO - Atoms: 171717/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 31308941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 39196.573 PropClause: 38412.525 Set: 6910.432 Check: 0.0 Back: 726.635
INFO - Atoms: 171395/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 31480078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.925 Prop: 39403.677 PropClause: 38615.354 Set: 6941.367 Check: 0.0 Back: 730.691
INFO - Atoms: 171137/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 31650827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 39604.139 PropClause: 38811.6 Set: 6971.971 Check: 0.0 Back: 734.76
INFO - Atoms: 170749/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 31821316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.947 Prop: 39812.05 PropClause: 39015.243 Set: 7026.025 Check: 0.0 Back: 738.813
INFO - Atoms: 170489/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 31991419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.959 Prop: 40010.431 PropClause: 39209.407 Set: 7056.382 Check: 0.0 Back: 742.857
INFO - Atoms: 170103/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 32161264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 40211.713 PropClause: 39406.429 Set: 7086.755 Check: 0.0 Back: 746.895
INFO - Atoms: 169845/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 32330721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.981 Prop: 40405.213 PropClause: 39595.713 Set: 7117.267 Check: 0.0 Back: 750.914
INFO - Atoms: 169457/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 32499920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.993 Prop: 40607.911 PropClause: 39794.192 Set: 7147.801 Check: 0.0 Back: 754.953
INFO - Atoms: 169199/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 32668729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.004 Prop: 40800.05 PropClause: 39982.126 Set: 7177.749 Check: 0.0 Back: 758.963
INFO - Atoms: 168809/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 32837280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.016 Prop: 40999.034 PropClause: 40176.906 Set: 7207.917 Check: 0.0 Back: 762.969
INFO - Atoms: 168551/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 33005445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.03 Prop: 41196.429 PropClause: 40370.154 Set: 7237.648 Check: 0.0 Back: 766.97
INFO - Atoms: 168165/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 33173352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.043 Prop: 41403.805 PropClause: 40573.36 Set: 7267.843 Check: 0.0 Back: 770.999
INFO - Atoms: 167907/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 33340871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.056 Prop: 41605.636 PropClause: 40771.018 Set: 7298.28 Check: 0.0 Back: 775.032
INFO - Atoms: 167519/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 33508130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.068 Prop: 41807.993 PropClause: 40969.208 Set: 7328.251 Check: 0.0 Back: 779.006
INFO - Atoms: 167259/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 33675003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.079 Prop: 42005.226 PropClause: 41162.358 Set: 7358.238 Check: 0.0 Back: 782.995
INFO - Atoms: 166873/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 33841618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.09 Prop: 42211.101 PropClause: 41364.095 Set: 7388.394 Check: 0.0 Back: 786.966
INFO - Atoms: 166615/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 34007845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.1 Prop: 42408.005 PropClause: 41556.842 Set: 7418.313 Check: 0.0 Back: 790.939
INFO - Atoms: 166227/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 34173814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.112 Prop: 42610.136 PropClause: 41754.852 Set: 7447.858 Check: 0.0 Back: 794.899
INFO - Atoms: 165969/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 34339395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.125 Prop: 42800.202 PropClause: 41940.808 Set: 7477.341 Check: 0.0 Back: 798.851
INFO - Atoms: 165581/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 34504718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.137 Prop: 42998.666 PropClause: 42135.149 Set: 7507.112 Check: 0.0 Back: 802.825
INFO - Atoms: 165323/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 34669651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.146 Prop: 43193.136 PropClause: 42325.497 Set: 7536.769 Check: 0.0 Back: 806.761
INFO - Atoms: 164933/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 34834262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.16 Prop: 43385.94 PropClause: 42514.2 Set: 7588.326 Check: 0.0 Back: 810.722
INFO - Atoms: 164611/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 34998551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 43577.17 PropClause: 42701.376 Set: 7618.014 Check: 0.0 Back: 814.622
INFO - Atoms: 164289/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 35162582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 43766.844 PropClause: 42886.982 Set: 7646.856 Check: 0.0 Back: 818.509
INFO - Atoms: 164031/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 35326225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.202 Prop: 43951.76 PropClause: 43067.82 Set: 7676.16 Check: 0.0 Back: 822.456
INFO - Atoms: 163643/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 35489603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.216 Prop: 44143.383 PropClause: 43255.388 Set: 7705.264 Check: 0.0 Back: 826.326
INFO - Atoms: 163378/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 35652598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.229 Prop: 44330.235 PropClause: 43438.142 Set: 7734.565 Check: 0.0 Back: 830.22
INFO - Atoms: 162995/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 35815335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.242 Prop: 44518.6 PropClause: 43622.387 Set: 7763.754 Check: 0.0 Back: 834.146
INFO - Atoms: 162737/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 35977686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.252 Prop: 44703.884 PropClause: 43803.619 Set: 7792.92 Check: 0.0 Back: 837.993
INFO - Atoms: 162351/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 36139779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.265 Prop: 44892.235 PropClause: 43987.922 Set: 7821.379 Check: 0.0 Back: 841.888
INFO - Atoms: 162093/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 36301482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 45076.408 PropClause: 44168.048 Set: 7849.897 Check: 0.0 Back: 845.756
INFO - Atoms: 161703/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 36462927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.291 Prop: 45278.877 PropClause: 44366.455 Set: 7878.872 Check: 0.0 Back: 849.678
INFO - Atoms: 161445/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 36623986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.302 Prop: 45475.308 PropClause: 44558.878 Set: 7907.719 Check: 0.0 Back: 853.531
INFO - Atoms: 161059/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 36784787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.313 Prop: 45673.08 PropClause: 44752.619 Set: 7936.606 Check: 0.0 Back: 857.424
INFO - Atoms: 160801/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 36945198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.327 Prop: 45859.774 PropClause: 44935.304 Set: 7965.457 Check: 0.0 Back: 861.267
INFO - Atoms: 160411/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 37105351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.37 Prop: 46051.403 PropClause: 45122.933 Set: 8064.948 Check: 0.0 Back: 865.136
INFO - Atoms: 160153/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 37265118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.379 Prop: 46246.305 PropClause: 45313.824 Set: 8093.748 Check: 0.0 Back: 868.912
INFO - Atoms: 159767/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 37424561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.386 Prop: 46436.956 PropClause: 45500.501 Set: 8122.176 Check: 0.0 Back: 872.742
INFO - Atoms: 159443/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 37583682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.393 Prop: 46623.249 PropClause: 45682.841 Set: 8150.845 Check: 0.0 Back: 876.549
INFO - Atoms: 159121/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 37742479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 46819.804 PropClause: 45875.414 Set: 8179.455 Check: 0.0 Back: 880.342
INFO - Atoms: 158797/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 37900954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.41 Prop: 46994.474 PropClause: 46046.126 Set: 8236.839 Check: 0.0 Back: 884.161
INFO - Atoms: 158475/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 38059171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.446 Prop: 47171.236 PropClause: 46218.949 Set: 8264.822 Check: 0.0 Back: 887.921
INFO - Atoms: 158217/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 38217000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.485 Prop: 47344.114 PropClause: 46387.904 Set: 8292.652 Check: 0.0 Back: 891.733
INFO - Atoms: 157829/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 38374569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.492 Prop: 47517.691 PropClause: 46557.559 Set: 8320.354 Check: 0.0 Back: 895.482
INFO - Atoms: 157569/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 38531752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.499 Prop: 47692.095 PropClause: 46728.058 Set: 8347.808 Check: 0.0 Back: 899.2
INFO - Atoms: 157183/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 38688669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.509 Prop: 47879.943 PropClause: 46911.981 Set: 8408.013 Check: 0.0 Back: 902.97
INFO - Atoms: 156917/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 38845206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.517 Prop: 48057.889 PropClause: 47086.029 Set: 8435.967 Check: 0.0 Back: 906.734
INFO - Atoms: 156537/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 39001485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.523 Prop: 48242.198 PropClause: 47266.445 Set: 8463.748 Check: 0.0 Back: 910.476
INFO - Atoms: 156279/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 39157374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.543 Prop: 48423.703 PropClause: 47444.063 Set: 8491.76 Check: 0.0 Back: 914.241
INFO - Atoms: 155889/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 39313007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 48606.903 PropClause: 47623.399 Set: 8519.377 Check: 0.0 Back: 917.983
INFO - Atoms: 155633/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 39468252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.559 Prop: 48791.198 PropClause: 47803.802 Set: 8575.491 Check: 0.0 Back: 921.683
INFO - Atoms: 155245/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 39623232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.565 Prop: 48974.431 PropClause: 47983.138 Set: 8602.913 Check: 0.0 Back: 925.38
INFO - Atoms: 154980/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 39777829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.572 Prop: 49154.377 PropClause: 48159.235 Set: 8630.928 Check: 0.0 Back: 929.068
INFO - Atoms: 154597/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 39932163 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.579 Prop: 49342.596 PropClause: 48343.555 Set: 8658.808 Check: 0.0 Back: 932.754
INFO - Atoms: 154334/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 40086116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.588 Prop: 49526.013 PropClause: 48523.048 Set: 8687.026 Check: 0.0 Back: 936.464
INFO - Atoms: 153953/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 40239809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.595 Prop: 49707.654 PropClause: 48700.822 Set: 8752.456 Check: 0.0 Back: 940.174
INFO - Atoms: 153693/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 40393114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 49881.954 PropClause: 48871.284 Set: 8779.556 Check: 0.0 Back: 943.848
INFO - Atoms: 153305/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 40546097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.61 Prop: 50059.707 PropClause: 49045.206 Set: 8806.636 Check: 0.0 Back: 947.549
INFO - Atoms: 152983/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 40698758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 50231.137 PropClause: 49212.797 Set: 8833.907 Check: 0.0 Back: 951.226
INFO - Atoms: 152661/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 40851095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.625 Prop: 50403.587 PropClause: 49381.423 Set: 8860.708 Check: 0.0 Back: 954.927
INFO - Atoms: 152337/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 41003108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.634 Prop: 50572.19 PropClause: 49546.213 Set: 8887.852 Check: 0.0 Back: 958.632
INFO - Atoms: 152013/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 41154863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 50746.427 PropClause: 49716.641 Set: 8914.693 Check: 0.0 Back: 962.332
INFO - Atoms: 151755/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 41306232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.65 Prop: 50917.251 PropClause: 49883.659 Set: 8941.403 Check: 0.0 Back: 965.977
INFO - Atoms: 151369/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 41457343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.657 Prop: 51088.317 PropClause: 50050.992 Set: 8967.952 Check: 0.0 Back: 969.636
INFO - Atoms: 151111/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 41608066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.665 Prop: 51265.78 PropClause: 50224.679 Set: 8994.863 Check: 0.0 Back: 973.263
INFO - Atoms: 150723/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 41758465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.671 Prop: 51443.614 PropClause: 50398.776 Set: 9021.681 Check: 0.0 Back: 976.9
INFO - Atoms: 150399/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 41908542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.678 Prop: 51614.164 PropClause: 50565.571 Set: 9048.308 Check: 0.0 Back: 980.532
INFO - Atoms: 150077/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 42058295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.685 Prop: 51780.972 PropClause: 50728.664 Set: 9074.813 Check: 0.0 Back: 984.161
INFO - Atoms: 149753/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 42207726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.691 Prop: 51947.973 PropClause: 50891.957 Set: 9101.354 Check: 0.0 Back: 987.744
INFO - Atoms: 149431/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 42356891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.698 Prop: 52119.974 PropClause: 51060.239 Set: 9127.775 Check: 0.0 Back: 991.307
INFO - Atoms: 149165/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 42505676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.705 Prop: 52288.968 PropClause: 51225.503 Set: 9154.446 Check: 0.0 Back: 994.877
INFO - Atoms: 148785/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 42654203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.713 Prop: 52463.088 PropClause: 51395.873 Set: 9226.974 Check: 0.0 Back: 998.477
INFO - Atoms: 148527/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 42802342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.721 Prop: 52625.713 PropClause: 51554.792 Set: 9252.96 Check: 0.0 Back: 1002.103
INFO - Atoms: 148139/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 42950157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.728 Prop: 52795.139 PropClause: 51720.515 Set: 9279.401 Check: 0.0 Back: 1005.711
INFO - Atoms: 147815/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 43097648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 52962.219 PropClause: 51883.912 Set: 9305.677 Check: 0.0 Back: 1009.322
INFO - Atoms: 147491/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 43244883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.742 Prop: 53127.069 PropClause: 52045.087 Set: 9331.451 Check: 0.0 Back: 1012.895
INFO - Atoms: 147235/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 43391730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.749 Prop: 53297.276 PropClause: 52211.66 Set: 9357.532 Check: 0.0 Back: 1016.451
INFO - Atoms: 146847/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 43538310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 53456.536 PropClause: 52367.264 Set: 9382.907 Check: 0.0 Back: 1019.975
INFO - Atoms: 146580/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 43684509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.764 Prop: 53610.521 PropClause: 52517.6 Set: 9408.114 Check: 0.0 Back: 1023.515
INFO - Atoms: 146199/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 43830450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 53764.151 PropClause: 52667.567 Set: 9433.584 Check: 0.0 Back: 1027.052
INFO - Atoms: 145941/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 43976005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.778 Prop: 53916.058 PropClause: 52815.832 Set: 9458.756 Check: 0.0 Back: 1030.59
INFO - Atoms: 145555/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 44121302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.785 Prop: 54066.504 PropClause: 52962.637 Set: 9483.981 Check: 0.0 Back: 1034.095
INFO - Atoms: 145297/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 44266211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 54222.376 PropClause: 53114.883 Set: 9542.391 Check: 0.0 Back: 1037.625
INFO - Atoms: 144909/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 44410862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.801 Prop: 54380.096 PropClause: 53268.994 Set: 9568.092 Check: 0.0 Back: 1041.085
INFO - Atoms: 144651/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 44555125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.81 Prop: 54534.005 PropClause: 53419.316 Set: 9593.206 Check: 0.0 Back: 1044.586
INFO - Atoms: 144263/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 44699122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 54696.025 PropClause: 53577.711 Set: 9618.801 Check: 0.0 Back: 1048.121
INFO - Atoms: 143997/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 44842739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.825 Prop: 54858.883 PropClause: 53736.961 Set: 9644.223 Check: 0.0 Back: 1051.651
INFO - Atoms: 143617/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 44986096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.832 Prop: 55015.217 PropClause: 53889.7 Set: 9669.608 Check: 0.0 Back: 1055.173
INFO - Atoms: 143357/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 45129067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 55168.182 PropClause: 54039.112 Set: 9694.796 Check: 0.0 Back: 1058.686
INFO - Atoms: 142971/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 45271714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.848 Prop: 55322.613 PropClause: 54189.987 Set: 9722.966 Check: 0.0 Back: 1062.16
INFO - Atoms: 142647/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 45414039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.856 Prop: 55481.485 PropClause: 54345.319 Set: 9748.098 Check: 0.0 Back: 1065.582
INFO - Atoms: 142325/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 45556106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.864 Prop: 55638.665 PropClause: 54498.955 Set: 9773.246 Check: 0.0 Back: 1069.036
INFO - Atoms: 142067/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 45697785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.873 Prop: 55788.866 PropClause: 54645.615 Set: 9797.763 Check: 0.0 Back: 1072.458
INFO - Atoms: 141679/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 45839206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.884 Prop: 55948.203 PropClause: 54801.398 Set: 9822.937 Check: 0.0 Back: 1075.86
INFO - Atoms: 141421/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 45980239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.891 Prop: 56100.132 PropClause: 54949.807 Set: 9847.796 Check: 0.0 Back: 1079.324
INFO - Atoms: 141033/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 46121014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.898 Prop: 56261.229 PropClause: 55107.398 Set: 9872.842 Check: 0.0 Back: 1082.725
INFO - Atoms: 140775/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 46261399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.906 Prop: 56411.557 PropClause: 55254.222 Set: 9897.098 Check: 0.0 Back: 1086.161
INFO - Atoms: 140385/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 46401526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.915 Prop: 56559.93 PropClause: 55399.114 Set: 9921.398 Check: 0.0 Back: 1089.551
INFO - Atoms: 140127/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 46541267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.923 Prop: 56702.535 PropClause: 55538.246 Set: 9945.253 Check: 0.0 Back: 1092.943
INFO - Atoms: 139741/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 46680750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.931 Prop: 56850.275 PropClause: 55682.536 Set: 9969.251 Check: 0.0 Back: 1096.298
INFO - Atoms: 139483/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 46819845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.941 Prop: 56990.577 PropClause: 55819.37 Set: 9993.071 Check: 0.0 Back: 1099.69
INFO - Atoms: 139095/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 46958673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 57139.576 PropClause: 55964.934 Set: 10017.067 Check: 0.0 Back: 1103.062
INFO - Atoms: 138828/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 47097120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.957 Prop: 57282.354 PropClause: 56104.268 Set: 10041.238 Check: 0.0 Back: 1106.414
INFO - Atoms: 138447/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 47235245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.964 Prop: 57423.193 PropClause: 56241.69 Set: 10064.985 Check: 0.0 Back: 1109.753
INFO - Atoms: 138125/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 47373046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.972 Prop: 57568.015 PropClause: 56383.091 Set: 10088.857 Check: 0.0 Back: 1113.095
INFO - Atoms: 137801/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 47510591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 57709.636 PropClause: 56521.28 Set: 10112.664 Check: 0.0 Back: 1116.435
INFO - Atoms: 137545/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 47647746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.987 Prop: 57848.459 PropClause: 56656.692 Set: 10136.376 Check: 0.0 Back: 1119.753
INFO - Atoms: 137155/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 47784645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.995 Prop: 57994.816 PropClause: 56799.631 Set: 10160.299 Check: 0.0 Back: 1123.091
INFO - Atoms: 136899/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 47921154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 58144.331 PropClause: 56945.737 Set: 10184.006 Check: 0.0 Back: 1126.43
INFO - Atoms: 136509/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 48057405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 58286.28 PropClause: 57084.289 Set: 10207.742 Check: 0.0 Back: 1129.747
INFO - Atoms: 136251/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 48193270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 58429.716 PropClause: 57224.37 Set: 10231.262 Check: 0.0 Back: 1133.086
INFO - Atoms: 135865/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 48328875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.023 Prop: 58574.158 PropClause: 57365.44 Set: 10254.791 Check: 0.0 Back: 1136.35
INFO - Atoms: 135605/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 48464094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.03 Prop: 58712.38 PropClause: 57500.294 Set: 10278.303 Check: 0.0 Back: 1139.644
INFO - Atoms: 135219/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 48599055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.038 Prop: 58856.074 PropClause: 57640.62 Set: 10301.624 Check: 0.0 Back: 1142.937
INFO - Atoms: 134961/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 48733626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 59006.238 PropClause: 57787.419 Set: 10325.012 Check: 0.0 Back: 1146.233
INFO - Atoms: 134571/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 48867939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.054 Prop: 59143.891 PropClause: 57921.74 Set: 10348.347 Check: 0.0 Back: 1149.514
INFO - Atoms: 134313/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 49001866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.061 Prop: 59284.747 PropClause: 58059.266 Set: 10371.353 Check: 0.0 Back: 1152.795
INFO - Atoms: 133927/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 49135535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.069 Prop: 59420.698 PropClause: 58191.883 Set: 10394.349 Check: 0.0 Back: 1156.074
INFO - Atoms: 133669/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 49268816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.077 Prop: 59550.254 PropClause: 58318.07 Set: 10448.229 Check: 0.0 Back: 1159.316
INFO - Atoms: 133281/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 49401837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 59683.01 PropClause: 58447.53 Set: 10471.038 Check: 0.0 Back: 1162.577
INFO - Atoms: 133021/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 49534470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.09 Prop: 59814.805 PropClause: 58576.064 Set: 10493.768 Check: 0.0 Back: 1165.834
INFO - Atoms: 132633/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 49666842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 59946.695 PropClause: 58704.667 Set: 10516.319 Check: 0.0 Back: 1169.081
INFO - Atoms: 132372/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 49798829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 60074.057 PropClause: 58828.766 Set: 10538.772 Check: 0.0 Back: 1172.315
INFO - Atoms: 131987/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 49930558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.111 Prop: 60208.056 PropClause: 58959.497 Set: 10561.363 Check: 0.0 Back: 1175.525
INFO - Atoms: 131729/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 50061899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 60339.447 PropClause: 59087.629 Set: 10583.951 Check: 0.0 Back: 1178.739
INFO - Atoms: 131341/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 50192982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.125 Prop: 60473.384 PropClause: 59218.287 Set: 10606.437 Check: 0.0 Back: 1181.956
INFO - Atoms: 131083/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 50323679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 60606.782 PropClause: 59348.446 Set: 10628.773 Check: 0.0 Back: 1185.19
INFO - Atoms: 130697/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 50454118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.139 Prop: 60737.215 PropClause: 59475.633 Set: 10651.083 Check: 0.0 Back: 1188.378
INFO - Atoms: 130439/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 50584169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 60866.286 PropClause: 59601.481 Set: 10673.367 Check: 0.0 Back: 1191.579
INFO - Atoms: 130051/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 50713962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 61002.078 PropClause: 59734.037 Set: 10695.597 Check: 0.0 Back: 1194.758
INFO - Atoms: 129793/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 50843367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 61126.515 PropClause: 59855.27 Set: 10717.378 Check: 0.0 Back: 1197.915
INFO - Atoms: 129405/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 50972514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.167 Prop: 61257.469 PropClause: 59983.018 Set: 10769.851 Check: 0.0 Back: 1201.097
INFO - Atoms: 129147/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 51101273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.174 Prop: 61387.822 PropClause: 60110.165 Set: 10792.069 Check: 0.0 Back: 1204.203
INFO - Atoms: 128759/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 51229708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 61517.053 PropClause: 60236.182 Set: 10814.387 Check: 0.0 Back: 1207.354
INFO - Atoms: 128435/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 51357819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.187 Prop: 61648.759 PropClause: 60364.693 Set: 10836.39 Check: 0.0 Back: 1210.516
INFO - Atoms: 128111/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 51485727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 61780.437 PropClause: 60493.14 Set: 10858.628 Check: 0.0 Back: 1213.662
INFO - Atoms: 127908/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 51611600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.202 Prop: 61901.561 PropClause: 60611.142 Set: 10879.73 Check: 0.0 Back: 1216.813
INFO - Atoms: 125873/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 51737215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.211 Prop: 62025.993 PropClause: 60732.465 Set: 10901.097 Check: 0.0 Back: 1219.879
INFO - Atoms: 125615/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 51862442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.22 Prop: 62155.795 PropClause: 60859.121 Set: 10922.805 Check: 0.0 Back: 1222.977
INFO - Atoms: 125227/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 51987345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.228 Prop: 62273.445 PropClause: 60973.666 Set: 10943.613 Check: 0.0 Back: 1226.046
INFO - Atoms: 124903/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 52111924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.234 Prop: 62393.121 PropClause: 61090.263 Set: 10964.557 Check: 0.0 Back: 1229.11
INFO - Atoms: 124579/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 52236245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.242 Prop: 62517.568 PropClause: 61211.595 Set: 10986.257 Check: 0.0 Back: 1232.16
INFO - Atoms: 124321/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 52360180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.249 Prop: 62634.135 PropClause: 61325.094 Set: 11006.947 Check: 0.0 Back: 1235.264
INFO - Atoms: 123935/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 52483855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.256 Prop: 62759.192 PropClause: 61447.064 Set: 11028.115 Check: 0.0 Back: 1238.31
INFO - Atoms: 123675/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 52607144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.265 Prop: 62875.372 PropClause: 61560.159 Set: 11049.25 Check: 0.0 Back: 1241.361
INFO - Atoms: 123289/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 52730175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 62994.79 PropClause: 61676.536 Set: 11069.763 Check: 0.0 Back: 1244.393
INFO - Atoms: 123031/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 52852816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 63117.817 PropClause: 61796.522 Set: 11090.43 Check: 0.0 Back: 1247.421
INFO - Atoms: 122641/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 52975201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.288 Prop: 63235.781 PropClause: 61911.462 Set: 11111.089 Check: 0.0 Back: 1250.424
INFO - Atoms: 122385/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 53097196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 63353.433 PropClause: 62026.095 Set: 11131.528 Check: 0.0 Back: 1253.421
INFO - Atoms: 121995/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 53218933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 63472.62 PropClause: 62142.253 Set: 11151.85 Check: 0.0 Back: 1256.425
INFO - Atoms: 121737/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 53340284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.309 Prop: 63582.882 PropClause: 62249.496 Set: 11172.146 Check: 0.0 Back: 1259.405
INFO - Atoms: 121351/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 53461377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.316 Prop: 63699.592 PropClause: 62363.206 Set: 11192.517 Check: 0.0 Back: 1262.403
INFO - Atoms: 121093/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 53582080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 63814.321 PropClause: 62474.903 Set: 11212.786 Check: 0.0 Back: 1265.378
INFO - Atoms: 120703/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 53702527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.331 Prop: 63927.114 PropClause: 62584.679 Set: 11232.913 Check: 0.0 Back: 1268.393
INFO - Atoms: 120447/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 53822586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.338 Prop: 64039.495 PropClause: 62694.115 Set: 11253.031 Check: 0.0 Back: 1271.392
INFO - Atoms: 120059/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 53942387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.344 Prop: 64155.563 PropClause: 62807.199 Set: 11273.248 Check: 0.0 Back: 1274.331
INFO - Atoms: 119801/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 54061800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.353 Prop: 64264.241 PropClause: 62912.899 Set: 11293.099 Check: 0.0 Back: 1277.319
INFO - Atoms: 119413/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 54180889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 64379.316 PropClause: 63025.009 Set: 11312.883 Check: 0.0 Back: 1280.255
INFO - Atoms: 119089/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 54299656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 64483.366 PropClause: 63126.113 Set: 11332.499 Check: 0.0 Back: 1283.208
INFO - Atoms: 118767/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 54418165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.377 Prop: 64599.234 PropClause: 63239.009 Set: 11384.263 Check: 0.0 Back: 1286.128
INFO - Atoms: 118509/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 54536284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 64711.693 PropClause: 63348.516 Set: 11404.108 Check: 0.0 Back: 1289.073
INFO - Atoms: 118119/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 54654145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 64822.365 PropClause: 63456.238 Set: 11424.039 Check: 0.0 Back: 1292.026
INFO - Atoms: 117861/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 54771618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 64931.964 PropClause: 63562.897 Set: 11443.678 Check: 0.0 Back: 1294.969
INFO - Atoms: 117473/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 54888769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.412 Prop: 65042.514 PropClause: 63670.528 Set: 11463.302 Check: 0.0 Back: 1297.905
INFO - Atoms: 117151/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 55005598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 65143.86 PropClause: 63768.971 Set: 11482.613 Check: 0.0 Back: 1300.827
INFO - Atoms: 116829/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 55122169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.425 Prop: 65255.901 PropClause: 63878.056 Set: 11502.275 Check: 0.0 Back: 1303.722
INFO - Atoms: 116571/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 55238352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.432 Prop: 65359.118 PropClause: 63978.39 Set: 11521.653 Check: 0.0 Back: 1306.614
INFO - Atoms: 116183/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 55354277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.44 Prop: 65459.556 PropClause: 64075.942 Set: 11540.591 Check: 0.0 Back: 1309.513
INFO - Atoms: 115925/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 55469814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 65563.741 PropClause: 64177.261 Set: 11559.657 Check: 0.0 Back: 1312.408
INFO - Atoms: 115537/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 55585093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.456 Prop: 65660.664 PropClause: 64271.312 Set: 11578.433 Check: 0.0 Back: 1315.286
INFO - Atoms: 115279/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 55699982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 65764.251 PropClause: 64372.042 Set: 11597.425 Check: 0.0 Back: 1318.193
INFO - Atoms: 114889/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 55814549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 65870.095 PropClause: 64475.014 Set: 11616.221 Check: 0.0 Back: 1320.972
INFO - Atoms: 114567/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 55928794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 65967.251 PropClause: 64569.331 Set: 11634.964 Check: 0.0 Back: 1323.829
INFO - Atoms: 114245/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 56042779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 66073.039 PropClause: 64672.281 Set: 11653.875 Check: 0.0 Back: 1326.687
INFO - Atoms: 113985/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 56156376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 66173.227 PropClause: 64769.639 Set: 11706.227 Check: 0.0 Back: 1329.527
INFO - Atoms: 113597/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 56269715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.498 Prop: 66276.152 PropClause: 64869.756 Set: 11724.905 Check: 0.0 Back: 1332.281
INFO - Atoms: 113339/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 56382666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 66379.649 PropClause: 64970.425 Set: 11743.515 Check: 0.0 Back: 1335.091
INFO - Atoms: 112951/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 56495295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 66476.417 PropClause: 65064.401 Set: 11762.0 Check: 0.0 Back: 1337.92
INFO - Atoms: 112629/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 56607602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.518 Prop: 66577.824 PropClause: 65163.016 Set: 11780.482 Check: 0.0 Back: 1340.731
INFO - Atoms: 112307/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 56719651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.524 Prop: 66681.279 PropClause: 65263.676 Set: 11798.883 Check: 0.0 Back: 1343.509
INFO - Atoms: 112049/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 56831310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 66777.475 PropClause: 65357.109 Set: 11817.185 Check: 0.0 Back: 1346.301
INFO - Atoms: 111659/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 56942708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 66879.802 PropClause: 65456.681 Set: 11835.705 Check: 0.0 Back: 1349.038
INFO - Atoms: 111398/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 57053723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 66974.907 PropClause: 65549.021 Set: 11877.471 Check: 0.0 Back: 1351.843
INFO - Atoms: 111015/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 57164478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 67073.983 PropClause: 65645.351 Set: 11895.611 Check: 0.0 Back: 1354.623
INFO - Atoms: 110755/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 57274847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.563 Prop: 67174.409 PropClause: 65743.033 Set: 11913.787 Check: 0.0 Back: 1357.393
INFO - Atoms: 110369/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 57384958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.569 Prop: 67264.115 PropClause: 65829.999 Set: 11931.621 Check: 0.0 Back: 1360.154
INFO - Atoms: 110111/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 57494681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 67359.594 PropClause: 65922.754 Set: 11949.434 Check: 0.0 Back: 1362.942
INFO - Atoms: 109723/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 57604146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 67450.765 PropClause: 66011.203 Set: 11967.343 Check: 0.0 Back: 1365.683
INFO - Atoms: 109465/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 57713221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 67542.768 PropClause: 66100.497 Set: 11984.973 Check: 0.0 Back: 1368.411
INFO - Atoms: 109075/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 57822034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.594 Prop: 67635.502 PropClause: 66190.499 Set: 12002.759 Check: 0.0 Back: 1371.123
INFO - Atoms: 108813/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 57930465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.603 Prop: 67721.709 PropClause: 66273.901 Set: 12050.229 Check: 0.0 Back: 1373.883
INFO - Atoms: 108431/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 58038636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.61 Prop: 67813.589 PropClause: 66363.091 Set: 12067.704 Check: 0.0 Back: 1376.556
INFO - Atoms: 108171/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 58146421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.618 Prop: 67898.711 PropClause: 66445.523 Set: 12085.074 Check: 0.0 Back: 1379.281
INFO - Atoms: 107785/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 58253948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.625 Prop: 67988.326 PropClause: 66532.484 Set: 12102.256 Check: 0.0 Back: 1381.958
INFO - Atoms: 107527/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 58361087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.632 Prop: 68079.214 PropClause: 66620.687 Set: 12119.504 Check: 0.0 Back: 1384.672
INFO - Atoms: 107139/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 58467968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 68165.611 PropClause: 66704.439 Set: 12136.54 Check: 0.0 Back: 1387.353
INFO - Atoms: 106881/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 58574461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 68257.719 PropClause: 66793.913 Set: 12153.837 Check: 0.0 Back: 1390.049
INFO - Atoms: 106493/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 58680694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.653 Prop: 68348.333 PropClause: 66881.889 Set: 12171.254 Check: 0.0 Back: 1392.699
INFO - Atoms: 106233/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 58786539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.66 Prop: 68436.906 PropClause: 66967.829 Set: 12188.4 Check: 0.0 Back: 1395.42
INFO - Atoms: 105845/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 58892126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.668 Prop: 68528.344 PropClause: 67056.638 Set: 12205.54 Check: 0.0 Back: 1398.097
INFO - Atoms: 105587/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 58997327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.675 Prop: 68611.018 PropClause: 67136.69 Set: 12222.514 Check: 0.0 Back: 1400.767
INFO - Atoms: 105201/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 59102270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.681 Prop: 68701.05 PropClause: 67224.122 Set: 12239.641 Check: 0.0 Back: 1403.408
INFO - Atoms: 104943/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 59206825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 68787.242 PropClause: 67307.702 Set: 12256.456 Check: 0.0 Back: 1406.083
INFO - Atoms: 104555/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 59311056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.694 Prop: 68877.294 PropClause: 67395.178 Set: 12273.322 Check: 0.0 Back: 1408.713
INFO - Atoms: 104231/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 59414963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.701 Prop: 68967.503 PropClause: 67482.809 Set: 12290.198 Check: 0.0 Back: 1411.362
INFO - Atoms: 103907/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 59518614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 69050.728 PropClause: 67563.443 Set: 12306.853 Check: 0.0 Back: 1414.011
INFO - Atoms: 103651/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 59621877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.716 Prop: 69135.9 PropClause: 67646.067 Set: 12323.328 Check: 0.0 Back: 1416.644
INFO - Atoms: 103263/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 59724882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.724 Prop: 69215.182 PropClause: 67722.793 Set: 12366.878 Check: 0.0 Back: 1419.235
INFO - Atoms: 103005/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 59827499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.731 Prop: 69299.245 PropClause: 67804.282 Set: 12383.377 Check: 0.0 Back: 1421.808
INFO - Atoms: 102617/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 59928262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.74 Prop: 69380.501 PropClause: 67883.027 Set: 12399.387 Check: 0.0 Back: 1424.402
INFO - Atoms: 100763/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 60028637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 69458.464 PropClause: 67958.505 Set: 12415.033 Check: 0.0 Back: 1426.929
INFO - Atoms: 100375/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 60128754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.753 Prop: 69539.682 PropClause: 68037.223 Set: 12430.979 Check: 0.0 Back: 1429.474
INFO - Atoms: 100117/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 60228483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.761 Prop: 69612.302 PropClause: 68107.359 Set: 12446.532 Check: 0.0 Back: 1432.033
INFO - Atoms: 99729/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 60327954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.767 Prop: 69688.458 PropClause: 68181.052 Set: 12462.061 Check: 0.0 Back: 1434.568
INFO - Atoms: 99471/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 60427039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 69760.159 PropClause: 68250.287 Set: 12477.417 Check: 0.0 Back: 1437.088
INFO - Atoms: 99085/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 60525864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.782 Prop: 69834.457 PropClause: 68322.138 Set: 12492.934 Check: 0.0 Back: 1439.624
INFO - Atoms: 98825/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 60624303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 69906.39 PropClause: 68391.615 Set: 12530.903 Check: 0.0 Back: 1442.168
INFO - Atoms: 98439/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 60722484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 69980.076 PropClause: 68462.884 Set: 12545.969 Check: 0.0 Back: 1444.668
INFO - Atoms: 98181/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 60820277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.803 Prop: 70056.765 PropClause: 68537.14 Set: 12561.287 Check: 0.0 Back: 1447.189
INFO - Atoms: 97793/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 60917812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.81 Prop: 70123.609 PropClause: 68601.557 Set: 12576.37 Check: 0.0 Back: 1449.668
INFO - Atoms: 97535/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 61014959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.817 Prop: 70196.693 PropClause: 68672.228 Set: 12591.387 Check: 0.0 Back: 1452.216
INFO - Atoms: 97147/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 61111848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.824 Prop: 70262.931 PropClause: 68736.059 Set: 12606.205 Check: 0.0 Back: 1454.697
INFO - Atoms: 96889/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 61208349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 70334.14 PropClause: 68804.878 Set: 12621.254 Check: 0.0 Back: 1457.219
INFO - Atoms: 96501/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 61304592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 70403.574 PropClause: 68871.923 Set: 12636.335 Check: 0.0 Back: 1459.662
INFO - Atoms: 96243/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 61400447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.843 Prop: 70477.424 PropClause: 68943.399 Set: 12651.229 Check: 0.0 Back: 1462.118
INFO - Atoms: 95855/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 61496044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.85 Prop: 70546.671 PropClause: 69010.276 Set: 12666.078 Check: 0.0 Back: 1464.552
INFO - Atoms: 95597/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 61591253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 70620.119 PropClause: 69081.323 Set: 12681.133 Check: 0.0 Back: 1466.981
INFO - Atoms: 95209/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 61686204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 70691.954 PropClause: 69150.807 Set: 12695.956 Check: 0.0 Back: 1469.386
INFO - Atoms: 94951/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 61780767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.871 Prop: 70757.512 PropClause: 69214.009 Set: 12710.457 Check: 0.0 Back: 1471.813
INFO - Atoms: 94563/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 61875072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.879 Prop: 70828.088 PropClause: 69282.233 Set: 12725.119 Check: 0.0 Back: 1474.245
INFO - Atoms: 94305/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 61968989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.885 Prop: 70892.45 PropClause: 69344.254 Set: 12739.533 Check: 0.0 Back: 1476.712
INFO - Atoms: 93917/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 62062648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 70959.761 PropClause: 69409.228 Set: 12754.039 Check: 0.0 Back: 1479.147
INFO - Atoms: 93659/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 62155919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 71023.282 PropClause: 69470.408 Set: 12768.336 Check: 0.0 Back: 1481.599
INFO - Atoms: 93271/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 62248932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.903 Prop: 71090.195 PropClause: 69535.001 Set: 12782.849 Check: 0.0 Back: 1483.987
INFO - Atoms: 93013/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 62341557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.909 Prop: 71155.87 PropClause: 69598.364 Set: 12797.228 Check: 0.0 Back: 1486.389
INFO - Atoms: 92625/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 62433924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.916 Prop: 71222.818 PropClause: 69663.009 Set: 12811.556 Check: 0.0 Back: 1488.76
INFO - Atoms: 92367/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 62525903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.922 Prop: 71290.002 PropClause: 69727.901 Set: 12825.876 Check: 0.0 Back: 1491.157
INFO - Atoms: 91979/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 62617624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.929 Prop: 71352.318 PropClause: 69787.948 Set: 12839.772 Check: 0.0 Back: 1493.53
INFO - Atoms: 91721/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 62708957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.935 Prop: 71420.78 PropClause: 69854.124 Set: 12854.117 Check: 0.0 Back: 1495.929
INFO - Atoms: 91333/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 62800032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.941 Prop: 71478.976 PropClause: 69910.066 Set: 12867.841 Check: 0.0 Back: 1498.287
INFO - Atoms: 91075/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 62890717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.948 Prop: 71543.744 PropClause: 69972.574 Set: 12881.796 Check: 0.0 Back: 1500.654
INFO - Atoms: 90685/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 62981144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 71606.358 PropClause: 70032.902 Set: 12895.748 Check: 0.0 Back: 1502.983
INFO - Atoms: 90427/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 63071185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 71668.771 PropClause: 70093.082 Set: 12909.503 Check: 0.0 Back: 1505.372
INFO - Atoms: 90041/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 63160968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.968 Prop: 71723.397 PropClause: 70145.482 Set: 12922.961 Check: 0.0 Back: 1507.687
INFO - Atoms: 89783/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 63250363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 71784.912 PropClause: 70204.786 Set: 12936.447 Check: 0.0 Back: 1510.025
INFO - Atoms: 89395/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 63339498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.982 Prop: 71839.643 PropClause: 70257.304 Set: 12949.737 Check: 0.0 Back: 1512.346
INFO - Atoms: 89135/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 63428247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 71899.944 PropClause: 70315.412 Set: 12963.252 Check: 0.0 Back: 1514.654
INFO - Atoms: 88749/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 63516738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.994 Prop: 71957.48 PropClause: 70370.761 Set: 12976.714 Check: 0.0 Back: 1516.929
INFO - Atoms: 88491/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 63604841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 72015.204 PropClause: 70426.306 Set: 12989.903 Check: 0.0 Back: 1519.228
INFO - Atoms: 88103/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 63692686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 72072.089 PropClause: 70481.01 Set: 13003.163 Check: 0.0 Back: 1521.5
INFO - Atoms: 87845/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 63780143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 72129.208 PropClause: 70535.948 Set: 13016.265 Check: 0.0 Back: 1523.767
INFO - Atoms: 87457/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 63867342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 72186.866 PropClause: 70591.464 Set: 13029.446 Check: 0.0 Back: 1526.032
INFO - Atoms: 87199/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 63954151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.029 Prop: 72243.248 PropClause: 70645.689 Set: 13042.432 Check: 0.0 Back: 1528.271
INFO - Atoms: 86809/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 64040702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 72299.211 PropClause: 70699.516 Set: 13055.266 Check: 0.0 Back: 1530.521
INFO - Atoms: 86551/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 64126867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.042 Prop: 72353.5 PropClause: 70751.666 Set: 13068.116 Check: 0.0 Back: 1532.746
INFO - Atoms: 86165/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 64212772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.05 Prop: 72408.685 PropClause: 70804.715 Set: 13110.578 Check: 0.0 Back: 1535.013
INFO - Atoms: 85905/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 64298289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.056 Prop: 72460.435 PropClause: 70854.343 Set: 13123.231 Check: 0.0 Back: 1537.197
INFO - Atoms: 85517/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 64383548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.064 Prop: 72516.537 PropClause: 70908.316 Set: 13136.095 Check: 0.0 Back: 1539.434
INFO - Atoms: 85259/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 64468419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.071 Prop: 72568.997 PropClause: 70958.677 Set: 13148.607 Check: 0.0 Back: 1541.685
INFO - Atoms: 84871/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 64553032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 72622.861 PropClause: 71010.445 Set: 13161.219 Check: 0.0 Back: 1543.886
INFO - Atoms: 84613/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 64637259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 72671.275 PropClause: 71056.774 Set: 13173.544 Check: 0.0 Back: 1546.142
INFO - Atoms: 84227/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 64721228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.089 Prop: 72722.19 PropClause: 71105.601 Set: 13185.964 Check: 0.0 Back: 1548.327
INFO - Atoms: 83969/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 64804809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 72770.704 PropClause: 71152.048 Set: 13198.282 Check: 0.0 Back: 1550.577
INFO - Atoms: 83581/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 64888067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 72820.662 PropClause: 71199.944 Set: 13210.491 Check: 0.0 Back: 1552.756
INFO - Atoms: 83258/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 64970210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.107 Prop: 72867.381 PropClause: 71244.629 Set: 13222.423 Check: 0.0 Back: 1554.937
INFO - Atoms: 82143/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 65052095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.114 Prop: 72919.112 PropClause: 71294.326 Set: 13234.588 Check: 0.0 Back: 1557.126
INFO - Atoms: 81885/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 65133592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.121 Prop: 72963.864 PropClause: 71337.047 Set: 13268.219 Check: 0.0 Back: 1559.308
INFO - Atoms: 81497/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 65214831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 73011.473 PropClause: 71382.642 Set: 13279.987 Check: 0.0 Back: 1561.452
INFO - Atoms: 81239/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 65295682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.142 Prop: 73056.487 PropClause: 71425.641 Set: 13291.726 Check: 0.0 Back: 1563.623
INFO - Atoms: 80851/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 65376275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.148 Prop: 73102.96 PropClause: 71470.092 Set: 13303.505 Check: 0.0 Back: 1565.755
INFO - Atoms: 80593/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 65456480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 73146.732 PropClause: 71511.871 Set: 13315.044 Check: 0.0 Back: 1567.888
INFO - Atoms: 80205/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 65536427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.159 Prop: 73193.48 PropClause: 71556.642 Set: 13326.617 Check: 0.0 Back: 1570.017
INFO - Atoms: 79947/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 65615986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.166 Prop: 73239.455 PropClause: 71600.645 Set: 13338.153 Check: 0.0 Back: 1572.138
INFO - Atoms: 79559/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 65695287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.171 Prop: 73284.088 PropClause: 71643.313 Set: 13349.565 Check: 0.0 Back: 1574.201
INFO - Atoms: 79301/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 65774200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.178 Prop: 73326.179 PropClause: 71683.455 Set: 13360.833 Check: 0.0 Back: 1576.322
INFO - Atoms: 78913/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 65852855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.195 Prop: 73369.825 PropClause: 71725.159 Set: 13372.057 Check: 0.0 Back: 1578.402
INFO - Atoms: 78655/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 65931122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 73410.588 PropClause: 71763.994 Set: 13383.179 Check: 0.0 Back: 1580.492
INFO - Atoms: 78267/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 66009131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.209 Prop: 73454.479 PropClause: 71805.947 Set: 13394.408 Check: 0.0 Back: 1582.553
INFO - Atoms: 78009/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 66086752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.216 Prop: 73495.142 PropClause: 71844.7 Set: 13405.407 Check: 0.0 Back: 1584.644
INFO - Atoms: 77621/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 66164115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.221 Prop: 73537.156 PropClause: 71884.808 Set: 13416.45 Check: 0.0 Back: 1586.694
INFO - Atoms: 77363/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 66241090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.228 Prop: 73577.49 PropClause: 71923.266 Set: 13427.266 Check: 0.0 Back: 1588.731
INFO - Atoms: 76975/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 66317807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 73617.733 PropClause: 71961.606 Set: 13438.102 Check: 0.0 Back: 1590.762
INFO - Atoms: 76717/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 66394136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.241 Prop: 73658.94 PropClause: 72000.937 Set: 13448.963 Check: 0.0 Back: 1592.8
INFO - Atoms: 76329/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 66470207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.247 Prop: 73699.992 PropClause: 72040.123 Set: 13459.789 Check: 0.0 Back: 1594.835
INFO - Atoms: 76071/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 66545890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.252 Prop: 73740.116 PropClause: 72078.379 Set: 13470.45 Check: 0.0 Back: 1596.897
INFO - Atoms: 75683/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 66621315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.26 Prop: 73776.578 PropClause: 72112.971 Set: 13481.031 Check: 0.0 Back: 1598.893
INFO - Atoms: 75425/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 66696352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.266 Prop: 73817.147 PropClause: 72151.684 Set: 13491.691 Check: 0.0 Back: 1600.945
INFO - Atoms: 75037/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 66771131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.272 Prop: 73854.359 PropClause: 72187.054 Set: 13502.224 Check: 0.0 Back: 1602.916
INFO - Atoms: 74779/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 66845522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.279 Prop: 73892.363 PropClause: 72223.216 Set: 13512.783 Check: 0.0 Back: 1604.938
INFO - Atoms: 74391/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 66919655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 73928.662 PropClause: 72257.665 Set: 13523.304 Check: 0.0 Back: 1606.893
INFO - Atoms: 74133/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 66993400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.292 Prop: 73966.501 PropClause: 72293.674 Set: 13533.715 Check: 0.0 Back: 1608.898
INFO - Atoms: 73745/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 67066822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.3 Prop: 74002.147 PropClause: 72327.503 Set: 13544.06 Check: 0.0 Back: 1610.853
INFO - Atoms: 73422/220030 Clauses: 1361 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 950 Props: 76996227 Tprops: 0 Decides: 38356 RSplits: 0
INFO - Times: Expl: 4343.853 Prop: 84078.406 PropClause: 82131.423 Set: 13796.969 Check: 0.913 Back: 1848.115
INFO - Atoms: 72359/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 1440 Props: 81802037 Tprops: 0 Decides: 51301 RSplits: 0
INFO - Times: Expl: 6438.99 Prop: 88927.132 PropClause: 86851.308 Set: 13915.693 Check: 1.239 Back: 1961.334
INFO - Atoms: 73174/220030 Clauses: 2350 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1940 Props: 91212910 Tprops: 0 Decides: 83391 RSplits: 0
INFO - Times: Expl: 10882.26 Prop: 98760.174 PropClause: 96425.112 Set: 14154.257 Check: 2.007 Back: 2182.757
INFO - Atoms: 72366/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 2365 Props: 94638874 Tprops: 0 Decides: 92342 RSplits: 0
INFO - Times: Expl: 12421.038 Prop: 102000.113 PropClause: 99572.881 Set: 14237.895 Check: 2.228 Back: 2264.055
INFO - Atoms: 73704/220030 Clauses: 2285 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2865 Props: 104890035 Tprops: 0 Decides: 128386 RSplits: 0
INFO - Times: Expl: 16780.283 Prop: 112639.875 PropClause: 109933.448 Set: 14497.575 Check: 3.076 Back: 2504.686
INFO - Atoms: 72365/220030 Clauses: 1860 Axioms: 731330
INFO - Confl: 3254 Props: 108175130 Tprops: 0 Decides: 136683 RSplits: 0
INFO - Times: Expl: 18238.99 Prop: 115893.096 PropClause: 113098.636 Set: 14578.537 Check: 3.281 Back: 2581.954
INFO - Atoms: 73022/220030 Clauses: 2249 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3754 Props: 118128975 Tprops: 0 Decides: 172371 RSplits: 0
INFO - Times: Expl: 22386.273 Prop: 126307.535 PropClause: 123240.402 Set: 14829.837 Check: 4.12 Back: 2815.996
INFO - Atoms: 72363/220030 Clauses: 1861 Axioms: 731330
INFO - Confl: 4161 Props: 121907684 Tprops: 0 Decides: 181839 RSplits: 0
INFO - Times: Expl: 23997.386 Prop: 130177.413 PropClause: 127008.521 Set: 14922.004 Check: 4.359 Back: 2904.647
INFO - Atoms: 72797/220030 Clauses: 2268 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4661 Props: 132036673 Tprops: 0 Decides: 218175 RSplits: 0
INFO - Times: Expl: 28247.596 Prop: 140743.238 PropClause: 137294.758 Set: 15177.496 Check: 5.214 Back: 3142.788
INFO - Atoms: 72371/220030 Clauses: 1861 Axioms: 731330
INFO - Confl: 5051 Props: 136027350 Tprops: 0 Decides: 228117 RSplits: 0
INFO - Times: Expl: 29934.446 Prop: 144789.249 PropClause: 141233.333 Set: 15274.942 Check: 5.459 Back: 3236.94
INFO - Atoms: 73403/220030 Clauses: 2251 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5551 Props: 146585714 Tprops: 0 Decides: 265377 RSplits: 0
INFO - Times: Expl: 34347.152 Prop: 155781.715 PropClause: 151935.463 Set: 15541.63 Check: 6.335 Back: 3485.776
INFO - Atoms: 72367/220030 Clauses: 1861 Axioms: 731330
INFO - Confl: 5979 Props: 150283565 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35976.986 Prop: 159520.979 PropClause: 155575.205 Set: 15632.424 Check: 6.569 Back: 3572.818
INFO - Atoms: 73370/220030 Clauses: 2289 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5980 Props: 150392294 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.104 Prop: 159671.614 PropClause: 155723.032 Set: 15658.025 Check: 6.569 Back: 3574.558
INFO - Atoms: 108729/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5981 Props: 150499435 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.115 Prop: 159768.123 PropClause: 155816.799 Set: 15676.697 Check: 6.569 Back: 3577.165
INFO - Atoms: 107141/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5982 Props: 150609470 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.127 Prop: 159863.742 PropClause: 155909.663 Set: 15695.954 Check: 6.569 Back: 3579.755
INFO - Atoms: 110035/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5983 Props: 150716610 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.14 Prop: 159956.045 PropClause: 155999.282 Set: 15714.638 Check: 6.569 Back: 3582.36
INFO - Atoms: 107140/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5984 Props: 150835371 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.152 Prop: 160061.959 PropClause: 156102.173 Set: 15735.843 Check: 6.569 Back: 3584.941
INFO - Atoms: 118761/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5985 Props: 150943416 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.163 Prop: 160171.689 PropClause: 156209.105 Set: 15754.82 Check: 6.569 Back: 3587.776
INFO - Atoms: 108045/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5986 Props: 151051902 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.174 Prop: 160266.43 PropClause: 156301.14 Set: 15773.506 Check: 6.569 Back: 3590.339
INFO - Atoms: 108486/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5987 Props: 151160970 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.184 Prop: 160360.73 PropClause: 156392.685 Set: 15792.462 Check: 6.569 Back: 3592.903
INFO - Atoms: 109068/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5988 Props: 151270046 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.194 Prop: 160456.658 PropClause: 156485.85 Set: 15811.381 Check: 6.569 Back: 3595.501
INFO - Atoms: 109076/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5989 Props: 151379443 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.205 Prop: 160555.795 PropClause: 156582.174 Set: 15830.422 Check: 6.569 Back: 3598.073
INFO - Atoms: 109397/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5990 Props: 151489223 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.277 Prop: 160652.171 PropClause: 156675.784 Set: 15849.496 Check: 6.569 Back: 3600.674
INFO - Atoms: 109780/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5991 Props: 151599272 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.312 Prop: 160749.644 PropClause: 156770.462 Set: 15868.723 Check: 6.569 Back: 3603.283
INFO - Atoms: 110049/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5992 Props: 151709638 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.317 Prop: 160846.334 PropClause: 156864.354 Set: 15941.255 Check: 6.569 Back: 3605.924
INFO - Atoms: 110366/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5993 Props: 151820328 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.322 Prop: 160949.9 PropClause: 156964.992 Set: 15960.899 Check: 6.569 Back: 3608.5
INFO - Atoms: 110690/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5994 Props: 151931342 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.326 Prop: 161051.824 PropClause: 157064.1 Set: 15980.603 Check: 6.569 Back: 3611.131
INFO - Atoms: 111014/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5995 Props: 152042677 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.331 Prop: 161153.565 PropClause: 157163.031 Set: 16000.158 Check: 6.569 Back: 3613.777
INFO - Atoms: 111335/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5996 Props: 152154335 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.337 Prop: 161255.668 PropClause: 157262.238 Set: 16019.901 Check: 6.569 Back: 3616.433
INFO - Atoms: 111658/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5997 Props: 152266318 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.342 Prop: 161356.706 PropClause: 157360.422 Set: 16039.667 Check: 6.569 Back: 3619.111
INFO - Atoms: 111983/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5998 Props: 152378634 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.347 Prop: 161456.643 PropClause: 157457.536 Set: 16059.7 Check: 6.569 Back: 3621.779
INFO - Atoms: 112316/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5999 Props: 152491320 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.352 Prop: 161559.501 PropClause: 157557.483 Set: 16079.39 Check: 6.569 Back: 3624.453
INFO - Atoms: 112686/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6000 Props: 152604329 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.356 Prop: 161660.016 PropClause: 157655.153 Set: 16149.743 Check: 6.569 Back: 3627.168
INFO - Atoms: 113009/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6001 Props: 152717602 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.361 Prop: 161760.562 PropClause: 157752.868 Set: 16169.714 Check: 6.569 Back: 3629.831
INFO - Atoms: 113273/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6002 Props: 152831256 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.366 Prop: 161859.336 PropClause: 157848.768 Set: 16189.27 Check: 6.569 Back: 3632.524
INFO - Atoms: 113654/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6003 Props: 152945195 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.371 Prop: 161956.453 PropClause: 157943.041 Set: 16208.935 Check: 6.569 Back: 3635.18
INFO - Atoms: 113939/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6004 Props: 153059438 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.376 Prop: 162062.53 PropClause: 158046.259 Set: 16228.902 Check: 6.569 Back: 3637.883
INFO - Atoms: 114243/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6005 Props: 153174025 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.381 Prop: 162160.869 PropClause: 158141.749 Set: 16249.18 Check: 6.569 Back: 3640.622
INFO - Atoms: 114587/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6006 Props: 153288957 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.386 Prop: 162264.462 PropClause: 158242.414 Set: 16269.594 Check: 6.569 Back: 3643.365
INFO - Atoms: 114932/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6007 Props: 153404228 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.391 Prop: 162366.74 PropClause: 158341.738 Set: 16289.876 Check: 6.569 Back: 3646.116
INFO - Atoms: 115271/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6008 Props: 153535288 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.397 Prop: 162495.356 PropClause: 158466.943 Set: 16313.635 Check: 6.569 Back: 3648.871
INFO - Atoms: 131060/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6009 Props: 153672542 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.402 Prop: 162639.27 PropClause: 158607.321 Set: 16338.843 Check: 6.569 Back: 3652.004
INFO - Atoms: 137254/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6010 Props: 153810121 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.406 Prop: 162784.258 PropClause: 158748.793 Set: 16363.558 Check: 6.569 Back: 3655.241
INFO - Atoms: 137579/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6011 Props: 153948022 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.411 Prop: 162927.879 PropClause: 158888.942 Set: 16388.449 Check: 6.569 Back: 3658.487
INFO - Atoms: 137901/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6012 Props: 154086187 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.415 Prop: 163073.579 PropClause: 159031.105 Set: 16413.44 Check: 6.569 Back: 3661.763
INFO - Atoms: 138165/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6013 Props: 154224679 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.421 Prop: 163218.71 PropClause: 159172.751 Set: 16438.39 Check: 6.569 Back: 3665.01
INFO - Atoms: 138492/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6014 Props: 154363490 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.426 Prop: 163366.155 PropClause: 159316.674 Set: 16558.647 Check: 6.569 Back: 3668.285
INFO - Atoms: 138811/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6015 Props: 154502882 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.431 Prop: 163513.407 PropClause: 159460.356 Set: 16583.849 Check: 6.569 Back: 3671.554
INFO - Atoms: 139392/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6016 Props: 154642339 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.435 Prop: 163663.781 PropClause: 159607.213 Set: 16609.705 Check: 6.569 Back: 3674.856
INFO - Atoms: 139457/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6017 Props: 154782436 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.44 Prop: 163814.453 PropClause: 159754.352 Set: 16634.949 Check: 6.569 Back: 3678.145
INFO - Atoms: 140097/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6018 Props: 154922540 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.445 Prop: 163956.914 PropClause: 159893.259 Set: 16659.852 Check: 6.569 Back: 3681.507
INFO - Atoms: 140104/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6019 Props: 155078147 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.449 Prop: 164115.768 PropClause: 160048.199 Set: 16687.764 Check: 6.569 Back: 3684.789
INFO - Atoms: 155607/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6020 Props: 155234393 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.454 Prop: 164281.719 PropClause: 160210.229 Set: 16759.588 Check: 6.569 Back: 3688.404
INFO - Atoms: 156246/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 15555 Tprops: 2202 Decides: 134322 RSplits: 0
INFO - Times: Expl: 681.592 Prop: 350023.01 PropClause: 15.717 Set: 31116.841 Check: 816.794 Back: 213.793
INFO - Atoms: 32/1923 Clauses: 500 Axioms: 1923
INFO - CCTimes: iE 1319197 eq 74561151 cc 426620479 setRep 226243003
INFO - Merges: 1257662, cc:3146255
INFO - BVTimes: BB 1043459199 BB_DPLL 330581017112 Graph 3008261
INFO - BitBlastingClauses: 1407250 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 6021 Props: 155390329 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.46 Prop: 164456.986 PropClause: 160381.537 Set: 16787.913 Check: 6.569 Back: 3692.052
INFO - Atoms: 155936/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6022 Props: 155546848 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.465 Prop: 164629.065 PropClause: 160549.689 Set: 16816.45 Check: 6.569 Back: 3695.71
INFO - Atoms: 156519/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6023 Props: 155703490 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.469 Prop: 164797.49 PropClause: 160714.233 Set: 16844.724 Check: 6.569 Back: 3699.333
INFO - Atoms: 156642/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6024 Props: 155860405 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.474 Prop: 164970.202 PropClause: 160882.993 Set: 16874.222 Check: 6.569 Back: 3703.006
INFO - Atoms: 156915/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6025 Props: 156017693 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.479 Prop: 165141.574 PropClause: 161050.45 Set: 16902.654 Check: 6.569 Back: 3706.777
INFO - Atoms: 157288/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6026 Props: 156175244 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.484 Prop: 165316.824 PropClause: 161221.692 Set: 16931.589 Check: 6.569 Back: 3710.496
INFO - Atoms: 157551/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6027 Props: 156333124 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.488 Prop: 165492.312 PropClause: 161393.209 Set: 16959.97 Check: 6.569 Back: 3714.182
INFO - Atoms: 157880/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6028 Props: 156491383 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.493 Prop: 165667.283 PropClause: 161564.22 Set: 16988.454 Check: 6.569 Back: 3717.87
INFO - Atoms: 158259/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6029 Props: 156649907 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.498 Prop: 165841.259 PropClause: 161734.176 Set: 17017.189 Check: 6.569 Back: 3721.563
INFO - Atoms: 158524/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6030 Props: 156809067 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.502 Prop: 166015.411 PropClause: 161904.312 Set: 17087.406 Check: 6.569 Back: 3725.279
INFO - Atoms: 159160/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6031 Props: 156968233 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.506 Prop: 166190.533 PropClause: 162075.411 Set: 17116.518 Check: 6.569 Back: 3729.033
INFO - Atoms: 159166/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6032 Props: 157127723 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.511 Prop: 166363.819 PropClause: 162244.698 Set: 17145.222 Check: 6.569 Back: 3732.774
INFO - Atoms: 159490/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6033 Props: 157287537 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.515 Prop: 166537.544 PropClause: 162414.4 Set: 17174.986 Check: 6.569 Back: 3736.514
INFO - Atoms: 159814/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6034 Props: 157447672 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.521 Prop: 166711.121 PropClause: 162583.923 Set: 17204.125 Check: 6.569 Back: 3740.255
INFO - Atoms: 160135/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6035 Props: 157608142 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.525 Prop: 166884.995 PropClause: 162753.768 Set: 17233.034 Check: 6.569 Back: 3743.993
INFO - Atoms: 160470/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6036 Props: 157768981 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.53 Prop: 167058.86 PropClause: 162923.577 Set: 17262.592 Check: 6.569 Back: 3747.745
INFO - Atoms: 160839/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6037 Props: 157930087 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.535 Prop: 167227.121 PropClause: 163087.777 Set: 17291.765 Check: 6.569 Back: 3751.484
INFO - Atoms: 161106/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6038 Props: 158110251 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.54 Prop: 167426.391 PropClause: 163282.514 Set: 17385.768 Check: 6.569 Back: 3755.235
INFO - Atoms: 180164/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6039 Props: 158290475 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.544 Prop: 167621.823 PropClause: 163473.399 Set: 17418.581 Check: 6.569 Back: 3759.411
INFO - Atoms: 180224/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6040 Props: 158471124 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.551 Prop: 167826.857 PropClause: 163673.882 Set: 17451.639 Check: 6.569 Back: 3763.617
INFO - Atoms: 180649/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6041 Props: 158652107 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.555 Prop: 168035.326 PropClause: 163877.827 Set: 17484.775 Check: 6.569 Back: 3767.857
INFO - Atoms: 180983/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6042 Props: 158833461 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.561 Prop: 168244.417 PropClause: 164082.355 Set: 17517.811 Check: 6.569 Back: 3772.078
INFO - Atoms: 181354/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6043 Props: 159015078 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.567 Prop: 168459.272 PropClause: 164292.558 Set: 17600.219 Check: 6.569 Back: 3776.262
INFO - Atoms: 181617/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6044 Props: 159197018 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.573 Prop: 168674.192 PropClause: 164502.786 Set: 17634.218 Check: 6.569 Back: 3780.507
INFO - Atoms: 181940/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6045 Props: 159379281 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.578 Prop: 168888.837 PropClause: 164712.83 Set: 17668.152 Check: 6.569 Back: 3784.725
INFO - Atoms: 182263/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6046 Props: 159562184 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.584 Prop: 169107.903 PropClause: 164927.284 Set: 17702.796 Check: 6.569 Back: 3788.931
INFO - Atoms: 182903/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6047 Props: 159745093 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.589 Prop: 169321.035 PropClause: 165135.789 Set: 17736.774 Check: 6.569 Back: 3793.253
INFO - Atoms: 182909/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6048 Props: 159928384 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.594 Prop: 169535.938 PropClause: 165346.04 Set: 17830.27 Check: 6.569 Back: 3797.525
INFO - Atoms: 183291/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6049 Props: 160111965 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.6 Prop: 169757.9 PropClause: 165563.314 Set: 17864.444 Check: 6.569 Back: 3801.777
INFO - Atoms: 183581/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6050 Props: 160296099 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.605 Prop: 169977.949 PropClause: 165778.621 Set: 17898.295 Check: 6.569 Back: 3806.072
INFO - Atoms: 184134/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6051 Props: 160480300 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.61 Prop: 170192.786 PropClause: 165988.781 Set: 17932.548 Check: 6.569 Back: 3810.361
INFO - Atoms: 184201/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6052 Props: 160664825 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.615 Prop: 170404.65 PropClause: 166195.986 Set: 17966.678 Check: 6.569 Back: 3814.657
INFO - Atoms: 184525/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6053 Props: 160846459 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.621 Prop: 170615.39 PropClause: 166402.193 Set: 18000.271 Check: 6.569 Back: 3818.973
INFO - Atoms: 181634/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6054 Props: 161028446 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.626 Prop: 170833.025 PropClause: 166615.15 Set: 18034.113 Check: 6.569 Back: 3823.196
INFO - Atoms: 181987/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6055 Props: 161168037 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.631 Prop: 171017.36 PropClause: 166795.979 Set: 18059.121 Check: 6.569 Back: 3827.41
INFO - Atoms: 139591/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6056 Props: 161309798 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.636 Prop: 171170.72 PropClause: 166945.758 Set: 18084.635 Check: 6.569 Back: 3830.657
INFO - Atoms: 141761/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6057 Props: 161452528 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.641 Prop: 171328.017 PropClause: 167099.493 Set: 18110.695 Check: 6.569 Back: 3833.983
INFO - Atoms: 142730/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6058 Props: 161597246 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.646 Prop: 171481.027 PropClause: 167248.892 Set: 18136.82 Check: 6.569 Back: 3837.369
INFO - Atoms: 144718/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6059 Props: 161740610 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.651 Prop: 171633.372 PropClause: 167397.602 Set: 18163.472 Check: 6.569 Back: 3840.787
INFO - Atoms: 143364/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6060 Props: 161887144 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.655 Prop: 171784.846 PropClause: 167545.41 Set: 18189.738 Check: 6.569 Back: 3844.159
INFO - Atoms: 146534/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6061 Props: 162032742 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.659 Prop: 171941.314 PropClause: 167698.138 Set: 18215.959 Check: 6.569 Back: 3847.583
INFO - Atoms: 145598/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6062 Props: 162179368 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.665 Prop: 172098.879 PropClause: 167852.0 Set: 18242.926 Check: 6.569 Back: 3851.005
INFO - Atoms: 146626/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6063 Props: 162326595 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.67 Prop: 172258.875 PropClause: 168008.25 Set: 18269.676 Check: 6.569 Back: 3854.427
INFO - Atoms: 147227/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6064 Props: 162475157 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.675 Prop: 172418.676 PropClause: 168164.311 Set: 18296.536 Check: 6.569 Back: 3857.914
INFO - Atoms: 148562/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6065 Props: 162626534 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.68 Prop: 172581.577 PropClause: 168323.276 Set: 18324.236 Check: 6.569 Back: 3861.377
INFO - Atoms: 151377/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6066 Props: 162777737 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.685 Prop: 172745.249 PropClause: 168483.132 Set: 18352.621 Check: 6.569 Back: 3864.966
INFO - Atoms: 151203/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6067 Props: 162928197 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.691 Prop: 172913.955 PropClause: 168647.932 Set: 18380.133 Check: 6.569 Back: 3868.538
INFO - Atoms: 150460/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6068 Props: 163082487 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.696 Prop: 173080.805 PropClause: 168810.842 Set: 18408.452 Check: 6.569 Back: 3872.113
INFO - Atoms: 154290/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6069 Props: 163236472 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.701 Prop: 173243.997 PropClause: 168970.15 Set: 18476.383 Check: 6.569 Back: 3875.764
INFO - Atoms: 153985/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6070 Props: 163392373 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.707 Prop: 173411.654 PropClause: 169133.788 Set: 18506.023 Check: 6.569 Back: 3879.361
INFO - Atoms: 155901/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6071 Props: 163547349 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.711 Prop: 173573.918 PropClause: 169292.136 Set: 18534.426 Check: 6.569 Back: 3883.015
INFO - Atoms: 154976/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6072 Props: 163703924 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.717 Prop: 173744.711 PropClause: 169458.984 Set: 18562.835 Check: 6.569 Back: 3886.67
INFO - Atoms: 156575/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6073 Props: 163861784 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.721 Prop: 173913.075 PropClause: 169623.368 Set: 18591.641 Check: 6.569 Back: 3890.335
INFO - Atoms: 157860/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6074 Props: 164020937 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.726 Prop: 174089.388 PropClause: 169795.68 Set: 18620.9 Check: 6.569 Back: 3894.022
INFO - Atoms: 159153/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6075 Props: 164181244 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.731 Prop: 174267.199 PropClause: 169969.45 Set: 18650.189 Check: 6.569 Back: 3897.759
INFO - Atoms: 160307/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6076 Props: 164342340 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.736 Prop: 174444.03 PropClause: 170142.165 Set: 18679.736 Check: 6.569 Back: 3901.539
INFO - Atoms: 161096/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6077 Props: 164504588 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.741 Prop: 174619.851 PropClause: 170313.841 Set: 18709.27 Check: 6.569 Back: 3905.332
INFO - Atoms: 162248/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6078 Props: 164667617 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.746 Prop: 174795.056 PropClause: 170484.952 Set: 18738.787 Check: 6.569 Back: 3909.129
INFO - Atoms: 163029/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6079 Props: 164829705 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.751 Prop: 174974.983 PropClause: 170660.776 Set: 18768.618 Check: 6.569 Back: 3912.989
INFO - Atoms: 162088/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6080 Props: 164993654 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.756 Prop: 175166.218 PropClause: 170847.843 Set: 18799.973 Check: 6.569 Back: 3916.741
INFO - Atoms: 163949/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6081 Props: 165160659 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.761 Prop: 175349.054 PropClause: 171026.451 Set: 18830.558 Check: 6.569 Back: 3920.615
INFO - Atoms: 167005/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6082 Props: 165328191 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.766 Prop: 175538.472 PropClause: 171211.667 Set: 18861.175 Check: 6.569 Back: 3924.525
INFO - Atoms: 167532/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6083 Props: 165495165 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.772 Prop: 175718.142 PropClause: 171387.124 Set: 18891.481 Check: 6.569 Back: 3928.428
INFO - Atoms: 166974/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6084 Props: 165661840 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.777 Prop: 175898.911 PropClause: 171563.663 Set: 18922.018 Check: 6.569 Back: 3932.307
INFO - Atoms: 166675/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6085 Props: 165831961 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.781 Prop: 176084.409 PropClause: 171744.888 Set: 18953.221 Check: 6.569 Back: 3936.187
INFO - Atoms: 170121/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6086 Props: 166012117 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.787 Prop: 176281.111 PropClause: 171936.998 Set: 18986.412 Check: 6.569 Back: 3940.163
INFO - Atoms: 180156/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6087 Props: 166193221 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.791 Prop: 176475.872 PropClause: 172127.206 Set: 19046.195 Check: 6.569 Back: 3944.322
INFO - Atoms: 181104/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6088 Props: 166374963 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.796 Prop: 176677.513 PropClause: 172324.254 Set: 19080.679 Check: 6.569 Back: 3948.509
INFO - Atoms: 181742/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6089 Props: 166556713 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.801 Prop: 176875.39 PropClause: 172517.532 Set: 19114.087 Check: 6.569 Back: 3952.692
INFO - Atoms: 181750/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6090 Props: 166738799 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.806 Prop: 177083.167 PropClause: 172720.764 Set: 19148.437 Check: 6.569 Back: 3956.897
INFO - Atoms: 182086/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6091 Props: 166921218 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.81 Prop: 177295.819 PropClause: 172928.794 Set: 19182.144 Check: 6.569 Back: 3961.177
INFO - Atoms: 182419/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6092 Props: 167103995 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.815 Prop: 177501.804 PropClause: 173130.124 Set: 19289.429 Check: 6.569 Back: 3965.465
INFO - Atoms: 182777/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6093 Props: 167287046 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.82 Prop: 177725.287 PropClause: 173348.961 Set: 19323.94 Check: 6.569 Back: 3969.686
INFO - Atoms: 183051/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6094 Props: 167470470 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.826 Prop: 177941.381 PropClause: 173560.391 Set: 19358.056 Check: 6.569 Back: 3974.012
INFO - Atoms: 183424/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6095 Props: 167654158 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.83 Prop: 178162.901 PropClause: 173777.19 Set: 19392.952 Check: 6.569 Back: 3978.292
INFO - Atoms: 183688/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6096 Props: 167838485 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.835 Prop: 178382.142 PropClause: 173991.698 Set: 19427.533 Check: 6.569 Back: 3982.556
INFO - Atoms: 184327/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6097 Props: 168019695 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.84 Prop: 178602.179 PropClause: 174207.131 Set: 19497.897 Check: 6.569 Back: 3986.883
INFO - Atoms: 181210/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6098 Props: 168201641 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.846 Prop: 178818.175 PropClause: 174418.489 Set: 19531.795 Check: 6.569 Back: 3991.137
INFO - Atoms: 181946/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6099 Props: 168383593 Tprops: 0 Decides: 274736 RSplits: 0
INFO - Times: Expl: 35977.852 Prop: 179032.566 PropClause: 174628.242 Set: 19565.831 Check: 6.569 Back: 3995.386
INFO - Atoms: 181952/220030 Clauses: 1362 Axioms: 731330
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 701 Props: 73232 Tprops: 3921 Decides: 139273 RSplits: 0
INFO - Times: Expl: 790.353 Prop: 388689.306 PropClause: 36.715 Set: 39100.162 Check: 921.573 Back: 373.016
INFO - Atoms: 60/1923 Clauses: 701 Axioms: 1923
INFO - CCTimes: iE 1460910 eq 83869611 cc 482477237 setRep 264389096
INFO - Merges: 1468048, cc:4749119
INFO - BVTimes: BB 1043459199 BB_DPLL 365796526367 Graph 3120058
INFO - BitBlastingClauses: 1514690 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat