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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 48691317
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 13182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.557 Prop: 28.328 PropClause: 25.814 Set: 14.808 Check: 0.0 Back: 0.0
INFO - Atoms: 13182/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 26364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.619 Prop: 39.917 PropClause: 36.986 Set: 20.298 Check: 0.0 Back: 0.306
INFO - Atoms: 13182/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 39038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.647 Prop: 50.027 PropClause: 45.343 Set: 48.109 Check: 0.0 Back: 0.604
INFO - Atoms: 12674/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 51706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.713 Prop: 55.164 PropClause: 50.051 Set: 50.337 Check: 0.0 Back: 0.89
INFO - Atoms: 12668/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 64374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.748 Prop: 60.008 PropClause: 54.477 Set: 52.477 Check: 0.0 Back: 1.182
INFO - Atoms: 12668/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 76787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.786 Prop: 64.752 PropClause: 58.81 Set: 54.614 Check: 0.0 Back: 1.47
INFO - Atoms: 12413/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 88942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.827 Prop: 69.61 PropClause: 63.275 Set: 56.663 Check: 0.0 Back: 1.751
INFO - Atoms: 12155/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 100837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.885 Prop: 74.437 PropClause: 67.715 Set: 58.721 Check: 0.0 Back: 2.025
INFO - Atoms: 11895/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 112473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.92 Prop: 78.441 PropClause: 71.34 Set: 60.659 Check: 0.0 Back: 2.295
INFO - Atoms: 11636/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 125140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.97 Prop: 84.413 PropClause: 76.889 Set: 62.862 Check: 0.0 Back: 2.557
INFO - Atoms: 12667/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 137808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.01 Prop: 89.006 PropClause: 80.962 Set: 65.106 Check: 0.0 Back: 2.844
INFO - Atoms: 12668/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 150221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.039 Prop: 93.419 PropClause: 84.878 Set: 67.288 Check: 0.0 Back: 3.132
INFO - Atoms: 12413/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 162376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.071 Prop: 97.904 PropClause: 88.806 Set: 69.434 Check: 0.0 Back: 3.412
INFO - Atoms: 12155/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 174271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.096 Prop: 102.011 PropClause: 92.431 Set: 71.525 Check: 0.0 Back: 3.688
INFO - Atoms: 11895/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 185907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.13 Prop: 106.337 PropClause: 96.268 Set: 74.599 Check: 0.0 Back: 3.959
INFO - Atoms: 11636/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 197543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.162 Prop: 111.013 PropClause: 100.449 Set: 77.724 Check: 0.0 Back: 4.223
INFO - Atoms: 11636/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 208921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.218 Prop: 115.138 PropClause: 104.278 Set: 80.723 Check: 0.0 Back: 4.487
INFO - Atoms: 11378/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 220039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.253 Prop: 119.327 PropClause: 108.179 Set: 83.599 Check: 0.0 Back: 4.748
INFO - Atoms: 11118/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 230899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.285 Prop: 123.653 PropClause: 112.238 Set: 99.642 Check: 0.0 Back: 5.006
INFO - Atoms: 10860/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 241499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.317 Prop: 128.372 PropClause: 116.682 Set: 101.319 Check: 0.0 Back: 5.257
INFO - Atoms: 10600/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 251841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.353 Prop: 132.733 PropClause: 120.788 Set: 102.953 Check: 0.0 Back: 5.494
INFO - Atoms: 10342/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 261923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.389 Prop: 136.464 PropClause: 124.248 Set: 104.56 Check: 0.0 Back: 5.726
INFO - Atoms: 10082/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 271747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.424 Prop: 139.539 PropClause: 127.081 Set: 106.096 Check: 0.0 Back: 5.952
INFO - Atoms: 9824/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 281311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.452 Prop: 142.435 PropClause: 129.742 Set: 107.616 Check: 0.0 Back: 6.172
INFO - Atoms: 9564/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 290616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.483 Prop: 145.372 PropClause: 132.45 Set: 109.064 Check: 0.0 Back: 6.385
INFO - Atoms: 9305/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 300674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.515 Prop: 149.017 PropClause: 135.848 Set: 110.724 Check: 0.0 Back: 6.593
INFO - Atoms: 10058/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 310731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.543 Prop: 151.621 PropClause: 138.204 Set: 112.575 Check: 0.0 Back: 6.818
INFO - Atoms: 10057/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 320030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.569 Prop: 153.981 PropClause: 140.337 Set: 114.055 Check: 0.0 Back: 7.043
INFO - Atoms: 9299/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 330087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.598 Prop: 156.945 PropClause: 143.052 Set: 115.7 Check: 0.0 Back: 7.249
INFO - Atoms: 10057/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 340147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.625 Prop: 159.548 PropClause: 145.409 Set: 117.358 Check: 0.0 Back: 7.473
INFO - Atoms: 10060/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 349447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.666 Prop: 161.878 PropClause: 147.511 Set: 118.817 Check: 0.0 Back: 7.698
INFO - Atoms: 9300/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 359504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.693 Prop: 165.768 PropClause: 151.155 Set: 129.296 Check: 0.0 Back: 7.906
INFO - Atoms: 10057/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 369809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.731 Prop: 168.641 PropClause: 153.776 Set: 131.018 Check: 0.0 Back: 8.132
INFO - Atoms: 10305/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 379108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.771 Prop: 171.681 PropClause: 156.587 Set: 132.494 Check: 0.0 Back: 8.361
INFO - Atoms: 9299/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 389414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.817 Prop: 174.433 PropClause: 159.087 Set: 134.243 Check: 0.0 Back: 8.567
INFO - Atoms: 10306/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 399721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.85 Prop: 177.598 PropClause: 161.998 Set: 135.982 Check: 0.0 Back: 8.798
INFO - Atoms: 10307/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 410030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.882 Prop: 180.694 PropClause: 164.84 Set: 137.731 Check: 0.0 Back: 9.026
INFO - Atoms: 10309/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 420607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.928 Prop: 183.364 PropClause: 167.251 Set: 139.501 Check: 0.0 Back: 9.258
INFO - Atoms: 10577/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 431436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.952 Prop: 185.942 PropClause: 169.564 Set: 141.334 Check: 0.0 Back: 9.496
INFO - Atoms: 10829/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 442004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.983 Prop: 189.199 PropClause: 172.56 Set: 143.148 Check: 0.0 Back: 9.739
INFO - Atoms: 10568/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 452438 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.015 Prop: 192.223 PropClause: 175.32 Set: 144.926 Check: 0.0 Back: 9.974
INFO - Atoms: 10434/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 462615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.072 Prop: 195.56 PropClause: 178.407 Set: 146.654 Check: 0.0 Back: 10.207
INFO - Atoms: 10177/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 472029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.105 Prop: 198.695 PropClause: 181.312 Set: 148.22 Check: 0.0 Back: 10.433
INFO - Atoms: 9414/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 480934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.138 Prop: 201.618 PropClause: 184.014 Set: 149.667 Check: 0.0 Back: 10.65
INFO - Atoms: 8905/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 490099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.169 Prop: 203.958 PropClause: 186.131 Set: 151.137 Check: 0.0 Back: 10.85
INFO - Atoms: 9165/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 499403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.198 Prop: 206.435 PropClause: 188.38 Set: 152.595 Check: 0.0 Back: 11.055
INFO - Atoms: 9304/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 509218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.228 Prop: 208.988 PropClause: 190.687 Set: 154.71 Check: 0.0 Back: 11.263
INFO - Atoms: 9815/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 515779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.324 Prop: 212.16 PropClause: 193.672 Set: 158.649 Check: 0.0 Back: 11.482
INFO - Atoms: 6561/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 522597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.336 Prop: 213.939 PropClause: 195.259 Set: 162.818 Check: 0.0 Back: 11.629
INFO - Atoms: 6818/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 529678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.347 Prop: 216.053 PropClause: 197.171 Set: 167.139 Check: 0.0 Back: 11.781
INFO - Atoms: 7081/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 537014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.358 Prop: 218.047 PropClause: 198.954 Set: 171.525 Check: 0.0 Back: 11.939
INFO - Atoms: 7336/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 544609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.368 Prop: 220.184 PropClause: 200.877 Set: 176.109 Check: 0.0 Back: 12.102
INFO - Atoms: 7595/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 552463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.379 Prop: 222.525 PropClause: 202.996 Set: 180.852 Check: 0.0 Back: 12.272
INFO - Atoms: 7854/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 560579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.389 Prop: 225.041 PropClause: 205.279 Set: 185.798 Check: 0.0 Back: 12.447
INFO - Atoms: 8116/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 568955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.402 Prop: 227.978 PropClause: 207.976 Set: 190.876 Check: 0.0 Back: 12.628
INFO - Atoms: 8376/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 577586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.411 Prop: 230.55 PropClause: 210.306 Set: 196.09 Check: 0.0 Back: 12.816
INFO - Atoms: 8631/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 586476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.421 Prop: 233.339 PropClause: 212.856 Set: 201.453 Check: 0.0 Back: 13.01
INFO - Atoms: 8890/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 595628 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.432 Prop: 236.205 PropClause: 215.462 Set: 207.01 Check: 0.0 Back: 13.208
INFO - Atoms: 9152/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 605040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.444 Prop: 240.059 PropClause: 219.049 Set: 212.67 Check: 0.0 Back: 13.413
INFO - Atoms: 9412/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 614707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.454 Prop: 243.079 PropClause: 221.77 Set: 217.655 Check: 0.0 Back: 13.622
INFO - Atoms: 9667/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 624637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.462 Prop: 245.736 PropClause: 224.123 Set: 222.815 Check: 0.0 Back: 13.845
INFO - Atoms: 9930/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 635860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.47 Prop: 248.962 PropClause: 227.004 Set: 228.693 Check: 0.0 Back: 14.068
INFO - Atoms: 11223/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 647588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.48 Prop: 252.738 PropClause: 230.423 Set: 234.847 Check: 0.0 Back: 14.318
INFO - Atoms: 11728/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 659586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.49 Prop: 256.622 PropClause: 233.942 Set: 240.985 Check: 0.0 Back: 14.579
INFO - Atoms: 11998/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 671843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.5 Prop: 260.302 PropClause: 237.253 Set: 247.279 Check: 0.0 Back: 14.853
INFO - Atoms: 12257/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 684234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.511 Prop: 265.615 PropClause: 242.176 Set: 253.744 Check: 0.0 Back: 15.127
INFO - Atoms: 12391/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 694036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.522 Prop: 270.394 PropClause: 246.653 Set: 258.804 Check: 0.0 Back: 15.404
INFO - Atoms: 9802/13184 Clauses: 101 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 1718312 Tprops: 0 Decides: 14729 RSplits: 0
INFO - Times: Expl: 193.407 Prop: 563.439 PropClause: 509.803 Set: 284.633 Check: 0.337 Back: 39.205
INFO - Atoms: 4590/13184 Clauses: 538 Axioms: 43634
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 79 Props: 2154 Tprops: 385 Decides: 1064 RSplits: 0
INFO - Times: Expl: 16.822 Prop: 1751.439 PropClause: 1.008 Set: 105.088 Check: 28.375 Back: 5.755
INFO - Atoms: 150/150 Clauses: 79 Axioms: 150
INFO - CCTimes: iE 16829 eq 3047486 cc 7727846 setRep 1282205
INFO - Merges: 8367, cc:10680
INFO - BVTimes: BB 48682109 BB_DPLL 1519315793 Graph 15686650
INFO - BitBlastingClauses: 50434 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat