/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_063_128.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 257646277 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 50556 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.635 Prop: 99.794 PropClause: 95.851 Set: 36.842 Check: 0.0 Back: 0.0 INFO - Atoms: 50556/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 101114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.737 Prop: 179.546 PropClause: 172.858 Set: 48.838 Check: 0.0 Back: 1.308 INFO - Atoms: 50558/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 151672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.811 Prop: 250.713 PropClause: 241.459 Set: 61.139 Check: 0.0 Back: 2.624 INFO - Atoms: 50558/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 201976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.862 Prop: 313.666 PropClause: 301.872 Set: 79.114 Check: 0.0 Back: 3.965 INFO - Atoms: 50304/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 252281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.909 Prop: 378.564 PropClause: 364.329 Set: 90.914 Check: 0.0 Back: 5.268 INFO - Atoms: 50305/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 302586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.959 Prop: 442.891 PropClause: 425.76 Set: 102.353 Check: 0.0 Back: 6.592 INFO - Atoms: 50305/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 352891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.034 Prop: 496.834 PropClause: 478.208 Set: 111.236 Check: 0.0 Back: 7.936 INFO - Atoms: 50305/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 403191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.084 Prop: 557.333 PropClause: 536.939 Set: 122.838 Check: 0.0 Back: 9.219 INFO - Atoms: 50300/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 453364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.133 Prop: 620.547 PropClause: 598.371 Set: 140.345 Check: 0.0 Back: 10.473 INFO - Atoms: 50173/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 503405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.181 Prop: 681.47 PropClause: 657.702 Set: 195.445 Check: 0.0 Back: 11.778 INFO - Atoms: 50041/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 553316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.256 Prop: 739.634 PropClause: 714.494 Set: 204.09 Check: 0.0 Back: 13.089 INFO - Atoms: 49911/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 603095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.304 Prop: 791.922 PropClause: 765.419 Set: 212.569 Check: 0.0 Back: 14.241 INFO - Atoms: 49779/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 652744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.356 Prop: 855.408 PropClause: 827.312 Set: 222.422 Check: 0.0 Back: 15.38 INFO - Atoms: 49649/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 702261 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.436 Prop: 917.738 PropClause: 888.29 Set: 231.047 Check: 0.0 Back: 16.58 INFO - Atoms: 49517/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 751648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.488 Prop: 980.603 PropClause: 949.792 Set: 239.76 Check: 0.0 Back: 17.769 INFO - Atoms: 49387/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 800903 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.536 Prop: 1033.666 PropClause: 1001.511 Set: 248.164 Check: 0.0 Back: 19.0 INFO - Atoms: 49255/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 850028 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.581 Prop: 1089.365 PropClause: 1055.875 Set: 260.472 Check: 0.0 Back: 20.173 INFO - Atoms: 49125/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 899021 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.63 Prop: 1144.976 PropClause: 1110.152 Set: 273.235 Check: 0.0 Back: 21.329 INFO - Atoms: 48993/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 947884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.675 Prop: 1199.447 PropClause: 1163.291 Set: 285.88 Check: 0.0 Back: 22.468 INFO - Atoms: 48863/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 996615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.724 Prop: 1260.154 PropClause: 1222.348 Set: 301.653 Check: 0.0 Back: 23.617 INFO - Atoms: 48731/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1045216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.771 Prop: 1314.11 PropClause: 1274.98 Set: 309.997 Check: 0.0 Back: 24.747 INFO - Atoms: 48601/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1093685 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.821 Prop: 1368.998 PropClause: 1328.542 Set: 318.301 Check: 0.0 Back: 25.923 INFO - Atoms: 48469/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1142024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.866 Prop: 1426.495 PropClause: 1384.71 Set: 326.783 Check: 0.0 Back: 27.04 INFO - Atoms: 48339/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1190231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.913 Prop: 1479.501 PropClause: 1436.39 Set: 335.103 Check: 0.0 Back: 28.211 INFO - Atoms: 48207/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1238308 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.96 Prop: 1533.707 PropClause: 1489.288 Set: 343.362 Check: 0.0 Back: 29.322 INFO - Atoms: 48077/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1286253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.051 Prop: 1585.797 PropClause: 1540.075 Set: 351.497 Check: 0.0 Back: 30.457 INFO - Atoms: 47945/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1334068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.096 Prop: 1640.598 PropClause: 1593.57 Set: 359.887 Check: 0.0 Back: 31.562 INFO - Atoms: 47815/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1381751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.142 Prop: 1693.455 PropClause: 1645.134 Set: 368.012 Check: 0.0 Back: 32.773 INFO - Atoms: 47683/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1429304 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.189 Prop: 1746.529 PropClause: 1696.904 Set: 376.263 Check: 0.0 Back: 33.981 INFO - Atoms: 47553/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1476725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.236 Prop: 1798.561 PropClause: 1747.641 Set: 384.365 Check: 0.0 Back: 35.118 INFO - Atoms: 47421/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 1524016 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.282 Prop: 1851.564 PropClause: 1799.348 Set: 392.533 Check: 0.0 Back: 36.215 INFO - Atoms: 47291/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 1571175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.331 Prop: 1905.46 PropClause: 1851.94 Set: 400.73 Check: 0.0 Back: 37.349 INFO - Atoms: 47159/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 1618204 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.386 Prop: 1959.723 PropClause: 1904.624 Set: 409.352 Check: 0.0 Back: 38.46 INFO - Atoms: 47029/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 1665101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.429 Prop: 2010.815 PropClause: 1954.413 Set: 417.328 Check: 0.0 Back: 39.583 INFO - Atoms: 46897/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 1711868 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.475 Prop: 2062.661 PropClause: 2004.985 Set: 429.332 Check: 0.0 Back: 40.675 INFO - Atoms: 46767/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 1758503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.524 Prop: 2112.616 PropClause: 2053.665 Set: 441.286 Check: 0.0 Back: 41.8 INFO - Atoms: 46635/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 1805008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.568 Prop: 2164.101 PropClause: 2103.876 Set: 449.258 Check: 0.0 Back: 42.89 INFO - Atoms: 46505/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 1851381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.607 Prop: 2212.587 PropClause: 2151.104 Set: 457.066 Check: 0.0 Back: 44.007 INFO - Atoms: 46373/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 1897624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.652 Prop: 2263.747 PropClause: 2200.999 Set: 464.96 Check: 0.0 Back: 45.097 INFO - Atoms: 46243/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 1943735 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.696 Prop: 2312.79 PropClause: 2248.779 Set: 472.712 Check: 0.0 Back: 46.203 INFO - Atoms: 46111/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 1989716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.746 Prop: 2362.714 PropClause: 2297.449 Set: 480.491 Check: 0.0 Back: 47.276 INFO - Atoms: 45981/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 2035565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.787 Prop: 2409.324 PropClause: 2342.805 Set: 488.216 Check: 0.0 Back: 48.37 INFO - Atoms: 45849/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 2081284 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.83 Prop: 2460.659 PropClause: 2392.901 Set: 495.977 Check: 0.0 Back: 49.448 INFO - Atoms: 45719/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 2126871 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.879 Prop: 2515.237 PropClause: 2446.236 Set: 503.704 Check: 0.0 Back: 50.536 INFO - Atoms: 45587/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 2172328 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.921 Prop: 2565.388 PropClause: 2495.154 Set: 511.346 Check: 0.0 Back: 51.594 INFO - Atoms: 45457/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2217653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.959 Prop: 2610.675 PropClause: 2539.198 Set: 518.891 Check: 0.0 Back: 52.687 INFO - Atoms: 45325/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 2262848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.001 Prop: 2658.575 PropClause: 2585.87 Set: 526.464 Check: 0.0 Back: 53.765 INFO - Atoms: 45195/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 2307911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.045 Prop: 2704.822 PropClause: 2630.884 Set: 533.996 Check: 0.0 Back: 54.855 INFO - Atoms: 45063/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 2352844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.09 Prop: 2751.066 PropClause: 2675.875 Set: 541.574 Check: 0.0 Back: 55.909 INFO - Atoms: 44933/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 2397645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.129 Prop: 2794.568 PropClause: 2718.168 Set: 548.949 Check: 0.0 Back: 56.998 INFO - Atoms: 44801/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 2442316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.163 Prop: 2840.254 PropClause: 2762.626 Set: 556.44 Check: 0.0 Back: 58.033 INFO - Atoms: 44671/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 2486855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.2 Prop: 2884.167 PropClause: 2805.325 Set: 563.768 Check: 0.0 Back: 59.112 INFO - Atoms: 44539/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 2531264 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.248 Prop: 2939.465 PropClause: 2859.066 Set: 573.604 Check: 0.0 Back: 60.15 INFO - Atoms: 44409/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 2575541 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.345 Prop: 2982.953 PropClause: 2901.342 Set: 580.98 Check: 0.0 Back: 61.232 INFO - Atoms: 44277/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 2619688 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.362 Prop: 3029.376 PropClause: 2946.543 Set: 588.442 Check: 0.0 Back: 62.273 INFO - Atoms: 44147/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 2663703 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.378 Prop: 3074.759 PropClause: 2990.723 Set: 595.807 Check: 0.0 Back: 63.355 INFO - Atoms: 44015/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 2707588 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.396 Prop: 3118.767 PropClause: 3033.543 Set: 603.023 Check: 0.0 Back: 64.405 INFO - Atoms: 43885/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 2751341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.414 Prop: 3162.028 PropClause: 3075.621 Set: 610.204 Check: 0.0 Back: 65.463 INFO - Atoms: 43753/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 2794964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.43 Prop: 3208.323 PropClause: 3120.707 Set: 617.52 Check: 0.0 Back: 66.488 INFO - Atoms: 43623/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 2838455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.447 Prop: 3251.298 PropClause: 3162.506 Set: 624.689 Check: 0.0 Back: 67.544 INFO - Atoms: 43491/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 2881816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.465 Prop: 3297.455 PropClause: 3207.477 Set: 631.894 Check: 0.0 Back: 68.55 INFO - Atoms: 43361/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 2925045 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.482 Prop: 3340.559 PropClause: 3249.411 Set: 638.956 Check: 0.0 Back: 69.597 INFO - Atoms: 43229/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 2968144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.498 Prop: 3385.436 PropClause: 3293.113 Set: 646.144 Check: 0.0 Back: 70.606 INFO - Atoms: 43099/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 3011111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.515 Prop: 3429.176 PropClause: 3335.694 Set: 653.24 Check: 0.0 Back: 71.632 INFO - Atoms: 42967/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 3053948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.536 Prop: 3474.719 PropClause: 3380.064 Set: 660.427 Check: 0.0 Back: 72.635 INFO - Atoms: 42837/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 3096653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.55 Prop: 3519.167 PropClause: 3423.361 Set: 667.447 Check: 0.0 Back: 73.672 INFO - Atoms: 42705/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 3139228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.566 Prop: 3563.791 PropClause: 3466.828 Set: 674.503 Check: 0.0 Back: 74.668 INFO - Atoms: 42575/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 3181671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.58 Prop: 3606.718 PropClause: 3508.586 Set: 681.529 Check: 0.0 Back: 75.674 INFO - Atoms: 42443/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 3223984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.594 Prop: 3653.826 PropClause: 3554.545 Set: 688.677 Check: 0.0 Back: 76.674 INFO - Atoms: 42313/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 3266165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.611 Prop: 3696.5 PropClause: 3596.061 Set: 695.692 Check: 0.0 Back: 77.696 INFO - Atoms: 42181/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 3308216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.628 Prop: 3743.283 PropClause: 3641.676 Set: 702.901 Check: 0.0 Back: 78.705 INFO - Atoms: 42051/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 3350135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.646 Prop: 3784.401 PropClause: 3681.65 Set: 709.865 Check: 0.0 Back: 79.741 INFO - Atoms: 41919/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 3391924 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.662 Prop: 3827.662 PropClause: 3723.769 Set: 716.857 Check: 0.0 Back: 80.737 INFO - Atoms: 41789/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 3433581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.677 Prop: 3869.211 PropClause: 3764.181 Set: 723.729 Check: 0.0 Back: 81.771 INFO - Atoms: 41657/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 3475108 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.694 Prop: 3913.85 PropClause: 3807.684 Set: 730.671 Check: 0.0 Back: 82.751 INFO - Atoms: 41527/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 3516503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.709 Prop: 3954.051 PropClause: 3846.763 Set: 737.488 Check: 0.0 Back: 83.76 INFO - Atoms: 41395/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 3557768 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.725 Prop: 3996.835 PropClause: 3888.417 Set: 744.387 Check: 0.0 Back: 84.725 INFO - Atoms: 41265/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 3598901 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.743 Prop: 4038.154 PropClause: 3928.618 Set: 751.222 Check: 0.0 Back: 85.725 INFO - Atoms: 41133/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 3639904 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.76 Prop: 4080.331 PropClause: 3969.662 Set: 758.099 Check: 0.0 Back: 86.69 INFO - Atoms: 41003/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 3680775 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.773 Prop: 4120.043 PropClause: 4008.265 Set: 764.804 Check: 0.0 Back: 87.708 INFO - Atoms: 40871/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 3721516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.791 Prop: 4171.911 PropClause: 4059.016 Set: 771.799 Check: 0.0 Back: 88.683 INFO - Atoms: 40741/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 3762125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.809 Prop: 4218.802 PropClause: 4104.799 Set: 778.602 Check: 0.0 Back: 89.668 INFO - Atoms: 40609/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 3802604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.823 Prop: 4261.219 PropClause: 4146.11 Set: 785.397 Check: 0.0 Back: 90.635 INFO - Atoms: 40479/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 3842951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.871 Prop: 4304.42 PropClause: 4188.212 Set: 792.076 Check: 0.0 Back: 91.615 INFO - Atoms: 40347/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 3883168 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.934 Prop: 4345.354 PropClause: 4228.049 Set: 798.685 Check: 0.0 Back: 92.556 INFO - Atoms: 40217/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 3923253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.947 Prop: 4384.146 PropClause: 4265.748 Set: 805.24 Check: 0.0 Back: 93.529 INFO - Atoms: 40085/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 3963208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.959 Prop: 4424.818 PropClause: 4305.332 Set: 811.873 Check: 0.0 Back: 94.481 INFO - Atoms: 39955/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 4003031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.97 Prop: 4465.208 PropClause: 4344.628 Set: 818.462 Check: 0.0 Back: 95.455 INFO - Atoms: 39823/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 4042724 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.982 Prop: 4504.389 PropClause: 4382.726 Set: 824.982 Check: 0.0 Back: 96.406 INFO - Atoms: 39693/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 4082285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.993 Prop: 4541.505 PropClause: 4418.757 Set: 831.45 Check: 0.0 Back: 97.37 INFO - Atoms: 39561/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 4121716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.005 Prop: 4580.941 PropClause: 4457.117 Set: 856.454 Check: 0.0 Back: 98.301 INFO - Atoms: 39431/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 4161015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.016 Prop: 4618.056 PropClause: 4493.154 Set: 862.9 Check: 0.0 Back: 99.229 INFO - Atoms: 39299/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 4200184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.029 Prop: 4656.804 PropClause: 4530.812 Set: 869.439 Check: 0.0 Back: 100.167 INFO - Atoms: 39169/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 4239221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.043 Prop: 4693.624 PropClause: 4566.555 Set: 875.852 Check: 0.0 Back: 101.107 INFO - Atoms: 39037/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 4278128 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.054 Prop: 4731.612 PropClause: 4603.478 Set: 882.217 Check: 0.0 Back: 102.041 INFO - Atoms: 38907/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 4316903 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.067 Prop: 4768.148 PropClause: 4638.961 Set: 888.518 Check: 0.0 Back: 103.004 INFO - Atoms: 38775/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 4355548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.079 Prop: 4806.473 PropClause: 4676.217 Set: 894.869 Check: 0.0 Back: 103.918 INFO - Atoms: 38645/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 4394061 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.091 Prop: 4843.107 PropClause: 4711.8 Set: 901.106 Check: 0.0 Back: 104.845 INFO - Atoms: 38513/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 4432444 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.113 Prop: 4883.603 PropClause: 4751.244 Set: 907.498 Check: 0.0 Back: 105.751 INFO - Atoms: 38383/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 4470695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.126 Prop: 4919.348 PropClause: 4785.935 Set: 913.735 Check: 0.0 Back: 106.687 INFO - Atoms: 38251/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 4508816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.139 Prop: 4957.76 PropClause: 4823.304 Set: 919.977 Check: 0.0 Back: 107.597 INFO - Atoms: 38121/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 4546805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.151 Prop: 4999.705 PropClause: 4864.06 Set: 927.156 Check: 0.0 Back: 108.537 INFO - Atoms: 37989/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 4584664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.165 Prop: 5043.246 PropClause: 4906.336 Set: 935.202 Check: 0.0 Back: 109.481 INFO - Atoms: 37859/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 4622391 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.177 Prop: 5087.177 PropClause: 4948.845 Set: 943.94 Check: 0.0 Back: 110.518 INFO - Atoms: 37727/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 4659988 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.189 Prop: 5131.272 PropClause: 4991.51 Set: 981.053 Check: 0.0 Back: 111.551 INFO - Atoms: 37597/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 4697453 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.2 Prop: 5164.797 PropClause: 5024.017 Set: 987.083 Check: 0.0 Back: 112.588 INFO - Atoms: 37465/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 4734788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.212 Prop: 5198.419 PropClause: 5056.621 Set: 993.167 Check: 0.0 Back: 113.47 INFO - Atoms: 37335/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 4771991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.224 Prop: 5233.051 PropClause: 5090.248 Set: 999.131 Check: 0.0 Back: 114.385 INFO - Atoms: 37203/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 4809064 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.236 Prop: 5266.29 PropClause: 5122.466 Set: 1005.175 Check: 0.0 Back: 115.281 INFO - Atoms: 37073/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 4846005 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.247 Prop: 5298.408 PropClause: 5153.568 Set: 1011.097 Check: 0.0 Back: 116.193 INFO - Atoms: 36941/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 4882816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.257 Prop: 5332.759 PropClause: 5186.916 Set: 1017.135 Check: 0.0 Back: 117.078 INFO - Atoms: 36811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 4919495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.27 Prop: 5365.013 PropClause: 5218.176 Set: 1023.007 Check: 0.0 Back: 117.97 INFO - Atoms: 36679/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 4956044 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.28 Prop: 5397.774 PropClause: 5249.94 Set: 1028.87 Check: 0.0 Back: 118.836 INFO - Atoms: 36549/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 4992461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.292 Prop: 5429.612 PropClause: 5280.78 Set: 1034.625 Check: 0.0 Back: 119.736 INFO - Atoms: 36417/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 5028748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.304 Prop: 5461.65 PropClause: 5311.826 Set: 1040.455 Check: 0.0 Back: 120.607 INFO - Atoms: 36287/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 5064903 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.314 Prop: 5493.454 PropClause: 5342.644 Set: 1046.209 Check: 0.0 Back: 121.5 INFO - Atoms: 36155/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 5100928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.326 Prop: 5525.881 PropClause: 5374.093 Set: 1052.01 Check: 0.0 Back: 122.363 INFO - Atoms: 36025/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 5136821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.339 Prop: 5558.391 PropClause: 5405.612 Set: 1057.833 Check: 0.0 Back: 123.239 INFO - Atoms: 35893/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 5172584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.351 Prop: 5592.761 PropClause: 5439.003 Set: 1063.704 Check: 0.0 Back: 124.109 INFO - Atoms: 35763/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 5208215 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.365 Prop: 5623.748 PropClause: 5469.014 Set: 1069.34 Check: 0.0 Back: 124.995 INFO - Atoms: 35631/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 5243716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.375 Prop: 5654.463 PropClause: 5498.765 Set: 1075.02 Check: 0.0 Back: 125.842 INFO - Atoms: 35501/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 5279085 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.386 Prop: 5684.726 PropClause: 5528.056 Set: 1080.665 Check: 0.0 Back: 126.718 INFO - Atoms: 35369/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 5314324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.397 Prop: 5716.921 PropClause: 5559.29 Set: 1086.346 Check: 0.0 Back: 127.567 INFO - Atoms: 35239/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 5349431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.409 Prop: 5746.662 PropClause: 5588.079 Set: 1091.885 Check: 0.0 Back: 128.422 INFO - Atoms: 35107/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 5384408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.422 Prop: 5777.747 PropClause: 5618.206 Set: 1097.506 Check: 0.0 Back: 129.252 INFO - Atoms: 34977/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 5419253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.434 Prop: 5806.532 PropClause: 5646.04 Set: 1103.018 Check: 0.0 Back: 130.131 INFO - Atoms: 34845/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 5453968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.445 Prop: 5836.335 PropClause: 5674.89 Set: 1108.537 Check: 0.0 Back: 130.965 INFO - Atoms: 34715/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 5488551 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.457 Prop: 5864.822 PropClause: 5702.44 Set: 1113.943 Check: 0.0 Back: 131.83 INFO - Atoms: 34583/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 5523004 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.515 Prop: 5895.477 PropClause: 5732.153 Set: 1119.47 Check: 0.0 Back: 132.665 INFO - Atoms: 34453/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 5557325 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.528 Prop: 5925.513 PropClause: 5761.254 Set: 1124.903 Check: 0.0 Back: 133.534 INFO - Atoms: 34321/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 5591516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.537 Prop: 5954.221 PropClause: 5789.024 Set: 1130.342 Check: 0.0 Back: 134.363 INFO - Atoms: 34191/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 5625575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.55 Prop: 5987.165 PropClause: 5821.044 Set: 1135.833 Check: 0.0 Back: 135.192 INFO - Atoms: 34059/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 5659503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.561 Prop: 6022.236 PropClause: 5855.189 Set: 1141.393 Check: 0.0 Back: 135.999 INFO - Atoms: 33928/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 5694190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.577 Prop: 6058.835 PropClause: 5890.84 Set: 1147.156 Check: 0.0 Back: 136.838 INFO - Atoms: 34687/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 5728880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.594 Prop: 6094.746 PropClause: 5925.761 Set: 1153.258 Check: 0.0 Back: 137.664 INFO - Atoms: 34690/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 5763192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.611 Prop: 6124.005 PropClause: 5954.078 Set: 1158.801 Check: 0.0 Back: 138.535 INFO - Atoms: 34312/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 5797504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.627 Prop: 6154.71 PropClause: 5983.838 Set: 1164.356 Check: 0.0 Back: 139.366 INFO - Atoms: 34312/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 5832314 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.642 Prop: 6186.815 PropClause: 6014.988 Set: 1170.068 Check: 0.0 Back: 140.219 INFO - Atoms: 34810/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 5867004 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.66 Prop: 6220.871 PropClause: 6048.1 Set: 1175.802 Check: 0.0 Back: 141.059 INFO - Atoms: 34690/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 5901320 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.675 Prop: 6251.815 PropClause: 6078.102 Set: 1181.336 Check: 0.0 Back: 141.913 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 5936131 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.689 Prop: 6283.207 PropClause: 6108.533 Set: 1187.116 Check: 0.0 Back: 142.749 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 5970943 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.702 Prop: 6313.749 PropClause: 6138.115 Set: 1192.795 Check: 0.0 Back: 143.612 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 6005260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.714 Prop: 6343.037 PropClause: 6166.464 Set: 1198.384 Check: 0.0 Back: 144.446 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 6040071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.728 Prop: 6372.82 PropClause: 6195.282 Set: 1204.111 Check: 0.0 Back: 145.296 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 6074883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.74 Prop: 6402.27 PropClause: 6223.78 Set: 1209.787 Check: 0.0 Back: 146.142 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 6109199 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.752 Prop: 6431.544 PropClause: 6252.118 Set: 1215.307 Check: 0.0 Back: 147.002 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 6144010 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.766 Prop: 6462.254 PropClause: 6281.878 Set: 1221.055 Check: 0.0 Back: 147.835 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 6178822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.78 Prop: 6492.703 PropClause: 6311.375 Set: 1226.737 Check: 0.0 Back: 148.701 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 6213636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.797 Prop: 6524.515 PropClause: 6342.236 Set: 1232.53 Check: 0.0 Back: 149.549 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 6248327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.813 Prop: 6555.2 PropClause: 6371.969 Set: 1238.224 Check: 0.0 Back: 150.404 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 6283139 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.827 Prop: 6588.253 PropClause: 6404.068 Set: 1244.026 Check: 0.0 Back: 151.236 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 6317455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.838 Prop: 6619.519 PropClause: 6434.398 Set: 1249.633 Check: 0.0 Back: 152.096 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 6352266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.851 Prop: 6653.127 PropClause: 6467.045 Set: 1255.402 Check: 0.0 Back: 152.921 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 6387078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.871 Prop: 6687.501 PropClause: 6500.452 Set: 1277.605 Check: 0.0 Back: 153.773 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 6421892 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.885 Prop: 6722.665 PropClause: 6534.657 Set: 1283.437 Check: 0.0 Back: 154.602 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 6456583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.899 Prop: 6755.708 PropClause: 6566.73 Set: 1289.149 Check: 0.0 Back: 155.468 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 6491395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.911 Prop: 6787.917 PropClause: 6597.982 Set: 1294.912 Check: 0.0 Back: 156.309 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 6525711 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.927 Prop: 6819.692 PropClause: 6628.818 Set: 1300.532 Check: 0.0 Back: 157.165 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 6560522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.945 Prop: 6850.803 PropClause: 6658.957 Set: 1306.351 Check: 0.0 Back: 158.001 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 6595334 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.959 Prop: 6880.122 PropClause: 6687.322 Set: 1312.057 Check: 0.0 Back: 158.874 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 6630148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.978 Prop: 6910.342 PropClause: 6716.587 Set: 1317.801 Check: 0.0 Back: 159.717 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 6664839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.993 Prop: 6939.407 PropClause: 6744.705 Set: 1323.419 Check: 0.0 Back: 160.594 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 6699651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.006 Prop: 6968.344 PropClause: 6772.693 Set: 1329.055 Check: 0.0 Back: 161.426 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 6733967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.021 Prop: 6997.839 PropClause: 6801.244 Set: 1334.615 Check: 0.0 Back: 162.298 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 6768778 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.038 Prop: 7026.934 PropClause: 6829.386 Set: 1340.286 Check: 0.0 Back: 163.128 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 6803590 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.052 Prop: 7054.916 PropClause: 6856.404 Set: 1345.928 Check: 0.0 Back: 163.994 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 6838404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.068 Prop: 7083.904 PropClause: 6884.439 Set: 1351.583 Check: 0.0 Back: 164.837 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 6873095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.083 Prop: 7113.758 PropClause: 6913.335 Set: 1357.216 Check: 0.0 Back: 165.695 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 6907907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.099 Prop: 7144.042 PropClause: 6942.609 Set: 1373.364 Check: 0.0 Back: 166.54 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 6942223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.113 Prop: 7174.298 PropClause: 6971.924 Set: 1378.928 Check: 0.0 Back: 167.405 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 6977034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.129 Prop: 7203.44 PropClause: 7000.11 Set: 1384.638 Check: 0.0 Back: 168.231 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 7011846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.141 Prop: 7231.572 PropClause: 7027.29 Set: 1390.302 Check: 0.0 Back: 169.112 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 7046660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.155 Prop: 7260.91 PropClause: 7055.676 Set: 1395.993 Check: 0.0 Back: 169.949 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 7081351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.171 Prop: 7292.077 PropClause: 7085.891 Set: 1401.964 Check: 0.0 Back: 170.805 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 7116163 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.187 Prop: 7323.471 PropClause: 7116.326 Set: 1407.706 Check: 0.0 Back: 171.645 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 7150479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.2 Prop: 7352.581 PropClause: 7144.502 Set: 1413.233 Check: 0.0 Back: 172.508 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 7185290 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.215 Prop: 7382.502 PropClause: 7173.474 Set: 1418.915 Check: 0.0 Back: 173.339 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 7220102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.23 Prop: 7413.28 PropClause: 7203.299 Set: 1424.586 Check: 0.0 Back: 174.2 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 7254916 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.247 Prop: 7444.541 PropClause: 7233.603 Set: 1430.379 Check: 0.0 Back: 175.034 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 7289607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.261 Prop: 7473.618 PropClause: 7261.739 Set: 1435.977 Check: 0.0 Back: 175.889 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 7324419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.275 Prop: 7503.218 PropClause: 7290.391 Set: 1441.616 Check: 0.0 Back: 176.723 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 7358735 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.29 Prop: 7532.19 PropClause: 7318.423 Set: 1447.147 Check: 0.0 Back: 177.58 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 7393546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.305 Prop: 7562.385 PropClause: 7347.668 Set: 1467.22 Check: 0.0 Back: 178.409 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 7428358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.321 Prop: 7591.773 PropClause: 7376.107 Set: 1472.866 Check: 0.0 Back: 179.261 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 7463172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.334 Prop: 7621.423 PropClause: 7404.807 Set: 1478.589 Check: 0.0 Back: 180.102 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 7497863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.385 Prop: 7651.38 PropClause: 7433.821 Set: 1484.229 Check: 0.0 Back: 180.957 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 7532675 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.422 Prop: 7680.839 PropClause: 7462.336 Set: 1489.871 Check: 0.0 Back: 181.8 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 7566991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.467 Prop: 7710.872 PropClause: 7491.405 Set: 1495.439 Check: 0.0 Back: 182.657 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 7601802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.482 Prop: 7743.416 PropClause: 7522.991 Set: 1501.195 Check: 0.0 Back: 183.48 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 7636614 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.495 Prop: 7774.539 PropClause: 7553.155 Set: 1506.861 Check: 0.0 Back: 184.34 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 7671428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.507 Prop: 7804.583 PropClause: 7582.25 Set: 1512.572 Check: 0.0 Back: 185.176 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 7706119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.522 Prop: 7834.895 PropClause: 7611.616 Set: 1518.233 Check: 0.0 Back: 186.038 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 7740931 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.543 Prop: 7866.037 PropClause: 7641.809 Set: 1523.925 Check: 0.0 Back: 186.869 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 7775247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.555 Prop: 7895.403 PropClause: 7670.239 Set: 1529.447 Check: 0.0 Back: 187.719 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 7810058 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.564 Prop: 7925.929 PropClause: 7699.818 Set: 1535.046 Check: 0.0 Back: 188.538 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 7844870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.58 Prop: 7954.302 PropClause: 7727.234 Set: 1540.717 Check: 0.0 Back: 189.402 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 7879684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.592 Prop: 7983.742 PropClause: 7755.734 Set: 1546.358 Check: 0.0 Back: 190.243 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 7914375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.611 Prop: 8012.985 PropClause: 7784.029 Set: 1551.993 Check: 0.0 Back: 191.086 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 7949187 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.648 Prop: 8043.116 PropClause: 7813.209 Set: 1557.674 Check: 0.0 Back: 191.912 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 7983503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.654 Prop: 8071.94 PropClause: 7841.106 Set: 1563.165 Check: 0.0 Back: 192.767 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 8018314 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.66 Prop: 8101.754 PropClause: 7869.975 Set: 1568.851 Check: 0.0 Back: 193.588 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 8053126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.666 Prop: 8130.256 PropClause: 7897.535 Set: 1574.455 Check: 0.0 Back: 194.45 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 8087940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.673 Prop: 8159.578 PropClause: 7925.913 Set: 1580.067 Check: 0.0 Back: 195.271 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 8122631 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.678 Prop: 8188.132 PropClause: 7953.531 Set: 1585.677 Check: 0.0 Back: 196.122 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 8157443 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.684 Prop: 8217.584 PropClause: 7982.043 Set: 1591.322 Check: 0.0 Back: 196.947 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 8191759 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.691 Prop: 8246.071 PropClause: 8009.59 Set: 1596.787 Check: 0.0 Back: 197.801 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 8226570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.696 Prop: 8275.376 PropClause: 8037.955 Set: 1602.425 Check: 0.0 Back: 198.629 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 8261382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.703 Prop: 8303.797 PropClause: 8065.433 Set: 1608.095 Check: 0.0 Back: 199.484 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 8296196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.71 Prop: 8335.359 PropClause: 8096.044 Set: 1613.774 Check: 0.0 Back: 200.307 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 8330887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.717 Prop: 8364.575 PropClause: 8124.322 Set: 1619.359 Check: 0.0 Back: 201.157 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 8365699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.723 Prop: 8394.821 PropClause: 8153.621 Set: 1625.073 Check: 0.0 Back: 201.978 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 8400015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.729 Prop: 8423.779 PropClause: 8181.647 Set: 1630.579 Check: 0.0 Back: 202.859 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 8434826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.735 Prop: 8452.787 PropClause: 8209.715 Set: 1636.203 Check: 0.0 Back: 203.672 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 8469638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.741 Prop: 8481.164 PropClause: 8237.151 Set: 1641.822 Check: 0.0 Back: 204.528 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 8504452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.747 Prop: 8510.087 PropClause: 8265.129 Set: 1647.488 Check: 0.0 Back: 205.353 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 8539143 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.754 Prop: 8539.043 PropClause: 8293.14 Set: 1653.098 Check: 0.0 Back: 206.197 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 8573955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.759 Prop: 8568.067 PropClause: 8321.223 Set: 1658.729 Check: 0.0 Back: 207.027 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 8608271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.765 Prop: 8596.896 PropClause: 8349.122 Set: 1664.228 Check: 0.0 Back: 207.878 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 8643082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.772 Prop: 8626.073 PropClause: 8377.36 Set: 1669.856 Check: 0.0 Back: 208.709 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 8677894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.779 Prop: 8654.67 PropClause: 8405.015 Set: 1675.519 Check: 0.0 Back: 209.551 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 8712708 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.785 Prop: 8684.824 PropClause: 8434.214 Set: 1681.35 Check: 0.0 Back: 210.396 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 8747399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.825 Prop: 8714.105 PropClause: 8462.555 Set: 1686.942 Check: 0.0 Back: 211.247 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 8782211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.864 Prop: 8743.044 PropClause: 8490.545 Set: 1692.606 Check: 0.0 Back: 212.069 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 8816527 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.87 Prop: 8772.474 PropClause: 8519.034 Set: 1698.173 Check: 0.0 Back: 212.921 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 8851338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.877 Prop: 8802.404 PropClause: 8548.02 Set: 1703.886 Check: 0.0 Back: 213.779 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 8886150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.884 Prop: 8830.886 PropClause: 8575.552 Set: 1709.545 Check: 0.0 Back: 214.641 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 8920964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.89 Prop: 8860.21 PropClause: 8603.936 Set: 1715.237 Check: 0.0 Back: 215.467 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 8955655 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.896 Prop: 8890.662 PropClause: 8633.432 Set: 1720.96 Check: 0.0 Back: 216.328 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 8990467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.903 Prop: 8920.519 PropClause: 8662.347 Set: 1726.64 Check: 0.0 Back: 217.156 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 9024783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.908 Prop: 8949.527 PropClause: 8690.426 Set: 1732.186 Check: 0.0 Back: 217.998 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 9059594 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.916 Prop: 8981.244 PropClause: 8721.192 Set: 1738.001 Check: 0.0 Back: 218.809 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 9094406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.924 Prop: 9014.735 PropClause: 8753.719 Set: 1743.832 Check: 0.0 Back: 219.653 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 9129220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.931 Prop: 9044.638 PropClause: 8782.665 Set: 1749.571 Check: 0.0 Back: 220.484 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 9163911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.938 Prop: 9078.797 PropClause: 8815.75 Set: 1756.075 Check: 0.0 Back: 221.339 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 9198723 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.945 Prop: 9116.044 PropClause: 8851.969 Set: 1762.365 Check: 0.0 Back: 222.297 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 9233039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.952 Prop: 9152.786 PropClause: 8887.495 Set: 1769.626 Check: 0.0 Back: 223.156 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 9267850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.961 Prop: 9183.215 PropClause: 8916.967 Set: 1775.382 Check: 0.0 Back: 223.985 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 9302662 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.967 Prop: 9213.387 PropClause: 8946.187 Set: 1781.115 Check: 0.0 Back: 224.845 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 9337476 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.975 Prop: 9245.679 PropClause: 8977.527 Set: 1786.91 Check: 0.0 Back: 225.675 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 9372167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.982 Prop: 9277.604 PropClause: 9008.5 Set: 1792.709 Check: 0.0 Back: 226.53 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 9406979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.988 Prop: 9308.628 PropClause: 9038.564 Set: 1798.491 Check: 0.0 Back: 227.387 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 9441792 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.995 Prop: 9338.936 PropClause: 9067.916 Set: 1804.26 Check: 0.0 Back: 228.245 INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 9476603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.001 Prop: 9370.237 PropClause: 9098.266 Set: 1810.036 Check: 0.0 Back: 229.084 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 9511295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.007 Prop: 9400.304 PropClause: 9127.38 Set: 1815.766 Check: 0.0 Back: 229.952 INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 9546109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.015 Prop: 9432.068 PropClause: 9158.192 Set: 1821.577 Check: 0.0 Back: 230.787 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 9580800 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.022 Prop: 9461.961 PropClause: 9187.137 Set: 1827.253 Check: 0.0 Back: 231.637 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 9615612 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.029 Prop: 9492.202 PropClause: 9216.42 Set: 1833.024 Check: 0.0 Back: 232.478 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 9649928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.036 Prop: 9522.882 PropClause: 9246.164 Set: 1838.66 Check: 0.0 Back: 233.336 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 9684739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.044 Prop: 9556.025 PropClause: 9278.224 Set: 1845.24 Check: 0.0 Back: 234.153 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 9719551 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.051 Prop: 9588.572 PropClause: 9309.82 Set: 1851.04 Check: 0.0 Back: 235.018 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 9754365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.057 Prop: 9622.802 PropClause: 9343.086 Set: 1856.913 Check: 0.0 Back: 235.856 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 9789056 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.064 Prop: 9656.89 PropClause: 9376.21 Set: 1862.776 Check: 0.0 Back: 236.721 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 9823868 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.072 Prop: 9691.408 PropClause: 9409.747 Set: 1868.785 Check: 0.0 Back: 237.555 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 9858184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.079 Prop: 9725.034 PropClause: 9442.423 Set: 1874.581 Check: 0.0 Back: 238.435 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 9892995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.085 Prop: 9758.586 PropClause: 9475.016 Set: 1880.485 Check: 0.0 Back: 239.273 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 9927807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.092 Prop: 9791.444 PropClause: 9506.906 Set: 1886.326 Check: 0.0 Back: 240.126 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 9962621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.099 Prop: 9824.698 PropClause: 9539.2 Set: 1892.258 Check: 0.0 Back: 240.98 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 9997312 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.107 Prop: 9857.54 PropClause: 9571.082 Set: 1898.117 Check: 0.0 Back: 241.846 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 10032124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.114 Prop: 9889.593 PropClause: 9602.178 Set: 1903.918 Check: 0.0 Back: 242.692 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 10066440 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.121 Prop: 9918.966 PropClause: 9630.602 Set: 1921.69 Check: 0.0 Back: 243.547 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 10101251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.127 Prop: 9949.278 PropClause: 9659.959 Set: 1927.506 Check: 0.0 Back: 244.371 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 10136063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.134 Prop: 9979.033 PropClause: 9688.762 Set: 1933.209 Check: 0.0 Back: 245.221 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 10170380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.141 Prop: 10009.657 PropClause: 9718.444 Set: 1938.859 Check: 0.0 Back: 246.046 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 10205191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.148 Prop: 10038.521 PropClause: 9746.356 Set: 1944.605 Check: 0.0 Back: 246.89 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 10240003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.155 Prop: 10070.37 PropClause: 9777.259 Set: 1950.402 Check: 0.0 Back: 247.718 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 10274816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.16 Prop: 10100.58 PropClause: 9806.516 Set: 1956.154 Check: 0.0 Back: 248.569 INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 10309627 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.168 Prop: 10131.546 PropClause: 9836.532 Set: 1961.904 Check: 0.0 Back: 249.407 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 10344319 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.175 Prop: 10161.555 PropClause: 9865.581 Set: 1967.662 Check: 0.0 Back: 250.29 INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 10378636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.182 Prop: 10191.625 PropClause: 9894.707 Set: 1973.337 Check: 0.0 Back: 251.126 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 10413447 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.19 Prop: 10222.237 PropClause: 9924.359 Set: 1979.105 Check: 0.0 Back: 251.957 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 10448259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.199 Prop: 10254.605 PropClause: 9955.776 Set: 2000.758 Check: 0.0 Back: 252.799 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 10483072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.205 Prop: 10285.657 PropClause: 9985.871 Set: 2006.536 Check: 0.0 Back: 253.633 INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 10517883 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.211 Prop: 10316.052 PropClause: 10015.313 Set: 2012.348 Check: 0.0 Back: 254.471 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 10552575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.217 Prop: 10345.392 PropClause: 10043.701 Set: 2018.061 Check: 0.0 Back: 255.325 INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 10587389 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.223 Prop: 10375.252 PropClause: 10072.607 Set: 2023.825 Check: 0.0 Back: 256.153 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 10622080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.228 Prop: 10405.447 PropClause: 10101.833 Set: 2029.536 Check: 0.0 Back: 257.01 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 10656892 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.235 Prop: 10436.468 PropClause: 10131.897 Set: 2035.319 Check: 0.0 Back: 257.854 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 10691208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.242 Prop: 10466.581 PropClause: 10161.073 Set: 2040.986 Check: 0.0 Back: 258.713 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 10726019 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.247 Prop: 10497.065 PropClause: 10190.593 Set: 2046.799 Check: 0.0 Back: 259.534 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 10760831 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.253 Prop: 10526.339 PropClause: 10218.911 Set: 2052.496 Check: 0.0 Back: 260.381 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 10795645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.26 Prop: 10556.167 PropClause: 10247.794 Set: 2058.275 Check: 0.0 Back: 261.218 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 10830336 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.267 Prop: 10586.364 PropClause: 10277.044 Set: 2064.008 Check: 0.0 Back: 262.068 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 10865148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.274 Prop: 10617.383 PropClause: 10307.104 Set: 2069.805 Check: 0.0 Back: 262.907 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 10899464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.281 Prop: 10648.807 PropClause: 10337.584 Set: 2075.451 Check: 0.0 Back: 263.744 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 10934275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.288 Prop: 10679.828 PropClause: 10367.655 Set: 2081.253 Check: 0.0 Back: 264.566 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 10969087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.295 Prop: 10711.829 PropClause: 10398.704 Set: 2087.003 Check: 0.0 Back: 265.424 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 11003901 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.301 Prop: 10743.297 PropClause: 10429.217 Set: 2092.81 Check: 0.0 Back: 266.257 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 11038592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.308 Prop: 10773.493 PropClause: 10458.463 Set: 2098.482 Check: 0.0 Back: 267.102 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 11073404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.314 Prop: 10803.914 PropClause: 10487.943 Set: 2104.181 Check: 0.0 Back: 267.925 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 11107720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.321 Prop: 10833.562 PropClause: 10516.661 Set: 2109.826 Check: 0.0 Back: 268.764 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 11142531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.328 Prop: 10864.358 PropClause: 10546.509 Set: 2115.577 Check: 0.0 Back: 269.582 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 11177343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.335 Prop: 10893.813 PropClause: 10575.012 Set: 2121.287 Check: 0.0 Back: 270.42 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 11212157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.344 Prop: 10925.356 PropClause: 10605.595 Set: 2127.078 Check: 0.0 Back: 271.24 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 11246848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.351 Prop: 10955.391 PropClause: 10634.689 Set: 2132.773 Check: 0.0 Back: 272.089 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 11281660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.357 Prop: 10985.688 PropClause: 10664.025 Set: 2138.552 Check: 0.0 Back: 272.915 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 11315976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.364 Prop: 11015.749 PropClause: 10693.141 Set: 2144.178 Check: 0.0 Back: 273.765 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 11350787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.371 Prop: 11046.472 PropClause: 10722.918 Set: 2150.152 Check: 0.0 Back: 274.582 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 11385599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.377 Prop: 11075.856 PropClause: 10751.357 Set: 2155.849 Check: 0.0 Back: 275.42 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 11420413 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.384 Prop: 11105.697 PropClause: 10780.248 Set: 2161.562 Check: 0.0 Back: 276.253 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 11455104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.39 Prop: 11134.936 PropClause: 10808.545 Set: 2167.226 Check: 0.0 Back: 277.158 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 11489916 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.396 Prop: 11164.475 PropClause: 10837.134 Set: 2172.95 Check: 0.0 Back: 277.984 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 11524232 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.402 Prop: 11194.32 PropClause: 10866.049 Set: 2178.535 Check: 0.0 Back: 278.828 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 11559043 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.409 Prop: 11224.109 PropClause: 10894.893 Set: 2184.27 Check: 0.0 Back: 279.624 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 11593855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.415 Prop: 11252.872 PropClause: 10922.714 Set: 2189.932 Check: 0.0 Back: 280.465 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 11628669 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.422 Prop: 11282.349 PropClause: 10951.237 Set: 2195.658 Check: 0.0 Back: 281.302 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 11663360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.429 Prop: 11312.371 PropClause: 10980.318 Set: 2201.338 Check: 0.0 Back: 282.157 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 11698172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.436 Prop: 11342.949 PropClause: 11009.949 Set: 2207.1 Check: 0.0 Back: 282.982 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 11732488 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.442 Prop: 11371.934 PropClause: 11037.99 Set: 2212.656 Check: 0.0 Back: 283.833 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 11767299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.449 Prop: 11402.172 PropClause: 11067.282 Set: 2218.362 Check: 0.0 Back: 284.653 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 11802111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.456 Prop: 11431.126 PropClause: 11095.288 Set: 2224.088 Check: 0.0 Back: 285.492 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 11836428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.463 Prop: 11460.289 PropClause: 11123.512 Set: 2229.698 Check: 0.0 Back: 286.312 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 11871239 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.47 Prop: 11489.5 PropClause: 11151.773 Set: 2235.442 Check: 0.0 Back: 287.139 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 11906051 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.476 Prop: 11518.745 PropClause: 11180.071 Set: 2241.119 Check: 0.0 Back: 287.965 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 11940367 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.482 Prop: 11548.14 PropClause: 11208.535 Set: 2246.707 Check: 0.0 Back: 288.804 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 11975178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.489 Prop: 11577.397 PropClause: 11236.839 Set: 2252.425 Check: 0.0 Back: 289.618 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 12009990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.494 Prop: 11606.963 PropClause: 11265.461 Set: 2258.139 Check: 0.0 Back: 290.465 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 12044804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.5 Prop: 11637.319 PropClause: 11294.759 Set: 2263.868 Check: 0.0 Back: 291.291 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 12079495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.508 Prop: 11667.131 PropClause: 11323.63 Set: 2269.545 Check: 0.0 Back: 292.132 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 12114307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.514 Prop: 11696.998 PropClause: 11352.554 Set: 2275.338 Check: 0.0 Back: 292.97 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 12148623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.52 Prop: 11726.236 PropClause: 11380.857 Set: 2280.886 Check: 0.0 Back: 293.825 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 12183434 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.526 Prop: 11754.972 PropClause: 11408.649 Set: 2286.598 Check: 0.0 Back: 294.673 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 12218246 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.532 Prop: 11784.024 PropClause: 11436.749 Set: 2292.301 Check: 0.0 Back: 295.521 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 12253060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.538 Prop: 11813.338 PropClause: 11465.109 Set: 2298.077 Check: 0.0 Back: 296.345 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 12287751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.545 Prop: 11841.782 PropClause: 11492.613 Set: 2303.734 Check: 0.0 Back: 297.19 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 12322563 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.553 Prop: 11871.02 PropClause: 11520.893 Set: 2319.807 Check: 0.0 Back: 298.034 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 12356879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.56 Prop: 11899.189 PropClause: 11548.122 Set: 2325.409 Check: 0.0 Back: 298.888 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 12391690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.567 Prop: 11927.922 PropClause: 11575.909 Set: 2331.131 Check: 0.0 Back: 299.72 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 12426502 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.575 Prop: 11957.357 PropClause: 11604.391 Set: 2336.824 Check: 0.0 Back: 300.564 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 12461316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.583 Prop: 11989.963 PropClause: 11636.051 Set: 2342.694 Check: 0.0 Back: 301.398 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 12496007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.589 Prop: 12021.045 PropClause: 11666.191 Set: 2348.391 Check: 0.0 Back: 302.244 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 12530819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.596 Prop: 12052.361 PropClause: 11696.561 Set: 2354.319 Check: 0.0 Back: 303.073 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 12565135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.603 Prop: 12084.99 PropClause: 11728.256 Set: 2360.062 Check: 0.0 Back: 303.922 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 12599946 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.609 Prop: 12120.3 PropClause: 11762.601 Set: 2366.031 Check: 0.0 Back: 304.737 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 12634758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.615 Prop: 12154.379 PropClause: 11795.729 Set: 2371.915 Check: 0.0 Back: 305.581 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 12669572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.622 Prop: 12188.132 PropClause: 11828.532 Set: 2377.861 Check: 0.0 Back: 306.407 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 12704263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.628 Prop: 12219.053 PropClause: 11858.494 Set: 2383.641 Check: 0.0 Back: 307.254 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 12739075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.633 Prop: 12250.295 PropClause: 11888.774 Set: 2389.493 Check: 0.0 Back: 308.086 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 12773391 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.64 Prop: 12281.046 PropClause: 11918.586 Set: 2395.18 Check: 0.0 Back: 308.947 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 12808202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.648 Prop: 12312.764 PropClause: 11949.351 Set: 2401.032 Check: 0.0 Back: 309.764 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 12843014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.656 Prop: 12346.162 PropClause: 11981.783 Set: 2406.988 Check: 0.0 Back: 310.606 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 12877828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.663 Prop: 12380.845 PropClause: 12015.515 Set: 2412.87 Check: 0.0 Back: 311.435 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 12912519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.67 Prop: 12411.781 PropClause: 12045.496 Set: 2418.638 Check: 0.0 Back: 312.287 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 12947331 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.676 Prop: 12442.942 PropClause: 12075.705 Set: 2424.466 Check: 0.0 Back: 313.12 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 12981647 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.684 Prop: 12474.07 PropClause: 12105.897 Set: 2430.135 Check: 0.0 Back: 313.966 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 13016458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.691 Prop: 12506.724 PropClause: 12137.585 Set: 2435.978 Check: 0.0 Back: 314.786 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 13051270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.697 Prop: 12537.193 PropClause: 12167.101 Set: 2441.842 Check: 0.0 Back: 315.631 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 13086084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.703 Prop: 12569.64 PropClause: 12198.587 Set: 2447.693 Check: 0.0 Back: 316.455 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 13120775 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.71 Prop: 12600.674 PropClause: 12228.671 Set: 2453.471 Check: 0.0 Back: 317.305 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 13155587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.716 Prop: 12632.602 PropClause: 12259.645 Set: 2459.332 Check: 0.0 Back: 318.142 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 13189903 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.722 Prop: 12663.525 PropClause: 12289.628 Set: 2465.052 Check: 0.0 Back: 318.984 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 13224714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.731 Prop: 12694.752 PropClause: 12319.904 Set: 2470.909 Check: 0.0 Back: 319.798 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 13259526 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.738 Prop: 12728.946 PropClause: 12353.139 Set: 2490.461 Check: 0.0 Back: 320.649 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 13294340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.743 Prop: 12760.023 PropClause: 12383.263 Set: 2496.293 Check: 0.0 Back: 321.482 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 13329031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.749 Prop: 12789.475 PropClause: 12411.765 Set: 2502.077 Check: 0.0 Back: 322.337 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 13363843 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.756 Prop: 12818.787 PropClause: 12440.122 Set: 2507.936 Check: 0.0 Back: 323.169 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 13398159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.762 Prop: 12850.093 PropClause: 12470.487 Set: 2513.761 Check: 0.0 Back: 324.021 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 13432970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.77 Prop: 12883.622 PropClause: 12503.058 Set: 2519.766 Check: 0.0 Back: 324.836 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 13467782 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.777 Prop: 12914.375 PropClause: 12532.86 Set: 2525.597 Check: 0.0 Back: 325.682 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 13502596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.785 Prop: 12948.666 PropClause: 12566.197 Set: 2531.567 Check: 0.0 Back: 326.508 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 13537287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.791 Prop: 12979.598 PropClause: 12596.183 Set: 2537.373 Check: 0.0 Back: 327.346 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 13572099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.797 Prop: 13011.135 PropClause: 12626.76 Set: 2543.245 Check: 0.0 Back: 328.177 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 13606415 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.804 Prop: 13041.908 PropClause: 12656.592 Set: 2548.965 Check: 0.0 Back: 329.027 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 13641226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.81 Prop: 13074.898 PropClause: 12688.622 Set: 2554.902 Check: 0.0 Back: 329.847 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 13676038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.816 Prop: 13108.704 PropClause: 12721.474 Set: 2560.825 Check: 0.0 Back: 330.692 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 13710852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.822 Prop: 13144.348 PropClause: 12756.166 Set: 2566.855 Check: 0.0 Back: 331.512 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 13745543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.829 Prop: 13178.441 PropClause: 12789.307 Set: 2572.772 Check: 0.0 Back: 332.351 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 13780355 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.836 Prop: 13211.445 PropClause: 12821.358 Set: 2578.679 Check: 0.0 Back: 333.177 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 13814671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.843 Prop: 13243.957 PropClause: 12852.93 Set: 2584.478 Check: 0.0 Back: 334.019 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 13849482 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.849 Prop: 13276.208 PropClause: 12884.228 Set: 2590.376 Check: 0.0 Back: 334.841 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 13884294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.855 Prop: 13307.407 PropClause: 12914.467 Set: 2596.239 Check: 0.0 Back: 335.679 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 13919108 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.861 Prop: 13338.977 PropClause: 12945.077 Set: 2602.125 Check: 0.0 Back: 336.509 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 13953799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.868 Prop: 13370.316 PropClause: 12975.47 Set: 2607.957 Check: 0.0 Back: 337.352 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 13988611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.876 Prop: 13401.538 PropClause: 13005.741 Set: 2613.819 Check: 0.0 Back: 338.177 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 14022927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.882 Prop: 13432.248 PropClause: 13035.513 Set: 2619.548 Check: 0.0 Back: 339.021 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 14057738 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.89 Prop: 13463.303 PropClause: 13065.616 Set: 2625.43 Check: 0.0 Back: 339.842 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 14092550 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.897 Prop: 13494.224 PropClause: 13095.583 Set: 2631.319 Check: 0.0 Back: 340.686 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 14127364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.904 Prop: 13526.629 PropClause: 13127.019 Set: 2637.24 Check: 0.0 Back: 341.512 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 14162055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.911 Prop: 13558.887 PropClause: 13158.322 Set: 2655.137 Check: 0.0 Back: 342.35 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 14196867 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.917 Prop: 13591.49 PropClause: 13189.971 Set: 2661.048 Check: 0.0 Back: 343.174 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 14231183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.923 Prop: 13621.605 PropClause: 13219.15 Set: 2666.765 Check: 0.0 Back: 344.014 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 14265994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.93 Prop: 13650.389 PropClause: 13246.982 Set: 2672.569 Check: 0.0 Back: 344.839 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 14300806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.938 Prop: 13679.434 PropClause: 13275.07 Set: 2678.386 Check: 0.0 Back: 345.68 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 14335620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.944 Prop: 13708.483 PropClause: 13303.169 Set: 2684.202 Check: 0.0 Back: 346.508 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 14370311 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.949 Prop: 13737.785 PropClause: 13331.521 Set: 2689.906 Check: 0.0 Back: 347.352 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 14405123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.956 Prop: 13766.799 PropClause: 13359.581 Set: 2695.697 Check: 0.0 Back: 348.244 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 14439439 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.962 Prop: 13795.602 PropClause: 13387.451 Set: 2701.336 Check: 0.0 Back: 349.085 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 14474250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.968 Prop: 13824.271 PropClause: 13415.171 Set: 2707.088 Check: 0.0 Back: 349.901 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 14509062 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.974 Prop: 13853.339 PropClause: 13443.294 Set: 2712.875 Check: 0.0 Back: 350.747 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 14543876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.981 Prop: 13881.873 PropClause: 13470.886 Set: 2718.648 Check: 0.0 Back: 351.575 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 14578567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.988 Prop: 13911.198 PropClause: 13499.27 Set: 2724.37 Check: 0.0 Back: 352.416 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 14613379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.994 Prop: 13940.091 PropClause: 13527.22 Set: 2742.159 Check: 0.0 Back: 353.248 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 14647695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.0 Prop: 13968.016 PropClause: 13554.212 Set: 2747.775 Check: 0.0 Back: 354.081 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 14682506 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.008 Prop: 13997.722 PropClause: 13582.973 Set: 2753.608 Check: 0.0 Back: 354.893 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 14717318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.014 Prop: 14026.42 PropClause: 13610.72 Set: 2759.389 Check: 0.0 Back: 355.733 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 14752132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.02 Prop: 14054.758 PropClause: 13638.104 Set: 2765.154 Check: 0.0 Back: 356.556 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 14786823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.026 Prop: 14083.544 PropClause: 13665.948 Set: 2770.901 Check: 0.0 Back: 357.394 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 14821635 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.033 Prop: 14116.864 PropClause: 13698.323 Set: 2776.8 Check: 0.0 Back: 358.226 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 14855951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.039 Prop: 14149.616 PropClause: 13730.128 Set: 2782.557 Check: 0.0 Back: 359.06 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 14890762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.045 Prop: 14181.344 PropClause: 13760.906 Set: 2788.399 Check: 0.0 Back: 359.874 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 14925574 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.051 Prop: 14213.846 PropClause: 13792.457 Set: 2794.3 Check: 0.0 Back: 360.727 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 14960388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.058 Prop: 14246.905 PropClause: 13824.563 Set: 2800.137 Check: 0.0 Back: 361.558 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 14995079 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.064 Prop: 14279.519 PropClause: 13856.23 Set: 2805.922 Check: 0.0 Back: 362.397 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 15029891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.07 Prop: 14310.112 PropClause: 13885.87 Set: 2811.74 Check: 0.0 Back: 363.217 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 15064207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.077 Prop: 14339.892 PropClause: 13914.712 Set: 2817.396 Check: 0.0 Back: 364.059 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 15099018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.083 Prop: 14369.037 PropClause: 13942.906 Set: 2823.148 Check: 0.0 Back: 364.872 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 15133830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.089 Prop: 14399.64 PropClause: 13972.555 Set: 2829.013 Check: 0.0 Back: 365.712 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 15168147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.096 Prop: 14431.162 PropClause: 14003.137 Set: 2834.745 Check: 0.0 Back: 366.542 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 15202958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.102 Prop: 14462.42 PropClause: 14033.432 Set: 2840.57 Check: 0.0 Back: 367.368 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 15237770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.109 Prop: 14493.17 PropClause: 14063.21 Set: 2846.579 Check: 0.0 Back: 368.186 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 15272583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.115 Prop: 14522.461 PropClause: 14091.55 Set: 2852.334 Check: 0.0 Back: 369.034 INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 15307394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.121 Prop: 14551.649 PropClause: 14119.785 Set: 2858.089 Check: 0.0 Back: 369.861 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 15342086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.127 Prop: 14580.701 PropClause: 14147.889 Set: 2863.792 Check: 0.0 Back: 370.7 INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 15376403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.133 Prop: 14610.9 PropClause: 14177.149 Set: 2869.532 Check: 0.0 Back: 371.524 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 15411214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.141 Prop: 14642.233 PropClause: 14207.531 Set: 2875.402 Check: 0.0 Back: 372.357 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 15446026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.148 Prop: 14673.326 PropClause: 14237.674 Set: 2881.258 Check: 0.0 Back: 373.179 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 15480839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.155 Prop: 14704.213 PropClause: 14267.605 Set: 2887.119 Check: 0.0 Back: 374.026 INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 15515650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.163 Prop: 14738.423 PropClause: 14300.863 Set: 2893.087 Check: 0.0 Back: 374.846 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 15550342 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.169 Prop: 14770.089 PropClause: 14331.576 Set: 2898.949 Check: 0.0 Back: 375.686 INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 15585156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.175 Prop: 14802.338 PropClause: 14362.871 Set: 2904.871 Check: 0.0 Back: 376.52 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 15619847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.182 Prop: 14836.081 PropClause: 14395.649 Set: 2922.713 Check: 0.0 Back: 377.358 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 15654659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.189 Prop: 14870.142 PropClause: 14428.727 Set: 2928.831 Check: 0.0 Back: 378.213 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 15688975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.196 Prop: 14903.072 PropClause: 14460.712 Set: 2934.653 Check: 0.0 Back: 379.055 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 15723786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.202 Prop: 14939.184 PropClause: 14495.868 Set: 2940.679 Check: 0.0 Back: 379.903 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 15758598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.209 Prop: 14974.272 PropClause: 14529.998 Set: 2946.668 Check: 0.0 Back: 380.743 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 15793412 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.215 Prop: 15008.93 PropClause: 14563.691 Set: 2952.699 Check: 0.0 Back: 381.571 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 15828103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.231 Prop: 15043.602 PropClause: 14597.413 Set: 2958.634 Check: 0.0 Back: 382.411 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 15862915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.239 Prop: 15079.133 PropClause: 14631.978 Set: 2964.569 Check: 0.0 Back: 383.238 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 15897231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.247 Prop: 15113.863 PropClause: 14665.734 Set: 2970.532 Check: 0.0 Back: 384.105 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 15932042 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.253 Prop: 15149.301 PropClause: 14700.218 Set: 2976.547 Check: 0.0 Back: 384.918 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 15966854 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.261 Prop: 15183.509 PropClause: 14733.452 Set: 2982.54 Check: 0.0 Back: 385.756 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 16001668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.268 Prop: 15218.276 PropClause: 14767.267 Set: 2988.515 Check: 0.0 Back: 386.577 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 16036359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.281 Prop: 15247.681 PropClause: 14795.724 Set: 2994.33 Check: 0.0 Back: 387.421 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 16071171 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.288 Prop: 15277.34 PropClause: 14824.433 Set: 3000.173 Check: 0.0 Back: 388.253 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 16105487 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.295 Prop: 15307.47 PropClause: 14853.617 Set: 3005.928 Check: 0.0 Back: 389.089 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 16140298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.302 Prop: 15338.033 PropClause: 14883.227 Set: 3011.795 Check: 0.0 Back: 389.908 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 16175110 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.309 Prop: 15368.409 PropClause: 14912.652 Set: 3017.686 Check: 0.0 Back: 390.748 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 16209924 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.315 Prop: 15399.374 PropClause: 14942.661 Set: 3032.955 Check: 0.0 Back: 391.677 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 16244615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.322 Prop: 15430.339 PropClause: 14972.679 Set: 3038.76 Check: 0.0 Back: 392.516 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 16279427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.328 Prop: 15460.543 PropClause: 15001.935 Set: 3044.619 Check: 0.0 Back: 393.344 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 16313743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.335 Prop: 15490.36 PropClause: 15030.819 Set: 3050.391 Check: 0.0 Back: 394.18 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 16348554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.341 Prop: 15520.724 PropClause: 15060.235 Set: 3056.26 Check: 0.0 Back: 394.987 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 16383366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.346 Prop: 15550.106 PropClause: 15088.669 Set: 3062.102 Check: 0.0 Back: 395.817 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 16418180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.353 Prop: 15580.523 PropClause: 15118.133 Set: 3067.916 Check: 0.0 Back: 396.65 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 16452871 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.359 Prop: 15612.485 PropClause: 15149.143 Set: 3073.876 Check: 0.0 Back: 397.491 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 16487683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.366 Prop: 15643.408 PropClause: 15179.119 Set: 3079.775 Check: 0.0 Back: 398.315 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 16521999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.374 Prop: 15673.228 PropClause: 15207.995 Set: 3085.482 Check: 0.0 Back: 399.156 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 16556810 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.382 Prop: 15703.371 PropClause: 15237.185 Set: 3091.331 Check: 0.0 Back: 399.973 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 16591622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.389 Prop: 15733.057 PropClause: 15265.925 Set: 3097.168 Check: 0.0 Back: 400.819 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 16626436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.396 Prop: 15764.025 PropClause: 15295.942 Set: 3103.254 Check: 0.0 Back: 401.649 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 16661127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.403 Prop: 15793.235 PropClause: 15324.207 Set: 3109.058 Check: 0.0 Back: 402.491 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 451 Props: 16695939 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.41 Prop: 15823.608 PropClause: 15353.628 Set: 3114.917 Check: 0.0 Back: 403.317 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 452 Props: 16730255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.417 Prop: 15857.386 PropClause: 15386.471 Set: 3120.75 Check: 0.0 Back: 404.149 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 453 Props: 16765066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.424 Prop: 15892.812 PropClause: 15420.948 Set: 3126.8 Check: 0.0 Back: 404.988 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 454 Props: 16799878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.431 Prop: 15925.678 PropClause: 15452.861 Set: 3132.753 Check: 0.0 Back: 405.833 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 455 Props: 16834692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.437 Prop: 15957.952 PropClause: 15484.185 Set: 3138.646 Check: 0.0 Back: 406.661 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 456 Props: 16869383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.442 Prop: 15991.579 PropClause: 15516.863 Set: 3144.543 Check: 0.0 Back: 407.499 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 457 Props: 16904195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.448 Prop: 16024.757 PropClause: 15549.09 Set: 3150.512 Check: 0.0 Back: 408.329 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 458 Props: 16938511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.454 Prop: 16056.396 PropClause: 15579.791 Set: 3156.301 Check: 0.0 Back: 409.169 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 459 Props: 16973322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.461 Prop: 16090.029 PropClause: 15612.47 Set: 3162.273 Check: 0.0 Back: 409.987 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 460 Props: 17008134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.468 Prop: 16121.797 PropClause: 15643.284 Set: 3168.238 Check: 0.0 Back: 410.838 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 461 Props: 17042948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.474 Prop: 16155.262 PropClause: 15675.795 Set: 3174.204 Check: 0.0 Back: 411.669 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 462 Props: 17077639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.48 Prop: 16188.383 PropClause: 15707.966 Set: 3180.134 Check: 0.0 Back: 412.503 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 463 Props: 17112451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.487 Prop: 16222.466 PropClause: 15741.096 Set: 3186.102 Check: 0.0 Back: 413.326 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 464 Props: 17146767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.493 Prop: 16254.719 PropClause: 15772.411 Set: 3191.909 Check: 0.0 Back: 414.158 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 465 Props: 17181578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.5 Prop: 16286.35 PropClause: 15803.089 Set: 3197.947 Check: 0.0 Back: 414.973 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 466 Props: 17216390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.507 Prop: 16317.278 PropClause: 15833.058 Set: 3203.846 Check: 0.0 Back: 415.811 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 467 Props: 17251204 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.514 Prop: 16348.345 PropClause: 15863.173 Set: 3209.732 Check: 0.0 Back: 416.649 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 468 Props: 17285895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.52 Prop: 16379.316 PropClause: 15893.195 Set: 3215.638 Check: 0.0 Back: 417.488 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 469 Props: 17320707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.527 Prop: 16410.55 PropClause: 15923.478 Set: 3221.517 Check: 0.0 Back: 418.322 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 470 Props: 17355023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.533 Prop: 16441.606 PropClause: 15953.595 Set: 3227.288 Check: 0.0 Back: 419.162 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 471 Props: 17389834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.539 Prop: 16473.929 PropClause: 15984.965 Set: 3233.256 Check: 0.0 Back: 419.983 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 472 Props: 17424646 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.546 Prop: 16505.501 PropClause: 16015.578 Set: 3239.185 Check: 0.0 Back: 420.816 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 473 Props: 17459460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.551 Prop: 16540.851 PropClause: 16049.973 Set: 3245.212 Check: 0.0 Back: 421.641 INFO - Atoms: 34814/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 474 Props: 17494151 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.558 Prop: 16574.747 PropClause: 16082.891 Set: 3251.372 Check: 0.0 Back: 422.484 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 475 Props: 17528963 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.565 Prop: 16609.753 PropClause: 16116.941 Set: 3257.394 Check: 0.0 Back: 423.316 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 476 Props: 17563279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.571 Prop: 16643.485 PropClause: 16149.728 Set: 3263.326 Check: 0.0 Back: 424.158 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 477 Props: 17598090 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.577 Prop: 16678.113 PropClause: 16183.397 Set: 3269.376 Check: 0.0 Back: 424.97 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 478 Props: 17632902 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.593 Prop: 16712.135 PropClause: 16216.463 Set: 3275.437 Check: 0.0 Back: 425.811 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 479 Props: 17667219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.599 Prop: 16745.874 PropClause: 16249.26 Set: 3281.314 Check: 0.0 Back: 426.642 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 480 Props: 17702030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.605 Prop: 16780.863 PropClause: 16283.284 Set: 3287.376 Check: 0.0 Back: 427.475 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 481 Props: 17736842 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.612 Prop: 16815.903 PropClause: 16317.37 Set: 3293.385 Check: 0.0 Back: 428.301 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 482 Props: 17771655 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.618 Prop: 16849.576 PropClause: 16350.082 Set: 3299.446 Check: 0.0 Back: 429.153 INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 483 Props: 17806466 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.624 Prop: 16883.221 PropClause: 16382.772 Set: 3305.414 Check: 0.0 Back: 429.981 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 484 Props: 17841158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.63 Prop: 16916.221 PropClause: 16414.817 Set: 3311.413 Check: 0.0 Back: 430.821 INFO - Atoms: 34692/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 485 Props: 17875475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.635 Prop: 16951.279 PropClause: 16448.932 Set: 3317.298 Check: 0.0 Back: 431.65 INFO - Atoms: 34317/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 486 Props: 17910286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.641 Prop: 16982.868 PropClause: 16479.571 Set: 3323.214 Check: 0.0 Back: 432.475 INFO - Atoms: 34811/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 487 Props: 17945098 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.647 Prop: 17013.68 PropClause: 16509.432 Set: 3329.142 Check: 0.0 Back: 433.31 INFO - Atoms: 34812/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 488 Props: 17979911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.655 Prop: 17045.3 PropClause: 16540.096 Set: 3350.668 Check: 0.0 Back: 434.147 INFO - Atoms: 34813/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 489 Props: 18014667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.662 Prop: 17075.493 PropClause: 16569.34 Set: 3356.503 Check: 0.0 Back: 434.974 INFO - Atoms: 34756/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 490 Props: 18049358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.667 Prop: 17105.488 PropClause: 16598.395 Set: 3362.279 Check: 0.0 Back: 435.803 INFO - Atoms: 34691/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 491 Props: 18084116 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.675 Prop: 17136.32 PropClause: 16628.283 Set: 3368.134 Check: 0.0 Back: 436.622 INFO - Atoms: 34758/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 492 Props: 18118750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.681 Prop: 17165.461 PropClause: 16656.484 Set: 3373.91 Check: 0.0 Back: 437.465 INFO - Atoms: 34634/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 493 Props: 18153448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.687 Prop: 17194.811 PropClause: 16684.893 Set: 3379.622 Check: 0.0 Back: 438.286 INFO - Atoms: 34698/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 494 Props: 18187764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.693 Prop: 17224.255 PropClause: 16713.41 Set: 3385.288 Check: 0.0 Back: 439.123 INFO - Atoms: 34316/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 495 Props: 18222341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.698 Prop: 17253.574 PropClause: 16741.792 Set: 3391.082 Check: 0.0 Back: 439.933 INFO - Atoms: 34577/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 496 Props: 18256917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.704 Prop: 17282.41 PropClause: 16769.692 Set: 3396.775 Check: 0.0 Back: 440.759 INFO - Atoms: 34576/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 497 Props: 18291495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.71 Prop: 17312.393 PropClause: 16798.737 Set: 3402.575 Check: 0.0 Back: 441.58 INFO - Atoms: 34578/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 498 Props: 18325945 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.717 Prop: 17342.591 PropClause: 16827.985 Set: 3408.345 Check: 0.0 Back: 442.409 INFO - Atoms: 34450/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 499 Props: 18360394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.869 Prop: 17373.178 PropClause: 16857.638 Set: 3414.179 Check: 0.0 Back: 443.228 INFO - Atoms: 34449/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 500 Props: 18394692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.877 Prop: 17402.398 PropClause: 16885.924 Set: 3419.924 Check: 0.0 Back: 444.094 INFO - Atoms: 34298/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 75934 Tprops: 18526 Decides: 84671 RSplits: 0 INFO - Times: Expl: 400.488 Prop: 44898.499 PropClause: 30.927 Set: 14751.75 Check: 731.8 Back: 424.169 INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158 INFO - CCTimes: iE 877318 eq 42189493 cc 168622339 setRep 95129295 INFO - Merges: 658431, cc:1252268 INFO - BVTimes: BB 257631238 BB_DPLL 39635330045 Graph 391338877 INFO - BitBlastingClauses: 552130 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 501 Props: 18429111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.884 Prop: 17431.943 PropClause: 16914.534 Set: 3425.541 Check: 0.0 Back: 444.908 INFO - Atoms: 34419/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 502 Props: 18463529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.891 Prop: 17465.844 PropClause: 16947.495 Set: 3448.434 Check: 0.0 Back: 445.749 INFO - Atoms: 34418/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 503 Props: 18497948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.898 Prop: 17499.005 PropClause: 16979.716 Set: 3454.094 Check: 0.0 Back: 446.562 INFO - Atoms: 34419/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 504 Props: 18548361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.905 Prop: 17543.074 PropClause: 17022.409 Set: 3462.72 Check: 0.0 Back: 447.423 INFO - Atoms: 50413/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 505 Props: 18598905 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.911 Prop: 17597.502 PropClause: 17075.456 Set: 3471.371 Check: 0.0 Back: 448.63 INFO - Atoms: 50544/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 506 Props: 18633334 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.918 Prop: 17639.274 PropClause: 17116.276 Set: 3491.829 Check: 0.0 Back: 449.847 INFO - Atoms: 34429/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 507 Props: 18667524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.924 Prop: 17669.067 PropClause: 17145.128 Set: 3497.341 Check: 0.0 Back: 450.671 INFO - Atoms: 34190/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 508 Props: 18701584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.931 Prop: 17697.759 PropClause: 17172.889 Set: 3502.804 Check: 0.0 Back: 451.504 INFO - Atoms: 34060/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 509 Props: 18735512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.936 Prop: 17727.17 PropClause: 17201.373 Set: 3508.315 Check: 0.0 Back: 452.323 INFO - Atoms: 33928/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 510 Props: 18753238 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.004 Prop: 17749.518 PropClause: 17223.103 Set: 3514.714 Check: 0.0 Back: 453.149 INFO - Atoms: 17726/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 511 Props: 18771095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.063 Prop: 17758.17 PropClause: 17231.267 Set: 3517.268 Check: 0.0 Back: 453.601 INFO - Atoms: 17857/50560 Clauses: 773 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 1011 Props: 19634306 Tprops: 0 Decides: 939 RSplits: 0 INFO - Times: Expl: 582.043 Prop: 18176.719 PropClause: 17623.483 Set: 3540.071 Check: 0.024 Back: 474.192 INFO - Atoms: 16709/50560 Clauses: 1272 Axioms: 166130 INFO - Restart INFO - Confl: 1511 Props: 21014411 Tprops: 0 Decides: 1543 RSplits: 0 INFO - Times: Expl: 2560.995 Prop: 19056.819 PropClause: 18461.7 Set: 3574.222 Check: 0.047 Back: 506.622 INFO - Atoms: 16709/50560 Clauses: 1772 Axioms: 166130 INFO - Restart INFO - Confl: 2511 Props: 23159486 Tprops: 0 Decides: 3313 RSplits: 0 INFO - Times: Expl: 5300.811 Prop: 20179.149 PropClause: 19522.105 Set: 3625.3 Check: 0.099 Back: 556.008 INFO - Atoms: 16709/50560 Clauses: 2772 Axioms: 166130 INFO - Restart INFO - Confl: 3011 Props: 23824026 Tprops: 0 Decides: 4690 RSplits: 0 INFO - Times: Expl: 5607.639 Prop: 20523.038 PropClause: 19843.776 Set: 3641.872 Check: 0.141 Back: 572.238 INFO - Atoms: 16709/50560 Clauses: 3272 Axioms: 166130 INFO - Restart INFO - Confl: 3511 Props: 24618702 Tprops: 0 Decides: 5474 RSplits: 0 INFO - Times: Expl: 5962.398 Prop: 20814.91 PropClause: 20113.354 Set: 3660.541 Check: 0.164 Back: 590.383 INFO - Atoms: 16709/50560 Clauses: 3772 Axioms: 166130 INFO - Restart INFO - Confl: 4511 Props: 26385110 Tprops: 0 Decides: 6765 RSplits: 0 INFO - Times: Expl: 6842.302 Prop: 21445.107 PropClause: 20694.354 Set: 3701.975 Check: 0.202 Back: 630.51 INFO - Atoms: 16709/50560 Clauses: 4772 Axioms: 166130 INFO - Restart INFO - Confl: 6511 Props: 29440768 Tprops: 0 Decides: 10871 RSplits: 0 INFO - Times: Expl: 8687.654 Prop: 22848.419 PropClause: 22008.263 Set: 3774.816 Check: 0.317 Back: 701.348 INFO - Atoms: 16709/50560 Clauses: 6772 Axioms: 166130 INFO - Restart INFO - Confl: 7011 Props: 30339378 Tprops: 0 Decides: 12705 RSplits: 0 INFO - Times: Expl: 9070.371 Prop: 23308.766 PropClause: 22440.525 Set: 3796.607 Check: 0.368 Back: 722.655 INFO - Atoms: 16709/50560 Clauses: 7272 Axioms: 166130 INFO - Restart INFO - Confl: 7511 Props: 31182001 Tprops: 0 Decides: 14519 RSplits: 0 INFO - Times: Expl: 9366.235 Prop: 23799.652 PropClause: 22906.836 Set: 3817.007 Check: 0.42 Back: 742.489 INFO - Atoms: 16709/50560 Clauses: 7772 Axioms: 166130 INFO - Restart INFO - Confl: 8511 Props: 32833342 Tprops: 0 Decides: 17281 RSplits: 0 INFO - Times: Expl: 9985.026 Prop: 24634.598 PropClause: 23694.378 Set: 3856.912 Check: 0.507 Back: 780.961 INFO - Atoms: 16712/50560 Clauses: 8772 Axioms: 166130 INFO - Restart INFO - Confl: 9011 Props: 33686455 Tprops: 0 Decides: 19271 RSplits: 0 INFO - Times: Expl: 10239.006 Prop: 25126.565 PropClause: 24161.836 Set: 3877.283 Check: 0.563 Back: 800.888 INFO - Atoms: 16717/50560 Clauses: 9272 Axioms: 166130 INFO - Confl: 9460 Props: 34252513 Tprops: 0 Decides: 20323 RSplits: 0 INFO - Times: Expl: 10378.611 Prop: 25369.897 PropClause: 24388.982 Set: 3890.723 Check: 0.591 Back: 813.895 INFO - Atoms: 17536/50560 Clauses: 9721 Axioms: 166130 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 519 Props: 82588 Tprops: 20325 Decides: 85465 RSplits: 0 INFO - Times: Expl: 409.552 Prop: 64803.235 PropClause: 33.359 Set: 15276.871 Check: 739.876 Back: 437.714 INFO - Atoms: 908/1158 Clauses: 519 Axioms: 1158 INFO - CCTimes: iE 889970 eq 43158150 cc 170720882 setRep 96850378 INFO - Merges: 667895, cc:1299109 INFO - BVTimes: BB 257631238 BB_DPLL 59346185808 Graph 395574386 INFO - BitBlastingClauses: 561394 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat