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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 76783015
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 9915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.687 Prop: 35.006 PropClause: 32.619 Set: 11.383 Check: 0.0 Back: 0.0
INFO - Atoms: 9915/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 19830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.771 Prop: 50.579 PropClause: 45.905 Set: 19.114 Check: 0.0 Back: 0.379
INFO - Atoms: 9915/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 29745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.852 Prop: 63.765 PropClause: 58.55 Set: 26.171 Check: 0.0 Back: 0.631
INFO - Atoms: 9915/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 39282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.927 Prop: 74.844 PropClause: 69.129 Set: 52.795 Check: 0.0 Back: 0.884
INFO - Atoms: 9537/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 48818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.968 Prop: 80.677 PropClause: 74.595 Set: 55.671 Check: 0.0 Back: 1.133
INFO - Atoms: 9536/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 58349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.009 Prop: 89.223 PropClause: 82.565 Set: 58.552 Check: 0.0 Back: 1.386
INFO - Atoms: 9531/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 67879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.058 Prop: 96.469 PropClause: 89.361 Set: 60.918 Check: 0.0 Back: 1.635
INFO - Atoms: 9530/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 77411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.103 Prop: 103.99 PropClause: 96.425 Set: 63.272 Check: 0.0 Back: 1.889
INFO - Atoms: 9532/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 86752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.147 Prop: 109.912 PropClause: 101.916 Set: 65.571 Check: 0.0 Back: 2.14
INFO - Atoms: 9341/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 95897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.187 Prop: 117.625 PropClause: 109.21 Set: 67.852 Check: 0.0 Back: 2.383
INFO - Atoms: 9145/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 104848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.242 Prop: 121.964 PropClause: 113.146 Set: 70.118 Check: 0.0 Back: 2.621
INFO - Atoms: 8951/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 113622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.289 Prop: 127.569 PropClause: 118.367 Set: 72.387 Check: 0.0 Back: 2.858
INFO - Atoms: 8774/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 122183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.357 Prop: 132.074 PropClause: 122.453 Set: 74.398 Check: 0.0 Back: 3.086
INFO - Atoms: 8561/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 130548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.401 Prop: 136.003 PropClause: 126.012 Set: 76.265 Check: 0.0 Back: 3.313
INFO - Atoms: 8365/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 138719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.442 Prop: 140.075 PropClause: 129.488 Set: 78.036 Check: 0.0 Back: 3.536
INFO - Atoms: 8171/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 146712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.483 Prop: 143.971 PropClause: 132.851 Set: 79.984 Check: 0.0 Back: 3.747
INFO - Atoms: 7993/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 154493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.532 Prop: 147.518 PropClause: 136.158 Set: 81.764 Check: 0.0 Back: 3.951
INFO - Atoms: 7781/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 162096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.567 Prop: 149.87 PropClause: 138.305 Set: 83.071 Check: 0.0 Back: 4.152
INFO - Atoms: 7603/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 169487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.612 Prop: 152.823 PropClause: 141.043 Set: 85.337 Check: 0.0 Back: 4.349
INFO - Atoms: 7391/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 176699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.656 Prop: 156.236 PropClause: 144.239 Set: 87.789 Check: 0.0 Back: 4.541
INFO - Atoms: 7212/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 183699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.709 Prop: 160.16 PropClause: 147.954 Set: 90.195 Check: 0.0 Back: 4.731
INFO - Atoms: 7000/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 191456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.755 Prop: 164.905 PropClause: 152.466 Set: 93.08 Check: 0.0 Back: 4.913
INFO - Atoms: 7757/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 199239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.803 Prop: 169.625 PropClause: 156.951 Set: 95.831 Check: 0.0 Back: 5.11
INFO - Atoms: 7783/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 207191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.854 Prop: 174.39 PropClause: 161.47 Set: 98.659 Check: 0.0 Back: 5.306
INFO - Atoms: 7952/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 215362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.901 Prop: 178.804 PropClause: 165.639 Set: 101.479 Check: 0.0 Back: 5.51
INFO - Atoms: 8171/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 223509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.955 Prop: 184.516 PropClause: 171.113 Set: 103.604 Check: 0.0 Back: 5.718
INFO - Atoms: 8147/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 231088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.998 Prop: 187.827 PropClause: 174.204 Set: 105.364 Check: 0.0 Back: 5.923
INFO - Atoms: 7579/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 239235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.049 Prop: 192.761 PropClause: 178.902 Set: 107.491 Check: 0.0 Back: 6.118
INFO - Atoms: 8147/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 247406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.091 Prop: 196.518 PropClause: 182.422 Set: 109.483 Check: 0.0 Back: 6.325
INFO - Atoms: 8171/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 255742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.146 Prop: 200.94 PropClause: 186.601 Set: 111.644 Check: 0.0 Back: 6.533
INFO - Atoms: 8336/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 263889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.187 Prop: 204.378 PropClause: 189.803 Set: 113.62 Check: 0.0 Back: 6.745
INFO - Atoms: 8147/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 272203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.227 Prop: 208.007 PropClause: 193.19 Set: 115.621 Check: 0.0 Back: 6.952
INFO - Atoms: 8314/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 279784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.265 Prop: 211.104 PropClause: 196.069 Set: 117.44 Check: 0.0 Back: 7.163
INFO - Atoms: 7581/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 288095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.304 Prop: 214.592 PropClause: 199.316 Set: 119.493 Check: 0.0 Back: 7.355
INFO - Atoms: 8311/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 296267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.34 Prop: 217.862 PropClause: 202.35 Set: 121.467 Check: 0.0 Back: 7.573
INFO - Atoms: 8172/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 304621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.38 Prop: 221.3 PropClause: 205.546 Set: 123.452 Check: 0.0 Back: 7.781
INFO - Atoms: 8354/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 312768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.424 Prop: 225.004 PropClause: 209.014 Set: 125.403 Check: 0.0 Back: 7.993
INFO - Atoms: 8147/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 321080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.462 Prop: 228.229 PropClause: 211.998 Set: 127.479 Check: 0.0 Back: 8.199
INFO - Atoms: 8312/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 329419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.497 Prop: 231.373 PropClause: 214.898 Set: 129.584 Check: 0.0 Back: 8.411
INFO - Atoms: 8339/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 337654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.53 Prop: 234.549 PropClause: 217.835 Set: 131.614 Check: 0.0 Back: 8.622
INFO - Atoms: 8235/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 345802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.572 Prop: 238.287 PropClause: 221.336 Set: 133.664 Check: 0.0 Back: 8.834
INFO - Atoms: 8148/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 353400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.619 Prop: 241.684 PropClause: 224.514 Set: 135.445 Check: 0.0 Back: 9.04
INFO - Atoms: 7598/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 361472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.666 Prop: 245.667 PropClause: 228.266 Set: 137.478 Check: 0.0 Back: 9.233
INFO - Atoms: 8072/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 369617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.702 Prop: 248.943 PropClause: 231.307 Set: 139.483 Check: 0.0 Back: 9.437
INFO - Atoms: 8145/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 377776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.742 Prop: 252.556 PropClause: 234.685 Set: 141.49 Check: 0.0 Back: 9.644
INFO - Atoms: 8159/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 385745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.781 Prop: 255.651 PropClause: 237.549 Set: 143.484 Check: 0.0 Back: 9.85
INFO - Atoms: 7969/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 393712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.818 Prop: 258.576 PropClause: 240.244 Set: 145.365 Check: 0.0 Back: 10.053
INFO - Atoms: 7967/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 401309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.852 Prop: 261.268 PropClause: 242.717 Set: 147.112 Check: 0.0 Back: 10.255
INFO - Atoms: 7597/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 409087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.89 Prop: 264.244 PropClause: 245.47 Set: 149.006 Check: 0.0 Back: 10.448
INFO - Atoms: 7778/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 416864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.023 Prop: 267.382 PropClause: 248.381 Set: 150.914 Check: 0.0 Back: 10.644
INFO - Atoms: 7777/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 424449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.054 Prop: 269.935 PropClause: 250.715 Set: 152.777 Check: 0.0 Back: 10.841
INFO - Atoms: 7585/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 432201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.087 Prop: 272.459 PropClause: 253.015 Set: 154.642 Check: 0.0 Back: 11.033
INFO - Atoms: 7752/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 439928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.519 Prop: 275.528 PropClause: 255.86 Set: 156.594 Check: 0.0 Back: 11.23
INFO - Atoms: 7727/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 447700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 278.519 PropClause: 258.627 Set: 158.534 Check: 0.0 Back: 11.426
INFO - Atoms: 7772/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 454895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.688 Prop: 281.637 PropClause: 261.535 Set: 160.25 Check: 0.0 Back: 11.624
INFO - Atoms: 7195/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 462090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.776 Prop: 284.046 PropClause: 263.734 Set: 161.848 Check: 0.0 Back: 11.809
INFO - Atoms: 7195/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 469745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 287.287 PropClause: 266.748 Set: 163.693 Check: 0.0 Back: 11.993
INFO - Atoms: 7655/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 477485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 290.91 PropClause: 270.141 Set: 165.593 Check: 0.0 Back: 12.193
INFO - Atoms: 7740/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 485238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.815 Prop: 294.627 PropClause: 273.631 Set: 167.494 Check: 0.0 Back: 12.391
INFO - Atoms: 7753/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 492434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.827 Prop: 297.957 PropClause: 276.748 Set: 169.18 Check: 0.0 Back: 12.593
INFO - Atoms: 7196/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 499435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 300.896 PropClause: 279.489 Set: 170.871 Check: 0.0 Back: 12.781
INFO - Atoms: 7001/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 506614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.886 Prop: 303.964 PropClause: 282.357 Set: 178.759 Check: 0.0 Back: 12.96
INFO - Atoms: 7179/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 511179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.895 Prop: 306.771 PropClause: 285.01 Set: 181.886 Check: 0.0 Back: 13.142
INFO - Atoms: 4565/9920 Clauses: 101 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 1002541 Tprops: 0 Decides: 10964 RSplits: 0
INFO - Times: Expl: 263.604 Prop: 569.2 PropClause: 527.036 Set: 197.243 Check: 0.283 Back: 25.886
INFO - Atoms: 3406/9920 Clauses: 346 Axioms: 32754
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 69 Props: 1934 Tprops: 365 Decides: 1446 RSplits: 0
INFO - Times: Expl: 26.703 Prop: 1830.997 PropClause: 1.262 Set: 168.225 Check: 11.882 Back: 6.608
INFO - Atoms: 134/150 Clauses: 69 Axioms: 150
INFO - CCTimes: iE 24394 eq 2724118 cc 5764877 setRep 2154219
INFO - Merges: 10306, cc:12939
INFO - BVTimes: BB 76768377 BB_DPLL 1550057105 Graph 58569
INFO - BitBlastingClauses: 39154 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat