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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 77982906
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 15103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.577 Prop: 34.911 PropClause: 31.942 Set: 16.425 Check: 0.0 Back: 0.0
INFO - Atoms: 15103/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 29653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.624 Prop: 50.618 PropClause: 44.795 Set: 21.716 Check: 0.0 Back: 0.353
INFO - Atoms: 14550/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 44206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.663 Prop: 62.223 PropClause: 54.112 Set: 26.446 Check: 0.0 Back: 0.686
INFO - Atoms: 14553/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 58758 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.727 Prop: 73.262 PropClause: 64.712 Set: 29.91 Check: 0.0 Back: 1.02
INFO - Atoms: 14552/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 73303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.772 Prop: 86.143 PropClause: 75.78 Set: 32.652 Check: 0.0 Back: 1.358
INFO - Atoms: 14545/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 87846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.845 Prop: 96.143 PropClause: 85.157 Set: 35.508 Check: 0.0 Back: 1.693
INFO - Atoms: 14543/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 102378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.889 Prop: 107.363 PropClause: 95.823 Set: 38.852 Check: 0.0 Back: 2.026
INFO - Atoms: 14532/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 116911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.968 Prop: 116.561 PropClause: 104.325 Set: 41.802 Check: 0.0 Back: 2.366
INFO - Atoms: 14533/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 131431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.015 Prop: 122.882 PropClause: 109.997 Set: 44.39 Check: 0.0 Back: 2.701
INFO - Atoms: 14520/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 145655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.056 Prop: 130.105 PropClause: 116.658 Set: 46.97 Check: 0.0 Back: 3.04
INFO - Atoms: 14224/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 159581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.099 Prop: 137.229 PropClause: 123.356 Set: 49.485 Check: 0.0 Back: 3.375
INFO - Atoms: 13926/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 174114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.142 Prop: 143.718 PropClause: 129.422 Set: 52.388 Check: 0.0 Back: 3.698
INFO - Atoms: 14533/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 188634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.185 Prop: 151.596 PropClause: 136.89 Set: 56.838 Check: 0.0 Back: 4.065
INFO - Atoms: 14520/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 202858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.23 Prop: 159.959 PropClause: 144.85 Set: 60.973 Check: 0.0 Back: 4.447
INFO - Atoms: 14224/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 216784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.277 Prop: 167.139 PropClause: 151.635 Set: 64.974 Check: 0.0 Back: 4.815
INFO - Atoms: 13926/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 230706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.326 Prop: 177.532 PropClause: 161.633 Set: 92.984 Check: 0.0 Back: 5.154
INFO - Atoms: 13922/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 244332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.367 Prop: 183.162 PropClause: 166.876 Set: 95.34 Check: 0.0 Back: 5.526
INFO - Atoms: 13626/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 257653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.404 Prop: 188.153 PropClause: 171.488 Set: 97.672 Check: 0.0 Back: 5.851
INFO - Atoms: 13321/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 270677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.442 Prop: 193.209 PropClause: 176.187 Set: 100.027 Check: 0.0 Back: 6.182
INFO - Atoms: 13024/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 283396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.484 Prop: 198.549 PropClause: 181.176 Set: 102.289 Check: 0.0 Back: 6.49
INFO - Atoms: 12719/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 295818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.522 Prop: 202.976 PropClause: 185.25 Set: 104.492 Check: 0.0 Back: 6.792
INFO - Atoms: 12422/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 307935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.566 Prop: 207.426 PropClause: 189.344 Set: 106.615 Check: 0.0 Back: 7.094
INFO - Atoms: 12117/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 319755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.604 Prop: 211.787 PropClause: 193.366 Set: 108.738 Check: 0.0 Back: 7.388
INFO - Atoms: 11820/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 331270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.643 Prop: 215.918 PropClause: 197.169 Set: 110.769 Check: 0.0 Back: 7.67
INFO - Atoms: 11515/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 342487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.678 Prop: 219.58 PropClause: 200.524 Set: 112.757 Check: 0.0 Back: 7.936
INFO - Atoms: 11217/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 355418 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.718 Prop: 224.606 PropClause: 205.182 Set: 115.2 Check: 0.0 Back: 8.199
INFO - Atoms: 12931/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 368065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.755 Prop: 229.777 PropClause: 209.992 Set: 117.562 Check: 0.0 Back: 8.506
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 379270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.788 Prop: 233.636 PropClause: 213.532 Set: 119.522 Check: 0.0 Back: 8.808
INFO - Atoms: 11205/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 391917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.823 Prop: 237.597 PropClause: 217.134 Set: 121.927 Check: 0.0 Back: 9.071
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 404568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.86 Prop: 242.237 PropClause: 221.414 Set: 124.287 Check: 0.0 Back: 9.365
INFO - Atoms: 12651/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 417506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.898 Prop: 247.979 PropClause: 226.789 Set: 126.715 Check: 0.0 Back: 9.694
INFO - Atoms: 12938/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 430152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.944 Prop: 253.988 PropClause: 232.438 Set: 129.096 Check: 0.0 Back: 10.019
INFO - Atoms: 12646/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 442799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.979 Prop: 259.248 PropClause: 237.339 Set: 131.484 Check: 0.0 Back: 10.346
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 455734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.019 Prop: 265.591 PropClause: 243.317 Set: 133.893 Check: 0.0 Back: 10.636
INFO - Atoms: 12935/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 468381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.056 Prop: 272.155 PropClause: 249.523 Set: 136.217 Check: 0.0 Back: 10.957
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 481032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.098 Prop: 277.331 PropClause: 254.341 Set: 138.543 Check: 0.0 Back: 11.27
INFO - Atoms: 12651/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 492241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.14 Prop: 281.988 PropClause: 258.677 Set: 140.517 Check: 0.0 Back: 11.573
INFO - Atoms: 11209/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 504888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.176 Prop: 287.436 PropClause: 263.767 Set: 142.953 Check: 0.0 Back: 11.845
INFO - Atoms: 12647/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 517817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.225 Prop: 293.723 PropClause: 269.684 Set: 145.535 Check: 0.0 Back: 12.164
INFO - Atoms: 12929/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 530751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.262 Prop: 299.729 PropClause: 275.322 Set: 149.158 Check: 0.0 Back: 12.492
INFO - Atoms: 12934/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 543415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.305 Prop: 306.169 PropClause: 281.405 Set: 152.758 Check: 0.0 Back: 12.81
INFO - Atoms: 12664/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 556080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.35 Prop: 310.97 PropClause: 285.848 Set: 156.421 Check: 0.0 Back: 13.15
INFO - Atoms: 12665/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 567590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.394 Prop: 315.601 PropClause: 290.151 Set: 159.66 Check: 0.0 Back: 13.488
INFO - Atoms: 11510/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 578795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.441 Prop: 320.459 PropClause: 294.691 Set: 162.701 Check: 0.0 Back: 13.76
INFO - Atoms: 11205/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 590315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.485 Prop: 325.575 PropClause: 299.478 Set: 166.009 Check: 0.0 Back: 14.022
INFO - Atoms: 11520/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 601532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.527 Prop: 330.873 PropClause: 304.459 Set: 169.205 Check: 0.0 Back: 14.294
INFO - Atoms: 11217/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 616626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.56 Prop: 339.376 PropClause: 312.496 Set: 177.31 Check: 0.0 Back: 14.572
INFO - Atoms: 15094/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 631700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.604 Prop: 349.156 PropClause: 321.85 Set: 200.962 Check: 0.0 Back: 14.969
INFO - Atoms: 15074/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 646809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.639 Prop: 356.918 PropClause: 329.185 Set: 218.391 Check: 0.0 Back: 15.352
INFO - Atoms: 15109/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 661935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.688 Prop: 363.113 PropClause: 334.953 Set: 221.094 Check: 0.0 Back: 15.791
INFO - Atoms: 15126/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 676708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.727 Prop: 371.306 PropClause: 342.729 Set: 223.849 Check: 0.0 Back: 16.14
INFO - Atoms: 14773/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 691180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.763 Prop: 377.666 PropClause: 348.682 Set: 226.52 Check: 0.0 Back: 16.51
INFO - Atoms: 14472/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 705351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.809 Prop: 383.367 PropClause: 353.982 Set: 229.272 Check: 0.0 Back: 16.856
INFO - Atoms: 14171/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 719221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.883 Prop: 388.579 PropClause: 358.797 Set: 231.813 Check: 0.0 Back: 17.195
INFO - Atoms: 13870/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 732790 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.918 Prop: 393.478 PropClause: 363.314 Set: 234.357 Check: 0.0 Back: 17.533
INFO - Atoms: 13569/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 746058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.966 Prop: 399.318 PropClause: 368.777 Set: 236.915 Check: 0.0 Back: 17.846
INFO - Atoms: 13268/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 759025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.031 Prop: 406.605 PropClause: 375.697 Set: 239.305 Check: 0.0 Back: 18.172
INFO - Atoms: 12967/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 771691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.113 Prop: 412.318 PropClause: 381.051 Set: 241.667 Check: 0.0 Back: 18.492
INFO - Atoms: 12666/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 783772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.196 Prop: 418.264 PropClause: 386.656 Set: 243.968 Check: 0.0 Back: 18.804
INFO - Atoms: 12081/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 795552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.26 Prop: 422.376 PropClause: 390.437 Set: 246.168 Check: 0.0 Back: 19.091
INFO - Atoms: 11780/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 807031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.399 Prop: 426.99 PropClause: 394.728 Set: 248.287 Check: 0.0 Back: 19.369
INFO - Atoms: 11479/15136 Clauses: 101 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 561 Props: 2122630 Tprops: 0 Decides: 19256 RSplits: 0
INFO - Times: Expl: 262.787 Prop: 847.21 PropClause: 768.817 Set: 280.041 Check: 0.451 Back: 50.187
INFO - Atoms: 4914/15136 Clauses: 600 Axioms: 49906
INFO - Confl: 1022 Props: 2227844 Tprops: 0 Decides: 20121 RSplits: 0
INFO - Times: Expl: 296.344 Prop: 877.533 PropClause: 795.153 Set: 282.528 Check: 0.471 Back: 52.6
INFO - Atoms: 5188/15136 Clauses: 1061 Axioms: 49906
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 71 Props: 1693 Tprops: 231 Decides: 1228 RSplits: 0
INFO - Times: Expl: 27.154 Prop: 2414.167 PropClause: 1.396 Set: 112.766 Check: 17.84 Back: 6.335
INFO - Atoms: 150/150 Clauses: 71 Axioms: 150
INFO - CCTimes: iE 16028 eq 3743894 cc 8743743 setRep 2937837
INFO - Merges: 18153, cc:38910
INFO - BVTimes: BB 77967397 BB_DPLL 2085903288 Graph 43561
INFO - BitBlastingClauses: 56106 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat