/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_127_080.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 266138971 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 62844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.681 Prop: 120.421 PropClause: 117.175 Set: 51.617 Check: 0.0 Back: 0.0 INFO - Atoms: 62844/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 125182 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.758 Prop: 212.511 PropClause: 206.41 Set: 66.85 Check: 0.0 Back: 1.607 INFO - Atoms: 62338/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 187517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.801 Prop: 356.104 PropClause: 347.22 Set: 84.938 Check: 0.0 Back: 3.18 INFO - Atoms: 62335/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 249856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.859 Prop: 439.046 PropClause: 427.105 Set: 99.453 Check: 0.0 Back: 4.842 INFO - Atoms: 62339/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 312195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.991 Prop: 515.749 PropClause: 501.631 Set: 119.839 Check: 0.0 Back: 6.403 INFO - Atoms: 62339/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 374529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.075 Prop: 595.578 PropClause: 579.035 Set: 177.169 Check: 0.0 Back: 7.985 INFO - Atoms: 62334/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 436862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.157 Prop: 684.211 PropClause: 665.69 Set: 192.478 Check: 0.0 Back: 9.52 INFO - Atoms: 62333/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 499196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.209 Prop: 773.52 PropClause: 753.088 Set: 207.383 Check: 0.0 Back: 11.103 INFO - Atoms: 62334/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 561275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.259 Prop: 858.965 PropClause: 836.592 Set: 222.293 Check: 0.0 Back: 12.681 INFO - Atoms: 62079/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 623353 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.305 Prop: 926.015 PropClause: 901.909 Set: 232.716 Check: 0.0 Back: 14.254 INFO - Atoms: 62078/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 685173 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.351 Prop: 994.228 PropClause: 968.369 Set: 243.277 Check: 0.0 Back: 15.717 INFO - Atoms: 61820/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 746733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.398 Prop: 1059.571 PropClause: 1031.983 Set: 253.624 Check: 0.0 Back: 17.158 INFO - Atoms: 61560/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 808035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.441 Prop: 1128.246 PropClause: 1098.948 Set: 269.378 Check: 0.0 Back: 18.568 INFO - Atoms: 61302/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 869077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.482 Prop: 1193.342 PropClause: 1162.346 Set: 285.879 Check: 0.0 Back: 20.007 INFO - Atoms: 61042/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 929861 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.526 Prop: 1259.982 PropClause: 1227.279 Set: 302.713 Check: 0.0 Back: 21.553 INFO - Atoms: 60784/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 990385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.576 Prop: 1325.744 PropClause: 1291.343 Set: 348.916 Check: 0.0 Back: 23.106 INFO - Atoms: 60524/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1050651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.623 Prop: 1392.952 PropClause: 1356.868 Set: 359.035 Check: 0.0 Back: 24.645 INFO - Atoms: 60266/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1112470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.672 Prop: 1460.671 PropClause: 1422.853 Set: 369.477 Check: 0.0 Back: 26.077 INFO - Atoms: 61819/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1174031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.718 Prop: 1527.1 PropClause: 1487.555 Set: 379.832 Check: 0.0 Back: 27.517 INFO - Atoms: 61561/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1235332 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.762 Prop: 1594.494 PropClause: 1553.229 Set: 390.063 Check: 0.0 Back: 28.967 INFO - Atoms: 61301/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1296375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.802 Prop: 1662.961 PropClause: 1619.986 Set: 400.315 Check: 0.0 Back: 30.361 INFO - Atoms: 61043/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1357158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.85 Prop: 1746.877 PropClause: 1701.965 Set: 413.991 Check: 0.0 Back: 31.795 INFO - Atoms: 60783/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1417683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.895 Prop: 1812.021 PropClause: 1765.412 Set: 424.129 Check: 0.0 Back: 33.18 INFO - Atoms: 60525/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1477948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.942 Prop: 1878.448 PropClause: 1830.143 Set: 434.236 Check: 0.0 Back: 34.591 INFO - Atoms: 60265/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1537955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.984 Prop: 1944.612 PropClause: 1894.62 Set: 444.293 Check: 0.0 Back: 35.984 INFO - Atoms: 60007/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1597702 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.023 Prop: 2010.59 PropClause: 1958.925 Set: 454.239 Check: 0.0 Back: 37.396 INFO - Atoms: 59747/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1657191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.071 Prop: 2074.772 PropClause: 2021.435 Set: 464.219 Check: 0.0 Back: 38.755 INFO - Atoms: 59489/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1716420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.116 Prop: 2139.596 PropClause: 2084.581 Set: 474.164 Check: 0.0 Back: 40.146 INFO - Atoms: 59229/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1775391 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.158 Prop: 2203.781 PropClause: 2147.121 Set: 483.997 Check: 0.0 Back: 41.512 INFO - Atoms: 58971/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1835397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.208 Prop: 2271.082 PropClause: 2212.741 Set: 499.262 Check: 0.0 Back: 42.89 INFO - Atoms: 60006/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 1895145 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.253 Prop: 2337.315 PropClause: 2277.301 Set: 515.705 Check: 0.0 Back: 44.269 INFO - Atoms: 59748/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 1954633 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.308 Prop: 2403.626 PropClause: 2341.943 Set: 531.982 Check: 0.0 Back: 45.684 INFO - Atoms: 59488/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2013863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.35 Prop: 2470.98 PropClause: 2407.64 Set: 548.308 Check: 0.0 Back: 47.047 INFO - Atoms: 59230/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2072833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.396 Prop: 2536.541 PropClause: 2471.544 Set: 564.358 Check: 0.0 Back: 48.435 INFO - Atoms: 58970/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2131545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.445 Prop: 2600.256 PropClause: 2533.609 Set: 580.563 Check: 0.0 Back: 49.785 INFO - Atoms: 58712/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 2190256 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.494 Prop: 2665.118 PropClause: 2596.838 Set: 596.625 Check: 0.0 Back: 51.183 INFO - Atoms: 58711/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 2248966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.54 Prop: 2731.161 PropClause: 2661.239 Set: 606.515 Check: 0.0 Back: 52.542 INFO - Atoms: 58710/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2307418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.587 Prop: 2796.779 PropClause: 2725.225 Set: 616.32 Check: 0.0 Back: 53.91 INFO - Atoms: 58452/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2365871 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.634 Prop: 2865.091 PropClause: 2791.893 Set: 626.137 Check: 0.0 Back: 55.268 INFO - Atoms: 58453/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2424064 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.685 Prop: 2950.42 PropClause: 2875.431 Set: 639.899 Check: 0.0 Back: 56.63 INFO - Atoms: 58193/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 2481998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.733 Prop: 3034.779 PropClause: 2958.002 Set: 653.926 Check: 0.0 Back: 58.103 INFO - Atoms: 57934/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 2539672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.793 Prop: 3119.171 PropClause: 3040.623 Set: 668.536 Check: 0.0 Back: 59.573 INFO - Atoms: 57674/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 2597088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.839 Prop: 3179.899 PropClause: 3099.75 Set: 678.014 Check: 0.0 Back: 61.038 INFO - Atoms: 57416/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 2654244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.877 Prop: 3241.348 PropClause: 3159.603 Set: 687.421 Check: 0.0 Back: 62.382 INFO - Atoms: 57156/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 2711142 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.92 Prop: 3301.547 PropClause: 3218.152 Set: 697.512 Check: 0.0 Back: 63.684 INFO - Atoms: 56898/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2767780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.965 Prop: 3362.712 PropClause: 3277.735 Set: 706.816 Check: 0.0 Back: 65.123 INFO - Atoms: 56638/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 2824160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.006 Prop: 3421.057 PropClause: 3334.504 Set: 716.071 Check: 0.0 Back: 66.439 INFO - Atoms: 56380/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 2880280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.054 Prop: 3480.193 PropClause: 3392.073 Set: 725.248 Check: 0.0 Back: 67.765 INFO - Atoms: 56120/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 2936142 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.092 Prop: 3535.03 PropClause: 3445.338 Set: 734.448 Check: 0.0 Back: 69.057 INFO - Atoms: 55862/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 2991744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.237 Prop: 3594.619 PropClause: 3503.373 Set: 743.637 Check: 0.0 Back: 70.378 INFO - Atoms: 55602/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 3047088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.256 Prop: 3655.413 PropClause: 3562.623 Set: 752.747 Check: 0.0 Back: 71.675 INFO - Atoms: 55344/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 3102172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.326 Prop: 3712.473 PropClause: 3618.147 Set: 761.773 Check: 0.0 Back: 72.988 INFO - Atoms: 55084/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 3156998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.345 Prop: 3769.539 PropClause: 3673.683 Set: 770.711 Check: 0.0 Back: 74.252 INFO - Atoms: 54826/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 3211564 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.366 Prop: 3829.726 PropClause: 3732.354 Set: 779.695 Check: 0.0 Back: 75.534 INFO - Atoms: 54566/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 3265872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.385 Prop: 3888.536 PropClause: 3789.651 Set: 788.576 Check: 0.0 Back: 76.787 INFO - Atoms: 54308/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 3319920 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.404 Prop: 3943.997 PropClause: 3843.606 Set: 797.344 Check: 0.0 Back: 78.056 INFO - Atoms: 54048/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 3373710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.421 Prop: 4000.407 PropClause: 3898.519 Set: 806.097 Check: 0.0 Back: 79.287 INFO - Atoms: 53790/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 3427240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.439 Prop: 4056.443 PropClause: 3953.064 Set: 814.721 Check: 0.0 Back: 80.541 INFO - Atoms: 53530/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 3480512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.457 Prop: 4111.862 PropClause: 4006.997 Set: 823.325 Check: 0.0 Back: 81.762 INFO - Atoms: 53272/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 3533524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.474 Prop: 4165.895 PropClause: 4059.551 Set: 831.949 Check: 0.0 Back: 83.009 INFO - Atoms: 53012/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 3586278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.493 Prop: 4222.127 PropClause: 4114.312 Set: 840.573 Check: 0.0 Back: 84.204 INFO - Atoms: 52754/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 3638772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.51 Prop: 4272.467 PropClause: 4163.18 Set: 849.091 Check: 0.0 Back: 85.427 INFO - Atoms: 52494/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 3691008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.531 Prop: 4329.479 PropClause: 4218.727 Set: 862.675 Check: 0.0 Back: 86.641 INFO - Atoms: 52236/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 3742984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.554 Prop: 4382.853 PropClause: 4270.659 Set: 875.692 Check: 0.0 Back: 87.866 INFO - Atoms: 51976/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 3794702 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.574 Prop: 4437.643 PropClause: 4324.003 Set: 888.965 Check: 0.0 Back: 89.068 INFO - Atoms: 51718/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 3846160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.595 Prop: 4486.945 PropClause: 4371.863 Set: 897.23 Check: 0.0 Back: 90.286 INFO - Atoms: 51458/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 3897360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.614 Prop: 4540.4 PropClause: 4423.875 Set: 905.603 Check: 0.0 Back: 91.472 INFO - Atoms: 51200/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 3948300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.63 Prop: 4588.631 PropClause: 4470.677 Set: 913.799 Check: 0.0 Back: 92.682 INFO - Atoms: 50940/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 3998982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.648 Prop: 4639.287 PropClause: 4519.91 Set: 922.016 Check: 0.0 Back: 93.857 INFO - Atoms: 50682/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 4049404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.668 Prop: 4693.339 PropClause: 4572.436 Set: 931.678 Check: 0.0 Back: 95.082 INFO - Atoms: 50422/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 4099568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.687 Prop: 4740.143 PropClause: 4617.833 Set: 939.744 Check: 0.0 Back: 96.259 INFO - Atoms: 50164/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 4149472 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.706 Prop: 4787.385 PropClause: 4663.677 Set: 947.723 Check: 0.0 Back: 97.44 INFO - Atoms: 49904/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 4199118 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.724 Prop: 4833.162 PropClause: 4708.057 Set: 955.679 Check: 0.0 Back: 98.597 INFO - Atoms: 49646/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 4248504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.747 Prop: 4881.085 PropClause: 4754.582 Set: 963.873 Check: 0.0 Back: 99.762 INFO - Atoms: 49386/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 4297632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.767 Prop: 4926.128 PropClause: 4798.239 Set: 971.816 Check: 0.0 Back: 100.914 INFO - Atoms: 49128/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 4346500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.787 Prop: 4976.207 PropClause: 4846.895 Set: 980.365 Check: 0.0 Back: 102.073 INFO - Atoms: 48868/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 4395110 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.807 Prop: 5024.419 PropClause: 4893.748 Set: 988.195 Check: 0.0 Back: 103.229 INFO - Atoms: 48610/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 4443460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.828 Prop: 5069.757 PropClause: 4937.731 Set: 995.939 Check: 0.0 Back: 104.372 INFO - Atoms: 48350/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 4491552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.852 Prop: 5117.585 PropClause: 4984.194 Set: 1003.959 Check: 0.0 Back: 105.493 INFO - Atoms: 48092/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 4539384 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.873 Prop: 5162.857 PropClause: 5028.118 Set: 1011.664 Check: 0.0 Back: 106.74 INFO - Atoms: 47832/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 4586958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.895 Prop: 5206.243 PropClause: 5070.166 Set: 1019.298 Check: 0.0 Back: 107.869 INFO - Atoms: 47574/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 4634272 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.917 Prop: 5252.64 PropClause: 5115.235 Set: 1026.83 Check: 0.0 Back: 108.994 INFO - Atoms: 47314/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 4681328 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.938 Prop: 5294.496 PropClause: 5155.773 Set: 1034.335 Check: 0.0 Back: 110.081 INFO - Atoms: 47056/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 4728124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.956 Prop: 5335.778 PropClause: 5195.742 Set: 1041.751 Check: 0.0 Back: 111.196 INFO - Atoms: 46796/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 4774662 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.976 Prop: 5376.415 PropClause: 5235.068 Set: 1049.108 Check: 0.0 Back: 112.281 INFO - Atoms: 46538/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 4820940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.005 Prop: 5416.919 PropClause: 5274.273 Set: 1056.394 Check: 0.0 Back: 113.396 INFO - Atoms: 46278/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 4866960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.023 Prop: 5459.094 PropClause: 5315.156 Set: 1063.722 Check: 0.0 Back: 114.488 INFO - Atoms: 46020/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 4912720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.047 Prop: 5505.775 PropClause: 5360.514 Set: 1071.364 Check: 0.0 Back: 115.57 INFO - Atoms: 45760/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 4958222 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.076 Prop: 5547.131 PropClause: 5400.553 Set: 1079.202 Check: 0.0 Back: 116.686 INFO - Atoms: 45502/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 5003464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.096 Prop: 5585.827 PropClause: 5437.98 Set: 1086.309 Check: 0.0 Back: 117.759 INFO - Atoms: 45242/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 5048448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.116 Prop: 5627.462 PropClause: 5478.358 Set: 1093.531 Check: 0.0 Back: 118.8 INFO - Atoms: 44984/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 5093172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.167 Prop: 5664.827 PropClause: 5514.477 Set: 1100.501 Check: 0.0 Back: 119.88 INFO - Atoms: 44724/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 5137638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.233 Prop: 5699.378 PropClause: 5547.769 Set: 1107.457 Check: 0.0 Back: 120.909 INFO - Atoms: 44466/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 5181844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.248 Prop: 5739.475 PropClause: 5586.625 Set: 1114.473 Check: 0.0 Back: 121.952 INFO - Atoms: 44206/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 5225792 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.266 Prop: 5794.41 PropClause: 5640.209 Set: 1124.486 Check: 0.0 Back: 122.971 INFO - Atoms: 43948/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 5269480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.283 Prop: 5843.719 PropClause: 5688.162 Set: 1133.276 Check: 0.0 Back: 124.105 INFO - Atoms: 43688/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 5312910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.3 Prop: 5885.788 PropClause: 5729.0 Set: 1140.306 Check: 0.0 Back: 125.124 INFO - Atoms: 43430/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 5356080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.314 Prop: 5926.368 PropClause: 5768.36 Set: 1147.169 Check: 0.0 Back: 126.158 INFO - Atoms: 43170/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 5398992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.328 Prop: 5965.84 PropClause: 5806.621 Set: 1154.005 Check: 0.0 Back: 127.15 INFO - Atoms: 42912/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 5441644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.342 Prop: 6003.9 PropClause: 5843.471 Set: 1160.76 Check: 0.0 Back: 128.154 INFO - Atoms: 42652/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 5484037 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.356 Prop: 6041.655 PropClause: 5880.03 Set: 1167.459 Check: 0.0 Back: 129.147 INFO - Atoms: 42393/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 5527960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.44 Prop: 6082.594 PropClause: 5919.729 Set: 1174.531 Check: 0.0 Back: 130.146 INFO - Atoms: 43923/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 5571882 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.536 Prop: 6120.149 PropClause: 5956.045 Set: 1181.522 Check: 0.0 Back: 131.162 INFO - Atoms: 43922/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 5615805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.605 Prop: 6171.107 PropClause: 6005.633 Set: 1191.583 Check: 0.0 Back: 132.203 INFO - Atoms: 43923/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 5656341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.651 Prop: 6210.29 PropClause: 6043.672 Set: 1198.086 Check: 0.0 Back: 133.348 INFO - Atoms: 40536/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 5697134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.661 Prop: 6248.033 PropClause: 6080.272 Set: 1204.557 Check: 0.0 Back: 134.3 INFO - Atoms: 40793/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 5740280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.671 Prop: 6289.28 PropClause: 6120.31 Set: 1211.58 Check: 0.0 Back: 135.242 INFO - Atoms: 43146/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 5783685 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.682 Prop: 6327.853 PropClause: 6157.655 Set: 1232.98 Check: 0.0 Back: 136.268 INFO - Atoms: 43405/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 5827350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.691 Prop: 6369.285 PropClause: 6197.848 Set: 1240.095 Check: 0.0 Back: 137.265 INFO - Atoms: 43665/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 5871273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.701 Prop: 6411.28 PropClause: 6238.596 Set: 1247.075 Check: 0.0 Back: 138.287 INFO - Atoms: 43923/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 5915450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.71 Prop: 6451.709 PropClause: 6277.787 Set: 1254.226 Check: 0.0 Back: 139.309 INFO - Atoms: 44177/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 5959622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.721 Prop: 6494.645 PropClause: 6319.396 Set: 1262.121 Check: 0.0 Back: 140.34 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 6003547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.731 Prop: 6541.173 PropClause: 6364.595 Set: 1270.165 Check: 0.0 Back: 141.469 INFO - Atoms: 43925/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 6046712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.741 Prop: 6584.443 PropClause: 6406.64 Set: 1277.185 Check: 0.0 Back: 142.499 INFO - Atoms: 43165/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 6090884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.75 Prop: 6625.912 PropClause: 6446.863 Set: 1284.428 Check: 0.0 Back: 143.529 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 6135057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.757 Prop: 6664.97 PropClause: 6484.683 Set: 1291.487 Check: 0.0 Back: 144.568 INFO - Atoms: 44173/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 6179232 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.768 Prop: 6706.218 PropClause: 6524.666 Set: 1298.808 Check: 0.0 Back: 145.591 INFO - Atoms: 44175/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 6223404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.778 Prop: 6748.472 PropClause: 6565.673 Set: 1306.208 Check: 0.0 Back: 146.639 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 6267329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.788 Prop: 6792.434 PropClause: 6608.384 Set: 1313.477 Check: 0.0 Back: 147.654 INFO - Atoms: 43925/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 6310494 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.797 Prop: 6831.428 PropClause: 6646.166 Set: 1320.302 Check: 0.0 Back: 148.691 INFO - Atoms: 43165/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 6354666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.805 Prop: 6869.716 PropClause: 6683.211 Set: 1327.413 Check: 0.0 Back: 149.682 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 6398839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.813 Prop: 6908.619 PropClause: 6720.872 Set: 1334.434 Check: 0.0 Back: 150.725 INFO - Atoms: 44173/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 6443014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.822 Prop: 6946.301 PropClause: 6757.309 Set: 1341.481 Check: 0.0 Back: 151.741 INFO - Atoms: 44175/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 6487186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.831 Prop: 6987.998 PropClause: 6797.766 Set: 1348.59 Check: 0.0 Back: 152.787 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 6531111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.841 Prop: 7025.819 PropClause: 6834.347 Set: 1355.626 Check: 0.0 Back: 153.8 INFO - Atoms: 43925/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 6574276 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.851 Prop: 7065.92 PropClause: 6873.112 Set: 1362.464 Check: 0.0 Back: 154.834 INFO - Atoms: 43165/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 6618448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.861 Prop: 7101.666 PropClause: 6907.614 Set: 1369.516 Check: 0.0 Back: 155.827 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 6662621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.869 Prop: 7140.928 PropClause: 6945.643 Set: 1376.494 Check: 0.0 Back: 156.878 INFO - Atoms: 44173/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 6706796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.878 Prop: 7176.416 PropClause: 6979.888 Set: 1383.505 Check: 0.0 Back: 157.893 INFO - Atoms: 44175/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 6750968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.886 Prop: 7215.643 PropClause: 7017.879 Set: 1390.542 Check: 0.0 Back: 158.922 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 6794893 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.897 Prop: 7252.271 PropClause: 7053.246 Set: 1397.975 Check: 0.0 Back: 159.949 INFO - Atoms: 43925/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 6838058 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.907 Prop: 7292.3 PropClause: 7092.058 Set: 1404.977 Check: 0.0 Back: 161.058 INFO - Atoms: 43165/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 6882230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.916 Prop: 7329.692 PropClause: 7128.2 Set: 1412.149 Check: 0.0 Back: 162.08 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 6926403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.928 Prop: 7374.015 PropClause: 7171.246 Set: 1419.803 Check: 0.0 Back: 163.113 INFO - Atoms: 44173/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 6970578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.939 Prop: 7415.38 PropClause: 7211.344 Set: 1427.322 Check: 0.0 Back: 164.163 INFO - Atoms: 44175/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 7014750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.95 Prop: 7457.278 PropClause: 7252.002 Set: 1434.638 Check: 0.0 Back: 165.218 INFO - Atoms: 44172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 7058933 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.961 Prop: 7499.217 PropClause: 7292.635 Set: 1442.42 Check: 0.0 Back: 166.251 INFO - Atoms: 44183/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 7103365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.97 Prop: 7542.484 PropClause: 7334.642 Set: 1449.803 Check: 0.0 Back: 167.282 INFO - Atoms: 44432/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 7147801 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.98 Prop: 7582.788 PropClause: 7373.685 Set: 1457.089 Check: 0.0 Back: 168.312 INFO - Atoms: 44436/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 7191456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.989 Prop: 7622.45 PropClause: 7412.118 Set: 1464.152 Check: 0.0 Back: 169.373 INFO - Atoms: 43655/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 7234853 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.0 Prop: 7660.324 PropClause: 7448.775 Set: 1471.108 Check: 0.0 Back: 170.383 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 7278247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.009 Prop: 7695.23 PropClause: 7482.461 Set: 1478.068 Check: 0.0 Back: 171.388 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 7321394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.017 Prop: 7728.808 PropClause: 7514.831 Set: 1484.87 Check: 0.0 Back: 172.393 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 7363781 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.027 Prop: 7762.569 PropClause: 7547.399 Set: 1491.438 Check: 0.0 Back: 173.397 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 7407175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.035 Prop: 7799.974 PropClause: 7583.575 Set: 1498.384 Check: 0.0 Back: 174.388 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 7450570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.044 Prop: 7834.686 PropClause: 7617.074 Set: 1505.189 Check: 0.0 Back: 175.399 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 7493967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.052 Prop: 7867.456 PropClause: 7648.627 Set: 1512.027 Check: 0.0 Back: 176.415 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 7537361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.06 Prop: 7902.428 PropClause: 7682.383 Set: 1518.913 Check: 0.0 Back: 177.424 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 7580508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.069 Prop: 7941.651 PropClause: 7720.397 Set: 1525.762 Check: 0.0 Back: 178.426 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 7622895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.076 Prop: 7975.084 PropClause: 7752.637 Set: 1532.317 Check: 0.0 Back: 179.427 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 7666289 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.086 Prop: 8007.673 PropClause: 7784.016 Set: 1539.161 Check: 0.0 Back: 180.407 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 7709684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.094 Prop: 8045.195 PropClause: 7820.325 Set: 1546.011 Check: 0.0 Back: 181.413 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 7753081 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.102 Prop: 8079.543 PropClause: 7853.463 Set: 1552.868 Check: 0.0 Back: 182.42 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 7796475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.11 Prop: 8114.293 PropClause: 7886.99 Set: 1559.694 Check: 0.0 Back: 183.439 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 7839622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.119 Prop: 8150.227 PropClause: 7921.713 Set: 1566.507 Check: 0.0 Back: 184.441 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 7882009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.127 Prop: 8184.695 PropClause: 7954.984 Set: 1573.171 Check: 0.0 Back: 185.451 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 7925403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.137 Prop: 8223.612 PropClause: 7992.662 Set: 1580.303 Check: 0.0 Back: 186.437 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 7968798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.148 Prop: 8265.159 PropClause: 8032.991 Set: 1587.38 Check: 0.0 Back: 187.448 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 8012195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.16 Prop: 8302.533 PropClause: 8069.134 Set: 1594.528 Check: 0.0 Back: 188.474 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 8055589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.17 Prop: 8340.663 PropClause: 8106.04 Set: 1601.698 Check: 0.0 Back: 189.503 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 8098736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.179 Prop: 8379.633 PropClause: 8143.802 Set: 1608.656 Check: 0.0 Back: 190.519 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 8142132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.188 Prop: 8417.449 PropClause: 8180.403 Set: 1615.621 Check: 0.0 Back: 191.525 INFO - Atoms: 43396/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 8185278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.198 Prop: 8456.447 PropClause: 8218.199 Set: 1622.57 Check: 0.0 Back: 192.518 INFO - Atoms: 43146/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 8228673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.205 Prop: 8493.447 PropClause: 8253.981 Set: 1629.435 Check: 0.0 Back: 193.514 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 8272072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.213 Prop: 8532.732 PropClause: 8292.052 Set: 1636.443 Check: 0.0 Back: 194.521 INFO - Atoms: 43399/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 8315466 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.222 Prop: 8568.823 PropClause: 8326.926 Set: 1643.398 Check: 0.0 Back: 195.531 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 8358613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.231 Prop: 8602.953 PropClause: 8359.843 Set: 1650.199 Check: 0.0 Back: 196.524 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 8401000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.24 Prop: 8636.791 PropClause: 8392.479 Set: 1656.843 Check: 0.0 Back: 197.536 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 8444394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.249 Prop: 8676.286 PropClause: 8430.762 Set: 1663.831 Check: 0.0 Back: 198.524 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 8487789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.256 Prop: 8714.179 PropClause: 8467.442 Set: 1670.808 Check: 0.0 Back: 199.532 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 8531186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.263 Prop: 8749.627 PropClause: 8501.676 Set: 1677.714 Check: 0.0 Back: 200.524 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 8574580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.274 Prop: 8784.245 PropClause: 8535.078 Set: 1684.552 Check: 0.0 Back: 201.568 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 8617727 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.283 Prop: 8820.484 PropClause: 8570.102 Set: 1691.453 Check: 0.0 Back: 202.578 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 8660114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.294 Prop: 8858.254 PropClause: 8606.69 Set: 1698.109 Check: 0.0 Back: 203.586 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 8703508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.304 Prop: 8897.522 PropClause: 8644.738 Set: 1705.158 Check: 0.0 Back: 204.572 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 8746903 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.314 Prop: 8935.146 PropClause: 8681.139 Set: 1712.141 Check: 0.0 Back: 205.597 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 8790300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.323 Prop: 8969.887 PropClause: 8714.663 Set: 1719.057 Check: 0.0 Back: 206.591 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 8833694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.333 Prop: 9004.382 PropClause: 8747.935 Set: 1725.975 Check: 0.0 Back: 207.598 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 8876841 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.343 Prop: 9040.95 PropClause: 8783.284 Set: 1732.788 Check: 0.0 Back: 208.599 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 8919228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.352 Prop: 9080.595 PropClause: 8821.731 Set: 1739.766 Check: 0.0 Back: 209.597 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 8962622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.364 Prop: 9134.993 PropClause: 8874.897 Set: 1746.875 Check: 0.0 Back: 210.589 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 9006017 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.373 Prop: 9171.377 PropClause: 8910.054 Set: 1753.86 Check: 0.0 Back: 211.597 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 9049414 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.38 Prop: 9207.158 PropClause: 8944.618 Set: 1760.829 Check: 0.0 Back: 212.594 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 9092808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.39 Prop: 9242.296 PropClause: 8978.539 Set: 1767.777 Check: 0.0 Back: 213.614 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 9135955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.399 Prop: 9282.553 PropClause: 9017.572 Set: 1774.76 Check: 0.0 Back: 214.611 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 9178342 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.408 Prop: 9318.581 PropClause: 9052.41 Set: 1781.489 Check: 0.0 Back: 215.632 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 9221736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.417 Prop: 9359.828 PropClause: 9092.438 Set: 1788.638 Check: 0.0 Back: 216.621 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 9265131 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.424 Prop: 9397.578 PropClause: 9128.971 Set: 1795.53 Check: 0.0 Back: 217.628 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 9308528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.434 Prop: 9432.046 PropClause: 9162.213 Set: 1802.432 Check: 0.0 Back: 218.64 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 9351922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.442 Prop: 9468.176 PropClause: 9197.129 Set: 1809.326 Check: 0.0 Back: 219.645 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 9395069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.451 Prop: 9507.093 PropClause: 9234.842 Set: 1816.274 Check: 0.0 Back: 220.646 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 9437456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.46 Prop: 9543.395 PropClause: 9269.959 Set: 1823.017 Check: 0.0 Back: 221.649 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 9480850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.469 Prop: 9579.094 PropClause: 9304.431 Set: 1829.965 Check: 0.0 Back: 222.625 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 9524245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.477 Prop: 9615.261 PropClause: 9339.382 Set: 1836.905 Check: 0.0 Back: 223.623 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 9567642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.484 Prop: 9651.203 PropClause: 9374.107 Set: 1843.871 Check: 0.0 Back: 224.624 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 9611036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.494 Prop: 9687.614 PropClause: 9409.304 Set: 1850.815 Check: 0.0 Back: 225.626 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 9654183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.505 Prop: 9728.068 PropClause: 9448.556 Set: 1857.833 Check: 0.0 Back: 226.629 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 9696570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.514 Prop: 9763.495 PropClause: 9482.793 Set: 1864.664 Check: 0.0 Back: 227.633 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 9739964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.522 Prop: 9800.261 PropClause: 9518.337 Set: 1871.666 Check: 0.0 Back: 228.601 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 9783359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.531 Prop: 9835.39 PropClause: 9552.245 Set: 1878.538 Check: 0.0 Back: 229.618 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 9826756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.539 Prop: 9873.512 PropClause: 9589.149 Set: 1885.505 Check: 0.0 Back: 230.613 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 9870150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.547 Prop: 9912.84 PropClause: 9627.255 Set: 1892.511 Check: 0.0 Back: 231.618 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 9913297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.556 Prop: 9949.067 PropClause: 9662.274 Set: 1899.457 Check: 0.0 Back: 232.62 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 9955684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.565 Prop: 9982.966 PropClause: 9694.984 Set: 1906.129 Check: 0.0 Back: 233.622 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 9999078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.572 Prop: 10016.841 PropClause: 9727.642 Set: 1913.092 Check: 0.0 Back: 234.602 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 10042473 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.581 Prop: 10052.338 PropClause: 9761.926 Set: 1919.993 Check: 0.0 Back: 235.607 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 10085870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.592 Prop: 10092.185 PropClause: 9800.53 Set: 1927.0 Check: 0.0 Back: 236.61 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 10129264 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.601 Prop: 10130.622 PropClause: 9837.745 Set: 1934.034 Check: 0.0 Back: 237.615 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 10172411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.61 Prop: 10167.288 PropClause: 9873.205 Set: 1940.986 Check: 0.0 Back: 238.619 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 10214798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.617 Prop: 10203.812 PropClause: 9908.539 Set: 1947.741 Check: 0.0 Back: 239.614 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 10258192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.628 Prop: 10238.156 PropClause: 9941.664 Set: 1954.734 Check: 0.0 Back: 240.584 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 10301587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.637 Prop: 10271.473 PropClause: 9973.761 Set: 1961.704 Check: 0.0 Back: 241.592 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 10344984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.648 Prop: 10306.158 PropClause: 10007.223 Set: 1968.782 Check: 0.0 Back: 242.602 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 10388378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.657 Prop: 10344.145 PropClause: 10043.979 Set: 1975.965 Check: 0.0 Back: 243.619 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 10431525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.667 Prop: 10382.604 PropClause: 10081.233 Set: 1982.899 Check: 0.0 Back: 244.628 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 10473912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.678 Prop: 10418.554 PropClause: 10115.993 Set: 1989.692 Check: 0.0 Back: 245.613 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 10517306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.688 Prop: 10455.365 PropClause: 10151.58 Set: 1996.884 Check: 0.0 Back: 246.583 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 10560701 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.698 Prop: 10496.373 PropClause: 10191.309 Set: 2004.776 Check: 0.0 Back: 247.589 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 10603089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.708 Prop: 10534.036 PropClause: 10227.691 Set: 2012.535 Check: 0.0 Back: 248.66 INFO - Atoms: 42388/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 10646483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.718 Prop: 10568.567 PropClause: 10261.009 Set: 2019.516 Check: 0.0 Back: 249.646 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 10689878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.726 Prop: 10605.984 PropClause: 10297.215 Set: 2026.499 Check: 0.0 Back: 250.652 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 10733274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.735 Prop: 10645.107 PropClause: 10335.125 Set: 2033.511 Check: 0.0 Back: 251.661 INFO - Atoms: 43396/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 10776420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.745 Prop: 10683.273 PropClause: 10372.071 Set: 2040.468 Check: 0.0 Back: 252.667 INFO - Atoms: 43146/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 10819815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.755 Prop: 10718.547 PropClause: 10406.129 Set: 2047.501 Check: 0.0 Back: 253.659 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 10862203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.765 Prop: 10752.644 PropClause: 10439.027 Set: 2054.237 Check: 0.0 Back: 254.681 INFO - Atoms: 42388/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 10905597 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.774 Prop: 10786.181 PropClause: 10471.347 Set: 2061.247 Check: 0.0 Back: 255.656 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 10948992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.785 Prop: 10820.318 PropClause: 10504.27 Set: 2068.242 Check: 0.0 Back: 256.658 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 10992388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.795 Prop: 10857.234 PropClause: 10539.962 Set: 2075.281 Check: 0.0 Back: 257.662 INFO - Atoms: 43396/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 11035534 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.805 Prop: 10894.364 PropClause: 10575.883 Set: 2082.212 Check: 0.0 Back: 258.663 INFO - Atoms: 43146/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 11078929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.815 Prop: 10932.214 PropClause: 10612.522 Set: 2089.235 Check: 0.0 Back: 259.665 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 11121317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.825 Prop: 10971.143 PropClause: 10650.264 Set: 2096.06 Check: 0.0 Back: 260.674 INFO - Atoms: 42388/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 11164722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.836 Prop: 11008.187 PropClause: 10686.09 Set: 2103.182 Check: 0.0 Back: 261.647 INFO - Atoms: 43405/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 11208126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.844 Prop: 11044.29 PropClause: 10720.971 Set: 2110.262 Check: 0.0 Back: 262.639 INFO - Atoms: 43404/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 11250772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.854 Prop: 11080.459 PropClause: 10755.945 Set: 2128.025 Check: 0.0 Back: 263.643 INFO - Atoms: 42646/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 11293160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.865 Prop: 11118.374 PropClause: 10792.67 Set: 2134.839 Check: 0.0 Back: 264.621 INFO - Atoms: 42388/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 11337568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.874 Prop: 11158.07 PropClause: 10831.115 Set: 2142.31 Check: 0.0 Back: 265.602 INFO - Atoms: 44408/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 11382247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.884 Prop: 11198.927 PropClause: 10870.72 Set: 2149.76 Check: 0.0 Back: 266.632 INFO - Atoms: 44679/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 11426927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.895 Prop: 11241.72 PropClause: 10912.259 Set: 2157.352 Check: 0.0 Back: 267.671 INFO - Atoms: 44680/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 11470848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.906 Prop: 11280.791 PropClause: 10950.09 Set: 2164.774 Check: 0.0 Back: 268.7 INFO - Atoms: 43921/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 11514772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.916 Prop: 11317.098 PropClause: 10985.166 Set: 2171.976 Check: 0.0 Back: 269.714 INFO - Atoms: 43924/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 11558692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.927 Prop: 11353.075 PropClause: 11019.911 Set: 2179.104 Check: 0.0 Back: 270.727 INFO - Atoms: 43920/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 11601079 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.937 Prop: 11389.567 PropClause: 11055.213 Set: 2185.849 Check: 0.0 Back: 271.739 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 11644473 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.948 Prop: 11427.019 PropClause: 11091.422 Set: 2193.213 Check: 0.0 Back: 272.729 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 11687868 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.958 Prop: 11463.169 PropClause: 11126.353 Set: 2200.194 Check: 0.0 Back: 273.855 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 11731265 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.969 Prop: 11500.048 PropClause: 11162.011 Set: 2207.234 Check: 0.0 Back: 274.877 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 11774659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.979 Prop: 11535.44 PropClause: 11196.184 Set: 2214.208 Check: 0.0 Back: 275.877 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 11817806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.988 Prop: 11572.235 PropClause: 11231.763 Set: 2221.214 Check: 0.0 Back: 276.882 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 11860193 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.998 Prop: 11606.188 PropClause: 11264.529 Set: 2227.932 Check: 0.0 Back: 277.898 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 11903587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.005 Prop: 11639.776 PropClause: 11296.9 Set: 2234.892 Check: 0.0 Back: 278.886 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 11946982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.016 Prop: 11675.538 PropClause: 11331.443 Set: 2241.843 Check: 0.0 Back: 279.887 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 11990379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.025 Prop: 11715.108 PropClause: 11369.793 Set: 2248.882 Check: 0.0 Back: 280.883 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 12033773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.034 Prop: 11757.051 PropClause: 11410.522 Set: 2255.965 Check: 0.0 Back: 281.889 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 12076920 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.043 Prop: 11794.457 PropClause: 11446.718 Set: 2262.86 Check: 0.0 Back: 282.894 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 12119307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.053 Prop: 11833.354 PropClause: 11484.424 Set: 2269.695 Check: 0.0 Back: 283.894 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 12162701 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.061 Prop: 11872.63 PropClause: 11522.483 Set: 2276.747 Check: 0.0 Back: 284.879 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 12206096 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.072 Prop: 11911.207 PropClause: 11559.838 Set: 2283.79 Check: 0.0 Back: 285.88 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 12249493 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.082 Prop: 11950.863 PropClause: 11598.272 Set: 2290.873 Check: 0.0 Back: 286.967 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 12292887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.092 Prop: 11992.97 PropClause: 11639.15 Set: 2298.219 Check: 0.0 Back: 287.974 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 12336034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.102 Prop: 12034.431 PropClause: 11679.385 Set: 2322.386 Check: 0.0 Back: 289.024 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 12378421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.112 Prop: 12070.067 PropClause: 11713.833 Set: 2329.097 Check: 0.0 Back: 290.025 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 12421815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.122 Prop: 12106.741 PropClause: 11749.297 Set: 2336.096 Check: 0.0 Back: 291.009 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 12465210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.131 Prop: 12143.955 PropClause: 11785.294 Set: 2343.099 Check: 0.0 Back: 292.009 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 12508607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.14 Prop: 12182.14 PropClause: 11822.26 Set: 2350.148 Check: 0.0 Back: 293.009 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 12552001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.148 Prop: 12219.761 PropClause: 11858.654 Set: 2357.124 Check: 0.0 Back: 294.011 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 12595148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.157 Prop: 12258.833 PropClause: 11896.511 Set: 2364.119 Check: 0.0 Back: 295.006 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 12637535 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.168 Prop: 12296.676 PropClause: 11933.164 Set: 2370.893 Check: 0.0 Back: 296.078 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 12680929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.176 Prop: 12333.303 PropClause: 11968.57 Set: 2377.912 Check: 0.0 Back: 297.074 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 12724324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.187 Prop: 12370.171 PropClause: 12004.221 Set: 2384.912 Check: 0.0 Back: 298.084 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 12767721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.197 Prop: 12408.44 PropClause: 12041.276 Set: 2391.955 Check: 0.0 Back: 299.105 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 12811115 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.208 Prop: 12445.782 PropClause: 12077.402 Set: 2398.957 Check: 0.0 Back: 300.12 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 12854262 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.216 Prop: 12485.232 PropClause: 12115.635 Set: 2405.953 Check: 0.0 Back: 301.127 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 12897658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.225 Prop: 12525.71 PropClause: 12154.896 Set: 2412.961 Check: 0.0 Back: 302.13 INFO - Atoms: 43396/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 12940804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.233 Prop: 12561.431 PropClause: 12189.41 Set: 2419.888 Check: 0.0 Back: 303.143 INFO - Atoms: 43146/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 12984199 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.242 Prop: 12599.956 PropClause: 12226.715 Set: 2426.931 Check: 0.0 Back: 304.148 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 13027598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.254 Prop: 12638.805 PropClause: 12264.351 Set: 2433.942 Check: 0.0 Back: 305.156 INFO - Atoms: 43399/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 13070992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.264 Prop: 12677.404 PropClause: 12301.737 Set: 2440.933 Check: 0.0 Back: 306.153 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 13114139 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.273 Prop: 12715.898 PropClause: 12339.015 Set: 2447.859 Check: 0.0 Back: 307.154 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 13156526 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.283 Prop: 12753.906 PropClause: 12375.838 Set: 2454.644 Check: 0.0 Back: 308.15 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 13199920 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.293 Prop: 12789.564 PropClause: 12410.278 Set: 2461.673 Check: 0.0 Back: 309.287 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 13243315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.305 Prop: 12832.023 PropClause: 12451.466 Set: 2469.41 Check: 0.0 Back: 310.295 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 13286712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.317 Prop: 12869.715 PropClause: 12487.935 Set: 2476.583 Check: 0.0 Back: 311.299 INFO - Atoms: 43397/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 13330106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.328 Prop: 12905.692 PropClause: 12522.689 Set: 2483.611 Check: 0.0 Back: 312.296 INFO - Atoms: 43394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 13373253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.338 Prop: 12941.162 PropClause: 12556.946 Set: 2490.623 Check: 0.0 Back: 313.308 INFO - Atoms: 43147/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 13415640 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.348 Prop: 12978.211 PropClause: 12592.807 Set: 2497.483 Check: 0.0 Back: 314.304 INFO - Atoms: 42387/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 13459033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.356 Prop: 13018.13 PropClause: 12631.509 Set: 2504.672 Check: 0.0 Back: 315.293 INFO - Atoms: 43393/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 13502428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.365 Prop: 13060.974 PropClause: 12673.107 Set: 2525.051 Check: 0.0 Back: 316.291 INFO - Atoms: 43395/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 13544816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.375 Prop: 13102.173 PropClause: 12713.108 Set: 2532.111 Check: 0.0 Back: 317.291 INFO - Atoms: 42388/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 13587468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.387 Prop: 13142.816 PropClause: 12752.556 Set: 2539.09 Check: 0.0 Back: 318.282 INFO - Atoms: 42652/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 13629862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.398 Prop: 13180.784 PropClause: 12789.324 Set: 2545.954 Check: 0.0 Back: 319.288 INFO - Atoms: 42394/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 13688034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.431 Prop: 13258.921 PropClause: 12865.527 Set: 2588.401 Check: 0.0 Back: 320.291 INFO - Atoms: 58172/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 13730274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.565 Prop: 13328.786 PropClause: 12933.984 Set: 2618.38 Check: 0.0 Back: 321.765 INFO - Atoms: 42240/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 13772771 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.576 Prop: 13381.006 PropClause: 12984.695 Set: 2648.058 Check: 0.0 Back: 322.84 INFO - Atoms: 42497/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 13815528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.588 Prop: 13428.637 PropClause: 13030.894 Set: 2677.597 Check: 0.0 Back: 323.927 INFO - Atoms: 42757/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 13858543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.693 Prop: 13476.469 PropClause: 13077.339 Set: 2690.529 Check: 0.0 Back: 325.048 INFO - Atoms: 43015/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 13901818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.756 Prop: 13510.221 PropClause: 13109.878 Set: 2697.905 Check: 0.0 Back: 326.101 INFO - Atoms: 43275/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 13945351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.77 Prop: 13545.128 PropClause: 13143.569 Set: 2705.375 Check: 0.0 Back: 327.138 INFO - Atoms: 43533/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 13989144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.785 Prop: 13581.435 PropClause: 13178.65 Set: 2713.031 Check: 0.0 Back: 328.137 INFO - Atoms: 43793/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 14033195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.799 Prop: 13618.348 PropClause: 13214.332 Set: 2720.704 Check: 0.0 Back: 329.156 INFO - Atoms: 44051/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 14077506 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.816 Prop: 13663.22 PropClause: 13257.854 Set: 2729.595 Check: 0.0 Back: 330.167 INFO - Atoms: 44311/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 14122075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.833 Prop: 13701.582 PropClause: 13294.971 Set: 2737.277 Check: 0.0 Back: 331.266 INFO - Atoms: 44569/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 14164055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.847 Prop: 13736.007 PropClause: 13328.219 Set: 2744.378 Check: 0.0 Back: 332.295 INFO - Atoms: 41980/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 14208884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.862 Prop: 13775.663 PropClause: 13366.621 Set: 2752.257 Check: 0.0 Back: 333.264 INFO - Atoms: 44829/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 14253971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.903 Prop: 13814.137 PropClause: 13403.823 Set: 2760.146 Check: 0.0 Back: 334.292 INFO - Atoms: 45087/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 14299318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.925 Prop: 13855.078 PropClause: 13443.486 Set: 2779.159 Check: 0.0 Back: 335.332 INFO - Atoms: 45347/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 14344923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.971 Prop: 13891.323 PropClause: 13478.455 Set: 2786.983 Check: 0.0 Back: 336.392 INFO - Atoms: 45605/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 14390788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.981 Prop: 13930.031 PropClause: 13515.881 Set: 2794.885 Check: 0.0 Back: 337.454 INFO - Atoms: 45865/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 14432509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.993 Prop: 13967.669 PropClause: 13552.354 Set: 2802.115 Check: 0.0 Back: 338.501 INFO - Atoms: 41721/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 14473973 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.001 Prop: 14002.778 PropClause: 13586.306 Set: 2809.18 Check: 0.0 Back: 339.462 INFO - Atoms: 41464/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 14515178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.013 Prop: 14033.815 PropClause: 13616.193 Set: 2816.176 Check: 0.0 Back: 340.415 INFO - Atoms: 41205/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 14556124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.023 Prop: 14066.407 PropClause: 13647.626 Set: 2823.13 Check: 0.0 Back: 341.372 INFO - Atoms: 40946/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 14596811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.034 Prop: 14101.656 PropClause: 13681.741 Set: 2830.178 Check: 0.0 Back: 342.309 INFO - Atoms: 40687/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 14637239 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.044 Prop: 14134.657 PropClause: 13713.605 Set: 2836.932 Check: 0.0 Back: 343.25 INFO - Atoms: 40428/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 14677408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.056 Prop: 14168.437 PropClause: 13746.248 Set: 2843.883 Check: 0.0 Back: 344.181 INFO - Atoms: 40169/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 14717318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.069 Prop: 14200.146 PropClause: 13776.839 Set: 2850.633 Check: 0.0 Back: 345.124 INFO - Atoms: 39910/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 14756969 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.08 Prop: 14230.46 PropClause: 13806.046 Set: 2857.463 Check: 0.0 Back: 346.054 INFO - Atoms: 39651/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 14796361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.09 Prop: 14260.737 PropClause: 13835.225 Set: 2864.224 Check: 0.0 Back: 346.973 INFO - Atoms: 39392/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 14835494 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.101 Prop: 14292.355 PropClause: 13865.757 Set: 2870.81 Check: 0.0 Back: 347.872 INFO - Atoms: 39133/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 14874368 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.111 Prop: 14321.934 PropClause: 13894.251 Set: 2877.238 Check: 0.0 Back: 348.777 INFO - Atoms: 38874/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 14912983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.121 Prop: 14348.971 PropClause: 13920.206 Set: 2883.65 Check: 0.0 Back: 349.675 INFO - Atoms: 38615/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 14951339 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.13 Prop: 14374.86 PropClause: 13945.024 Set: 2890.008 Check: 0.0 Back: 350.579 INFO - Atoms: 38356/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 14989436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.14 Prop: 14402.264 PropClause: 13971.364 Set: 2896.357 Check: 0.0 Back: 351.457 INFO - Atoms: 38097/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 15027274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.15 Prop: 14430.159 PropClause: 13998.202 Set: 2902.782 Check: 0.0 Back: 352.33 INFO - Atoms: 37838/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 15064853 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.16 Prop: 14458.31 PropClause: 14025.306 Set: 2909.162 Check: 0.0 Back: 353.189 INFO - Atoms: 37579/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 15102173 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.172 Prop: 14486.836 PropClause: 14052.795 Set: 2915.382 Check: 0.0 Back: 354.058 INFO - Atoms: 37320/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 15139234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.184 Prop: 14513.256 PropClause: 14078.168 Set: 2921.51 Check: 0.0 Back: 354.934 INFO - Atoms: 37061/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 15176036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.194 Prop: 14537.928 PropClause: 14101.813 Set: 2927.558 Check: 0.0 Back: 355.791 INFO - Atoms: 36802/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 15212579 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.204 Prop: 14561.917 PropClause: 14124.779 Set: 2933.58 Check: 0.0 Back: 356.646 INFO - Atoms: 36543/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 15248863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.216 Prop: 14587.729 PropClause: 14149.572 Set: 2953.093 Check: 0.0 Back: 357.493 INFO - Atoms: 36284/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 15284888 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.227 Prop: 14615.257 PropClause: 14176.101 Set: 2959.22 Check: 0.0 Back: 358.32 INFO - Atoms: 36025/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 15320654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.237 Prop: 14640.771 PropClause: 14200.619 Set: 2965.033 Check: 0.0 Back: 359.148 INFO - Atoms: 35766/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 15356161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.249 Prop: 14664.766 PropClause: 14223.626 Set: 2970.83 Check: 0.0 Back: 359.972 INFO - Atoms: 35507/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 15391409 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.258 Prop: 14686.274 PropClause: 14244.152 Set: 2976.535 Check: 0.0 Back: 360.793 INFO - Atoms: 35248/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 15426398 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.269 Prop: 14707.866 PropClause: 14264.765 Set: 2982.248 Check: 0.0 Back: 361.603 INFO - Atoms: 34989/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 15461128 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.279 Prop: 14732.685 PropClause: 14288.602 Set: 2988.062 Check: 0.0 Back: 362.412 INFO - Atoms: 34730/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 15495599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.29 Prop: 14754.833 PropClause: 14309.785 Set: 2993.726 Check: 0.0 Back: 363.221 INFO - Atoms: 34471/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 15529811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.301 Prop: 14777.614 PropClause: 14331.61 Set: 2999.392 Check: 0.0 Back: 364.02 INFO - Atoms: 34212/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 15563764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.311 Prop: 14800.363 PropClause: 14353.417 Set: 3004.949 Check: 0.0 Back: 364.805 INFO - Atoms: 33953/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 15597458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.322 Prop: 14823.736 PropClause: 14375.792 Set: 3010.992 Check: 0.0 Back: 365.589 INFO - Atoms: 33694/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 15643581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.332 Prop: 14856.941 PropClause: 14407.713 Set: 3018.942 Check: 0.0 Back: 366.382 INFO - Atoms: 46123/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 15689964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.341 Prop: 14894.998 PropClause: 14444.476 Set: 3027.018 Check: 0.0 Back: 367.454 INFO - Atoms: 46383/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 15723397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.351 Prop: 14926.02 PropClause: 14474.57 Set: 3032.416 Check: 0.0 Back: 368.524 INFO - Atoms: 33433/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 15756573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.36 Prop: 14945.517 PropClause: 14493.145 Set: 3037.744 Check: 0.0 Back: 369.29 INFO - Atoms: 33176/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 15789490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.369 Prop: 14964.334 PropClause: 14511.044 Set: 3043.043 Check: 0.0 Back: 370.048 INFO - Atoms: 32917/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 15822148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.379 Prop: 14983.261 PropClause: 14529.064 Set: 3048.3 Check: 0.0 Back: 370.806 INFO - Atoms: 32658/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 15854547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.39 Prop: 15004.504 PropClause: 14549.374 Set: 3053.967 Check: 0.0 Back: 371.55 INFO - Atoms: 32399/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 15886687 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.4 Prop: 15025.421 PropClause: 14569.391 Set: 3059.155 Check: 0.0 Back: 372.318 INFO - Atoms: 32140/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 15918568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.412 Prop: 15045.979 PropClause: 14589.064 Set: 3064.296 Check: 0.0 Back: 373.054 INFO - Atoms: 31881/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 15950190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.422 Prop: 15065.383 PropClause: 14607.591 Set: 3069.384 Check: 0.0 Back: 373.785 INFO - Atoms: 31622/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 15981292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.434 Prop: 15082.241 PropClause: 14623.58 Set: 3074.326 Check: 0.0 Back: 374.51 INFO - Atoms: 31102/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 16012137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.444 Prop: 15098.971 PropClause: 14639.452 Set: 3079.226 Check: 0.0 Back: 375.224 INFO - Atoms: 30845/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 16042719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.454 Prop: 15119.77 PropClause: 14659.394 Set: 3084.257 Check: 0.0 Back: 375.925 INFO - Atoms: 30582/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 16073042 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.465 Prop: 15140.763 PropClause: 14679.539 Set: 3089.256 Check: 0.0 Back: 376.645 INFO - Atoms: 30323/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 16103108 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.476 Prop: 15157.36 PropClause: 14695.297 Set: 3094.034 Check: 0.0 Back: 377.339 INFO - Atoms: 30066/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 16132915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.488 Prop: 15173.281 PropClause: 14710.381 Set: 3098.758 Check: 0.0 Back: 378.034 INFO - Atoms: 29807/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 16162463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.499 Prop: 15189.639 PropClause: 14725.917 Set: 3103.462 Check: 0.0 Back: 378.716 INFO - Atoms: 29548/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 16191752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.51 Prop: 15206.593 PropClause: 14742.055 Set: 3108.169 Check: 0.0 Back: 379.396 INFO - Atoms: 29289/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 16220782 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.523 Prop: 15224.184 PropClause: 14758.839 Set: 3112.775 Check: 0.0 Back: 380.062 INFO - Atoms: 29030/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 16249553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.534 Prop: 15240.484 PropClause: 14774.328 Set: 3117.325 Check: 0.0 Back: 380.736 INFO - Atoms: 28771/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 16278065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.545 Prop: 15255.082 PropClause: 14788.128 Set: 3121.81 Check: 0.0 Back: 381.393 INFO - Atoms: 28512/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 16306318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.556 Prop: 15269.185 PropClause: 14801.443 Set: 3126.271 Check: 0.0 Back: 382.05 INFO - Atoms: 28253/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 16334312 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.567 Prop: 15283.023 PropClause: 14814.501 Set: 3130.672 Check: 0.0 Back: 382.7 INFO - Atoms: 27994/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 16362047 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.579 Prop: 15297.064 PropClause: 14827.766 Set: 3135.026 Check: 0.0 Back: 383.356 INFO - Atoms: 27735/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 16389523 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.589 Prop: 15311.663 PropClause: 14841.598 Set: 3139.337 Check: 0.0 Back: 383.99 INFO - Atoms: 27476/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 16416740 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.599 Prop: 15326.568 PropClause: 14855.744 Set: 3143.635 Check: 0.0 Back: 384.631 INFO - Atoms: 27217/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 16443700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.609 Prop: 15340.861 PropClause: 14869.277 Set: 3147.866 Check: 0.0 Back: 385.251 INFO - Atoms: 26960/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 16470140 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.621 Prop: 15354.736 PropClause: 14882.408 Set: 3151.99 Check: 0.0 Back: 385.871 INFO - Atoms: 26440/62848 Clauses: 485 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 866 Props: 18872315 Tprops: 0 Decides: 6958 RSplits: 0 INFO - Times: Expl: 2138.241 Prop: 17682.018 PropClause: 17134.909 Set: 3215.027 Check: 0.185 Back: 445.604 INFO - Atoms: 20819/62848 Clauses: 984 Axioms: 207986 INFO - Restart INFO - Confl: 1366 Props: 20392113 Tprops: 0 Decides: 12782 RSplits: 0 INFO - Times: Expl: 2721.787 Prop: 18936.307 PropClause: 18342.504 Set: 3251.771 Check: 0.327 Back: 481.967 INFO - Atoms: 20820/62848 Clauses: 1484 Axioms: 207986 INFO - Confl: 1706 Props: 20853474 Tprops: 0 Decides: 14151 RSplits: 0 INFO - Times: Expl: 2914.377 Prop: 19232.141 PropClause: 18622.468 Set: 3263.61 Check: 0.367 Back: 493.61 INFO - Atoms: 21131/62848 Clauses: 1824 Axioms: 207986 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 402 Props: 29467 Tprops: 9072 Decides: 28010 RSplits: 0 INFO - Times: Expl: 182.373 Prop: 45904.799 PropClause: 15.371 Set: 4295.255 Check: 138.786 Back: 127.407 INFO - Atoms: 726/726 Clauses: 402 Axioms: 726 INFO - CCTimes: iE 245616 eq 20895320 cc 60278914 setRep 32617774 INFO - Merges: 228182, cc:423277 INFO - BVTimes: BB 266112971 BB_DPLL 41885892531 Graph 768071 INFO - BitBlastingClauses: 385614 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat