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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 70689255
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 9787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.59 Prop: 11.063 PropClause: 9.449 Set: 34.546 Check: 0.0 Back: 0.0
INFO - Atoms: 9787/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 19574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.628 Prop: 17.298 PropClause: 15.338 Set: 36.742 Check: 0.0 Back: 0.231
INFO - Atoms: 9787/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 29241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.677 Prop: 22.147 PropClause: 19.865 Set: 38.565 Check: 0.0 Back: 0.454
INFO - Atoms: 9667/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 38902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.717 Prop: 27.095 PropClause: 24.501 Set: 40.344 Check: 0.0 Back: 0.673
INFO - Atoms: 9661/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 48569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.763 Prop: 31.215 PropClause: 28.292 Set: 42.027 Check: 0.0 Back: 0.893
INFO - Atoms: 9667/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 58230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.802 Prop: 35.933 PropClause: 32.692 Set: 43.655 Check: 0.0 Back: 1.115
INFO - Atoms: 9661/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 67890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.84 Prop: 40.218 PropClause: 36.662 Set: 45.275 Check: 0.0 Back: 1.34
INFO - Atoms: 9660/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 77488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.881 Prop: 45.344 PropClause: 41.473 Set: 47.563 Check: 0.0 Back: 1.566
INFO - Atoms: 9598/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 87020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.915 Prop: 49.06 PropClause: 44.875 Set: 50.01 Check: 0.0 Back: 1.789
INFO - Atoms: 9532/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 96485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.946 Prop: 52.524 PropClause: 48.032 Set: 52.352 Check: 0.0 Back: 2.01
INFO - Atoms: 9465/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 105883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.976 Prop: 55.588 PropClause: 50.714 Set: 53.916 Check: 0.0 Back: 2.23
INFO - Atoms: 9398/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 115214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.014 Prop: 59.726 PropClause: 54.416 Set: 55.473 Check: 0.0 Back: 2.448
INFO - Atoms: 9331/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 124478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.049 Prop: 63.755 PropClause: 58.069 Set: 57.005 Check: 0.0 Back: 2.665
INFO - Atoms: 9264/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 133675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.083 Prop: 67.234 PropClause: 61.179 Set: 58.526 Check: 0.0 Back: 2.88
INFO - Atoms: 9197/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 142805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.117 Prop: 70.927 PropClause: 64.502 Set: 60.023 Check: 0.0 Back: 3.096
INFO - Atoms: 9130/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 151867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.146 Prop: 73.715 PropClause: 66.932 Set: 61.499 Check: 0.0 Back: 3.309
INFO - Atoms: 9062/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 160863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.175 Prop: 76.89 PropClause: 69.743 Set: 62.973 Check: 0.0 Back: 3.519
INFO - Atoms: 8996/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 169791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.202 Prop: 79.577 PropClause: 72.071 Set: 64.446 Check: 0.0 Back: 3.729
INFO - Atoms: 8928/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 178653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.233 Prop: 82.34 PropClause: 74.48 Set: 65.904 Check: 0.0 Back: 3.938
INFO - Atoms: 8862/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 187447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.272 Prop: 86.4 PropClause: 78.186 Set: 67.334 Check: 0.0 Back: 4.15
INFO - Atoms: 8794/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 196175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.304 Prop: 90.505 PropClause: 81.939 Set: 68.753 Check: 0.0 Back: 4.354
INFO - Atoms: 8728/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 204835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.34 Prop: 94.144 PropClause: 85.203 Set: 70.39 Check: 0.0 Back: 4.558
INFO - Atoms: 8660/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 213429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.378 Prop: 98.541 PropClause: 89.252 Set: 72.651 Check: 0.0 Back: 4.76
INFO - Atoms: 8594/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 221956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.418 Prop: 102.607 PropClause: 92.973 Set: 74.826 Check: 0.0 Back: 4.96
INFO - Atoms: 8527/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 230416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.451 Prop: 105.828 PropClause: 95.853 Set: 76.966 Check: 0.0 Back: 5.157
INFO - Atoms: 8460/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 238808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.484 Prop: 108.953 PropClause: 98.75 Set: 79.078 Check: 0.0 Back: 5.352
INFO - Atoms: 8392/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 247134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.521 Prop: 113.203 PropClause: 102.77 Set: 81.179 Check: 0.0 Back: 5.546
INFO - Atoms: 8326/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 255392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.561 Prop: 118.35 PropClause: 107.707 Set: 90.55 Check: 0.0 Back: 5.738
INFO - Atoms: 8258/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 263584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.597 Prop: 121.322 PropClause: 110.474 Set: 91.87 Check: 0.0 Back: 5.93
INFO - Atoms: 8192/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 271710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.634 Prop: 125.246 PropClause: 114.195 Set: 93.177 Check: 0.0 Back: 6.121
INFO - Atoms: 8126/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 279768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.669 Prop: 128.416 PropClause: 117.163 Set: 94.469 Check: 0.0 Back: 6.311
INFO - Atoms: 8058/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 287759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.699 Prop: 131.058 PropClause: 119.604 Set: 95.756 Check: 0.0 Back: 6.499
INFO - Atoms: 7991/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 295683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.727 Prop: 133.434 PropClause: 121.785 Set: 96.997 Check: 0.0 Back: 6.68
INFO - Atoms: 7924/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 303539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.755 Prop: 135.639 PropClause: 123.796 Set: 98.244 Check: 0.0 Back: 6.857
INFO - Atoms: 7856/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 311329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.786 Prop: 137.947 PropClause: 125.908 Set: 99.487 Check: 0.0 Back: 7.033
INFO - Atoms: 7790/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 319053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.814 Prop: 140.261 PropClause: 128.031 Set: 100.71 Check: 0.0 Back: 7.207
INFO - Atoms: 7724/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 326709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.84 Prop: 142.693 PropClause: 130.274 Set: 101.918 Check: 0.0 Back: 7.383
INFO - Atoms: 7656/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 334297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.89 Prop: 145.922 PropClause: 133.316 Set: 103.131 Check: 0.0 Back: 7.558
INFO - Atoms: 7588/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 341819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.943 Prop: 148.313 PropClause: 135.52 Set: 104.326 Check: 0.0 Back: 7.737
INFO - Atoms: 7522/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 349274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.003 Prop: 151.618 PropClause: 138.64 Set: 105.49 Check: 0.0 Back: 7.907
INFO - Atoms: 7455/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 356662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.036 Prop: 154.207 PropClause: 141.047 Set: 106.652 Check: 0.0 Back: 8.075
INFO - Atoms: 7388/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 363982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.102 Prop: 156.632 PropClause: 143.289 Set: 107.797 Check: 0.0 Back: 8.246
INFO - Atoms: 7320/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 371236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.136 Prop: 158.712 PropClause: 145.189 Set: 108.926 Check: 0.0 Back: 8.416
INFO - Atoms: 7254/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 378424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.173 Prop: 160.527 PropClause: 146.828 Set: 110.061 Check: 0.0 Back: 8.586
INFO - Atoms: 7188/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 385544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.194 Prop: 162.225 PropClause: 148.349 Set: 111.179 Check: 0.0 Back: 8.751
INFO - Atoms: 7120/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 392597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.217 Prop: 164.006 PropClause: 149.958 Set: 112.273 Check: 0.0 Back: 8.912
INFO - Atoms: 7053/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 399583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.242 Prop: 165.864 PropClause: 151.643 Set: 113.36 Check: 0.0 Back: 9.069
INFO - Atoms: 6986/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 406501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.268 Prop: 167.832 PropClause: 153.441 Set: 114.439 Check: 0.0 Back: 9.227
INFO - Atoms: 6918/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 413353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.285 Prop: 169.411 PropClause: 154.85 Set: 115.503 Check: 0.0 Back: 9.382
INFO - Atoms: 6852/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 420137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 171.016 PropClause: 156.287 Set: 116.563 Check: 0.0 Back: 9.538
INFO - Atoms: 6784/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 426855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.334 Prop: 172.82 PropClause: 157.924 Set: 117.601 Check: 0.0 Back: 9.69
INFO - Atoms: 6718/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 433506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.368 Prop: 175.238 PropClause: 160.175 Set: 118.665 Check: 0.0 Back: 9.845
INFO - Atoms: 6651/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 440409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.498 Prop: 177.311 PropClause: 162.076 Set: 119.778 Check: 0.0 Back: 10.0
INFO - Atoms: 6903/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 447381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.528 Prop: 179.91 PropClause: 164.5 Set: 120.89 Check: 0.0 Back: 10.157
INFO - Atoms: 6972/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 454412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 182.285 PropClause: 166.686 Set: 122.015 Check: 0.0 Back: 10.325
INFO - Atoms: 7031/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 461451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.557 Prop: 184.246 PropClause: 168.471 Set: 123.138 Check: 0.0 Back: 10.483
INFO - Atoms: 7039/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 468298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 186.384 PropClause: 170.439 Set: 124.204 Check: 0.0 Back: 10.644
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 475382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.585 Prop: 188.251 PropClause: 172.131 Set: 125.342 Check: 0.0 Back: 10.811
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 482415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.596 Prop: 190.062 PropClause: 173.766 Set: 126.468 Check: 0.0 Back: 10.972
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 489505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.605 Prop: 191.803 PropClause: 175.333 Set: 127.617 Check: 0.0 Back: 11.131
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 496587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.614 Prop: 193.449 PropClause: 176.804 Set: 128.75 Check: 0.0 Back: 11.29
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 503620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.623 Prop: 195.128 PropClause: 178.31 Set: 129.883 Check: 0.0 Back: 11.451
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 510467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.635 Prop: 197.339 PropClause: 180.35 Set: 130.977 Check: 0.0 Back: 11.609
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 517551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.647 Prop: 199.393 PropClause: 182.229 Set: 132.119 Check: 0.0 Back: 11.763
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 524584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.665 Prop: 201.753 PropClause: 184.414 Set: 133.878 Check: 0.0 Back: 11.926
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 531674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.686 Prop: 204.488 PropClause: 186.973 Set: 135.634 Check: 0.0 Back: 12.092
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 538756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.705 Prop: 207.325 PropClause: 189.633 Set: 137.36 Check: 0.0 Back: 12.255
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 545789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.722 Prop: 210.027 PropClause: 192.16 Set: 139.083 Check: 0.0 Back: 12.424
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 552636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.739 Prop: 212.522 PropClause: 194.474 Set: 140.762 Check: 0.0 Back: 12.588
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 559720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.758 Prop: 214.912 PropClause: 196.689 Set: 142.478 Check: 0.0 Back: 12.756
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 566753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.773 Prop: 217.662 PropClause: 199.265 Set: 144.196 Check: 0.0 Back: 12.918
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 573845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.788 Prop: 220.188 PropClause: 201.615 Set: 145.885 Check: 0.0 Back: 13.08
INFO - Atoms: 7092/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 580927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.804 Prop: 222.084 PropClause: 203.336 Set: 147.608 Check: 0.0 Back: 13.24
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 587960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.817 Prop: 223.978 PropClause: 205.058 Set: 149.283 Check: 0.0 Back: 13.4
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 594807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.83 Prop: 225.862 PropClause: 206.772 Set: 150.886 Check: 0.0 Back: 13.559
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 601891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 227.764 PropClause: 208.489 Set: 152.594 Check: 0.0 Back: 13.714
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 608924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.856 Prop: 229.649 PropClause: 210.2 Set: 154.278 Check: 0.0 Back: 13.874
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 616014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.875 Prop: 232.426 PropClause: 212.801 Set: 156.026 Check: 0.0 Back: 14.034
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 623096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.901 Prop: 234.9 PropClause: 215.099 Set: 157.758 Check: 0.0 Back: 14.2
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 630129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.921 Prop: 238.005 PropClause: 218.03 Set: 159.502 Check: 0.0 Back: 14.363
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 636976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.936 Prop: 240.222 PropClause: 220.076 Set: 161.15 Check: 0.0 Back: 14.53
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 644060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.951 Prop: 242.552 PropClause: 222.222 Set: 162.893 Check: 0.0 Back: 14.688
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 651093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.966 Prop: 245.213 PropClause: 224.708 Set: 164.627 Check: 0.0 Back: 14.852
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 657939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.979 Prop: 247.074 PropClause: 226.4 Set: 165.698 Check: 0.0 Back: 15.018
INFO - Atoms: 6846/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 664974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.994 Prop: 249.06 PropClause: 228.213 Set: 166.831 Check: 0.0 Back: 15.173
INFO - Atoms: 7035/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 672056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.007 Prop: 251.05 PropClause: 230.029 Set: 167.971 Check: 0.0 Back: 15.335
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 679147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.019 Prop: 253.003 PropClause: 231.807 Set: 169.096 Check: 0.0 Back: 15.496
INFO - Atoms: 7091/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 686176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.033 Prop: 255.094 PropClause: 233.724 Set: 170.217 Check: 0.0 Back: 15.656
INFO - Atoms: 7029/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 693258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.043 Prop: 256.816 PropClause: 235.271 Set: 171.349 Check: 0.0 Back: 15.815
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 700104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.053 Prop: 258.603 PropClause: 236.89 Set: 172.42 Check: 0.0 Back: 15.975
INFO - Atoms: 6846/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 707139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.069 Prop: 260.969 PropClause: 239.081 Set: 173.546 Check: 0.0 Back: 16.129
INFO - Atoms: 7035/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 714221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.085 Prop: 263.227 PropClause: 241.164 Set: 174.684 Check: 0.0 Back: 16.292
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 721312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.1 Prop: 265.225 PropClause: 242.985 Set: 175.826 Check: 0.0 Back: 16.452
INFO - Atoms: 7091/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 728341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.114 Prop: 267.959 PropClause: 245.545 Set: 176.953 Check: 0.0 Back: 16.612
INFO - Atoms: 7029/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 735423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.16 Prop: 270.075 PropClause: 247.484 Set: 178.088 Check: 0.0 Back: 16.771
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 742517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.206 Prop: 271.949 PropClause: 249.184 Set: 179.214 Check: 0.0 Back: 16.931
INFO - Atoms: 7094/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 749599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.218 Prop: 274.183 PropClause: 251.242 Set: 180.337 Check: 0.0 Back: 17.092
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 756632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.229 Prop: 276.175 PropClause: 253.06 Set: 181.458 Check: 0.0 Back: 17.251
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 763479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.242 Prop: 277.931 PropClause: 254.647 Set: 182.527 Check: 0.0 Back: 17.411
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 770563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.251 Prop: 279.655 PropClause: 256.197 Set: 183.66 Check: 0.0 Back: 17.564
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 777596 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.258 Prop: 281.313 PropClause: 257.683 Set: 184.787 Check: 0.0 Back: 17.725
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 784687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.266 Prop: 283.042 PropClause: 259.238 Set: 185.921 Check: 0.0 Back: 17.883
INFO - Atoms: 7091/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 791769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 284.793 PropClause: 260.814 Set: 187.066 Check: 0.0 Back: 18.043
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 798802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.34 Prop: 286.454 PropClause: 262.304 Set: 188.171 Check: 0.0 Back: 18.203
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 805649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.349 Prop: 288.104 PropClause: 263.786 Set: 189.233 Check: 0.0 Back: 18.361
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 812733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.36 Prop: 290.26 PropClause: 265.768 Set: 190.376 Check: 0.0 Back: 18.515
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 819766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.371 Prop: 292.607 PropClause: 267.94 Set: 191.499 Check: 0.0 Back: 18.678
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 826856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.383 Prop: 295.118 PropClause: 270.276 Set: 192.658 Check: 0.0 Back: 18.845
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 833938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.394 Prop: 297.192 PropClause: 272.175 Set: 193.801 Check: 0.0 Back: 19.007
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 840971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.406 Prop: 299.882 PropClause: 274.692 Set: 194.93 Check: 0.0 Back: 19.168
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 847818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 302.328 PropClause: 276.968 Set: 196.02 Check: 0.0 Back: 19.334
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 854902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.429 Prop: 304.489 PropClause: 278.943 Set: 197.155 Check: 0.0 Back: 19.491
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 861935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 307.315 PropClause: 281.595 Set: 198.288 Check: 0.0 Back: 19.651
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 869025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.453 Prop: 310.0 PropClause: 284.104 Set: 199.443 Check: 0.0 Back: 19.812
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 876107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.463 Prop: 312.341 PropClause: 286.269 Set: 200.651 Check: 0.0 Back: 19.973
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 883140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.476 Prop: 314.816 PropClause: 288.556 Set: 201.797 Check: 0.0 Back: 20.133
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 889987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 317.096 PropClause: 290.668 Set: 202.877 Check: 0.0 Back: 20.294
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 897071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.495 Prop: 319.097 PropClause: 292.494 Set: 204.027 Check: 0.0 Back: 20.451
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 904104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.504 Prop: 321.071 PropClause: 294.294 Set: 205.182 Check: 0.0 Back: 20.613
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 911195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.514 Prop: 323.444 PropClause: 296.493 Set: 206.331 Check: 0.0 Back: 20.774
INFO - Atoms: 7091/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 918277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.523 Prop: 325.585 PropClause: 298.459 Set: 207.461 Check: 0.0 Back: 20.937
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 925310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.544 Prop: 327.942 PropClause: 300.643 Set: 208.59 Check: 0.0 Back: 21.1
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 932157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.556 Prop: 330.464 PropClause: 302.994 Set: 209.674 Check: 0.0 Back: 21.258
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 939241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.569 Prop: 333.453 PropClause: 305.808 Set: 210.823 Check: 0.0 Back: 21.421
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 946274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.582 Prop: 336.655 PropClause: 308.836 Set: 211.968 Check: 0.0 Back: 21.587
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 953364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.595 Prop: 339.605 PropClause: 311.609 Set: 213.12 Check: 0.0 Back: 21.756
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 960446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.609 Prop: 342.814 PropClause: 314.641 Set: 214.264 Check: 0.0 Back: 21.923
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 967479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.623 Prop: 345.47 PropClause: 316.938 Set: 215.383 Check: 0.0 Back: 22.092
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 974326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.637 Prop: 348.776 PropClause: 320.073 Set: 216.469 Check: 0.0 Back: 22.252
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 981410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 351.115 PropClause: 322.236 Set: 217.606 Check: 0.0 Back: 22.41
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 988443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.66 Prop: 353.949 PropClause: 324.897 Set: 218.749 Check: 0.0 Back: 22.573
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 995289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.672 Prop: 357.183 PropClause: 327.961 Set: 219.836 Check: 0.0 Back: 22.74
INFO - Atoms: 6846/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 1002324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.683 Prop: 359.503 PropClause: 330.107 Set: 220.98 Check: 0.0 Back: 22.899
INFO - Atoms: 7035/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 1009406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.71 Prop: 361.932 PropClause: 332.362 Set: 222.117 Check: 0.0 Back: 23.071
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 1016253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.715 Prop: 363.789 PropClause: 334.051 Set: 223.201 Check: 0.0 Back: 23.231
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 1023335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.721 Prop: 365.882 PropClause: 335.97 Set: 224.345 Check: 0.0 Back: 23.391
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 1030370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 367.516 PropClause: 337.432 Set: 225.479 Check: 0.0 Back: 23.554
INFO - Atoms: 7035/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 1037460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 369.175 PropClause: 338.917 Set: 226.627 Check: 0.0 Back: 23.711
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 1044544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.732 Prop: 370.92 PropClause: 340.488 Set: 227.763 Check: 0.0 Back: 23.871
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 1051577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.737 Prop: 372.64 PropClause: 342.035 Set: 228.878 Check: 0.0 Back: 24.029
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 1058424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.745 Prop: 375.051 PropClause: 344.276 Set: 229.975 Check: 0.0 Back: 24.191
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 1065508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.753 Prop: 377.29 PropClause: 346.34 Set: 231.114 Check: 0.0 Back: 24.347
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 1072541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.76 Prop: 379.276 PropClause: 348.153 Set: 232.295 Check: 0.0 Back: 24.509
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 1079631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.767 Prop: 381.795 PropClause: 350.495 Set: 233.439 Check: 0.0 Back: 24.667
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 1086713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 383.998 PropClause: 352.524 Set: 234.588 Check: 0.0 Back: 24.831
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 1093746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.78 Prop: 386.069 PropClause: 354.422 Set: 235.706 Check: 0.0 Back: 24.99
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 1100593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.784 Prop: 387.851 PropClause: 356.035 Set: 236.786 Check: 0.0 Back: 25.149
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 1107677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.791 Prop: 390.121 PropClause: 358.13 Set: 237.936 Check: 0.0 Back: 25.304
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 1114710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.798 Prop: 392.654 PropClause: 360.489 Set: 239.079 Check: 0.0 Back: 25.465
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 1121800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.805 Prop: 394.572 PropClause: 362.232 Set: 240.245 Check: 0.0 Back: 25.627
INFO - Atoms: 7090/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 1128882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.808 Prop: 396.223 PropClause: 363.71 Set: 241.39 Check: 0.0 Back: 25.788
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 1135915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.813 Prop: 398.149 PropClause: 365.461 Set: 242.531 Check: 0.0 Back: 25.946
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 1142762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 399.762 PropClause: 366.906 Set: 243.612 Check: 0.0 Back: 26.108
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 1149846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.82 Prop: 401.383 PropClause: 368.354 Set: 244.77 Check: 0.0 Back: 26.262
INFO - Atoms: 7084/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 1156879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.823 Prop: 403.055 PropClause: 369.853 Set: 245.904 Check: 0.0 Back: 26.421
INFO - Atoms: 7033/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 1163726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.828 Prop: 404.81 PropClause: 371.439 Set: 246.995 Check: 0.0 Back: 26.578
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 1170761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.832 Prop: 406.4 PropClause: 372.856 Set: 248.11 Check: 0.0 Back: 26.744
INFO - Atoms: 7035/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 1177843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.836 Prop: 408.104 PropClause: 374.384 Set: 249.278 Check: 0.0 Back: 26.902
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 1184936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.839 Prop: 409.789 PropClause: 375.895 Set: 250.431 Check: 0.0 Back: 27.067
INFO - Atoms: 7093/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 1191965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.845 Prop: 412.104 PropClause: 378.018 Set: 251.566 Check: 0.0 Back: 27.227
INFO - Atoms: 7029/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 1199047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 414.297 PropClause: 380.036 Set: 252.717 Check: 0.0 Back: 27.39
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 1205893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 416.407 PropClause: 381.977 Set: 253.795 Check: 0.0 Back: 27.55
INFO - Atoms: 6846/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 1212928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.864 Prop: 418.552 PropClause: 383.948 Set: 254.929 Check: 0.0 Back: 27.704
INFO - Atoms: 7035/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 1220010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.872 Prop: 420.967 PropClause: 386.187 Set: 256.076 Check: 0.0 Back: 27.867
INFO - Atoms: 7082/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 1227103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.877 Prop: 422.948 PropClause: 387.994 Set: 257.214 Check: 0.0 Back: 28.027
INFO - Atoms: 7093/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 1234132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.883 Prop: 424.909 PropClause: 389.782 Set: 258.348 Check: 0.0 Back: 28.187
INFO - Atoms: 7029/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 1241193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.89 Prop: 427.167 PropClause: 391.865 Set: 259.498 Check: 0.0 Back: 28.344
INFO - Atoms: 7061/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 1248261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.895 Prop: 429.048 PropClause: 393.573 Set: 260.651 Check: 0.0 Back: 28.506
INFO - Atoms: 7068/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 1255296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.902 Prop: 431.342 PropClause: 395.692 Set: 261.803 Check: 0.0 Back: 28.667
INFO - Atoms: 7035/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 1262303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 433.372 PropClause: 397.548 Set: 262.962 Check: 0.0 Back: 28.827
INFO - Atoms: 7007/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 1269150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 434.983 PropClause: 398.99 Set: 264.041 Check: 0.0 Back: 28.985
INFO - Atoms: 6847/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 1276130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.914 Prop: 436.605 PropClause: 400.44 Set: 265.166 Check: 0.0 Back: 29.14
INFO - Atoms: 6980/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 1283107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.918 Prop: 438.213 PropClause: 401.878 Set: 266.279 Check: 0.0 Back: 29.297
INFO - Atoms: 6977/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 1290087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 439.959 PropClause: 403.452 Set: 267.418 Check: 0.0 Back: 29.454
INFO - Atoms: 6980/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 1297002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.999 Prop: 441.565 PropClause: 404.888 Set: 268.526 Check: 0.0 Back: 29.611
INFO - Atoms: 6915/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 1303917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.006 Prop: 443.764 PropClause: 406.917 Set: 269.625 Check: 0.0 Back: 29.767
INFO - Atoms: 6915/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 1310832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.075 Prop: 445.98 PropClause: 408.964 Set: 270.746 Check: 0.0 Back: 29.926
INFO - Atoms: 6915/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 1317663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.082 Prop: 448.256 PropClause: 411.059 Set: 271.835 Check: 0.0 Back: 30.094
INFO - Atoms: 6831/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 1324552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.085 Prop: 449.95 PropClause: 412.584 Set: 272.928 Check: 0.0 Back: 30.249
INFO - Atoms: 6889/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 1331379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.091 Prop: 451.816 PropClause: 414.282 Set: 274.028 Check: 0.0 Back: 30.404
INFO - Atoms: 6827/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 1338266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.098 Prop: 454.485 PropClause: 416.78 Set: 275.128 Check: 0.0 Back: 30.559
INFO - Atoms: 6887/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 1344891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.18 Prop: 456.676 PropClause: 418.807 Set: 276.175 Check: 0.0 Back: 30.719
INFO - Atoms: 6625/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 1351580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 458.631 PropClause: 420.597 Set: 277.219 Check: 0.0 Back: 30.87
INFO - Atoms: 6689/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 1358203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.194 Prop: 460.753 PropClause: 422.555 Set: 278.277 Check: 0.0 Back: 31.024
INFO - Atoms: 6623/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 1364760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.201 Prop: 463.12 PropClause: 424.76 Set: 279.315 Check: 0.0 Back: 31.172
INFO - Atoms: 6557/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 1371456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.209 Prop: 466.013 PropClause: 427.487 Set: 281.357 Check: 0.0 Back: 31.327
INFO - Atoms: 6696/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 1378229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.217 Prop: 468.053 PropClause: 429.359 Set: 283.814 Check: 0.0 Back: 31.486
INFO - Atoms: 6773/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 1385061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.225 Prop: 470.991 PropClause: 432.128 Set: 286.549 Check: 0.0 Back: 31.642
INFO - Atoms: 6832/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 1391966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 473.549 PropClause: 434.516 Set: 288.941 Check: 0.0 Back: 31.804
INFO - Atoms: 6905/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 1398932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.239 Prop: 475.649 PropClause: 436.445 Set: 291.017 Check: 0.0 Back: 31.963
INFO - Atoms: 6966/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 1405971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.245 Prop: 477.834 PropClause: 438.457 Set: 293.741 Check: 0.0 Back: 32.123
INFO - Atoms: 7039/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 1413071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.277 Prop: 480.195 PropClause: 440.644 Set: 296.514 Check: 0.0 Back: 32.284
INFO - Atoms: 7100/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 1420244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.288 Prop: 482.872 PropClause: 443.143 Set: 299.322 Check: 0.0 Back: 32.449
INFO - Atoms: 7173/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 1427478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.317 Prop: 484.984 PropClause: 445.077 Set: 302.137 Check: 0.0 Back: 32.613
INFO - Atoms: 7234/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 1434785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.324 Prop: 487.586 PropClause: 447.498 Set: 305.008 Check: 0.0 Back: 32.777
INFO - Atoms: 7307/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 1442153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.329 Prop: 489.726 PropClause: 449.457 Set: 307.87 Check: 0.0 Back: 32.948
INFO - Atoms: 7368/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 1449594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.333 Prop: 492.58 PropClause: 452.127 Set: 310.785 Check: 0.0 Back: 33.117
INFO - Atoms: 7441/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 1457096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.339 Prop: 495.787 PropClause: 455.15 Set: 313.751 Check: 0.0 Back: 33.292
INFO - Atoms: 7502/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 1464671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.344 Prop: 500.064 PropClause: 459.238 Set: 316.77 Check: 0.0 Back: 33.468
INFO - Atoms: 7575/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 1472307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.351 Prop: 504.62 PropClause: 463.606 Set: 319.844 Check: 0.0 Back: 33.65
INFO - Atoms: 7636/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 1480016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 508.702 PropClause: 467.498 Set: 322.94 Check: 0.0 Back: 33.831
INFO - Atoms: 7709/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 1487786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.36 Prop: 514.142 PropClause: 472.745 Set: 326.208 Check: 0.0 Back: 34.018
INFO - Atoms: 7770/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 1495629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 517.748 PropClause: 476.158 Set: 329.311 Check: 0.0 Back: 34.202
INFO - Atoms: 7843/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 1503533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.371 Prop: 521.155 PropClause: 479.37 Set: 332.446 Check: 0.0 Back: 34.387
INFO - Atoms: 7904/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 1511510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.377 Prop: 526.053 PropClause: 484.057 Set: 334.691 Check: 0.0 Back: 34.573
INFO - Atoms: 7977/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 1519548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.382 Prop: 529.898 PropClause: 487.68 Set: 336.8 Check: 0.0 Back: 34.766
INFO - Atoms: 8038/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 1527659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.389 Prop: 533.14 PropClause: 490.718 Set: 338.929 Check: 0.0 Back: 34.957
INFO - Atoms: 8111/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 1535831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 535.505 PropClause: 492.88 Set: 341.094 Check: 0.0 Back: 35.144
INFO - Atoms: 8172/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 1544076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.399 Prop: 537.813 PropClause: 494.982 Set: 343.278 Check: 0.0 Back: 35.331
INFO - Atoms: 8245/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 1552382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 540.25 PropClause: 497.21 Set: 345.439 Check: 0.0 Back: 35.519
INFO - Atoms: 8306/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 1560761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.407 Prop: 542.701 PropClause: 499.452 Set: 347.605 Check: 0.0 Back: 35.712
INFO - Atoms: 8379/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 1569201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.412 Prop: 545.308 PropClause: 501.843 Set: 349.782 Check: 0.0 Back: 35.906
INFO - Atoms: 8440/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 1577714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 548.088 PropClause: 504.409 Set: 351.99 Check: 0.0 Back: 36.103
INFO - Atoms: 8513/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 1586288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.42 Prop: 550.655 PropClause: 506.761 Set: 354.208 Check: 0.0 Back: 36.299
INFO - Atoms: 8574/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 1594935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.424 Prop: 553.489 PropClause: 509.378 Set: 356.452 Check: 0.0 Back: 36.505
INFO - Atoms: 8647/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 1603643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.428 Prop: 556.032 PropClause: 511.707 Set: 358.672 Check: 0.0 Back: 36.703
INFO - Atoms: 8708/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 1612424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.434 Prop: 560.859 PropClause: 516.316 Set: 360.981 Check: 0.0 Back: 36.902
INFO - Atoms: 8781/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 1621266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 565.31 PropClause: 520.548 Set: 363.288 Check: 0.0 Back: 37.109
INFO - Atoms: 8842/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 1630181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.445 Prop: 569.905 PropClause: 524.923 Set: 366.618 Check: 0.0 Back: 37.315
INFO - Atoms: 8915/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 1639157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.45 Prop: 576.009 PropClause: 530.801 Set: 369.048 Check: 0.0 Back: 37.525
INFO - Atoms: 8976/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 1648206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 579.992 PropClause: 534.559 Set: 371.445 Check: 0.0 Back: 37.742
INFO - Atoms: 9049/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 1657316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.46 Prop: 585.087 PropClause: 539.429 Set: 373.841 Check: 0.0 Back: 37.953
INFO - Atoms: 9110/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 1666499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.465 Prop: 590.063 PropClause: 544.176 Set: 376.317 Check: 0.0 Back: 38.165
INFO - Atoms: 9183/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 1675743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.47 Prop: 594.879 PropClause: 548.762 Set: 378.796 Check: 0.0 Back: 38.381
INFO - Atoms: 9244/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 1685060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.474 Prop: 599.105 PropClause: 552.754 Set: 381.263 Check: 0.0 Back: 38.598
INFO - Atoms: 9317/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 1694438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.478 Prop: 602.011 PropClause: 555.427 Set: 383.692 Check: 0.0 Back: 38.811
INFO - Atoms: 9378/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 1703888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.483 Prop: 606.497 PropClause: 559.679 Set: 386.204 Check: 0.0 Back: 39.025
INFO - Atoms: 9450/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 1713400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.489 Prop: 610.602 PropClause: 563.548 Set: 388.699 Check: 0.0 Back: 39.247
INFO - Atoms: 9512/9792 Clauses: 293 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 728 Props: 2058352 Tprops: 0 Decides: 1077 RSplits: 0
INFO - Times: Expl: 141.734 Prop: 706.814 PropClause: 650.714 Set: 397.322 Check: 0.025 Back: 47.191
INFO - Atoms: 3205/9792 Clauses: 792 Axioms: 31730
INFO - Restart
INFO - Confl: 1228 Props: 2333633 Tprops: 0 Decides: 2206 RSplits: 0
INFO - Times: Expl: 236.416 Prop: 791.238 PropClause: 727.809 Set: 403.695 Check: 0.056 Back: 53.396
INFO - Atoms: 3209/9792 Clauses: 1292 Axioms: 31730
INFO - Confl: 1331 Props: 2392513 Tprops: 0 Decides: 2458 RSplits: 0
INFO - Times: Expl: 252.698 Prop: 811.415 PropClause: 746.329 Set: 405.14 Check: 0.062 Back: 54.726
INFO - Atoms: 3443/9792 Clauses: 1395 Axioms: 31730
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 230 Props: 12400 Tprops: 2768 Decides: 12643 RSplits: 0
INFO - Times: Expl: 84.274 Prop: 3030.257 PropClause: 5.611 Set: 1071.483 Check: 89.409 Back: 37.444
INFO - Atoms: 344/438 Clauses: 230 Axioms: 438
INFO - CCTimes: iE 138234 eq 8809404 cc 20226650 setRep 11289145
INFO - Merges: 92952, cc:138711
INFO - BVTimes: BB 70675890 BB_DPLL 2553128712 Graph 39270329
INFO - BitBlastingClauses: 98598 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat