/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_112.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 180726817 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 55134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.638 Prop: 97.558 PropClause: 93.93 Set: 56.517 Check: 0.0 Back: 0.0 INFO - Atoms: 55134/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 109952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.685 Prop: 180.251 PropClause: 174.269 Set: 70.676 Check: 0.0 Back: 1.465 INFO - Atoms: 54818/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 164770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.735 Prop: 255.608 PropClause: 247.374 Set: 84.87 Check: 0.0 Back: 2.933 INFO - Atoms: 54818/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 219588 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.818 Prop: 323.234 PropClause: 313.034 Set: 103.741 Check: 0.0 Back: 4.217 INFO - Atoms: 54818/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 274399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.929 Prop: 382.235 PropClause: 370.619 Set: 144.739 Check: 0.0 Back: 5.663 INFO - Atoms: 54811/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 329212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.011 Prop: 457.314 PropClause: 444.117 Set: 159.405 Check: 0.0 Back: 6.916 INFO - Atoms: 54813/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 383866 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.064 Prop: 515.263 PropClause: 500.707 Set: 170.413 Check: 0.0 Back: 8.326 INFO - Atoms: 54654/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 438370 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.114 Prop: 573.76 PropClause: 557.84 Set: 181.284 Check: 0.0 Back: 9.587 INFO - Atoms: 54504/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 492698 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.165 Prop: 635.488 PropClause: 618.209 Set: 192.227 Check: 0.0 Back: 10.886 INFO - Atoms: 54328/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 546875 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.214 Prop: 694.479 PropClause: 675.834 Set: 203.083 Check: 0.0 Back: 12.139 INFO - Atoms: 54177/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 601690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.32 Prop: 758.572 PropClause: 738.543 Set: 220.432 Check: 0.0 Back: 13.371 INFO - Atoms: 54815/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 656506 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.369 Prop: 819.011 PropClause: 797.614 Set: 237.588 Check: 0.0 Back: 14.62 INFO - Atoms: 54816/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 711322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.417 Prop: 878.068 PropClause: 855.294 Set: 248.637 Check: 0.0 Back: 15.873 INFO - Atoms: 54816/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 765812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.477 Prop: 945.759 PropClause: 921.6 Set: 259.709 Check: 0.0 Back: 17.124 INFO - Atoms: 54490/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 820140 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.568 Prop: 1010.161 PropClause: 984.641 Set: 270.745 Check: 0.0 Back: 18.46 INFO - Atoms: 54328/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 874303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.616 Prop: 1068.076 PropClause: 1041.194 Set: 281.528 Check: 0.0 Back: 19.685 INFO - Atoms: 54163/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 928954 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.67 Prop: 1127.34 PropClause: 1099.094 Set: 292.512 Check: 0.0 Back: 20.918 INFO - Atoms: 54651/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 983766 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.725 Prop: 1208.768 PropClause: 1178.884 Set: 307.294 Check: 0.0 Back: 22.166 INFO - Atoms: 54812/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1037768 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.774 Prop: 1284.755 PropClause: 1253.303 Set: 321.714 Check: 0.0 Back: 23.526 INFO - Atoms: 54002/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1091606 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.825 Prop: 1361.517 PropClause: 1328.508 Set: 336.39 Check: 0.0 Back: 24.921 INFO - Atoms: 53838/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1145282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.873 Prop: 1441.855 PropClause: 1407.29 Set: 351.036 Check: 0.0 Back: 26.316 INFO - Atoms: 53676/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1198794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.926 Prop: 1500.697 PropClause: 1464.797 Set: 366.827 Check: 0.0 Back: 27.694 INFO - Atoms: 53512/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1252144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.972 Prop: 1562.317 PropClause: 1525.082 Set: 383.528 Check: 0.0 Back: 29.059 INFO - Atoms: 53350/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1305345 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.016 Prop: 1621.313 PropClause: 1582.753 Set: 399.239 Check: 0.0 Back: 30.421 INFO - Atoms: 53201/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1358369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.065 Prop: 1681.88 PropClause: 1641.986 Set: 414.995 Check: 0.0 Back: 31.79 INFO - Atoms: 53024/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1411229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.113 Prop: 1742.479 PropClause: 1701.258 Set: 425.765 Check: 0.0 Back: 33.015 INFO - Atoms: 52860/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1463927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.159 Prop: 1802.012 PropClause: 1759.467 Set: 436.53 Check: 0.0 Back: 34.221 INFO - Atoms: 52698/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1516461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.208 Prop: 1860.55 PropClause: 1816.687 Set: 447.178 Check: 0.0 Back: 35.421 INFO - Atoms: 52534/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1568833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.26 Prop: 1920.542 PropClause: 1875.365 Set: 457.946 Check: 0.0 Back: 36.646 INFO - Atoms: 52372/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1621055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.308 Prop: 1976.481 PropClause: 1929.996 Set: 468.474 Check: 0.0 Back: 37.882 INFO - Atoms: 52222/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 1673101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.365 Prop: 2031.224 PropClause: 1983.366 Set: 478.9 Check: 0.0 Back: 39.073 INFO - Atoms: 52046/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 1724996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.453 Prop: 2088.207 PropClause: 2039.01 Set: 489.383 Check: 0.0 Back: 40.253 INFO - Atoms: 51895/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 1776716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.503 Prop: 2143.916 PropClause: 2093.425 Set: 499.709 Check: 0.0 Back: 41.446 INFO - Atoms: 51720/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 1828286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.554 Prop: 2199.852 PropClause: 2148.054 Set: 510.085 Check: 0.0 Back: 42.622 INFO - Atoms: 51570/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 1879680 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.599 Prop: 2256.78 PropClause: 2203.674 Set: 520.408 Check: 0.0 Back: 43.806 INFO - Atoms: 51394/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 1930910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.676 Prop: 2312.642 PropClause: 2258.258 Set: 530.699 Check: 0.0 Back: 44.977 INFO - Atoms: 51230/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 1981978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.716 Prop: 2369.146 PropClause: 2313.484 Set: 540.898 Check: 0.0 Back: 46.148 INFO - Atoms: 51068/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2032882 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.755 Prop: 2423.7 PropClause: 2366.758 Set: 551.01 Check: 0.0 Back: 47.315 INFO - Atoms: 50904/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2083624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.801 Prop: 2478.617 PropClause: 2420.401 Set: 561.135 Check: 0.0 Back: 48.477 INFO - Atoms: 50742/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2134202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.844 Prop: 2533.525 PropClause: 2474.028 Set: 571.376 Check: 0.0 Back: 49.643 INFO - Atoms: 50578/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 2184618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.889 Prop: 2587.238 PropClause: 2526.48 Set: 581.322 Check: 0.0 Back: 50.798 INFO - Atoms: 50416/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 2234885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.933 Prop: 2639.416 PropClause: 2577.388 Set: 591.246 Check: 0.0 Back: 51.957 INFO - Atoms: 50267/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 2284975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.971 Prop: 2693.003 PropClause: 2629.718 Set: 601.176 Check: 0.0 Back: 53.127 INFO - Atoms: 50090/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 2334901 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.013 Prop: 2745.941 PropClause: 2681.403 Set: 615.651 Check: 0.0 Back: 54.278 INFO - Atoms: 49926/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 2384665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.056 Prop: 2798.097 PropClause: 2732.31 Set: 630.056 Check: 0.0 Back: 55.422 INFO - Atoms: 49764/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2434279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.101 Prop: 2850.581 PropClause: 2783.553 Set: 639.957 Check: 0.0 Back: 56.556 INFO - Atoms: 49614/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 2483717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.144 Prop: 2902.174 PropClause: 2833.906 Set: 649.791 Check: 0.0 Back: 57.731 INFO - Atoms: 49438/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 2532991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.189 Prop: 2953.421 PropClause: 2883.919 Set: 659.461 Check: 0.0 Back: 58.861 INFO - Atoms: 49274/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 2582103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.23 Prop: 3006.835 PropClause: 2936.101 Set: 669.213 Check: 0.0 Back: 59.989 INFO - Atoms: 49112/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 2631066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.275 Prop: 3058.539 PropClause: 2986.577 Set: 678.803 Check: 0.0 Back: 61.109 INFO - Atoms: 48963/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 2679852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.317 Prop: 3111.138 PropClause: 3037.956 Set: 688.504 Check: 0.0 Back: 62.23 INFO - Atoms: 48786/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 2728474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.467 Prop: 3161.943 PropClause: 3087.534 Set: 698.002 Check: 0.0 Back: 63.341 INFO - Atoms: 48622/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 2776934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.487 Prop: 3211.363 PropClause: 3135.728 Set: 707.48 Check: 0.0 Back: 64.451 INFO - Atoms: 48460/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 2825244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.509 Prop: 3263.71 PropClause: 3186.855 Set: 717.097 Check: 0.0 Back: 65.561 INFO - Atoms: 48310/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 2873378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.527 Prop: 3317.082 PropClause: 3239.021 Set: 726.648 Check: 0.0 Back: 66.7 INFO - Atoms: 48134/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 2921361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.545 Prop: 3366.059 PropClause: 3286.796 Set: 736.074 Check: 0.0 Back: 67.803 INFO - Atoms: 47983/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 2969169 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.576 Prop: 3416.314 PropClause: 3335.858 Set: 745.543 Check: 0.0 Back: 68.9 INFO - Atoms: 47808/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 3016826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.599 Prop: 3474.849 PropClause: 3393.192 Set: 754.997 Check: 0.0 Back: 70.001 INFO - Atoms: 47657/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 3064308 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.619 Prop: 3523.368 PropClause: 3440.514 Set: 764.493 Check: 0.0 Back: 71.126 INFO - Atoms: 47482/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 3111639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.642 Prop: 3578.856 PropClause: 3494.609 Set: 776.159 Check: 0.0 Back: 72.287 INFO - Atoms: 47331/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 3158795 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.663 Prop: 3628.588 PropClause: 3543.148 Set: 785.427 Check: 0.0 Back: 73.526 INFO - Atoms: 47156/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 3205787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.685 Prop: 3676.547 PropClause: 3589.924 Set: 794.708 Check: 0.0 Back: 74.605 INFO - Atoms: 46992/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 3252617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.706 Prop: 3727.346 PropClause: 3639.535 Set: 804.077 Check: 0.0 Back: 75.684 INFO - Atoms: 46830/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 3299298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.738 Prop: 3780.477 PropClause: 3691.475 Set: 813.764 Check: 0.0 Back: 76.786 INFO - Atoms: 46681/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 3345802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.762 Prop: 3832.064 PropClause: 3741.885 Set: 823.238 Check: 0.0 Back: 77.882 INFO - Atoms: 46504/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 3392156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.786 Prop: 3883.076 PropClause: 3791.734 Set: 832.53 Check: 0.0 Back: 78.959 INFO - Atoms: 46354/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 3438334 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.808 Prop: 3934.076 PropClause: 3841.567 Set: 841.656 Check: 0.0 Back: 80.031 INFO - Atoms: 46178/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 3484361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.827 Prop: 3982.347 PropClause: 3888.68 Set: 850.871 Check: 0.0 Back: 81.113 INFO - Atoms: 46027/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 3530213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.852 Prop: 4035.686 PropClause: 3940.872 Set: 859.992 Check: 0.0 Back: 82.183 INFO - Atoms: 45852/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 3575901 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.876 Prop: 4086.222 PropClause: 3990.258 Set: 868.975 Check: 0.0 Back: 83.235 INFO - Atoms: 45688/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 3621427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.898 Prop: 4133.342 PropClause: 4036.224 Set: 877.975 Check: 0.0 Back: 84.293 INFO - Atoms: 45526/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 3666803 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.918 Prop: 4180.309 PropClause: 4082.051 Set: 886.884 Check: 0.0 Back: 85.361 INFO - Atoms: 45376/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 3712003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.939 Prop: 4226.853 PropClause: 4127.461 Set: 895.757 Check: 0.0 Back: 86.402 INFO - Atoms: 45200/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 3757052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.961 Prop: 4273.351 PropClause: 4172.827 Set: 904.641 Check: 0.0 Back: 87.441 INFO - Atoms: 45049/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 3801926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.984 Prop: 4322.364 PropClause: 4220.709 Set: 913.47 Check: 0.0 Back: 88.482 INFO - Atoms: 44874/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 3846636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.005 Prop: 4365.435 PropClause: 4262.654 Set: 922.226 Check: 0.0 Back: 89.516 INFO - Atoms: 44710/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 3891184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.029 Prop: 4428.684 PropClause: 4324.604 Set: 933.54 Check: 0.0 Back: 90.543 INFO - Atoms: 44548/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 3935582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.114 Prop: 4472.186 PropClause: 4366.992 Set: 942.13 Check: 0.0 Back: 91.717 INFO - Atoms: 44398/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 3979804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.125 Prop: 4515.488 PropClause: 4409.186 Set: 950.757 Check: 0.0 Back: 92.73 INFO - Atoms: 44222/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 4023875 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.137 Prop: 4560.013 PropClause: 4452.598 Set: 959.351 Check: 0.0 Back: 93.761 INFO - Atoms: 44071/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 4067771 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.149 Prop: 4605.304 PropClause: 4496.786 Set: 967.944 Check: 0.0 Back: 94.789 INFO - Atoms: 43896/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 4111517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.162 Prop: 4651.635 PropClause: 4541.945 Set: 976.554 Check: 0.0 Back: 95.806 INFO - Atoms: 43746/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 4155087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.174 Prop: 4700.091 PropClause: 4589.304 Set: 985.118 Check: 0.0 Back: 96.812 INFO - Atoms: 43570/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 4198507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.186 Prop: 4745.364 PropClause: 4633.491 Set: 993.657 Check: 0.0 Back: 97.844 INFO - Atoms: 43420/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 4241751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.2 Prop: 4791.827 PropClause: 4678.871 Set: 1002.243 Check: 0.0 Back: 98.844 INFO - Atoms: 43244/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 4284845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.212 Prop: 4836.837 PropClause: 4722.77 Set: 1010.771 Check: 0.0 Back: 99.857 INFO - Atoms: 43094/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 4327763 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.224 Prop: 4881.707 PropClause: 4766.561 Set: 1019.156 Check: 0.0 Back: 100.857 INFO - Atoms: 42918/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 4370530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.236 Prop: 4926.769 PropClause: 4810.545 Set: 1027.513 Check: 0.0 Back: 101.845 INFO - Atoms: 42767/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 4413122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.247 Prop: 4971.608 PropClause: 4854.313 Set: 1035.877 Check: 0.0 Back: 102.831 INFO - Atoms: 42592/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 4455550 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.261 Prop: 5016.603 PropClause: 4898.229 Set: 1044.132 Check: 0.0 Back: 103.81 INFO - Atoms: 42428/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 4497816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.272 Prop: 5060.581 PropClause: 4941.155 Set: 1052.28 Check: 0.0 Back: 104.806 INFO - Atoms: 42266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 4539918 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.283 Prop: 5104.242 PropClause: 4983.757 Set: 1060.465 Check: 0.0 Back: 105.772 INFO - Atoms: 42102/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 4581858 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.295 Prop: 5147.963 PropClause: 5026.42 Set: 1068.695 Check: 0.0 Back: 106.74 INFO - Atoms: 41940/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 4623649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.307 Prop: 5189.231 PropClause: 5066.633 Set: 1076.774 Check: 0.0 Back: 107.745 INFO - Atoms: 41791/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 4665263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.32 Prop: 5230.364 PropClause: 5106.724 Set: 1084.924 Check: 0.0 Back: 108.694 INFO - Atoms: 41614/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 4706713 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.331 Prop: 5271.857 PropClause: 5147.187 Set: 1092.938 Check: 0.0 Back: 109.656 INFO - Atoms: 41450/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 4748001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.342 Prop: 5313.441 PropClause: 5187.726 Set: 1100.909 Check: 0.0 Back: 110.599 INFO - Atoms: 41288/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 4789139 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.353 Prop: 5353.544 PropClause: 5226.795 Set: 1108.837 Check: 0.0 Back: 111.535 INFO - Atoms: 41138/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 4830101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.365 Prop: 5393.296 PropClause: 5265.52 Set: 1116.762 Check: 0.0 Back: 112.48 INFO - Atoms: 40962/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 4870913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.376 Prop: 5437.097 PropClause: 5308.299 Set: 1124.685 Check: 0.0 Back: 113.41 INFO - Atoms: 40812/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 4911549 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.387 Prop: 5474.087 PropClause: 5344.271 Set: 1132.446 Check: 0.0 Back: 114.345 INFO - Atoms: 40636/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 4952021 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.398 Prop: 5509.976 PropClause: 5379.144 Set: 1140.146 Check: 0.0 Back: 115.267 INFO - Atoms: 40472/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 4992331 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.409 Prop: 5547.863 PropClause: 5416.025 Set: 1147.899 Check: 0.0 Back: 116.185 INFO - Atoms: 40310/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 5032492 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.419 Prop: 5587.004 PropClause: 5454.15 Set: 1155.59 Check: 0.0 Back: 117.098 INFO - Atoms: 40161/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 5072476 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.429 Prop: 5622.425 PropClause: 5488.573 Set: 1163.192 Check: 0.0 Back: 118.004 INFO - Atoms: 39984/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 5112310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.44 Prop: 5657.568 PropClause: 5522.725 Set: 1170.752 Check: 0.0 Back: 118.912 INFO - Atoms: 39834/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 5151968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.451 Prop: 5693.342 PropClause: 5557.505 Set: 1178.334 Check: 0.0 Back: 119.816 INFO - Atoms: 39658/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 5191462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.463 Prop: 5732.783 PropClause: 5595.953 Set: 1185.946 Check: 0.0 Back: 120.741 INFO - Atoms: 39494/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 5230794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.475 Prop: 5768.971 PropClause: 5631.159 Set: 1193.508 Check: 0.0 Back: 121.645 INFO - Atoms: 39332/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 5269962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.484 Prop: 5805.326 PropClause: 5666.533 Set: 1200.994 Check: 0.0 Back: 122.538 INFO - Atoms: 39168/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 5308968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.494 Prop: 5840.05 PropClause: 5700.28 Set: 1208.518 Check: 0.0 Back: 123.434 INFO - Atoms: 39006/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 5347824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.507 Prop: 5874.935 PropClause: 5734.19 Set: 1215.962 Check: 0.0 Back: 124.319 INFO - Atoms: 38856/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 5386504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.519 Prop: 5908.812 PropClause: 5767.094 Set: 1223.335 Check: 0.0 Back: 125.211 INFO - Atoms: 38680/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 5425033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.529 Prop: 5944.071 PropClause: 5801.375 Set: 1230.713 Check: 0.0 Back: 126.092 INFO - Atoms: 38529/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 5463387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.541 Prop: 5975.846 PropClause: 5832.189 Set: 1237.995 Check: 0.0 Back: 126.971 INFO - Atoms: 38354/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 5501577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.553 Prop: 6007.383 PropClause: 5862.759 Set: 1245.22 Check: 0.0 Back: 127.856 INFO - Atoms: 38190/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 5539605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.565 Prop: 6039.204 PropClause: 5893.626 Set: 1252.402 Check: 0.0 Back: 128.732 INFO - Atoms: 38028/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 5577469 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.575 Prop: 6070.635 PropClause: 5924.124 Set: 1259.464 Check: 0.0 Back: 129.605 INFO - Atoms: 37864/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 5615171 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.585 Prop: 6101.58 PropClause: 5954.127 Set: 1266.543 Check: 0.0 Back: 130.461 INFO - Atoms: 37702/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 5652709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.596 Prop: 6132.36 PropClause: 5983.971 Set: 1273.554 Check: 0.0 Back: 131.317 INFO - Atoms: 37538/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 5690085 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.608 Prop: 6163.753 PropClause: 6014.425 Set: 1280.624 Check: 0.0 Back: 132.168 INFO - Atoms: 37376/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 5727311 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.618 Prop: 6195.511 PropClause: 6045.254 Set: 1287.638 Check: 0.0 Back: 133.014 INFO - Atoms: 37226/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 5764360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.628 Prop: 6227.086 PropClause: 6075.901 Set: 1294.592 Check: 0.0 Back: 133.862 INFO - Atoms: 37049/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 5801388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.667 Prop: 6260.697 PropClause: 6108.59 Set: 1301.669 Check: 0.0 Back: 134.703 INFO - Atoms: 37028/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 5838717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.705 Prop: 6293.422 PropClause: 6140.374 Set: 1308.826 Check: 0.0 Back: 135.543 INFO - Atoms: 37329/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 5876209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.753 Prop: 6330.533 PropClause: 6176.554 Set: 1316.185 Check: 0.0 Back: 136.389 INFO - Atoms: 37492/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 5913862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.902 Prop: 6362.021 PropClause: 6207.108 Set: 1323.418 Check: 0.0 Back: 137.246 INFO - Atoms: 37653/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 5951540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.957 Prop: 6394.24 PropClause: 6238.346 Set: 1330.608 Check: 0.0 Back: 138.156 INFO - Atoms: 37678/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 5989381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.982 Prop: 6425.91 PropClause: 6269.074 Set: 1337.793 Check: 0.0 Back: 139.016 INFO - Atoms: 37841/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 6027407 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.034 Prop: 6462.81 PropClause: 6305.024 Set: 1345.127 Check: 0.0 Back: 139.879 INFO - Atoms: 38026/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 6065411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.055 Prop: 6495.668 PropClause: 6336.927 Set: 1352.395 Check: 0.0 Back: 140.743 INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 6102958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.074 Prop: 6530.151 PropClause: 6370.472 Set: 1359.551 Check: 0.0 Back: 141.617 INFO - Atoms: 37547/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 6140979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.092 Prop: 6563.321 PropClause: 6402.695 Set: 1366.878 Check: 0.0 Back: 142.467 INFO - Atoms: 38021/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 6178983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.113 Prop: 6596.859 PropClause: 6435.285 Set: 1374.136 Check: 0.0 Back: 143.332 INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 6217145 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.135 Prop: 6630.188 PropClause: 6467.658 Set: 1381.472 Check: 0.0 Back: 144.19 INFO - Atoms: 38162/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 6255149 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.155 Prop: 6665.773 PropClause: 6502.287 Set: 1388.805 Check: 0.0 Back: 145.084 INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 6293292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.177 Prop: 6698.465 PropClause: 6534.022 Set: 1396.206 Check: 0.0 Back: 145.965 INFO - Atoms: 38143/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 6330825 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.197 Prop: 6731.019 PropClause: 6565.63 Set: 1403.372 Check: 0.0 Back: 146.837 INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 6368847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.22 Prop: 6762.701 PropClause: 6596.349 Set: 1410.667 Check: 0.0 Back: 147.694 INFO - Atoms: 38022/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 6406990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.273 Prop: 6799.354 PropClause: 6632.024 Set: 1418.519 Check: 0.0 Back: 148.565 INFO - Atoms: 38143/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 6445154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.337 Prop: 6834.57 PropClause: 6666.285 Set: 1426.131 Check: 0.0 Back: 149.448 INFO - Atoms: 38164/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 6483158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.35 Prop: 6870.894 PropClause: 6701.654 Set: 1433.546 Check: 0.0 Back: 150.338 INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 6521299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.363 Prop: 6908.071 PropClause: 6737.872 Set: 1441.103 Check: 0.0 Back: 151.226 INFO - Atoms: 38141/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 6558832 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.379 Prop: 6946.388 PropClause: 6775.237 Set: 1448.62 Check: 0.0 Back: 152.11 INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 6596854 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.392 Prop: 6982.14 PropClause: 6810.037 Set: 1456.109 Check: 0.0 Back: 152.97 INFO - Atoms: 38022/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 6635043 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.404 Prop: 7019.436 PropClause: 6846.383 Set: 1463.505 Check: 0.0 Back: 153.847 INFO - Atoms: 38189/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 6673210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.416 Prop: 7054.917 PropClause: 6880.899 Set: 1470.947 Check: 0.0 Back: 154.716 INFO - Atoms: 38167/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 6710921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.428 Prop: 7090.568 PropClause: 6915.581 Set: 1478.463 Check: 0.0 Back: 155.593 INFO - Atoms: 37711/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 6748129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.441 Prop: 7123.836 PropClause: 6947.917 Set: 1485.637 Check: 0.0 Back: 156.465 INFO - Atoms: 37208/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 6785188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.452 Prop: 7156.729 PropClause: 6979.877 Set: 1492.738 Check: 0.0 Back: 157.338 INFO - Atoms: 37059/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 6822722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.466 Prop: 7190.871 PropClause: 7013.07 Set: 1500.178 Check: 0.0 Back: 158.183 INFO - Atoms: 37534/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 6860237 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.478 Prop: 7229.962 PropClause: 7051.186 Set: 1507.703 Check: 0.0 Back: 159.055 INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 6897912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.489 Prop: 7264.385 PropClause: 7084.667 Set: 1515.114 Check: 0.0 Back: 159.934 INFO - Atoms: 37675/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 6935427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.502 Prop: 7298.582 PropClause: 7117.925 Set: 1522.33 Check: 0.0 Back: 160.808 INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 6973081 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.515 Prop: 7331.268 PropClause: 7149.673 Set: 1529.575 Check: 0.0 Back: 161.663 INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 7010138 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.528 Prop: 7363.918 PropClause: 7181.399 Set: 1536.635 Check: 0.0 Back: 162.556 INFO - Atoms: 37057/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 7047670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.539 Prop: 7399.7 PropClause: 7216.206 Set: 1544.382 Check: 0.0 Back: 163.403 INFO - Atoms: 37532/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 7085325 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.552 Prop: 7436.284 PropClause: 7251.602 Set: 1553.38 Check: 0.0 Back: 164.267 INFO - Atoms: 37655/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 7122998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.566 Prop: 7483.603 PropClause: 7297.856 Set: 1562.769 Check: 0.0 Back: 165.23 INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 7160513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.578 Prop: 7520.753 PropClause: 7334.067 Set: 1570.055 Check: 0.0 Back: 166.137 INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 7198165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.588 Prop: 7553.484 PropClause: 7365.866 Set: 1577.278 Check: 0.0 Back: 166.991 INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 7235223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.6 Prop: 7586.118 PropClause: 7397.578 Set: 1584.415 Check: 0.0 Back: 167.849 INFO - Atoms: 37058/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 7272755 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.647 Prop: 7618.242 PropClause: 7428.758 Set: 1591.69 Check: 0.0 Back: 168.695 INFO - Atoms: 37532/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 7310410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.696 Prop: 7653.029 PropClause: 7462.598 Set: 1599.084 Check: 0.0 Back: 169.573 INFO - Atoms: 37655/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 7348083 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.708 Prop: 7689.672 PropClause: 7498.205 Set: 1607.182 Check: 0.0 Back: 170.437 INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 7385598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.72 Prop: 7727.125 PropClause: 7534.714 Set: 1614.575 Check: 0.0 Back: 171.342 INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 7423250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.731 Prop: 7761.392 PropClause: 7568.038 Set: 1621.944 Check: 0.0 Back: 172.23 INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 7460308 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.744 Prop: 7798.322 PropClause: 7604.011 Set: 1629.31 Check: 0.0 Back: 173.12 INFO - Atoms: 37058/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 7497841 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.756 Prop: 7837.325 PropClause: 7642.009 Set: 1636.975 Check: 0.0 Back: 173.989 INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 7535495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.768 Prop: 7878.394 PropClause: 7681.938 Set: 1646.137 Check: 0.0 Back: 174.859 INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 7572540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.78 Prop: 7913.737 PropClause: 7716.219 Set: 1654.389 Check: 0.0 Back: 175.863 INFO - Atoms: 37045/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 7610192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.792 Prop: 7952.717 PropClause: 7754.262 Set: 1661.746 Check: 0.0 Back: 176.722 INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 7647727 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.804 Prop: 7987.94 PropClause: 7788.549 Set: 1669.119 Check: 0.0 Back: 177.685 INFO - Atoms: 37535/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 7684784 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.815 Prop: 8023.416 PropClause: 7823.09 Set: 1676.355 Check: 0.0 Back: 178.545 INFO - Atoms: 37057/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 7722319 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.826 Prop: 8058.234 PropClause: 7856.966 Set: 1683.661 Check: 0.0 Back: 179.397 INFO - Atoms: 37535/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 7759971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.84 Prop: 8094.244 PropClause: 7892.033 Set: 1691.037 Check: 0.0 Back: 180.26 INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 7797644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.853 Prop: 8128.102 PropClause: 7924.939 Set: 1698.434 Check: 0.0 Back: 181.122 INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 7835159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.866 Prop: 8167.169 PropClause: 7962.978 Set: 1706.91 Check: 0.0 Back: 181.977 INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 7872813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.877 Prop: 8201.622 PropClause: 7996.493 Set: 1714.304 Check: 0.0 Back: 182.977 INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 7909857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.889 Prop: 8238.97 PropClause: 8032.913 Set: 1721.568 Check: 0.0 Back: 183.861 INFO - Atoms: 37044/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 7947390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.899 Prop: 8270.778 PropClause: 8063.777 Set: 1728.927 Check: 0.0 Back: 184.726 INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 7985044 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.912 Prop: 8300.775 PropClause: 8092.833 Set: 1736.108 Check: 0.0 Back: 185.596 INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 8022717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.924 Prop: 8330.833 PropClause: 8121.952 Set: 1743.283 Check: 0.0 Back: 186.458 INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 8060232 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.936 Prop: 8361.924 PropClause: 8152.095 Set: 1750.646 Check: 0.0 Back: 187.316 INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 8097884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.946 Prop: 8392.819 PropClause: 8182.038 Set: 1757.91 Check: 0.0 Back: 188.175 INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 8134942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.958 Prop: 8422.806 PropClause: 8211.105 Set: 1764.936 Check: 0.0 Back: 189.065 INFO - Atoms: 37058/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 8172474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.969 Prop: 8455.985 PropClause: 8243.343 Set: 1772.199 Check: 0.0 Back: 189.906 INFO - Atoms: 37532/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 8210129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.982 Prop: 8487.231 PropClause: 8273.647 Set: 1779.426 Check: 0.0 Back: 190.769 INFO - Atoms: 37655/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 8247802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.994 Prop: 8519.376 PropClause: 8304.854 Set: 1786.733 Check: 0.0 Back: 191.625 INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 8285317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.007 Prop: 8568.255 PropClause: 8352.639 Set: 1796.119 Check: 0.0 Back: 192.48 INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 8322969 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.062 Prop: 8611.673 PropClause: 8394.962 Set: 1805.23 Check: 0.0 Back: 193.47 INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 8360026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.096 Prop: 8644.016 PropClause: 8426.373 Set: 1812.375 Check: 0.0 Back: 194.348 INFO - Atoms: 37057/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 8397724 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.103 Prop: 8677.111 PropClause: 8458.518 Set: 1819.753 Check: 0.0 Back: 195.214 INFO - Atoms: 37698/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 8435402 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.11 Prop: 8714.648 PropClause: 8495.054 Set: 1827.621 Check: 0.0 Back: 196.086 INFO - Atoms: 37678/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 8473237 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.116 Prop: 8747.872 PropClause: 8527.324 Set: 1835.02 Check: 0.0 Back: 196.947 INFO - Atoms: 37835/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 8510999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.122 Prop: 8783.503 PropClause: 8562.008 Set: 1842.361 Check: 0.0 Back: 197.813 INFO - Atoms: 37762/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 8548586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.127 Prop: 8815.744 PropClause: 8593.305 Set: 1849.632 Check: 0.0 Back: 198.693 INFO - Atoms: 37587/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 8585852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.132 Prop: 8849.765 PropClause: 8626.387 Set: 1856.896 Check: 0.0 Back: 199.552 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 8623254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.138 Prop: 8883.274 PropClause: 8658.955 Set: 1864.178 Check: 0.0 Back: 200.405 INFO - Atoms: 37402/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 8660522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.143 Prop: 8914.902 PropClause: 8689.64 Set: 1871.322 Check: 0.0 Back: 201.253 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 8697946 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.148 Prop: 8946.575 PropClause: 8720.368 Set: 1878.55 Check: 0.0 Back: 202.103 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 8735212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.154 Prop: 8978.461 PropClause: 8751.33 Set: 1885.729 Check: 0.0 Back: 202.968 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 8772615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.159 Prop: 9008.032 PropClause: 8779.971 Set: 1892.941 Check: 0.0 Back: 203.824 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 8809410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.164 Prop: 9038.489 PropClause: 8809.514 Set: 1899.978 Check: 0.0 Back: 204.681 INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 8846815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.169 Prop: 9069.419 PropClause: 8839.516 Set: 1907.227 Check: 0.0 Back: 205.522 INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 8884083 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.177 Prop: 9100.884 PropClause: 8870.05 Set: 1914.506 Check: 0.0 Back: 206.39 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 8921507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.182 Prop: 9132.169 PropClause: 8900.393 Set: 1921.729 Check: 0.0 Back: 207.295 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 8958773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.187 Prop: 9164.658 PropClause: 8931.945 Set: 1928.964 Check: 0.0 Back: 208.147 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 8996176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.193 Prop: 9196.662 PropClause: 8963.014 Set: 1936.266 Check: 0.0 Back: 209.013 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 9032986 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.199 Prop: 9228.869 PropClause: 8994.293 Set: 1943.398 Check: 0.0 Back: 209.869 INFO - Atoms: 36810/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 9070390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.204 Prop: 9262.662 PropClause: 9027.155 Set: 1950.782 Check: 0.0 Back: 210.712 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 9107658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.21 Prop: 9302.656 PropClause: 9066.054 Set: 1959.641 Check: 0.0 Back: 211.569 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 9145082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.217 Prop: 9336.3 PropClause: 9098.769 Set: 1966.924 Check: 0.0 Back: 212.433 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 9182348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.223 Prop: 9367.85 PropClause: 9129.389 Set: 1974.15 Check: 0.0 Back: 213.293 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 9219751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.228 Prop: 9402.373 PropClause: 9162.917 Set: 1982.07 Check: 0.0 Back: 214.146 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 9256560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.234 Prop: 9441.051 PropClause: 9200.461 Set: 1991.027 Check: 0.0 Back: 215.134 INFO - Atoms: 36809/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 9293965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.24 Prop: 9482.245 PropClause: 9240.509 Set: 2000.401 Check: 0.0 Back: 216.119 INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 9331233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.246 Prop: 9524.406 PropClause: 9281.519 Set: 2009.599 Check: 0.0 Back: 217.133 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 9368657 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.252 Prop: 9565.225 PropClause: 9321.177 Set: 2018.917 Check: 0.0 Back: 218.138 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 9405923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.259 Prop: 9604.695 PropClause: 9359.508 Set: 2028.073 Check: 0.0 Back: 219.144 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 9443326 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.264 Prop: 9642.824 PropClause: 9396.506 Set: 2037.108 Check: 0.0 Back: 220.169 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 9480134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.27 Prop: 9681.817 PropClause: 9434.536 Set: 2045.183 Check: 0.0 Back: 221.033 INFO - Atoms: 36808/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 9517538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.275 Prop: 9716.033 PropClause: 9467.814 Set: 2052.572 Check: 0.0 Back: 221.9 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 9554806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.281 Prop: 9751.835 PropClause: 9502.679 Set: 2059.873 Check: 0.0 Back: 222.765 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 9592230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.285 Prop: 9785.578 PropClause: 9535.479 Set: 2067.174 Check: 0.0 Back: 223.659 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 9629496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.292 Prop: 9821.109 PropClause: 9570.075 Set: 2074.45 Check: 0.0 Back: 224.518 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 9666899 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.297 Prop: 9854.512 PropClause: 9602.541 Set: 2081.711 Check: 0.0 Back: 225.355 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 9703707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.303 Prop: 9889.761 PropClause: 9636.871 Set: 2088.818 Check: 0.0 Back: 226.226 INFO - Atoms: 36808/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 9741111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.309 Prop: 9924.47 PropClause: 9670.635 Set: 2096.166 Check: 0.0 Back: 227.124 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 9778379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.314 Prop: 9957.133 PropClause: 9702.366 Set: 2103.471 Check: 0.0 Back: 227.992 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 9815803 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.321 Prop: 9989.605 PropClause: 9733.898 Set: 2110.773 Check: 0.0 Back: 228.851 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 9853069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.326 Prop: 10023.382 PropClause: 9766.743 Set: 2117.943 Check: 0.0 Back: 229.713 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 9890472 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.331 Prop: 10056.718 PropClause: 9799.141 Set: 2125.271 Check: 0.0 Back: 230.558 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 9927267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.337 Prop: 10090.499 PropClause: 9831.995 Set: 2132.359 Check: 0.0 Back: 231.413 INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 9964671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.343 Prop: 10123.665 PropClause: 9864.204 Set: 2139.799 Check: 0.0 Back: 232.256 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 10001939 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.349 Prop: 10156.856 PropClause: 9896.459 Set: 2147.102 Check: 0.0 Back: 233.135 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 10039363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.355 Prop: 10189.471 PropClause: 9928.138 Set: 2154.502 Check: 0.0 Back: 234.008 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 10076629 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.36 Prop: 10221.862 PropClause: 9959.599 Set: 2161.774 Check: 0.0 Back: 234.895 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 10114032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.366 Prop: 10255.576 PropClause: 9992.355 Set: 2169.402 Check: 0.0 Back: 235.756 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 10150841 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.372 Prop: 10291.215 PropClause: 10027.054 Set: 2176.605 Check: 0.0 Back: 236.615 INFO - Atoms: 36809/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 10188245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.377 Prop: 10324.464 PropClause: 10059.356 Set: 2183.906 Check: 0.0 Back: 237.483 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 10225513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.382 Prop: 10357.445 PropClause: 10091.408 Set: 2191.098 Check: 0.0 Back: 238.338 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 10262937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.387 Prop: 10389.103 PropClause: 10122.125 Set: 2198.279 Check: 0.0 Back: 239.19 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 10300203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.393 Prop: 10422.14 PropClause: 10154.23 Set: 2205.492 Check: 0.0 Back: 240.036 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 10337606 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.398 Prop: 10455.759 PropClause: 10186.909 Set: 2212.814 Check: 0.0 Back: 240.887 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 10374401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.403 Prop: 10488.91 PropClause: 10219.13 Set: 2219.896 Check: 0.0 Back: 241.743 INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 10411806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.408 Prop: 10520.931 PropClause: 10250.213 Set: 2227.206 Check: 0.0 Back: 242.583 INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 10449074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.414 Prop: 10551.962 PropClause: 10280.309 Set: 2234.375 Check: 0.0 Back: 243.438 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 10486498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.419 Prop: 10583.052 PropClause: 10310.459 Set: 2241.632 Check: 0.0 Back: 244.286 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 10523764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.425 Prop: 10614.695 PropClause: 10341.158 Set: 2248.843 Check: 0.0 Back: 245.144 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 10561167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.43 Prop: 10647.83 PropClause: 10373.354 Set: 2256.219 Check: 0.0 Back: 245.992 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 10597976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.436 Prop: 10679.368 PropClause: 10403.971 Set: 2263.361 Check: 0.0 Back: 246.85 INFO - Atoms: 36809/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 10635380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.441 Prop: 10713.453 PropClause: 10437.12 Set: 2270.673 Check: 0.0 Back: 247.692 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 10672648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.446 Prop: 10747.317 PropClause: 10470.05 Set: 2277.923 Check: 0.0 Back: 248.547 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 10710072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.454 Prop: 10779.976 PropClause: 10501.77 Set: 2295.899 Check: 0.0 Back: 249.404 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 10747338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.459 Prop: 10815.267 PropClause: 10536.086 Set: 2303.131 Check: 0.0 Back: 250.26 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 10784741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.464 Prop: 10849.926 PropClause: 10569.784 Set: 2310.423 Check: 0.0 Back: 251.135 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 10821549 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.47 Prop: 10883.554 PropClause: 10602.502 Set: 2317.564 Check: 0.0 Back: 251.984 INFO - Atoms: 36808/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 10858953 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.475 Prop: 10914.969 PropClause: 10632.986 Set: 2324.856 Check: 0.0 Back: 252.826 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 10896221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.481 Prop: 10946.336 PropClause: 10663.424 Set: 2332.038 Check: 0.0 Back: 253.677 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 10933645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.486 Prop: 10978.804 PropClause: 10694.956 Set: 2339.299 Check: 0.0 Back: 254.531 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 10970911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.492 Prop: 11010.948 PropClause: 10726.174 Set: 2346.499 Check: 0.0 Back: 255.381 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 11008314 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.497 Prop: 11043.89 PropClause: 10758.185 Set: 2353.762 Check: 0.0 Back: 256.237 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 11045109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.503 Prop: 11077.428 PropClause: 10790.799 Set: 2360.939 Check: 0.0 Back: 257.09 INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 11082513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.51 Prop: 11113.49 PropClause: 10825.925 Set: 2368.384 Check: 0.0 Back: 257.957 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 11119781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.515 Prop: 11148.067 PropClause: 10859.568 Set: 2375.674 Check: 0.0 Back: 258.831 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 11157205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.521 Prop: 11181.147 PropClause: 10891.713 Set: 2382.992 Check: 0.0 Back: 259.683 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 11194471 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.526 Prop: 11212.505 PropClause: 10922.144 Set: 2390.14 Check: 0.0 Back: 260.545 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 11231874 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.532 Prop: 11244.141 PropClause: 10952.845 Set: 2397.36 Check: 0.0 Back: 261.395 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 11268684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.537 Prop: 11275.642 PropClause: 10983.425 Set: 2404.4 Check: 0.0 Back: 262.245 INFO - Atoms: 36810/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 11306089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.543 Prop: 11304.666 PropClause: 11011.509 Set: 2411.605 Check: 0.0 Back: 263.083 INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 11343357 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.549 Prop: 11333.733 PropClause: 11039.648 Set: 2418.696 Check: 0.0 Back: 263.947 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 11380781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.554 Prop: 11363.879 PropClause: 11068.868 Set: 2425.896 Check: 0.0 Back: 264.794 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 11418047 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.559 Prop: 11392.982 PropClause: 11097.043 Set: 2432.976 Check: 0.0 Back: 265.641 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 11455450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.564 Prop: 11424.043 PropClause: 11127.158 Set: 2440.396 Check: 0.0 Back: 266.488 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 11492245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.57 Prop: 11455.031 PropClause: 11157.223 Set: 2447.512 Check: 0.0 Back: 267.346 INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 11529649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.576 Prop: 11488.385 PropClause: 11189.631 Set: 2454.952 Check: 0.0 Back: 268.218 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 11566917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.583 Prop: 11520.337 PropClause: 11220.648 Set: 2462.172 Check: 0.0 Back: 269.092 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 11604341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.587 Prop: 11552.461 PropClause: 11251.837 Set: 2469.453 Check: 0.0 Back: 269.949 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 11641607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.593 Prop: 11584.656 PropClause: 11283.104 Set: 2476.64 Check: 0.0 Back: 270.811 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 11679010 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.599 Prop: 11617.255 PropClause: 11314.771 Set: 2483.956 Check: 0.0 Back: 271.666 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 11715805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.605 Prop: 11650.192 PropClause: 11346.787 Set: 2491.035 Check: 0.0 Back: 272.524 INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 11753209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.61 Prop: 11683.535 PropClause: 11379.192 Set: 2498.265 Check: 0.0 Back: 273.383 INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 11790477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.617 Prop: 11717.199 PropClause: 11411.882 Set: 2505.928 Check: 0.0 Back: 274.237 INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 11827901 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.622 Prop: 11750.946 PropClause: 11444.682 Set: 2513.384 Check: 0.0 Back: 275.194 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 11865167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.629 Prop: 11786.618 PropClause: 11479.375 Set: 2521.233 Check: 0.0 Back: 276.067 INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 11902570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.635 Prop: 11820.076 PropClause: 11511.895 Set: 2528.587 Check: 0.0 Back: 277.021 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 11939365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.641 Prop: 11851.854 PropClause: 11542.752 Set: 2535.672 Check: 0.0 Back: 277.882 INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 11976814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.646 Prop: 11887.134 PropClause: 11577.087 Set: 2543.014 Check: 0.0 Back: 278.748 INFO - Atoms: 37449/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 12014243 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.651 Prop: 11918.85 PropClause: 11607.865 Set: 2550.253 Check: 0.0 Back: 279.603 INFO - Atoms: 37429/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 12051830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.657 Prop: 11952.401 PropClause: 11640.464 Set: 2557.761 Check: 0.0 Back: 280.458 INFO - Atoms: 37587/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 12089270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.663 Prop: 11983.551 PropClause: 11670.676 Set: 2564.935 Check: 0.0 Back: 281.479 INFO - Atoms: 37440/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 12126374 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.669 Prop: 12016.978 PropClause: 11703.167 Set: 2572.263 Check: 0.0 Back: 282.361 INFO - Atoms: 37104/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 12163615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.674 Prop: 12045.34 PropClause: 11730.602 Set: 2579.387 Check: 0.0 Back: 283.221 INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 12200720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.68 Prop: 12073.649 PropClause: 11757.98 Set: 2586.464 Check: 0.0 Back: 284.068 INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 12237994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.685 Prop: 12104.227 PropClause: 11787.611 Set: 2593.789 Check: 0.0 Back: 284.92 INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 12275097 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.691 Prop: 12141.352 PropClause: 11823.79 Set: 2601.199 Check: 0.0 Back: 285.765 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 12312339 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.696 Prop: 12177.371 PropClause: 11858.765 Set: 2609.335 Check: 0.0 Back: 286.645 INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 12348972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.702 Prop: 12211.736 PropClause: 11892.213 Set: 2616.416 Check: 0.0 Back: 287.67 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 12386213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.708 Prop: 12242.001 PropClause: 11921.553 Set: 2623.579 Check: 0.0 Back: 288.549 INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 12423335 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.713 Prop: 12273.332 PropClause: 11951.958 Set: 2630.744 Check: 0.0 Back: 289.402 INFO - Atoms: 37122/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 12460609 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.719 Prop: 12305.987 PropClause: 11983.675 Set: 2637.988 Check: 0.0 Back: 290.249 INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 12497712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.724 Prop: 12340.566 PropClause: 12017.299 Set: 2645.355 Check: 0.0 Back: 291.112 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 12534952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.729 Prop: 12373.308 PropClause: 12049.102 Set: 2652.631 Check: 0.0 Back: 291.987 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 12572213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.734 Prop: 12409.632 PropClause: 12084.486 Set: 2660.071 Check: 0.0 Back: 292.853 INFO - Atoms: 37261/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 12609454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.74 Prop: 12446.237 PropClause: 12120.109 Set: 2667.638 Check: 0.0 Back: 293.73 INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 12646559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.745 Prop: 12484.204 PropClause: 12156.918 Set: 2676.775 Check: 0.0 Back: 294.59 INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 12683833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.751 Prop: 12518.74 PropClause: 12190.368 Set: 2685.115 Check: 0.0 Back: 295.581 INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 12720936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.756 Prop: 12552.679 PropClause: 12223.38 Set: 2692.373 Check: 0.0 Back: 296.431 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 12758178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.762 Prop: 12584.303 PropClause: 12254.071 Set: 2699.576 Check: 0.0 Back: 297.289 INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 12794811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.767 Prop: 12618.437 PropClause: 12287.289 Set: 2706.718 Check: 0.0 Back: 298.143 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 12832052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.771 Prop: 12652.997 PropClause: 12320.919 Set: 2714.057 Check: 0.0 Back: 298.984 INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 12869174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.776 Prop: 12687.935 PropClause: 12354.926 Set: 2721.395 Check: 0.0 Back: 299.844 INFO - Atoms: 37122/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 12906434 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.783 Prop: 12721.606 PropClause: 12387.666 Set: 2728.674 Check: 0.0 Back: 300.695 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 12943537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.788 Prop: 12754.427 PropClause: 12419.555 Set: 2736.041 Check: 0.0 Back: 301.561 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 12980777 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.794 Prop: 12787.41 PropClause: 12451.6 Set: 2743.405 Check: 0.0 Back: 302.425 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 13017410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.798 Prop: 12827.99 PropClause: 12491.065 Set: 2752.025 Check: 0.0 Back: 303.275 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 13054649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.804 Prop: 12860.038 PropClause: 12522.185 Set: 2759.269 Check: 0.0 Back: 304.108 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 13091773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.811 Prop: 12890.12 PropClause: 12551.34 Set: 2766.406 Check: 0.0 Back: 304.97 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 13129033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.817 Prop: 12919.935 PropClause: 12580.224 Set: 2773.606 Check: 0.0 Back: 305.825 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 13166136 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.822 Prop: 12951.521 PropClause: 12610.886 Set: 2780.888 Check: 0.0 Back: 306.673 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 13203376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.827 Prop: 12981.946 PropClause: 12640.391 Set: 2788.138 Check: 0.0 Back: 307.527 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 13240009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.839 Prop: 13012.137 PropClause: 12669.669 Set: 2795.12 Check: 0.0 Back: 308.381 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 13277248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.845 Prop: 13044.5 PropClause: 12701.097 Set: 2802.418 Check: 0.0 Back: 309.215 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 13314372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.851 Prop: 13075.614 PropClause: 12731.274 Set: 2809.61 Check: 0.0 Back: 310.067 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 13351647 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.857 Prop: 13107.605 PropClause: 12762.333 Set: 2816.828 Check: 0.0 Back: 310.915 INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 13388750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.861 Prop: 13139.273 PropClause: 12793.075 Set: 2824.049 Check: 0.0 Back: 311.768 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 13425990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.867 Prop: 13171.404 PropClause: 12824.263 Set: 2831.322 Check: 0.0 Back: 312.617 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 13462623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.872 Prop: 13202.715 PropClause: 12854.655 Set: 2838.397 Check: 0.0 Back: 313.465 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 13499863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.878 Prop: 13235.571 PropClause: 12886.581 Set: 2845.61 Check: 0.0 Back: 314.306 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 13536986 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.884 Prop: 13269.549 PropClause: 12919.624 Set: 2868.409 Check: 0.0 Back: 315.154 INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 13574246 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.889 Prop: 13300.907 PropClause: 12950.05 Set: 2875.629 Check: 0.0 Back: 316.005 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 13611349 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.895 Prop: 13332.114 PropClause: 12980.329 Set: 2882.82 Check: 0.0 Back: 316.853 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 13648589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.901 Prop: 13364.784 PropClause: 13012.041 Set: 2890.298 Check: 0.0 Back: 317.699 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 13685222 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.905 Prop: 13395.868 PropClause: 13042.209 Set: 2897.358 Check: 0.0 Back: 318.547 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 13722462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.91 Prop: 13428.098 PropClause: 13073.503 Set: 2904.61 Check: 0.0 Back: 319.408 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 13759585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.916 Prop: 13462.224 PropClause: 13106.691 Set: 2911.87 Check: 0.0 Back: 320.252 INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 13796860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.922 Prop: 13496.961 PropClause: 13140.498 Set: 2919.251 Check: 0.0 Back: 321.1 INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 13833963 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.928 Prop: 13533.075 PropClause: 13175.678 Set: 2926.63 Check: 0.0 Back: 321.951 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 13871203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.935 Prop: 13569.106 PropClause: 13210.753 Set: 2934.146 Check: 0.0 Back: 322.804 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 13907836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.94 Prop: 13601.488 PropClause: 13242.221 Set: 2941.258 Check: 0.0 Back: 323.675 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 13945075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.947 Prop: 13634.802 PropClause: 13274.574 Set: 2948.804 Check: 0.0 Back: 324.526 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 13982199 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.954 Prop: 13668.009 PropClause: 13306.851 Set: 2956.077 Check: 0.0 Back: 325.379 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 14019459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.959 Prop: 13700.802 PropClause: 13338.711 Set: 2963.383 Check: 0.0 Back: 326.227 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 14056562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.965 Prop: 13737.038 PropClause: 13373.982 Set: 2971.259 Check: 0.0 Back: 327.087 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 14093802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.972 Prop: 13767.885 PropClause: 13403.894 Set: 2978.513 Check: 0.0 Back: 328.06 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 14130435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.977 Prop: 13798.268 PropClause: 13433.361 Set: 2985.572 Check: 0.0 Back: 328.912 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 14167675 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.984 Prop: 13833.81 PropClause: 13467.804 Set: 2994.412 Check: 0.0 Back: 329.749 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 14204798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.989 Prop: 13869.377 PropClause: 13502.388 Set: 3002.403 Check: 0.0 Back: 330.622 INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 14242073 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.994 Prop: 13900.5 PropClause: 13532.574 Set: 3009.683 Check: 0.0 Back: 331.486 INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 14279176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.0 Prop: 13932.902 PropClause: 13564.045 Set: 3016.94 Check: 0.0 Back: 332.333 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 14316416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.005 Prop: 13965.113 PropClause: 13595.324 Set: 3024.219 Check: 0.0 Back: 333.197 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 14353049 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.01 Prop: 13997.556 PropClause: 13626.853 Set: 3031.272 Check: 0.0 Back: 334.057 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 14390288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.016 Prop: 14031.165 PropClause: 13659.524 Set: 3038.536 Check: 0.0 Back: 334.899 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 14427412 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.021 Prop: 14063.363 PropClause: 13690.8 Set: 3045.726 Check: 0.0 Back: 335.746 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 14464672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.028 Prop: 14097.401 PropClause: 13723.909 Set: 3053.091 Check: 0.0 Back: 336.601 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 14501775 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.033 Prop: 14131.948 PropClause: 13757.528 Set: 3060.371 Check: 0.0 Back: 337.448 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 14539015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.038 Prop: 14163.398 PropClause: 13788.046 Set: 3067.581 Check: 0.0 Back: 338.307 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 14575648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.043 Prop: 14195.457 PropClause: 13819.19 Set: 3074.697 Check: 0.0 Back: 339.16 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 14612887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.049 Prop: 14226.775 PropClause: 13849.576 Set: 3082.051 Check: 0.0 Back: 339.997 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 14650011 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.054 Prop: 14257.255 PropClause: 13879.126 Set: 3089.201 Check: 0.0 Back: 340.853 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 14687271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.059 Prop: 14288.441 PropClause: 13909.383 Set: 3096.406 Check: 0.0 Back: 341.703 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 14724374 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.064 Prop: 14319.384 PropClause: 13939.393 Set: 3103.568 Check: 0.0 Back: 342.545 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 14761614 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.071 Prop: 14350.929 PropClause: 13969.996 Set: 3110.739 Check: 0.0 Back: 343.397 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 14798247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.075 Prop: 14383.434 PropClause: 14001.583 Set: 3117.78 Check: 0.0 Back: 344.242 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 14835487 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.08 Prop: 14415.186 PropClause: 14032.406 Set: 3124.988 Check: 0.0 Back: 345.078 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 14872610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.086 Prop: 14447.698 PropClause: 14063.995 Set: 3132.172 Check: 0.0 Back: 345.925 INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 14909884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.091 Prop: 14479.167 PropClause: 14094.534 Set: 3139.401 Check: 0.0 Back: 346.765 INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 14946987 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.096 Prop: 14511.556 PropClause: 14125.992 Set: 3146.67 Check: 0.0 Back: 347.608 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 14984227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.102 Prop: 14543.229 PropClause: 14156.737 Set: 3153.926 Check: 0.0 Back: 348.464 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 15020860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.108 Prop: 14574.176 PropClause: 14186.758 Set: 3161.068 Check: 0.0 Back: 349.313 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 15058099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.114 Prop: 14603.848 PropClause: 14215.496 Set: 3168.278 Check: 0.0 Back: 350.169 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 15095223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.12 Prop: 14635.338 PropClause: 14246.057 Set: 3175.564 Check: 0.0 Back: 351.017 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 15132496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.126 Prop: 14665.621 PropClause: 14275.408 Set: 3182.813 Check: 0.0 Back: 351.874 INFO - Atoms: 37273/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 15169599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.131 Prop: 14699.35 PropClause: 14308.207 Set: 3190.035 Check: 0.0 Back: 352.721 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 15206839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.137 Prop: 14729.846 PropClause: 14337.771 Set: 3197.285 Check: 0.0 Back: 353.566 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 15244102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.142 Prop: 14759.969 PropClause: 14366.962 Set: 3204.487 Check: 0.0 Back: 354.415 INFO - Atoms: 37263/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 15281343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.148 Prop: 14792.391 PropClause: 14398.451 Set: 3211.694 Check: 0.0 Back: 355.267 INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 15318448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.155 Prop: 14824.451 PropClause: 14429.583 Set: 3218.981 Check: 0.0 Back: 356.135 INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 15355708 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.161 Prop: 14857.297 PropClause: 14461.493 Set: 3226.307 Check: 0.0 Back: 356.996 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 15392811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.165 Prop: 14890.325 PropClause: 14493.592 Set: 3233.54 Check: 0.0 Back: 357.857 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 15430053 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.172 Prop: 14922.104 PropClause: 14524.445 Set: 3240.747 Check: 0.0 Back: 358.705 INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 15466686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.177 Prop: 14954.898 PropClause: 14556.328 Set: 3247.791 Check: 0.0 Back: 359.548 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 15503928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.183 Prop: 14989.102 PropClause: 14589.61 Set: 3255.026 Check: 0.0 Back: 360.38 INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 15541049 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.187 Prop: 15021.573 PropClause: 14621.156 Set: 3262.198 Check: 0.0 Back: 361.226 INFO - Atoms: 37121/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 15578309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.192 Prop: 15052.117 PropClause: 14650.773 Set: 3269.349 Check: 0.0 Back: 362.073 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 15615412 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.197 Prop: 15082.81 PropClause: 14680.542 Set: 3276.438 Check: 0.0 Back: 362.922 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 15652652 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.202 Prop: 15114.26 PropClause: 14711.065 Set: 3283.624 Check: 0.0 Back: 363.769 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 15689285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.207 Prop: 15147.845 PropClause: 14743.718 Set: 3290.748 Check: 0.0 Back: 364.617 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 15726525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.212 Prop: 15180.338 PropClause: 14775.281 Set: 3298.023 Check: 0.0 Back: 365.45 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 15763648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.218 Prop: 15213.327 PropClause: 14807.333 Set: 3316.563 Check: 0.0 Back: 366.309 INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 15800908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.224 Prop: 15245.394 PropClause: 14838.457 Set: 3323.8 Check: 0.0 Back: 367.156 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 15838011 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.229 Prop: 15277.456 PropClause: 14869.595 Set: 3330.998 Check: 0.0 Back: 368.012 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 15875251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.233 Prop: 15309.205 PropClause: 14900.413 Set: 3338.238 Check: 0.0 Back: 368.858 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 15911884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.239 Prop: 15341.245 PropClause: 14931.543 Set: 3345.277 Check: 0.0 Back: 369.699 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 15949123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.243 Prop: 15374.12 PropClause: 14963.491 Set: 3352.513 Check: 0.0 Back: 370.529 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 15986247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.248 Prop: 15406.941 PropClause: 14995.385 Set: 3359.781 Check: 0.0 Back: 371.372 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 16023507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.254 Prop: 15437.01 PropClause: 15024.526 Set: 3366.961 Check: 0.0 Back: 372.22 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 16060610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.258 Prop: 15466.717 PropClause: 15053.308 Set: 3374.157 Check: 0.0 Back: 373.072 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 16097850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.262 Prop: 15496.641 PropClause: 15082.301 Set: 3381.384 Check: 0.0 Back: 373.912 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 16134483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.266 Prop: 15526.807 PropClause: 15111.544 Set: 3388.443 Check: 0.0 Back: 374.759 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 16171722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.271 Prop: 15556.549 PropClause: 15140.353 Set: 3395.693 Check: 0.0 Back: 375.593 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 16208846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.277 Prop: 15587.076 PropClause: 15169.951 Set: 3402.969 Check: 0.0 Back: 376.444 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 16246121 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.282 Prop: 15618.721 PropClause: 15200.664 Set: 3410.221 Check: 0.0 Back: 377.291 INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 16283224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.288 Prop: 15651.25 PropClause: 15232.253 Set: 3417.481 Check: 0.0 Back: 378.14 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 16320464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.293 Prop: 15684.878 PropClause: 15264.944 Set: 3424.797 Check: 0.0 Back: 378.991 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 16357097 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.3 Prop: 15717.86 PropClause: 15297.006 Set: 3431.927 Check: 0.0 Back: 379.845 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 16394337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.306 Prop: 15752.317 PropClause: 15330.52 Set: 3439.292 Check: 0.0 Back: 380.692 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 16431460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.311 Prop: 15785.626 PropClause: 15362.895 Set: 3446.602 Check: 0.0 Back: 381.546 INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 16468720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.316 Prop: 15820.47 PropClause: 15396.799 Set: 3454.012 Check: 0.0 Back: 382.41 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 16505823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.323 Prop: 15860.838 PropClause: 15436.095 Set: 3462.472 Check: 0.0 Back: 383.27 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 16543063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.33 Prop: 15897.662 PropClause: 15471.983 Set: 3469.858 Check: 0.0 Back: 384.171 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 16580324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.335 Prop: 15932.31 PropClause: 15505.686 Set: 3477.226 Check: 0.0 Back: 385.025 INFO - Atoms: 37261/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 16617566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.34 Prop: 15964.845 PropClause: 15537.289 Set: 3484.535 Check: 0.0 Back: 385.876 INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 16654671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.347 Prop: 15996.922 PropClause: 15568.434 Set: 3491.783 Check: 0.0 Back: 386.724 INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 16691931 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.352 Prop: 16030.55 PropClause: 15601.131 Set: 3499.081 Check: 0.0 Back: 387.576 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 16729034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.357 Prop: 16063.113 PropClause: 15632.768 Set: 3506.326 Check: 0.0 Back: 388.437 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 16766276 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.363 Prop: 16097.377 PropClause: 15666.097 Set: 3528.757 Check: 0.0 Back: 389.289 INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 16802909 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.369 Prop: 16131.084 PropClause: 15698.886 Set: 3535.9 Check: 0.0 Back: 390.145 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 16840151 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.375 Prop: 16168.024 PropClause: 15734.718 Set: 3544.452 Check: 0.0 Back: 390.996 INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 16877272 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.381 Prop: 16201.377 PropClause: 15767.148 Set: 3551.833 Check: 0.0 Back: 391.852 INFO - Atoms: 37121/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 16914547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.386 Prop: 16234.551 PropClause: 15799.396 Set: 3559.193 Check: 0.0 Back: 392.716 INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 16951650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.391 Prop: 16266.954 PropClause: 15830.871 Set: 3566.433 Check: 0.0 Back: 393.583 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 16988890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.397 Prop: 16299.991 PropClause: 15862.977 Set: 3573.681 Check: 0.0 Back: 394.444 INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 17025523 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.403 Prop: 16332.758 PropClause: 15894.823 Set: 3580.772 Check: 0.0 Back: 395.293 INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 17062762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.408 Prop: 16363.214 PropClause: 15924.356 Set: 3588.104 Check: 0.0 Back: 396.145 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 17099886 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.414 Prop: 16394.058 PropClause: 15954.276 Set: 3595.384 Check: 0.0 Back: 397.002 INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 17137146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.42 Prop: 16424.524 PropClause: 15983.803 Set: 3602.626 Check: 0.0 Back: 397.862 INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 17174249 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.425 Prop: 16455.107 PropClause: 16013.454 Set: 3609.838 Check: 0.0 Back: 398.717 INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 17211488 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.431 Prop: 16491.169 PropClause: 16048.363 Set: 3618.68 Check: 0.0 Back: 399.567 INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 17248751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.437 Prop: 16526.846 PropClause: 16083.031 Set: 3626.78 Check: 0.0 Back: 400.432 INFO - Atoms: 37263/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 17286154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.444 Prop: 16570.942 PropClause: 16126.081 Set: 3635.622 Check: 0.0 Back: 401.313 INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 17323421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.449 Prop: 16609.43 PropClause: 16163.591 Set: 3643.552 Check: 0.0 Back: 402.279 INFO - Atoms: 37267/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 17360845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.455 Prop: 16642.446 PropClause: 16195.671 Set: 3658.681 Check: 0.0 Back: 403.253 INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 17397802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.46 Prop: 16675.626 PropClause: 16227.924 Set: 3665.957 Check: 0.0 Back: 404.133 INFO - Atoms: 36957/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 17434830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.465 Prop: 16709.539 PropClause: 16260.909 Set: 3673.222 Check: 0.0 Back: 405.01 INFO - Atoms: 37028/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 17471472 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.472 Prop: 16746.235 PropClause: 16296.675 Set: 3680.561 Check: 0.0 Back: 405.853 INFO - Atoms: 36642/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 17508660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.479 Prop: 16782.604 PropClause: 16332.1 Set: 3688.098 Check: 0.0 Back: 406.716 INFO - Atoms: 37188/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 17545889 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.486 Prop: 16822.08 PropClause: 16370.559 Set: 3696.222 Check: 0.0 Back: 407.595 INFO - Atoms: 37229/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 17583752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.581 Prop: 16864.053 PropClause: 16411.452 Set: 3709.699 Check: 0.0 Back: 408.514 INFO - Atoms: 37863/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 17621761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.656 Prop: 16897.227 PropClause: 16443.684 Set: 3715.962 Check: 0.0 Back: 409.381 INFO - Atoms: 38009/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 17659951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.699 Prop: 16933.286 PropClause: 16478.773 Set: 3722.376 Check: 0.0 Back: 410.261 INFO - Atoms: 38190/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 17698286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.748 Prop: 16972.166 PropClause: 16516.599 Set: 3729.519 Check: 0.0 Back: 411.184 INFO - Atoms: 38335/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 17736802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.799 Prop: 17015.145 PropClause: 16558.616 Set: 3736.087 Check: 0.0 Back: 412.099 INFO - Atoms: 38516/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 17775463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.845 Prop: 17051.693 PropClause: 16594.208 Set: 3742.427 Check: 0.0 Back: 413.118 INFO - Atoms: 38661/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 17814305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.899 Prop: 17092.015 PropClause: 16633.562 Set: 3748.982 Check: 0.0 Back: 414.003 INFO - Atoms: 38842/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 17853292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.048 Prop: 17131.817 PropClause: 16672.388 Set: 3755.575 Check: 0.0 Back: 414.906 INFO - Atoms: 38987/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 17892460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.064 Prop: 17169.558 PropClause: 16709.158 Set: 3762.079 Check: 0.0 Back: 415.824 INFO - Atoms: 39168/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 17931773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.078 Prop: 17206.675 PropClause: 16745.288 Set: 3768.604 Check: 0.0 Back: 416.733 INFO - Atoms: 39313/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 17971267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.09 Prop: 17244.809 PropClause: 16782.446 Set: 3775.047 Check: 0.0 Back: 417.632 INFO - Atoms: 39494/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 451 Props: 18010906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.1 Prop: 17278.965 PropClause: 16815.622 Set: 3781.506 Check: 0.0 Back: 418.535 INFO - Atoms: 39639/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 452 Props: 18050726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.111 Prop: 17314.914 PropClause: 16850.582 Set: 3788.024 Check: 0.0 Back: 419.44 INFO - Atoms: 39820/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 453 Props: 18090691 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.123 Prop: 17351.127 PropClause: 16885.809 Set: 3794.629 Check: 0.0 Back: 420.346 INFO - Atoms: 39965/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 454 Props: 18130837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.136 Prop: 17388.063 PropClause: 16921.747 Set: 3801.126 Check: 0.0 Back: 421.261 INFO - Atoms: 40146/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 455 Props: 18171128 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.15 Prop: 17423.576 PropClause: 16956.25 Set: 3807.7 Check: 0.0 Back: 422.175 INFO - Atoms: 40291/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 456 Props: 18211600 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.162 Prop: 17460.694 PropClause: 16992.358 Set: 3814.347 Check: 0.0 Back: 423.1 INFO - Atoms: 40472/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 457 Props: 18252217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.172 Prop: 17497.431 PropClause: 17028.091 Set: 3821.009 Check: 0.0 Back: 424.024 INFO - Atoms: 40617/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 458 Props: 18293015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.182 Prop: 17533.614 PropClause: 17063.268 Set: 3827.635 Check: 0.0 Back: 424.954 INFO - Atoms: 40798/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 459 Props: 18333958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.195 Prop: 17569.862 PropClause: 17098.496 Set: 3834.314 Check: 0.0 Back: 425.884 INFO - Atoms: 40943/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 460 Props: 18375082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.206 Prop: 17608.447 PropClause: 17136.064 Set: 3841.072 Check: 0.0 Back: 426.821 INFO - Atoms: 41124/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 461 Props: 18416351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.219 Prop: 17646.08 PropClause: 17172.667 Set: 3847.822 Check: 0.0 Back: 427.792 INFO - Atoms: 41269/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 462 Props: 18457801 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.231 Prop: 17685.628 PropClause: 17211.192 Set: 3854.664 Check: 0.0 Back: 428.751 INFO - Atoms: 41450/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 463 Props: 18499396 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.243 Prop: 17722.866 PropClause: 17247.397 Set: 3861.484 Check: 0.0 Back: 429.696 INFO - Atoms: 41595/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 464 Props: 18541172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.256 Prop: 17761.233 PropClause: 17284.727 Set: 3879.662 Check: 0.0 Back: 430.66 INFO - Atoms: 41776/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 465 Props: 18583093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.265 Prop: 17798.418 PropClause: 17320.876 Set: 3886.509 Check: 0.0 Back: 431.615 INFO - Atoms: 41921/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 466 Props: 18625195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.28 Prop: 17837.414 PropClause: 17358.83 Set: 3893.429 Check: 0.0 Back: 432.575 INFO - Atoms: 42102/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 467 Props: 18667442 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.292 Prop: 17876.874 PropClause: 17397.244 Set: 3900.374 Check: 0.0 Back: 433.541 INFO - Atoms: 42247/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 468 Props: 18709870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.306 Prop: 17923.859 PropClause: 17443.18 Set: 3907.572 Check: 0.0 Back: 434.508 INFO - Atoms: 42428/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 469 Props: 18752443 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.318 Prop: 17968.283 PropClause: 17486.467 Set: 3915.36 Check: 0.0 Back: 435.48 INFO - Atoms: 42573/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 470 Props: 18795197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.33 Prop: 18009.797 PropClause: 17526.923 Set: 3922.395 Check: 0.0 Back: 436.478 INFO - Atoms: 42754/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 471 Props: 18838096 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.34 Prop: 18052.769 PropClause: 17568.83 Set: 3929.566 Check: 0.0 Back: 437.449 INFO - Atoms: 42899/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 472 Props: 18881176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.355 Prop: 18097.946 PropClause: 17612.934 Set: 3936.772 Check: 0.0 Back: 438.429 INFO - Atoms: 43080/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 473 Props: 18924401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.368 Prop: 18141.936 PropClause: 17655.853 Set: 3944.055 Check: 0.0 Back: 439.424 INFO - Atoms: 43225/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 474 Props: 18967807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.38 Prop: 18181.724 PropClause: 17694.564 Set: 3951.215 Check: 0.0 Back: 440.425 INFO - Atoms: 43406/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 475 Props: 19011358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.392 Prop: 18221.647 PropClause: 17733.397 Set: 3958.412 Check: 0.0 Back: 441.42 INFO - Atoms: 43551/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 476 Props: 19055090 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.405 Prop: 18262.996 PropClause: 17773.657 Set: 3965.652 Check: 0.0 Back: 442.436 INFO - Atoms: 43732/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 477 Props: 19098967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.418 Prop: 18303.446 PropClause: 17813.028 Set: 3973.235 Check: 0.0 Back: 443.45 INFO - Atoms: 43877/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 478 Props: 19143025 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.432 Prop: 18344.081 PropClause: 17852.582 Set: 3980.402 Check: 0.0 Back: 444.448 INFO - Atoms: 44058/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 479 Props: 19187228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.444 Prop: 18383.971 PropClause: 17891.38 Set: 3987.65 Check: 0.0 Back: 445.447 INFO - Atoms: 44203/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 480 Props: 19231612 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.456 Prop: 18427.36 PropClause: 17933.676 Set: 3995.007 Check: 0.0 Back: 446.448 INFO - Atoms: 44384/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 481 Props: 19276141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.468 Prop: 18469.021 PropClause: 17974.243 Set: 4002.338 Check: 0.0 Back: 447.455 INFO - Atoms: 44529/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 482 Props: 19320851 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.481 Prop: 18515.083 PropClause: 18019.206 Set: 4009.896 Check: 0.0 Back: 448.466 INFO - Atoms: 44710/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 483 Props: 19365706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.495 Prop: 18562.852 PropClause: 18065.649 Set: 4019.072 Check: 0.0 Back: 449.498 INFO - Atoms: 44855/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 484 Props: 19410742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.509 Prop: 18607.404 PropClause: 18109.082 Set: 4026.446 Check: 0.0 Back: 450.539 INFO - Atoms: 45036/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 485 Props: 19455923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.519 Prop: 18653.345 PropClause: 18153.893 Set: 4033.95 Check: 0.0 Back: 451.574 INFO - Atoms: 45181/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 486 Props: 19501285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.533 Prop: 18699.214 PropClause: 18198.641 Set: 4041.488 Check: 0.0 Back: 452.611 INFO - Atoms: 45362/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 487 Props: 19546792 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.544 Prop: 18743.689 PropClause: 18241.997 Set: 4048.956 Check: 0.0 Back: 453.645 INFO - Atoms: 45507/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 488 Props: 19592480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.555 Prop: 18791.094 PropClause: 18288.272 Set: 4056.606 Check: 0.0 Back: 454.683 INFO - Atoms: 45688/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 489 Props: 19638313 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.564 Prop: 18837.634 PropClause: 18333.686 Set: 4064.25 Check: 0.0 Back: 455.716 INFO - Atoms: 45833/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 490 Props: 19684327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.579 Prop: 18887.561 PropClause: 18382.478 Set: 4071.953 Check: 0.0 Back: 456.763 INFO - Atoms: 46014/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 491 Props: 19730486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.602 Prop: 18934.982 PropClause: 18428.75 Set: 4079.678 Check: 0.0 Back: 457.813 INFO - Atoms: 46159/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 70812 Tprops: 15413 Decides: 61724 RSplits: 0 INFO - Times: Expl: 332.208 Prop: 50451.976 PropClause: 32.196 Set: 11670.489 Check: 275.219 Back: 311.427 INFO - Atoms: 795/1014 Clauses: 500 Axioms: 1014 INFO - CCTimes: iE 755164 eq 36568202 cc 132761345 setRep 84275949 INFO - Merges: 532656, cc:1226418 INFO - BVTimes: BB 180707961 BB_DPLL 43451307972 Graph 1586510 INFO - BitBlastingClauses: 513598 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 492 Props: 19776825 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.616 Prop: 18999.094 PropClause: 18491.489 Set: 4091.083 Check: 0.0 Back: 458.865 INFO - Atoms: 46339/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 493 Props: 19823310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.629 Prop: 19063.751 PropClause: 18554.772 Set: 4102.64 Check: 0.0 Back: 460.056 INFO - Atoms: 46485/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 494 Props: 19869976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.652 Prop: 19131.374 PropClause: 18621.008 Set: 4114.416 Check: 0.0 Back: 461.257 INFO - Atoms: 46666/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 495 Props: 19916787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.666 Prop: 19194.073 PropClause: 18682.309 Set: 4126.112 Check: 0.0 Back: 462.459 INFO - Atoms: 46811/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 496 Props: 19963895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.679 Prop: 19260.348 PropClause: 18747.175 Set: 4138.153 Check: 0.0 Back: 463.665 INFO - Atoms: 47108/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 497 Props: 20011030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.693 Prop: 19308.234 PropClause: 18793.898 Set: 4146.055 Check: 0.0 Back: 464.912 INFO - Atoms: 47135/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 498 Props: 20058328 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.704 Prop: 19356.854 PropClause: 18841.349 Set: 4153.961 Check: 0.0 Back: 465.992 INFO - Atoms: 47298/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 499 Props: 20105811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.715 Prop: 19407.883 PropClause: 18891.204 Set: 4162.076 Check: 0.0 Back: 467.07 INFO - Atoms: 47483/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 500 Props: 20153437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.73 Prop: 19460.144 PropClause: 18942.261 Set: 4170.471 Check: 0.0 Back: 468.157 INFO - Atoms: 47626/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 501 Props: 20201244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.743 Prop: 19511.958 PropClause: 18992.864 Set: 4178.612 Check: 0.0 Back: 469.245 INFO - Atoms: 47807/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 502 Props: 20249196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.756 Prop: 19564.849 PropClause: 19044.572 Set: 4186.757 Check: 0.0 Back: 470.354 INFO - Atoms: 47952/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 503 Props: 20297329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.771 Prop: 19616.86 PropClause: 19095.395 Set: 4194.916 Check: 0.0 Back: 471.45 INFO - Atoms: 48133/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 504 Props: 20345607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.783 Prop: 19667.636 PropClause: 19144.97 Set: 4203.038 Check: 0.0 Back: 472.56 INFO - Atoms: 48278/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 505 Props: 20394066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.797 Prop: 19718.435 PropClause: 19194.57 Set: 4211.265 Check: 0.0 Back: 473.671 INFO - Atoms: 48459/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 506 Props: 20442670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.808 Prop: 19769.866 PropClause: 19244.799 Set: 4219.439 Check: 0.0 Back: 474.785 INFO - Atoms: 48604/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 507 Props: 20491455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.821 Prop: 19820.862 PropClause: 19294.588 Set: 4227.665 Check: 0.0 Back: 475.904 INFO - Atoms: 48785/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 508 Props: 20540385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.834 Prop: 19876.072 PropClause: 19348.589 Set: 4235.934 Check: 0.0 Back: 477.023 INFO - Atoms: 48930/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 509 Props: 20589496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.848 Prop: 19927.793 PropClause: 19399.097 Set: 4264.343 Check: 0.0 Back: 478.146 INFO - Atoms: 49111/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 510 Props: 20638752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.859 Prop: 19979.198 PropClause: 19449.29 Set: 4272.598 Check: 0.0 Back: 479.266 INFO - Atoms: 49256/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 511 Props: 20688189 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.87 Prop: 20030.557 PropClause: 19499.429 Set: 4280.916 Check: 0.0 Back: 480.392 INFO - Atoms: 49437/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 512 Props: 20737771 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.885 Prop: 20084.896 PropClause: 19552.54 Set: 4289.354 Check: 0.0 Back: 481.513 INFO - Atoms: 49582/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 513 Props: 20787534 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.896 Prop: 20135.59 PropClause: 19602.01 Set: 4297.711 Check: 0.0 Back: 482.64 INFO - Atoms: 49763/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 514 Props: 20837442 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.91 Prop: 20188.125 PropClause: 19653.317 Set: 4306.092 Check: 0.0 Back: 483.772 INFO - Atoms: 49908/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 515 Props: 20887531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.922 Prop: 20239.454 PropClause: 19703.405 Set: 4314.497 Check: 0.0 Back: 484.906 INFO - Atoms: 50089/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 516 Props: 20937765 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.932 Prop: 20292.009 PropClause: 19754.716 Set: 4322.909 Check: 0.0 Back: 486.057 INFO - Atoms: 50234/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 517 Props: 20988180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.945 Prop: 20343.775 PropClause: 19805.236 Set: 4331.447 Check: 0.0 Back: 487.199 INFO - Atoms: 50415/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 518 Props: 21038740 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.959 Prop: 20399.627 PropClause: 19859.838 Set: 4340.091 Check: 0.0 Back: 488.351 INFO - Atoms: 50560/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 519 Props: 21089481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.973 Prop: 20455.607 PropClause: 19914.555 Set: 4348.733 Check: 0.0 Back: 489.512 INFO - Atoms: 50741/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 520 Props: 21140367 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.983 Prop: 20513.339 PropClause: 19971.025 Set: 4357.369 Check: 0.0 Back: 490.681 INFO - Atoms: 50886/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 521 Props: 21191434 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.997 Prop: 20567.981 PropClause: 20024.403 Set: 4366.059 Check: 0.0 Back: 491.842 INFO - Atoms: 51067/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 522 Props: 21242646 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.008 Prop: 20627.049 PropClause: 20082.203 Set: 4374.771 Check: 0.0 Back: 493.01 INFO - Atoms: 51212/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 523 Props: 21294039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.022 Prop: 20685.937 PropClause: 20139.803 Set: 4383.746 Check: 0.0 Back: 494.18 INFO - Atoms: 51393/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 524 Props: 21345577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.033 Prop: 20742.679 PropClause: 20195.268 Set: 4392.515 Check: 0.0 Back: 495.36 INFO - Atoms: 51538/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 525 Props: 21397296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.045 Prop: 20799.372 PropClause: 20250.681 Set: 4401.289 Check: 0.0 Back: 496.536 INFO - Atoms: 51719/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 526 Props: 21449160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.059 Prop: 20855.905 PropClause: 20305.933 Set: 4410.101 Check: 0.0 Back: 497.718 INFO - Atoms: 51864/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 527 Props: 21501205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.072 Prop: 20913.943 PropClause: 20362.678 Set: 4418.934 Check: 0.0 Back: 498.919 INFO - Atoms: 52045/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 528 Props: 21553395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.084 Prop: 20971.976 PropClause: 20419.417 Set: 4427.849 Check: 0.0 Back: 500.113 INFO - Atoms: 52190/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 529 Props: 21605766 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.097 Prop: 21030.822 PropClause: 20476.969 Set: 4436.831 Check: 0.0 Back: 501.299 INFO - Atoms: 52371/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 530 Props: 21658282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.109 Prop: 21088.174 PropClause: 20533.022 Set: 4445.637 Check: 0.0 Back: 502.498 INFO - Atoms: 52516/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 531 Props: 21710979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.121 Prop: 21144.018 PropClause: 20587.564 Set: 4454.518 Check: 0.0 Back: 503.693 INFO - Atoms: 52697/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 532 Props: 21763821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.133 Prop: 21201.233 PropClause: 20643.476 Set: 4463.462 Check: 0.0 Back: 504.9 INFO - Atoms: 52842/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 533 Props: 21816844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.147 Prop: 21258.514 PropClause: 20699.448 Set: 4472.692 Check: 0.0 Back: 506.104 INFO - Atoms: 53023/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 534 Props: 21870012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.159 Prop: 21315.46 PropClause: 20755.079 Set: 4481.668 Check: 0.0 Back: 507.324 INFO - Atoms: 53168/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 535 Props: 21923361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.171 Prop: 21370.079 PropClause: 20808.375 Set: 4490.692 Check: 0.0 Back: 508.542 INFO - Atoms: 53349/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 536 Props: 21976855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.182 Prop: 21425.12 PropClause: 20862.093 Set: 4499.618 Check: 0.0 Back: 509.762 INFO - Atoms: 53494/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 537 Props: 22030530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.194 Prop: 21482.21 PropClause: 20917.853 Set: 4508.751 Check: 0.0 Back: 510.982 INFO - Atoms: 53675/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 538 Props: 22084350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.208 Prop: 21539.668 PropClause: 20973.977 Set: 4517.828 Check: 0.0 Back: 512.27 INFO - Atoms: 53820/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 539 Props: 22138351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.22 Prop: 21598.54 PropClause: 21031.516 Set: 4526.998 Check: 0.0 Back: 513.498 INFO - Atoms: 54001/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 540 Props: 22192497 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.233 Prop: 21661.326 PropClause: 21092.888 Set: 4536.772 Check: 0.0 Back: 514.727 INFO - Atoms: 54146/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 541 Props: 22246823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.247 Prop: 21724.792 PropClause: 21155.009 Set: 4546.335 Check: 0.0 Back: 515.958 INFO - Atoms: 54326/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 542 Props: 22301295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.259 Prop: 21784.404 PropClause: 21213.273 Set: 4555.636 Check: 0.0 Back: 517.205 INFO - Atoms: 54472/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 543 Props: 22355947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.269 Prop: 21844.023 PropClause: 21271.54 Set: 4564.922 Check: 0.0 Back: 518.453 INFO - Atoms: 54652/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 544 Props: 22393630 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.283 Prop: 21893.319 PropClause: 21319.904 Set: 4571.066 Check: 0.0 Back: 519.711 INFO - Atoms: 37683/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 545 Props: 22431150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.295 Prop: 21927.062 PropClause: 21352.715 Set: 4577.166 Check: 0.0 Back: 520.581 INFO - Atoms: 37520/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 546 Props: 22468528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.31 Prop: 21964.137 PropClause: 21388.856 Set: 4583.329 Check: 0.0 Back: 521.459 INFO - Atoms: 37378/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 547 Props: 22505722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 9.323 Prop: 21997.148 PropClause: 21420.939 Set: 4589.405 Check: 0.0 Back: 522.315 INFO - Atoms: 37194/55136 Clauses: 677 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 1047 Props: 24100475 Tprops: 0 Decides: 4611 RSplits: 0 INFO - Times: Expl: 1156.009 Prop: 23713.083 PropClause: 23089.739 Set: 4631.373 Check: 0.126 Back: 562.22 INFO - Atoms: 18229/55136 Clauses: 1176 Axioms: 181682 INFO - Restart INFO - Confl: 1547 Props: 25254896 Tprops: 0 Decides: 7556 RSplits: 0 INFO - Times: Expl: 1664.421 Prop: 24802.257 PropClause: 24147.431 Set: 4658.785 Check: 0.202 Back: 589.497 INFO - Atoms: 18234/55136 Clauses: 1676 Axioms: 181682 INFO - Confl: 2054 Props: 26365164 Tprops: 0 Decides: 9744 RSplits: 0 INFO - Times: Expl: 2174.557 Prop: 25740.952 PropClause: 25056.763 Set: 4685.243 Check: 0.261 Back: 615.644 INFO - Atoms: 19275/55136 Clauses: 2183 Axioms: 181682 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 557 Props: 77371 Tprops: 15419 Decides: 62987 RSplits: 0 INFO - Times: Expl: 368.031 Prop: 63453.034 PropClause: 36.281 Set: 12720.371 Check: 312.506 Back: 330.204 INFO - Atoms: 1014/1014 Clauses: 557 Axioms: 1014 INFO - CCTimes: iE 761601 eq 39425964 cc 151996207 setRep 96587450 INFO - Merges: 607857, cc:1739621 INFO - BVTimes: BB 180707961 BB_DPLL 55420122489 Graph 1616316 INFO - BitBlastingClauses: 552130 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat