/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: 84942565
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 16092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.58 Prop: 35.187 PropClause: 32.521 Set: 34.461 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: 0.629 Prop: 53.042 PropClause: 49.825 Set: 45.869 Check: 0.0 Back: 0.377
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: 0.668 Prop: 70.911 PropClause: 67.025 Set: 54.48 Check: 0.0 Back: 0.747
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: 0.709 Prop: 81.163 PropClause: 76.775 Set: 57.575 Check: 0.0 Back: 1.115
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: 0.746 Prop: 93.428 PropClause: 88.465 Set: 60.627 Check: 0.0 Back: 1.477
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: 0.781 Prop: 104.074 PropClause: 98.534 Set: 63.712 Check: 0.0 Back: 1.841
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: 0.829 Prop: 113.243 PropClause: 107.141 Set: 66.837 Check: 0.0 Back: 2.198
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: 0.865 Prop: 123.466 PropClause: 116.674 Set: 69.944 Check: 0.0 Back: 2.561
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: 0.896 Prop: 132.721 PropClause: 125.278 Set: 73.026 Check: 0.0 Back: 2.923
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: 0.953 Prop: 143.612 PropClause: 135.518 Set: 77.703 Check: 0.0 Back: 3.282
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: 1.011 Prop: 153.19 PropClause: 144.642 Set: 82.213 Check: 0.0 Back: 3.644
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: 1.084 Prop: 164.646 PropClause: 155.664 Set: 86.937 Check: 0.0 Back: 4.001
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: 1.128 Prop: 174.832 PropClause: 165.423 Set: 89.922 Check: 0.0 Back: 4.355
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: 1.165 Prop: 181.906 PropClause: 172.077 Set: 92.825 Check: 0.0 Back: 4.711
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: 1.203 Prop: 189.715 PropClause: 179.47 Set: 95.728 Check: 0.0 Back: 5.061
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: 1.241 Prop: 197.03 PropClause: 186.374 Set: 98.604 Check: 0.0 Back: 5.407
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: 1.277 Prop: 203.675 PropClause: 192.607 Set: 101.401 Check: 0.0 Back: 5.747
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: 1.311 Prop: 210.561 PropClause: 199.087 Set: 104.174 Check: 0.0 Back: 6.083
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: 1.348 Prop: 217.122 PropClause: 205.25 Set: 106.906 Check: 0.0 Back: 6.417
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: 1.384 Prop: 223.908 PropClause: 211.639 Set: 109.611 Check: 0.0 Back: 6.748
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: 1.417 Prop: 229.983 PropClause: 217.315 Set: 112.218 Check: 0.0 Back: 7.075
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: 1.458 Prop: 237.982 PropClause: 224.93 Set: 114.888 Check: 0.0 Back: 7.398
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: 1.493 Prop: 246.269 PropClause: 232.834 Set: 117.496 Check: 0.0 Back: 7.718
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: 1.528 Prop: 253.49 PropClause: 239.68 Set: 120.082 Check: 0.0 Back: 8.032
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: 1.562 Prop: 261.108 PropClause: 246.923 Set: 122.643 Check: 0.0 Back: 8.336
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: 1.596 Prop: 269.574 PropClause: 255.021 Set: 125.209 Check: 0.0 Back: 8.64
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: 1.635 Prop: 276.515 PropClause: 261.598 Set: 127.666 Check: 0.0 Back: 8.939
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: 1.672 Prop: 284.27 PropClause: 268.992 Set: 130.142 Check: 0.0 Back: 9.232
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: 1.709 Prop: 292.073 PropClause: 276.439 Set: 133.768 Check: 0.0 Back: 9.521
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: 1.747 Prop: 301.806 PropClause: 285.823 Set: 137.472 Check: 0.0 Back: 9.81
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: 1.784 Prop: 310.282 PropClause: 293.949 Set: 141.141 Check: 0.0 Back: 10.093
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: 1.825 Prop: 317.842 PropClause: 301.169 Set: 144.603 Check: 0.0 Back: 10.372
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: 1.867 Prop: 325.191 PropClause: 308.18 Set: 156.18 Check: 0.0 Back: 10.647
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: 1.952 Prop: 332.495 PropClause: 315.156 Set: 159.576 Check: 0.0 Back: 10.921
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: 1.987 Prop: 337.157 PropClause: 319.485 Set: 162.703 Check: 0.0 Back: 11.189
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: 2.022 Prop: 341.781 PropClause: 323.788 Set: 165.781 Check: 0.0 Back: 11.451
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: 2.057 Prop: 345.463 PropClause: 327.154 Set: 167.871 Check: 0.0 Back: 11.709
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: 2.089 Prop: 349.22 PropClause: 330.595 Set: 169.966 Check: 0.0 Back: 11.963
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: 2.125 Prop: 354.106 PropClause: 335.153 Set: 172.223 Check: 0.0 Back: 12.214
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: 2.168 Prop: 359.006 PropClause: 339.722 Set: 174.518 Check: 0.0 Back: 12.477
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: 2.204 Prop: 364.513 PropClause: 344.889 Set: 176.87 Check: 0.0 Back: 12.743
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: 2.242 Prop: 369.054 PropClause: 349.089 Set: 179.219 Check: 0.0 Back: 13.018
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: 2.276 Prop: 373.51 PropClause: 353.199 Set: 181.601 Check: 0.0 Back: 13.294
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: 2.313 Prop: 378.113 PropClause: 357.457 Set: 183.986 Check: 0.0 Back: 13.574
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: 2.346 Prop: 382.493 PropClause: 361.493 Set: 186.338 Check: 0.0 Back: 13.851
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: 2.38 Prop: 387.494 PropClause: 366.154 Set: 188.684 Check: 0.0 Back: 14.127
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: 2.413 Prop: 392.984 PropClause: 371.318 Set: 190.92 Check: 0.0 Back: 14.41
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: 2.446 Prop: 397.956 PropClause: 375.943 Set: 193.335 Check: 0.0 Back: 14.674
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: 2.479 Prop: 402.318 PropClause: 379.965 Set: 195.669 Check: 0.0 Back: 14.95
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: 2.512 Prop: 406.697 PropClause: 384.0 Set: 198.076 Check: 0.0 Back: 15.224
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: 2.545 Prop: 411.229 PropClause: 388.187 Set: 200.469 Check: 0.0 Back: 15.501
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: 2.582 Prop: 416.186 PropClause: 392.806 Set: 202.88 Check: 0.0 Back: 15.777
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: 2.617 Prop: 420.608 PropClause: 396.902 Set: 205.1 Check: 0.0 Back: 16.054
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: 2.652 Prop: 425.187 PropClause: 401.138 Set: 207.53 Check: 0.0 Back: 16.317
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: 2.783 Prop: 429.979 PropClause: 405.588 Set: 209.901 Check: 0.0 Back: 16.594
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: 2.8 Prop: 434.743 PropClause: 410.007 Set: 212.302 Check: 0.0 Back: 16.868
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: 2.817 Prop: 439.435 PropClause: 414.355 Set: 214.673 Check: 0.0 Back: 17.147
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: 2.834 Prop: 444.047 PropClause: 418.626 Set: 217.004 Check: 0.0 Back: 17.424
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: 2.85 Prop: 449.362 PropClause: 423.615 Set: 219.213 Check: 0.0 Back: 17.697
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: 2.868 Prop: 454.046 PropClause: 427.954 Set: 221.625 Check: 0.0 Back: 17.96
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: 2.885 Prop: 458.605 PropClause: 432.174 Set: 223.994 Check: 0.0 Back: 18.237
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: 2.904 Prop: 463.287 PropClause: 436.506 Set: 226.367 Check: 0.0 Back: 18.512
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: 2.922 Prop: 468.65 PropClause: 441.525 Set: 228.773 Check: 0.0 Back: 18.788
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: 2.939 Prop: 473.829 PropClause: 446.366 Set: 231.128 Check: 0.0 Back: 19.065
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: 2.955 Prop: 478.402 PropClause: 450.611 Set: 233.377 Check: 0.0 Back: 19.338
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: 2.974 Prop: 485.16 PropClause: 457.022 Set: 235.843 Check: 0.0 Back: 19.602
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: 2.992 Prop: 492.186 PropClause: 463.707 Set: 238.262 Check: 0.0 Back: 19.881
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: 3.009 Prop: 496.759 PropClause: 467.954 Set: 240.535 Check: 0.0 Back: 20.165
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: 3.029 Prop: 502.984 PropClause: 473.839 Set: 242.936 Check: 0.0 Back: 20.429
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: 3.046 Prop: 507.706 PropClause: 478.218 Set: 245.369 Check: 0.0 Back: 20.703
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: 3.063 Prop: 512.322 PropClause: 482.509 Set: 247.625 Check: 0.0 Back: 20.986
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: 3.082 Prop: 518.956 PropClause: 488.798 Set: 250.11 Check: 0.0 Back: 21.249
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: 3.1 Prop: 524.974 PropClause: 494.474 Set: 252.494 Check: 0.0 Back: 21.538
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: 3.118 Prop: 531.426 PropClause: 500.581 Set: 254.978 Check: 0.0 Back: 21.815
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: 3.137 Prop: 537.708 PropClause: 506.517 Set: 257.422 Check: 0.0 Back: 22.094
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: 3.157 Prop: 544.156 PropClause: 512.625 Set: 260.154 Check: 0.0 Back: 22.374
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: 3.221 Prop: 550.424 PropClause: 518.564 Set: 262.893 Check: 0.0 Back: 22.647
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: 3.241 Prop: 557.781 PropClause: 525.575 Set: 266.517 Check: 0.0 Back: 22.913
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: 3.262 Prop: 565.181 PropClause: 532.635 Set: 270.134 Check: 0.0 Back: 23.193
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: 3.28 Prop: 573.587 PropClause: 540.695 Set: 273.898 Check: 0.0 Back: 23.484
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: 3.298 Prop: 580.106 PropClause: 546.87 Set: 277.39 Check: 0.0 Back: 23.764
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: 3.32 Prop: 586.336 PropClause: 552.763 Set: 280.859 Check: 0.0 Back: 24.041
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: 3.339 Prop: 592.691 PropClause: 558.789 Set: 284.204 Check: 0.0 Back: 24.316
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: 3.357 Prop: 599.204 PropClause: 564.957 Set: 287.775 Check: 0.0 Back: 24.578
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: 3.376 Prop: 605.64 PropClause: 571.052 Set: 291.193 Check: 0.0 Back: 24.857
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: 3.395 Prop: 610.71 PropClause: 575.779 Set: 294.612 Check: 0.0 Back: 25.132
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: 3.415 Prop: 615.956 PropClause: 580.683 Set: 298.104 Check: 0.0 Back: 25.418
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: 3.434 Prop: 621.067 PropClause: 585.455 Set: 301.549 Check: 0.0 Back: 25.696
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: 3.453 Prop: 625.9 PropClause: 589.961 Set: 304.791 Check: 0.0 Back: 25.971
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: 3.472 Prop: 630.932 PropClause: 594.651 Set: 308.257 Check: 0.0 Back: 26.235
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: 3.493 Prop: 636.46 PropClause: 599.839 Set: 311.778 Check: 0.0 Back: 26.51
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: 3.512 Prop: 641.324 PropClause: 604.378 Set: 315.007 Check: 0.0 Back: 26.785
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: 3.531 Prop: 646.438 PropClause: 609.152 Set: 318.463 Check: 0.0 Back: 27.049
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: 3.549 Prop: 651.925 PropClause: 614.295 Set: 321.894 Check: 0.0 Back: 27.322
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: 3.567 Prop: 657.106 PropClause: 619.122 Set: 325.334 Check: 0.0 Back: 27.601
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: 3.585 Prop: 662.259 PropClause: 623.934 Set: 328.719 Check: 0.0 Back: 27.879
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: 3.635 Prop: 667.213 PropClause: 628.548 Set: 332.825 Check: 0.0 Back: 28.151
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: 3.689 Prop: 671.741 PropClause: 632.739 Set: 335.081 Check: 0.0 Back: 28.434
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: 3.703 Prop: 676.754 PropClause: 637.41 Set: 337.505 Check: 0.0 Back: 28.698
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: 3.714 Prop: 681.269 PropClause: 641.58 Set: 339.976 Check: 0.0 Back: 28.974
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: 3.727 Prop: 685.783 PropClause: 645.75 Set: 342.392 Check: 0.0 Back: 29.253
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: 3.738 Prop: 690.493 PropClause: 650.123 Set: 344.765 Check: 0.0 Back: 29.535
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: 3.752 Prop: 696.404 PropClause: 655.676 Set: 347.2 Check: 0.0 Back: 29.808
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: 3.764 Prop: 701.048 PropClause: 659.978 Set: 349.634 Check: 0.0 Back: 30.086
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: 3.777 Prop: 705.733 PropClause: 664.322 Set: 352.005 Check: 0.0 Back: 30.364
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: 3.789 Prop: 710.232 PropClause: 668.485 Set: 354.387 Check: 0.0 Back: 30.64
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: 3.8 Prop: 714.62 PropClause: 672.547 Set: 356.656 Check: 0.0 Back: 30.912
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: 3.812 Prop: 719.015 PropClause: 676.607 Set: 359.052 Check: 0.0 Back: 31.18
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: 3.825 Prop: 723.988 PropClause: 681.242 Set: 361.398 Check: 0.0 Back: 31.452
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: 3.836 Prop: 728.638 PropClause: 685.558 Set: 363.801 Check: 0.0 Back: 31.726
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: 3.863 Prop: 733.539 PropClause: 690.128 Set: 366.129 Check: 0.0 Back: 31.996
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: 3.877 Prop: 738.109 PropClause: 694.358 Set: 368.451 Check: 0.0 Back: 32.266
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: 3.904 Prop: 742.458 PropClause: 698.368 Set: 370.741 Check: 0.0 Back: 32.534
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: 3.916 Prop: 746.946 PropClause: 702.531 Set: 373.036 Check: 0.0 Back: 32.807
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: 3.928 Prop: 751.33 PropClause: 706.584 Set: 375.359 Check: 0.0 Back: 33.069
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: 3.94 Prop: 755.661 PropClause: 710.59 Set: 377.636 Check: 0.0 Back: 33.337
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: 3.952 Prop: 760.086 PropClause: 714.675 Set: 379.944 Check: 0.0 Back: 33.599
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: 3.993 Prop: 765.472 PropClause: 719.74 Set: 382.212 Check: 0.0 Back: 33.869
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: 4.008 Prop: 770.051 PropClause: 723.997 Set: 384.48 Check: 0.0 Back: 34.125
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: 4.021 Prop: 774.615 PropClause: 728.242 Set: 386.687 Check: 0.0 Back: 34.386
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: 4.033 Prop: 780.632 PropClause: 733.944 Set: 388.882 Check: 0.0 Back: 34.641
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: 4.048 Prop: 787.98 PropClause: 740.971 Set: 392.93 Check: 0.0 Back: 34.896
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: 4.062 Prop: 793.888 PropClause: 746.547 Set: 395.111 Check: 0.0 Back: 35.154
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: 4.075 Prop: 800.179 PropClause: 752.505 Set: 397.198 Check: 0.0 Back: 35.417
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: 4.112 Prop: 805.462 PropClause: 757.452 Set: 399.229 Check: 0.0 Back: 35.682
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: 4.15 Prop: 811.537 PropClause: 763.185 Set: 401.402 Check: 0.0 Back: 35.951
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: 4.162 Prop: 817.603 PropClause: 768.904 Set: 403.568 Check: 0.0 Back: 36.226
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: 4.197 Prop: 824.09 PropClause: 775.018 Set: 405.801 Check: 0.0 Back: 36.503
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: 4.216 Prop: 832.141 PropClause: 782.715 Set: 408.12 Check: 0.0 Back: 36.783
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: 4.255 Prop: 841.175 PropClause: 791.39 Set: 410.48 Check: 0.0 Back: 37.069
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: 4.265 Prop: 847.284 PropClause: 797.136 Set: 412.751 Check: 0.0 Back: 37.358
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: 4.275 Prop: 853.483 PropClause: 802.964 Set: 415.086 Check: 0.0 Back: 37.651
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: 4.311 Prop: 859.655 PropClause: 808.754 Set: 417.494 Check: 0.0 Back: 37.947
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: 4.341 Prop: 866.659 PropClause: 815.375 Set: 419.882 Check: 0.0 Back: 38.245
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: 4.35 Prop: 873.919 PropClause: 822.251 Set: 422.327 Check: 0.0 Back: 38.548
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: 4.36 Prop: 880.878 PropClause: 828.823 Set: 424.737 Check: 0.0 Back: 38.866
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: 4.37 Prop: 886.674 PropClause: 834.219 Set: 427.243 Check: 0.0 Back: 39.186
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: 4.381 Prop: 892.955 PropClause: 840.105 Set: 429.785 Check: 0.0 Back: 39.498
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: 4.39 Prop: 898.733 PropClause: 845.482 Set: 432.291 Check: 0.0 Back: 39.816
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: 4.398 Prop: 904.94 PropClause: 851.282 Set: 434.839 Check: 0.0 Back: 40.136
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: 4.407 Prop: 910.52 PropClause: 856.452 Set: 437.467 Check: 0.0 Back: 40.462
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: 4.417 Prop: 917.259 PropClause: 862.767 Set: 440.149 Check: 0.0 Back: 40.792
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: 4.427 Prop: 923.979 PropClause: 869.066 Set: 445.821 Check: 0.0 Back: 41.126
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: 4.436 Prop: 930.285 PropClause: 874.948 Set: 448.474 Check: 0.0 Back: 41.463
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: 4.444 Prop: 938.764 PropClause: 882.998 Set: 451.276 Check: 0.0 Back: 41.807
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: 4.454 Prop: 950.695 PropClause: 894.482 Set: 454.097 Check: 0.0 Back: 42.166
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: 4.465 Prop: 957.319 PropClause: 900.669 Set: 456.908 Check: 0.0 Back: 42.512
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: 4.476 Prop: 964.228 PropClause: 907.133 Set: 459.748 Check: 0.0 Back: 42.873
INFO - Atoms: 15432/16096 Clauses: 197 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 2704326 Tprops: 0 Decides: 6303 RSplits: 0
INFO - Times: Expl: 181.569 Prop: 1354.802 PropClause: 1271.377 Set: 480.456 Check: 0.148 Back: 62.487
INFO - Atoms: 5588/16096 Clauses: 515 Axioms: 53042
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 150 Props: 5959 Tprops: 1258 Decides: 5391 RSplits: 0
INFO - Times: Expl: 45.266 Prop: 3761.317 PropClause: 2.371 Set: 469.201 Check: 53.228 Back: 17.214
INFO - Atoms: 232/294 Clauses: 150 Axioms: 294
INFO - CCTimes: iE 62008 eq 5418710 cc 23784390 setRep 5050052
INFO - Merges: 39741, cc:56310
INFO - BVTimes: BB 84926315 BB_DPLL 3262065139 Graph 15038947
INFO - BitBlastingClauses: 82246 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat