/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bmc-bv-svcomp14/byte_add_false.c.21.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 1424506554
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 3412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.167 Prop: 36.846 PropClause: 36.56 Set: 6.056 Check: 0.0 Back: 0.0
INFO - Atoms: 3412/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 6423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.275 Prop: 56.787 PropClause: 56.101 Set: 7.862 Check: 0.0 Back: 0.091
INFO - Atoms: 3011/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 11958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.398 Prop: 67.409 PropClause: 66.442 Set: 11.498 Check: 0.0 Back: 0.172
INFO - Atoms: 5535/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 17672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.512 Prop: 78.88 PropClause: 77.661 Set: 18.832 Check: 0.0 Back: 0.322
INFO - Atoms: 5714/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 23579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.625 Prop: 86.668 PropClause: 85.179 Set: 19.752 Check: 0.0 Back: 0.475
INFO - Atoms: 5907/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 29678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.745 Prop: 95.549 PropClause: 93.812 Set: 20.73 Check: 0.0 Back: 0.617
INFO - Atoms: 6099/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 36033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.853 Prop: 106.108 PropClause: 104.102 Set: 21.629 Check: 0.0 Back: 0.758
INFO - Atoms: 6355/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 42388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.954 Prop: 114.965 PropClause: 112.771 Set: 24.065 Check: 0.0 Back: 0.903
INFO - Atoms: 6355/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 48814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.065 Prop: 125.958 PropClause: 123.579 Set: 25.44 Check: 0.0 Back: 1.066
INFO - Atoms: 6426/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 55171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.181 Prop: 134.666 PropClause: 132.104 Set: 26.655 Check: 0.0 Back: 1.231
INFO - Atoms: 6357/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 61597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.281 Prop: 144.241 PropClause: 141.404 Set: 27.608 Check: 0.0 Back: 1.396
INFO - Atoms: 6426/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 67956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.377 Prop: 151.58 PropClause: 148.498 Set: 41.352 Check: 0.0 Back: 1.568
INFO - Atoms: 6359/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 74382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.561 Prop: 158.661 PropClause: 155.323 Set: 42.3 Check: 0.0 Back: 1.737
INFO - Atoms: 6426/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 80741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.66 Prop: 166.275 PropClause: 162.691 Set: 43.235 Check: 0.0 Back: 1.884
INFO - Atoms: 6359/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 87167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.783 Prop: 178.865 PropClause: 175.113 Set: 44.219 Check: 0.0 Back: 2.034
INFO - Atoms: 6426/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 93526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.915 Prop: 192.009 PropClause: 188.081 Set: 45.187 Check: 0.0 Back: 2.189
INFO - Atoms: 6359/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 99952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.031 Prop: 205.326 PropClause: 201.216 Set: 46.194 Check: 0.0 Back: 2.345
INFO - Atoms: 6426/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 106313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.145 Prop: 213.307 PropClause: 208.955 Set: 47.151 Check: 0.0 Back: 2.503
INFO - Atoms: 6361/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 111171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.229 Prop: 224.059 PropClause: 217.317 Set: 47.869 Check: 0.0 Back: 2.659
INFO - Atoms: 4858/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 117436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.346 Prop: 235.308 PropClause: 228.259 Set: 48.77 Check: 0.0 Back: 2.775
INFO - Atoms: 6265/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 123766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.459 Prop: 244.022 PropClause: 236.752 Set: 49.751 Check: 0.0 Back: 2.933
INFO - Atoms: 6330/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 130031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.564 Prop: 252.69 PropClause: 245.229 Set: 50.708 Check: 0.0 Back: 3.084
INFO - Atoms: 6265/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 136361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.669 Prop: 261.736 PropClause: 253.917 Set: 51.669 Check: 0.0 Back: 3.239
INFO - Atoms: 6330/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 142628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.764 Prop: 270.019 PropClause: 262.045 Set: 52.599 Check: 0.0 Back: 3.384
INFO - Atoms: 6267/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 148959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.91 Prop: 276.827 PropClause: 268.58 Set: 53.56 Check: 0.0 Back: 3.525
INFO - Atoms: 6331/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 152174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.146 Prop: 284.328 PropClause: 275.913 Set: 53.916 Check: 0.0 Back: 3.675
INFO - Atoms: 3215/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 156004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.191 Prop: 289.525 PropClause: 280.938 Set: 54.389 Check: 0.0 Back: 3.748
INFO - Atoms: 3830/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 161767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.226 Prop: 294.786 PropClause: 286.054 Set: 55.133 Check: 0.0 Back: 3.835
INFO - Atoms: 5763/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 167530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 307.88 PropClause: 298.985 Set: 55.901 Check: 0.0 Back: 3.965
INFO - Atoms: 5763/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 171088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.302 Prop: 312.149 PropClause: 303.135 Set: 56.271 Check: 0.0 Back: 4.105
INFO - Atoms: 3558/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 174917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.347 Prop: 317.978 PropClause: 308.86 Set: 56.685 Check: 0.0 Back: 4.187
INFO - Atoms: 3829/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 178746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.381 Prop: 323.428 PropClause: 314.212 Set: 57.134 Check: 0.0 Back: 4.281
INFO - Atoms: 3829/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 183598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 328.704 PropClause: 319.359 Set: 57.771 Check: 0.0 Back: 4.373
INFO - Atoms: 4852/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 189130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.475 Prop: 334.339 PropClause: 324.832 Set: 58.52 Check: 0.0 Back: 4.49
INFO - Atoms: 5532/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 194763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.517 Prop: 341.296 PropClause: 331.623 Set: 59.509 Check: 0.0 Back: 4.618
INFO - Atoms: 5633/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 200534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.559 Prop: 347.945 PropClause: 338.107 Set: 60.265 Check: 0.0 Back: 4.766
INFO - Atoms: 5771/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 206368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.614 Prop: 368.284 PropClause: 358.291 Set: 61.386 Check: 0.0 Back: 4.901
INFO - Atoms: 5834/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 210284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.653 Prop: 374.232 PropClause: 364.14 Set: 61.852 Check: 0.0 Back: 5.051
INFO - Atoms: 3916/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 214710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.691 Prop: 379.08 PropClause: 368.835 Set: 62.395 Check: 0.0 Back: 5.14
INFO - Atoms: 4426/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 220358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 384.337 PropClause: 373.913 Set: 63.102 Check: 0.0 Back: 5.241
INFO - Atoms: 5648/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 226193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.745 Prop: 388.475 PropClause: 377.906 Set: 63.823 Check: 0.0 Back: 5.368
INFO - Atoms: 5835/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 231964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.765 Prop: 392.584 PropClause: 381.871 Set: 64.513 Check: 0.0 Back: 5.5
INFO - Atoms: 5771/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 237799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.786 Prop: 396.385 PropClause: 385.52 Set: 65.231 Check: 0.0 Back: 5.643
INFO - Atoms: 5835/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 243570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.812 Prop: 402.089 PropClause: 391.076 Set: 65.937 Check: 0.0 Back: 5.797
INFO - Atoms: 5771/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 249405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.837 Prop: 407.798 PropClause: 396.6 Set: 66.709 Check: 0.0 Back: 5.93
INFO - Atoms: 5835/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 255176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.876 Prop: 413.745 PropClause: 402.395 Set: 67.436 Check: 0.0 Back: 6.07
INFO - Atoms: 5771/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 261010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.9 Prop: 419.468 PropClause: 407.969 Set: 68.168 Check: 0.0 Back: 6.204
INFO - Atoms: 5834/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 266781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.924 Prop: 423.764 PropClause: 412.047 Set: 68.882 Check: 0.0 Back: 6.35
INFO - Atoms: 5771/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 272616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.96 Prop: 431.264 PropClause: 419.384 Set: 69.726 Check: 0.0 Back: 6.482
INFO - Atoms: 5835/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 278387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.987 Prop: 437.146 PropClause: 425.115 Set: 70.453 Check: 0.0 Back: 6.622
INFO - Atoms: 5771/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 284270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.08 Prop: 442.482 PropClause: 430.263 Set: 71.217 Check: 0.0 Back: 6.756
INFO - Atoms: 5883/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 290041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.119 Prop: 448.426 PropClause: 436.025 Set: 71.996 Check: 0.0 Back: 6.89
INFO - Atoms: 5771/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 296020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.152 Prop: 454.187 PropClause: 441.632 Set: 72.904 Check: 0.0 Back: 7.033
INFO - Atoms: 5979/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 302565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.177 Prop: 459.807 PropClause: 447.081 Set: 73.93 Check: 0.0 Back: 7.167
INFO - Atoms: 6545/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 309101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.22 Prop: 475.256 PropClause: 462.313 Set: 75.337 Check: 0.0 Back: 7.316
INFO - Atoms: 6536/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 315629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.246 Prop: 480.944 PropClause: 467.785 Set: 76.391 Check: 0.0 Back: 7.484
INFO - Atoms: 6528/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 322728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.268 Prop: 487.558 PropClause: 474.147 Set: 77.646 Check: 0.0 Back: 7.634
INFO - Atoms: 7099/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 329240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.294 Prop: 494.624 PropClause: 481.028 Set: 78.654 Check: 0.0 Back: 7.795
INFO - Atoms: 6512/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 335747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 499.872 PropClause: 486.072 Set: 79.669 Check: 0.0 Back: 7.953
INFO - Atoms: 6507/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 342430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.352 Prop: 506.563 PropClause: 492.56 Set: 80.882 Check: 0.0 Back: 8.101
INFO - Atoms: 6683/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 349432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.373 Prop: 512.584 PropClause: 498.391 Set: 82.017 Check: 0.0 Back: 8.254
INFO - Atoms: 7002/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 356541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 519.482 PropClause: 505.096 Set: 83.216 Check: 0.0 Back: 8.412
INFO - Atoms: 7109/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 363013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.511 Prop: 526.491 PropClause: 511.911 Set: 84.215 Check: 0.0 Back: 8.575
INFO - Atoms: 6472/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 369581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.525 Prop: 532.406 PropClause: 517.648 Set: 85.272 Check: 0.0 Back: 8.721
INFO - Atoms: 6568/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 376592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.542 Prop: 540.195 PropClause: 525.256 Set: 86.549 Check: 0.0 Back: 8.885
INFO - Atoms: 7011/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 383177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.561 Prop: 548.493 PropClause: 533.357 Set: 87.674 Check: 0.0 Back: 9.056
INFO - Atoms: 6585/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 389617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 554.987 PropClause: 539.596 Set: 88.796 Check: 0.0 Back: 9.208
INFO - Atoms: 6440/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 396670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.599 Prop: 561.748 PropClause: 546.17 Set: 90.059 Check: 0.0 Back: 9.355
INFO - Atoms: 7053/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 403716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.617 Prop: 569.293 PropClause: 553.515 Set: 91.303 Check: 0.0 Back: 9.515
INFO - Atoms: 7046/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 410770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.632 Prop: 576.069 PropClause: 560.09 Set: 92.523 Check: 0.0 Back: 9.675
INFO - Atoms: 7054/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 417774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.656 Prop: 588.671 PropClause: 572.46 Set: 93.864 Check: 0.0 Back: 9.837
INFO - Atoms: 7004/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 428280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.681 Prop: 600.555 PropClause: 584.011 Set: 96.742 Check: 0.0 Back: 9.997
INFO - Atoms: 10506/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 438775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.703 Prop: 614.713 PropClause: 597.809 Set: 99.732 Check: 0.0 Back: 10.252
INFO - Atoms: 10495/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 449426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.727 Prop: 628.47 PropClause: 611.258 Set: 102.69 Check: 0.0 Back: 10.505
INFO - Atoms: 10651/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 460250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.757 Prop: 658.942 PropClause: 641.419 Set: 106.113 Check: 0.0 Back: 10.765
INFO - Atoms: 10824/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 471515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.788 Prop: 674.963 PropClause: 657.103 Set: 109.416 Check: 0.0 Back: 11.048
INFO - Atoms: 11265/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 482479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.817 Prop: 688.536 PropClause: 670.369 Set: 112.399 Check: 0.0 Back: 11.312
INFO - Atoms: 10964/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 493898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.841 Prop: 705.411 PropClause: 686.93 Set: 115.365 Check: 0.0 Back: 11.576
INFO - Atoms: 11419/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 505308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.867 Prop: 721.498 PropClause: 702.635 Set: 118.403 Check: 0.0 Back: 11.864
INFO - Atoms: 11410/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 516785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.89 Prop: 733.539 PropClause: 714.348 Set: 121.307 Check: 0.0 Back: 12.14
INFO - Atoms: 11477/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 523361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 745.386 PropClause: 725.983 Set: 122.389 Check: 0.0 Back: 12.424
INFO - Atoms: 6576/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 534792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.933 Prop: 756.349 PropClause: 736.579 Set: 125.253 Check: 0.0 Back: 12.587
INFO - Atoms: 11431/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 546535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 769.293 PropClause: 749.132 Set: 128.333 Check: 0.0 Back: 12.87
INFO - Atoms: 11743/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 558488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.975 Prop: 783.544 PropClause: 762.968 Set: 131.656 Check: 0.0 Back: 13.155
INFO - Atoms: 11953/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 571627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.998 Prop: 798.578 PropClause: 777.637 Set: 135.311 Check: 0.0 Back: 13.449
INFO - Atoms: 13139/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 584941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 814.279 PropClause: 792.972 Set: 138.928 Check: 0.0 Back: 13.785
INFO - Atoms: 13314/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 598088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.034 Prop: 836.439 PropClause: 814.683 Set: 142.727 Check: 0.0 Back: 14.124
INFO - Atoms: 13147/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 611234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.068 Prop: 859.621 PropClause: 837.472 Set: 147.027 Check: 0.0 Back: 14.46
INFO - Atoms: 13146/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 617480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.085 Prop: 871.448 PropClause: 849.094 Set: 147.979 Check: 0.0 Back: 14.806
INFO - Atoms: 6246/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 631214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.103 Prop: 884.214 PropClause: 861.475 Set: 151.736 Check: 0.0 Back: 14.948
INFO - Atoms: 13734/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 635289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.125 Prop: 894.765 PropClause: 871.923 Set: 152.199 Check: 0.0 Back: 15.296
INFO - Atoms: 4075/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 639368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.148 Prop: 899.274 PropClause: 876.298 Set: 152.673 Check: 0.0 Back: 15.393
INFO - Atoms: 4079/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 653169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.164 Prop: 913.493 PropClause: 890.133 Set: 156.64 Check: 0.0 Back: 15.488
INFO - Atoms: 13801/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 659180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 928.265 PropClause: 904.752 Set: 157.496 Check: 0.0 Back: 15.831
INFO - Atoms: 6011/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 667926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.453 Prop: 937.409 PropClause: 913.397 Set: 159.473 Check: 0.0 Back: 15.969
INFO - Atoms: 8746/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 676714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.494 Prop: 961.337 PropClause: 937.088 Set: 161.627 Check: 0.0 Back: 16.172
INFO - Atoms: 8788/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 687520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 972.419 PropClause: 947.872 Set: 164.196 Check: 0.0 Back: 16.39
INFO - Atoms: 10806/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 697758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 982.349 PropClause: 957.496 Set: 166.356 Check: 0.0 Back: 16.637
INFO - Atoms: 10238/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 708530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.564 Prop: 994.097 PropClause: 968.959 Set: 168.741 Check: 0.0 Back: 16.872
INFO - Atoms: 10772/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 720034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 1006.464 PropClause: 981.022 Set: 171.472 Check: 0.0 Back: 17.125
INFO - Atoms: 11504/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 731139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.621 Prop: 1020.807 PropClause: 995.039 Set: 175.736 Check: 0.0 Back: 17.397
INFO - Atoms: 11105/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 742743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.648 Prop: 1034.755 PropClause: 1008.657 Set: 179.413 Check: 0.0 Back: 17.682
INFO - Atoms: 11604/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 748641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.68 Prop: 1046.256 PropClause: 1019.99 Set: 180.484 Check: 0.0 Back: 17.978
INFO - Atoms: 5898/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 760457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.706 Prop: 1059.801 PropClause: 1033.194 Set: 184.292 Check: 0.0 Back: 18.129
INFO - Atoms: 11816/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 772967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.735 Prop: 1076.822 PropClause: 1049.86 Set: 188.41 Check: 0.0 Back: 18.433
INFO - Atoms: 12510/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 787219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.77 Prop: 1093.697 PropClause: 1066.23 Set: 192.485 Check: 0.0 Back: 18.769
INFO - Atoms: 14252/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 801493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 1108.029 PropClause: 1080.171 Set: 196.01 Check: 0.0 Back: 19.123
INFO - Atoms: 14274/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 814986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.816 Prop: 1123.325 PropClause: 1094.986 Set: 199.42 Check: 0.0 Back: 19.494
INFO - Atoms: 13493/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 829959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.842 Prop: 1139.882 PropClause: 1111.142 Set: 203.554 Check: 0.0 Back: 19.825
INFO - Atoms: 14973/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 834420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.878 Prop: 1155.562 PropClause: 1126.673 Set: 204.127 Check: 0.0 Back: 20.184
INFO - Atoms: 4461/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 838881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.912 Prop: 1160.726 PropClause: 1131.69 Set: 204.66 Check: 0.0 Back: 20.287
INFO - Atoms: 4461/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 843869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 1172.388 PropClause: 1143.16 Set: 205.4 Check: 0.0 Back: 20.388
INFO - Atoms: 4988/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 848857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.98 Prop: 1177.132 PropClause: 1147.776 Set: 206.037 Check: 0.0 Back: 20.509
INFO - Atoms: 4988/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 860125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.018 Prop: 1189.66 PropClause: 1159.956 Set: 209.067 Check: 0.0 Back: 20.623
INFO - Atoms: 11268/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 872338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 1203.158 PropClause: 1173.109 Set: 212.487 Check: 0.0 Back: 20.893
INFO - Atoms: 12213/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 879591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.08 Prop: 1212.094 PropClause: 1181.85 Set: 213.772 Check: 0.0 Back: 21.185
INFO - Atoms: 7253/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 893329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.132 Prop: 1244.809 PropClause: 1214.155 Set: 219.466 Check: 0.0 Back: 21.355
INFO - Atoms: 13738/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 908219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.155 Prop: 1261.949 PropClause: 1230.835 Set: 223.542 Check: 0.0 Back: 21.689
INFO - Atoms: 14890/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 923184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.177 Prop: 1277.756 PropClause: 1246.167 Set: 227.644 Check: 0.0 Back: 22.052
INFO - Atoms: 14965/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 938145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.209 Prop: 1309.137 PropClause: 1277.129 Set: 231.986 Check: 0.0 Back: 22.405
INFO - Atoms: 14961/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 950160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.246 Prop: 1327.193 PropClause: 1294.842 Set: 235.317 Check: 0.0 Back: 22.773
INFO - Atoms: 12015/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 961543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 1339.372 PropClause: 1306.704 Set: 238.194 Check: 0.0 Back: 23.066
INFO - Atoms: 11383/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 973141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.31 Prop: 1351.8 PropClause: 1318.69 Set: 241.004 Check: 0.0 Back: 23.327
INFO - Atoms: 11598/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 988158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.34 Prop: 1366.639 PropClause: 1333.13 Set: 245.14 Check: 0.0 Back: 23.598
INFO - Atoms: 15017/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 1003171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.366 Prop: 1382.09 PropClause: 1348.133 Set: 249.12 Check: 0.0 Back: 23.978
INFO - Atoms: 15013/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 1014412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.419 Prop: 1408.91 PropClause: 1374.622 Set: 253.55 Check: 0.0 Back: 24.338
INFO - Atoms: 11241/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 1025616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.549 Prop: 1420.799 PropClause: 1386.127 Set: 256.543 Check: 0.0 Back: 24.636
INFO - Atoms: 11204/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 1040566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.563 Prop: 1437.437 PropClause: 1402.369 Set: 260.547 Check: 0.0 Back: 24.894
INFO - Atoms: 14950/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 1051902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.58 Prop: 1452.931 PropClause: 1417.562 Set: 263.358 Check: 0.0 Back: 25.271
INFO - Atoms: 11336/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 1063034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.596 Prop: 1464.254 PropClause: 1428.584 Set: 265.929 Check: 0.0 Back: 25.532
INFO - Atoms: 11132/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 1078317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.611 Prop: 1480.971 PropClause: 1444.875 Set: 270.796 Check: 0.0 Back: 25.789
INFO - Atoms: 15283/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 1089719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.643 Prop: 1497.271 PropClause: 1460.645 Set: 273.929 Check: 0.0 Back: 26.176
INFO - Atoms: 11402/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 1101603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.66 Prop: 1511.005 PropClause: 1473.987 Set: 276.904 Check: 0.0 Back: 26.467
INFO - Atoms: 11884/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 1113510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.684 Prop: 1528.195 PropClause: 1490.807 Set: 280.485 Check: 0.0 Back: 26.744
INFO - Atoms: 11907/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 1128903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.7 Prop: 1544.976 PropClause: 1507.096 Set: 284.835 Check: 0.0 Back: 27.03
INFO - Atoms: 15393/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 1144267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.72 Prop: 1566.161 PropClause: 1527.839 Set: 289.732 Check: 0.0 Back: 27.42
INFO - Atoms: 15364/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 1155659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.741 Prop: 1586.326 PropClause: 1547.689 Set: 292.76 Check: 0.0 Back: 27.811
INFO - Atoms: 11392/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 1170946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.78 Prop: 1604.669 PropClause: 1565.549 Set: 297.328 Check: 0.0 Back: 28.075
INFO - Atoms: 15287/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 1186528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.797 Prop: 1631.358 PropClause: 1591.789 Set: 302.27 Check: 0.0 Back: 28.453
INFO - Atoms: 15582/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 1202106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.811 Prop: 1664.616 PropClause: 1624.451 Set: 307.049 Check: 0.0 Back: 28.858
INFO - Atoms: 15578/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 1213352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.909 Prop: 1711.407 PropClause: 1670.893 Set: 311.78 Check: 0.0 Back: 29.239
INFO - Atoms: 11246/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 1225946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.023 Prop: 1734.439 PropClause: 1693.57 Set: 315.637 Check: 0.0 Back: 29.541
INFO - Atoms: 12594/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 1240430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.04 Prop: 1751.057 PropClause: 1709.779 Set: 319.845 Check: 0.0 Back: 29.885
INFO - Atoms: 14484/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 1254555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.053 Prop: 1770.205 PropClause: 1728.526 Set: 323.618 Check: 0.0 Back: 30.232
INFO - Atoms: 14125/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 1268561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.077 Prop: 1795.937 PropClause: 1753.715 Set: 328.338 Check: 0.0 Back: 30.566
INFO - Atoms: 14006/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 1283582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.106 Prop: 1826.474 PropClause: 1783.848 Set: 332.984 Check: 0.0 Back: 30.917
INFO - Atoms: 15021/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 1298778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.129 Prop: 1851.305 PropClause: 1808.155 Set: 337.223 Check: 0.0 Back: 31.316
INFO - Atoms: 15196/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 1304581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.144 Prop: 1864.433 PropClause: 1821.128 Set: 338.027 Check: 0.0 Back: 31.701
INFO - Atoms: 5803/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 1318083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.165 Prop: 1881.975 PropClause: 1838.202 Set: 341.978 Check: 0.0 Back: 31.834
INFO - Atoms: 13502/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 1333036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.182 Prop: 1913.907 PropClause: 1869.689 Set: 349.104 Check: 0.0 Back: 32.165
INFO - Atoms: 14953/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 1337878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.199 Prop: 1931.377 PropClause: 1887.01 Set: 350.079 Check: 0.0 Back: 32.549
INFO - Atoms: 4842/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 1351206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.218 Prop: 1947.547 PropClause: 1902.801 Set: 355.893 Check: 0.0 Back: 32.673
INFO - Atoms: 13328/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 1365725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.232 Prop: 1967.462 PropClause: 1922.3 Set: 361.188 Check: 0.0 Back: 33.016
INFO - Atoms: 14519/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 1375647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.246 Prop: 1984.164 PropClause: 1938.716 Set: 364.208 Check: 0.0 Back: 33.389
INFO - Atoms: 9922/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 1383961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.266 Prop: 1996.691 PropClause: 1951.004 Set: 367.035 Check: 0.0 Back: 33.643
INFO - Atoms: 8314/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 1393019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.286 Prop: 2006.308 PropClause: 1960.351 Set: 369.19 Check: 0.0 Back: 33.856
INFO - Atoms: 9058/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 1401189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.295 Prop: 2013.82 PropClause: 1967.582 Set: 370.724 Check: 0.0 Back: 34.062
INFO - Atoms: 8170/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 1411413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.324 Prop: 2025.423 PropClause: 1978.909 Set: 373.281 Check: 0.0 Back: 34.249
INFO - Atoms: 10224/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 1421750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.341 Prop: 2041.459 PropClause: 1994.636 Set: 376.006 Check: 0.0 Back: 34.517
INFO - Atoms: 10337/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 1432740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.365 Prop: 2055.236 PropClause: 2008.015 Set: 379.444 Check: 0.0 Back: 34.771
INFO - Atoms: 10990/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 1444214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.379 Prop: 2072.795 PropClause: 2025.256 Set: 382.18 Check: 0.0 Back: 35.041
INFO - Atoms: 11474/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 1455024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.393 Prop: 2087.703 PropClause: 2039.819 Set: 385.144 Check: 0.0 Back: 35.323
INFO - Atoms: 10810/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 1465816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.407 Prop: 2099.213 PropClause: 2051.042 Set: 387.638 Check: 0.0 Back: 35.572
INFO - Atoms: 10792/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 1477836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.422 Prop: 2110.927 PropClause: 2062.389 Set: 391.161 Check: 0.0 Back: 35.824
INFO - Atoms: 12020/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 1488357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.443 Prop: 2123.464 PropClause: 2074.624 Set: 393.916 Check: 0.0 Back: 36.101
INFO - Atoms: 10521/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 1499868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.488 Prop: 2136.925 PropClause: 2087.758 Set: 396.688 Check: 0.0 Back: 36.344
INFO - Atoms: 11511/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 1505424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.507 Prop: 2148.054 PropClause: 2098.733 Set: 397.39 Check: 0.0 Back: 36.64
INFO - Atoms: 5556/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 1511797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.547 Prop: 2154.061 PropClause: 2104.571 Set: 398.365 Check: 0.0 Back: 36.767
INFO - Atoms: 6373/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 1518171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.555 Prop: 2159.798 PropClause: 2110.079 Set: 399.34 Check: 0.0 Back: 36.914
INFO - Atoms: 6374/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 1524539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.564 Prop: 2166.453 PropClause: 2116.566 Set: 400.51 Check: 0.0 Back: 37.06
INFO - Atoms: 6368/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 1530877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.578 Prop: 2173.223 PropClause: 2123.106 Set: 401.655 Check: 0.0 Back: 37.214
INFO - Atoms: 6338/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 1537215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.588 Prop: 2180.493 PropClause: 2130.182 Set: 402.694 Check: 0.0 Back: 37.36
INFO - Atoms: 6338/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 1543553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.595 Prop: 2186.964 PropClause: 2136.486 Set: 403.648 Check: 0.0 Back: 37.505
INFO - Atoms: 6338/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 1549891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.606 Prop: 2194.433 PropClause: 2143.79 Set: 404.781 Check: 0.0 Back: 37.65
INFO - Atoms: 6338/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 1556229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.616 Prop: 2202.164 PropClause: 2151.231 Set: 405.89 Check: 0.0 Back: 37.797
INFO - Atoms: 6338/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 1562567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.626 Prop: 2208.96 PropClause: 2157.853 Set: 406.956 Check: 0.0 Back: 37.941
INFO - Atoms: 6338/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 1568904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.638 Prop: 2219.647 PropClause: 2168.373 Set: 408.137 Check: 0.0 Back: 38.087
INFO - Atoms: 6337/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 1575240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.65 Prop: 2231.865 PropClause: 2180.296 Set: 409.493 Check: 0.0 Back: 38.239
INFO - Atoms: 6336/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 1581576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.659 Prop: 2243.11 PropClause: 2191.377 Set: 410.65 Check: 0.0 Back: 38.4
INFO - Atoms: 6336/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 1587912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.671 Prop: 2251.868 PropClause: 2199.747 Set: 411.865 Check: 0.0 Back: 38.555
INFO - Atoms: 6336/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 1594248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.679 Prop: 2257.729 PropClause: 2205.378 Set: 412.836 Check: 0.0 Back: 38.703
INFO - Atoms: 6336/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 1600584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.687 Prop: 2266.818 PropClause: 2214.186 Set: 413.862 Check: 0.0 Back: 38.852
INFO - Atoms: 6336/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 1606912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.699 Prop: 2274.065 PropClause: 2221.196 Set: 414.927 Check: 0.0 Back: 39.001
INFO - Atoms: 6328/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 1612603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.708 Prop: 2282.261 PropClause: 2229.242 Set: 415.738 Check: 0.0 Back: 39.146
INFO - Atoms: 5691/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 1618969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.719 Prop: 2289.305 PropClause: 2236.118 Set: 416.832 Check: 0.0 Back: 39.279
INFO - Atoms: 6366/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 1627176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.726 Prop: 2297.416 PropClause: 2244.011 Set: 418.367 Check: 0.0 Back: 39.426
INFO - Atoms: 8207/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 1636389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.734 Prop: 2307.29 PropClause: 2253.514 Set: 420.323 Check: 0.0 Back: 39.618
INFO - Atoms: 9213/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 1646244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.748 Prop: 2337.971 PropClause: 2283.822 Set: 423.854 Check: 0.0 Back: 39.832
INFO - Atoms: 9855/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 1650806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.756 Prop: 2348.433 PropClause: 2294.095 Set: 424.42 Check: 0.0 Back: 40.076
INFO - Atoms: 4562/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 1655370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.771 Prop: 2353.973 PropClause: 2299.519 Set: 425.048 Check: 0.0 Back: 40.182
INFO - Atoms: 4564/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 1661755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.78 Prop: 2360.326 PropClause: 2305.589 Set: 426.142 Check: 0.0 Back: 40.286
INFO - Atoms: 6385/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 1672706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.793 Prop: 2375.711 PropClause: 2320.61 Set: 429.35 Check: 0.0 Back: 40.447
INFO - Atoms: 10951/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 1683841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.802 Prop: 2390.27 PropClause: 2334.817 Set: 432.294 Check: 0.0 Back: 40.724
INFO - Atoms: 11135/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 1695254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.82 Prop: 2424.837 PropClause: 2369.024 Set: 436.724 Check: 0.0 Back: 40.991
INFO - Atoms: 11413/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 1706035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.829 Prop: 2442.057 PropClause: 2385.871 Set: 439.43 Check: 0.0 Back: 41.273
INFO - Atoms: 10781/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 1716410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.838 Prop: 2454.955 PropClause: 2398.436 Set: 442.089 Check: 0.0 Back: 41.522
INFO - Atoms: 10375/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 1727262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.864 Prop: 2483.502 PropClause: 2426.652 Set: 445.51 Check: 0.0 Back: 41.783
INFO - Atoms: 10852/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 1738680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.877 Prop: 2524.605 PropClause: 2467.41 Set: 449.372 Check: 0.0 Back: 42.049
INFO - Atoms: 11418/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 1751907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.895 Prop: 2554.568 PropClause: 2496.809 Set: 454.11 Check: 0.0 Back: 42.333
INFO - Atoms: 13227/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Restart
INFO - Confl: 500 Props: 123172 Tprops: 55067 Decides: 55118 RSplits: 0
INFO - Times: Expl: 253.687 Prop: 12295.405 PropClause: 115.885 Set: 26694.724 Check: 331.494 Back: 490.168
INFO - Atoms: 341/1392 Clauses: 500 Axioms: 1739
INFO - CCTimes: iE 262484 eq 68554484 cc 20891049 setRep 12479792
INFO - Merges: 53120, cc:23652
INFO - BVTimes: BB 1424420511 BB_DPLL 9698865014 Graph 307356250
INFO - BitBlastingClauses: 226777 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 1758213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.904 Prop: 2570.309 PropClause: 2512.326 Set: 455.169 Check: 0.0 Back: 42.661
INFO - Atoms: 6306/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 1764581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.916 Prop: 2578.823 PropClause: 2520.664 Set: 456.295 Check: 0.0 Back: 42.806
INFO - Atoms: 6368/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 1774891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.923 Prop: 2592.495 PropClause: 2534.063 Set: 458.817 Check: 0.0 Back: 42.959
INFO - Atoms: 10310/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 1785618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.94 Prop: 2616.808 PropClause: 2558.078 Set: 462.213 Check: 0.0 Back: 43.2
INFO - Atoms: 10727/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 1796582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.952 Prop: 2639.956 PropClause: 2580.913 Set: 465.226 Check: 0.0 Back: 43.473
INFO - Atoms: 10964/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 1807860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.963 Prop: 2665.447 PropClause: 2606.071 Set: 469.069 Check: 0.0 Back: 43.759
INFO - Atoms: 11278/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 1819374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.971 Prop: 2697.455 PropClause: 2637.749 Set: 473.7 Check: 0.0 Back: 44.038
INFO - Atoms: 11514/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 1831534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.979 Prop: 2727.371 PropClause: 2667.317 Set: 478.385 Check: 0.0 Back: 44.332
INFO - Atoms: 12160/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 1845359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.988 Prop: 2769.825 PropClause: 2709.372 Set: 485.247 Check: 0.0 Back: 44.643
INFO - Atoms: 13825/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 1860456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.995 Prop: 2791.351 PropClause: 2730.471 Set: 489.232 Check: 0.0 Back: 44.998
INFO - Atoms: 15097/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 1875582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.004 Prop: 2821.381 PropClause: 2760.044 Set: 494.091 Check: 0.0 Back: 45.386
INFO - Atoms: 15126/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 1890688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.012 Prop: 2846.16 PropClause: 2784.39 Set: 498.511 Check: 0.0 Back: 45.793
INFO - Atoms: 15106/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 1905835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.02 Prop: 2870.532 PropClause: 2808.041 Set: 503.403 Check: 0.0 Back: 46.184
INFO - Atoms: 15147/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 1920987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.033 Prop: 2904.742 PropClause: 2841.696 Set: 508.504 Check: 0.0 Back: 46.559
INFO - Atoms: 15152/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 1936234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.041 Prop: 2927.481 PropClause: 2863.989 Set: 513.649 Check: 0.0 Back: 46.968
INFO - Atoms: 15247/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 1951496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.056 Prop: 2957.769 PropClause: 2893.672 Set: 519.565 Check: 0.0 Back: 47.347
INFO - Atoms: 15262/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 1966750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.074 Prop: 3011.502 PropClause: 2946.825 Set: 526.291 Check: 0.0 Back: 47.742
INFO - Atoms: 15254/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 1982014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.091 Prop: 3041.372 PropClause: 2976.212 Set: 532.315 Check: 0.0 Back: 48.128
INFO - Atoms: 15264/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 1997269 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.101 Prop: 3065.11 PropClause: 2999.26 Set: 537.776 Check: 0.0 Back: 48.51
INFO - Atoms: 15255/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 2012534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.109 Prop: 3090.919 PropClause: 3024.568 Set: 542.847 Check: 0.0 Back: 48.895
INFO - Atoms: 15265/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 2027791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.118 Prop: 3116.71 PropClause: 3049.923 Set: 547.963 Check: 0.0 Back: 49.272
INFO - Atoms: 15257/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 2032668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.134 Prop: 3133.992 PropClause: 3067.048 Set: 548.639 Check: 0.0 Back: 49.681
INFO - Atoms: 4877/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 2047878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.147 Prop: 3151.447 PropClause: 3083.928 Set: 553.812 Check: 0.0 Back: 49.806
INFO - Atoms: 15210/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 2062880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.16 Prop: 3177.831 PropClause: 3109.776 Set: 559.207 Check: 0.0 Back: 50.203
INFO - Atoms: 15002/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 2069326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.172 Prop: 3194.718 PropClause: 3126.374 Set: 560.442 Check: 0.0 Back: 50.596
INFO - Atoms: 6446/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 2083806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.186 Prop: 3211.452 PropClause: 3142.559 Set: 565.305 Check: 0.0 Back: 50.743
INFO - Atoms: 14480/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 2097816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.204 Prop: 3236.379 PropClause: 3167.057 Set: 570.538 Check: 0.0 Back: 51.118
INFO - Atoms: 14010/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 2106484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.215 Prop: 3293.222 PropClause: 3223.424 Set: 574.053 Check: 0.0 Back: 51.477
INFO - Atoms: 8668/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 2115330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.225 Prop: 3303.822 PropClause: 3233.756 Set: 576.12 Check: 0.0 Back: 51.693
INFO - Atoms: 8846/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 2125987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.238 Prop: 3317.638 PropClause: 3247.28 Set: 579.003 Check: 0.0 Back: 51.897
INFO - Atoms: 10657/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 2136125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.247 Prop: 3331.835 PropClause: 3261.059 Set: 581.546 Check: 0.0 Back: 52.155
INFO - Atoms: 10138/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 2146188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.259 Prop: 3344.347 PropClause: 3273.25 Set: 584.31 Check: 0.0 Back: 52.4
INFO - Atoms: 10063/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 2151519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.271 Prop: 3355.568 PropClause: 3284.33 Set: 585.101 Check: 0.0 Back: 52.674
INFO - Atoms: 5331/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 2157930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.285 Prop: 3362.522 PropClause: 3291.01 Set: 586.374 Check: 0.0 Back: 52.797
INFO - Atoms: 6411/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 2164294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.296 Prop: 3369.742 PropClause: 3298.052 Set: 587.567 Check: 0.0 Back: 52.947
INFO - Atoms: 6364/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 2175147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.308 Prop: 3385.912 PropClause: 3313.903 Set: 590.932 Check: 0.0 Back: 53.094
INFO - Atoms: 10853/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 2185522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.318 Prop: 3401.258 PropClause: 3328.973 Set: 593.362 Check: 0.0 Back: 53.382
INFO - Atoms: 10375/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 2196644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.334 Prop: 3431.778 PropClause: 3359.036 Set: 597.843 Check: 0.0 Back: 53.64
INFO - Atoms: 11122/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 2208475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.346 Prop: 3453.18 PropClause: 3380.072 Set: 601.839 Check: 0.0 Back: 53.939
INFO - Atoms: 11831/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 2221193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.357 Prop: 3474.918 PropClause: 3401.321 Set: 605.558 Check: 0.0 Back: 54.256
INFO - Atoms: 12718/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 2232320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.366 Prop: 3496.145 PropClause: 3421.846 Set: 608.54 Check: 0.0 Back: 54.577
INFO - Atoms: 11127/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 2246039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.376 Prop: 3518.281 PropClause: 3443.537 Set: 612.627 Check: 0.0 Back: 54.859
INFO - Atoms: 13719/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 2252756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.387 Prop: 3533.517 PropClause: 3458.52 Set: 613.92 Check: 0.0 Back: 55.211
INFO - Atoms: 6717/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 2259211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.397 Prop: 3542.266 PropClause: 3467.027 Set: 615.139 Check: 0.0 Back: 55.367
INFO - Atoms: 6455/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 2267479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.409 Prop: 3552.447 PropClause: 3476.962 Set: 616.94 Check: 0.0 Back: 55.517
INFO - Atoms: 8268/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 2276805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.425 Prop: 3567.534 PropClause: 3491.671 Set: 619.497 Check: 0.0 Back: 55.717
INFO - Atoms: 9326/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 2286823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.437 Prop: 3580.806 PropClause: 3504.644 Set: 621.941 Check: 0.0 Back: 55.946
INFO - Atoms: 10018/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 2297393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.448 Prop: 3613.122 PropClause: 3536.662 Set: 625.703 Check: 0.0 Back: 56.2
INFO - Atoms: 10570/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 2306544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.456 Prop: 3624.475 PropClause: 3547.761 Set: 627.779 Check: 0.0 Back: 56.466
INFO - Atoms: 9151/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 2317109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.468 Prop: 3636.993 PropClause: 3559.945 Set: 630.419 Check: 0.0 Back: 56.676
INFO - Atoms: 10565/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 2321674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.477 Prop: 3648.54 PropClause: 3571.376 Set: 631.056 Check: 0.0 Back: 56.937
INFO - Atoms: 4565/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 2332122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.486 Prop: 3660.704 PropClause: 3583.039 Set: 633.571 Check: 0.0 Back: 57.042
INFO - Atoms: 10448/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 2343828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.496 Prop: 3678.772 PropClause: 3600.73 Set: 636.613 Check: 0.0 Back: 57.301
INFO - Atoms: 11706/18024 Clauses: 675 Axioms: 92651
INFO - Formula is unsat
INFO - Bitblasting DPLL solved