/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_047_048.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 109835292 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 14491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.603 Prop: 19.759 PropClause: 17.026 Set: 14.359 Check: 0.0 Back: 0.0 INFO - Atoms: 14491/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 28985 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.674 Prop: 36.284 PropClause: 33.106 Set: 20.421 Check: 0.0 Back: 0.337 INFO - Atoms: 14494/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 43292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.717 Prop: 55.467 PropClause: 50.427 Set: 26.402 Check: 0.0 Back: 0.664 INFO - Atoms: 14307/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 57598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.76 Prop: 72.3 PropClause: 66.772 Set: 44.407 Check: 0.0 Back: 0.989 INFO - Atoms: 14306/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 71904 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.797 Prop: 84.299 PropClause: 78.285 Set: 50.286 Check: 0.0 Back: 1.313 INFO - Atoms: 14306/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 86207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.837 Prop: 97.131 PropClause: 90.646 Set: 56.259 Check: 0.0 Back: 1.639 INFO - Atoms: 14303/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 100414 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.874 Prop: 113.295 PropClause: 106.353 Set: 63.725 Check: 0.0 Back: 1.962 INFO - Atoms: 14207/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 114521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.915 Prop: 130.072 PropClause: 122.671 Set: 69.657 Check: 0.0 Back: 2.282 INFO - Atoms: 14107/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 128530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.954 Prop: 144.926 PropClause: 137.072 Set: 75.044 Check: 0.0 Back: 2.6 INFO - Atoms: 14009/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 142445 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.996 Prop: 161.637 PropClause: 153.328 Set: 80.504 Check: 0.0 Back: 2.917 INFO - Atoms: 13915/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 156256 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.03 Prop: 174.882 PropClause: 166.025 Set: 85.411 Check: 0.0 Back: 3.232 INFO - Atoms: 13811/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 169973 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.075 Prop: 188.715 PropClause: 179.313 Set: 89.895 Check: 0.0 Back: 3.545 INFO - Atoms: 13717/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 183586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.121 Prop: 198.642 PropClause: 188.745 Set: 92.465 Check: 0.0 Back: 3.856 INFO - Atoms: 13613/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 197099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.168 Prop: 208.073 PropClause: 197.713 Set: 94.894 Check: 0.0 Back: 4.165 INFO - Atoms: 13513/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 210514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.21 Prop: 217.586 PropClause: 206.768 Set: 97.372 Check: 0.0 Back: 4.473 INFO - Atoms: 13415/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 223836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.253 Prop: 228.661 PropClause: 217.383 Set: 99.892 Check: 0.0 Back: 4.777 INFO - Atoms: 13322/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 237053 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.293 Prop: 237.431 PropClause: 225.701 Set: 102.392 Check: 0.0 Back: 5.078 INFO - Atoms: 13217/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 250176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.339 Prop: 245.883 PropClause: 233.711 Set: 106.203 Check: 0.0 Back: 5.378 INFO - Atoms: 13123/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 263195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.386 Prop: 254.594 PropClause: 241.979 Set: 109.932 Check: 0.0 Back: 5.677 INFO - Atoms: 13019/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 276114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.435 Prop: 264.626 PropClause: 251.556 Set: 113.547 Check: 0.0 Back: 5.973 INFO - Atoms: 12919/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 288935 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.484 Prop: 273.193 PropClause: 259.689 Set: 117.052 Check: 0.0 Back: 6.266 INFO - Atoms: 12821/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 301662 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.53 Prop: 282.819 PropClause: 268.852 Set: 119.401 Check: 0.0 Back: 6.559 INFO - Atoms: 12727/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 314285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.57 Prop: 289.974 PropClause: 275.545 Set: 121.636 Check: 0.0 Back: 6.852 INFO - Atoms: 12623/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 326808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.62 Prop: 299.364 PropClause: 284.504 Set: 123.924 Check: 0.0 Back: 7.157 INFO - Atoms: 12523/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 339233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.659 Prop: 307.757 PropClause: 292.471 Set: 126.088 Check: 0.0 Back: 7.444 INFO - Atoms: 12425/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 351565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.702 Prop: 315.012 PropClause: 299.309 Set: 128.253 Check: 0.0 Back: 7.726 INFO - Atoms: 12332/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 363792 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.745 Prop: 322.393 PropClause: 306.27 Set: 130.382 Check: 0.0 Back: 8.006 INFO - Atoms: 12227/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 375924 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.79 Prop: 328.689 PropClause: 312.155 Set: 132.477 Check: 0.0 Back: 8.282 INFO - Atoms: 12132/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 387953 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.828 Prop: 335.338 PropClause: 318.393 Set: 134.545 Check: 0.0 Back: 8.564 INFO - Atoms: 12029/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 399887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.871 Prop: 342.625 PropClause: 325.214 Set: 136.646 Check: 0.0 Back: 8.843 INFO - Atoms: 11934/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 411718 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.907 Prop: 349.428 PropClause: 331.609 Set: 138.715 Check: 0.0 Back: 9.121 INFO - Atoms: 11831/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 423454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.953 Prop: 356.22 PropClause: 338.002 Set: 140.737 Check: 0.0 Back: 9.396 INFO - Atoms: 11736/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 435087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.997 Prop: 363.579 PropClause: 344.958 Set: 142.793 Check: 0.0 Back: 9.669 INFO - Atoms: 11633/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 446620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.041 Prop: 370.377 PropClause: 351.364 Set: 144.803 Check: 0.0 Back: 9.939 INFO - Atoms: 11533/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 458055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.08 Prop: 376.09 PropClause: 356.687 Set: 146.781 Check: 0.0 Back: 10.207 INFO - Atoms: 11435/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 469390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.122 Prop: 382.304 PropClause: 362.511 Set: 148.723 Check: 0.0 Back: 10.475 INFO - Atoms: 11335/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 480627 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.163 Prop: 389.173 PropClause: 368.993 Set: 150.675 Check: 0.0 Back: 10.74 INFO - Atoms: 11237/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 491770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.201 Prop: 396.303 PropClause: 375.741 Set: 152.609 Check: 0.0 Back: 11.001 INFO - Atoms: 11143/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 502809 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.243 Prop: 402.994 PropClause: 382.055 Set: 154.542 Check: 0.0 Back: 11.259 INFO - Atoms: 11039/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 513753 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.283 Prop: 409.483 PropClause: 388.169 Set: 156.464 Check: 0.0 Back: 11.516 INFO - Atoms: 10944/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 524594 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.324 Prop: 416.39 PropClause: 394.552 Set: 158.328 Check: 0.0 Back: 11.764 INFO - Atoms: 10841/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 535341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.374 Prop: 423.731 PropClause: 401.416 Set: 160.209 Check: 0.0 Back: 12.007 INFO - Atoms: 10747/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 545984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.427 Prop: 429.02 PropClause: 406.213 Set: 162.04 Check: 0.0 Back: 12.249 INFO - Atoms: 10643/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 556532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.464 Prop: 435.527 PropClause: 412.235 Set: 163.866 Check: 0.0 Back: 12.488 INFO - Atoms: 10548/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 566977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.504 Prop: 441.91 PropClause: 418.307 Set: 165.67 Check: 0.0 Back: 12.724 INFO - Atoms: 10445/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 577327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.542 Prop: 449.372 PropClause: 425.458 Set: 167.509 Check: 0.0 Back: 12.959 INFO - Atoms: 10350/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 587574 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.583 Prop: 454.543 PropClause: 430.342 Set: 169.256 Check: 0.0 Back: 13.193 INFO - Atoms: 10247/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 597721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.647 Prop: 460.693 PropClause: 436.192 Set: 170.996 Check: 0.0 Back: 13.423 INFO - Atoms: 10147/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 607770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.699 Prop: 465.97 PropClause: 441.176 Set: 172.695 Check: 0.0 Back: 13.65 INFO - Atoms: 10049/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 617725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.743 Prop: 472.264 PropClause: 447.19 Set: 175.262 Check: 0.0 Back: 13.875 INFO - Atoms: 9955/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 627575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.817 Prop: 477.755 PropClause: 452.404 Set: 177.747 Check: 0.0 Back: 14.101 INFO - Atoms: 9850/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 637993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.864 Prop: 484.408 PropClause: 458.76 Set: 180.548 Check: 0.0 Back: 14.324 INFO - Atoms: 10418/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 648424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.001 Prop: 490.714 PropClause: 464.775 Set: 183.247 Check: 0.0 Back: 14.56 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 658564 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.02 Prop: 497.218 PropClause: 470.994 Set: 185.825 Check: 0.0 Back: 14.795 INFO - Atoms: 10140/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 668995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.037 Prop: 503.134 PropClause: 476.619 Set: 188.562 Check: 0.0 Back: 15.025 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 679416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.053 Prop: 509.487 PropClause: 482.682 Set: 191.272 Check: 0.0 Back: 15.262 INFO - Atoms: 10421/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 689933 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.07 Prop: 515.764 PropClause: 488.665 Set: 194.035 Check: 0.0 Back: 15.501 INFO - Atoms: 10517/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 700434 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.087 Prop: 522.809 PropClause: 495.417 Set: 196.867 Check: 0.0 Back: 15.738 INFO - Atoms: 10501/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 710857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.106 Prop: 528.927 PropClause: 501.246 Set: 199.562 Check: 0.0 Back: 15.975 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 721376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.122 Prop: 533.915 PropClause: 505.94 Set: 202.186 Check: 0.0 Back: 16.211 INFO - Atoms: 10519/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 731797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.141 Prop: 540.011 PropClause: 511.745 Set: 204.947 Check: 0.0 Back: 16.45 INFO - Atoms: 10421/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 742299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.158 Prop: 544.87 PropClause: 516.312 Set: 207.573 Check: 0.0 Back: 16.686 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 752814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.18 Prop: 550.323 PropClause: 521.46 Set: 210.237 Check: 0.0 Back: 16.925 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 763316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.197 Prop: 557.298 PropClause: 528.139 Set: 224.153 Check: 0.0 Back: 17.161 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 773739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.215 Prop: 563.143 PropClause: 533.692 Set: 226.024 Check: 0.0 Back: 17.398 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 783887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.229 Prop: 568.693 PropClause: 538.961 Set: 227.784 Check: 0.0 Back: 17.635 INFO - Atoms: 10148/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 794320 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.245 Prop: 573.867 PropClause: 543.844 Set: 229.613 Check: 0.0 Back: 17.862 INFO - Atoms: 10433/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 804822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.263 Prop: 579.71 PropClause: 549.396 Set: 231.485 Check: 0.0 Back: 18.098 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 815337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.277 Prop: 585.848 PropClause: 555.241 Set: 233.35 Check: 0.0 Back: 18.336 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 825840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.297 Prop: 592.719 PropClause: 561.818 Set: 235.318 Check: 0.0 Back: 18.571 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 836263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.311 Prop: 597.687 PropClause: 566.497 Set: 237.151 Check: 0.0 Back: 18.808 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 846405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.326 Prop: 603.535 PropClause: 572.065 Set: 238.897 Check: 0.0 Back: 19.043 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 856836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.34 Prop: 609.978 PropClause: 578.218 Set: 240.776 Check: 0.0 Back: 19.271 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 867340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.357 Prop: 617.323 PropClause: 585.27 Set: 242.716 Check: 0.0 Back: 19.506 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 877857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.372 Prop: 622.361 PropClause: 590.016 Set: 244.578 Check: 0.0 Back: 19.742 INFO - Atoms: 10517/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 888360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.391 Prop: 628.378 PropClause: 595.741 Set: 246.466 Check: 0.0 Back: 19.978 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 898783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.419 Prop: 633.874 PropClause: 600.943 Set: 248.32 Check: 0.0 Back: 20.215 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 908925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.435 Prop: 638.703 PropClause: 605.488 Set: 250.068 Check: 0.0 Back: 20.454 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 919356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.452 Prop: 643.647 PropClause: 610.145 Set: 251.876 Check: 0.0 Back: 20.683 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 929860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.467 Prop: 648.942 PropClause: 615.15 Set: 253.715 Check: 0.0 Back: 20.92 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 940003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.483 Prop: 654.596 PropClause: 620.525 Set: 255.445 Check: 0.0 Back: 21.157 INFO - Atoms: 10143/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 950505 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.5 Prop: 659.462 PropClause: 625.097 Set: 257.282 Check: 0.0 Back: 21.384 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 960938 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.516 Prop: 663.748 PropClause: 629.081 Set: 259.069 Check: 0.0 Back: 21.621 INFO - Atoms: 10433/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 971087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.533 Prop: 668.186 PropClause: 633.237 Set: 260.816 Check: 0.0 Back: 21.857 INFO - Atoms: 10149/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 981520 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.582 Prop: 673.184 PropClause: 637.946 Set: 262.62 Check: 0.0 Back: 22.087 INFO - Atoms: 10433/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 992022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.598 Prop: 677.947 PropClause: 642.405 Set: 264.438 Check: 0.0 Back: 22.324 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 1002165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.615 Prop: 682.88 PropClause: 647.058 Set: 266.184 Check: 0.0 Back: 22.559 INFO - Atoms: 10143/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 1012668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.632 Prop: 687.617 PropClause: 651.505 Set: 268.032 Check: 0.0 Back: 22.787 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 1023100 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.668 Prop: 692.399 PropClause: 655.997 Set: 269.84 Check: 0.0 Back: 23.022 INFO - Atoms: 10432/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 1033614 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.682 Prop: 695.809 PropClause: 659.119 Set: 271.674 Check: 0.0 Back: 23.256 INFO - Atoms: 10514/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 1044035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.697 Prop: 699.44 PropClause: 662.46 Set: 273.47 Check: 0.0 Back: 23.491 INFO - Atoms: 10421/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 1054539 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.711 Prop: 702.823 PropClause: 665.553 Set: 275.3 Check: 0.0 Back: 23.727 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 1065056 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.723 Prop: 706.152 PropClause: 668.59 Set: 277.117 Check: 0.0 Back: 23.964 INFO - Atoms: 10517/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 1075560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.737 Prop: 710.467 PropClause: 672.613 Set: 278.989 Check: 0.0 Back: 24.202 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 1085983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.777 Prop: 714.822 PropClause: 676.68 Set: 280.792 Check: 0.0 Back: 24.441 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 1096125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.824 Prop: 718.231 PropClause: 679.809 Set: 282.521 Check: 0.0 Back: 24.677 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 1106558 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.836 Prop: 722.898 PropClause: 684.189 Set: 284.339 Check: 0.0 Back: 24.905 INFO - Atoms: 10433/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 1117060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.849 Prop: 728.151 PropClause: 689.151 Set: 291.253 Check: 0.0 Back: 25.138 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 1127575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.861 Prop: 732.382 PropClause: 693.092 Set: 293.04 Check: 0.0 Back: 25.373 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 1138078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.874 Prop: 736.962 PropClause: 697.373 Set: 294.846 Check: 0.0 Back: 25.611 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 1148501 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.885 Prop: 741.694 PropClause: 701.816 Set: 296.632 Check: 0.0 Back: 25.845 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 1158649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.897 Prop: 746.696 PropClause: 706.537 Set: 298.342 Check: 0.0 Back: 26.08 INFO - Atoms: 10148/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 1169080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.909 Prop: 750.522 PropClause: 710.075 Set: 300.138 Check: 0.0 Back: 26.307 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 1179584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.92 Prop: 754.741 PropClause: 714.005 Set: 301.956 Check: 0.0 Back: 26.539 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 1190101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.956 Prop: 759.376 PropClause: 718.349 Set: 303.769 Check: 0.0 Back: 26.773 INFO - Atoms: 10517/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 1200604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.996 Prop: 764.656 PropClause: 723.324 Set: 305.612 Check: 0.0 Back: 27.007 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 1211027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.008 Prop: 770.657 PropClause: 729.038 Set: 307.443 Check: 0.0 Back: 27.241 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 1221174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.019 Prop: 774.889 PropClause: 732.992 Set: 309.151 Check: 0.0 Back: 27.475 INFO - Atoms: 10147/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 1231605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.029 Prop: 778.834 PropClause: 736.65 Set: 310.94 Check: 0.0 Back: 27.701 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 1242109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.04 Prop: 782.796 PropClause: 740.324 Set: 312.76 Check: 0.0 Back: 27.933 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 1252624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.052 Prop: 787.303 PropClause: 744.541 Set: 314.586 Check: 0.0 Back: 28.167 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 1263127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.062 Prop: 791.568 PropClause: 748.516 Set: 316.41 Check: 0.0 Back: 28.401 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 1273550 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.072 Prop: 795.233 PropClause: 751.895 Set: 318.166 Check: 0.0 Back: 28.636 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 1283698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.081 Prop: 798.616 PropClause: 754.999 Set: 319.882 Check: 0.0 Back: 28.869 INFO - Atoms: 10148/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 1294129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.095 Prop: 802.485 PropClause: 758.574 Set: 321.656 Check: 0.0 Back: 29.094 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 1304633 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.105 Prop: 806.771 PropClause: 762.571 Set: 323.468 Check: 0.0 Back: 29.327 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 1315148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.12 Prop: 811.81 PropClause: 767.316 Set: 325.346 Check: 0.0 Back: 29.561 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 1325651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.133 Prop: 816.799 PropClause: 772.016 Set: 327.174 Check: 0.0 Back: 29.798 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 1336074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.144 Prop: 821.303 PropClause: 776.232 Set: 328.982 Check: 0.0 Back: 30.048 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 1346222 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.156 Prop: 825.768 PropClause: 780.417 Set: 330.72 Check: 0.0 Back: 30.282 INFO - Atoms: 10148/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 1356653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.168 Prop: 830.05 PropClause: 784.411 Set: 332.509 Check: 0.0 Back: 30.509 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 1367157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.179 Prop: 834.649 PropClause: 788.72 Set: 334.343 Check: 0.0 Back: 30.744 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 1377672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.19 Prop: 839.247 PropClause: 793.026 Set: 336.2 Check: 0.0 Back: 30.979 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 1388176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.202 Prop: 843.833 PropClause: 797.322 Set: 338.001 Check: 0.0 Back: 31.216 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 1398599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.212 Prop: 846.893 PropClause: 800.095 Set: 339.786 Check: 0.0 Back: 31.45 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 1408741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.22 Prop: 850.277 PropClause: 803.198 Set: 341.515 Check: 0.0 Back: 31.683 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 1419172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.23 Prop: 853.688 PropClause: 806.321 Set: 343.325 Check: 0.0 Back: 31.911 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 1429676 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.239 Prop: 857.103 PropClause: 809.43 Set: 345.136 Check: 0.0 Back: 32.161 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 1440191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.279 Prop: 860.394 PropClause: 812.43 Set: 346.944 Check: 0.0 Back: 32.396 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 1450695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.307 Prop: 863.642 PropClause: 815.388 Set: 348.767 Check: 0.0 Back: 32.638 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 1461118 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.313 Prop: 866.884 PropClause: 818.341 Set: 350.549 Check: 0.0 Back: 32.873 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 1471638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.321 Prop: 870.053 PropClause: 821.213 Set: 352.369 Check: 0.0 Back: 33.108 INFO - Atoms: 10520/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 1482059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.329 Prop: 875.915 PropClause: 826.784 Set: 354.242 Check: 0.0 Back: 33.352 INFO - Atoms: 10421/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 1492561 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.337 Prop: 881.408 PropClause: 831.986 Set: 356.113 Check: 0.0 Back: 33.605 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 1503078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.345 Prop: 885.667 PropClause: 835.952 Set: 357.939 Check: 0.0 Back: 33.855 INFO - Atoms: 10517/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 1513579 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.353 Prop: 891.541 PropClause: 841.534 Set: 360.658 Check: 0.0 Back: 34.092 INFO - Atoms: 10501/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 1524002 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.363 Prop: 897.246 PropClause: 846.949 Set: 362.521 Check: 0.0 Back: 34.327 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 1534150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.37 Prop: 902.785 PropClause: 852.192 Set: 365.198 Check: 0.0 Back: 34.56 INFO - Atoms: 10148/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 1544583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.378 Prop: 907.251 PropClause: 856.37 Set: 367.773 Check: 0.0 Back: 34.788 INFO - Atoms: 10433/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 1555085 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.386 Prop: 912.445 PropClause: 861.273 Set: 370.458 Check: 0.0 Back: 35.022 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 1565602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.395 Prop: 917.968 PropClause: 866.505 Set: 373.124 Check: 0.0 Back: 35.257 INFO - Atoms: 10517/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 1576105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.403 Prop: 923.912 PropClause: 872.156 Set: 375.869 Check: 0.0 Back: 35.493 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 1586528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.41 Prop: 930.388 PropClause: 878.343 Set: 378.609 Check: 0.0 Back: 35.73 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 1596670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.417 Prop: 935.403 PropClause: 883.075 Set: 381.143 Check: 0.0 Back: 35.963 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 1607101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.425 Prop: 940.79 PropClause: 888.17 Set: 383.817 Check: 0.0 Back: 36.193 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 1617605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.433 Prop: 946.777 PropClause: 893.863 Set: 386.54 Check: 0.0 Back: 36.428 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 1628120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.441 Prop: 952.886 PropClause: 899.678 Set: 389.316 Check: 0.0 Back: 36.665 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 1638623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.448 Prop: 958.542 PropClause: 905.043 Set: 391.993 Check: 0.0 Back: 36.913 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 1649046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.458 Prop: 962.771 PropClause: 908.976 Set: 394.492 Check: 0.0 Back: 37.147 INFO - Atoms: 10423/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 1659188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.466 Prop: 967.032 PropClause: 912.958 Set: 396.951 Check: 0.0 Back: 37.38 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 1669619 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.475 Prop: 971.664 PropClause: 917.303 Set: 399.525 Check: 0.0 Back: 37.604 INFO - Atoms: 10431/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 1680123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.483 Prop: 976.484 PropClause: 921.834 Set: 402.114 Check: 0.0 Back: 37.836 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 1690266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.489 Prop: 981.263 PropClause: 926.334 Set: 404.593 Check: 0.0 Back: 38.069 INFO - Atoms: 10143/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 1700767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.498 Prop: 986.031 PropClause: 930.813 Set: 407.175 Check: 0.0 Back: 38.294 INFO - Atoms: 10501/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 1711201 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.505 Prop: 990.942 PropClause: 935.435 Set: 409.77 Check: 0.0 Back: 38.53 INFO - Atoms: 10434/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 1721343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.511 Prop: 995.894 PropClause: 940.109 Set: 412.281 Check: 0.0 Back: 38.765 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 1731776 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.519 Prop: 1000.598 PropClause: 944.524 Set: 414.867 Check: 0.0 Back: 38.99 INFO - Atoms: 10433/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 1742278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.528 Prop: 1005.979 PropClause: 949.613 Set: 417.548 Check: 0.0 Back: 39.221 INFO - Atoms: 10502/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 1752421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.536 Prop: 1011.248 PropClause: 954.593 Set: 420.057 Check: 0.0 Back: 39.457 INFO - Atoms: 10143/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 1762924 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.544 Prop: 1016.457 PropClause: 959.513 Set: 422.714 Check: 0.0 Back: 39.691 INFO - Atoms: 10503/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 1773356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.552 Prop: 1021.5 PropClause: 964.267 Set: 425.302 Check: 0.0 Back: 39.925 INFO - Atoms: 10432/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 1783876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.559 Prop: 1025.476 PropClause: 967.95 Set: 427.837 Check: 0.0 Back: 40.157 INFO - Atoms: 10520/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 1794297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.572 Prop: 1029.363 PropClause: 971.549 Set: 430.354 Check: 0.0 Back: 40.394 INFO - Atoms: 10421/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 1804801 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.581 Prop: 1033.35 PropClause: 975.237 Set: 432.89 Check: 0.0 Back: 40.636 INFO - Atoms: 10504/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 1815316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.59 Prop: 1037.4 PropClause: 978.994 Set: 435.406 Check: 0.0 Back: 40.874 INFO - Atoms: 10515/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 1825784 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.597 Prop: 1041.207 PropClause: 982.511 Set: 437.935 Check: 0.0 Back: 41.112 INFO - Atoms: 10468/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 1836206 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.606 Prop: 1047.014 PropClause: 988.025 Set: 440.663 Check: 0.0 Back: 41.348 INFO - Atoms: 10422/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 1846348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.615 Prop: 1052.115 PropClause: 992.841 Set: 443.238 Check: 0.0 Back: 41.581 INFO - Atoms: 10142/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 1856736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.624 Prop: 1056.608 PropClause: 997.046 Set: 445.816 Check: 0.0 Back: 41.81 INFO - Atoms: 10388/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 1867161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.632 Prop: 1061.661 PropClause: 1001.81 Set: 448.464 Check: 0.0 Back: 42.043 INFO - Atoms: 10425/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 1877594 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.64 Prop: 1066.953 PropClause: 1006.812 Set: 451.092 Check: 0.0 Back: 42.276 INFO - Atoms: 10433/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 1887933 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.648 Prop: 1072.886 PropClause: 1012.461 Set: 453.785 Check: 0.0 Back: 42.51 INFO - Atoms: 10339/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 1898270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.656 Prop: 1078.098 PropClause: 1017.388 Set: 456.343 Check: 0.0 Back: 42.74 INFO - Atoms: 10337/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 1908418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.664 Prop: 1082.583 PropClause: 1021.592 Set: 458.819 Check: 0.0 Back: 42.971 INFO - Atoms: 10148/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 1918662 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.673 Prop: 1087.725 PropClause: 1026.45 Set: 461.389 Check: 0.0 Back: 43.2 INFO - Atoms: 10244/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 1928905 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.686 Prop: 1092.916 PropClause: 1031.348 Set: 463.962 Check: 0.0 Back: 43.429 INFO - Atoms: 10243/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 1939038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.816 Prop: 1099.889 PropClause: 1038.038 Set: 466.749 Check: 0.0 Back: 43.658 INFO - Atoms: 10133/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 1949254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.849 Prop: 1104.579 PropClause: 1042.43 Set: 469.365 Check: 0.0 Back: 43.886 INFO - Atoms: 10216/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 1959457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.861 Prop: 1109.617 PropClause: 1047.185 Set: 471.897 Check: 0.0 Back: 44.115 INFO - Atoms: 10203/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 1969681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.87 Prop: 1115.683 PropClause: 1052.967 Set: 482.342 Check: 0.0 Back: 44.354 INFO - Atoms: 10224/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 1979628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.887 Prop: 1121.08 PropClause: 1058.086 Set: 484.063 Check: 0.0 Back: 44.583 INFO - Atoms: 9947/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 1989575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.906 Prop: 1126.329 PropClause: 1063.057 Set: 485.794 Check: 0.0 Back: 44.807 INFO - Atoms: 9947/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 1999742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.915 Prop: 1129.739 PropClause: 1066.183 Set: 487.538 Check: 0.0 Back: 45.03 INFO - Atoms: 10167/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 2009952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.924 Prop: 1132.981 PropClause: 1069.143 Set: 489.269 Check: 0.0 Back: 45.26 INFO - Atoms: 10210/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 2020169 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.934 Prop: 1136.527 PropClause: 1072.405 Set: 491.004 Check: 0.0 Back: 45.489 INFO - Atoms: 10217/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 2030117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.945 Prop: 1140.264 PropClause: 1075.855 Set: 492.681 Check: 0.0 Back: 45.717 INFO - Atoms: 9948/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 2039965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.953 Prop: 1143.868 PropClause: 1079.186 Set: 494.338 Check: 0.0 Back: 45.941 INFO - Atoms: 9848/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 2049894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.047 Prop: 1150.009 PropClause: 1085.017 Set: 499.684 Check: 0.0 Back: 46.161 INFO - Atoms: 9929/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 2055425 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.057 Prop: 1153.366 PropClause: 1088.22 Set: 500.489 Check: 0.0 Back: 46.383 INFO - Atoms: 5531/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 2061054 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.134 Prop: 1155.008 PropClause: 1089.704 Set: 501.306 Check: 0.0 Back: 46.508 INFO - Atoms: 5629/14496 Clauses: 293 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 660 Props: 2577651 Tprops: 0 Decides: 2668 RSplits: 0 INFO - Times: Expl: 166.094 Prop: 1336.191 PropClause: 1255.221 Set: 514.027 Check: 0.061 Back: 58.163 INFO - Atoms: 5172/14496 Clauses: 762 Axioms: 47410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 207 Props: 12211 Tprops: 2753 Decides: 12257 RSplits: 0 INFO - Times: Expl: 98.858 Prop: 4436.55 PropClause: 5.207 Set: 1136.558 Check: 86.593 Back: 43.853 INFO - Atoms: 389/438 Clauses: 207 Axioms: 438 INFO - CCTimes: iE 132426 eq 10687513 cc 24069238 setRep 12584558 INFO - Merges: 92507, cc:136300 INFO - BVTimes: BB 109821115 BB_DPLL 3696735424 Graph 311579 INFO - BitBlastingClauses: 103182 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat