/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: 67568109
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 9758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.57 Prop: 26.789 PropClause: 24.597 Set: 10.919 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.602 Prop: 37.225 PropClause: 34.673 Set: 35.293 Check: 0.0 Back: 0.23
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.642 Prop: 43.634 PropClause: 40.76 Set: 38.541 Check: 0.0 Back: 0.451
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.686 Prop: 51.073 PropClause: 47.872 Set: 41.685 Check: 0.0 Back: 0.672
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.728 Prop: 57.109 PropClause: 53.589 Set: 44.461 Check: 0.0 Back: 0.889
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.764 Prop: 63.791 PropClause: 59.974 Set: 46.453 Check: 0.0 Back: 1.105
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.804 Prop: 68.35 PropClause: 64.235 Set: 48.364 Check: 0.0 Back: 1.336
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: 0.859 Prop: 73.03 PropClause: 68.598 Set: 50.065 Check: 0.0 Back: 1.552
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: 0.892 Prop: 77.007 PropClause: 72.281 Set: 51.673 Check: 0.0 Back: 1.769
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: 0.93 Prop: 81.044 PropClause: 75.973 Set: 53.261 Check: 0.0 Back: 1.984
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: 0.966 Prop: 86.413 PropClause: 80.857 Set: 55.737 Check: 0.0 Back: 2.196
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.003 Prop: 91.665 PropClause: 85.655 Set: 58.248 Check: 0.0 Back: 2.406
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.044 Prop: 96.589 PropClause: 90.127 Set: 60.672 Check: 0.0 Back: 2.616
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.08 Prop: 101.02 PropClause: 94.113 Set: 62.157 Check: 0.0 Back: 2.822
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.15 Prop: 105.064 PropClause: 97.725 Set: 63.614 Check: 0.0 Back: 3.026
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.185 Prop: 109.006 PropClause: 101.122 Set: 65.086 Check: 0.0 Back: 3.226
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.221 Prop: 112.978 PropClause: 104.605 Set: 66.517 Check: 0.0 Back: 3.428
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.258 Prop: 116.998 PropClause: 108.106 Set: 67.938 Check: 0.0 Back: 3.624
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.292 Prop: 120.702 PropClause: 111.329 Set: 69.309 Check: 0.0 Back: 3.819
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.326 Prop: 124.137 PropClause: 114.292 Set: 70.674 Check: 0.0 Back: 4.012
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.737 Prop: 128.306 PropClause: 117.994 Set: 81.244 Check: 0.0 Back: 4.202
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.77 Prop: 131.855 PropClause: 121.071 Set: 82.568 Check: 0.0 Back: 4.39
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.853 Prop: 135.376 PropClause: 124.125 Set: 83.871 Check: 0.0 Back: 4.575
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.883 Prop: 138.463 PropClause: 126.751 Set: 85.17 Check: 0.0 Back: 4.76
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.914 Prop: 141.526 PropClause: 129.359 Set: 86.426 Check: 0.0 Back: 4.94
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.95 Prop: 145.181 PropClause: 132.585 Set: 87.681 Check: 0.0 Back: 5.119
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.981 Prop: 148.058 PropClause: 135.071 Set: 88.91 Check: 0.0 Back: 5.296
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: 2.018 Prop: 151.318 PropClause: 137.979 Set: 90.17 Check: 0.0 Back: 5.484
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: 2.059 Prop: 154.671 PropClause: 141.043 Set: 91.359 Check: 0.0 Back: 5.657
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: 2.092 Prop: 158.176 PropClause: 144.137 Set: 92.562 Check: 0.0 Back: 5.827
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: 2.375 Prop: 161.337 PropClause: 146.941 Set: 93.926 Check: 0.0 Back: 5.997
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.412 Prop: 164.595 PropClause: 149.921 Set: 95.593 Check: 0.0 Back: 6.162
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.447 Prop: 167.797 PropClause: 152.742 Set: 97.35 Check: 0.0 Back: 6.325
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.495 Prop: 171.413 PropClause: 156.089 Set: 99.071 Check: 0.0 Back: 6.486
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.534 Prop: 174.821 PropClause: 159.228 Set: 100.818 Check: 0.0 Back: 6.644
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.569 Prop: 178.44 PropClause: 162.468 Set: 102.532 Check: 0.0 Back: 6.801
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.607 Prop: 181.776 PropClause: 165.62 Set: 104.193 Check: 0.0 Back: 6.957
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.65 Prop: 186.074 PropClause: 168.993 Set: 106.041 Check: 0.0 Back: 7.109
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.683 Prop: 189.216 PropClause: 171.715 Set: 107.871 Check: 0.0 Back: 7.282
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.719 Prop: 192.166 PropClause: 174.439 Set: 109.632 Check: 0.0 Back: 7.447
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.762 Prop: 194.479 PropClause: 176.528 Set: 111.347 Check: 0.0 Back: 7.607
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.798 Prop: 197.086 PropClause: 178.748 Set: 112.558 Check: 0.0 Back: 7.764
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.831 Prop: 199.448 PropClause: 180.881 Set: 113.74 Check: 0.0 Back: 7.928
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.869 Prop: 202.254 PropClause: 183.466 Set: 114.848 Check: 0.0 Back: 8.093
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.903 Prop: 205.272 PropClause: 186.094 Set: 116.067 Check: 0.0 Back: 8.251
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.939 Prop: 208.67 PropClause: 189.247 Set: 117.284 Check: 0.0 Back: 8.415
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.975 Prop: 211.5 PropClause: 191.839 Set: 118.526 Check: 0.0 Back: 8.582
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: 3.009 Prop: 214.771 PropClause: 194.729 Set: 119.724 Check: 0.0 Back: 8.75
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: 3.044 Prop: 217.692 PropClause: 197.416 Set: 120.921 Check: 0.0 Back: 8.915
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: 3.077 Prop: 220.563 PropClause: 200.063 Set: 122.069 Check: 0.0 Back: 9.081
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: 3.111 Prop: 223.393 PropClause: 202.508 Set: 123.273 Check: 0.0 Back: 9.239
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: 3.148 Prop: 226.46 PropClause: 205.34 Set: 124.495 Check: 0.0 Back: 9.402
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: 3.26 Prop: 229.128 PropClause: 207.814 Set: 125.72 Check: 0.0 Back: 9.568
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: 3.274 Prop: 231.814 PropClause: 210.302 Set: 126.924 Check: 0.0 Back: 9.735
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: 3.286 Prop: 233.918 PropClause: 212.221 Set: 128.138 Check: 0.0 Back: 9.9
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.304 Prop: 236.404 PropClause: 214.53 Set: 129.326 Check: 0.0 Back: 10.066
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.335 Prop: 239.35 PropClause: 217.292 Set: 130.561 Check: 0.0 Back: 10.225
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.349 Prop: 241.961 PropClause: 219.721 Set: 131.792 Check: 0.0 Back: 10.393
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.362 Prop: 243.982 PropClause: 221.56 Set: 133.049 Check: 0.0 Back: 10.561
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.381 Prop: 251.995 PropClause: 229.387 Set: 134.312 Check: 0.0 Back: 10.728
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.395 Prop: 254.43 PropClause: 231.626 Set: 135.709 Check: 0.0 Back: 10.894
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.41 Prop: 257.147 PropClause: 234.168 Set: 136.856 Check: 0.0 Back: 11.062
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.425 Prop: 260.102 PropClause: 236.94 Set: 138.076 Check: 0.0 Back: 11.223
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.44 Prop: 263.084 PropClause: 239.738 Set: 139.329 Check: 0.0 Back: 11.389
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.455 Prop: 266.517 PropClause: 242.984 Set: 148.838 Check: 0.0 Back: 11.559
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.47 Prop: 269.098 PropClause: 245.385 Set: 150.01 Check: 0.0 Back: 11.727
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.487 Prop: 272.356 PropClause: 248.46 Set: 151.231 Check: 0.0 Back: 11.893
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.502 Prop: 275.38 PropClause: 251.309 Set: 152.382 Check: 0.0 Back: 12.062
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.517 Prop: 278.211 PropClause: 253.958 Set: 153.614 Check: 0.0 Back: 12.222
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.532 Prop: 281.248 PropClause: 256.81 Set: 154.842 Check: 0.0 Back: 12.388
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.546 Prop: 284.121 PropClause: 259.501 Set: 156.056 Check: 0.0 Back: 12.556
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.56 Prop: 286.938 PropClause: 262.135 Set: 157.287 Check: 0.0 Back: 12.724
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.575 Prop: 289.856 PropClause: 264.869 Set: 158.517 Check: 0.0 Back: 12.89
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.589 Prop: 292.206 PropClause: 267.045 Set: 159.629 Check: 0.0 Back: 13.059
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.602 Prop: 294.654 PropClause: 269.312 Set: 160.817 Check: 0.0 Back: 13.219
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.617 Prop: 296.988 PropClause: 271.462 Set: 162.072 Check: 0.0 Back: 13.386
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.631 Prop: 299.319 PropClause: 273.609 Set: 163.293 Check: 0.0 Back: 13.554
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.65 Prop: 301.869 PropClause: 275.966 Set: 164.493 Check: 0.0 Back: 13.722
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.664 Prop: 304.588 PropClause: 278.503 Set: 165.709 Check: 0.0 Back: 13.89
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.676 Prop: 306.774 PropClause: 280.515 Set: 166.845 Check: 0.0 Back: 14.058
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.689 Prop: 309.2 PropClause: 282.761 Set: 168.055 Check: 0.0 Back: 14.217
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.702 Prop: 311.418 PropClause: 284.797 Set: 169.281 Check: 0.0 Back: 14.384
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.714 Prop: 313.548 PropClause: 286.743 Set: 170.512 Check: 0.0 Back: 14.551
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.727 Prop: 316.346 PropClause: 289.358 Set: 171.75 Check: 0.0 Back: 14.719
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.742 Prop: 319.121 PropClause: 291.949 Set: 172.994 Check: 0.0 Back: 14.885
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.758 Prop: 321.86 PropClause: 294.513 Set: 174.131 Check: 0.0 Back: 15.053
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.774 Prop: 324.862 PropClause: 297.321 Set: 175.337 Check: 0.0 Back: 15.215
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.787 Prop: 327.528 PropClause: 299.807 Set: 176.561 Check: 0.0 Back: 15.382
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.8 Prop: 330.11 PropClause: 302.205 Set: 177.796 Check: 0.0 Back: 15.55
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.815 Prop: 332.886 PropClause: 304.8 Set: 179.0 Check: 0.0 Back: 15.718
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.829 Prop: 335.087 PropClause: 306.817 Set: 180.213 Check: 0.0 Back: 15.884
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.841 Prop: 337.212 PropClause: 308.768 Set: 181.344 Check: 0.0 Back: 16.051
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: 3.867 Prop: 339.919 PropClause: 311.292 Set: 182.599 Check: 0.0 Back: 16.21
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: 3.905 Prop: 342.644 PropClause: 313.811 Set: 184.078 Check: 0.0 Back: 16.376
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: 3.945 Prop: 345.141 PropClause: 316.135 Set: 185.208 Check: 0.0 Back: 16.544
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: 3.979 Prop: 347.867 PropClause: 318.678 Set: 187.048 Check: 0.0 Back: 16.703
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: 3.999 Prop: 350.356 PropClause: 320.986 Set: 188.845 Check: 0.0 Back: 16.872
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.01 Prop: 352.868 PropClause: 323.314 Set: 190.668 Check: 0.0 Back: 17.037
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.023 Prop: 356.001 PropClause: 326.261 Set: 192.511 Check: 0.0 Back: 17.205
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.035 Prop: 359.015 PropClause: 329.094 Set: 194.36 Check: 0.0 Back: 17.373
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.044 Prop: 361.375 PropClause: 331.279 Set: 196.07 Check: 0.0 Back: 17.538
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.056 Prop: 364.551 PropClause: 334.26 Set: 197.934 Check: 0.0 Back: 17.698
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.068 Prop: 367.575 PropClause: 337.101 Set: 199.73 Check: 0.0 Back: 17.865
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.081 Prop: 370.357 PropClause: 339.698 Set: 201.577 Check: 0.0 Back: 18.032
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.092 Prop: 373.324 PropClause: 342.484 Set: 203.398 Check: 0.0 Back: 18.199
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.105 Prop: 375.957 PropClause: 344.934 Set: 205.214 Check: 0.0 Back: 18.368
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.117 Prop: 378.855 PropClause: 347.648 Set: 207.082 Check: 0.0 Back: 18.534
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.126 Prop: 381.346 PropClause: 349.956 Set: 208.853 Check: 0.0 Back: 18.704
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.136 Prop: 383.721 PropClause: 352.15 Set: 210.637 Check: 0.0 Back: 18.871
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.145 Prop: 386.158 PropClause: 354.413 Set: 212.369 Check: 0.0 Back: 19.038
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.157 Prop: 388.442 PropClause: 356.519 Set: 214.149 Check: 0.0 Back: 19.198
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.167 Prop: 390.981 PropClause: 358.879 Set: 215.908 Check: 0.0 Back: 19.364
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.179 Prop: 393.961 PropClause: 361.679 Set: 217.69 Check: 0.0 Back: 19.528
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.19 Prop: 396.834 PropClause: 364.374 Set: 219.469 Check: 0.0 Back: 19.692
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.203 Prop: 399.421 PropClause: 366.788 Set: 221.177 Check: 0.0 Back: 19.854
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.214 Prop: 401.831 PropClause: 369.012 Set: 222.912 Check: 0.0 Back: 20.015
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.225 Prop: 404.435 PropClause: 371.43 Set: 224.648 Check: 0.0 Back: 20.176
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.255 Prop: 406.777 PropClause: 373.595 Set: 226.386 Check: 0.0 Back: 20.338
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.268 Prop: 409.1 PropClause: 375.744 Set: 228.106 Check: 0.0 Back: 20.5
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.278 Prop: 411.382 PropClause: 377.851 Set: 229.871 Check: 0.0 Back: 20.659
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.289 Prop: 413.714 PropClause: 380.008 Set: 231.599 Check: 0.0 Back: 20.82
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.299 Prop: 416.11 PropClause: 382.23 Set: 233.315 Check: 0.0 Back: 20.978
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.31 Prop: 418.218 PropClause: 384.173 Set: 234.932 Check: 0.0 Back: 21.139
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.356 Prop: 420.342 PropClause: 386.18 Set: 237.562 Check: 0.0 Back: 21.293
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.381 Prop: 421.555 PropClause: 387.283 Set: 239.886 Check: 0.0 Back: 21.384
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.412 Prop: 422.724 PropClause: 388.347 Set: 241.433 Check: 0.0 Back: 21.477
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.42 Prop: 423.877 PropClause: 389.393 Set: 242.531 Check: 0.0 Back: 21.572
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.475 Prop: 425.0 PropClause: 390.388 Set: 243.179 Check: 0.0 Back: 21.669
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.484 Prop: 425.926 PropClause: 391.202 Set: 243.852 Check: 0.0 Back: 21.77
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.491 Prop: 426.942 PropClause: 392.103 Set: 244.557 Check: 0.0 Back: 21.872
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.498 Prop: 428.033 PropClause: 393.077 Set: 245.266 Check: 0.0 Back: 21.977
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.507 Prop: 429.155 PropClause: 394.08 Set: 246.007 Check: 0.0 Back: 22.083
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.515 Prop: 430.344 PropClause: 395.148 Set: 246.773 Check: 0.0 Back: 22.192
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.523 Prop: 431.52 PropClause: 396.2 Set: 247.531 Check: 0.0 Back: 22.304
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.531 Prop: 432.81 PropClause: 397.362 Set: 248.322 Check: 0.0 Back: 22.417
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.54 Prop: 434.037 PropClause: 398.46 Set: 249.14 Check: 0.0 Back: 22.533
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.548 Prop: 435.28 PropClause: 399.57 Set: 249.939 Check: 0.0 Back: 22.653
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.554 Prop: 436.546 PropClause: 400.703 Set: 250.793 Check: 0.0 Back: 22.773
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.563 Prop: 437.967 PropClause: 401.988 Set: 251.642 Check: 0.0 Back: 22.896
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.59 Prop: 439.313 PropClause: 403.194 Set: 252.535 Check: 0.0 Back: 23.022
INFO - Atoms: 5546/9760 Clauses: 197 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 1379567 Tprops: 0 Decides: 2977 RSplits: 0
INFO - Times: Expl: 91.812 Prop: 555.06 PropClause: 508.636 Set: 261.361 Check: 0.067 Back: 31.375
INFO - Atoms: 3410/9760 Clauses: 548 Axioms: 31922
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 153 Props: 6063 Tprops: 1248 Decides: 5939 RSplits: 0
INFO - Times: Expl: 54.385 Prop: 2030.236 PropClause: 2.374 Set: 574.166 Check: 50.952 Back: 20.396
INFO - Atoms: 261/294 Clauses: 153 Axioms: 294
INFO - CCTimes: iE 64125 eq 8174453 cc 33636698 setRep 11331550
INFO - Merges: 41744, cc:57206
INFO - BVTimes: BB 67543492 BB_DPLL 1651885342 Graph 158202
INFO - BitBlastingClauses: 59558 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat