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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 639946743
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 189050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.77 Prop: 408.913 PropClause: 398.581 Set: 99.775 Check: 0.0 Back: 0.0
INFO - Atoms: 189050/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 378100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.851 Prop: 698.557 PropClause: 680.682 Set: 219.986 Check: 0.0 Back: 5.199
INFO - Atoms: 189050/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 567139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.935 Prop: 994.056 PropClause: 970.561 Set: 276.201 Check: 0.0 Back: 9.837
INFO - Atoms: 189039/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 756174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.028 Prop: 1241.953 PropClause: 1213.718 Set: 310.302 Check: 0.0 Back: 14.91
INFO - Atoms: 189035/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 945200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.102 Prop: 1463.444 PropClause: 1430.487 Set: 343.653 Check: 0.0 Back: 20.017
INFO - Atoms: 189026/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 1133589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.154 Prop: 1723.312 PropClause: 1685.684 Set: 377.643 Check: 0.0 Back: 25.087
INFO - Atoms: 188389/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1321971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.207 Prop: 1954.291 PropClause: 1911.962 Set: 411.568 Check: 0.0 Back: 30.159
INFO - Atoms: 188382/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1510348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.252 Prop: 2203.714 PropClause: 2156.724 Set: 445.236 Check: 0.0 Back: 35.268
INFO - Atoms: 188377/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1698089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.303 Prop: 2424.107 PropClause: 2372.465 Set: 478.816 Check: 0.0 Back: 40.352
INFO - Atoms: 187741/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1885572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.361 Prop: 2688.258 PropClause: 2631.939 Set: 584.248 Check: 0.0 Back: 45.431
INFO - Atoms: 187483/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2072669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.448 Prop: 2916.989 PropClause: 2855.924 Set: 619.055 Check: 0.0 Back: 50.425
INFO - Atoms: 187097/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 2259508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.497 Prop: 3164.396 PropClause: 3098.705 Set: 652.436 Check: 0.0 Back: 55.471
INFO - Atoms: 186839/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 2445957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.546 Prop: 3389.28 PropClause: 3318.976 Set: 685.923 Check: 0.0 Back: 60.522
INFO - Atoms: 186449/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 2632402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.594 Prop: 3639.348 PropClause: 3564.437 Set: 770.121 Check: 0.0 Back: 65.609
INFO - Atoms: 186445/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 2818522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.64 Prop: 3862.04 PropClause: 3782.527 Set: 803.39 Check: 0.0 Back: 70.555
INFO - Atoms: 186120/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 3004228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.692 Prop: 4106.508 PropClause: 4022.379 Set: 904.052 Check: 0.0 Back: 75.548
INFO - Atoms: 185706/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 3189546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.736 Prop: 4320.444 PropClause: 4231.685 Set: 936.65 Check: 0.0 Back: 80.38
INFO - Atoms: 185318/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 3374604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.788 Prop: 4560.122 PropClause: 4466.78 Set: 970.07 Check: 0.0 Back: 85.356
INFO - Atoms: 185058/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 3559276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.834 Prop: 4781.168 PropClause: 4683.196 Set: 1002.933 Check: 0.0 Back: 90.36
INFO - Atoms: 184672/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 3743690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.883 Prop: 5036.684 PropClause: 4934.1 Set: 1036.105 Check: 0.0 Back: 95.324
INFO - Atoms: 184414/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 3927716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.932 Prop: 5273.132 PropClause: 5165.941 Set: 1070.014 Check: 0.0 Back: 100.345
INFO - Atoms: 184026/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 4111418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.025 Prop: 5538.947 PropClause: 5427.164 Set: 1103.35 Check: 0.0 Back: 105.323
INFO - Atoms: 183702/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 4294798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 5778.858 PropClause: 5662.513 Set: 1136.313 Check: 0.0 Back: 110.298
INFO - Atoms: 183380/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 4477920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.135 Prop: 6041.362 PropClause: 5920.403 Set: 1170.163 Check: 0.0 Back: 115.232
INFO - Atoms: 183122/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 4660652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.185 Prop: 6273.891 PropClause: 6148.398 Set: 1203.824 Check: 0.0 Back: 120.173
INFO - Atoms: 182732/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 4843382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.239 Prop: 6528.114 PropClause: 6398.038 Set: 1285.083 Check: 0.0 Back: 125.114
INFO - Atoms: 182730/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 5025786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.287 Prop: 6753.353 PropClause: 6618.758 Set: 1317.481 Check: 0.0 Back: 129.982
INFO - Atoms: 182404/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 5208025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.404 Prop: 7001.588 PropClause: 6862.414 Set: 1350.292 Check: 0.0 Back: 134.955
INFO - Atoms: 182239/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 5389786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.426 Prop: 7218.061 PropClause: 7074.37 Set: 1382.605 Check: 0.0 Back: 139.888
INFO - Atoms: 181761/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 5571289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.446 Prop: 7466.135 PropClause: 7317.948 Set: 1414.989 Check: 0.0 Back: 144.809
INFO - Atoms: 181503/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 5752404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.466 Prop: 7690.972 PropClause: 7538.295 Set: 1447.92 Check: 0.0 Back: 149.71
INFO - Atoms: 181115/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 5933261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.488 Prop: 7933.402 PropClause: 7776.228 Set: 1480.273 Check: 0.0 Back: 154.591
INFO - Atoms: 180857/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 6113733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.511 Prop: 8148.171 PropClause: 7986.524 Set: 1512.811 Check: 0.0 Back: 159.448
INFO - Atoms: 180472/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 6293939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 8388.053 PropClause: 8221.946 Set: 1544.923 Check: 0.0 Back: 164.293
INFO - Atoms: 180206/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 6473764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.559 Prop: 8604.42 PropClause: 8433.836 Set: 1577.399 Check: 0.0 Back: 169.118
INFO - Atoms: 179825/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 6653299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.58 Prop: 8843.431 PropClause: 8668.356 Set: 1609.643 Check: 0.0 Back: 173.994
INFO - Atoms: 179535/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 6832476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.6 Prop: 9061.743 PropClause: 8882.209 Set: 1642.139 Check: 0.0 Back: 178.811
INFO - Atoms: 179177/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 7011331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.621 Prop: 9313.911 PropClause: 9129.857 Set: 1675.338 Check: 0.0 Back: 183.618
INFO - Atoms: 178855/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 7189864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.644 Prop: 9542.007 PropClause: 9353.524 Set: 1707.344 Check: 0.0 Back: 188.378
INFO - Atoms: 178533/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 7368139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.666 Prop: 9790.768 PropClause: 9597.857 Set: 1740.007 Check: 0.0 Back: 193.224
INFO - Atoms: 178275/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 7546026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.687 Prop: 10015.257 PropClause: 9817.867 Set: 1772.204 Check: 0.0 Back: 197.994
INFO - Atoms: 177887/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 7723589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.728 Prop: 10261.922 PropClause: 10060.127 Set: 1804.888 Check: 0.0 Back: 202.774
INFO - Atoms: 177563/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 7900828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.751 Prop: 10485.078 PropClause: 10278.877 Set: 1836.962 Check: 0.0 Back: 207.59
INFO - Atoms: 177239/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 8077745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.771 Prop: 10730.75 PropClause: 10520.152 Set: 1868.788 Check: 0.0 Back: 212.354
INFO - Atoms: 176917/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 8254338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.789 Prop: 10945.276 PropClause: 10730.276 Set: 1900.665 Check: 0.0 Back: 217.114
INFO - Atoms: 176593/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 8430609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.81 Prop: 11176.291 PropClause: 10956.916 Set: 1932.495 Check: 0.0 Back: 221.845
INFO - Atoms: 176271/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 8606558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.833 Prop: 11392.106 PropClause: 11168.309 Set: 1964.695 Check: 0.0 Back: 226.589
INFO - Atoms: 175949/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 8782183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.853 Prop: 11622.292 PropClause: 11394.145 Set: 1995.914 Check: 0.0 Back: 231.295
INFO - Atoms: 175625/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 8957484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.875 Prop: 11830.699 PropClause: 11598.212 Set: 2027.343 Check: 0.0 Back: 236.043
INFO - Atoms: 175301/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 9132527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.897 Prop: 12062.183 PropClause: 11825.187 Set: 2059.883 Check: 0.0 Back: 240.75
INFO - Atoms: 175043/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 9307182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.919 Prop: 12264.673 PropClause: 12023.333 Set: 2091.111 Check: 0.0 Back: 245.422
INFO - Atoms: 174655/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 9481581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.941 Prop: 12485.542 PropClause: 12239.882 Set: 2121.852 Check: 0.0 Back: 250.112
INFO - Atoms: 174399/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 9655590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.962 Prop: 12689.725 PropClause: 12439.775 Set: 2219.95 Check: 0.0 Back: 254.814
INFO - Atoms: 174009/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 9829341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.983 Prop: 12921.097 PropClause: 12666.821 Set: 2251.711 Check: 0.0 Back: 259.252
INFO - Atoms: 173751/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 10002706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.004 Prop: 13124.193 PropClause: 12865.626 Set: 2282.766 Check: 0.0 Back: 263.895
INFO - Atoms: 173365/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 10175813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.024 Prop: 13350.313 PropClause: 13087.443 Set: 2313.984 Check: 0.0 Back: 268.492
INFO - Atoms: 173107/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 10348532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.047 Prop: 13557.512 PropClause: 13290.362 Set: 2344.44 Check: 0.0 Back: 273.103
INFO - Atoms: 172719/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 10520988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.066 Prop: 13776.944 PropClause: 13505.527 Set: 2375.435 Check: 0.0 Back: 277.682
INFO - Atoms: 172456/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 10693061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.09 Prop: 13979.6 PropClause: 13703.948 Set: 2405.71 Check: 0.0 Back: 282.314
INFO - Atoms: 172073/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 10864810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.113 Prop: 14202.18 PropClause: 13922.248 Set: 2436.912 Check: 0.0 Back: 286.943
INFO - Atoms: 171749/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 11036235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.131 Prop: 14401.623 PropClause: 14117.463 Set: 2467.135 Check: 0.0 Back: 291.534
INFO - Atoms: 171425/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 11207402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.154 Prop: 14619.553 PropClause: 14331.175 Set: 2497.536 Check: 0.0 Back: 296.12
INFO - Atoms: 171167/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 11378183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.176 Prop: 14825.542 PropClause: 14532.921 Set: 2528.259 Check: 0.0 Back: 300.734
INFO - Atoms: 170781/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 11548706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.198 Prop: 15052.559 PropClause: 14755.699 Set: 2558.746 Check: 0.0 Back: 305.291
INFO - Atoms: 170523/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 11718841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.226 Prop: 15252.245 PropClause: 14951.173 Set: 2589.252 Check: 0.0 Back: 309.889
INFO - Atoms: 170135/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 11888652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.243 Prop: 15469.545 PropClause: 15164.285 Set: 2620.027 Check: 0.0 Back: 314.395
INFO - Atoms: 169811/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 12058141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.261 Prop: 15667.386 PropClause: 15357.929 Set: 2681.207 Check: 0.0 Back: 318.966
INFO - Atoms: 169489/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 12227306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.279 Prop: 15880.339 PropClause: 15566.721 Set: 2710.952 Check: 0.0 Back: 323.446
INFO - Atoms: 169165/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 12396149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.297 Prop: 16069.428 PropClause: 15751.593 Set: 2741.394 Check: 0.0 Back: 327.986
INFO - Atoms: 168843/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 12564734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.316 Prop: 16292.363 PropClause: 15970.217 Set: 2773.237 Check: 0.0 Back: 332.531
INFO - Atoms: 168585/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 12732931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.335 Prop: 16479.192 PropClause: 16152.859 Set: 2802.954 Check: 0.0 Back: 337.108
INFO - Atoms: 168197/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 12900870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.353 Prop: 16682.957 PropClause: 16352.46 Set: 2832.317 Check: 0.0 Back: 341.576
INFO - Atoms: 167939/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 13068421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.372 Prop: 16875.653 PropClause: 16541.001 Set: 2862.557 Check: 0.0 Back: 346.065
INFO - Atoms: 167551/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 13235712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.39 Prop: 17075.451 PropClause: 16736.664 Set: 2892.274 Check: 0.0 Back: 350.497
INFO - Atoms: 167291/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 13402617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.409 Prop: 17263.647 PropClause: 16920.746 Set: 2921.306 Check: 0.0 Back: 355.001
INFO - Atoms: 166905/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 13569264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.426 Prop: 17465.569 PropClause: 17118.568 Set: 2950.611 Check: 0.0 Back: 359.384
INFO - Atoms: 166647/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 13735523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.445 Prop: 17648.198 PropClause: 17297.103 Set: 2979.483 Check: 0.0 Back: 363.81
INFO - Atoms: 166259/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 13901524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 17849.278 PropClause: 17494.085 Set: 3049.056 Check: 0.0 Back: 368.173
INFO - Atoms: 166001/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 14067135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 18034.148 PropClause: 17674.839 Set: 3078.486 Check: 0.0 Back: 372.606
INFO - Atoms: 165611/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 14232424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.499 Prop: 18236.79 PropClause: 17873.394 Set: 3107.542 Check: 0.0 Back: 377.189
INFO - Atoms: 165289/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 14397391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.517 Prop: 18417.477 PropClause: 18050.017 Set: 3136.208 Check: 0.0 Back: 381.596
INFO - Atoms: 164967/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 14562100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.536 Prop: 18619.167 PropClause: 18247.606 Set: 3165.221 Check: 0.0 Back: 385.974
INFO - Atoms: 164709/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 14726421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.556 Prop: 18803.571 PropClause: 18427.93 Set: 3194.396 Check: 0.0 Back: 390.438
INFO - Atoms: 164321/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 14890484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.607 Prop: 19001.702 PropClause: 18621.99 Set: 3223.245 Check: 0.0 Back: 394.814
INFO - Atoms: 164063/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 15054157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.667 Prop: 19187.952 PropClause: 18804.194 Set: 3252.3 Check: 0.0 Back: 399.174
INFO - Atoms: 163673/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 15217508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.68 Prop: 19388.498 PropClause: 19000.657 Set: 3281.499 Check: 0.0 Back: 403.501
INFO - Atoms: 163351/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 15380537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 19570.275 PropClause: 19178.406 Set: 3309.882 Check: 0.0 Back: 407.88
INFO - Atoms: 163029/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 15543301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.708 Prop: 19761.322 PropClause: 19365.411 Set: 3338.718 Check: 0.0 Back: 412.202
INFO - Atoms: 162764/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 15705684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.722 Prop: 19932.783 PropClause: 19532.848 Set: 3366.739 Check: 0.0 Back: 416.55
INFO - Atoms: 162383/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 15867809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.736 Prop: 20114.781 PropClause: 19710.841 Set: 3395.169 Check: 0.0 Back: 420.838
INFO - Atoms: 162125/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 16029546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.75 Prop: 20291.969 PropClause: 19884.037 Set: 3423.879 Check: 0.0 Back: 425.147
INFO - Atoms: 161737/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 16191025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 20479.254 PropClause: 20067.338 Set: 3451.774 Check: 0.0 Back: 429.406
INFO - Atoms: 161479/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 16352116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 20651.372 PropClause: 20235.471 Set: 3479.59 Check: 0.0 Back: 433.695
INFO - Atoms: 161091/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 16512949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 20833.647 PropClause: 20413.787 Set: 3507.658 Check: 0.0 Back: 437.926
INFO - Atoms: 160833/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 16673394 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.799 Prop: 21009.139 PropClause: 20585.333 Set: 3535.79 Check: 0.0 Back: 442.202
INFO - Atoms: 160445/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 16833581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 21193.729 PropClause: 20765.973 Set: 3563.389 Check: 0.0 Back: 446.4
INFO - Atoms: 160187/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 16993380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 21369.914 PropClause: 20938.206 Set: 3591.607 Check: 0.0 Back: 450.676
INFO - Atoms: 159799/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 17152855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.839 Prop: 21557.831 PropClause: 21122.139 Set: 3651.528 Check: 0.0 Back: 454.994
INFO - Atoms: 159475/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 17312006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.851 Prop: 21731.391 PropClause: 21291.768 Set: 3679.374 Check: 0.0 Back: 459.226
INFO - Atoms: 159151/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 17470835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.865 Prop: 21918.705 PropClause: 21475.06 Set: 3707.388 Check: 0.0 Back: 463.457
INFO - Atoms: 158829/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 17629340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 22092.862 PropClause: 21645.295 Set: 3735.61 Check: 0.0 Back: 467.665
INFO - Atoms: 158505/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 17787587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 22283.221 PropClause: 21831.744 Set: 3822.765 Check: 0.0 Back: 471.978
INFO - Atoms: 158247/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 17945448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 22457.811 PropClause: 22002.431 Set: 3850.846 Check: 0.0 Back: 476.002
INFO - Atoms: 157861/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 18103049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.92 Prop: 22646.942 PropClause: 22187.658 Set: 3878.946 Check: 0.0 Back: 480.185
INFO - Atoms: 157601/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 18260262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.932 Prop: 22823.491 PropClause: 22360.314 Set: 3906.794 Check: 0.0 Back: 484.394
INFO - Atoms: 157213/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 18417153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.946 Prop: 23008.588 PropClause: 22541.528 Set: 3934.396 Check: 0.0 Back: 488.574
INFO - Atoms: 156891/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 18573722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.958 Prop: 23178.319 PropClause: 22707.377 Set: 3961.939 Check: 0.0 Back: 492.793
INFO - Atoms: 156569/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 18730025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 23366.561 PropClause: 22891.739 Set: 3989.451 Check: 0.0 Back: 496.949
INFO - Atoms: 156303/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 18885948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.982 Prop: 23533.329 PropClause: 23054.634 Set: 4016.393 Check: 0.0 Back: 501.124
INFO - Atoms: 155923/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 19041611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.996 Prop: 23708.675 PropClause: 23226.144 Set: 4043.498 Check: 0.0 Back: 505.221
INFO - Atoms: 155663/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 19196888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.009 Prop: 23872.136 PropClause: 23385.626 Set: 4070.534 Check: 0.0 Back: 509.361
INFO - Atoms: 155277/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 19351907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 24053.013 PropClause: 23562.674 Set: 4097.314 Check: 0.0 Back: 513.402
INFO - Atoms: 155019/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 19506538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 24219.446 PropClause: 23725.224 Set: 4123.97 Check: 0.0 Back: 517.512
INFO - Atoms: 154631/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 19660909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.048 Prop: 24396.223 PropClause: 23898.181 Set: 4150.701 Check: 0.0 Back: 521.767
INFO - Atoms: 154371/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 19814894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.061 Prop: 24560.636 PropClause: 24058.803 Set: 4177.229 Check: 0.0 Back: 525.872
INFO - Atoms: 153985/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 19968621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.072 Prop: 24744.195 PropClause: 24238.548 Set: 4204.096 Check: 0.0 Back: 529.906
INFO - Atoms: 153727/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 20121960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.087 Prop: 24909.209 PropClause: 24399.786 Set: 4230.902 Check: 0.0 Back: 533.981
INFO - Atoms: 153339/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 20274975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.099 Prop: 25092.236 PropClause: 24579.025 Set: 4257.518 Check: 0.0 Back: 537.989
INFO - Atoms: 153015/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 20427666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.113 Prop: 25260.424 PropClause: 24743.419 Set: 4284.543 Check: 0.0 Back: 542.029
INFO - Atoms: 152691/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 20580035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.126 Prop: 25434.366 PropClause: 24913.604 Set: 4311.155 Check: 0.0 Back: 546.101
INFO - Atoms: 152369/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 20732082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.139 Prop: 25600.635 PropClause: 25076.102 Set: 4337.879 Check: 0.0 Back: 550.138
INFO - Atoms: 152047/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 20883805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.153 Prop: 25779.971 PropClause: 25251.687 Set: 4364.311 Check: 0.0 Back: 554.176
INFO - Atoms: 151723/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 21035206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.167 Prop: 25950.246 PropClause: 25418.036 Set: 4392.396 Check: 0.0 Back: 558.198
INFO - Atoms: 151401/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 21186347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 26129.359 PropClause: 25593.419 Set: 4419.093 Check: 0.0 Back: 562.164
INFO - Atoms: 151141/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 21337102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.195 Prop: 26293.029 PropClause: 25753.255 Set: 4445.469 Check: 0.0 Back: 566.119
INFO - Atoms: 150755/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 21487533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 26474.319 PropClause: 25930.847 Set: 4471.654 Check: 0.0 Back: 570.055
INFO - Atoms: 150431/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 21637642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 26635.687 PropClause: 26088.511 Set: 4497.947 Check: 0.0 Back: 574.035
INFO - Atoms: 150109/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 21787493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 26804.45 PropClause: 26253.581 Set: 4524.077 Check: 0.0 Back: 577.997
INFO - Atoms: 149851/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 21936956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.245 Prop: 26962.49 PropClause: 26407.935 Set: 4550.112 Check: 0.0 Back: 582.007
INFO - Atoms: 149463/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 22086095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.257 Prop: 27132.601 PropClause: 26574.323 Set: 4576.437 Check: 0.0 Back: 585.923
INFO - Atoms: 149139/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 22234912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.27 Prop: 27285.13 PropClause: 26723.179 Set: 4602.21 Check: 0.0 Back: 589.855
INFO - Atoms: 148817/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 22383463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.283 Prop: 27452.25 PropClause: 26886.625 Set: 4628.104 Check: 0.0 Back: 593.754
INFO - Atoms: 148551/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 22531632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.297 Prop: 27608.262 PropClause: 27038.985 Set: 4653.805 Check: 0.0 Back: 597.666
INFO - Atoms: 148169/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 22679537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.31 Prop: 27782.345 PropClause: 27209.422 Set: 4717.253 Check: 0.0 Back: 601.546
INFO - Atoms: 147905/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 22827062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.322 Prop: 27942.006 PropClause: 27365.455 Set: 4743.022 Check: 0.0 Back: 605.343
INFO - Atoms: 147525/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 22974329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.334 Prop: 28108.693 PropClause: 27528.503 Set: 4768.314 Check: 0.0 Back: 609.211
INFO - Atoms: 147267/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 23121208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.346 Prop: 28263.491 PropClause: 27679.678 Set: 4793.719 Check: 0.0 Back: 613.121
INFO - Atoms: 146879/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 23267827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 28431.518 PropClause: 27844.091 Set: 4819.328 Check: 0.0 Back: 616.952
INFO - Atoms: 146619/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 23414060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 28587.434 PropClause: 27996.366 Set: 4845.206 Check: 0.0 Back: 620.763
INFO - Atoms: 146233/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 23560035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.389 Prop: 28755.602 PropClause: 28160.901 Set: 4871.0 Check: 0.0 Back: 624.59
INFO - Atoms: 145975/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 23705620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.401 Prop: 28912.036 PropClause: 28313.714 Set: 4896.326 Check: 0.0 Back: 628.466
INFO - Atoms: 145585/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 23850947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 29076.573 PropClause: 28474.674 Set: 4921.528 Check: 0.0 Back: 632.31
INFO - Atoms: 145327/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 23995886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 29230.617 PropClause: 28625.145 Set: 4946.923 Check: 0.0 Back: 636.138
INFO - Atoms: 144939/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 24140503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 29401.838 PropClause: 28792.797 Set: 4972.507 Check: 0.0 Back: 639.929
INFO - Atoms: 144617/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 24284798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.532 Prop: 29554.063 PropClause: 28941.461 Set: 4997.768 Check: 0.0 Back: 643.744
INFO - Atoms: 144295/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 24428769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.545 Prop: 29725.381 PropClause: 29109.198 Set: 5023.105 Check: 0.0 Back: 647.511
INFO - Atoms: 143971/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 24572418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.556 Prop: 29875.982 PropClause: 29256.25 Set: 5048.046 Check: 0.0 Back: 651.288
INFO - Atoms: 143649/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 24715743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.57 Prop: 30040.901 PropClause: 29417.603 Set: 5072.821 Check: 0.0 Back: 655.05
INFO - Atoms: 143325/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 24858744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.584 Prop: 30193.053 PropClause: 29566.225 Set: 5129.028 Check: 0.0 Back: 658.81
INFO - Atoms: 143001/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 25001487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 30354.251 PropClause: 29723.897 Set: 5153.527 Check: 0.0 Back: 662.52
INFO - Atoms: 142743/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 25143844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.607 Prop: 30502.24 PropClause: 29868.357 Set: 5178.17 Check: 0.0 Back: 666.269
INFO - Atoms: 142357/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 25285943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.617 Prop: 30663.186 PropClause: 30025.765 Set: 5202.886 Check: 0.0 Back: 669.963
INFO - Atoms: 142099/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 25427654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 30811.355 PropClause: 30170.422 Set: 5227.544 Check: 0.0 Back: 673.73
INFO - Atoms: 141711/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 25569107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.646 Prop: 30970.416 PropClause: 30325.973 Set: 5308.978 Check: 0.0 Back: 677.433
INFO - Atoms: 141453/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 25710172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 31117.989 PropClause: 30470.054 Set: 5333.732 Check: 0.0 Back: 681.024
INFO - Atoms: 141065/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 25850974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.684 Prop: 31274.89 PropClause: 30623.429 Set: 5358.334 Check: 0.0 Back: 684.763
INFO - Atoms: 140802/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 25991391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.697 Prop: 31415.912 PropClause: 30760.989 Set: 5382.521 Check: 0.0 Back: 688.539
INFO - Atoms: 140417/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 26131552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.71 Prop: 31569.226 PropClause: 30910.859 Set: 5406.523 Check: 0.0 Back: 692.16
INFO - Atoms: 140161/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 26271323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.724 Prop: 31707.986 PropClause: 31046.168 Set: 5430.367 Check: 0.0 Back: 695.852
INFO - Atoms: 139771/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 26410832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.737 Prop: 31855.564 PropClause: 31190.304 Set: 5454.505 Check: 0.0 Back: 699.506
INFO - Atoms: 139509/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 26549959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 31998.486 PropClause: 31329.791 Set: 5478.366 Check: 0.0 Back: 703.199
INFO - Atoms: 139127/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 26688821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.764 Prop: 32149.331 PropClause: 31477.214 Set: 5502.479 Check: 0.0 Back: 706.805
INFO - Atoms: 138862/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 26827300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.778 Prop: 32286.447 PropClause: 31610.926 Set: 5526.273 Check: 0.0 Back: 710.445
INFO - Atoms: 138479/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 26965521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 32438.956 PropClause: 31760.007 Set: 5550.28 Check: 0.0 Back: 714.023
INFO - Atoms: 138221/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 27103356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.805 Prop: 32583.923 PropClause: 31901.559 Set: 5574.059 Check: 0.0 Back: 717.642
INFO - Atoms: 137835/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 27240931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.815 Prop: 32735.097 PropClause: 32049.332 Set: 5597.937 Check: 0.0 Back: 721.262
INFO - Atoms: 137575/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 27378118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.826 Prop: 32877.669 PropClause: 32188.503 Set: 5621.782 Check: 0.0 Back: 724.894
INFO - Atoms: 137187/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 27515047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 33032.556 PropClause: 32340.008 Set: 5645.408 Check: 0.0 Back: 728.48
INFO - Atoms: 136929/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 27651590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.851 Prop: 33172.354 PropClause: 32476.423 Set: 5668.819 Check: 0.0 Back: 732.07
INFO - Atoms: 136543/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 27787869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.86 Prop: 33330.213 PropClause: 32630.907 Set: 5692.316 Check: 0.0 Back: 735.597
INFO - Atoms: 136279/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 27923764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 33466.296 PropClause: 32763.647 Set: 5715.526 Check: 0.0 Back: 739.129
INFO - Atoms: 135895/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 28059403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.884 Prop: 33615.379 PropClause: 32909.374 Set: 5738.812 Check: 0.0 Back: 742.636
INFO - Atoms: 135639/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 28194652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 33754.325 PropClause: 33044.997 Set: 5762.284 Check: 0.0 Back: 746.101
INFO - Atoms: 135249/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 28329645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.909 Prop: 33905.132 PropClause: 33192.417 Set: 5786.032 Check: 0.0 Back: 749.597
INFO - Atoms: 134993/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 28464250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 34045.217 PropClause: 33329.163 Set: 5809.529 Check: 0.0 Back: 753.131
INFO - Atoms: 134605/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 28598531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.936 Prop: 34196.858 PropClause: 33477.487 Set: 5873.586 Check: 0.0 Back: 756.603
INFO - Atoms: 134281/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 28732490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.949 Prop: 34326.277 PropClause: 33603.581 Set: 5896.878 Check: 0.0 Back: 760.017
INFO - Atoms: 133959/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 28866189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 34464.914 PropClause: 33738.901 Set: 5919.609 Check: 0.0 Back: 763.483
INFO - Atoms: 133699/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 28999500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.972 Prop: 34592.635 PropClause: 33863.338 Set: 5942.427 Check: 0.0 Back: 766.949
INFO - Atoms: 133311/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 29132555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.983 Prop: 34727.581 PropClause: 33995.009 Set: 5965.217 Check: 0.0 Back: 770.396
INFO - Atoms: 133055/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 29265222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.996 Prop: 34854.502 PropClause: 34118.619 Set: 5988.476 Check: 0.0 Back: 773.864
INFO - Atoms: 132667/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 29397629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.009 Prop: 34990.158 PropClause: 34251.01 Set: 6010.937 Check: 0.0 Back: 777.277
INFO - Atoms: 132407/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 29529650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.019 Prop: 35117.452 PropClause: 34375.069 Set: 6033.575 Check: 0.0 Back: 780.724
INFO - Atoms: 132021/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 29661413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.03 Prop: 35251.355 PropClause: 34505.725 Set: 6056.086 Check: 0.0 Back: 784.128
INFO - Atoms: 131763/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 29792788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 35383.805 PropClause: 34634.949 Set: 6078.365 Check: 0.0 Back: 787.528
INFO - Atoms: 131375/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 29923903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.052 Prop: 35523.343 PropClause: 34771.256 Set: 6100.708 Check: 0.0 Back: 790.909
INFO - Atoms: 131115/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 30054630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.067 Prop: 35651.562 PropClause: 34896.252 Set: 6123.328 Check: 0.0 Back: 794.278
INFO - Atoms: 130727/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 30185094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.081 Prop: 35792.716 PropClause: 35034.181 Set: 6146.002 Check: 0.0 Back: 797.629
INFO - Atoms: 130464/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 30315177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 35925.576 PropClause: 35163.818 Set: 6168.557 Check: 0.0 Back: 801.046
INFO - Atoms: 130083/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 30445002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.106 Prop: 36072.246 PropClause: 35307.288 Set: 6190.829 Check: 0.0 Back: 804.415
INFO - Atoms: 129825/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 30574439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.118 Prop: 36203.904 PropClause: 35435.755 Set: 6213.309 Check: 0.0 Back: 807.786
INFO - Atoms: 129437/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 30703618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.133 Prop: 36351.484 PropClause: 35580.156 Set: 6235.596 Check: 0.0 Back: 811.126
INFO - Atoms: 129179/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 30832407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.147 Prop: 36488.914 PropClause: 35714.402 Set: 6258.469 Check: 0.0 Back: 814.529
INFO - Atoms: 128789/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 30960938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 36628.644 PropClause: 35850.968 Set: 6280.626 Check: 0.0 Back: 817.872
INFO - Atoms: 128531/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 31089083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 36759.423 PropClause: 35978.596 Set: 6302.843 Check: 0.0 Back: 821.224
INFO - Atoms: 128145/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 31216970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.184 Prop: 36899.3 PropClause: 36115.279 Set: 6324.66 Check: 0.0 Back: 824.488
INFO - Atoms: 127887/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 31344467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.197 Prop: 37023.238 PropClause: 36236.075 Set: 6346.341 Check: 0.0 Back: 827.789
INFO - Atoms: 127497/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 31471642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.208 Prop: 37157.047 PropClause: 36366.749 Set: 6368.188 Check: 0.0 Back: 831.055
INFO - Atoms: 127175/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 31598493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.252 Prop: 37276.734 PropClause: 36483.297 Set: 6390.001 Check: 0.0 Back: 834.338
INFO - Atoms: 126851/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 31725086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.292 Prop: 37414.06 PropClause: 36617.494 Set: 6449.456 Check: 0.0 Back: 837.575
INFO - Atoms: 126593/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 31851293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.303 Prop: 37540.256 PropClause: 36740.56 Set: 6470.968 Check: 0.0 Back: 840.806
INFO - Atoms: 126207/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 31977240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.35 Prop: 37671.354 PropClause: 36868.526 Set: 6492.588 Check: 0.0 Back: 844.07
INFO - Atoms: 125947/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 32102799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 37787.223 PropClause: 36981.283 Set: 6513.771 Check: 0.0 Back: 847.42
INFO - Atoms: 125559/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 32228100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 37913.232 PropClause: 37104.197 Set: 6535.083 Check: 0.0 Back: 850.66
INFO - Atoms: 125301/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 32353015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.415 Prop: 38028.309 PropClause: 37216.176 Set: 6556.149 Check: 0.0 Back: 853.902
INFO - Atoms: 124915/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 32477670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.422 Prop: 38156.627 PropClause: 37341.405 Set: 6577.682 Check: 0.0 Back: 857.09
INFO - Atoms: 124655/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 32601937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.43 Prop: 38278.8 PropClause: 37460.521 Set: 6598.984 Check: 0.0 Back: 860.338
INFO - Atoms: 124267/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 32725948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 38396.426 PropClause: 37575.09 Set: 6619.759 Check: 0.0 Back: 863.498
INFO - Atoms: 124011/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 32849571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 38508.106 PropClause: 37683.714 Set: 6640.923 Check: 0.0 Back: 866.717
INFO - Atoms: 123623/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 32972934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 38632.45 PropClause: 37805.023 Set: 6662.035 Check: 0.0 Back: 869.842
INFO - Atoms: 123363/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 33095909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 38747.039 PropClause: 37916.583 Set: 6682.65 Check: 0.0 Back: 872.994
INFO - Atoms: 122975/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 33218620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.47 Prop: 38868.066 PropClause: 38034.537 Set: 6703.302 Check: 0.0 Back: 876.14
INFO - Atoms: 122711/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 33340951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.477 Prop: 38986.403 PropClause: 38149.854 Set: 6750.752 Check: 0.0 Back: 879.313
INFO - Atoms: 122331/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 33463024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.486 Prop: 39122.315 PropClause: 38282.376 Set: 6774.153 Check: 0.0 Back: 882.465
INFO - Atoms: 122073/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 33584707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.494 Prop: 39238.959 PropClause: 38396.002 Set: 6794.831 Check: 0.0 Back: 885.691
INFO - Atoms: 121683/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 33706068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 39364.565 PropClause: 38518.594 Set: 6815.869 Check: 0.0 Back: 888.802
INFO - Atoms: 121361/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 33827107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 39478.547 PropClause: 38629.589 Set: 6836.482 Check: 0.0 Back: 891.939
INFO - Atoms: 121039/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 33947822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.519 Prop: 39602.383 PropClause: 38750.452 Set: 6857.108 Check: 0.0 Back: 895.051
INFO - Atoms: 120715/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 34068215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 39718.507 PropClause: 38863.607 Set: 6877.701 Check: 0.0 Back: 898.179
INFO - Atoms: 120393/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 34188348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.535 Prop: 39838.149 PropClause: 38980.283 Set: 6898.335 Check: 0.0 Back: 901.279
INFO - Atoms: 120133/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 34308093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.544 Prop: 39951.882 PropClause: 39091.047 Set: 6918.674 Check: 0.0 Back: 904.368
INFO - Atoms: 119745/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 34427582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 40070.696 PropClause: 39206.91 Set: 6938.887 Check: 0.0 Back: 907.484
INFO - Atoms: 119489/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 34546681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 40182.708 PropClause: 39315.96 Set: 6959.29 Check: 0.0 Back: 910.548
INFO - Atoms: 119099/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 34665519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 40301.039 PropClause: 39431.18 Set: 6979.558 Check: 0.0 Back: 913.579
INFO - Atoms: 118838/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 34783974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.571 Prop: 40411.322 PropClause: 39538.522 Set: 6999.741 Check: 0.0 Back: 916.635
INFO - Atoms: 118455/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 34902169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.58 Prop: 40536.356 PropClause: 39660.629 Set: 7020.071 Check: 0.0 Back: 919.716
INFO - Atoms: 118195/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 35019978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 40646.607 PropClause: 39767.976 Set: 7039.933 Check: 0.0 Back: 922.749
INFO - Atoms: 117809/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 35137527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.597 Prop: 40757.61 PropClause: 39876.072 Set: 7059.784 Check: 0.0 Back: 925.722
INFO - Atoms: 117549/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 35254688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.606 Prop: 40864.932 PropClause: 39980.491 Set: 7079.942 Check: 0.0 Back: 928.743
INFO - Atoms: 117161/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 35371593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 40977.954 PropClause: 40090.645 Set: 7099.568 Check: 0.0 Back: 931.706
INFO - Atoms: 116905/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 35488108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 41079.31 PropClause: 40189.055 Set: 7119.052 Check: 0.0 Back: 934.686
INFO - Atoms: 116515/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 35604365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.637 Prop: 41191.062 PropClause: 40297.859 Set: 7139.164 Check: 0.0 Back: 937.654
INFO - Atoms: 116257/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 35720236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 41292.772 PropClause: 40396.713 Set: 7158.689 Check: 0.0 Back: 940.61
INFO - Atoms: 115871/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 35835847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 41401.346 PropClause: 40502.428 Set: 7177.936 Check: 0.0 Back: 943.538
INFO - Atoms: 115611/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 35951070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 41501.355 PropClause: 40599.594 Set: 7197.412 Check: 0.0 Back: 946.5
INFO - Atoms: 115223/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 36065971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.666 Prop: 41609.058 PropClause: 40704.469 Set: 7216.507 Check: 0.0 Back: 949.408
INFO - Atoms: 114901/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 36180550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 41710.313 PropClause: 40802.899 Set: 7235.72 Check: 0.0 Back: 952.317
INFO - Atoms: 114579/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 36294871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.681 Prop: 41816.486 PropClause: 40906.265 Set: 7254.984 Check: 0.0 Back: 955.2
INFO - Atoms: 114321/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 36408802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.689 Prop: 41916.029 PropClause: 41002.985 Set: 7274.06 Check: 0.0 Back: 958.26
INFO - Atoms: 113931/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 36522475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 42022.995 PropClause: 41107.152 Set: 7293.34 Check: 0.0 Back: 961.127
INFO - Atoms: 113673/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 36635760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 42127.258 PropClause: 41208.618 Set: 7312.75 Check: 0.0 Back: 964.014
INFO - Atoms: 113285/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 36748780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.712 Prop: 42235.443 PropClause: 41314.014 Set: 7331.811 Check: 0.0 Back: 966.877
INFO - Atoms: 113020/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 36861421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 42337.627 PropClause: 41413.404 Set: 7350.888 Check: 0.0 Back: 969.774
INFO - Atoms: 112641/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 36973804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 42445.369 PropClause: 41518.376 Set: 7369.792 Check: 0.0 Back: 972.654
INFO - Atoms: 112383/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 37085799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 42541.066 PropClause: 41611.308 Set: 7388.557 Check: 0.0 Back: 975.537
INFO - Atoms: 111995/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 37197536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 42645.747 PropClause: 41713.241 Set: 7407.241 Check: 0.0 Back: 978.354
INFO - Atoms: 111737/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 37308885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 42741.171 PropClause: 41805.914 Set: 7425.923 Check: 0.0 Back: 981.197
INFO - Atoms: 111349/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 37419976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.761 Prop: 42844.948 PropClause: 41906.95 Set: 7487.05 Check: 0.0 Back: 984.001
INFO - Atoms: 111091/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 37530677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.769 Prop: 42938.387 PropClause: 41997.651 Set: 7505.501 Check: 0.0 Back: 986.774
INFO - Atoms: 110701/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 37641115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.777 Prop: 43038.566 PropClause: 42095.098 Set: 7524.056 Check: 0.0 Back: 989.571
INFO - Atoms: 110438/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 37751172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.783 Prop: 43130.519 PropClause: 42184.323 Set: 7542.302 Check: 0.0 Back: 992.4
INFO - Atoms: 110057/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 37860964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.79 Prop: 43231.883 PropClause: 42282.984 Set: 7560.827 Check: 0.0 Back: 995.158
INFO - Atoms: 109792/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 37970375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 43326.233 PropClause: 42374.633 Set: 7579.137 Check: 0.0 Back: 997.956
INFO - Atoms: 109411/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 38079528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 43434.274 PropClause: 42479.988 Set: 7597.679 Check: 0.0 Back: 1000.692
INFO - Atoms: 109153/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 38188293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.815 Prop: 43526.346 PropClause: 42569.366 Set: 7616.057 Check: 0.0 Back: 1003.458
INFO - Atoms: 108765/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 38296734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.822 Prop: 43620.112 PropClause: 42660.454 Set: 7634.108 Check: 0.0 Back: 1006.214
INFO - Atoms: 108441/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 38404851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.83 Prop: 43709.932 PropClause: 42747.605 Set: 7652.296 Check: 0.0 Back: 1008.979
INFO - Atoms: 108117/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 38512712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.837 Prop: 43806.502 PropClause: 42841.518 Set: 7670.211 Check: 0.0 Back: 1011.683
INFO - Atoms: 107861/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 38620183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.845 Prop: 43892.773 PropClause: 42925.132 Set: 7688.153 Check: 0.0 Back: 1014.418
INFO - Atoms: 107471/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 38727396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 43984.261 PropClause: 43013.979 Set: 7705.854 Check: 0.0 Back: 1017.083
INFO - Atoms: 107213/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 38834223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.858 Prop: 44070.704 PropClause: 43097.78 Set: 7723.805 Check: 0.0 Back: 1019.79
INFO - Atoms: 106827/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 38940792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.866 Prop: 44163.788 PropClause: 43188.242 Set: 7741.6 Check: 0.0 Back: 1022.47
INFO - Atoms: 106569/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 39046971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.874 Prop: 44251.583 PropClause: 43273.319 Set: 7760.181 Check: 0.0 Back: 1025.166
INFO - Atoms: 106179/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 39152894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.881 Prop: 44342.77 PropClause: 43361.853 Set: 7777.91 Check: 0.0 Back: 1027.843
INFO - Atoms: 105923/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 39258429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 44427.041 PropClause: 43443.532 Set: 7795.32 Check: 0.0 Back: 1030.523
INFO - Atoms: 105535/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 39363704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.896 Prop: 44520.077 PropClause: 43533.97 Set: 7813.025 Check: 0.0 Back: 1033.162
INFO - Atoms: 105275/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 39468593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 44607.438 PropClause: 43618.742 Set: 7830.425 Check: 0.0 Back: 1035.794
INFO - Atoms: 104889/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 39573224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.911 Prop: 44701.313 PropClause: 43710.047 Set: 7848.063 Check: 0.0 Back: 1038.397
INFO - Atoms: 104631/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 39677467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.918 Prop: 44790.238 PropClause: 43796.4 Set: 7865.668 Check: 0.0 Back: 1040.995
INFO - Atoms: 104243/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 39781450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.925 Prop: 44881.617 PropClause: 43885.207 Set: 7882.878 Check: 0.0 Back: 1043.599
INFO - Atoms: 103983/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 39885045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 44970.774 PropClause: 43971.816 Set: 7900.495 Check: 0.0 Back: 1046.22
INFO - Atoms: 103595/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 39988382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.94 Prop: 45065.417 PropClause: 44063.907 Set: 7917.728 Check: 0.0 Back: 1048.787
INFO - Atoms: 103337/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 40091333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.948 Prop: 45146.45 PropClause: 44142.408 Set: 7935.009 Check: 0.0 Back: 1051.543
INFO - Atoms: 102951/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 40194024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 45232.887 PropClause: 44226.307 Set: 7952.127 Check: 0.0 Back: 1054.105
INFO - Atoms: 102691/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 40296329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.962 Prop: 45313.109 PropClause: 44304.01 Set: 7969.158 Check: 0.0 Back: 1056.648
INFO - Atoms: 102305/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 40398310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.97 Prop: 45399.399 PropClause: 44387.786 Set: 7986.174 Check: 0.0 Back: 1059.194
INFO - Atoms: 101981/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 40498375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.978 Prop: 45479.549 PropClause: 44465.475 Set: 8002.715 Check: 0.0 Back: 1061.742
INFO - Atoms: 100065/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 40598180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.984 Prop: 45561.687 PropClause: 44545.153 Set: 8019.219 Check: 0.0 Back: 1064.244
INFO - Atoms: 99805/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 40697599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 45639.911 PropClause: 44620.922 Set: 8035.526 Check: 0.0 Back: 1066.73
INFO - Atoms: 99419/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 40796760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.0 Prop: 45723.007 PropClause: 44701.573 Set: 8051.903 Check: 0.0 Back: 1069.202
INFO - Atoms: 99161/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 40895531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.008 Prop: 45801.362 PropClause: 44777.489 Set: 8068.305 Check: 0.0 Back: 1071.666
INFO - Atoms: 98771/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 40994044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.017 Prop: 45882.123 PropClause: 44855.82 Set: 8084.416 Check: 0.0 Back: 1074.108
INFO - Atoms: 98513/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 41092169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.025 Prop: 45962.347 PropClause: 44933.616 Set: 8100.77 Check: 0.0 Back: 1076.569
INFO - Atoms: 98125/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 41190038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.033 Prop: 46043.046 PropClause: 45011.899 Set: 8116.839 Check: 0.0 Back: 1079.009
INFO - Atoms: 97869/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 41287517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.039 Prop: 46118.265 PropClause: 45084.719 Set: 8132.985 Check: 0.0 Back: 1081.413
INFO - Atoms: 97479/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 41384733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.048 Prop: 46197.69 PropClause: 45161.742 Set: 8148.854 Check: 0.0 Back: 1083.844
INFO - Atoms: 97216/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 41481566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 46267.551 PropClause: 45229.209 Set: 8164.533 Check: 0.0 Back: 1086.3
INFO - Atoms: 96833/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 41578143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.062 Prop: 46341.005 PropClause: 45300.266 Set: 8180.195 Check: 0.0 Back: 1088.704
INFO - Atoms: 96577/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 41674332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.07 Prop: 46408.951 PropClause: 45365.833 Set: 8224.719 Check: 0.0 Back: 1091.099
INFO - Atoms: 96189/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 41770261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.077 Prop: 46480.976 PropClause: 45435.491 Set: 8240.358 Check: 0.0 Back: 1093.449
INFO - Atoms: 95929/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 41865802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.085 Prop: 46550.354 PropClause: 45502.515 Set: 8255.948 Check: 0.0 Back: 1095.853
INFO - Atoms: 95541/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 41961085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.092 Prop: 46622.085 PropClause: 45571.892 Set: 8271.247 Check: 0.0 Back: 1098.212
INFO - Atoms: 95283/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 42055982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 46690.936 PropClause: 45638.373 Set: 8286.805 Check: 0.0 Back: 1100.585
INFO - Atoms: 94897/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 42150621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 46760.412 PropClause: 45705.525 Set: 8301.965 Check: 0.0 Back: 1102.904
INFO - Atoms: 94639/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 42244870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.115 Prop: 46826.469 PropClause: 45769.267 Set: 8317.24 Check: 0.0 Back: 1105.225
INFO - Atoms: 94249/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 42338861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.125 Prop: 46893.829 PropClause: 45834.298 Set: 8332.407 Check: 0.0 Back: 1107.544
INFO - Atoms: 93991/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 42432466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.133 Prop: 46959.571 PropClause: 45897.669 Set: 8347.984 Check: 0.0 Back: 1109.868
INFO - Atoms: 93605/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 42525747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 47028.792 PropClause: 45964.589 Set: 8396.654 Check: 0.0 Back: 1112.242
INFO - Atoms: 93281/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 42618706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.15 Prop: 47093.068 PropClause: 46026.574 Set: 8411.667 Check: 0.0 Back: 1114.52
INFO - Atoms: 92959/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 42711407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.158 Prop: 47162.693 PropClause: 46093.907 Set: 8426.741 Check: 0.0 Back: 1116.847
INFO - Atoms: 92701/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 42803718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.166 Prop: 47227.467 PropClause: 46156.401 Set: 8441.811 Check: 0.0 Back: 1119.112
INFO - Atoms: 92311/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 42895767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.173 Prop: 47296.143 PropClause: 46222.81 Set: 8456.59 Check: 0.0 Back: 1121.313
INFO - Atoms: 92049/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 42987434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.182 Prop: 47359.268 PropClause: 46283.671 Set: 8471.466 Check: 0.0 Back: 1123.578
INFO - Atoms: 91667/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 43078841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.192 Prop: 47435.983 PropClause: 46358.073 Set: 8487.045 Check: 0.0 Back: 1125.851
INFO - Atoms: 91407/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 43169860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.199 Prop: 47498.084 PropClause: 46417.935 Set: 8501.694 Check: 0.0 Back: 1128.148
INFO - Atoms: 91019/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 43259027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.205 Prop: 47563.637 PropClause: 46481.29 Set: 8515.825 Check: 0.0 Back: 1130.406
INFO - Atoms: 89167/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 43347808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.213 Prop: 47623.69 PropClause: 46539.148 Set: 8529.987 Check: 0.0 Back: 1132.569
INFO - Atoms: 88781/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 43436331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.221 Prop: 47685.18 PropClause: 46598.448 Set: 8544.097 Check: 0.0 Back: 1134.744
INFO - Atoms: 88523/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 43524466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.228 Prop: 47741.848 PropClause: 46652.948 Set: 8558.002 Check: 0.0 Back: 1136.906
INFO - Atoms: 88135/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 43612343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 47802.114 PropClause: 46711.041 Set: 8571.946 Check: 0.0 Back: 1139.044
INFO - Atoms: 87877/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 43699832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.243 Prop: 47860.444 PropClause: 46767.219 Set: 8585.819 Check: 0.0 Back: 1141.179
INFO - Atoms: 87489/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 43787063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 47919.099 PropClause: 46823.719 Set: 8599.703 Check: 0.0 Back: 1143.322
INFO - Atoms: 87231/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 43873906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 47975.68 PropClause: 46878.163 Set: 8613.385 Check: 0.0 Back: 1145.446
INFO - Atoms: 86843/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 43960491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 48038.101 PropClause: 46938.453 Set: 8627.332 Check: 0.0 Back: 1147.565
INFO - Atoms: 86585/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 44046688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.272 Prop: 48094.54 PropClause: 46992.75 Set: 8641.0 Check: 0.0 Back: 1149.664
INFO - Atoms: 86197/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 44132627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.281 Prop: 48157.306 PropClause: 47053.393 Set: 8655.087 Check: 0.0 Back: 1151.777
INFO - Atoms: 85939/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 44218178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.29 Prop: 48213.029 PropClause: 47106.99 Set: 8668.743 Check: 0.0 Back: 1153.87
INFO - Atoms: 85551/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 44303471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.298 Prop: 48275.023 PropClause: 47166.879 Set: 8682.326 Check: 0.0 Back: 1155.988
INFO - Atoms: 85293/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 44388376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 48329.192 PropClause: 47218.948 Set: 8695.984 Check: 0.0 Back: 1158.051
INFO - Atoms: 84905/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 44473023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.312 Prop: 48388.129 PropClause: 47275.8 Set: 8709.516 Check: 0.0 Back: 1160.096
INFO - Atoms: 84647/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 44557282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.321 Prop: 48438.53 PropClause: 47324.124 Set: 8722.843 Check: 0.0 Back: 1162.138
INFO - Atoms: 84259/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 44641283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.328 Prop: 48490.308 PropClause: 47373.834 Set: 8736.016 Check: 0.0 Back: 1164.179
INFO - Atoms: 84001/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 44724896 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.336 Prop: 48540.454 PropClause: 47421.923 Set: 8749.241 Check: 0.0 Back: 1166.196
INFO - Atoms: 83613/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 44808249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.343 Prop: 48593.44 PropClause: 47472.854 Set: 8762.199 Check: 0.0 Back: 1168.226
INFO - Atoms: 83353/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 44891216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.35 Prop: 48641.387 PropClause: 47518.755 Set: 8775.085 Check: 0.0 Back: 1170.224
INFO - Atoms: 82967/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 44973925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.36 Prop: 48690.287 PropClause: 47565.624 Set: 8787.932 Check: 0.0 Back: 1172.224
INFO - Atoms: 82709/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 45056244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.368 Prop: 48738.31 PropClause: 47611.611 Set: 8800.923 Check: 0.0 Back: 1174.21
INFO - Atoms: 82319/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 45138305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.376 Prop: 48788.131 PropClause: 47659.41 Set: 8813.846 Check: 0.0 Back: 1176.185
INFO - Atoms: 82061/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 45219980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.384 Prop: 48832.974 PropClause: 47702.239 Set: 8826.635 Check: 0.0 Back: 1178.167
INFO - Atoms: 81675/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 45301397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.391 Prop: 48878.756 PropClause: 47746.011 Set: 8839.154 Check: 0.0 Back: 1180.122
INFO - Atoms: 81417/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 45382426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.397 Prop: 48923.186 PropClause: 47788.45 Set: 8851.777 Check: 0.0 Back: 1182.076
INFO - Atoms: 81029/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 45463197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 48970.292 PropClause: 47833.554 Set: 8864.393 Check: 0.0 Back: 1184.008
INFO - Atoms: 80771/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 45543580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 49015.049 PropClause: 47876.328 Set: 8876.999 Check: 0.0 Back: 1185.931
INFO - Atoms: 80383/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 45623705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.42 Prop: 49060.918 PropClause: 47920.22 Set: 8889.322 Check: 0.0 Back: 1187.842
INFO - Atoms: 80125/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 45703442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.427 Prop: 49104.861 PropClause: 47962.2 Set: 8901.675 Check: 0.0 Back: 1189.745
INFO - Atoms: 79737/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 45782919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.435 Prop: 49150.024 PropClause: 48005.409 Set: 8913.95 Check: 0.0 Back: 1191.656
INFO - Atoms: 79477/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 45862008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 49192.377 PropClause: 48045.816 Set: 8926.212 Check: 0.0 Back: 1193.555
INFO - Atoms: 79089/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 45940841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 49237.879 PropClause: 48089.311 Set: 8938.444 Check: 0.0 Back: 1195.445
INFO - Atoms: 78833/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 46019286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.472 Prop: 49280.062 PropClause: 48129.559 Set: 8950.519 Check: 0.0 Back: 1197.342
INFO - Atoms: 78445/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 46097473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.478 Prop: 49322.52 PropClause: 48170.086 Set: 8962.654 Check: 0.0 Back: 1199.206
INFO - Atoms: 78187/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 46175272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.485 Prop: 49364.092 PropClause: 48209.744 Set: 8974.673 Check: 0.0 Back: 1201.069
INFO - Atoms: 77799/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 46252813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.491 Prop: 49407.877 PropClause: 48251.625 Set: 8986.564 Check: 0.0 Back: 1202.903
INFO - Atoms: 77541/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 46329964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 49448.854 PropClause: 48290.693 Set: 8998.509 Check: 0.0 Back: 1204.743
INFO - Atoms: 77151/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 46406857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.513 Prop: 49492.629 PropClause: 48332.567 Set: 9010.388 Check: 0.0 Back: 1206.581
INFO - Atoms: 76893/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 46483362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.52 Prop: 49531.23 PropClause: 48369.276 Set: 9022.116 Check: 0.0 Back: 1208.396
INFO - Atoms: 76505/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 46559611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.527 Prop: 49572.522 PropClause: 48408.681 Set: 9033.827 Check: 0.0 Back: 1210.191
INFO - Atoms: 76249/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 46635470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.535 Prop: 49610.513 PropClause: 48444.801 Set: 9045.489 Check: 0.0 Back: 1211.997
INFO - Atoms: 75859/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 46711073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.586 Prop: 49651.064 PropClause: 48483.491 Set: 9057.065 Check: 0.0 Back: 1213.808
INFO - Atoms: 75603/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 46786288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.632 Prop: 49687.913 PropClause: 48518.489 Set: 9068.544 Check: 0.0 Back: 1215.601
INFO - Atoms: 75215/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 46861243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.677 Prop: 49727.456 PropClause: 48556.179 Set: 9079.948 Check: 0.0 Back: 1217.383
INFO - Atoms: 74955/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 46935812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.684 Prop: 49764.632 PropClause: 48591.513 Set: 9091.313 Check: 0.0 Back: 1219.161
INFO - Atoms: 74569/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 47010123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.691 Prop: 49802.583 PropClause: 48627.641 Set: 9102.608 Check: 0.0 Back: 1220.915
INFO - Atoms: 74311/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 47084046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.701 Prop: 49839.824 PropClause: 48663.052 Set: 9114.036 Check: 0.0 Back: 1222.669
INFO - Atoms: 73923/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 47157711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.708 Prop: 49876.692 PropClause: 48698.106 Set: 9125.288 Check: 0.0 Back: 1224.409
INFO - Atoms: 73665/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 47230988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.717 Prop: 49911.354 PropClause: 48730.955 Set: 9136.506 Check: 0.0 Back: 1226.132
INFO - Atoms: 73277/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 47304007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.724 Prop: 49949.842 PropClause: 48767.632 Set: 9147.739 Check: 0.0 Back: 1227.858
INFO - Atoms: 73019/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 47376636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.731 Prop: 49986.79 PropClause: 48802.773 Set: 9158.881 Check: 0.0 Back: 1229.581
INFO - Atoms: 72629/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 47449007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.737 Prop: 50022.802 PropClause: 48836.994 Set: 9169.895 Check: 0.0 Back: 1231.29
INFO - Atoms: 72371/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 47520990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.745 Prop: 50057.701 PropClause: 48870.102 Set: 9180.906 Check: 0.0 Back: 1232.985
INFO - Atoms: 71983/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 47592715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.752 Prop: 50095.073 PropClause: 48905.691 Set: 9192.103 Check: 0.0 Back: 1234.673
INFO - Atoms: 71725/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 47664054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.76 Prop: 50127.899 PropClause: 48936.767 Set: 9202.961 Check: 0.0 Back: 1236.382
INFO - Atoms: 71339/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 47735135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.768 Prop: 50161.359 PropClause: 48968.479 Set: 9213.777 Check: 0.0 Back: 1238.037
INFO - Atoms: 71081/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 47805828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.774 Prop: 50193.983 PropClause: 48999.363 Set: 9224.454 Check: 0.0 Back: 1239.7
INFO - Atoms: 70693/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 47876261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.781 Prop: 50224.6 PropClause: 49028.248 Set: 9234.924 Check: 0.0 Back: 1241.325
INFO - Atoms: 70433/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 47946308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.787 Prop: 50254.384 PropClause: 49056.312 Set: 9245.381 Check: 0.0 Back: 1242.946
INFO - Atoms: 70047/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 48016097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.794 Prop: 50285.639 PropClause: 49085.853 Set: 9255.827 Check: 0.0 Back: 1244.568
INFO - Atoms: 69789/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 48085178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.802 Prop: 50315.224 PropClause: 49113.74 Set: 9266.17 Check: 0.0 Back: 1246.193
INFO - Atoms: 69081/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 48153852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.809 Prop: 50345.828 PropClause: 49142.563 Set: 9276.308 Check: 0.0 Back: 1247.781
INFO - Atoms: 68674/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 48222138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.815 Prop: 50373.958 PropClause: 49169.01 Set: 9286.493 Check: 0.0 Back: 1249.366
INFO - Atoms: 68286/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 48290166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.823 Prop: 50401.425 PropClause: 49194.805 Set: 9296.463 Check: 0.0 Back: 1250.939
INFO - Atoms: 68028/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 48357806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.83 Prop: 50429.115 PropClause: 49220.832 Set: 9306.546 Check: 0.0 Back: 1252.5
INFO - Atoms: 67640/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 48425188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.838 Prop: 50457.066 PropClause: 49247.121 Set: 9316.575 Check: 0.0 Back: 1254.058
INFO - Atoms: 67382/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 48492182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.846 Prop: 50483.426 PropClause: 49271.832 Set: 9326.448 Check: 0.0 Back: 1255.603
INFO - Atoms: 66994/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 48558918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.853 Prop: 50510.395 PropClause: 49297.154 Set: 9336.218 Check: 0.0 Back: 1257.133
INFO - Atoms: 66736/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 48625266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.861 Prop: 50537.168 PropClause: 49322.291 Set: 9346.138 Check: 0.0 Back: 1258.66
INFO - Atoms: 66348/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 48691356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.868 Prop: 50563.803 PropClause: 49347.302 Set: 9355.783 Check: 0.0 Back: 1260.182
INFO - Atoms: 66090/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 48757058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.874 Prop: 50589.82 PropClause: 49371.699 Set: 9365.457 Check: 0.0 Back: 1261.694
INFO - Atoms: 65702/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 48822502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.882 Prop: 50617.261 PropClause: 49397.532 Set: 9375.101 Check: 0.0 Back: 1263.189
INFO - Atoms: 65444/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 48887558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.889 Prop: 50643.041 PropClause: 49421.714 Set: 9384.715 Check: 0.0 Back: 1264.688
INFO - Atoms: 65056/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 48952356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.897 Prop: 50668.541 PropClause: 49445.62 Set: 9394.151 Check: 0.0 Back: 1266.171
INFO - Atoms: 64798/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 49016766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.905 Prop: 50693.909 PropClause: 49469.398 Set: 9403.616 Check: 0.0 Back: 1267.651
INFO - Atoms: 64410/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 49080918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.913 Prop: 50718.774 PropClause: 49492.683 Set: 9412.928 Check: 0.0 Back: 1269.124
INFO - Atoms: 64152/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 49144682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.92 Prop: 50743.262 PropClause: 49515.608 Set: 9422.274 Check: 0.0 Back: 1270.599
INFO - Atoms: 63764/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 49208188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.927 Prop: 50768.376 PropClause: 49539.161 Set: 9431.513 Check: 0.0 Back: 1272.081
INFO - Atoms: 63506/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 49271371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.935 Prop: 50791.873 PropClause: 49561.1 Set: 9440.761 Check: 0.0 Back: 1273.573
INFO - Atoms: 63183/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 885 Props: 58141738 Tprops: 0 Decides: 35794 RSplits: 0
INFO - Times: Expl: 4161.081 Prop: 60659.084 PropClause: 59181.886 Set: 9666.592 Check: 0.887 Back: 1489.655
INFO - Atoms: 62063/189054 Clauses: 1668 Axioms: 628674
INFO - Confl: 1289 Props: 61858320 Tprops: 0 Decides: 47096 RSplits: 0
INFO - Times: Expl: 5903.053 Prop: 64809.964 PropClause: 63232.237 Set: 9757.346 Check: 1.171 Back: 1577.903
INFO - Atoms: 62542/189054 Clauses: 2072 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1789 Props: 69874395 Tprops: 0 Decides: 77183 RSplits: 0
INFO - Times: Expl: 9929.28 Prop: 74285.131 PropClause: 72486.707 Set: 9961.637 Check: 1.896 Back: 1769.129
INFO - Atoms: 62076/189054 Clauses: 1668 Axioms: 628674
INFO - Confl: 2086 Props: 72119344 Tprops: 0 Decides: 83827 RSplits: 0
INFO - Times: Expl: 11028.232 Prop: 76711.427 PropClause: 74851.438 Set: 10016.384 Check: 2.068 Back: 1822.408
INFO - Atoms: 62753/189054 Clauses: 1965 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2586 Props: 81793103 Tprops: 0 Decides: 121890 RSplits: 0
INFO - Times: Expl: 15285.727 Prop: 88176.056 PropClause: 86052.473 Set: 10258.961 Check: 2.973 Back: 2054.934
INFO - Atoms: 62085/189054 Clauses: 1668 Axioms: 628674
INFO - Confl: 2831 Props: 83649512 Tprops: 0 Decides: 127268 RSplits: 0
INFO - Times: Expl: 16167.923 Prop: 90204.187 PropClause: 88030.74 Set: 10303.745 Check: 3.111 Back: 2098.883
INFO - Atoms: 62653/189054 Clauses: 1913 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3331 Props: 92324797 Tprops: 0 Decides: 160191 RSplits: 0
INFO - Times: Expl: 20494.362 Prop: 100636.403 PropClause: 98226.109 Set: 10523.152 Check: 3.897 Back: 2307.248
INFO - Atoms: 62079/189054 Clauses: 1668 Axioms: 628674
INFO - Confl: 3637 Props: 94730874 Tprops: 0 Decides: 167173 RSplits: 0
INFO - Times: Expl: 21588.085 Prop: 103288.06 PropClause: 100812.148 Set: 10581.719 Check: 4.078 Back: 2364.549
INFO - Atoms: 62766/189054 Clauses: 1974 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4137 Props: 103825470 Tprops: 0 Decides: 202083 RSplits: 0
INFO - Times: Expl: 25778.96 Prop: 113967.645 PropClause: 111241.996 Set: 10809.867 Check: 4.91 Back: 2582.176
INFO - Atoms: 62092/189054 Clauses: 1668 Axioms: 628674
INFO - Confl: 4400 Props: 105833670 Tprops: 0 Decides: 207686 RSplits: 0
INFO - Times: Expl: 26748.707 Prop: 116224.188 PropClause: 113443.751 Set: 10858.725 Check: 5.055 Back: 2630.127
INFO - Atoms: 62689/189054 Clauses: 1931 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4900 Props: 115264745 Tprops: 0 Decides: 243605 RSplits: 0
INFO - Times: Expl: 30862.163 Prop: 127193.895 PropClause: 124156.217 Set: 11096.067 Check: 5.903 Back: 2853.984
INFO - Atoms: 62083/189054 Clauses: 1668 Axioms: 628674
INFO - Confl: 5201 Props: 117421150 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.65 Prop: 129527.92 PropClause: 126433.003 Set: 11148.056 Check: 6.055 Back: 2905.024
INFO - Atoms: 62695/189054 Clauses: 1969 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5202 Props: 117506408 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.685 Prop: 129654.966 PropClause: 126557.538 Set: 11185.891 Check: 6.055 Back: 2906.535
INFO - Atoms: 85258/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5203 Props: 117591990 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.691 Prop: 129726.769 PropClause: 126626.88 Set: 11205.231 Check: 6.055 Back: 2908.567
INFO - Atoms: 85582/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5204 Props: 117677891 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.698 Prop: 129783.233 PropClause: 126681.259 Set: 11219.412 Check: 6.055 Back: 2910.775
INFO - Atoms: 85901/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5205 Props: 117764057 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.734 Prop: 129854.643 PropClause: 126750.151 Set: 11239.18 Check: 6.055 Back: 2912.828
INFO - Atoms: 86166/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5206 Props: 117850860 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.739 Prop: 129914.186 PropClause: 126807.58 Set: 11253.84 Check: 6.055 Back: 2915.018
INFO - Atoms: 86803/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5207 Props: 117952169 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.896 Prop: 130006.468 PropClause: 126896.873 Set: 11278.068 Check: 6.055 Back: 2917.039
INFO - Atoms: 101309/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5208 Props: 118053495 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.936 Prop: 130088.116 PropClause: 126976.033 Set: 11296.011 Check: 6.055 Back: 2919.676
INFO - Atoms: 101326/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5209 Props: 118155778 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.973 Prop: 130172.374 PropClause: 127057.763 Set: 11313.994 Check: 6.055 Back: 2922.11
INFO - Atoms: 102283/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5210 Props: 118268911 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.985 Prop: 130267.717 PropClause: 127150.331 Set: 11334.192 Check: 6.055 Back: 2924.596
INFO - Atoms: 113133/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5211 Props: 118362968 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31862.996 Prop: 130353.431 PropClause: 127233.473 Set: 11350.317 Check: 6.055 Back: 2927.341
INFO - Atoms: 94057/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5212 Props: 118479310 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.007 Prop: 130454.03 PropClause: 127330.931 Set: 11371.064 Check: 6.055 Back: 2929.615
INFO - Atoms: 116342/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5213 Props: 118595925 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.017 Prop: 130565.16 PropClause: 127438.956 Set: 11392.135 Check: 6.055 Back: 2932.445
INFO - Atoms: 116615/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5214 Props: 118713238 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.028 Prop: 130673.995 PropClause: 127544.65 Set: 11412.877 Check: 6.055 Back: 2935.304
INFO - Atoms: 117313/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5215 Props: 118831133 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.039 Prop: 130790.239 PropClause: 127657.435 Set: 11437.25 Check: 6.055 Back: 2938.18
INFO - Atoms: 117895/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5216 Props: 118949091 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.052 Prop: 130900.451 PropClause: 127764.737 Set: 11458.595 Check: 6.055 Back: 2941.119
INFO - Atoms: 117958/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5217 Props: 119067430 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.063 Prop: 131011.679 PropClause: 127873.061 Set: 11480.182 Check: 6.055 Back: 2944.012
INFO - Atoms: 118339/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5218 Props: 119186058 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.077 Prop: 131130.024 PropClause: 127988.519 Set: 11501.927 Check: 6.055 Back: 2946.914
INFO - Atoms: 118628/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5219 Props: 119305043 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.087 Prop: 131244.068 PropClause: 128099.676 Set: 11523.396 Check: 6.055 Back: 2949.82
INFO - Atoms: 118985/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5220 Props: 119433777 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.098 Prop: 131373.817 PropClause: 128226.297 Set: 11547.436 Check: 6.055 Back: 2952.794
INFO - Atoms: 128734/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5221 Props: 119563026 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.109 Prop: 131502.415 PropClause: 128351.741 Set: 11570.635 Check: 6.055 Back: 2955.972
INFO - Atoms: 129249/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5222 Props: 119693230 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.119 Prop: 131632.871 PropClause: 128479.031 Set: 11594.205 Check: 6.055 Back: 2959.15
INFO - Atoms: 130204/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5223 Props: 119823817 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.13 Prop: 131765.778 PropClause: 128608.756 Set: 11618.011 Check: 6.055 Back: 2962.344
INFO - Atoms: 130587/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5224 Props: 119954668 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.141 Prop: 131898.448 PropClause: 128738.254 Set: 11641.672 Check: 6.055 Back: 2965.561
INFO - Atoms: 130851/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5225 Props: 120085843 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.211 Prop: 132026.602 PropClause: 128863.214 Set: 11665.154 Check: 6.055 Back: 2968.784
INFO - Atoms: 131175/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5226 Props: 120217339 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.24 Prop: 132151.88 PropClause: 128985.308 Set: 11689.233 Check: 6.055 Back: 2972.059
INFO - Atoms: 131496/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5227 Props: 120349158 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.245 Prop: 132283.151 PropClause: 129113.357 Set: 11712.93 Check: 6.055 Back: 2975.284
INFO - Atoms: 131819/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5228 Props: 120481301 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.25 Prop: 132414.085 PropClause: 129241.063 Set: 11737.279 Check: 6.055 Back: 2978.578
INFO - Atoms: 132143/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5229 Props: 120613768 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.254 Prop: 132547.073 PropClause: 129370.809 Set: 11761.134 Check: 6.055 Back: 2981.835
INFO - Atoms: 132467/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5230 Props: 120746572 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.258 Prop: 132680.976 PropClause: 129501.495 Set: 11785.684 Check: 6.055 Back: 2985.095
INFO - Atoms: 132804/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5231 Props: 120879683 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.262 Prop: 132812.378 PropClause: 129629.67 Set: 11809.443 Check: 6.055 Back: 2988.35
INFO - Atoms: 133111/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5232 Props: 121013174 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.267 Prop: 132943.512 PropClause: 129757.551 Set: 11834.052 Check: 6.055 Back: 2991.645
INFO - Atoms: 133491/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5233 Props: 121146992 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.272 Prop: 133078.979 PropClause: 129889.778 Set: 11858.307 Check: 6.055 Back: 2994.927
INFO - Atoms: 133818/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5234 Props: 121281074 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.277 Prop: 133224.491 PropClause: 130032.0 Set: 11883.776 Check: 6.055 Back: 2998.293
INFO - Atoms: 134082/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5235 Props: 121415479 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.282 Prop: 133369.044 PropClause: 130173.272 Set: 11908.372 Check: 6.055 Back: 3001.624
INFO - Atoms: 134405/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5236 Props: 121550206 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.287 Prop: 133515.782 PropClause: 130316.718 Set: 11933.405 Check: 6.055 Back: 3004.949
INFO - Atoms: 134727/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5237 Props: 121685102 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.291 Prop: 133663.462 PropClause: 130461.066 Set: 11958.429 Check: 6.055 Back: 3008.323
INFO - Atoms: 134896/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5238 Props: 121820321 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.296 Prop: 133807.1 PropClause: 130601.373 Set: 11983.188 Check: 6.055 Back: 3011.686
INFO - Atoms: 135219/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5239 Props: 121955708 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.301 Prop: 133950.028 PropClause: 130740.932 Set: 12008.753 Check: 6.055 Back: 3015.071
INFO - Atoms: 135387/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5240 Props: 122091418 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.305 Prop: 134093.357 PropClause: 130880.895 Set: 12034.625 Check: 6.055 Back: 3018.438
INFO - Atoms: 135710/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5241 Props: 122227134 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.31 Prop: 134240.81 PropClause: 131025.029 Set: 12059.521 Check: 6.055 Back: 3021.823
INFO - Atoms: 135716/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5242 Props: 122363172 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.315 Prop: 134386.819 PropClause: 131167.696 Set: 12085.142 Check: 6.055 Back: 3025.227
INFO - Atoms: 136038/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5243 Props: 122497469 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.341 Prop: 134529.369 PropClause: 131306.961 Set: 12110.075 Check: 6.055 Back: 3028.585
INFO - Atoms: 134297/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5244 Props: 122633516 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.346 Prop: 134671.279 PropClause: 131445.55 Set: 12135.31 Check: 6.055 Back: 3031.988
INFO - Atoms: 136047/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5245 Props: 122769937 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.35 Prop: 134816.969 PropClause: 131587.9 Set: 12160.718 Check: 6.055 Back: 3035.372
INFO - Atoms: 136421/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5246 Props: 122906636 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.355 Prop: 134969.677 PropClause: 131737.164 Set: 12187.567 Check: 6.055 Back: 3038.755
INFO - Atoms: 136699/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5247 Props: 123043644 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.36 Prop: 135109.647 PropClause: 131873.788 Set: 12212.353 Check: 6.055 Back: 3042.189
INFO - Atoms: 137008/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5248 Props: 123180976 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.365 Prop: 135251.16 PropClause: 132011.939 Set: 12237.863 Check: 6.055 Back: 3045.592
INFO - Atoms: 137332/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5249 Props: 123325186 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.369 Prop: 135405.174 PropClause: 132162.445 Set: 12264.209 Check: 6.055 Back: 3049.008
INFO - Atoms: 144210/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5250 Props: 123470303 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.374 Prop: 135556.041 PropClause: 132309.779 Set: 12290.45 Check: 6.055 Back: 3052.56
INFO - Atoms: 145117/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5251 Props: 123615795 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.379 Prop: 135715.805 PropClause: 132465.958 Set: 12318.332 Check: 6.055 Back: 3056.144
INFO - Atoms: 145492/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5252 Props: 123761554 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.384 Prop: 135881.808 PropClause: 132628.283 Set: 12346.837 Check: 6.055 Back: 3059.844
INFO - Atoms: 145759/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5253 Props: 123907632 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.39 Prop: 136040.671 PropClause: 132783.56 Set: 12374.168 Check: 6.055 Back: 3063.532
INFO - Atoms: 146078/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5254 Props: 124054031 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.395 Prop: 136200.888 PropClause: 132940.218 Set: 12400.675 Check: 6.055 Back: 3067.172
INFO - Atoms: 146399/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5255 Props: 124200759 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.4 Prop: 136356.249 PropClause: 133091.99 Set: 12427.194 Check: 6.055 Back: 3070.795
INFO - Atoms: 146728/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5256 Props: 124347812 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.405 Prop: 136517.727 PropClause: 133249.891 Set: 12454.634 Check: 6.055 Back: 3074.405
INFO - Atoms: 147053/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5257 Props: 124495180 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.41 Prop: 136680.956 PropClause: 133409.524 Set: 12481.972 Check: 6.055 Back: 3078.065
INFO - Atoms: 147368/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5258 Props: 124642883 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.414 Prop: 136841.9 PropClause: 133566.858 Set: 12509.697 Check: 6.055 Back: 3081.725
INFO - Atoms: 147703/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5259 Props: 124790913 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.42 Prop: 137005.434 PropClause: 133726.704 Set: 12537.476 Check: 6.055 Back: 3085.378
INFO - Atoms: 148030/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5260 Props: 124939250 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.423 Prop: 137166.567 PropClause: 133884.217 Set: 12564.456 Check: 6.055 Back: 3089.039
INFO - Atoms: 148337/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5261 Props: 125087910 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.428 Prop: 137324.647 PropClause: 134038.669 Set: 12592.106 Check: 6.055 Back: 3092.742
INFO - Atoms: 148660/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5262 Props: 125236913 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.432 Prop: 137483.073 PropClause: 134193.446 Set: 12619.736 Check: 6.055 Back: 3096.416
INFO - Atoms: 149003/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5263 Props: 125384979 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.436 Prop: 137642.739 PropClause: 134349.513 Set: 12647.229 Check: 6.055 Back: 3100.128
INFO - Atoms: 148066/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5264 Props: 125533721 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.44 Prop: 137800.185 PropClause: 134503.308 Set: 12674.796 Check: 6.055 Back: 3103.786
INFO - Atoms: 148742/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5265 Props: 125682732 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.445 Prop: 137960.175 PropClause: 134659.676 Set: 12702.33 Check: 6.055 Back: 3107.474
INFO - Atoms: 149011/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5266 Props: 125832062 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.45 Prop: 138123.724 PropClause: 134819.561 Set: 12729.614 Check: 6.055 Back: 3111.186
INFO - Atoms: 149330/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5267 Props: 125981721 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.455 Prop: 138287.069 PropClause: 134979.253 Set: 12756.648 Check: 6.055 Back: 3114.909
INFO - Atoms: 149659/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5268 Props: 126133641 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.462 Prop: 138454.53 PropClause: 135143.012 Set: 12784.266 Check: 6.055 Back: 3118.625
INFO - Atoms: 151920/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5269 Props: 126286201 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.467 Prop: 138624.576 PropClause: 135309.321 Set: 12812.071 Check: 6.055 Back: 3122.363
INFO - Atoms: 152560/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5270 Props: 126439401 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.471 Prop: 138796.277 PropClause: 135476.99 Set: 12843.007 Check: 6.055 Back: 3126.234
INFO - Atoms: 153200/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5271 Props: 126592608 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.475 Prop: 138974.237 PropClause: 135651.124 Set: 12871.642 Check: 6.055 Back: 3130.087
INFO - Atoms: 153207/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5272 Props: 126747846 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.48 Prop: 139138.495 PropClause: 135811.562 Set: 12900.243 Check: 6.055 Back: 3134.0
INFO - Atoms: 155238/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5273 Props: 126904914 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.485 Prop: 139307.808 PropClause: 135976.993 Set: 12930.0 Check: 6.055 Back: 3137.927
INFO - Atoms: 157068/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5274 Props: 127062925 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.49 Prop: 139478.912 PropClause: 136144.184 Set: 12959.073 Check: 6.055 Back: 3141.88
INFO - Atoms: 158011/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5275 Props: 127220108 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.494 Prop: 139647.796 PropClause: 136309.22 Set: 12987.435 Check: 6.055 Back: 3145.846
INFO - Atoms: 157183/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5276 Props: 127377359 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.498 Prop: 139813.728 PropClause: 136471.3 Set: 13015.607 Check: 6.055 Back: 3149.795
INFO - Atoms: 157251/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5277 Props: 127494697 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.504 Prop: 140002.076 PropClause: 136656.314 Set: 13045.557 Check: 6.055 Back: 3153.757
INFO - Atoms: 117338/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5278 Props: 127613316 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.509 Prop: 140116.307 PropClause: 136767.627 Set: 13067.123 Check: 6.055 Back: 3156.735
INFO - Atoms: 118619/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5279 Props: 127731639 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.514 Prop: 140230.264 PropClause: 136878.681 Set: 13088.153 Check: 6.055 Back: 3159.662
INFO - Atoms: 118323/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5280 Props: 127877705 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.518 Prop: 140374.92 PropClause: 137019.779 Set: 13115.086 Check: 6.055 Back: 3162.658
INFO - Atoms: 146066/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5281 Props: 128024340 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.523 Prop: 140533.052 PropClause: 137174.321 Set: 13141.926 Check: 6.055 Back: 3166.325
INFO - Atoms: 146635/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5282 Props: 128171039 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.527 Prop: 140689.906 PropClause: 137327.585 Set: 13168.534 Check: 6.055 Back: 3169.989
INFO - Atoms: 146699/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5283 Props: 128318118 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.533 Prop: 140850.223 PropClause: 137484.294 Set: 13196.293 Check: 6.055 Back: 3173.664
INFO - Atoms: 147079/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5284 Props: 128465464 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.537 Prop: 141006.663 PropClause: 137637.125 Set: 13223.026 Check: 6.055 Back: 3177.377
INFO - Atoms: 147346/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 26117 Tprops: 1963 Decides: 100156 RSplits: 0
INFO - Times: Expl: 601.263 Prop: 286877.792 PropClause: 22.244 Set: 22830.683 Check: 656.595 Back: 226.457
INFO - Atoms: 32/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1024682 eq 68012408 cc 337722285 setRep 191825168
INFO - Merges: 1033797, cc:2756084
INFO - BVTimes: BB 639921345 BB_DPLL 270608889126 Graph 2302493
INFO - BitBlastingClauses: 1182306 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 5285 Props: 128613189 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.542 Prop: 141169.251 PropClause: 137796.083 Set: 13251.06 Check: 6.055 Back: 3181.082
INFO - Atoms: 147725/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5286 Props: 128761237 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.547 Prop: 141332.502 PropClause: 137955.714 Set: 13278.42 Check: 6.055 Back: 3184.795
INFO - Atoms: 148048/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5287 Props: 128909608 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.553 Prop: 141496.218 PropClause: 138115.802 Set: 13306.442 Check: 6.055 Back: 3188.512
INFO - Atoms: 148371/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5288 Props: 129058252 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.557 Prop: 141657.741 PropClause: 138273.678 Set: 13334.132 Check: 6.055 Back: 3192.242
INFO - Atoms: 148644/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5289 Props: 129207269 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.562 Prop: 141824.634 PropClause: 138436.897 Set: 13361.454 Check: 6.055 Back: 3195.952
INFO - Atoms: 149017/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5290 Props: 129356609 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.567 Prop: 141985.413 PropClause: 138594.033 Set: 13388.795 Check: 6.055 Back: 3199.714
INFO - Atoms: 149340/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5291 Props: 129506216 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.572 Prop: 142143.228 PropClause: 138748.187 Set: 13416.047 Check: 6.055 Back: 3203.447
INFO - Atoms: 149607/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5292 Props: 129656403 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.576 Prop: 142300.339 PropClause: 138901.621 Set: 13443.518 Check: 6.055 Back: 3207.165
INFO - Atoms: 150187/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5293 Props: 129806713 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.581 Prop: 142461.879 PropClause: 139059.477 Set: 13471.868 Check: 6.055 Back: 3210.941
INFO - Atoms: 150310/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5294 Props: 129956041 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.585 Prop: 142619.809 PropClause: 139213.742 Set: 13499.659 Check: 6.055 Back: 3214.737
INFO - Atoms: 149328/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5295 Props: 130106005 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.59 Prop: 142786.559 PropClause: 139376.803 Set: 13527.117 Check: 6.055 Back: 3218.497
INFO - Atoms: 149964/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5296 Props: 130256338 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.594 Prop: 142952.866 PropClause: 139539.383 Set: 13554.953 Check: 6.055 Back: 3222.323
INFO - Atoms: 150333/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5297 Props: 130406946 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.599 Prop: 143113.145 PropClause: 139695.946 Set: 13582.878 Check: 6.055 Back: 3226.105
INFO - Atoms: 150608/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5298 Props: 130557926 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.603 Prop: 143280.051 PropClause: 139859.155 Set: 13700.47 Check: 6.055 Back: 3229.881
INFO - Atoms: 150980/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5299 Props: 130710145 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.609 Prop: 143451.564 PropClause: 140026.949 Set: 13729.219 Check: 6.055 Back: 3233.53
INFO - Atoms: 152219/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5300 Props: 130863004 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.614 Prop: 143619.353 PropClause: 140191.004 Set: 13757.885 Check: 6.055 Back: 3237.343
INFO - Atoms: 152859/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5301 Props: 131016187 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.619 Prop: 143788.467 PropClause: 140356.339 Set: 13786.222 Check: 6.055 Back: 3241.194
INFO - Atoms: 153183/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5302 Props: 131168484 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.624 Prop: 143950.917 PropClause: 140515.078 Set: 13813.628 Check: 6.055 Back: 3245.035
INFO - Atoms: 152297/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5303 Props: 131321692 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.628 Prop: 144119.996 PropClause: 140680.419 Set: 13842.341 Check: 6.055 Back: 3248.835
INFO - Atoms: 153208/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5304 Props: 131476184 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.633 Prop: 144288.918 PropClause: 140845.599 Set: 13870.571 Check: 6.055 Back: 3252.69
INFO - Atoms: 154492/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5305 Props: 131634819 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.638 Prop: 144465.53 PropClause: 141018.291 Set: 13900.205 Check: 6.055 Back: 3256.541
INFO - Atoms: 158635/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5306 Props: 131792600 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.642 Prop: 144643.247 PropClause: 141192.076 Set: 13929.187 Check: 6.055 Back: 3260.516
INFO - Atoms: 157781/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5307 Props: 131950645 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.647 Prop: 144821.619 PropClause: 141366.572 Set: 13958.786 Check: 6.055 Back: 3264.492
INFO - Atoms: 158045/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5308 Props: 132107894 Tprops: 0 Decides: 249538 RSplits: 0
INFO - Times: Expl: 31863.65 Prop: 144996.636 PropClause: 141537.692 Set: 13987.553 Check: 6.055 Back: 3268.452
INFO - Atoms: 157249/189054 Clauses: 1169 Axioms: 628674
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 587 Props: 37147 Tprops: 2088 Decides: 100727 RSplits: 0
INFO - Times: Expl: 637.84 Prop: 296979.477 PropClause: 26.414 Set: 24145.303 Check: 689.991 Back: 253.749
INFO - Atoms: 46/1651 Clauses: 587 Axioms: 1651
INFO - CCTimes: iE 1048078 eq 73266057 cc 356157407 setRep 202651513
INFO - Merges: 1087737, cc:3075564
INFO - BVTimes: BB 639921345 BB_DPLL 279751592958 Graph 2316252
INFO - BitBlastingClauses: 1210338 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat