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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 64254573
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 16444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.592 Prop: 33.396 PropClause: 30.677 Set: 10.71 Check: 0.0 Back: 0.0
INFO - Atoms: 16444/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 32888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.649 Prop: 52.804 PropClause: 47.539 Set: 39.936 Check: 0.0 Back: 0.47
INFO - Atoms: 16444/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 49332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.689 Prop: 68.464 PropClause: 61.403 Set: 45.28 Check: 0.0 Back: 0.854
INFO - Atoms: 16444/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 65140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.728 Prop: 82.596 PropClause: 75.002 Set: 48.143 Check: 0.0 Back: 1.228
INFO - Atoms: 15808/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 80948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.803 Prop: 94.726 PropClause: 86.594 Set: 51.545 Check: 0.0 Back: 1.587
INFO - Atoms: 15808/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 96751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.837 Prop: 107.338 PropClause: 98.53 Set: 54.455 Check: 0.0 Back: 1.947
INFO - Atoms: 15803/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 112553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.881 Prop: 118.95 PropClause: 109.538 Set: 57.193 Check: 0.0 Back: 2.307
INFO - Atoms: 15802/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 128035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 131.793 PropClause: 121.971 Set: 59.907 Check: 0.0 Back: 2.667
INFO - Atoms: 15482/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 143518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.964 Prop: 142.431 PropClause: 132.203 Set: 62.513 Check: 0.0 Back: 3.624
INFO - Atoms: 15483/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 158679 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.003 Prop: 152.325 PropClause: 141.723 Set: 65.007 Check: 0.0 Back: 3.974
INFO - Atoms: 15161/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 173518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.043 Prop: 162.277 PropClause: 151.305 Set: 67.506 Check: 0.0 Back: 4.315
INFO - Atoms: 14839/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 188032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.099 Prop: 171.94 PropClause: 160.609 Set: 70.531 Check: 0.0 Back: 4.648
INFO - Atoms: 14514/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 203514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.137 Prop: 183.798 PropClause: 172.083 Set: 74.943 Check: 0.0 Back: 4.975
INFO - Atoms: 15482/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 218998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.18 Prop: 196.842 PropClause: 184.728 Set: 79.294 Check: 0.0 Back: 5.337
INFO - Atoms: 15484/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 234160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.229 Prop: 207.84 PropClause: 195.353 Set: 83.469 Check: 0.0 Back: 5.696
INFO - Atoms: 15162/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 249057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.273 Prop: 218.77 PropClause: 205.912 Set: 97.528 Check: 0.0 Back: 6.035
INFO - Atoms: 14897/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 263572 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.308 Prop: 226.307 PropClause: 213.089 Set: 99.885 Check: 0.0 Back: 6.369
INFO - Atoms: 14515/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 278086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.345 Prop: 233.868 PropClause: 220.29 Set: 102.262 Check: 0.0 Back: 6.696
INFO - Atoms: 14514/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 292279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.383 Prop: 241.706 PropClause: 227.774 Set: 104.58 Check: 0.0 Back: 7.025
INFO - Atoms: 14193/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 306207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.464 Prop: 249.672 PropClause: 235.394 Set: 106.834 Check: 0.0 Back: 7.346
INFO - Atoms: 13928/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 319754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 258.289 PropClause: 243.676 Set: 109.049 Check: 0.0 Back: 7.659
INFO - Atoms: 13547/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 333034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.541 Prop: 266.612 PropClause: 251.669 Set: 111.261 Check: 0.0 Back: 7.962
INFO - Atoms: 13280/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 345935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.601 Prop: 273.27 PropClause: 257.997 Set: 113.31 Check: 0.0 Back: 8.262
INFO - Atoms: 12901/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 358512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.641 Prop: 279.856 PropClause: 264.269 Set: 115.486 Check: 0.0 Back: 8.552
INFO - Atoms: 12577/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 370767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.677 Prop: 286.566 PropClause: 270.674 Set: 117.435 Check: 0.0 Back: 8.849
INFO - Atoms: 12255/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 382757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.741 Prop: 294.464 PropClause: 278.254 Set: 130.213 Check: 0.0 Back: 9.126
INFO - Atoms: 11990/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 394365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.088 Prop: 300.58 PropClause: 284.078 Set: 132.091 Check: 0.0 Back: 9.4
INFO - Atoms: 11608/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 406984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.129 Prop: 307.336 PropClause: 290.516 Set: 134.238 Check: 0.0 Back: 9.665
INFO - Atoms: 12619/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 419539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.17 Prop: 313.931 PropClause: 296.798 Set: 136.316 Check: 0.0 Back: 9.949
INFO - Atoms: 12555/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 431201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.207 Prop: 319.767 PropClause: 302.344 Set: 138.194 Check: 0.0 Back: 10.229
INFO - Atoms: 11662/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 443756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.247 Prop: 326.209 PropClause: 308.472 Set: 140.31 Check: 0.0 Back: 10.492
INFO - Atoms: 12555/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 456377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.291 Prop: 332.348 PropClause: 314.297 Set: 142.397 Check: 0.0 Back: 10.775
INFO - Atoms: 12621/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 469250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.33 Prop: 339.256 PropClause: 320.885 Set: 144.577 Check: 0.0 Back: 11.1
INFO - Atoms: 12873/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 481805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.369 Prop: 345.455 PropClause: 326.771 Set: 146.665 Check: 0.0 Back: 11.39
INFO - Atoms: 12555/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 494615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.408 Prop: 351.868 PropClause: 332.867 Set: 148.811 Check: 0.0 Back: 11.673
INFO - Atoms: 12810/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 507545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.447 Prop: 358.991 PropClause: 339.669 Set: 151.008 Check: 0.0 Back: 11.962
INFO - Atoms: 12930/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 520354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.489 Prop: 367.134 PropClause: 347.493 Set: 153.185 Check: 0.0 Back: 12.267
INFO - Atoms: 12809/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 532911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.526 Prop: 373.301 PropClause: 353.346 Set: 155.348 Check: 0.0 Back: 12.556
INFO - Atoms: 12557/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 544516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.565 Prop: 380.618 PropClause: 360.374 Set: 157.839 Check: 0.0 Back: 12.84
INFO - Atoms: 11605/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 557326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.604 Prop: 388.586 PropClause: 368.02 Set: 161.309 Check: 0.0 Back: 13.101
INFO - Atoms: 12810/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 569943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.652 Prop: 397.342 PropClause: 376.463 Set: 164.648 Check: 0.0 Back: 13.388
INFO - Atoms: 12617/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 582815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.69 Prop: 404.831 PropClause: 383.631 Set: 168.034 Check: 0.0 Back: 13.674
INFO - Atoms: 12872/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 595756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.73 Prop: 412.84 PropClause: 391.32 Set: 171.507 Check: 0.0 Back: 13.964
INFO - Atoms: 12941/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 608634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.767 Prop: 421.537 PropClause: 399.693 Set: 174.982 Check: 0.0 Back: 14.256
INFO - Atoms: 12878/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 620561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.803 Prop: 429.137 PropClause: 406.996 Set: 178.069 Check: 0.0 Back: 14.547
INFO - Atoms: 11927/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 632356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 436.572 PropClause: 414.137 Set: 181.22 Check: 0.0 Back: 14.816
INFO - Atoms: 11795/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 644278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.945 Prop: 444.882 PropClause: 422.15 Set: 184.411 Check: 0.0 Back: 15.081
INFO - Atoms: 11922/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 655715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.982 Prop: 451.739 PropClause: 428.723 Set: 187.355 Check: 0.0 Back: 15.35
INFO - Atoms: 11437/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 667323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.024 Prop: 457.672 PropClause: 434.367 Set: 189.221 Check: 0.0 Back: 15.607
INFO - Atoms: 11608/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 679316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.158 Prop: 463.533 PropClause: 439.92 Set: 191.157 Check: 0.0 Back: 15.868
INFO - Atoms: 11993/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 695167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.201 Prop: 474.42 PropClause: 450.367 Set: 200.062 Check: 0.0 Back: 16.14
INFO - Atoms: 15851/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 710699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.214 Prop: 487.953 PropClause: 463.454 Set: 208.704 Check: 0.0 Back: 16.496
INFO - Atoms: 15532/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 725908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.231 Prop: 498.538 PropClause: 473.658 Set: 211.375 Check: 0.0 Back: 16.847
INFO - Atoms: 15209/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 740794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.33 Prop: 507.382 PropClause: 482.12 Set: 213.881 Check: 0.0 Back: 17.189
INFO - Atoms: 14886/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 755357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.347 Prop: 515.133 PropClause: 489.508 Set: 216.37 Check: 0.0 Back: 17.522
INFO - Atoms: 14563/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 769597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.367 Prop: 523.163 PropClause: 497.182 Set: 218.809 Check: 0.0 Back: 17.851
INFO - Atoms: 14240/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 783448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.384 Prop: 530.964 PropClause: 504.639 Set: 221.163 Check: 0.0 Back: 18.172
INFO - Atoms: 13851/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 796811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.424 Prop: 538.697 PropClause: 512.037 Set: 223.448 Check: 0.0 Back: 18.483
INFO - Atoms: 13363/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 808301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.446 Prop: 545.193 PropClause: 518.245 Set: 225.396 Check: 0.0 Back: 18.799
INFO - Atoms: 11490/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 819468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 551.552 PropClause: 524.307 Set: 227.305 Check: 0.0 Back: 19.059
INFO - Atoms: 11167/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 830312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 557.678 PropClause: 530.159 Set: 229.144 Check: 0.0 Back: 19.313
INFO - Atoms: 10844/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 840833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.499 Prop: 563.441 PropClause: 535.66 Set: 230.912 Check: 0.0 Back: 19.555
INFO - Atoms: 10521/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 850966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.517 Prop: 568.31 PropClause: 540.274 Set: 232.601 Check: 0.0 Back: 19.792
INFO - Atoms: 10133/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 860776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.533 Prop: 572.96 PropClause: 544.677 Set: 234.264 Check: 0.0 Back: 20.019
INFO - Atoms: 9810/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 870263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.551 Prop: 577.435 PropClause: 548.914 Set: 235.854 Check: 0.0 Back: 20.241
INFO - Atoms: 9487/16448 Clauses: 101 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 2491042 Tprops: 0 Decides: 24382 RSplits: 0
INFO - Times: Expl: 300.824 Prop: 1402.529 PropClause: 1325.482 Set: 275.73 Check: 0.569 Back: 59.273
INFO - Atoms: 5616/16448 Clauses: 478 Axioms: 54514
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 77 Props: 1642 Tprops: 419 Decides: 1178 RSplits: 0
INFO - Times: Expl: 17.557 Prop: 2966.079 PropClause: 0.946 Set: 92.33 Check: 9.085 Back: 5.022
INFO - Atoms: 150/150 Clauses: 77 Axioms: 150
INFO - CCTimes: iE 15388 eq 2213029 cc 3655030 setRep 1570152
INFO - Merges: 10155, cc:14141
INFO - BVTimes: BB 64240707 BB_DPLL 2665578123 Graph 41197
INFO - BitBlastingClauses: 61114 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat