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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 109930875
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 16092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.536 Prop: 55.64 PropClause: 51.852 Set: 47.412 Check: 0.0 Back: 0.0
INFO - Atoms: 16092/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 32186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.574 Prop: 81.292 PropClause: 76.417 Set: 61.976 Check: 0.0 Back: 0.432
INFO - Atoms: 16094/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 48280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.637 Prop: 108.198 PropClause: 102.133 Set: 75.783 Check: 0.0 Back: 0.872
INFO - Atoms: 16094/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 64057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.697 Prop: 132.477 PropClause: 125.29 Set: 88.42 Check: 0.0 Back: 1.313
INFO - Atoms: 15777/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 79828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.757 Prop: 151.184 PropClause: 142.999 Set: 108.463 Check: 0.0 Back: 1.736
INFO - Atoms: 15771/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 95452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.804 Prop: 172.806 PropClause: 162.95 Set: 112.348 Check: 0.0 Back: 2.146
INFO - Atoms: 15624/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 111229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.845 Prop: 190.972 PropClause: 180.298 Set: 116.228 Check: 0.0 Back: 2.555
INFO - Atoms: 15777/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 127002 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.894 Prop: 204.736 PropClause: 193.297 Set: 119.843 Check: 0.0 Back: 2.964
INFO - Atoms: 15773/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 142614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.935 Prop: 221.163 PropClause: 209.244 Set: 124.133 Check: 0.0 Back: 3.382
INFO - Atoms: 15612/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 158226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.974 Prop: 233.464 PropClause: 221.131 Set: 128.863 Check: 0.0 Back: 3.783
INFO - Atoms: 15612/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 173676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.024 Prop: 252.9 PropClause: 240.101 Set: 134.992 Check: 0.0 Back: 4.156
INFO - Atoms: 15450/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 188977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.103 Prop: 267.936 PropClause: 254.751 Set: 137.989 Check: 0.0 Back: 4.554
INFO - Atoms: 15301/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 204101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.16 Prop: 280.955 PropClause: 267.331 Set: 141.704 Check: 0.0 Back: 4.92
INFO - Atoms: 15124/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 219061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.205 Prop: 292.232 PropClause: 278.174 Set: 145.134 Check: 0.0 Back: 5.31
INFO - Atoms: 14960/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 233859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.248 Prop: 304.314 PropClause: 289.812 Set: 148.841 Check: 0.0 Back: 5.694
INFO - Atoms: 14798/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 248507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.296 Prop: 314.854 PropClause: 299.919 Set: 152.571 Check: 0.0 Back: 6.072
INFO - Atoms: 14648/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 262979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.341 Prop: 325.574 PropClause: 310.224 Set: 156.126 Check: 0.0 Back: 6.456
INFO - Atoms: 14472/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 277287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.382 Prop: 337.049 PropClause: 321.284 Set: 159.538 Check: 0.0 Back: 6.825
INFO - Atoms: 14308/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 291433 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.422 Prop: 346.335 PropClause: 330.163 Set: 162.997 Check: 0.0 Back: 7.191
INFO - Atoms: 14146/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 305415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 355.34 PropClause: 338.768 Set: 166.399 Check: 0.0 Back: 7.552
INFO - Atoms: 13982/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 319235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.505 Prop: 365.934 PropClause: 348.953 Set: 169.553 Check: 0.0 Back: 7.909
INFO - Atoms: 13820/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 332891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.547 Prop: 373.306 PropClause: 355.978 Set: 172.004 Check: 0.0 Back: 8.279
INFO - Atoms: 13656/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 346385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.588 Prop: 382.402 PropClause: 364.678 Set: 175.105 Check: 0.0 Back: 8.625
INFO - Atoms: 13494/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 359715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.635 Prop: 392.086 PropClause: 373.93 Set: 178.279 Check: 0.0 Back: 8.974
INFO - Atoms: 13330/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 372883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.68 Prop: 400.777 PropClause: 382.24 Set: 181.31 Check: 0.0 Back: 9.312
INFO - Atoms: 13168/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 385902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.718 Prop: 408.73 PropClause: 389.813 Set: 184.297 Check: 0.0 Back: 9.65
INFO - Atoms: 13019/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 398744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.754 Prop: 416.659 PropClause: 397.371 Set: 187.396 Check: 0.0 Back: 9.981
INFO - Atoms: 12842/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 411435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.795 Prop: 425.386 PropClause: 405.72 Set: 191.837 Check: 0.0 Back: 10.312
INFO - Atoms: 12691/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 423951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.837 Prop: 433.915 PropClause: 413.871 Set: 196.424 Check: 0.0 Back: 10.635
INFO - Atoms: 12516/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 436316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.878 Prop: 442.448 PropClause: 422.037 Set: 201.083 Check: 0.0 Back: 10.966
INFO - Atoms: 12365/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 448506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.92 Prop: 452.564 PropClause: 431.789 Set: 205.951 Check: 0.0 Back: 11.28
INFO - Atoms: 12190/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 460546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.964 Prop: 460.613 PropClause: 439.481 Set: 210.116 Check: 0.0 Back: 11.593
INFO - Atoms: 12040/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 472410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.013 Prop: 472.496 PropClause: 451.01 Set: 214.527 Check: 0.0 Back: 11.902
INFO - Atoms: 11864/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 484124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.055 Prop: 482.812 PropClause: 460.977 Set: 219.23 Check: 0.0 Back: 12.207
INFO - Atoms: 11714/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 495662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.1 Prop: 494.142 PropClause: 471.963 Set: 223.644 Check: 0.0 Back: 12.508
INFO - Atoms: 11538/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 507050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.149 Prop: 504.12 PropClause: 481.602 Set: 226.276 Check: 0.0 Back: 12.805
INFO - Atoms: 11388/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 518262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.188 Prop: 511.468 PropClause: 488.623 Set: 228.845 Check: 0.0 Back: 13.097
INFO - Atoms: 11212/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 529322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.226 Prop: 518.49 PropClause: 495.322 Set: 231.349 Check: 0.0 Back: 13.384
INFO - Atoms: 11060/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 540856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.266 Prop: 525.915 PropClause: 502.408 Set: 234.195 Check: 0.0 Back: 13.668
INFO - Atoms: 11534/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 552535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.308 Prop: 533.358 PropClause: 509.512 Set: 236.945 Check: 0.0 Back: 13.965
INFO - Atoms: 11679/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 564512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.347 Prop: 541.537 PropClause: 517.344 Set: 239.832 Check: 0.0 Back: 14.263
INFO - Atoms: 11977/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 576515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.398 Prop: 550.118 PropClause: 525.574 Set: 242.802 Check: 0.0 Back: 14.569
INFO - Atoms: 12003/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 588655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 558.687 PropClause: 533.792 Set: 245.739 Check: 0.0 Back: 14.878
INFO - Atoms: 12140/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 600815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.486 Prop: 565.896 PropClause: 540.641 Set: 248.553 Check: 0.0 Back: 15.201
INFO - Atoms: 12160/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 612956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.528 Prop: 573.581 PropClause: 547.961 Set: 251.395 Check: 0.0 Back: 15.518
INFO - Atoms: 12141/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 624961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.568 Prop: 580.509 PropClause: 554.537 Set: 254.175 Check: 0.0 Back: 15.832
INFO - Atoms: 12005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 636494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.605 Prop: 586.545 PropClause: 560.238 Set: 256.677 Check: 0.0 Back: 16.133
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 648636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.647 Prop: 593.246 PropClause: 566.586 Set: 259.706 Check: 0.0 Back: 16.427
INFO - Atoms: 12142/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 660657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 600.035 PropClause: 573.026 Set: 262.689 Check: 0.0 Back: 16.739
INFO - Atoms: 12021/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 672831 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.736 Prop: 608.34 PropClause: 580.974 Set: 265.696 Check: 0.0 Back: 17.046
INFO - Atoms: 12174/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 684973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.779 Prop: 617.841 PropClause: 590.12 Set: 268.747 Check: 0.0 Back: 17.369
INFO - Atoms: 12142/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 696978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.818 Prop: 625.875 PropClause: 597.79 Set: 271.557 Check: 0.0 Back: 17.683
INFO - Atoms: 12005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 708511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.875 Prop: 633.439 PropClause: 605.017 Set: 274.193 Check: 0.0 Back: 18.009
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 720651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.917 Prop: 642.15 PropClause: 613.379 Set: 293.469 Check: 0.0 Back: 18.309
INFO - Atoms: 12140/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 732674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.053 Prop: 646.819 PropClause: 617.745 Set: 295.655 Check: 0.0 Back: 18.621
INFO - Atoms: 12023/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 744847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.07 Prop: 651.519 PropClause: 622.136 Set: 297.908 Check: 0.0 Back: 18.893
INFO - Atoms: 12173/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 756989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.089 Prop: 658.977 PropClause: 629.245 Set: 300.796 Check: 0.0 Back: 19.199
INFO - Atoms: 12142/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 768994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.112 Prop: 666.205 PropClause: 636.127 Set: 303.71 Check: 0.0 Back: 19.511
INFO - Atoms: 12005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 780527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.132 Prop: 671.651 PropClause: 641.282 Set: 305.78 Check: 0.0 Back: 19.82
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 792667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.149 Prop: 676.392 PropClause: 645.718 Set: 308.027 Check: 0.0 Back: 20.083
INFO - Atoms: 12140/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 804690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.172 Prop: 683.471 PropClause: 652.445 Set: 310.789 Check: 0.0 Back: 20.391
INFO - Atoms: 12023/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 816850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 688.233 PropClause: 656.901 Set: 313.034 Check: 0.0 Back: 20.71
INFO - Atoms: 12160/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 828992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.235 Prop: 693.228 PropClause: 661.59 Set: 315.251 Check: 0.0 Back: 20.985
INFO - Atoms: 12142/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 840997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.251 Prop: 697.945 PropClause: 666.007 Set: 317.422 Check: 0.0 Back: 21.261
INFO - Atoms: 12005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 852530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.282 Prop: 704.906 PropClause: 672.627 Set: 320.08 Check: 0.0 Back: 21.561
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 864670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.299 Prop: 709.686 PropClause: 677.099 Set: 322.311 Check: 0.0 Back: 21.86
INFO - Atoms: 12140/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 876693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 714.414 PropClause: 681.526 Set: 324.466 Check: 0.0 Back: 22.135
INFO - Atoms: 12023/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 888225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.331 Prop: 719.078 PropClause: 685.899 Set: 326.532 Check: 0.0 Back: 22.408
INFO - Atoms: 11532/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 900246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.35 Prop: 724.048 PropClause: 690.568 Set: 328.731 Check: 0.0 Back: 22.679
INFO - Atoms: 12021/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 912388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.371 Prop: 729.027 PropClause: 695.241 Set: 330.96 Check: 0.0 Back: 22.952
INFO - Atoms: 12142/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 923921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.388 Prop: 733.881 PropClause: 699.806 Set: 333.039 Check: 0.0 Back: 23.226
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 936063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 738.889 PropClause: 704.509 Set: 335.295 Check: 0.0 Back: 23.484
INFO - Atoms: 12142/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 948084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.421 Prop: 743.742 PropClause: 709.061 Set: 337.497 Check: 0.0 Back: 23.758
INFO - Atoms: 12021/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 960244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 748.945 PropClause: 713.96 Set: 339.72 Check: 0.0 Back: 24.029
INFO - Atoms: 12160/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 972383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 754.25 PropClause: 718.938 Set: 342.166 Check: 0.0 Back: 24.302
INFO - Atoms: 12139/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 984388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 760.194 PropClause: 724.58 Set: 345.445 Check: 0.0 Back: 24.577
INFO - Atoms: 12005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 995921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.494 Prop: 765.879 PropClause: 729.978 Set: 348.552 Check: 0.0 Back: 24.853
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 1008061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 771.735 PropClause: 735.53 Set: 351.92 Check: 0.0 Back: 25.144
INFO - Atoms: 12140/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 1020084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.53 Prop: 778.285 PropClause: 741.772 Set: 355.281 Check: 0.0 Back: 25.419
INFO - Atoms: 12023/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 1032244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 787.31 PropClause: 750.493 Set: 358.898 Check: 0.0 Back: 25.694
INFO - Atoms: 12160/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 1044385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.58 Prop: 794.808 PropClause: 757.686 Set: 362.324 Check: 0.0 Back: 25.971
INFO - Atoms: 12141/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 1056390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.6 Prop: 801.906 PropClause: 764.482 Set: 365.697 Check: 0.0 Back: 26.246
INFO - Atoms: 12005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 1067923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.618 Prop: 808.982 PropClause: 771.269 Set: 368.961 Check: 0.0 Back: 26.519
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 1080063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.638 Prop: 815.905 PropClause: 777.889 Set: 372.386 Check: 0.0 Back: 26.78
INFO - Atoms: 12140/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 1092086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 823.574 PropClause: 785.254 Set: 375.871 Check: 0.0 Back: 27.059
INFO - Atoms: 12023/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 1104261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.678 Prop: 830.953 PropClause: 792.328 Set: 379.356 Check: 0.0 Back: 27.338
INFO - Atoms: 12175/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 1116402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.698 Prop: 838.015 PropClause: 799.084 Set: 383.151 Check: 0.0 Back: 27.616
INFO - Atoms: 12141/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 1128407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.717 Prop: 844.595 PropClause: 805.363 Set: 386.499 Check: 0.0 Back: 27.893
INFO - Atoms: 12005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 1139940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 851.406 PropClause: 811.885 Set: 389.794 Check: 0.0 Back: 28.178
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 1152080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.755 Prop: 858.558 PropClause: 818.733 Set: 393.275 Check: 0.0 Back: 28.44
INFO - Atoms: 12140/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 1164103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 867.036 PropClause: 826.909 Set: 396.856 Check: 0.0 Back: 28.717
INFO - Atoms: 12023/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 1175635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 874.414 PropClause: 834.0 Set: 400.19 Check: 0.0 Back: 28.992
INFO - Atoms: 11532/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 1187655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.81 Prop: 881.035 PropClause: 840.308 Set: 403.584 Check: 0.0 Back: 29.253
INFO - Atoms: 12020/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 1199798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.83 Prop: 889.481 PropClause: 848.451 Set: 407.155 Check: 0.0 Back: 29.528
INFO - Atoms: 12143/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 1211959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 898.623 PropClause: 857.288 Set: 410.787 Check: 0.0 Back: 29.806
INFO - Atoms: 12161/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 1223962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.866 Prop: 906.344 PropClause: 864.706 Set: 413.055 Check: 0.0 Back: 30.082
INFO - Atoms: 12003/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 1236104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 912.494 PropClause: 870.55 Set: 415.299 Check: 0.0 Back: 30.355
INFO - Atoms: 12142/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 1247636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.978 Prop: 918.571 PropClause: 876.336 Set: 417.424 Check: 0.0 Back: 30.633
INFO - Atoms: 11532/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 1259656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.993 Prop: 925.015 PropClause: 882.475 Set: 419.69 Check: 0.0 Back: 30.908
INFO - Atoms: 12020/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1271799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.006 Prop: 931.508 PropClause: 888.665 Set: 421.962 Check: 0.0 Back: 31.185
INFO - Atoms: 12143/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 1283962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.02 Prop: 938.276 PropClause: 895.125 Set: 424.368 Check: 0.0 Back: 31.462
INFO - Atoms: 12163/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 1295965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.034 Prop: 944.738 PropClause: 901.287 Set: 426.635 Check: 0.0 Back: 31.742
INFO - Atoms: 12003/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 1308042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.047 Prop: 950.746 PropClause: 906.992 Set: 428.856 Check: 0.0 Back: 32.019
INFO - Atoms: 12077/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 1320145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.059 Prop: 955.522 PropClause: 911.464 Set: 431.101 Check: 0.0 Back: 32.293
INFO - Atoms: 12103/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 1332148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 960.856 PropClause: 916.495 Set: 433.369 Check: 0.0 Back: 32.567
INFO - Atoms: 12003/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1344079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 966.102 PropClause: 921.443 Set: 435.58 Check: 0.0 Back: 32.849
INFO - Atoms: 11931/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 1355612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 970.681 PropClause: 925.731 Set: 437.663 Check: 0.0 Back: 33.122
INFO - Atoms: 11533/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 1367470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.114 Prop: 975.243 PropClause: 929.994 Set: 439.83 Check: 0.0 Back: 33.392
INFO - Atoms: 11858/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 1379325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.125 Prop: 979.671 PropClause: 934.123 Set: 442.003 Check: 0.0 Back: 33.662
INFO - Atoms: 11855/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 1391183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.139 Prop: 984.108 PropClause: 938.263 Set: 444.187 Check: 0.0 Back: 33.931
INFO - Atoms: 11858/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 1402880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.171 Prop: 989.524 PropClause: 943.382 Set: 446.379 Check: 0.0 Back: 34.201
INFO - Atoms: 11697/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 1414577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 994.547 PropClause: 948.108 Set: 448.559 Check: 0.0 Back: 34.469
INFO - Atoms: 11697/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 1426274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 1000.239 PropClause: 953.5 Set: 450.803 Check: 0.0 Back: 34.739
INFO - Atoms: 11697/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 1437791 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.23 Prop: 1006.266 PropClause: 959.237 Set: 452.952 Check: 0.0 Back: 35.005
INFO - Atoms: 11517/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 1449464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.244 Prop: 1011.225 PropClause: 963.901 Set: 455.106 Check: 0.0 Back: 35.27
INFO - Atoms: 11673/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 1460979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 1018.477 PropClause: 970.862 Set: 457.365 Check: 0.0 Back: 35.542
INFO - Atoms: 11515/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 1472650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.277 Prop: 1025.807 PropClause: 977.895 Set: 459.591 Check: 0.0 Back: 35.809
INFO - Atoms: 11671/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 1483861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.317 Prop: 1030.562 PropClause: 982.365 Set: 461.608 Check: 0.0 Back: 36.095
INFO - Atoms: 11211/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 1495235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.33 Prop: 1035.135 PropClause: 986.651 Set: 463.655 Check: 0.0 Back: 36.351
INFO - Atoms: 11374/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 1506461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 1039.701 PropClause: 990.931 Set: 465.702 Check: 0.0 Back: 36.614
INFO - Atoms: 11226/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 1517510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.357 Prop: 1044.314 PropClause: 995.264 Set: 467.714 Check: 0.0 Back: 36.876
INFO - Atoms: 11049/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 1528704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 1053.076 PropClause: 1003.705 Set: 472.044 Check: 0.0 Back: 37.133
INFO - Atoms: 11194/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 1540198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.382 Prop: 1061.062 PropClause: 1011.364 Set: 475.714 Check: 0.0 Back: 37.423
INFO - Atoms: 11494/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 1551716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.396 Prop: 1065.783 PropClause: 1015.796 Set: 477.754 Check: 0.0 Back: 37.687
INFO - Atoms: 11518/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 1563397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 1071.123 PropClause: 1020.843 Set: 479.87 Check: 0.0 Back: 37.948
INFO - Atoms: 11681/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 1575243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.421 Prop: 1075.813 PropClause: 1025.23 Set: 481.99 Check: 0.0 Back: 38.214
INFO - Atoms: 11846/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 1587272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.436 Prop: 1081.196 PropClause: 1030.312 Set: 484.164 Check: 0.0 Back: 38.485
INFO - Atoms: 12029/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 1599444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.479 Prop: 1087.4 PropClause: 1036.183 Set: 486.337 Check: 0.0 Back: 38.759
INFO - Atoms: 12172/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 1611797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 1092.691 PropClause: 1041.165 Set: 488.505 Check: 0.0 Back: 39.036
INFO - Atoms: 12353/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 1624295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 1097.942 PropClause: 1046.102 Set: 490.754 Check: 0.0 Back: 39.349
INFO - Atoms: 12498/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 1636974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 1103.363 PropClause: 1051.206 Set: 493.041 Check: 0.0 Back: 39.636
INFO - Atoms: 12679/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 1649798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.545 Prop: 1109.226 PropClause: 1056.75 Set: 495.339 Check: 0.0 Back: 39.924
INFO - Atoms: 12824/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 1662803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.555 Prop: 1114.837 PropClause: 1062.034 Set: 497.633 Check: 0.0 Back: 40.236
INFO - Atoms: 13005/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 1675953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 1120.85 PropClause: 1067.717 Set: 499.951 Check: 0.0 Back: 40.533
INFO - Atoms: 13150/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 1689284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.573 Prop: 1126.987 PropClause: 1073.522 Set: 502.372 Check: 0.0 Back: 40.835
INFO - Atoms: 13331/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 1702760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 1133.258 PropClause: 1079.457 Set: 504.763 Check: 0.0 Back: 41.139
INFO - Atoms: 13476/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 1716417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.593 Prop: 1139.792 PropClause: 1085.649 Set: 507.24 Check: 0.0 Back: 41.444
INFO - Atoms: 13657/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 1730219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.602 Prop: 1146.462 PropClause: 1091.975 Set: 509.76 Check: 0.0 Back: 41.756
INFO - Atoms: 13802/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 1744202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.611 Prop: 1153.281 PropClause: 1098.443 Set: 512.302 Check: 0.0 Back: 42.071
INFO - Atoms: 13983/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 1758330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.621 Prop: 1160.804 PropClause: 1105.613 Set: 514.899 Check: 0.0 Back: 42.39
INFO - Atoms: 14128/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 1772639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.63 Prop: 1168.84 PropClause: 1113.291 Set: 517.467 Check: 0.0 Back: 42.712
INFO - Atoms: 14309/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 1787093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.643 Prop: 1177.379 PropClause: 1121.467 Set: 520.16 Check: 0.0 Back: 43.039
INFO - Atoms: 14454/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 1801728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 1185.725 PropClause: 1129.446 Set: 522.871 Check: 0.0 Back: 43.37
INFO - Atoms: 14635/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 1816508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.662 Prop: 1194.264 PropClause: 1137.615 Set: 525.604 Check: 0.0 Back: 43.716
INFO - Atoms: 14780/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 1831469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 1203.07 PropClause: 1146.049 Set: 528.379 Check: 0.0 Back: 44.054
INFO - Atoms: 14961/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 1846575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 1212.143 PropClause: 1154.745 Set: 531.189 Check: 0.0 Back: 44.397
INFO - Atoms: 15106/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 1861861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.689 Prop: 1221.351 PropClause: 1163.571 Set: 534.039 Check: 0.0 Back: 44.743
INFO - Atoms: 15286/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 1877293 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 1229.5 PropClause: 1171.336 Set: 536.779 Check: 0.0 Back: 45.092
INFO - Atoms: 15432/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 2702754 Tprops: 0 Decides: 6368 RSplits: 0
INFO - Times: Expl: 256.627 Prop: 1810.417 PropClause: 1725.056 Set: 558.555 Check: 0.167 Back: 66.233
INFO - Atoms: 5894/16096 Clauses: 510 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 150 Props: 5959 Tprops: 1258 Decides: 5391 RSplits: 0
INFO - Times: Expl: 61.278 Prop: 4764.486 PropClause: 3.077 Set: 637.571 Check: 55.808 Back: 21.7
INFO - Atoms: 232/294 Clauses: 150 Axioms: 294
INFO - CCTimes: iE 71721 eq 10742198 cc 32343584 setRep 9184676
INFO - Merges: 39741, cc:56310
INFO - BVTimes: BB 109910256 BB_DPLL 4126415142 Graph 162369
INFO - BitBlastingClauses: 82246 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat