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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 66443828
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 9758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.689 Prop: 38.68 PropClause: 33.134 Set: 26.105 Check: 0.0 Back: 0.0
INFO - Atoms: 9758/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 19516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.742 Prop: 49.859 PropClause: 42.54 Set: 58.53 Check: 0.0 Back: 0.259
INFO - Atoms: 9758/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 29274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.788 Prop: 64.0 PropClause: 54.722 Set: 60.984 Check: 0.0 Back: 0.507
INFO - Atoms: 9758/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 38842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.836 Prop: 71.861 PropClause: 62.061 Set: 63.243 Check: 0.0 Back: 0.77
INFO - Atoms: 9568/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 48410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.891 Prop: 76.623 PropClause: 66.315 Set: 65.809 Check: 0.0 Back: 1.023
INFO - Atoms: 9568/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 57978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.938 Prop: 84.059 PropClause: 73.284 Set: 68.076 Check: 0.0 Back: 1.275
INFO - Atoms: 9568/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 67547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.986 Prop: 91.27 PropClause: 80.022 Set: 70.313 Check: 0.0 Back: 1.523
INFO - Atoms: 9569/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 77111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.041 Prop: 98.005 PropClause: 86.258 Set: 72.589 Check: 0.0 Back: 1.769
INFO - Atoms: 9564/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 86580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.075 Prop: 101.955 PropClause: 89.737 Set: 74.737 Check: 0.0 Back: 2.019
INFO - Atoms: 9469/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 95949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.122 Prop: 108.081 PropClause: 95.377 Set: 76.858 Check: 0.0 Back: 2.262
INFO - Atoms: 9369/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 105220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.171 Prop: 114.357 PropClause: 101.191 Set: 79.005 Check: 0.0 Back: 2.503
INFO - Atoms: 9271/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 114398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.218 Prop: 121.447 PropClause: 107.812 Set: 82.305 Check: 0.0 Back: 2.744
INFO - Atoms: 9178/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 123471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.256 Prop: 125.708 PropClause: 111.61 Set: 85.304 Check: 0.0 Back: 2.976
INFO - Atoms: 9073/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 132449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.303 Prop: 132.084 PropClause: 117.546 Set: 88.476 Check: 0.0 Back: 3.207
INFO - Atoms: 8978/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 141324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.347 Prop: 139.242 PropClause: 124.263 Set: 91.5 Check: 0.0 Back: 3.437
INFO - Atoms: 8875/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 150104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.39 Prop: 143.792 PropClause: 128.318 Set: 93.584 Check: 0.0 Back: 3.664
INFO - Atoms: 8780/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 158781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.431 Prop: 147.651 PropClause: 131.667 Set: 95.604 Check: 0.0 Back: 3.89
INFO - Atoms: 8677/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 167363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.463 Prop: 151.005 PropClause: 134.491 Set: 97.616 Check: 0.0 Back: 4.112
INFO - Atoms: 8582/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 175842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.504 Prop: 157.24 PropClause: 140.226 Set: 99.542 Check: 0.0 Back: 4.335
INFO - Atoms: 8479/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 184221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.548 Prop: 163.012 PropClause: 145.508 Set: 101.479 Check: 0.0 Back: 4.552
INFO - Atoms: 8379/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 192502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.593 Prop: 167.71 PropClause: 149.719 Set: 103.344 Check: 0.0 Back: 4.768
INFO - Atoms: 8281/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 200683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.631 Prop: 171.999 PropClause: 153.48 Set: 105.238 Check: 0.0 Back: 4.983
INFO - Atoms: 8181/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 208766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.669 Prop: 175.481 PropClause: 156.484 Set: 107.094 Check: 0.0 Back: 5.194
INFO - Atoms: 8083/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 216755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.713 Prop: 181.277 PropClause: 161.796 Set: 108.954 Check: 0.0 Back: 5.399
INFO - Atoms: 7989/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 224640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.754 Prop: 186.178 PropClause: 166.232 Set: 110.781 Check: 0.0 Back: 5.608
INFO - Atoms: 7885/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 232430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.793 Prop: 189.464 PropClause: 169.077 Set: 112.576 Check: 0.0 Back: 5.807
INFO - Atoms: 7790/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 240117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.824 Prop: 192.016 PropClause: 171.197 Set: 114.313 Check: 0.0 Back: 6.004
INFO - Atoms: 7687/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 247710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.853 Prop: 194.687 PropClause: 173.441 Set: 116.05 Check: 0.0 Back: 6.196
INFO - Atoms: 7593/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 255199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.895 Prop: 198.917 PropClause: 177.239 Set: 117.756 Check: 0.0 Back: 6.39
INFO - Atoms: 7489/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 262593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.946 Prop: 204.413 PropClause: 182.292 Set: 119.55 Check: 0.0 Back: 6.58
INFO - Atoms: 7394/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 269884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.986 Prop: 208.177 PropClause: 185.643 Set: 121.209 Check: 0.0 Back: 6.773
INFO - Atoms: 7291/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 277080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 211.89 PropClause: 188.949 Set: 122.842 Check: 0.0 Back: 6.959
INFO - Atoms: 7196/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 284173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.056 Prop: 214.359 PropClause: 191.01 Set: 124.386 Check: 0.0 Back: 7.143
INFO - Atoms: 7093/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 291166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.087 Prop: 216.864 PropClause: 193.118 Set: 125.977 Check: 0.0 Back: 7.327
INFO - Atoms: 6993/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 298061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.131 Prop: 220.861 PropClause: 196.719 Set: 127.546 Check: 0.0 Back: 7.506
INFO - Atoms: 6895/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 304862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.173 Prop: 224.716 PropClause: 200.185 Set: 129.098 Check: 0.0 Back: 7.684
INFO - Atoms: 6801/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 311558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.217 Prop: 228.573 PropClause: 203.617 Set: 130.604 Check: 0.0 Back: 7.859
INFO - Atoms: 6696/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 318822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.258 Prop: 232.156 PropClause: 206.744 Set: 132.301 Check: 0.0 Back: 8.032
INFO - Atoms: 7264/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 326099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.292 Prop: 235.557 PropClause: 209.698 Set: 134.278 Check: 0.0 Back: 8.219
INFO - Atoms: 7277/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 333083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.324 Prop: 238.228 PropClause: 211.941 Set: 135.853 Check: 0.0 Back: 8.404
INFO - Atoms: 6984/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 340067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.375 Prop: 243.025 PropClause: 216.227 Set: 138.216 Check: 0.0 Back: 8.587
INFO - Atoms: 6984/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 347344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.419 Prop: 248.271 PropClause: 220.933 Set: 140.699 Check: 0.0 Back: 8.767
INFO - Atoms: 7277/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 354611 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.459 Prop: 253.337 PropClause: 225.585 Set: 143.1 Check: 0.0 Back: 8.953
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 361603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 256.267 PropClause: 228.072 Set: 145.313 Check: 0.0 Back: 9.139
INFO - Atoms: 6992/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 368881 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.524 Prop: 259.152 PropClause: 230.449 Set: 147.642 Check: 0.0 Back: 9.315
INFO - Atoms: 7278/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 376148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 265.679 PropClause: 236.553 Set: 150.276 Check: 0.0 Back: 9.498
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 383511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.612 Prop: 270.395 PropClause: 240.824 Set: 152.722 Check: 0.0 Back: 9.687
INFO - Atoms: 7363/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 390778 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.655 Prop: 276.016 PropClause: 245.924 Set: 155.213 Check: 0.0 Back: 9.875
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 398128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.704 Prop: 280.379 PropClause: 249.863 Set: 157.627 Check: 0.0 Back: 10.06
INFO - Atoms: 7350/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 405116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.736 Prop: 283.296 PropClause: 252.362 Set: 159.813 Check: 0.0 Back: 10.248
INFO - Atoms: 6988/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 412392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.78 Prop: 288.257 PropClause: 256.795 Set: 179.738 Check: 0.0 Back: 10.425
INFO - Atoms: 7276/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 419743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.823 Prop: 293.078 PropClause: 261.19 Set: 181.517 Check: 0.0 Back: 10.619
INFO - Atoms: 7351/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 427104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.964 Prop: 297.87 PropClause: 265.527 Set: 183.245 Check: 0.0 Back: 10.814
INFO - Atoms: 7361/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 434371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.979 Prop: 302.4 PropClause: 269.527 Set: 184.938 Check: 0.0 Back: 11.005
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 441719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.994 Prop: 305.056 PropClause: 271.735 Set: 186.701 Check: 0.0 Back: 11.192
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 448707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.007 Prop: 307.863 PropClause: 274.318 Set: 188.282 Check: 0.0 Back: 11.385
INFO - Atoms: 6988/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 455983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.025 Prop: 312.579 PropClause: 278.775 Set: 190.041 Check: 0.0 Back: 11.563
INFO - Atoms: 7276/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 463334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.045 Prop: 317.385 PropClause: 283.208 Set: 191.807 Check: 0.0 Back: 11.756
INFO - Atoms: 7351/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 470695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.065 Prop: 322.848 PropClause: 288.455 Set: 193.555 Check: 0.0 Back: 11.95
INFO - Atoms: 7361/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 477962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.087 Prop: 327.63 PropClause: 293.024 Set: 195.264 Check: 0.0 Back: 12.145
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 485310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.117 Prop: 330.687 PropClause: 295.879 Set: 197.227 Check: 0.0 Back: 12.334
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 492304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.16 Prop: 333.869 PropClause: 298.861 Set: 198.919 Check: 0.0 Back: 12.519
INFO - Atoms: 6994/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 499581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.179 Prop: 339.176 PropClause: 303.951 Set: 200.718 Check: 0.0 Back: 12.7
INFO - Atoms: 7277/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 506931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.199 Prop: 343.533 PropClause: 308.096 Set: 202.63 Check: 0.0 Back: 12.894
INFO - Atoms: 7350/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 514292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.219 Prop: 348.214 PropClause: 312.565 Set: 204.401 Check: 0.0 Back: 13.088
INFO - Atoms: 7361/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 521559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.239 Prop: 351.955 PropClause: 316.095 Set: 206.171 Check: 0.0 Back: 13.281
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 528907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.26 Prop: 355.783 PropClause: 319.712 Set: 207.924 Check: 0.0 Back: 13.465
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 535901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.274 Prop: 358.464 PropClause: 322.192 Set: 209.587 Check: 0.0 Back: 13.657
INFO - Atoms: 6994/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 543178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.288 Prop: 360.939 PropClause: 324.453 Set: 211.389 Check: 0.0 Back: 13.84
INFO - Atoms: 7277/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 550528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.307 Prop: 364.243 PropClause: 327.55 Set: 213.216 Check: 0.0 Back: 14.026
INFO - Atoms: 7350/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 557889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.325 Prop: 368.987 PropClause: 332.085 Set: 215.044 Check: 0.0 Back: 14.218
INFO - Atoms: 7361/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 565156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.368 Prop: 373.462 PropClause: 336.352 Set: 216.694 Check: 0.0 Back: 14.403
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 572504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.42 Prop: 375.987 PropClause: 338.691 Set: 217.917 Check: 0.0 Back: 14.587
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 579492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.467 Prop: 379.49 PropClause: 342.016 Set: 219.056 Check: 0.0 Back: 14.767
INFO - Atoms: 6988/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 586768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.485 Prop: 381.993 PropClause: 344.337 Set: 220.268 Check: 0.0 Back: 14.925
INFO - Atoms: 7276/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 594119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.501 Prop: 384.458 PropClause: 346.619 Set: 221.49 Check: 0.0 Back: 15.09
INFO - Atoms: 7351/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 601480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.515 Prop: 386.604 PropClause: 348.581 Set: 222.701 Check: 0.0 Back: 15.271
INFO - Atoms: 7361/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 608747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.533 Prop: 389.329 PropClause: 351.096 Set: 224.33 Check: 0.0 Back: 15.456
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 616095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.554 Prop: 392.462 PropClause: 354.018 Set: 226.004 Check: 0.0 Back: 15.639
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 623083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.598 Prop: 396.362 PropClause: 357.713 Set: 227.54 Check: 0.0 Back: 15.829
INFO - Atoms: 6988/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 630359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.619 Prop: 399.244 PropClause: 360.411 Set: 228.749 Check: 0.0 Back: 15.994
INFO - Atoms: 7276/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 637710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.633 Prop: 402.51 PropClause: 363.493 Set: 229.983 Check: 0.0 Back: 16.167
INFO - Atoms: 7351/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 645071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 405.09 PropClause: 365.874 Set: 231.203 Check: 0.0 Back: 16.335
INFO - Atoms: 7361/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 652338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.695 Prop: 408.085 PropClause: 368.687 Set: 232.423 Check: 0.0 Back: 16.505
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 659686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.736 Prop: 410.283 PropClause: 370.699 Set: 233.643 Check: 0.0 Back: 16.679
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 666681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.756 Prop: 413.959 PropClause: 374.173 Set: 235.186 Check: 0.0 Back: 16.861
INFO - Atoms: 6995/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 673957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 416.19 PropClause: 376.222 Set: 236.395 Check: 0.0 Back: 17.038
INFO - Atoms: 7276/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 681308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.789 Prop: 418.781 PropClause: 378.628 Set: 237.613 Check: 0.0 Back: 17.206
INFO - Atoms: 7351/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 688669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.806 Prop: 421.107 PropClause: 380.771 Set: 238.836 Check: 0.0 Back: 17.377
INFO - Atoms: 7361/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 695936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 423.566 PropClause: 383.048 Set: 240.046 Check: 0.0 Back: 17.548
INFO - Atoms: 7267/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 703284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.919 Prop: 426.072 PropClause: 385.37 Set: 241.269 Check: 0.0 Back: 17.728
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 710272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.98 Prop: 428.459 PropClause: 387.582 Set: 242.412 Check: 0.0 Back: 17.896
INFO - Atoms: 6988/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 717548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.0 Prop: 432.449 PropClause: 391.36 Set: 244.086 Check: 0.0 Back: 18.069
INFO - Atoms: 7276/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 724899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.019 Prop: 435.451 PropClause: 394.149 Set: 245.774 Check: 0.0 Back: 18.252
INFO - Atoms: 7351/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 731888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.068 Prop: 437.77 PropClause: 396.293 Set: 246.897 Check: 0.0 Back: 18.45
INFO - Atoms: 6989/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 739236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.101 Prop: 439.447 PropClause: 397.786 Set: 248.111 Check: 0.0 Back: 18.609
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 746515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.111 Prop: 441.698 PropClause: 399.828 Set: 249.73 Check: 0.0 Back: 18.774
INFO - Atoms: 7279/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 753882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.12 Prop: 444.338 PropClause: 402.254 Set: 251.454 Check: 0.0 Back: 18.957
INFO - Atoms: 7367/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 761229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 448.88 PropClause: 406.582 Set: 253.164 Check: 0.0 Back: 19.142
INFO - Atoms: 7347/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 768498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.149 Prop: 452.745 PropClause: 410.239 Set: 254.86 Check: 0.0 Back: 19.329
INFO - Atoms: 7269/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 775487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.164 Prop: 456.529 PropClause: 413.817 Set: 256.461 Check: 0.0 Back: 19.513
INFO - Atoms: 6989/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 782835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.176 Prop: 459.512 PropClause: 416.616 Set: 257.7 Check: 0.0 Back: 19.692
INFO - Atoms: 7348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 790114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 463.254 PropClause: 420.147 Set: 259.346 Check: 0.0 Back: 19.86
INFO - Atoms: 7279/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 797479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 466.496 PropClause: 423.176 Set: 261.097 Check: 0.0 Back: 20.048
INFO - Atoms: 7365/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 804793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 469.364 PropClause: 425.832 Set: 262.74 Check: 0.0 Back: 20.232
INFO - Atoms: 7314/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 812061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.228 Prop: 471.252 PropClause: 427.538 Set: 263.963 Check: 0.0 Back: 20.42
INFO - Atoms: 7268/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 819382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.238 Prop: 473.642 PropClause: 429.729 Set: 265.349 Check: 0.0 Back: 20.582
INFO - Atoms: 7321/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 826608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.275 Prop: 475.636 PropClause: 431.544 Set: 266.537 Check: 0.0 Back: 20.748
INFO - Atoms: 7226/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 833879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.287 Prop: 478.358 PropClause: 434.083 Set: 267.757 Check: 0.0 Back: 20.913
INFO - Atoms: 7271/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 840873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.298 Prop: 480.855 PropClause: 436.404 Set: 268.899 Check: 0.0 Back: 21.081
INFO - Atoms: 6994/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 848056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.359 Prop: 483.067 PropClause: 438.437 Set: 270.101 Check: 0.0 Back: 21.243
INFO - Atoms: 7183/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 855242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.369 Prop: 485.253 PropClause: 440.444 Set: 271.293 Check: 0.0 Back: 21.408
INFO - Atoms: 7186/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 862428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.383 Prop: 488.536 PropClause: 443.544 Set: 272.691 Check: 0.0 Back: 21.572
INFO - Atoms: 7186/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 869500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 491.251 PropClause: 446.082 Set: 273.89 Check: 0.0 Back: 21.741
INFO - Atoms: 7072/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 876471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.405 Prop: 493.523 PropClause: 448.18 Set: 275.547 Check: 0.0 Back: 21.909
INFO - Atoms: 6971/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 883535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.415 Prop: 495.431 PropClause: 449.911 Set: 277.227 Check: 0.0 Back: 22.068
INFO - Atoms: 7064/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 890589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 497.925 PropClause: 452.229 Set: 278.905 Check: 0.0 Back: 22.23
INFO - Atoms: 7054/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 897661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.434 Prop: 499.67 PropClause: 453.798 Set: 280.624 Check: 0.0 Back: 22.39
INFO - Atoms: 7072/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 904632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.443 Prop: 501.474 PropClause: 455.429 Set: 282.265 Check: 0.0 Back: 22.549
INFO - Atoms: 6971/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 911704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.45 Prop: 503.284 PropClause: 457.063 Set: 283.947 Check: 0.0 Back: 22.708
INFO - Atoms: 7072/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 918677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.461 Prop: 505.281 PropClause: 458.885 Set: 285.607 Check: 0.0 Back: 22.867
INFO - Atoms: 6973/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 925652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 508.219 PropClause: 461.646 Set: 287.3 Check: 0.0 Back: 23.037
INFO - Atoms: 6975/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 932349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.482 Prop: 510.708 PropClause: 463.967 Set: 288.9 Check: 0.0 Back: 23.21
INFO - Atoms: 6697/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 936299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 513.071 PropClause: 466.214 Set: 291.225 Check: 0.0 Back: 23.364
INFO - Atoms: 3950/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 940362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.587 Prop: 515.393 PropClause: 468.38 Set: 294.846 Check: 0.0 Back: 23.462
INFO - Atoms: 4063/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 944524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.615 Prop: 517.138 PropClause: 469.963 Set: 298.321 Check: 0.0 Back: 23.566
INFO - Atoms: 4162/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 948773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.624 Prop: 519.393 PropClause: 472.055 Set: 301.921 Check: 0.0 Back: 23.671
INFO - Atoms: 4249/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 953131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 520.827 PropClause: 473.288 Set: 305.46 Check: 0.0 Back: 23.778
INFO - Atoms: 4358/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 957578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.641 Prop: 522.103 PropClause: 474.432 Set: 306.839 Check: 0.0 Back: 23.893
INFO - Atoms: 4447/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 962134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.689 Prop: 523.452 PropClause: 475.647 Set: 308.232 Check: 0.0 Back: 24.006
INFO - Atoms: 4556/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 966779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 525.078 PropClause: 477.145 Set: 309.526 Check: 0.0 Back: 24.119
INFO - Atoms: 4645/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 971533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 526.453 PropClause: 478.399 Set: 310.679 Check: 0.0 Back: 24.224
INFO - Atoms: 4754/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 976376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 527.743 PropClause: 479.568 Set: 311.865 Check: 0.0 Back: 24.338
INFO - Atoms: 4843/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 981328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 528.979 PropClause: 480.68 Set: 313.071 Check: 0.0 Back: 24.447
INFO - Atoms: 4952/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 986369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.803 Prop: 530.338 PropClause: 481.913 Set: 314.3 Check: 0.0 Back: 24.56
INFO - Atoms: 5041/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 991519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.814 Prop: 531.791 PropClause: 483.237 Set: 315.564 Check: 0.0 Back: 24.68
INFO - Atoms: 5150/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 996758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.823 Prop: 533.229 PropClause: 484.543 Set: 316.857 Check: 0.0 Back: 24.797
INFO - Atoms: 5239/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 1002106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.834 Prop: 534.978 PropClause: 486.159 Set: 318.179 Check: 0.0 Back: 24.922
INFO - Atoms: 5348/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 1007543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.845 Prop: 537.111 PropClause: 488.157 Set: 319.5 Check: 0.0 Back: 25.046
INFO - Atoms: 5437/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 1013089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 538.529 PropClause: 489.438 Set: 320.833 Check: 0.0 Back: 25.169
INFO - Atoms: 5546/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 1356982 Tprops: 0 Decides: 2700 RSplits: 0
INFO - Times: Expl: 119.821 Prop: 671.492 PropClause: 610.987 Set: 330.416 Check: 0.068 Back: 33.889
INFO - Atoms: 3618/9760 Clauses: 538 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 153 Props: 6063 Tprops: 1248 Decides: 5939 RSplits: 0
INFO - Times: Expl: 67.169 Prop: 2564.938 PropClause: 4.536 Set: 722.671 Check: 106.919 Back: 24.588
INFO - Atoms: 261/294 Clauses: 153 Axioms: 294
INFO - CCTimes: iE 81447 eq 13424104 cc 43211947 setRep 19261536
INFO - Merges: 41744, cc:57206
INFO - BVTimes: BB 66420864 BB_DPLL 2051922364 Graph 26010673
INFO - BitBlastingClauses: 59558 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat