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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 74639048
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 8284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.659 Prop: 30.163 PropClause: 27.351 Set: 12.979 Check: 0.0 Back: 0.0
INFO - Atoms: 8284/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 16568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.694 Prop: 45.965 PropClause: 41.194 Set: 19.788 Check: 0.0 Back: 0.231
INFO - Atoms: 8284/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 24852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.764 Prop: 56.987 PropClause: 51.699 Set: 25.788 Check: 0.0 Back: 0.447
INFO - Atoms: 8284/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 32821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.822 Prop: 67.26 PropClause: 61.464 Set: 31.286 Check: 0.0 Back: 0.662
INFO - Atoms: 7969/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 40783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.863 Prop: 77.355 PropClause: 71.05 Set: 47.865 Check: 0.0 Back: 0.869
INFO - Atoms: 7962/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 48752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.907 Prop: 83.943 PropClause: 77.121 Set: 49.616 Check: 0.0 Back: 1.075
INFO - Atoms: 7969/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 56714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.944 Prop: 88.849 PropClause: 81.501 Set: 51.241 Check: 0.0 Back: 1.285
INFO - Atoms: 7962/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 64518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.985 Prop: 92.351 PropClause: 84.515 Set: 52.87 Check: 0.0 Back: 1.49
INFO - Atoms: 7804/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 72160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.037 Prop: 97.134 PropClause: 88.93 Set: 54.421 Check: 0.0 Back: 1.695
INFO - Atoms: 7642/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 79653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.102 Prop: 102.094 PropClause: 93.557 Set: 55.938 Check: 0.0 Back: 1.892
INFO - Atoms: 7493/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 86968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.156 Prop: 108.1 PropClause: 99.234 Set: 57.48 Check: 0.0 Back: 2.085
INFO - Atoms: 7315/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 94786 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.2 Prop: 112.064 PropClause: 102.837 Set: 59.108 Check: 0.0 Back: 2.279
INFO - Atoms: 7818/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 102428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.33 Prop: 118.139 PropClause: 108.556 Set: 60.705 Check: 0.0 Back: 2.49
INFO - Atoms: 7642/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 109919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.412 Prop: 122.524 PropClause: 112.6 Set: 62.241 Check: 0.0 Back: 2.689
INFO - Atoms: 7491/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 117234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.461 Prop: 126.035 PropClause: 115.732 Set: 63.734 Check: 0.0 Back: 2.884
INFO - Atoms: 7315/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 124563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.506 Prop: 130.362 PropClause: 119.73 Set: 65.239 Check: 0.0 Back: 3.079
INFO - Atoms: 7329/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 131716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.554 Prop: 133.995 PropClause: 123.035 Set: 66.69 Check: 0.0 Back: 3.27
INFO - Atoms: 7153/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 138705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.601 Prop: 138.501 PropClause: 126.983 Set: 68.15 Check: 0.0 Back: 3.461
INFO - Atoms: 6989/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 145532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.654 Prop: 142.6 PropClause: 130.785 Set: 69.51 Check: 0.0 Back: 3.644
INFO - Atoms: 6827/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 152195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.697 Prop: 146.216 PropClause: 133.915 Set: 70.85 Check: 0.0 Back: 3.815
INFO - Atoms: 6663/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 158696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.739 Prop: 148.678 PropClause: 136.089 Set: 72.154 Check: 0.0 Back: 3.982
INFO - Atoms: 6501/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 165033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.785 Prop: 151.627 PropClause: 138.783 Set: 73.415 Check: 0.0 Back: 4.148
INFO - Atoms: 6337/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 171208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.828 Prop: 154.867 PropClause: 141.781 Set: 74.569 Check: 0.0 Back: 4.304
INFO - Atoms: 6175/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 177233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.875 Prop: 157.5 PropClause: 144.199 Set: 75.784 Check: 0.0 Back: 4.453
INFO - Atoms: 6025/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 183081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.921 Prop: 160.241 PropClause: 146.732 Set: 77.526 Check: 0.0 Back: 4.604
INFO - Atoms: 5848/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 189416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.967 Prop: 164.174 PropClause: 150.434 Set: 79.474 Check: 0.0 Back: 4.744
INFO - Atoms: 6335/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 195731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.015 Prop: 167.126 PropClause: 153.158 Set: 81.323 Check: 0.0 Back: 4.905
INFO - Atoms: 6315/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 201575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.064 Prop: 169.644 PropClause: 155.467 Set: 82.973 Check: 0.0 Back: 5.067
INFO - Atoms: 5844/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 207890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.117 Prop: 172.505 PropClause: 158.1 Set: 84.829 Check: 0.0 Back: 5.214
INFO - Atoms: 6315/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 214227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.162 Prop: 175.21 PropClause: 160.579 Set: 86.664 Check: 0.0 Back: 5.377
INFO - Atoms: 6337/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 220700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.213 Prop: 177.693 PropClause: 162.832 Set: 88.539 Check: 0.0 Back: 5.536
INFO - Atoms: 6473/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 227015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.25 Prop: 179.711 PropClause: 164.628 Set: 90.328 Check: 0.0 Back: 5.699
INFO - Atoms: 6315/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 233469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.276 Prop: 181.603 PropClause: 166.291 Set: 92.141 Check: 0.0 Back: 5.859
INFO - Atoms: 6454/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 239957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.317 Prop: 183.848 PropClause: 168.311 Set: 93.539 Check: 0.0 Back: 6.021
INFO - Atoms: 6488/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 246410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.342 Prop: 185.706 PropClause: 169.947 Set: 94.915 Check: 0.0 Back: 6.183
INFO - Atoms: 6453/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 252727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.369 Prop: 187.51 PropClause: 171.533 Set: 96.26 Check: 0.0 Back: 6.356
INFO - Atoms: 6317/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 258572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.391 Prop: 189.152 PropClause: 172.973 Set: 97.448 Check: 0.0 Back: 6.516
INFO - Atoms: 5845/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 265026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.419 Prop: 191.03 PropClause: 174.627 Set: 98.839 Check: 0.0 Back: 6.663
INFO - Atoms: 6454/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 271359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.454 Prop: 193.099 PropClause: 176.475 Set: 100.19 Check: 0.0 Back: 6.822
INFO - Atoms: 6333/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 277845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.479 Prop: 194.842 PropClause: 177.992 Set: 101.578 Check: 0.0 Back: 6.982
INFO - Atoms: 6486/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 284342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.518 Prop: 197.445 PropClause: 180.373 Set: 102.957 Check: 0.0 Back: 7.149
INFO - Atoms: 6497/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 290820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.567 Prop: 199.834 PropClause: 182.536 Set: 104.311 Check: 0.0 Back: 7.314
INFO - Atoms: 6478/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 296828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.617 Prop: 202.671 PropClause: 185.166 Set: 105.537 Check: 0.0 Back: 7.477
INFO - Atoms: 6008/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 302686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.654 Prop: 205.092 PropClause: 187.384 Set: 106.738 Check: 0.0 Back: 7.628
INFO - Atoms: 5858/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 308699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.696 Prop: 208.176 PropClause: 190.261 Set: 107.991 Check: 0.0 Back: 7.777
INFO - Atoms: 6013/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 314548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.738 Prop: 210.545 PropClause: 192.413 Set: 109.163 Check: 0.0 Back: 7.928
INFO - Atoms: 5849/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 322516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.781 Prop: 215.052 PropClause: 196.639 Set: 112.85 Check: 0.0 Back: 8.075
INFO - Atoms: 7968/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 330324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.823 Prop: 219.576 PropClause: 200.889 Set: 116.374 Check: 0.0 Back: 8.277
INFO - Atoms: 7808/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 338437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 225.689 PropClause: 206.718 Set: 119.991 Check: 0.0 Back: 8.476
INFO - Atoms: 8113/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 346711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.904 Prop: 231.33 PropClause: 212.054 Set: 123.58 Check: 0.0 Back: 8.684
INFO - Atoms: 8274/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 354354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.941 Prop: 234.584 PropClause: 215.04 Set: 126.826 Check: 0.0 Back: 8.896
INFO - Atoms: 7643/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 361836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.978 Prop: 240.47 PropClause: 220.661 Set: 130.175 Check: 0.0 Back: 9.091
INFO - Atoms: 7482/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 369155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.049 Prop: 243.74 PropClause: 223.674 Set: 133.353 Check: 0.0 Back: 9.279
INFO - Atoms: 7319/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 376311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.084 Prop: 246.81 PropClause: 226.492 Set: 136.32 Check: 0.0 Back: 9.464
INFO - Atoms: 7156/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 383282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.126 Prop: 250.295 PropClause: 229.733 Set: 139.306 Check: 0.0 Back: 9.648
INFO - Atoms: 6971/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 390005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.166 Prop: 253.583 PropClause: 232.783 Set: 142.14 Check: 0.0 Back: 9.824
INFO - Atoms: 6723/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 395771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.199 Prop: 256.152 PropClause: 235.15 Set: 144.507 Check: 0.0 Back: 9.994
INFO - Atoms: 5766/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 401374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.238 Prop: 259.245 PropClause: 238.046 Set: 147.083 Check: 0.0 Back: 10.142
INFO - Atoms: 5603/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 406814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.277 Prop: 261.465 PropClause: 240.075 Set: 149.291 Check: 0.0 Back: 10.284
INFO - Atoms: 5440/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 412091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 262.993 PropClause: 241.419 Set: 151.58 Check: 0.0 Back: 10.423
INFO - Atoms: 5277/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 417205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.42 Prop: 264.545 PropClause: 242.789 Set: 153.749 Check: 0.0 Back: 10.556
INFO - Atoms: 5114/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 422156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.428 Prop: 265.999 PropClause: 244.066 Set: 155.864 Check: 0.0 Back: 10.692
INFO - Atoms: 4951/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 426923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.44 Prop: 267.645 PropClause: 245.54 Set: 157.819 Check: 0.0 Back: 10.822
INFO - Atoms: 4767/8288 Clauses: 101 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 793883 Tprops: 0 Decides: 5517 RSplits: 0
INFO - Times: Expl: 121.294 Prop: 419.59 PropClause: 381.672 Set: 168.378 Check: 0.143 Back: 20.378
INFO - Atoms: 2933/8288 Clauses: 354 Axioms: 27314
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 74 Props: 1630 Tprops: 397 Decides: 1091 RSplits: 0
INFO - Times: Expl: 28.57 Prop: 1453.904 PropClause: 1.27 Set: 134.662 Check: 36.444 Back: 5.608
INFO - Atoms: 150/150 Clauses: 74 Axioms: 150
INFO - CCTimes: iE 20468 eq 4065910 cc 20226198 setRep 2588166
INFO - Merges: 10029, cc:13986
INFO - BVTimes: BB 74615744 BB_DPLL 1172721232 Graph 9518447
INFO - BitBlastingClauses: 33714 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat