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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 121675365
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 12990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.673 Prop: 22.741 PropClause: 19.85 Set: 12.26 Check: 0.0 Back: 0.0
INFO - Atoms: 12990/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 25856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.724 Prop: 42.439 PropClause: 38.797 Set: 15.724 Check: 0.0 Back: 0.407
INFO - Atoms: 12866/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 38629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.827 Prop: 59.5 PropClause: 55.183 Set: 19.208 Check: 0.0 Back: 0.754
INFO - Atoms: 12773/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 51402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.87 Prop: 73.938 PropClause: 68.954 Set: 23.776 Check: 0.0 Back: 1.097
INFO - Atoms: 12773/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 64175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.933 Prop: 84.968 PropClause: 79.307 Set: 28.455 Check: 0.0 Back: 1.43
INFO - Atoms: 12773/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 76943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.973 Prop: 91.865 PropClause: 85.568 Set: 31.366 Check: 0.0 Back: 1.769
INFO - Atoms: 12768/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 89648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.013 Prop: 98.874 PropClause: 91.941 Set: 34.308 Check: 0.0 Back: 2.108
INFO - Atoms: 12705/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 102285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.053 Prop: 105.309 PropClause: 97.668 Set: 37.214 Check: 0.0 Back: 2.436
INFO - Atoms: 12637/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 114856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.095 Prop: 112.965 PropClause: 104.505 Set: 40.098 Check: 0.0 Back: 2.768
INFO - Atoms: 12571/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 127360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.147 Prop: 121.147 PropClause: 111.937 Set: 42.932 Check: 0.0 Back: 3.103
INFO - Atoms: 12504/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 139797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.192 Prop: 130.044 PropClause: 120.139 Set: 45.907 Check: 0.0 Back: 3.434
INFO - Atoms: 12437/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 152166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.236 Prop: 139.921 PropClause: 129.332 Set: 48.876 Check: 0.0 Back: 3.756
INFO - Atoms: 12369/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 164469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.283 Prop: 152.283 PropClause: 140.997 Set: 53.466 Check: 0.0 Back: 4.076
INFO - Atoms: 12303/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 176704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.337 Prop: 165.268 PropClause: 153.292 Set: 58.083 Check: 0.0 Back: 4.394
INFO - Atoms: 12235/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 188873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.413 Prop: 176.151 PropClause: 163.411 Set: 62.501 Check: 0.0 Back: 4.709
INFO - Atoms: 12169/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 200974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.456 Prop: 183.125 PropClause: 169.827 Set: 65.302 Check: 0.0 Back: 5.041
INFO - Atoms: 12101/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 213009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.487 Prop: 192.173 PropClause: 176.811 Set: 68.128 Check: 0.0 Back: 5.36
INFO - Atoms: 12035/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 224976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.559 Prop: 199.61 PropClause: 183.626 Set: 70.856 Check: 0.0 Back: 5.674
INFO - Atoms: 11967/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 236877 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.599 Prop: 205.14 PropClause: 188.786 Set: 73.501 Check: 0.0 Back: 5.985
INFO - Atoms: 11901/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 248710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.643 Prop: 211.824 PropClause: 195.103 Set: 76.185 Check: 0.0 Back: 6.306
INFO - Atoms: 11833/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 260477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.684 Prop: 217.728 PropClause: 200.671 Set: 78.788 Check: 0.0 Back: 6.62
INFO - Atoms: 11767/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 272176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.728 Prop: 226.039 PropClause: 208.633 Set: 81.504 Check: 0.0 Back: 6.916
INFO - Atoms: 11699/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 283809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.776 Prop: 234.618 PropClause: 216.886 Set: 84.064 Check: 0.0 Back: 7.212
INFO - Atoms: 11633/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 295376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.824 Prop: 243.697 PropClause: 225.62 Set: 86.731 Check: 0.0 Back: 7.511
INFO - Atoms: 11567/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 306875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.866 Prop: 249.24 PropClause: 230.874 Set: 88.694 Check: 0.0 Back: 7.803
INFO - Atoms: 11499/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 318306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.913 Prop: 257.069 PropClause: 238.414 Set: 90.632 Check: 0.0 Back: 8.09
INFO - Atoms: 11431/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 329671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.987 Prop: 261.811 PropClause: 242.871 Set: 92.542 Check: 0.0 Back: 8.356
INFO - Atoms: 11365/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 340968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.041 Prop: 267.511 PropClause: 248.286 Set: 94.472 Check: 0.0 Back: 8.621
INFO - Atoms: 11297/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 352199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.077 Prop: 270.692 PropClause: 251.184 Set: 96.346 Check: 0.0 Back: 8.886
INFO - Atoms: 11231/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 363362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.116 Prop: 274.834 PropClause: 255.044 Set: 98.238 Check: 0.0 Back: 9.144
INFO - Atoms: 11163/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 374459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.15 Prop: 278.461 PropClause: 258.393 Set: 100.118 Check: 0.0 Back: 9.397
INFO - Atoms: 11097/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 385490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.186 Prop: 282.478 PropClause: 262.134 Set: 102.867 Check: 0.0 Back: 9.646
INFO - Atoms: 11031/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 396453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.26 Prop: 286.291 PropClause: 265.673 Set: 105.646 Check: 0.0 Back: 9.895
INFO - Atoms: 10963/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 407349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.3 Prop: 290.334 PropClause: 269.445 Set: 108.342 Check: 0.0 Back: 10.164
INFO - Atoms: 10896/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 418178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.339 Prop: 294.19 PropClause: 273.03 Set: 111.166 Check: 0.0 Back: 10.41
INFO - Atoms: 10829/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 428940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.378 Prop: 298.116 PropClause: 276.688 Set: 113.884 Check: 0.0 Back: 10.677
INFO - Atoms: 10762/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 439635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.419 Prop: 302.124 PropClause: 280.421 Set: 116.561 Check: 0.0 Back: 10.919
INFO - Atoms: 10695/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 450263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.461 Prop: 307.757 PropClause: 285.787 Set: 119.253 Check: 0.0 Back: 11.181
INFO - Atoms: 10628/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 460824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.498 Prop: 312.29 PropClause: 290.051 Set: 136.367 Check: 0.0 Back: 11.421
INFO - Atoms: 10561/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 471317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 317.352 PropClause: 294.842 Set: 138.109 Check: 0.0 Back: 11.661
INFO - Atoms: 10493/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 481744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.586 Prop: 321.518 PropClause: 298.748 Set: 139.827 Check: 0.0 Back: 11.899
INFO - Atoms: 10427/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 492105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.644 Prop: 330.045 PropClause: 306.971 Set: 142.223 Check: 0.0 Back: 12.138
INFO - Atoms: 10361/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 502398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.688 Prop: 334.973 PropClause: 311.639 Set: 143.915 Check: 0.0 Back: 12.407
INFO - Atoms: 10293/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 512623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.727 Prop: 340.192 PropClause: 316.6 Set: 145.619 Check: 0.0 Back: 12.653
INFO - Atoms: 10225/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 522782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 344.873 PropClause: 321.024 Set: 147.298 Check: 0.0 Back: 12.884
INFO - Atoms: 10159/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 532873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.798 Prop: 350.048 PropClause: 325.944 Set: 148.957 Check: 0.0 Back: 13.125
INFO - Atoms: 10091/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 542898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.833 Prop: 354.38 PropClause: 330.025 Set: 150.614 Check: 0.0 Back: 13.364
INFO - Atoms: 10025/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 552855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.87 Prop: 358.092 PropClause: 333.475 Set: 152.245 Check: 0.0 Back: 13.589
INFO - Atoms: 9957/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 562746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.912 Prop: 362.257 PropClause: 337.39 Set: 153.883 Check: 0.0 Back: 13.814
INFO - Atoms: 9891/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 572569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.948 Prop: 366.291 PropClause: 341.177 Set: 155.506 Check: 0.0 Back: 14.038
INFO - Atoms: 9823/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 582326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.99 Prop: 370.869 PropClause: 345.469 Set: 157.606 Check: 0.0 Back: 14.261
INFO - Atoms: 9757/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 592016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.019 Prop: 373.704 PropClause: 348.058 Set: 159.211 Check: 0.0 Back: 14.508
INFO - Atoms: 9690/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 601639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.052 Prop: 376.881 PropClause: 350.992 Set: 160.794 Check: 0.0 Back: 14.757
INFO - Atoms: 9623/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 611195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.076 Prop: 379.716 PropClause: 353.586 Set: 162.355 Check: 0.0 Back: 14.977
INFO - Atoms: 9556/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 620684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.205 Prop: 382.781 PropClause: 356.41 Set: 163.92 Check: 0.0 Back: 15.191
INFO - Atoms: 9489/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 630105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.222 Prop: 386.34 PropClause: 359.708 Set: 165.747 Check: 0.0 Back: 15.411
INFO - Atoms: 9421/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 639460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.236 Prop: 388.991 PropClause: 362.121 Set: 167.276 Check: 0.0 Back: 15.649
INFO - Atoms: 9355/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 648747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.248 Prop: 391.758 PropClause: 364.653 Set: 168.81 Check: 0.0 Back: 15.859
INFO - Atoms: 9287/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 657968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.261 Prop: 394.402 PropClause: 367.066 Set: 170.304 Check: 0.0 Back: 16.068
INFO - Atoms: 9221/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 667121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.278 Prop: 398.12 PropClause: 370.527 Set: 172.138 Check: 0.0 Back: 16.297
INFO - Atoms: 9153/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 676208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.291 Prop: 400.859 PropClause: 373.036 Set: 173.629 Check: 0.0 Back: 16.503
INFO - Atoms: 9087/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 685228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.303 Prop: 403.477 PropClause: 375.429 Set: 175.095 Check: 0.0 Back: 16.71
INFO - Atoms: 9020/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 694181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.318 Prop: 406.104 PropClause: 377.83 Set: 176.535 Check: 0.0 Back: 16.912
INFO - Atoms: 8953/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 703066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.331 Prop: 408.776 PropClause: 380.278 Set: 178.001 Check: 0.0 Back: 17.121
INFO - Atoms: 8885/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 711885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 411.405 PropClause: 382.684 Set: 179.426 Check: 0.0 Back: 17.33
INFO - Atoms: 8819/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 720637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.355 Prop: 414.045 PropClause: 385.101 Set: 180.844 Check: 0.0 Back: 17.537
INFO - Atoms: 8752/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 729322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.373 Prop: 417.572 PropClause: 388.397 Set: 182.247 Check: 0.0 Back: 17.734
INFO - Atoms: 8685/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 738383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.417 Prop: 421.333 PropClause: 391.93 Set: 183.748 Check: 0.0 Back: 17.93
INFO - Atoms: 9061/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 747454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.437 Prop: 425.16 PropClause: 395.529 Set: 185.256 Check: 0.0 Back: 18.135
INFO - Atoms: 9071/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 756332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.458 Prop: 430.004 PropClause: 400.113 Set: 187.171 Check: 0.0 Back: 18.362
INFO - Atoms: 8878/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 765400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.516 Prop: 434.804 PropClause: 404.65 Set: 189.209 Check: 0.0 Back: 18.592
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 774464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.589 Prop: 440.579 PropClause: 410.159 Set: 191.162 Check: 0.0 Back: 18.831
INFO - Atoms: 9064/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 783592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.608 Prop: 446.34 PropClause: 415.657 Set: 193.242 Check: 0.0 Back: 19.062
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 792709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.627 Prop: 453.486 PropClause: 422.537 Set: 195.332 Check: 0.0 Back: 19.293
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 801777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.648 Prop: 459.31 PropClause: 428.099 Set: 197.361 Check: 0.0 Back: 19.525
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 810660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.666 Prop: 464.361 PropClause: 432.891 Set: 199.315 Check: 0.0 Back: 19.753
INFO - Atoms: 8883/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 819730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.688 Prop: 469.65 PropClause: 437.918 Set: 201.413 Check: 0.0 Back: 19.977
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 828847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.707 Prop: 473.051 PropClause: 441.055 Set: 203.379 Check: 0.0 Back: 20.208
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 837973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.722 Prop: 476.504 PropClause: 444.245 Set: 205.415 Check: 0.0 Back: 20.438
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 847090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.739 Prop: 480.191 PropClause: 447.668 Set: 207.417 Check: 0.0 Back: 20.669
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 856158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.752 Prop: 483.57 PropClause: 450.784 Set: 209.404 Check: 0.0 Back: 20.899
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 865039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.769 Prop: 487.218 PropClause: 454.177 Set: 211.339 Check: 0.0 Back: 21.128
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 874109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 491.636 PropClause: 458.332 Set: 213.366 Check: 0.0 Back: 21.352
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 883226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.804 Prop: 495.312 PropClause: 461.745 Set: 215.426 Check: 0.0 Back: 21.58
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 892352 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.821 Prop: 499.868 PropClause: 466.035 Set: 217.503 Check: 0.0 Back: 21.81
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 901469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.84 Prop: 503.872 PropClause: 469.775 Set: 219.564 Check: 0.0 Back: 22.041
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 910537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 508.018 PropClause: 473.656 Set: 221.978 Check: 0.0 Back: 22.274
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 919419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.878 Prop: 514.296 PropClause: 479.674 Set: 223.919 Check: 0.0 Back: 22.506
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 928489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 518.785 PropClause: 483.892 Set: 226.857 Check: 0.0 Back: 22.732
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 937606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.918 Prop: 524.298 PropClause: 489.123 Set: 229.866 Check: 0.0 Back: 22.96
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 946732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.946 Prop: 530.737 PropClause: 495.291 Set: 232.888 Check: 0.0 Back: 23.194
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 955849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.971 Prop: 537.964 PropClause: 502.244 Set: 235.925 Check: 0.0 Back: 23.425
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 964917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.99 Prop: 543.742 PropClause: 507.751 Set: 238.877 Check: 0.0 Back: 23.671
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 973799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.011 Prop: 551.029 PropClause: 514.77 Set: 241.842 Check: 0.0 Back: 23.901
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 982869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.03 Prop: 557.81 PropClause: 521.279 Set: 244.885 Check: 0.0 Back: 24.128
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 991986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 565.246 PropClause: 528.434 Set: 248.032 Check: 0.0 Back: 24.359
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 1001114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.519 Prop: 571.861 PropClause: 534.77 Set: 250.925 Check: 0.0 Back: 24.594
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 1010231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.573 Prop: 578.617 PropClause: 541.247 Set: 253.865 Check: 0.0 Back: 24.834
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 1019299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 584.86 PropClause: 547.217 Set: 256.734 Check: 0.0 Back: 25.071
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1028425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.605 Prop: 589.086 PropClause: 551.164 Set: 259.564 Check: 0.0 Back: 25.302
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 1037489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.617 Prop: 591.99 PropClause: 553.841 Set: 261.662 Check: 0.0 Back: 25.535
INFO - Atoms: 9064/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 1046608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.631 Prop: 595.251 PropClause: 556.872 Set: 263.905 Check: 0.0 Back: 25.759
INFO - Atoms: 9119/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 1055736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.644 Prop: 599.808 PropClause: 561.158 Set: 266.706 Check: 0.0 Back: 25.987
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 1064855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.659 Prop: 603.279 PropClause: 564.4 Set: 268.847 Check: 0.0 Back: 26.196
INFO - Atoms: 9119/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 1073923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.674 Prop: 607.675 PropClause: 568.527 Set: 271.618 Check: 0.0 Back: 26.409
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1082805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.688 Prop: 612.334 PropClause: 572.919 Set: 274.38 Check: 0.0 Back: 26.641
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 1091875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.703 Prop: 615.871 PropClause: 576.227 Set: 276.513 Check: 0.0 Back: 26.866
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 1100992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 619.004 PropClause: 579.132 Set: 278.644 Check: 0.0 Back: 27.092
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 1110120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.727 Prop: 622.024 PropClause: 581.924 Set: 280.801 Check: 0.0 Back: 27.298
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 1119237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.741 Prop: 625.46 PropClause: 585.131 Set: 282.946 Check: 0.0 Back: 27.505
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 1128305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.754 Prop: 628.7 PropClause: 588.138 Set: 285.05 Check: 0.0 Back: 27.709
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 1137186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.767 Prop: 632.818 PropClause: 592.033 Set: 287.162 Check: 0.0 Back: 27.912
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 1146256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.781 Prop: 637.554 PropClause: 596.481 Set: 289.346 Check: 0.0 Back: 28.137
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 1155373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.795 Prop: 641.532 PropClause: 600.231 Set: 290.88 Check: 0.0 Back: 28.365
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 1164501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.807 Prop: 645.249 PropClause: 603.717 Set: 292.418 Check: 0.0 Back: 28.57
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 1173618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.82 Prop: 648.734 PropClause: 606.973 Set: 293.945 Check: 0.0 Back: 28.778
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 1182686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.834 Prop: 652.408 PropClause: 610.42 Set: 295.461 Check: 0.0 Back: 28.982
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 1191567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.852 Prop: 658.934 PropClause: 616.689 Set: 297.483 Check: 0.0 Back: 29.185
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 1200637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 665.272 PropClause: 622.758 Set: 299.622 Check: 0.0 Back: 29.424
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 1209754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.881 Prop: 669.94 PropClause: 627.196 Set: 301.166 Check: 0.0 Back: 29.655
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 1218880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.897 Prop: 677.119 PropClause: 634.108 Set: 303.278 Check: 0.0 Back: 29.862
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 1227997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.913 Prop: 683.167 PropClause: 639.89 Set: 305.328 Check: 0.0 Back: 30.093
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 1237065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 689.836 PropClause: 646.295 Set: 307.379 Check: 0.0 Back: 30.327
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 1245946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.944 Prop: 695.679 PropClause: 651.881 Set: 309.291 Check: 0.0 Back: 30.558
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 1255016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.96 Prop: 701.181 PropClause: 657.121 Set: 311.344 Check: 0.0 Back: 30.783
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 1264133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.975 Prop: 707.255 PropClause: 662.921 Set: 313.441 Check: 0.0 Back: 31.012
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 1273261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.99 Prop: 712.381 PropClause: 667.774 Set: 315.532 Check: 0.0 Back: 31.256
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 1282378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.007 Prop: 718.639 PropClause: 673.554 Set: 317.54 Check: 0.0 Back: 31.5
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 1291446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 725.464 PropClause: 680.105 Set: 319.599 Check: 0.0 Back: 31.735
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 1300327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.043 Prop: 731.554 PropClause: 685.931 Set: 321.592 Check: 0.0 Back: 31.969
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 1309397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 734.9 PropClause: 689.048 Set: 323.109 Check: 0.0 Back: 32.201
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 1318514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 738.665 PropClause: 692.584 Set: 324.638 Check: 0.0 Back: 32.407
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 1327642 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.125 Prop: 742.657 PropClause: 696.346 Set: 326.165 Check: 0.0 Back: 32.613
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 1336759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.136 Prop: 747.425 PropClause: 700.883 Set: 327.733 Check: 0.0 Back: 32.826
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 1345827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 752.518 PropClause: 705.747 Set: 329.235 Check: 0.0 Back: 33.032
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 1354710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.151 Prop: 756.105 PropClause: 709.11 Set: 330.703 Check: 0.0 Back: 33.25
INFO - Atoms: 8883/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 1363780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 759.478 PropClause: 712.253 Set: 332.229 Check: 0.0 Back: 33.45
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 1372897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 765.453 PropClause: 717.964 Set: 334.308 Check: 0.0 Back: 33.654
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 1382025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.18 Prop: 771.18 PropClause: 723.421 Set: 336.376 Check: 0.0 Back: 33.888
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 1391142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 777.371 PropClause: 729.347 Set: 338.389 Check: 0.0 Back: 34.121
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 1400210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.198 Prop: 781.245 PropClause: 732.99 Set: 339.912 Check: 0.0 Back: 34.329
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 1409091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.207 Prop: 785.47 PropClause: 736.99 Set: 341.384 Check: 0.0 Back: 34.533
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 1418161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.214 Prop: 789.738 PropClause: 741.029 Set: 342.911 Check: 0.0 Back: 34.734
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 1427278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.224 Prop: 794.584 PropClause: 745.644 Set: 344.449 Check: 0.0 Back: 34.939
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 1436160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.232 Prop: 798.395 PropClause: 749.23 Set: 345.935 Check: 0.0 Back: 35.145
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 1445279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.239 Prop: 803.346 PropClause: 753.95 Set: 347.496 Check: 0.0 Back: 35.346
INFO - Atoms: 9119/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 1454347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.246 Prop: 808.174 PropClause: 758.547 Set: 349.037 Check: 0.0 Back: 35.553
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 1463472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.255 Prop: 812.872 PropClause: 763.013 Set: 350.586 Check: 0.0 Back: 35.757
INFO - Atoms: 9125/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 1472536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 817.972 PropClause: 767.884 Set: 352.121 Check: 0.0 Back: 35.965
INFO - Atoms: 9064/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 1481653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.272 Prop: 823.356 PropClause: 773.022 Set: 353.662 Check: 0.0 Back: 36.169
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 1490535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.279 Prop: 829.176 PropClause: 778.616 Set: 355.143 Check: 0.0 Back: 36.376
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 1499654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 833.809 PropClause: 783.018 Set: 356.726 Check: 0.0 Back: 36.575
INFO - Atoms: 9119/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 1508722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.296 Prop: 838.09 PropClause: 787.067 Set: 358.356 Check: 0.0 Back: 36.782
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 1517847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.305 Prop: 842.423 PropClause: 791.17 Set: 359.889 Check: 0.0 Back: 36.988
INFO - Atoms: 9125/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 1526911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.313 Prop: 847.0 PropClause: 795.517 Set: 361.411 Check: 0.0 Back: 37.194
INFO - Atoms: 9064/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 1536028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.319 Prop: 850.439 PropClause: 798.726 Set: 362.932 Check: 0.0 Back: 37.399
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 1545154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.327 Prop: 853.836 PropClause: 801.893 Set: 364.462 Check: 0.0 Back: 37.611
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 1554271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.335 Prop: 857.49 PropClause: 805.317 Set: 365.997 Check: 0.0 Back: 37.815
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 1563339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 861.034 PropClause: 808.632 Set: 367.502 Check: 0.0 Back: 38.021
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 1572222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.349 Prop: 864.324 PropClause: 811.699 Set: 368.972 Check: 0.0 Back: 38.223
INFO - Atoms: 8883/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 1581292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.355 Prop: 867.745 PropClause: 814.892 Set: 370.505 Check: 0.0 Back: 38.433
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 1590409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.362 Prop: 871.026 PropClause: 817.941 Set: 372.041 Check: 0.0 Back: 38.636
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 1599535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.369 Prop: 874.395 PropClause: 821.081 Set: 373.579 Check: 0.0 Back: 38.841
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 1608652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.377 Prop: 878.115 PropClause: 824.569 Set: 375.118 Check: 0.0 Back: 39.053
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 1617720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 881.789 PropClause: 828.014 Set: 376.64 Check: 0.0 Back: 39.268
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 1626602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 885.309 PropClause: 831.31 Set: 378.115 Check: 0.0 Back: 39.481
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 1635672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.4 Prop: 888.551 PropClause: 834.323 Set: 379.64 Check: 0.0 Back: 39.68
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 1644789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 892.178 PropClause: 837.718 Set: 381.191 Check: 0.0 Back: 39.883
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 1653917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.414 Prop: 895.647 PropClause: 840.958 Set: 382.729 Check: 0.0 Back: 40.09
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 1663034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.422 Prop: 899.393 PropClause: 844.472 Set: 384.326 Check: 0.0 Back: 40.295
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 1672102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 902.884 PropClause: 847.734 Set: 385.84 Check: 0.0 Back: 40.501
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 1680983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 907.0 PropClause: 851.627 Set: 387.314 Check: 0.0 Back: 40.714
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 1690053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.447 Prop: 910.678 PropClause: 855.074 Set: 388.855 Check: 0.0 Back: 40.914
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 1699170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 915.36 PropClause: 859.524 Set: 390.394 Check: 0.0 Back: 41.128
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 1708296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.464 Prop: 919.782 PropClause: 863.715 Set: 391.935 Check: 0.0 Back: 41.335
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 1717413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 923.747 PropClause: 867.452 Set: 393.488 Check: 0.0 Back: 41.542
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 1726481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.478 Prop: 928.353 PropClause: 871.83 Set: 395.02 Check: 0.0 Back: 41.749
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 1735362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.488 Prop: 932.554 PropClause: 875.807 Set: 396.51 Check: 0.0 Back: 41.954
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 1744432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 937.489 PropClause: 880.514 Set: 398.034 Check: 0.0 Back: 42.154
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 1753549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 941.167 PropClause: 883.964 Set: 399.569 Check: 0.0 Back: 42.36
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 1762677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.512 Prop: 944.938 PropClause: 887.505 Set: 401.116 Check: 0.0 Back: 42.565
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 1771794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 949.885 PropClause: 892.223 Set: 402.681 Check: 0.0 Back: 42.77
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 1780862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 954.903 PropClause: 897.014 Set: 404.213 Check: 0.0 Back: 42.976
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 1789744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.535 Prop: 959.97 PropClause: 901.858 Set: 405.708 Check: 0.0 Back: 43.182
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 1798814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.544 Prop: 964.865 PropClause: 906.511 Set: 407.24 Check: 0.0 Back: 43.385
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 1807931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.552 Prop: 969.832 PropClause: 911.249 Set: 408.779 Check: 0.0 Back: 43.588
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 1817059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.56 Prop: 975.443 PropClause: 916.632 Set: 410.333 Check: 0.0 Back: 43.793
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 1826176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 979.865 PropClause: 920.825 Set: 411.879 Check: 0.0 Back: 43.999
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 1835244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 984.095 PropClause: 924.827 Set: 413.412 Check: 0.0 Back: 44.216
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 1844125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 987.98 PropClause: 928.489 Set: 414.894 Check: 0.0 Back: 44.42
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 1853195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.59 Prop: 992.251 PropClause: 932.533 Set: 416.431 Check: 0.0 Back: 44.621
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 1862312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.599 Prop: 996.62 PropClause: 936.672 Set: 417.969 Check: 0.0 Back: 44.84
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 1871440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.606 Prop: 999.808 PropClause: 939.63 Set: 419.518 Check: 0.0 Back: 45.047
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 1880557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.612 Prop: 1003.827 PropClause: 943.418 Set: 421.057 Check: 0.0 Back: 45.252
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 1889625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.619 Prop: 1007.047 PropClause: 946.408 Set: 422.577 Check: 0.0 Back: 45.458
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 1898506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.625 Prop: 1010.073 PropClause: 949.202 Set: 424.044 Check: 0.0 Back: 45.663
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 1907576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.634 Prop: 1013.719 PropClause: 952.617 Set: 425.782 Check: 0.0 Back: 45.863
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 1916693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.643 Prop: 1016.98 PropClause: 955.649 Set: 427.328 Check: 0.0 Back: 46.076
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 1925821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.65 Prop: 1020.476 PropClause: 958.916 Set: 428.869 Check: 0.0 Back: 46.282
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 1934938 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.658 Prop: 1023.73 PropClause: 961.939 Set: 430.414 Check: 0.0 Back: 46.489
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 1944006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.665 Prop: 1027.071 PropClause: 965.05 Set: 431.938 Check: 0.0 Back: 46.695
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 1952887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.672 Prop: 1030.389 PropClause: 968.143 Set: 433.421 Check: 0.0 Back: 46.901
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 1961957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.681 Prop: 1033.734 PropClause: 971.26 Set: 434.952 Check: 0.0 Back: 47.102
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 1971074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 1037.081 PropClause: 974.376 Set: 436.51 Check: 0.0 Back: 47.307
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 1980200 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.694 Prop: 1040.609 PropClause: 977.673 Set: 438.056 Check: 0.0 Back: 47.512
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 1989317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.701 Prop: 1043.882 PropClause: 980.716 Set: 439.608 Check: 0.0 Back: 47.725
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 1998385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.709 Prop: 1047.253 PropClause: 983.849 Set: 441.133 Check: 0.0 Back: 47.932
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 2007266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.715 Prop: 1050.349 PropClause: 986.721 Set: 442.619 Check: 0.0 Back: 48.138
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 2016336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 1053.958 PropClause: 990.1 Set: 444.153 Check: 0.0 Back: 48.339
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 2025453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.733 Prop: 1059.213 PropClause: 995.124 Set: 445.711 Check: 0.0 Back: 48.573
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 2034579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.742 Prop: 1064.632 PropClause: 1000.312 Set: 447.284 Check: 0.0 Back: 48.777
INFO - Atoms: 9126/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 2043696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.751 Prop: 1068.152 PropClause: 1003.602 Set: 448.827 Check: 0.0 Back: 48.983
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 2052764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 1071.613 PropClause: 1006.833 Set: 450.377 Check: 0.0 Back: 49.19
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 2061645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.766 Prop: 1075.132 PropClause: 1010.129 Set: 451.866 Check: 0.0 Back: 49.396
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 2070715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.773 Prop: 1078.892 PropClause: 1013.66 Set: 453.406 Check: 0.0 Back: 49.6
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 2079832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.781 Prop: 1083.469 PropClause: 1018.005 Set: 454.943 Check: 0.0 Back: 49.806
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 2088714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.788 Prop: 1087.427 PropClause: 1021.737 Set: 456.417 Check: 0.0 Back: 50.013
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 2097833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.796 Prop: 1091.898 PropClause: 1025.977 Set: 457.97 Check: 0.0 Back: 50.214
INFO - Atoms: 9119/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 2106901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 1097.15 PropClause: 1030.971 Set: 459.857 Check: 0.0 Back: 50.42
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 2115783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.815 Prop: 1101.398 PropClause: 1034.995 Set: 461.33 Check: 0.0 Back: 50.632
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 2124851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.823 Prop: 1105.469 PropClause: 1038.836 Set: 462.911 Check: 0.0 Back: 50.843
INFO - Atoms: 9068/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 2133970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.831 Prop: 1110.317 PropClause: 1043.454 Set: 464.472 Check: 0.0 Back: 51.059
INFO - Atoms: 9119/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 2142852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.839 Prop: 1114.199 PropClause: 1047.111 Set: 465.964 Check: 0.0 Back: 51.265
INFO - Atoms: 8882/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 2151969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.848 Prop: 1118.221 PropClause: 1050.902 Set: 467.512 Check: 0.0 Back: 51.5
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 2161039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.855 Prop: 1123.55 PropClause: 1056.002 Set: 469.059 Check: 0.0 Back: 51.708
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 2170164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.863 Prop: 1128.46 PropClause: 1060.682 Set: 470.598 Check: 0.0 Back: 51.912
INFO - Atoms: 9125/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 2179228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.872 Prop: 1133.288 PropClause: 1065.28 Set: 472.123 Check: 0.0 Back: 52.116
INFO - Atoms: 9064/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 2188345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.88 Prop: 1138.008 PropClause: 1069.771 Set: 473.669 Check: 0.0 Back: 52.319
INFO - Atoms: 9117/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 2197473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.887 Prop: 1143.267 PropClause: 1074.798 Set: 475.234 Check: 0.0 Back: 52.524
INFO - Atoms: 9128/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 2206569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.897 Prop: 1148.37 PropClause: 1079.573 Set: 476.776 Check: 0.0 Back: 52.73
INFO - Atoms: 9096/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 2215636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.905 Prop: 1153.065 PropClause: 1084.038 Set: 478.316 Check: 0.0 Back: 52.934
INFO - Atoms: 9067/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 2224519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.913 Prop: 1157.321 PropClause: 1088.055 Set: 479.798 Check: 0.0 Back: 53.138
INFO - Atoms: 8883/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 2233562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 1161.6 PropClause: 1092.107 Set: 481.331 Check: 0.0 Back: 53.337
INFO - Atoms: 9043/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 2242632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.927 Prop: 1166.182 PropClause: 1096.461 Set: 482.872 Check: 0.0 Back: 53.539
INFO - Atoms: 9070/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 2251708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.934 Prop: 1170.491 PropClause: 1100.542 Set: 484.391 Check: 0.0 Back: 53.745
INFO - Atoms: 9076/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 2260723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.942 Prop: 1174.785 PropClause: 1104.596 Set: 485.911 Check: 0.0 Back: 53.949
INFO - Atoms: 9015/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 2269735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 1179.091 PropClause: 1108.675 Set: 487.412 Check: 0.0 Back: 54.152
INFO - Atoms: 9012/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 2278616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.956 Prop: 1181.876 PropClause: 1111.238 Set: 488.882 Check: 0.0 Back: 54.355
INFO - Atoms: 8881/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 2287567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 1185.159 PropClause: 1114.294 Set: 490.395 Check: 0.0 Back: 54.557
INFO - Atoms: 8951/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 2296517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.056 Prop: 1188.204 PropClause: 1117.113 Set: 491.902 Check: 0.0 Back: 54.759
INFO - Atoms: 8950/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 2305476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.061 Prop: 1190.887 PropClause: 1119.572 Set: 493.407 Check: 0.0 Back: 54.971
INFO - Atoms: 8959/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 2314492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.067 Prop: 1193.269 PropClause: 1121.726 Set: 494.92 Check: 0.0 Back: 55.171
INFO - Atoms: 9016/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 2323499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 1195.689 PropClause: 1123.92 Set: 496.429 Check: 0.0 Back: 55.38
INFO - Atoms: 9007/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 2332521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 1198.172 PropClause: 1126.175 Set: 497.951 Check: 0.0 Back: 55.582
INFO - Atoms: 9022/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 2341364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.152 Prop: 1200.687 PropClause: 1128.466 Set: 499.426 Check: 0.0 Back: 55.793
INFO - Atoms: 8843/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 2350207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.266 Prop: 1203.068 PropClause: 1130.624 Set: 500.908 Check: 0.0 Back: 55.992
INFO - Atoms: 8843/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 2359190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.276 Prop: 1206.662 PropClause: 1133.959 Set: 502.978 Check: 0.0 Back: 56.216
INFO - Atoms: 8983/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 2368202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 1210.176 PropClause: 1137.215 Set: 504.99 Check: 0.0 Back: 56.443
INFO - Atoms: 9012/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 2377219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.294 Prop: 1213.539 PropClause: 1140.332 Set: 506.713 Check: 0.0 Back: 56.68
INFO - Atoms: 9017/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 2386063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 1215.889 PropClause: 1142.459 Set: 508.193 Check: 0.0 Back: 56.883
INFO - Atoms: 8844/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 2394839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.305 Prop: 1218.304 PropClause: 1144.651 Set: 509.662 Check: 0.0 Back: 57.083
INFO - Atoms: 8776/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 2403664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.313 Prop: 1222.147 PropClause: 1148.244 Set: 513.793 Check: 0.0 Back: 57.281
INFO - Atoms: 8825/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 2408440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.349 Prop: 1224.983 PropClause: 1150.938 Set: 515.094 Check: 0.0 Back: 57.502
INFO - Atoms: 4776/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 2413281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.376 Prop: 1226.086 PropClause: 1151.917 Set: 516.112 Check: 0.0 Back: 57.611
INFO - Atoms: 4841/12992 Clauses: 389 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 754 Props: 2937812 Tprops: 0 Decides: 920 RSplits: 0
INFO - Times: Expl: 344.845 Prop: 1448.739 PropClause: 1358.699 Set: 530.477 Check: 0.029 Back: 70.958
INFO - Atoms: 4261/12992 Clauses: 888 Axioms: 42098
INFO - Restart
INFO - Confl: 1254 Props: 3329572 Tprops: 0 Decides: 1611 RSplits: 0
INFO - Times: Expl: 663.727 Prop: 1610.183 PropClause: 1508.259 Set: 540.608 Check: 0.052 Back: 80.949
INFO - Atoms: 4261/12992 Clauses: 1388 Axioms: 42098
INFO - Restart
INFO - Confl: 2254 Props: 4071783 Tprops: 0 Decides: 3670 RSplits: 0
INFO - Times: Expl: 853.82 Prop: 1837.985 PropClause: 1716.79 Set: 557.787 Check: 0.101 Back: 97.877
INFO - Atoms: 4261/12992 Clauses: 2388 Axioms: 42098
INFO - Restart
INFO - Confl: 2754 Props: 4398652 Tprops: 0 Decides: 4408 RSplits: 0
INFO - Times: Expl: 942.286 Prop: 1944.847 PropClause: 1815.265 Set: 565.323 Check: 0.119 Back: 105.316
INFO - Atoms: 4261/12992 Clauses: 2888 Axioms: 42098
INFO - Confl: 3122 Props: 4667953 Tprops: 0 Decides: 5049 RSplits: 0
INFO - Times: Expl: 1008.507 Prop: 2026.808 PropClause: 1890.341 Set: 571.585 Check: 0.134 Back: 111.42
INFO - Atoms: 4564/12992 Clauses: 3256 Axioms: 42098
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 281 Props: 21038 Tprops: 5101 Decides: 22367 RSplits: 0
INFO - Times: Expl: 142.344 Prop: 6620.69 PropClause: 9.838 Set: 2957.291 Check: 142.093 Back: 87.498
INFO - Atoms: 517/582 Clauses: 281 Axioms: 582
INFO - CCTimes: iE 243584 eq 21966935 cc 80438428 setRep 33727551
INFO - Merges: 165904, cc:260202
INFO - BVTimes: BB 121653433 BB_DPLL 5770346065 Graph 605585
INFO - BitBlastingClauses: 141038 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat