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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 38623868
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 6654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.558 Prop: 23.986 PropClause: 21.84 Set: 14.067 Check: 0.0 Back: 0.0
INFO - Atoms: 6654/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 13305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.63 Prop: 31.433 PropClause: 28.077 Set: 17.663 Check: 0.0 Back: 0.18
INFO - Atoms: 6651/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 19959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.662 Prop: 37.556 PropClause: 32.994 Set: 20.971 Check: 0.0 Back: 0.331
INFO - Atoms: 6654/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 26608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.701 Prop: 42.281 PropClause: 37.452 Set: 24.147 Check: 0.0 Back: 0.482
INFO - Atoms: 6649/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 33256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.766 Prop: 46.524 PropClause: 41.398 Set: 27.133 Check: 0.0 Back: 0.632
INFO - Atoms: 6648/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 39904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.803 Prop: 53.177 PropClause: 47.778 Set: 38.003 Check: 0.0 Back: 0.784
INFO - Atoms: 6648/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 46552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.836 Prop: 55.749 PropClause: 50.083 Set: 39.205 Check: 0.0 Back: 0.934
INFO - Atoms: 6648/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 53071 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.874 Prop: 58.462 PropClause: 52.5 Set: 40.437 Check: 0.0 Back: 1.085
INFO - Atoms: 6519/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 59339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.904 Prop: 60.73 PropClause: 54.484 Set: 41.593 Check: 0.0 Back: 1.232
INFO - Atoms: 6268/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 65477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.94 Prop: 63.182 PropClause: 56.719 Set: 42.734 Check: 0.0 Back: 1.374
INFO - Atoms: 6138/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 71485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 65.566 PropClause: 58.904 Set: 43.84 Check: 0.0 Back: 1.512
INFO - Atoms: 6008/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 77361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.006 Prop: 67.717 PropClause: 60.861 Set: 44.962 Check: 0.0 Back: 1.649
INFO - Atoms: 5876/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 83107 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.033 Prop: 69.615 PropClause: 62.568 Set: 45.989 Check: 0.0 Back: 1.782
INFO - Atoms: 5746/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 88721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.064 Prop: 71.402 PropClause: 64.183 Set: 46.954 Check: 0.0 Back: 1.912
INFO - Atoms: 5614/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 94205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.099 Prop: 73.1 PropClause: 65.714 Set: 47.887 Check: 0.0 Back: 2.04
INFO - Atoms: 5484/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 99557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.134 Prop: 74.749 PropClause: 67.198 Set: 48.794 Check: 0.0 Back: 2.163
INFO - Atoms: 5352/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 104779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 76.093 PropClause: 68.38 Set: 49.69 Check: 0.0 Back: 2.284
INFO - Atoms: 5222/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 109869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.195 Prop: 77.456 PropClause: 69.588 Set: 50.553 Check: 0.0 Back: 2.402
INFO - Atoms: 5090/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 114829 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.227 Prop: 78.881 PropClause: 70.859 Set: 51.389 Check: 0.0 Back: 2.518
INFO - Atoms: 4960/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 119657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.259 Prop: 80.234 PropClause: 72.065 Set: 52.216 Check: 0.0 Back: 2.631
INFO - Atoms: 4828/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 124354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.299 Prop: 81.448 PropClause: 73.131 Set: 53.014 Check: 0.0 Back: 2.74
INFO - Atoms: 4697/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 129551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.328 Prop: 82.864 PropClause: 74.388 Set: 53.914 Check: 0.0 Back: 2.846
INFO - Atoms: 5197/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 134880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.356 Prop: 84.26 PropClause: 75.625 Set: 54.817 Check: 0.0 Back: 2.964
INFO - Atoms: 5329/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 140340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.386 Prop: 85.842 PropClause: 77.041 Set: 55.744 Check: 0.0 Back: 3.085
INFO - Atoms: 5460/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 145799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.413 Prop: 87.321 PropClause: 78.33 Set: 56.675 Check: 0.0 Back: 3.208
INFO - Atoms: 5459/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 150884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.438 Prop: 88.663 PropClause: 79.519 Set: 57.512 Check: 0.0 Back: 3.332
INFO - Atoms: 5085/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 156463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.468 Prop: 90.706 PropClause: 81.224 Set: 58.932 Check: 0.0 Back: 3.447
INFO - Atoms: 5579/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 161922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 92.409 PropClause: 82.753 Set: 60.291 Check: 0.0 Back: 3.573
INFO - Atoms: 5459/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 167505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.539 Prop: 95.5 PropClause: 85.675 Set: 61.719 Check: 0.0 Back: 3.697
INFO - Atoms: 5583/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 172965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.569 Prop: 97.422 PropClause: 87.444 Set: 63.115 Check: 0.0 Back: 3.825
INFO - Atoms: 5460/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 178546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.601 Prop: 99.036 PropClause: 88.902 Set: 64.522 Check: 0.0 Back: 3.951
INFO - Atoms: 5581/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 184128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.633 Prop: 100.721 PropClause: 90.432 Set: 65.911 Check: 0.0 Back: 4.081
INFO - Atoms: 5582/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 189708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.666 Prop: 102.599 PropClause: 92.154 Set: 67.332 Check: 0.0 Back: 4.21
INFO - Atoms: 5580/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 195169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.698 Prop: 104.224 PropClause: 93.626 Set: 68.704 Check: 0.0 Back: 4.34
INFO - Atoms: 5461/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 200255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.729 Prop: 105.553 PropClause: 94.812 Set: 69.948 Check: 0.0 Back: 4.464
INFO - Atoms: 5086/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 205835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.766 Prop: 107.398 PropClause: 96.5 Set: 70.893 Check: 0.0 Back: 4.581
INFO - Atoms: 5580/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 211416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.798 Prop: 108.81 PropClause: 97.755 Set: 71.822 Check: 0.0 Back: 4.708
INFO - Atoms: 5581/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 216998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.826 Prop: 110.166 PropClause: 98.955 Set: 72.77 Check: 0.0 Back: 4.836
INFO - Atoms: 5582/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 222523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.854 Prop: 111.466 PropClause: 100.099 Set: 73.711 Check: 0.0 Back: 4.962
INFO - Atoms: 5525/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 227983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.882 Prop: 112.678 PropClause: 101.158 Set: 74.604 Check: 0.0 Back: 5.087
INFO - Atoms: 5460/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 233510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.91 Prop: 113.921 PropClause: 102.247 Set: 75.524 Check: 0.0 Back: 5.211
INFO - Atoms: 5527/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 238913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.943 Prop: 115.233 PropClause: 103.408 Set: 76.421 Check: 0.0 Back: 5.337
INFO - Atoms: 5403/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 244380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.97 Prop: 116.445 PropClause: 104.467 Set: 77.33 Check: 0.0 Back: 5.46
INFO - Atoms: 5467/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 249465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.999 Prop: 117.611 PropClause: 105.491 Set: 78.16 Check: 0.0 Back: 5.585
INFO - Atoms: 5085/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 254811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 118.794 PropClause: 106.524 Set: 79.045 Check: 0.0 Back: 5.709
INFO - Atoms: 5346/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 260156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.052 Prop: 120.033 PropClause: 107.613 Set: 79.944 Check: 0.0 Back: 5.831
INFO - Atoms: 5345/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 265503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.078 Prop: 121.202 PropClause: 108.629 Set: 80.837 Check: 0.0 Back: 5.953
INFO - Atoms: 5347/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 270722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.106 Prop: 122.412 PropClause: 109.693 Set: 81.714 Check: 0.0 Back: 6.073
INFO - Atoms: 5219/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 275940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.18 Prop: 123.556 PropClause: 110.691 Set: 82.572 Check: 0.0 Back: 6.191
INFO - Atoms: 5218/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 281006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.209 Prop: 124.776 PropClause: 111.768 Set: 83.411 Check: 0.0 Back: 6.309
INFO - Atoms: 5066/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 285696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.232 Prop: 125.76 PropClause: 112.622 Set: 84.14 Check: 0.0 Back: 6.426
INFO - Atoms: 4690/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 290763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 126.904 PropClause: 113.625 Set: 84.971 Check: 0.0 Back: 6.532
INFO - Atoms: 5067/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 295950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.291 Prop: 128.093 PropClause: 114.668 Set: 85.843 Check: 0.0 Back: 6.646
INFO - Atoms: 5187/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 300591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.374 Prop: 129.177 PropClause: 115.622 Set: 86.566 Check: 0.0 Back: 6.763
INFO - Atoms: 4641/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 305232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 130.232 PropClause: 116.548 Set: 87.292 Check: 0.0 Back: 6.869
INFO - Atoms: 4641/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 310297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 131.277 PropClause: 117.452 Set: 88.126 Check: 0.0 Back: 6.975
INFO - Atoms: 5065/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 315484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.577 Prop: 132.289 PropClause: 118.319 Set: 88.999 Check: 0.0 Back: 7.089
INFO - Atoms: 5187/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 320674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.586 Prop: 133.412 PropClause: 119.296 Set: 89.856 Check: 0.0 Back: 7.206
INFO - Atoms: 5190/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 325503 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.594 Prop: 134.522 PropClause: 120.271 Set: 90.608 Check: 0.0 Back: 7.323
INFO - Atoms: 4829/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 330200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.605 Prop: 135.621 PropClause: 121.238 Set: 91.35 Check: 0.0 Back: 7.432
INFO - Atoms: 4697/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 335007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.614 Prop: 137.059 PropClause: 122.542 Set: 92.858 Check: 0.0 Back: 7.54
INFO - Atoms: 4807/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 338042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.626 Prop: 137.869 PropClause: 123.268 Set: 93.741 Check: 0.0 Back: 7.65
INFO - Atoms: 3035/6656 Clauses: 101 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 574187 Tprops: 0 Decides: 4244 RSplits: 0
INFO - Times: Expl: 74.27 Prop: 193.406 PropClause: 170.529 Set: 99.758 Check: 0.097 Back: 13.076
INFO - Atoms: 2350/6656 Clauses: 440 Axioms: 21874
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 68 Props: 1893 Tprops: 364 Decides: 1479 RSplits: 0
INFO - Times: Expl: 17.841 Prop: 787.76 PropClause: 1.075 Set: 134.117 Check: 10.638 Back: 6.343
INFO - Atoms: 150/150 Clauses: 68 Axioms: 150
INFO - CCTimes: iE 22082 eq 2853180 cc 4691159 setRep 1604270
INFO - Merges: 10541, cc:13193
INFO - BVTimes: BB 38612797 BB_DPLL 632525523 Graph 48335
INFO - BitBlastingClauses: 28174 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat