/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_096.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 155645958
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 47324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.644 Prop: 95.817 PropClause: 92.868 Set: 61.134 Check: 0.0 Back: 0.0
INFO - Atoms: 47324/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 94334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.685 Prop: 164.817 PropClause: 159.091 Set: 72.995 Check: 0.0 Back: 1.21
INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 141344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.786 Prop: 233.328 PropClause: 225.54 Set: 85.205 Check: 0.0 Back: 2.452
INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 188354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.832 Prop: 288.826 PropClause: 279.304 Set: 94.569 Check: 0.0 Back: 3.645
INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 235364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.919 Prop: 353.912 PropClause: 342.238 Set: 112.405 Check: 0.0 Back: 5.014
INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 282374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.997 Prop: 419.601 PropClause: 405.854 Set: 124.155 Check: 0.0 Back: 6.262
INFO - Atoms: 47010/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 329378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.047 Prop: 486.291 PropClause: 470.574 Set: 136.194 Check: 0.0 Back: 7.462
INFO - Atoms: 47004/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 376235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.1 Prop: 552.637 PropClause: 534.93 Set: 148.021 Check: 0.0 Back: 10.828
INFO - Atoms: 46857/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 422918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.152 Prop: 605.46 PropClause: 586.454 Set: 156.574 Check: 0.0 Back: 14.214
INFO - Atoms: 46683/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 469437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.228 Prop: 660.209 PropClause: 639.919 Set: 165.159 Check: 0.0 Back: 15.393
INFO - Atoms: 46519/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 515794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.28 Prop: 712.661 PropClause: 691.083 Set: 173.712 Check: 0.0 Back: 16.562
INFO - Atoms: 46357/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 562001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.329 Prop: 769.513 PropClause: 746.667 Set: 187.861 Check: 0.0 Back: 17.623
INFO - Atoms: 46207/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 608032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.374 Prop: 826.451 PropClause: 802.341 Set: 201.217 Check: 0.0 Back: 18.688
INFO - Atoms: 46031/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 653913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.417 Prop: 882.521 PropClause: 857.149 Set: 209.593 Check: 0.0 Back: 19.748
INFO - Atoms: 45881/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 699618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.462 Prop: 935.081 PropClause: 908.46 Set: 218.034 Check: 0.0 Back: 20.826
INFO - Atoms: 45705/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 745173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.506 Prop: 987.514 PropClause: 959.622 Set: 226.348 Check: 0.0 Back: 21.876
INFO - Atoms: 45555/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 790552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.552 Prop: 1033.435 PropClause: 1004.287 Set: 234.523 Check: 0.0 Back: 22.906
INFO - Atoms: 45379/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 835767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.636 Prop: 1086.748 PropClause: 1056.362 Set: 242.732 Check: 0.0 Back: 23.944
INFO - Atoms: 45215/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 880820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.683 Prop: 1134.176 PropClause: 1102.548 Set: 269.327 Check: 0.0 Back: 25.0
INFO - Atoms: 45053/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 925709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.729 Prop: 1187.392 PropClause: 1154.529 Set: 277.551 Check: 0.0 Back: 26.037
INFO - Atoms: 44889/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 970436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.771 Prop: 1234.666 PropClause: 1200.577 Set: 285.668 Check: 0.0 Back: 27.056
INFO - Atoms: 44727/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1015014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.821 Prop: 1287.399 PropClause: 1252.085 Set: 293.887 Check: 0.0 Back: 28.088
INFO - Atoms: 44578/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1059415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.864 Prop: 1336.753 PropClause: 1300.219 Set: 302.002 Check: 0.0 Back: 29.131
INFO - Atoms: 44401/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1103665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.912 Prop: 1383.05 PropClause: 1345.298 Set: 309.957 Check: 0.0 Back: 30.258
INFO - Atoms: 44250/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1147740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.957 Prop: 1432.567 PropClause: 1393.603 Set: 320.819 Check: 0.0 Back: 31.397
INFO - Atoms: 44075/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1191651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.002 Prop: 1480.292 PropClause: 1440.117 Set: 333.19 Check: 0.0 Back: 32.519
INFO - Atoms: 43911/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1235400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.044 Prop: 1531.497 PropClause: 1490.122 Set: 345.457 Check: 0.0 Back: 33.523
INFO - Atoms: 43749/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1278985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.085 Prop: 1579.64 PropClause: 1537.067 Set: 357.697 Check: 0.0 Back: 34.521
INFO - Atoms: 43585/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1322408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.129 Prop: 1632.109 PropClause: 1588.343 Set: 370.148 Check: 0.0 Back: 35.52
INFO - Atoms: 43423/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1365682 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.176 Prop: 1682.37 PropClause: 1637.388 Set: 382.398 Check: 0.0 Back: 36.52
INFO - Atoms: 43274/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1408779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.22 Prop: 1730.624 PropClause: 1684.459 Set: 390.208 Check: 0.0 Back: 37.524
INFO - Atoms: 43097/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1451725 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.264 Prop: 1781.178 PropClause: 1733.834 Set: 398.054 Check: 0.0 Back: 38.512
INFO - Atoms: 42946/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1494496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.309 Prop: 1826.406 PropClause: 1777.89 Set: 405.728 Check: 0.0 Back: 39.506
INFO - Atoms: 42771/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1537116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.35 Prop: 1877.771 PropClause: 1828.085 Set: 413.435 Check: 0.0 Back: 40.485
INFO - Atoms: 42620/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1579561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.401 Prop: 1922.979 PropClause: 1872.119 Set: 420.979 Check: 0.0 Back: 41.457
INFO - Atoms: 42445/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1621855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 1972.413 PropClause: 1920.391 Set: 428.559 Check: 0.0 Back: 42.43
INFO - Atoms: 42294/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1663974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.493 Prop: 2017.806 PropClause: 1964.62 Set: 436.129 Check: 0.0 Back: 43.413
INFO - Atoms: 42119/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 1705929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 2061.762 PropClause: 2007.425 Set: 443.674 Check: 0.0 Back: 44.369
INFO - Atoms: 41955/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 1747722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.578 Prop: 2105.218 PropClause: 2049.724 Set: 451.169 Check: 0.0 Back: 45.326
INFO - Atoms: 41793/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 1789351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 2145.6 PropClause: 2088.963 Set: 458.505 Check: 0.0 Back: 46.281
INFO - Atoms: 41629/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 1830818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.662 Prop: 2191.159 PropClause: 2133.383 Set: 465.949 Check: 0.0 Back: 47.233
INFO - Atoms: 41467/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 1872121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 2238.678 PropClause: 2179.76 Set: 485.684 Check: 0.0 Back: 48.18
INFO - Atoms: 41303/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 1913262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.766 Prop: 2278.783 PropClause: 2218.737 Set: 492.973 Check: 0.0 Back: 49.131
INFO - Atoms: 41141/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 1954253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.808 Prop: 2324.338 PropClause: 2263.167 Set: 500.245 Check: 0.0 Back: 50.092
INFO - Atoms: 40991/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 1995068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.846 Prop: 2361.006 PropClause: 2298.717 Set: 507.359 Check: 0.0 Back: 51.024
INFO - Atoms: 40815/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2035719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.887 Prop: 2406.416 PropClause: 2343.013 Set: 514.631 Check: 0.0 Back: 51.962
INFO - Atoms: 40651/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2076208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.925 Prop: 2447.46 PropClause: 2382.94 Set: 521.768 Check: 0.0 Back: 52.915
INFO - Atoms: 40489/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2116548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.973 Prop: 2488.261 PropClause: 2422.639 Set: 528.907 Check: 0.0 Back: 53.849
INFO - Atoms: 40340/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2156711 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.021 Prop: 2532.626 PropClause: 2465.894 Set: 536.113 Check: 0.0 Back: 54.772
INFO - Atoms: 40163/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2196723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.065 Prop: 2576.94 PropClause: 2509.103 Set: 543.246 Check: 0.0 Back: 55.689
INFO - Atoms: 40012/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2236560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.107 Prop: 2615.232 PropClause: 2546.302 Set: 550.212 Check: 0.0 Back: 56.615
INFO - Atoms: 39837/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2276233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.257 Prop: 2662.027 PropClause: 2592.009 Set: 557.303 Check: 0.0 Back: 57.53
INFO - Atoms: 39673/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2315744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.278 Prop: 2703.196 PropClause: 2632.098 Set: 564.23 Check: 0.0 Back: 58.434
INFO - Atoms: 39511/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2355106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 2748.432 PropClause: 2676.249 Set: 571.243 Check: 0.0 Back: 59.337
INFO - Atoms: 39362/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2394291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.321 Prop: 2790.207 PropClause: 2716.945 Set: 582.127 Check: 0.0 Back: 60.234
INFO - Atoms: 39185/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2433325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.34 Prop: 2830.964 PropClause: 2756.632 Set: 592.917 Check: 0.0 Back: 61.142
INFO - Atoms: 39034/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2472184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.363 Prop: 2874.25 PropClause: 2798.744 Set: 603.765 Check: 0.0 Back: 62.037
INFO - Atoms: 38859/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 2510879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.384 Prop: 2919.201 PropClause: 2842.605 Set: 614.266 Check: 0.0 Back: 62.929
INFO - Atoms: 38695/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 2549412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.404 Prop: 2960.261 PropClause: 2882.586 Set: 621.176 Check: 0.0 Back: 63.827
INFO - Atoms: 38533/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 2587781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.427 Prop: 3001.137 PropClause: 2922.412 Set: 627.874 Check: 0.0 Back: 64.734
INFO - Atoms: 38369/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 2625988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 3033.516 PropClause: 2953.743 Set: 634.413 Check: 0.0 Back: 65.607
INFO - Atoms: 38207/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 2664031 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 3073.103 PropClause: 2992.288 Set: 641.075 Check: 0.0 Back: 66.476
INFO - Atoms: 38043/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 2701912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 3108.415 PropClause: 3026.566 Set: 647.653 Check: 0.0 Back: 67.343
INFO - Atoms: 37881/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 2739643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.502 Prop: 3141.814 PropClause: 3058.932 Set: 654.072 Check: 0.0 Back: 68.201
INFO - Atoms: 37731/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 2777198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.524 Prop: 3183.966 PropClause: 3099.932 Set: 661.88 Check: 0.0 Back: 69.068
INFO - Atoms: 37555/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 2814589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.543 Prop: 3221.732 PropClause: 3136.667 Set: 668.366 Check: 0.0 Back: 69.923
INFO - Atoms: 37391/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 2851818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.563 Prop: 3252.551 PropClause: 3166.467 Set: 674.659 Check: 0.0 Back: 70.774
INFO - Atoms: 37229/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 2888898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 3290.584 PropClause: 3203.486 Set: 681.095 Check: 0.0 Back: 71.625
INFO - Atoms: 37080/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 2925801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.601 Prop: 3325.353 PropClause: 3237.245 Set: 687.438 Check: 0.0 Back: 72.506
INFO - Atoms: 36903/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 2962540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.622 Prop: 3357.431 PropClause: 3268.319 Set: 693.632 Check: 0.0 Back: 73.346
INFO - Atoms: 36739/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 2999117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.64 Prop: 3392.438 PropClause: 3302.322 Set: 699.947 Check: 0.0 Back: 74.185
INFO - Atoms: 36577/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3035530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 3428.642 PropClause: 3337.523 Set: 706.243 Check: 0.0 Back: 75.035
INFO - Atoms: 36413/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3071781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.679 Prop: 3458.773 PropClause: 3366.604 Set: 712.915 Check: 0.0 Back: 75.864
INFO - Atoms: 36251/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3107883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.701 Prop: 3496.272 PropClause: 3403.106 Set: 719.175 Check: 0.0 Back: 76.703
INFO - Atoms: 36102/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3143808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 3530.437 PropClause: 3436.279 Set: 725.354 Check: 0.0 Back: 77.534
INFO - Atoms: 35925/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3179569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.741 Prop: 3581.568 PropClause: 3486.3 Set: 733.806 Check: 0.0 Back: 78.35
INFO - Atoms: 35761/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3215168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.763 Prop: 3626.14 PropClause: 3529.745 Set: 777.5 Check: 0.0 Back: 79.273
INFO - Atoms: 35599/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3250617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.842 Prop: 3658.76 PropClause: 3561.391 Set: 783.631 Check: 0.0 Back: 80.194
INFO - Atoms: 35449/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3285890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.858 Prop: 3694.296 PropClause: 3595.948 Set: 789.796 Check: 0.0 Back: 81.007
INFO - Atoms: 35273/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 3320999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.876 Prop: 3729.477 PropClause: 3630.153 Set: 795.867 Check: 0.0 Back: 81.824
INFO - Atoms: 35109/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 3355946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.891 Prop: 3762.266 PropClause: 3661.98 Set: 801.82 Check: 0.0 Back: 82.629
INFO - Atoms: 34947/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 3390729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 3796.933 PropClause: 3695.692 Set: 807.787 Check: 0.0 Back: 83.43
INFO - Atoms: 34783/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 3425350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.922 Prop: 3835.952 PropClause: 3733.758 Set: 813.828 Check: 0.0 Back: 84.222
INFO - Atoms: 34621/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 3459807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.938 Prop: 3866.238 PropClause: 3763.089 Set: 819.752 Check: 0.0 Back: 85.015
INFO - Atoms: 34457/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 3494102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.953 Prop: 3898.476 PropClause: 3794.384 Set: 825.637 Check: 0.0 Back: 85.815
INFO - Atoms: 34295/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 3528233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.968 Prop: 3936.589 PropClause: 3831.559 Set: 831.622 Check: 0.0 Back: 86.619
INFO - Atoms: 34131/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 3562202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.982 Prop: 3971.018 PropClause: 3865.055 Set: 837.511 Check: 0.0 Back: 87.409
INFO - Atoms: 33969/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 3596022 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.999 Prop: 4006.676 PropClause: 3899.78 Set: 843.416 Check: 0.0 Back: 88.187
INFO - Atoms: 33820/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 3629665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.019 Prop: 4036.944 PropClause: 3929.121 Set: 849.152 Check: 0.0 Back: 88.961
INFO - Atoms: 33643/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 3663157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.036 Prop: 4064.781 PropClause: 3956.029 Set: 854.73 Check: 0.0 Back: 89.757
INFO - Atoms: 33492/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 3696474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.053 Prop: 4097.144 PropClause: 3987.463 Set: 860.48 Check: 0.0 Back: 90.521
INFO - Atoms: 33317/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 3729640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 4130.145 PropClause: 4019.552 Set: 866.128 Check: 0.0 Back: 91.353
INFO - Atoms: 33166/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 3762631 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 4158.19 PropClause: 4046.684 Set: 871.74 Check: 0.0 Back: 92.106
INFO - Atoms: 32991/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 3795472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.131 Prop: 4184.268 PropClause: 4071.851 Set: 877.158 Check: 0.0 Back: 92.867
INFO - Atoms: 32841/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 3828137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.188 Prop: 4213.981 PropClause: 4100.657 Set: 882.734 Check: 0.0 Back: 93.619
INFO - Atoms: 32665/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 3860652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 4243.488 PropClause: 4129.27 Set: 888.223 Check: 0.0 Back: 94.37
INFO - Atoms: 32515/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 3892991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 4274.348 PropClause: 4159.134 Set: 894.895 Check: 0.0 Back: 95.11
INFO - Atoms: 32339/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 3925180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.221 Prop: 4304.982 PropClause: 4188.875 Set: 900.401 Check: 0.0 Back: 95.851
INFO - Atoms: 32189/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 3957193 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.232 Prop: 4334.77 PropClause: 4217.759 Set: 905.788 Check: 0.0 Back: 96.587
INFO - Atoms: 32013/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 3989055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.242 Prop: 4365.41 PropClause: 4247.519 Set: 911.195 Check: 0.0 Back: 97.332
INFO - Atoms: 31862/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4021876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.254 Prop: 4392.698 PropClause: 4273.9 Set: 916.856 Check: 0.0 Back: 98.075
INFO - Atoms: 32821/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4054677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.267 Prop: 4426.556 PropClause: 4306.827 Set: 922.62 Check: 0.0 Back: 98.833
INFO - Atoms: 32801/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4087006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.281 Prop: 4456.921 PropClause: 4336.284 Set: 928.326 Check: 0.0 Back: 99.622
INFO - Atoms: 32329/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 4119810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.292 Prop: 4482.837 PropClause: 4361.29 Set: 933.835 Check: 0.0 Back: 100.365
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 4152633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.302 Prop: 4511.904 PropClause: 4389.453 Set: 939.412 Check: 0.0 Back: 101.114
INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 4185607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.312 Prop: 4544.405 PropClause: 4421.029 Set: 945.189 Check: 0.0 Back: 101.869
INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 4218411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.323 Prop: 4572.849 PropClause: 4448.57 Set: 950.859 Check: 0.0 Back: 102.623
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 4251354 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.332 Prop: 4598.7 PropClause: 4473.503 Set: 956.425 Check: 0.0 Back: 103.39
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 4284318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.343 Prop: 4629.452 PropClause: 4503.341 Set: 962.089 Check: 0.0 Back: 104.142
INFO - Atoms: 32964/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 4317260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.355 Prop: 4663.327 PropClause: 4536.307 Set: 967.845 Check: 0.0 Back: 104.897
INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 4350066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.369 Prop: 4690.495 PropClause: 4562.564 Set: 973.412 Check: 0.0 Back: 105.654
INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 4383040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 4724.865 PropClause: 4596.005 Set: 979.286 Check: 0.0 Back: 106.414
INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 4415844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 4755.681 PropClause: 4625.903 Set: 984.975 Check: 0.0 Back: 107.184
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 4448787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.405 Prop: 4785.919 PropClause: 4655.226 Set: 990.662 Check: 0.0 Back: 107.932
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 4481121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.415 Prop: 4810.898 PropClause: 4679.313 Set: 996.058 Check: 0.0 Back: 108.688
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 4514063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.428 Prop: 4844.461 PropClause: 4711.953 Set: 1001.935 Check: 0.0 Back: 109.427
INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 4546886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 4877.736 PropClause: 4744.316 Set: 1007.769 Check: 0.0 Back: 110.188
INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 4579847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.454 Prop: 4904.488 PropClause: 4770.158 Set: 1013.34 Check: 0.0 Back: 110.958
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 4612651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.465 Prop: 4935.846 PropClause: 4800.586 Set: 1018.999 Check: 0.0 Back: 111.714
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 4645592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.476 Prop: 4966.865 PropClause: 4830.694 Set: 1024.673 Check: 0.0 Back: 112.473
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 4677926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.488 Prop: 4993.889 PropClause: 4856.825 Set: 1030.089 Check: 0.0 Back: 113.23
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 4710867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.499 Prop: 5024.118 PropClause: 4886.139 Set: 1035.804 Check: 0.0 Back: 113.972
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 4743691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 5055.338 PropClause: 4916.45 Set: 1041.505 Check: 0.0 Back: 114.724
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 4776666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 5087.015 PropClause: 4947.223 Set: 1047.171 Check: 0.0 Back: 115.476
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 4809470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 5115.023 PropClause: 4974.319 Set: 1052.793 Check: 0.0 Back: 116.225
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 4842411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.545 Prop: 5147.884 PropClause: 5006.258 Set: 1058.573 Check: 0.0 Back: 116.977
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 4874745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.554 Prop: 5178.236 PropClause: 5035.703 Set: 1064.134 Check: 0.0 Back: 117.728
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 4907686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.566 Prop: 5207.224 PropClause: 5063.737 Set: 1069.773 Check: 0.0 Back: 118.529
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 4940510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.577 Prop: 5236.087 PropClause: 5091.692 Set: 1075.503 Check: 0.0 Back: 119.283
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 4972856 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.59 Prop: 5272.025 PropClause: 5126.669 Set: 1081.754 Check: 0.0 Back: 120.03
INFO - Atoms: 32346/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 5005678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.604 Prop: 5306.85 PropClause: 5160.53 Set: 1088.149 Check: 0.0 Back: 120.789
INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 5038621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.617 Prop: 5339.745 PropClause: 5192.489 Set: 1094.203 Check: 0.0 Back: 121.641
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 5071585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.63 Prop: 5372.624 PropClause: 5224.44 Set: 1100.071 Check: 0.0 Back: 122.418
INFO - Atoms: 32964/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 5104525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.642 Prop: 5405.971 PropClause: 5256.875 Set: 1105.922 Check: 0.0 Back: 123.19
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 5137331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.657 Prop: 5436.403 PropClause: 5286.374 Set: 1111.86 Check: 0.0 Back: 123.956
INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 5169664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.668 Prop: 5469.395 PropClause: 5318.465 Set: 1117.487 Check: 0.0 Back: 124.714
INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 5202486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.68 Prop: 5498.875 PropClause: 5347.031 Set: 1123.216 Check: 0.0 Back: 125.456
INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 5235429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 5528.822 PropClause: 5376.003 Set: 1129.521 Check: 0.0 Back: 126.205
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 5268393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.706 Prop: 5559.93 PropClause: 5406.199 Set: 1135.279 Check: 0.0 Back: 126.964
INFO - Atoms: 32964/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 5301335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 5590.846 PropClause: 5436.199 Set: 1141.05 Check: 0.0 Back: 127.734
INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 5334141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.725 Prop: 5619.539 PropClause: 5463.977 Set: 1146.655 Check: 0.0 Back: 128.489
INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 5367102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 5645.316 PropClause: 5488.845 Set: 1152.25 Check: 0.0 Back: 129.24
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 5399906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.746 Prop: 5675.912 PropClause: 5518.534 Set: 1157.992 Check: 0.0 Back: 129.995
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 5432847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 5706.922 PropClause: 5548.625 Set: 1163.7 Check: 0.0 Back: 130.749
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 5465181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.77 Prop: 5731.72 PropClause: 5572.527 Set: 1169.103 Check: 0.0 Back: 131.499
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 5498124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.779 Prop: 5762.692 PropClause: 5602.588 Set: 1174.805 Check: 0.0 Back: 132.239
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 5530946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.792 Prop: 5792.278 PropClause: 5631.24 Set: 1180.528 Check: 0.0 Back: 132.993
INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 5563922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.804 Prop: 5821.175 PropClause: 5659.218 Set: 1186.205 Check: 0.0 Back: 133.767
INFO - Atoms: 32976/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 5596726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.816 Prop: 5847.767 PropClause: 5684.895 Set: 1191.853 Check: 0.0 Back: 134.526
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 5629667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.826 Prop: 5878.102 PropClause: 5714.323 Set: 1197.546 Check: 0.0 Back: 135.277
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 5662001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 5905.35 PropClause: 5740.668 Set: 1203.147 Check: 0.0 Back: 136.03
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 5694942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.848 Prop: 5930.998 PropClause: 5765.396 Set: 1208.739 Check: 0.0 Back: 136.778
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 5727766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.858 Prop: 5959.178 PropClause: 5792.661 Set: 1214.399 Check: 0.0 Back: 137.537
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 5760741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.866 Prop: 5989.527 PropClause: 5822.096 Set: 1220.106 Check: 0.0 Back: 138.288
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 5793545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.877 Prop: 6019.517 PropClause: 5851.179 Set: 1225.889 Check: 0.0 Back: 139.039
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 5826486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.885 Prop: 6044.343 PropClause: 5875.092 Set: 1231.438 Check: 0.0 Back: 139.777
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 5858820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.893 Prop: 6071.505 PropClause: 5901.366 Set: 1236.932 Check: 0.0 Back: 140.545
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 5891760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.902 Prop: 6098.82 PropClause: 5927.772 Set: 1242.589 Check: 0.0 Back: 141.275
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 5924585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.91 Prop: 6122.469 PropClause: 5950.517 Set: 1248.108 Check: 0.0 Back: 142.024
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 5957559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 6150.681 PropClause: 5977.823 Set: 1253.812 Check: 0.0 Back: 142.77
INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 5990363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.929 Prop: 6179.444 PropClause: 6005.679 Set: 1259.41 Check: 0.0 Back: 143.524
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 6023304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.938 Prop: 6209.644 PropClause: 6034.964 Set: 1265.149 Check: 0.0 Back: 144.273
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 6055638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 6233.223 PropClause: 6057.65 Set: 1270.544 Check: 0.0 Back: 145.024
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 6088578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.956 Prop: 6261.11 PropClause: 6084.629 Set: 1276.256 Check: 0.0 Back: 145.759
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 6121403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.964 Prop: 6287.043 PropClause: 6109.658 Set: 1281.826 Check: 0.0 Back: 146.507
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 6154377 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.972 Prop: 6310.553 PropClause: 6132.268 Set: 1287.353 Check: 0.0 Back: 147.253
INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 6187181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.983 Prop: 6338.746 PropClause: 6159.553 Set: 1292.981 Check: 0.0 Back: 148.002
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 6220122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.994 Prop: 6368.069 PropClause: 6187.973 Set: 1298.599 Check: 0.0 Back: 148.748
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 6252456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.005 Prop: 6395.886 PropClause: 6214.898 Set: 1304.102 Check: 0.0 Back: 149.498
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 6285396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.013 Prop: 6423.093 PropClause: 6241.204 Set: 1309.759 Check: 0.0 Back: 150.231
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 6318221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 6451.52 PropClause: 6268.646 Set: 1315.473 Check: 0.0 Back: 150.982
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 6351182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.036 Prop: 6478.822 PropClause: 6295.03 Set: 1321.125 Check: 0.0 Back: 151.737
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 6383986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.045 Prop: 6505.171 PropClause: 6320.47 Set: 1326.753 Check: 0.0 Back: 152.489
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 6416927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.057 Prop: 6534.939 PropClause: 6349.322 Set: 1341.926 Check: 0.0 Back: 153.236
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 6449261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.066 Prop: 6563.463 PropClause: 6376.954 Set: 1347.513 Check: 0.0 Back: 153.99
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 6482201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.077 Prop: 6589.981 PropClause: 6402.563 Set: 1353.072 Check: 0.0 Back: 154.726
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 6515026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 6613.389 PropClause: 6425.064 Set: 1358.561 Check: 0.0 Back: 155.472
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 6548001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.097 Prop: 6643.483 PropClause: 6454.229 Set: 1364.292 Check: 0.0 Back: 156.227
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 6580805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.107 Prop: 6671.245 PropClause: 6481.088 Set: 1369.968 Check: 0.0 Back: 156.983
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 6613746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.147 Prop: 6696.444 PropClause: 6505.379 Set: 1375.521 Check: 0.0 Back: 157.734
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 6646080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 6725.674 PropClause: 6533.713 Set: 1381.076 Check: 0.0 Back: 158.507
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 6679021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.19 Prop: 6756.889 PropClause: 6564.016 Set: 1386.814 Check: 0.0 Back: 159.26
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 6711845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.2 Prop: 6786.006 PropClause: 6592.218 Set: 1392.548 Check: 0.0 Back: 160.01
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 6744806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.209 Prop: 6811.792 PropClause: 6617.094 Set: 1398.143 Check: 0.0 Back: 160.76
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 6777610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.22 Prop: 6841.469 PropClause: 6645.864 Set: 1403.885 Check: 0.0 Back: 161.514
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 6810551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 6872.607 PropClause: 6676.087 Set: 1409.617 Check: 0.0 Back: 162.265
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 6842885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.238 Prop: 6904.136 PropClause: 6706.713 Set: 1415.274 Check: 0.0 Back: 163.019
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 6875826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.248 Prop: 6937.682 PropClause: 6739.344 Set: 1421.149 Check: 0.0 Back: 163.757
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 6908650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 6967.873 PropClause: 6768.628 Set: 1426.833 Check: 0.0 Back: 164.512
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 6941625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.266 Prop: 6998.03 PropClause: 6797.874 Set: 1432.595 Check: 0.0 Back: 165.266
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 6974429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.277 Prop: 7026.336 PropClause: 6825.267 Set: 1438.313 Check: 0.0 Back: 166.02
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 7007370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.285 Prop: 7057.328 PropClause: 6855.323 Set: 1444.083 Check: 0.0 Back: 166.776
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 7039704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.296 Prop: 7087.35 PropClause: 6884.455 Set: 1449.683 Check: 0.0 Back: 167.533
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 7072645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.306 Prop: 7116.988 PropClause: 6913.181 Set: 1455.406 Check: 0.0 Back: 168.28
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 7105469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.314 Prop: 7147.643 PropClause: 6942.932 Set: 1461.118 Check: 0.0 Back: 169.034
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 7138443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 7178.847 PropClause: 6973.213 Set: 1466.922 Check: 0.0 Back: 169.784
INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 7171247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.332 Prop: 7207.239 PropClause: 7000.703 Set: 1472.564 Check: 0.0 Back: 170.538
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 7204188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.34 Prop: 7236.819 PropClause: 7029.363 Set: 1478.263 Check: 0.0 Back: 171.285
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 7236522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 7267.915 PropClause: 7059.553 Set: 1483.888 Check: 0.0 Back: 172.038
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 7269462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.363 Prop: 7298.914 PropClause: 7089.642 Set: 1489.633 Check: 0.0 Back: 172.792
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 7302287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.371 Prop: 7326.824 PropClause: 7116.649 Set: 1495.262 Check: 0.0 Back: 173.546
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 7335248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.38 Prop: 7358.813 PropClause: 7147.729 Set: 1500.999 Check: 0.0 Back: 174.294
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 7368052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.39 Prop: 7389.364 PropClause: 7177.374 Set: 1506.749 Check: 0.0 Back: 175.044
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 7400993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 7420.027 PropClause: 7207.126 Set: 1512.517 Check: 0.0 Back: 175.807
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 7433327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.409 Prop: 7451.241 PropClause: 7237.427 Set: 1518.173 Check: 0.0 Back: 176.562
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 7466268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 7483.81 PropClause: 7269.08 Set: 1524.004 Check: 0.0 Back: 177.309
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 7499092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 7515.691 PropClause: 7300.053 Set: 1529.816 Check: 0.0 Back: 178.063
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 7532068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.439 Prop: 7545.887 PropClause: 7329.328 Set: 1535.571 Check: 0.0 Back: 178.816
INFO - Atoms: 32976/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 7564872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 7578.993 PropClause: 7361.526 Set: 1541.412 Check: 0.0 Back: 179.569
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 7597813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.459 Prop: 7612.257 PropClause: 7393.883 Set: 1547.261 Check: 0.0 Back: 180.336
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 7630147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.47 Prop: 7640.819 PropClause: 7421.554 Set: 1552.814 Check: 0.0 Back: 181.092
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 7663087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.48 Prop: 7674.529 PropClause: 7454.35 Set: 1558.693 Check: 0.0 Back: 181.831
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 7695912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 7705.616 PropClause: 7484.53 Set: 1564.477 Check: 0.0 Back: 182.585
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 7728873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.5 Prop: 7740.168 PropClause: 7518.16 Set: 1570.354 Check: 0.0 Back: 183.364
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 7761677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.51 Prop: 7775.161 PropClause: 7552.248 Set: 1576.207 Check: 0.0 Back: 184.119
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 7794618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 7811.501 PropClause: 7587.676 Set: 1582.141 Check: 0.0 Back: 184.887
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 7826952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.529 Prop: 7843.701 PropClause: 7618.983 Set: 1587.783 Check: 0.0 Back: 185.641
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 7859892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.538 Prop: 7874.799 PropClause: 7649.173 Set: 1593.622 Check: 0.0 Back: 186.376
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 7892717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 7906.906 PropClause: 7680.361 Set: 1599.449 Check: 0.0 Back: 187.131
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 7925678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 7939.071 PropClause: 7711.603 Set: 1605.263 Check: 0.0 Back: 187.881
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 7958482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 7968.838 PropClause: 7740.448 Set: 1611.009 Check: 0.0 Back: 188.636
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 7991423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 8002.391 PropClause: 7773.077 Set: 1616.84 Check: 0.0 Back: 189.387
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 8023757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 8033.793 PropClause: 7803.58 Set: 1622.546 Check: 0.0 Back: 190.154
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 8056698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.61 Prop: 8063.573 PropClause: 7832.45 Set: 1628.388 Check: 0.0 Back: 190.907
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 8089522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.622 Prop: 8098.082 PropClause: 7866.047 Set: 1634.276 Check: 0.0 Back: 191.684
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 8122483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 8131.284 PropClause: 7898.323 Set: 1640.159 Check: 0.0 Back: 192.441
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 8155287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.64 Prop: 8162.635 PropClause: 7928.761 Set: 1645.982 Check: 0.0 Back: 193.209
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 8188228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.652 Prop: 8188.142 PropClause: 7953.354 Set: 1651.652 Check: 0.0 Back: 193.955
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 8220562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.662 Prop: 8217.29 PropClause: 7981.606 Set: 1657.213 Check: 0.0 Back: 194.71
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 8253502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 8245.734 PropClause: 8009.14 Set: 1662.948 Check: 0.0 Back: 195.46
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 8286327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.682 Prop: 8270.342 PropClause: 8032.839 Set: 1668.573 Check: 0.0 Back: 196.209
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 8319288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.691 Prop: 8302.541 PropClause: 8064.111 Set: 1674.37 Check: 0.0 Back: 196.964
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 8352092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.7 Prop: 8333.428 PropClause: 8094.088 Set: 1680.064 Check: 0.0 Back: 197.716
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 8385033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.71 Prop: 8362.613 PropClause: 8122.366 Set: 1685.815 Check: 0.0 Back: 198.474
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 8417367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.719 Prop: 8386.842 PropClause: 8145.705 Set: 1691.276 Check: 0.0 Back: 199.228
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 8450307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.733 Prop: 8418.347 PropClause: 8176.28 Set: 1697.215 Check: 0.0 Back: 199.997
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 8483132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.743 Prop: 8446.479 PropClause: 8203.506 Set: 1702.925 Check: 0.0 Back: 200.784
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 8516093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.754 Prop: 8471.752 PropClause: 8227.866 Set: 1708.571 Check: 0.0 Back: 201.538
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 8548897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.765 Prop: 8500.587 PropClause: 8255.798 Set: 1714.282 Check: 0.0 Back: 202.291
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 8581838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.776 Prop: 8530.319 PropClause: 8284.62 Set: 1720.044 Check: 0.0 Back: 203.041
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 8614172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.786 Prop: 8557.644 PropClause: 8311.05 Set: 1725.617 Check: 0.0 Back: 203.79
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 8647113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.798 Prop: 8585.341 PropClause: 8337.836 Set: 1731.423 Check: 0.0 Back: 204.525
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 8679937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 8617.925 PropClause: 8369.501 Set: 1737.284 Check: 0.0 Back: 205.278
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 8712898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.82 Prop: 8647.079 PropClause: 8397.744 Set: 1743.047 Check: 0.0 Back: 206.044
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 8745702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 8675.009 PropClause: 8424.663 Set: 1749.778 Check: 0.0 Back: 206.801
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 8778643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.85 Prop: 8705.139 PropClause: 8453.874 Set: 1755.557 Check: 0.0 Back: 207.641
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 8810977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.862 Prop: 8733.405 PropClause: 8481.242 Set: 1770.927 Check: 0.0 Back: 208.425
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 8843918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.873 Prop: 8762.804 PropClause: 8509.712 Set: 1776.72 Check: 0.0 Back: 209.16
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 8876742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 8789.988 PropClause: 8535.984 Set: 1782.448 Check: 0.0 Back: 209.923
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 8909717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 8822.377 PropClause: 8567.458 Set: 1788.224 Check: 0.0 Back: 210.672
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 8942521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.901 Prop: 8850.537 PropClause: 8594.708 Set: 1793.917 Check: 0.0 Back: 211.433
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 8975462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.91 Prop: 8875.553 PropClause: 8618.818 Set: 1799.589 Check: 0.0 Back: 212.185
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 9007796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.919 Prop: 8904.531 PropClause: 8646.903 Set: 1805.244 Check: 0.0 Back: 212.94
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 9040737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.928 Prop: 8935.358 PropClause: 8676.817 Set: 1811.055 Check: 0.0 Back: 213.683
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 9073561 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 8964.713 PropClause: 8705.268 Set: 1816.898 Check: 0.0 Back: 214.445
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 9106536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.951 Prop: 8993.485 PropClause: 8733.085 Set: 1822.724 Check: 0.0 Back: 215.198
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 9139340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.964 Prop: 9024.507 PropClause: 8763.157 Set: 1828.475 Check: 0.0 Back: 215.976
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 9172281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.973 Prop: 9053.164 PropClause: 8790.901 Set: 1834.234 Check: 0.0 Back: 216.726
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 9204615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 9077.613 PropClause: 8814.451 Set: 1839.736 Check: 0.0 Back: 217.491
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 9237555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.995 Prop: 9108.084 PropClause: 8844.019 Set: 1845.564 Check: 0.0 Back: 218.235
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 9270380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.004 Prop: 9139.211 PropClause: 8874.247 Set: 1851.309 Check: 0.0 Back: 218.987
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 9303341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.014 Prop: 9168.247 PropClause: 8902.37 Set: 1857.035 Check: 0.0 Back: 219.746
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 9336145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 9196.297 PropClause: 8929.514 Set: 1862.788 Check: 0.0 Back: 220.505
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 9369086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.035 Prop: 9225.732 PropClause: 8958.046 Set: 1868.523 Check: 0.0 Back: 221.267
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 9401420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.045 Prop: 9252.905 PropClause: 8984.335 Set: 1874.079 Check: 0.0 Back: 222.019
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 9434361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.055 Prop: 9276.839 PropClause: 9007.367 Set: 1879.687 Check: 0.0 Back: 222.76
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 9467185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 9304.986 PropClause: 9034.604 Set: 1885.399 Check: 0.0 Back: 223.51
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 9500146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.073 Prop: 9334.085 PropClause: 9062.798 Set: 1891.137 Check: 0.0 Back: 224.26
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 9532950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 9360.768 PropClause: 9088.571 Set: 1896.765 Check: 0.0 Back: 225.01
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 9565891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.092 Prop: 9387.104 PropClause: 9114.007 Set: 1902.496 Check: 0.0 Back: 225.756
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 9598225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 9415.356 PropClause: 9141.365 Set: 1919.473 Check: 0.0 Back: 226.503
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 9631165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.113 Prop: 9445.472 PropClause: 9170.579 Set: 1925.297 Check: 0.0 Back: 227.259
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 9663990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.122 Prop: 9472.367 PropClause: 9196.572 Set: 1930.978 Check: 0.0 Back: 228.012
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 9696323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.131 Prop: 9503.799 PropClause: 9227.118 Set: 1936.635 Check: 0.0 Back: 228.771
INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 9729145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.141 Prop: 9532.558 PropClause: 9254.978 Set: 1942.364 Check: 0.0 Back: 229.511
INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 9762088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.15 Prop: 9561.638 PropClause: 9283.148 Set: 1948.118 Check: 0.0 Back: 230.263
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 9794422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.161 Prop: 9587.888 PropClause: 9308.512 Set: 1953.719 Check: 0.0 Back: 231.017
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 9827365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.17 Prop: 9616.34 PropClause: 9336.065 Set: 1959.51 Check: 0.0 Back: 231.756
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 9860187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 9644.719 PropClause: 9363.543 Set: 1965.231 Check: 0.0 Back: 232.519
INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 9892520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.189 Prop: 9671.915 PropClause: 9389.844 Set: 1970.818 Check: 0.0 Back: 233.269
INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 9925344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.198 Prop: 9701.51 PropClause: 9418.539 Set: 1976.599 Check: 0.0 Back: 234.007
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 9958285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 9731.831 PropClause: 9447.957 Set: 1982.454 Check: 0.0 Back: 234.752
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 9991247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.22 Prop: 9760.625 PropClause: 9475.832 Set: 1988.238 Check: 0.0 Back: 235.504
INFO - Atoms: 32962/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 10024188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.231 Prop: 9785.942 PropClause: 9500.246 Set: 1993.908 Check: 0.0 Back: 236.258
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 10056994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.241 Prop: 9814.329 PropClause: 9527.734 Set: 1999.652 Check: 0.0 Back: 237.011
INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 10089955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 9843.16 PropClause: 9555.652 Set: 2005.464 Check: 0.0 Back: 237.762
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 10122759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.26 Prop: 9868.5 PropClause: 9580.093 Set: 2011.108 Check: 0.0 Back: 238.508
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 10155700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.268 Prop: 9899.206 PropClause: 9609.894 Set: 2016.971 Check: 0.0 Back: 239.255
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 10188034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.28 Prop: 9929.776 PropClause: 9639.576 Set: 2022.648 Check: 0.0 Back: 240.007
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 10220976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 9959.363 PropClause: 9668.261 Set: 2028.49 Check: 0.0 Back: 240.754
INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 10253799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.301 Prop: 9985.426 PropClause: 9693.423 Set: 2034.132 Check: 0.0 Back: 241.504
INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 10286774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.31 Prop: 10015.503 PropClause: 9722.598 Set: 2039.961 Check: 0.0 Back: 242.267
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 10319578 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.319 Prop: 10044.812 PropClause: 9751.007 Set: 2045.74 Check: 0.0 Back: 243.02
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 10352519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.327 Prop: 10070.18 PropClause: 9775.474 Set: 2051.442 Check: 0.0 Back: 243.774
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 10384853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.338 Prop: 10100.129 PropClause: 9804.534 Set: 2057.071 Check: 0.0 Back: 244.526
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 10417794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.35 Prop: 10130.633 PropClause: 9834.124 Set: 2062.916 Check: 0.0 Back: 245.28
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 10450618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.36 Prop: 10161.039 PropClause: 9863.628 Set: 2068.722 Check: 0.0 Back: 246.033
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 10483593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.37 Prop: 10187.657 PropClause: 9889.336 Set: 2074.488 Check: 0.0 Back: 246.785
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 10516397 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.379 Prop: 10218.228 PropClause: 9919.005 Set: 2080.285 Check: 0.0 Back: 247.542
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 10549338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.391 Prop: 10251.35 PropClause: 9951.209 Set: 2086.253 Check: 0.0 Back: 248.333
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 10581672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.401 Prop: 10284.121 PropClause: 9983.098 Set: 2091.973 Check: 0.0 Back: 249.09
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 10614612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.411 Prop: 10315.206 PropClause: 10013.282 Set: 2097.845 Check: 0.0 Back: 249.83
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 10647437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.421 Prop: 10345.742 PropClause: 10042.919 Set: 2103.605 Check: 0.0 Back: 250.582
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 10680412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.431 Prop: 10375.122 PropClause: 10071.396 Set: 2109.399 Check: 0.0 Back: 251.328
INFO - Atoms: 32975/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 10713216 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.441 Prop: 10402.051 PropClause: 10097.425 Set: 2115.1 Check: 0.0 Back: 252.083
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 10746157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.45 Prop: 10430.364 PropClause: 10124.824 Set: 2120.9 Check: 0.0 Back: 252.834
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 10778491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.459 Prop: 10458.5 PropClause: 10152.065 Set: 2126.53 Check: 0.0 Back: 253.589
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 10811432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 10482.883 PropClause: 10175.546 Set: 2132.226 Check: 0.0 Back: 254.326
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 10844256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.478 Prop: 10511.823 PropClause: 10203.588 Set: 2137.983 Check: 0.0 Back: 255.081
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 10877230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.486 Prop: 10541.672 PropClause: 10232.534 Set: 2143.806 Check: 0.0 Back: 255.828
INFO - Atoms: 32974/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 10910034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.496 Prop: 10571.717 PropClause: 10261.684 Set: 2149.586 Check: 0.0 Back: 256.576
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 10942975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.505 Prop: 10597.221 PropClause: 10286.284 Set: 2155.339 Check: 0.0 Back: 257.33
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 10975309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.515 Prop: 10626.1 PropClause: 10314.277 Set: 2160.986 Check: 0.0 Back: 258.086
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 11008250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.529 Prop: 10660.652 PropClause: 10347.809 Set: 2168.163 Check: 0.0 Back: 258.838
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 11041074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.538 Prop: 10685.63 PropClause: 10371.884 Set: 2173.846 Check: 0.0 Back: 259.59
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 11074035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.546 Prop: 10715.054 PropClause: 10400.392 Set: 2179.641 Check: 0.0 Back: 260.338
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 11106839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.556 Prop: 10743.631 PropClause: 10428.075 Set: 2185.42 Check: 0.0 Back: 261.1
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 11139780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.565 Prop: 10769.709 PropClause: 10453.249 Set: 2191.081 Check: 0.0 Back: 261.852
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 11172114 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.574 Prop: 10797.822 PropClause: 10480.463 Set: 2196.722 Check: 0.0 Back: 262.604
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 11205055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.586 Prop: 10827.39 PropClause: 10509.131 Set: 2202.553 Check: 0.0 Back: 263.354
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 11237879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.596 Prop: 10856.28 PropClause: 10537.125 Set: 2208.311 Check: 0.0 Back: 264.102
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 11270840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.605 Prop: 10880.685 PropClause: 10560.612 Set: 2213.997 Check: 0.0 Back: 264.864
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 11303644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.615 Prop: 10911.124 PropClause: 10590.15 Set: 2219.767 Check: 0.0 Back: 265.619
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 11336585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.624 Prop: 10940.884 PropClause: 10619.006 Set: 2225.564 Check: 0.0 Back: 266.374
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 11368919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.635 Prop: 10968.741 PropClause: 10645.976 Set: 2231.159 Check: 0.0 Back: 267.126
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 11401860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.645 Prop: 10996.514 PropClause: 10672.834 Set: 2236.963 Check: 0.0 Back: 267.864
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 11434684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.655 Prop: 11026.057 PropClause: 10701.478 Set: 2242.709 Check: 0.0 Back: 268.621
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 11467645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.665 Prop: 11056.097 PropClause: 10730.618 Set: 2248.61 Check: 0.0 Back: 269.368
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 11500449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 11083.164 PropClause: 10756.787 Set: 2254.296 Check: 0.0 Back: 270.121
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 11533390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.682 Prop: 11113.269 PropClause: 10785.986 Set: 2260.11 Check: 0.0 Back: 270.88
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 11565724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.692 Prop: 11143.825 PropClause: 10815.654 Set: 2265.768 Check: 0.0 Back: 271.627
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 11598664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.703 Prop: 11172.616 PropClause: 10843.537 Set: 2271.58 Check: 0.0 Back: 272.362
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 11631489 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.713 Prop: 11198.223 PropClause: 10868.245 Set: 2277.306 Check: 0.0 Back: 273.116
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 11664450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.722 Prop: 11227.666 PropClause: 10896.784 Set: 2283.135 Check: 0.0 Back: 273.862
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 11697254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.731 Prop: 11257.756 PropClause: 10925.966 Set: 2288.911 Check: 0.0 Back: 274.617
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 11730195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.74 Prop: 11285.684 PropClause: 10952.989 Set: 2294.635 Check: 0.0 Back: 275.368
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 11762529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.751 Prop: 11314.306 PropClause: 10980.725 Set: 2300.302 Check: 0.0 Back: 276.131
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 11795469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 11345.119 PropClause: 11010.633 Set: 2306.209 Check: 0.0 Back: 276.882
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 11828294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.775 Prop: 11376.141 PropClause: 11040.754 Set: 2312.047 Check: 0.0 Back: 277.636
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 11861255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.784 Prop: 11403.01 PropClause: 11066.725 Set: 2317.774 Check: 0.0 Back: 278.385
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 11894059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.795 Prop: 11432.823 PropClause: 11095.636 Set: 2323.574 Check: 0.0 Back: 279.134
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 11927000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.805 Prop: 11463.789 PropClause: 11125.703 Set: 2329.427 Check: 0.0 Back: 279.892
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 11959334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.815 Prop: 11492.025 PropClause: 11153.051 Set: 2335.052 Check: 0.0 Back: 280.652
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 11992274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.825 Prop: 11522.171 PropClause: 11182.293 Set: 2340.937 Check: 0.0 Back: 281.391
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 12025099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.839 Prop: 11553.101 PropClause: 11212.321 Set: 2356.748 Check: 0.0 Back: 282.143
INFO - Atoms: 32825/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 12057432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.848 Prop: 11582.198 PropClause: 11240.533 Set: 2362.419 Check: 0.0 Back: 282.895
INFO - Atoms: 32333/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 12090254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.856 Prop: 11610.256 PropClause: 11267.692 Set: 2368.246 Check: 0.0 Back: 283.628
INFO - Atoms: 32822/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 12123197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.866 Prop: 11640.436 PropClause: 11296.964 Set: 2374.118 Check: 0.0 Back: 284.377
INFO - Atoms: 32943/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 12155531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.876 Prop: 11670.595 PropClause: 11326.24 Set: 2379.745 Check: 0.0 Back: 285.131
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 12188473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.886 Prop: 11695.292 PropClause: 11350.03 Set: 2385.459 Check: 0.0 Back: 285.864
INFO - Atoms: 32942/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 12221296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.895 Prop: 11725.727 PropClause: 11379.566 Set: 2391.275 Check: 0.0 Back: 286.617
INFO - Atoms: 32823/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 12253644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.905 Prop: 11755.309 PropClause: 11408.261 Set: 2396.902 Check: 0.0 Back: 287.366
INFO - Atoms: 32348/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 12286468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.916 Prop: 11785.571 PropClause: 11437.623 Set: 2402.679 Check: 0.0 Back: 288.105
INFO - Atoms: 32824/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 12319409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.926 Prop: 11811.396 PropClause: 11462.546 Set: 2408.396 Check: 0.0 Back: 288.852
INFO - Atoms: 32941/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 12352371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.935 Prop: 11842.468 PropClause: 11492.715 Set: 2414.241 Check: 0.0 Back: 289.606
INFO - Atoms: 32962/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 12385311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.945 Prop: 11872.675 PropClause: 11522.017 Set: 2420.103 Check: 0.0 Back: 290.362
INFO - Atoms: 32940/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 12418117 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.953 Prop: 11899.335 PropClause: 11547.78 Set: 2425.872 Check: 0.0 Back: 291.118
INFO - Atoms: 32806/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 12451078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.963 Prop: 11929.916 PropClause: 11577.456 Set: 2431.765 Check: 0.0 Back: 291.863
INFO - Atoms: 32961/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 12483882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.975 Prop: 11960.581 PropClause: 11607.22 Set: 2437.615 Check: 0.0 Back: 292.615
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 12516760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.986 Prop: 11990.341 PropClause: 11636.071 Set: 2443.429 Check: 0.0 Back: 293.367
INFO - Atoms: 32878/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 12549094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.996 Prop: 12015.572 PropClause: 11660.42 Set: 2448.961 Check: 0.0 Back: 294.124
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 12581898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.005 Prop: 12045.127 PropClause: 11689.075 Set: 2454.768 Check: 0.0 Back: 294.865
INFO - Atoms: 32804/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 12614641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.014 Prop: 12075.938 PropClause: 11718.98 Set: 2460.49 Check: 0.0 Back: 295.611
INFO - Atoms: 32743/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 12647470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.023 Prop: 12104.649 PropClause: 11746.791 Set: 2466.245 Check: 0.0 Back: 296.357
INFO - Atoms: 32829/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 12680126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.035 Prop: 12133.27 PropClause: 11774.516 Set: 2472.026 Check: 0.0 Back: 297.105
INFO - Atoms: 32656/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 12712785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.047 Prop: 12162.899 PropClause: 11803.249 Set: 2477.832 Check: 0.0 Back: 297.85
INFO - Atoms: 32659/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 12745119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.058 Prop: 12193.694 PropClause: 11833.156 Set: 2483.54 Check: 0.0 Back: 298.6
INFO - Atoms: 32334/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 12777617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.221 Prop: 12219.806 PropClause: 11858.359 Set: 2489.152 Check: 0.0 Back: 299.352
INFO - Atoms: 32498/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 12810115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.234 Prop: 12261.384 PropClause: 11898.93 Set: 2497.017 Check: 0.0 Back: 300.163
INFO - Atoms: 32498/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 12842613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.386 Prop: 12293.859 PropClause: 11930.511 Set: 2502.765 Check: 0.0 Back: 301.008
INFO - Atoms: 32498/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 12874949 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.396 Prop: 12321.965 PropClause: 11957.733 Set: 2508.392 Check: 0.0 Back: 301.75
INFO - Atoms: 32336/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 12907435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.41 Prop: 12352.188 PropClause: 11987.051 Set: 2514.193 Check: 0.0 Back: 302.491
INFO - Atoms: 32486/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 12939750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.42 Prop: 12381.75 PropClause: 12015.718 Set: 2519.835 Check: 0.0 Back: 303.241
INFO - Atoms: 32315/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 12972222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.429 Prop: 12407.467 PropClause: 12040.538 Set: 2525.499 Check: 0.0 Back: 303.98
INFO - Atoms: 32472/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 13004233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.544 Prop: 12438.871 PropClause: 12071.065 Set: 2531.067 Check: 0.0 Back: 304.721
INFO - Atoms: 32011/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 13036424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.554 Prop: 12468.37 PropClause: 12099.684 Set: 2536.662 Check: 0.0 Back: 305.452
INFO - Atoms: 32191/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 13068437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.562 Prop: 12498.135 PropClause: 12128.57 Set: 2542.254 Check: 0.0 Back: 306.203
INFO - Atoms: 32013/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 13100298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.573 Prop: 12522.339 PropClause: 12151.9 Set: 2547.716 Check: 0.0 Back: 306.943
INFO - Atoms: 31861/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 13132290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.584 Prop: 12560.954 PropClause: 12189.537 Set: 2558.775 Check: 0.0 Back: 307.67
INFO - Atoms: 31992/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 13164447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.596 Prop: 12588.392 PropClause: 12216.079 Set: 2564.176 Check: 0.0 Back: 308.399
INFO - Atoms: 32157/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 13196787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.641 Prop: 12615.907 PropClause: 12242.669 Set: 2569.722 Check: 0.0 Back: 309.129
INFO - Atoms: 32340/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 13229270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.685 Prop: 12645.108 PropClause: 12270.947 Set: 2575.288 Check: 0.0 Back: 309.898
INFO - Atoms: 32483/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 13261934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.725 Prop: 12673.856 PropClause: 12298.767 Set: 2580.808 Check: 0.0 Back: 310.667
INFO - Atoms: 32664/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 13294743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.805 Prop: 12699.782 PropClause: 12323.772 Set: 2586.218 Check: 0.0 Back: 311.415
INFO - Atoms: 32809/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 13327733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.847 Prop: 12727.909 PropClause: 12350.972 Set: 2591.821 Check: 0.0 Back: 312.163
INFO - Atoms: 32990/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 13360868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.914 Prop: 12757.378 PropClause: 12379.511 Set: 2597.452 Check: 0.0 Back: 312.916
INFO - Atoms: 33135/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 13394184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.004 Prop: 12786.088 PropClause: 12407.283 Set: 2603.101 Check: 0.0 Back: 313.673
INFO - Atoms: 33316/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 13427645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.044 Prop: 12813.392 PropClause: 12433.646 Set: 2608.712 Check: 0.0 Back: 314.522
INFO - Atoms: 33461/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 13461287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.075 Prop: 12845.467 PropClause: 12464.78 Set: 2614.444 Check: 0.0 Back: 315.287
INFO - Atoms: 33642/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 13495074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.105 Prop: 12877.553 PropClause: 12495.919 Set: 2620.25 Check: 0.0 Back: 316.076
INFO - Atoms: 33787/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 13529042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.138 Prop: 12908.516 PropClause: 12525.916 Set: 2626.073 Check: 0.0 Back: 316.861
INFO - Atoms: 33968/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 13563155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.179 Prop: 12935.12 PropClause: 12551.562 Set: 2631.743 Check: 0.0 Back: 317.638
INFO - Atoms: 34113/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 13597449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.212 Prop: 12966.944 PropClause: 12582.427 Set: 2637.589 Check: 0.0 Back: 318.42
INFO - Atoms: 34294/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 13631888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.238 Prop: 12997.086 PropClause: 12611.605 Set: 2643.392 Check: 0.0 Back: 319.202
INFO - Atoms: 34439/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 13666508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.284 Prop: 13041.484 PropClause: 12654.902 Set: 2651.688 Check: 0.0 Back: 319.987
INFO - Atoms: 34620/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 13701273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.326 Prop: 13083.111 PropClause: 12695.444 Set: 2659.941 Check: 0.0 Back: 320.874
INFO - Atoms: 34765/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 13736219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.369 Prop: 13121.215 PropClause: 12732.435 Set: 2668.051 Check: 0.0 Back: 321.763
INFO - Atoms: 34946/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 13771310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.414 Prop: 13155.743 PropClause: 12765.978 Set: 2684.487 Check: 0.0 Back: 322.696
INFO - Atoms: 35091/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 13806582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.481 Prop: 13198.285 PropClause: 12807.434 Set: 2693.173 Check: 0.0 Back: 323.507
INFO - Atoms: 35272/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 13841999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.486 Prop: 13240.902 PropClause: 12848.949 Set: 2701.657 Check: 0.0 Back: 324.409
INFO - Atoms: 35417/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 13877597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.49 Prop: 13285.14 PropClause: 12892.09 Set: 2710.146 Check: 0.0 Back: 325.323
INFO - Atoms: 35598/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 13913340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.497 Prop: 13326.703 PropClause: 12932.552 Set: 2718.835 Check: 0.0 Back: 326.222
INFO - Atoms: 35743/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 13949264 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.502 Prop: 13372.481 PropClause: 12977.223 Set: 2727.42 Check: 0.0 Back: 327.13
INFO - Atoms: 35924/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 13985333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.507 Prop: 13412.834 PropClause: 13016.462 Set: 2735.929 Check: 0.0 Back: 328.054
INFO - Atoms: 36069/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 14021583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.512 Prop: 13449.735 PropClause: 13052.343 Set: 2742.244 Check: 0.0 Back: 328.986
INFO - Atoms: 36250/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 14057978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.516 Prop: 13483.449 PropClause: 13085.038 Set: 2748.515 Check: 0.0 Back: 329.815
INFO - Atoms: 36395/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 14094554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.521 Prop: 13515.049 PropClause: 13115.613 Set: 2754.67 Check: 0.0 Back: 330.659
INFO - Atoms: 36576/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 14131275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.525 Prop: 13551.146 PropClause: 13150.682 Set: 2761.037 Check: 0.0 Back: 331.51
INFO - Atoms: 36721/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 14168177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.53 Prop: 13587.252 PropClause: 13185.746 Set: 2767.4 Check: 0.0 Back: 332.348
INFO - Atoms: 36902/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 14205224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.534 Prop: 13618.336 PropClause: 13215.792 Set: 2773.602 Check: 0.0 Back: 333.189
INFO - Atoms: 37047/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 14242452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.539 Prop: 13657.159 PropClause: 13253.575 Set: 2780.105 Check: 0.0 Back: 334.037
INFO - Atoms: 37228/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 14279825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.544 Prop: 13693.055 PropClause: 13288.43 Set: 2786.577 Check: 0.0 Back: 334.898
INFO - Atoms: 37373/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 14317379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.549 Prop: 13725.439 PropClause: 13319.769 Set: 2792.902 Check: 0.0 Back: 335.754
INFO - Atoms: 37554/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 14355078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.553 Prop: 13764.757 PropClause: 13358.031 Set: 2799.502 Check: 0.0 Back: 336.614
INFO - Atoms: 37699/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 14392958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.558 Prop: 13807.759 PropClause: 13399.972 Set: 2806.319 Check: 0.0 Back: 337.475
INFO - Atoms: 37880/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 14430983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.563 Prop: 13844.295 PropClause: 13435.447 Set: 2812.736 Check: 0.0 Back: 338.341
INFO - Atoms: 38025/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 14469189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.568 Prop: 13884.923 PropClause: 13475.003 Set: 2819.448 Check: 0.0 Back: 339.215
INFO - Atoms: 38206/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 14507540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.573 Prop: 13923.76 PropClause: 13512.763 Set: 2826.153 Check: 0.0 Back: 340.13
INFO - Atoms: 38351/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 14546072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.578 Prop: 13963.981 PropClause: 13551.897 Set: 2832.844 Check: 0.0 Back: 341.008
INFO - Atoms: 38532/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 14584749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.584 Prop: 14006.496 PropClause: 13593.317 Set: 2839.667 Check: 0.0 Back: 341.885
INFO - Atoms: 38677/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 14623607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.589 Prop: 14048.629 PropClause: 13634.361 Set: 2846.453 Check: 0.0 Back: 342.768
INFO - Atoms: 38858/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 14662610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.594 Prop: 14089.147 PropClause: 13673.785 Set: 2853.249 Check: 0.0 Back: 343.652
INFO - Atoms: 39003/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 14701794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.6 Prop: 14132.235 PropClause: 13715.767 Set: 2874.209 Check: 0.0 Back: 344.544
INFO - Atoms: 39184/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 14741123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.604 Prop: 14174.074 PropClause: 13756.485 Set: 2881.401 Check: 0.0 Back: 345.465
INFO - Atoms: 39329/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 14780633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.61 Prop: 14213.512 PropClause: 13794.818 Set: 2888.295 Check: 0.0 Back: 346.37
INFO - Atoms: 39510/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 14820288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.614 Prop: 14254.308 PropClause: 13834.505 Set: 2895.199 Check: 0.0 Back: 347.274
INFO - Atoms: 39655/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 14860124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.618 Prop: 14296.134 PropClause: 13875.213 Set: 2902.197 Check: 0.0 Back: 348.18
INFO - Atoms: 39836/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 14900105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.622 Prop: 14336.637 PropClause: 13914.598 Set: 2909.138 Check: 0.0 Back: 349.092
INFO - Atoms: 39981/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 14940267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.626 Prop: 14377.191 PropClause: 13954.027 Set: 2916.13 Check: 0.0 Back: 350.005
INFO - Atoms: 40162/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 14980574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.63 Prop: 14416.958 PropClause: 13992.657 Set: 2923.118 Check: 0.0 Back: 350.927
INFO - Atoms: 40307/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 15021062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.635 Prop: 14460.484 PropClause: 14035.036 Set: 2930.235 Check: 0.0 Back: 351.846
INFO - Atoms: 40488/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 15061695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.64 Prop: 14503.7 PropClause: 14077.111 Set: 2937.358 Check: 0.0 Back: 352.772
INFO - Atoms: 40633/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 15102509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.644 Prop: 14547.644 PropClause: 14119.914 Set: 2944.576 Check: 0.0 Back: 353.701
INFO - Atoms: 40814/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 15143468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.648 Prop: 14588.203 PropClause: 14159.324 Set: 2951.705 Check: 0.0 Back: 354.629
INFO - Atoms: 40959/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 15184608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.653 Prop: 14631.675 PropClause: 14201.623 Set: 2959.001 Check: 0.0 Back: 355.563
INFO - Atoms: 41140/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 15225893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.659 Prop: 14674.353 PropClause: 14243.14 Set: 2966.294 Check: 0.0 Back: 356.557
INFO - Atoms: 41285/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 15267359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.663 Prop: 14722.368 PropClause: 14289.99 Set: 2973.695 Check: 0.0 Back: 357.504
INFO - Atoms: 41466/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 15308970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.668 Prop: 14768.771 PropClause: 14335.228 Set: 2981.079 Check: 0.0 Back: 358.451
INFO - Atoms: 41611/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 15350762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.673 Prop: 14813.541 PropClause: 14378.825 Set: 2988.388 Check: 0.0 Back: 359.408
INFO - Atoms: 41792/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 15392699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.678 Prop: 14859.497 PropClause: 14423.596 Set: 2995.857 Check: 0.0 Back: 360.369
INFO - Atoms: 41937/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 15434817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.683 Prop: 14905.815 PropClause: 14468.726 Set: 3003.3 Check: 0.0 Back: 361.337
INFO - Atoms: 42118/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 15477080 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.688 Prop: 14953.848 PropClause: 14515.577 Set: 3010.845 Check: 0.0 Back: 362.316
INFO - Atoms: 42263/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 15519524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.692 Prop: 15003.24 PropClause: 14563.767 Set: 3018.507 Check: 0.0 Back: 363.291
INFO - Atoms: 42444/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 15562113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.698 Prop: 15049.914 PropClause: 14609.244 Set: 3026.108 Check: 0.0 Back: 364.257
INFO - Atoms: 42589/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 15604883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.703 Prop: 15099.836 PropClause: 14657.963 Set: 3033.799 Check: 0.0 Back: 365.244
INFO - Atoms: 42770/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 15647798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.708 Prop: 15148.643 PropClause: 14705.546 Set: 3054.815 Check: 0.0 Back: 366.239
INFO - Atoms: 42915/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 15690894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.713 Prop: 15200.461 PropClause: 14756.155 Set: 3062.508 Check: 0.0 Back: 367.221
INFO - Atoms: 43096/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 15734135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.718 Prop: 15250.36 PropClause: 14804.84 Set: 3070.238 Check: 0.0 Back: 368.21
INFO - Atoms: 43241/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 15777557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.723 Prop: 15302.088 PropClause: 14855.34 Set: 3078.138 Check: 0.0 Back: 369.197
INFO - Atoms: 43422/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 15821124 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.728 Prop: 15349.807 PropClause: 14901.843 Set: 3085.858 Check: 0.0 Back: 370.2
INFO - Atoms: 43567/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 15864872 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.732 Prop: 15399.299 PropClause: 14950.113 Set: 3093.622 Check: 0.0 Back: 371.202
INFO - Atoms: 43748/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 15908765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.737 Prop: 15448.565 PropClause: 14998.15 Set: 3101.486 Check: 0.0 Back: 372.202
INFO - Atoms: 43893/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 15952839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.74 Prop: 15499.385 PropClause: 15047.734 Set: 3109.322 Check: 0.0 Back: 373.233
INFO - Atoms: 44074/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 15997058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.745 Prop: 15546.506 PropClause: 15093.618 Set: 3117.142 Check: 0.0 Back: 374.236
INFO - Atoms: 44219/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 16041458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.748 Prop: 15596.463 PropClause: 15142.331 Set: 3125.017 Check: 0.0 Back: 375.251
INFO - Atoms: 44400/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 16086003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.753 Prop: 15649.166 PropClause: 15193.766 Set: 3133.065 Check: 0.0 Back: 376.267
INFO - Atoms: 44545/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 16130729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.759 Prop: 15705.634 PropClause: 15248.983 Set: 3141.12 Check: 0.0 Back: 377.293
INFO - Atoms: 44726/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 16175600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.764 Prop: 15755.389 PropClause: 15297.483 Set: 3149.058 Check: 0.0 Back: 378.341
INFO - Atoms: 44871/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 16220652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.768 Prop: 15807.239 PropClause: 15348.055 Set: 3157.096 Check: 0.0 Back: 379.365
INFO - Atoms: 45052/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 16265849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.773 Prop: 15859.294 PropClause: 15398.845 Set: 3165.21 Check: 0.0 Back: 380.409
INFO - Atoms: 45197/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 16311227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.777 Prop: 15913.388 PropClause: 15451.666 Set: 3173.329 Check: 0.0 Back: 381.442
INFO - Atoms: 45378/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 16356750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.782 Prop: 15967.687 PropClause: 15504.46 Set: 3183.753 Check: 0.0 Back: 382.481
INFO - Atoms: 45523/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 16402454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.787 Prop: 16025.635 PropClause: 15560.973 Set: 3193.332 Check: 0.0 Back: 383.571
INFO - Atoms: 45704/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 16448303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.792 Prop: 16080.795 PropClause: 15614.841 Set: 3201.538 Check: 0.0 Back: 384.619
INFO - Atoms: 45849/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 16494333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.93 Prop: 16135.465 PropClause: 15668.214 Set: 3209.917 Check: 0.0 Back: 385.695
INFO - Atoms: 46030/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 16540508 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.967 Prop: 16188.003 PropClause: 15719.454 Set: 3218.184 Check: 0.0 Back: 386.755
INFO - Atoms: 46175/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 16586864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.978 Prop: 16239.378 PropClause: 15769.528 Set: 3239.414 Check: 0.0 Back: 387.81
INFO - Atoms: 46356/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 16633365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.989 Prop: 16290.627 PropClause: 15819.455 Set: 3247.725 Check: 0.0 Back: 388.874
INFO - Atoms: 46501/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 16680046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 9.003 Prop: 16344.984 PropClause: 15872.502 Set: 3256.09 Check: 0.0 Back: 389.939
INFO - Atoms: 46681/47328 Clauses: 581 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 969 Props: 18265701 Tprops: 0 Decides: 4843 RSplits: 0
INFO - Times: Expl: 1017.035 Prop: 17743.716 PropClause: 17220.913 Set: 3297.602 Check: 0.131 Back: 429.7
INFO - Atoms: 15637/47328 Clauses: 1080 Axioms: 155954
INFO - Restart
INFO - Confl: 1469 Props: 19479770 Tprops: 0 Decides: 8311 RSplits: 0
INFO - Times: Expl: 1463.237 Prop: 18618.738 PropClause: 18058.017 Set: 3327.161 Check: 0.218 Back: 458.85
INFO - Atoms: 15643/47328 Clauses: 1580 Axioms: 155954
INFO - Confl: 1748 Props: 20153449 Tprops: 0 Decides: 10031 RSplits: 0
INFO - Times: Expl: 1792.027 Prop: 19176.754 PropClause: 18593.308 Set: 3344.283 Check: 0.265 Back: 475.4
INFO - Atoms: 17068/47328 Clauses: 1859 Axioms: 155954
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 471 Props: 43856 Tprops: 11342 Decides: 51669 RSplits: 0
INFO - Times: Expl: 252.504 Prop: 45730.917 PropClause: 20.983 Set: 7109.468 Check: 372.587 Back: 211.501
INFO - Atoms: 680/870 Clauses: 471 Axioms: 870
INFO - CCTimes: iE 519192 eq 25826960 cc 84967060 setRep 55950616
INFO - Merges: 375276, cc:655277
INFO - BVTimes: BB 155632602 BB_DPLL 40295399796 Graph 179638710
INFO - BitBlastingClauses: 428554 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat