/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_004_127_112.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 1085798470 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 176378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.598 Prop: 258.475 PropClause: 251.001 Set: 73.53 Check: 0.0 Back: 0.0 INFO - Atoms: 176378/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 352756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.656 Prop: 488.901 PropClause: 475.501 Set: 104.664 Check: 0.0 Back: 4.017 INFO - Atoms: 176378/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 529122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.722 Prop: 705.276 PropClause: 687.492 Set: 136.101 Check: 0.0 Back: 8.047 INFO - Atoms: 176366/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 705488 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.765 Prop: 926.011 PropClause: 903.854 Set: 167.728 Check: 0.0 Back: 12.143 INFO - Atoms: 176366/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 881844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.811 Prop: 1149.167 PropClause: 1122.654 Set: 204.434 Check: 0.0 Back: 16.166 INFO - Atoms: 176356/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 1058200 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.854 Prop: 1365.759 PropClause: 1334.9 Set: 235.652 Check: 0.0 Back: 20.404 INFO - Atoms: 176356/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 1234546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.901 Prop: 1586.151 PropClause: 1550.922 Set: 266.389 Check: 0.0 Back: 24.981 INFO - Atoms: 176346/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 1410507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.95 Prop: 1807.401 PropClause: 1767.837 Set: 343.814 Check: 0.0 Back: 29.508 INFO - Atoms: 175961/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 1586465 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.993 Prop: 2027.591 PropClause: 1983.692 Set: 375.056 Check: 0.0 Back: 33.9 INFO - Atoms: 175958/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 1762420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.039 Prop: 2237.988 PropClause: 2189.701 Set: 406.261 Check: 0.0 Back: 38.38 INFO - Atoms: 175955/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 1938241 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.089 Prop: 2453.678 PropClause: 2401.073 Set: 436.665 Check: 0.0 Back: 42.914 INFO - Atoms: 175821/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 2113680 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.135 Prop: 2684.926 PropClause: 2627.98 Set: 467.792 Check: 0.0 Back: 47.453 INFO - Atoms: 175439/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 2288613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.178 Prop: 2898.42 PropClause: 2837.157 Set: 498.511 Check: 0.0 Back: 51.995 INFO - Atoms: 174933/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 2463411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.225 Prop: 3105.763 PropClause: 3040.19 Set: 529.052 Check: 0.0 Back: 56.496 INFO - Atoms: 174798/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 2637950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.269 Prop: 3327.542 PropClause: 3257.687 Set: 560.407 Check: 0.0 Back: 61.034 INFO - Atoms: 174539/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 2812229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.308 Prop: 3543.203 PropClause: 3469.078 Set: 590.447 Check: 0.0 Back: 65.501 INFO - Atoms: 174279/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 2986248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.376 Prop: 3758.751 PropClause: 3680.351 Set: 620.723 Check: 0.0 Back: 70.034 INFO - Atoms: 174019/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 3160260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.415 Prop: 3977.055 PropClause: 3894.381 Set: 650.909 Check: 0.0 Back: 74.463 INFO - Atoms: 174012/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 3334014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.458 Prop: 4194.804 PropClause: 4107.817 Set: 681.949 Check: 0.0 Back: 78.932 INFO - Atoms: 173754/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 3507508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.505 Prop: 4414.14 PropClause: 4322.858 Set: 712.396 Check: 0.0 Back: 83.396 INFO - Atoms: 173494/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 3680742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.551 Prop: 4633.963 PropClause: 4538.378 Set: 743.468 Check: 0.0 Back: 87.879 INFO - Atoms: 173234/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 3853716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.595 Prop: 4850.181 PropClause: 4750.29 Set: 776.71 Check: 0.0 Back: 92.325 INFO - Atoms: 172974/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 4026686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.639 Prop: 5066.11 PropClause: 4961.965 Set: 807.752 Check: 0.0 Back: 96.809 INFO - Atoms: 172970/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 4199273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.684 Prop: 5285.698 PropClause: 5177.3 Set: 891.924 Check: 0.0 Back: 101.198 INFO - Atoms: 172587/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 4371599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.726 Prop: 5507.566 PropClause: 5394.914 Set: 923.183 Check: 0.0 Back: 105.409 INFO - Atoms: 172326/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 4543670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.828 Prop: 5719.88 PropClause: 5602.97 Set: 955.263 Check: 0.0 Back: 109.799 INFO - Atoms: 172071/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 4715480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.846 Prop: 5934.597 PropClause: 5813.449 Set: 985.425 Check: 0.0 Back: 114.24 INFO - Atoms: 171810/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 4887033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.863 Prop: 6140.565 PropClause: 6015.176 Set: 1016.105 Check: 0.0 Back: 118.593 INFO - Atoms: 171553/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 5058325 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.883 Prop: 6360.466 PropClause: 6230.838 Set: 1046.989 Check: 0.0 Back: 123.057 INFO - Atoms: 171292/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 5229357 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.902 Prop: 6570.693 PropClause: 6436.83 Set: 1077.53 Check: 0.0 Back: 127.454 INFO - Atoms: 171032/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 5400129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.922 Prop: 6795.047 PropClause: 6656.998 Set: 1107.635 Check: 0.0 Back: 131.899 INFO - Atoms: 170772/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 5570769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.94 Prop: 7007.967 PropClause: 6865.705 Set: 1138.273 Check: 0.0 Back: 136.266 INFO - Atoms: 170640/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 5741148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.96 Prop: 7229.826 PropClause: 7083.361 Set: 1168.6 Check: 0.0 Back: 140.648 INFO - Atoms: 170379/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 5911270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.977 Prop: 7450.763 PropClause: 7300.108 Set: 1199.445 Check: 0.0 Back: 144.986 INFO - Atoms: 170122/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 6081131 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.995 Prop: 7669.961 PropClause: 7515.051 Set: 1230.228 Check: 0.0 Back: 149.35 INFO - Atoms: 169861/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 6250736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.013 Prop: 7890.873 PropClause: 7731.789 Set: 1259.839 Check: 0.0 Back: 153.698 INFO - Atoms: 169605/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 6420081 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.032 Prop: 8109.455 PropClause: 7946.183 Set: 1289.517 Check: 0.0 Back: 158.065 INFO - Atoms: 169345/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 6589169 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.053 Prop: 8330.439 PropClause: 8162.989 Set: 1319.832 Check: 0.0 Back: 162.44 INFO - Atoms: 169088/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 6757996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.076 Prop: 8562.066 PropClause: 8390.42 Set: 1401.717 Check: 0.0 Back: 166.74 INFO - Atoms: 168827/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 6926566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.095 Prop: 8784.606 PropClause: 8608.842 Set: 1431.905 Check: 0.0 Back: 170.882 INFO - Atoms: 168570/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 7094873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.116 Prop: 9008.568 PropClause: 8828.667 Set: 1462.602 Check: 0.0 Back: 175.206 INFO - Atoms: 168307/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 7262553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.142 Prop: 9230.675 PropClause: 9046.598 Set: 1492.09 Check: 0.0 Back: 179.516 INFO - Atoms: 167680/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 7429970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.161 Prop: 9435.366 PropClause: 9247.172 Set: 1521.112 Check: 0.0 Back: 183.819 INFO - Atoms: 167417/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 7597130 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.18 Prop: 9636.713 PropClause: 9444.376 Set: 1550.93 Check: 0.0 Back: 188.087 INFO - Atoms: 167160/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 7764031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.227 Prop: 9842.016 PropClause: 9645.591 Set: 1580.707 Check: 0.0 Back: 192.403 INFO - Atoms: 166901/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 7930673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.289 Prop: 10045.598 PropClause: 9845.079 Set: 1610.027 Check: 0.0 Back: 196.627 INFO - Atoms: 166642/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 8097054 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.305 Prop: 10246.632 PropClause: 10042.021 Set: 1638.417 Check: 0.0 Back: 200.925 INFO - Atoms: 166381/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 8263180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.323 Prop: 10450.521 PropClause: 10241.855 Set: 1667.011 Check: 0.0 Back: 205.195 INFO - Atoms: 166126/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 8429045 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.341 Prop: 10664.526 PropClause: 10451.759 Set: 1696.804 Check: 0.0 Back: 209.421 INFO - Atoms: 165865/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 8594651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.357 Prop: 10876.509 PropClause: 10659.678 Set: 1725.85 Check: 0.0 Back: 213.64 INFO - Atoms: 165606/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 8759998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.374 Prop: 11087.751 PropClause: 10866.851 Set: 1785.246 Check: 0.0 Back: 217.892 INFO - Atoms: 165347/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 8925086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.392 Prop: 11301.235 PropClause: 11076.272 Set: 1815.3 Check: 0.0 Back: 222.121 INFO - Atoms: 165088/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 9089913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.41 Prop: 11515.266 PropClause: 11286.258 Set: 1844.0 Check: 0.0 Back: 226.364 INFO - Atoms: 164827/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 9254483 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.43 Prop: 11723.334 PropClause: 11490.238 Set: 1873.13 Check: 0.0 Back: 230.621 INFO - Atoms: 164570/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 9418794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.447 Prop: 11934.591 PropClause: 11697.455 Set: 1902.146 Check: 0.0 Back: 234.851 INFO - Atoms: 164311/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 9582848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.469 Prop: 12139.742 PropClause: 11898.532 Set: 1957.103 Check: 0.0 Back: 239.067 INFO - Atoms: 164054/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 9746639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.489 Prop: 12347.749 PropClause: 12102.483 Set: 1986.584 Check: 0.0 Back: 243.262 INFO - Atoms: 163791/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 9910175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.506 Prop: 12551.334 PropClause: 12302.029 Set: 2015.533 Check: 0.0 Back: 247.462 INFO - Atoms: 163536/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 10073450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.527 Prop: 12760.289 PropClause: 12506.948 Set: 2044.636 Check: 0.0 Back: 251.644 INFO - Atoms: 163275/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 10236468 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.549 Prop: 12959.2 PropClause: 12701.84 Set: 2072.998 Check: 0.0 Back: 255.912 INFO - Atoms: 163018/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 10399225 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.57 Prop: 13160.482 PropClause: 12899.091 Set: 2142.923 Check: 0.0 Back: 260.103 INFO - Atoms: 162757/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 10561725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.591 Prop: 13353.903 PropClause: 13088.488 Set: 2171.384 Check: 0.0 Back: 264.164 INFO - Atoms: 162500/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 10723964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.612 Prop: 13560.193 PropClause: 13290.789 Set: 2199.566 Check: 0.0 Back: 268.368 INFO - Atoms: 162239/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 10885944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.633 Prop: 13756.047 PropClause: 13482.677 Set: 2227.937 Check: 0.0 Back: 272.604 INFO - Atoms: 161980/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 11047665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.654 Prop: 13955.669 PropClause: 13678.294 Set: 2256.809 Check: 0.0 Back: 276.773 INFO - Atoms: 161721/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 11209126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.671 Prop: 14149.818 PropClause: 13868.471 Set: 2285.114 Check: 0.0 Back: 280.93 INFO - Atoms: 161461/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 11370327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.689 Prop: 14364.596 PropClause: 14079.211 Set: 2313.547 Check: 0.0 Back: 285.117 INFO - Atoms: 161201/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 11531270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.707 Prop: 14571.456 PropClause: 14282.065 Set: 2342.759 Check: 0.0 Back: 289.256 INFO - Atoms: 160943/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 11691955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.725 Prop: 14775.043 PropClause: 14481.664 Set: 2400.268 Check: 0.0 Back: 293.4 INFO - Atoms: 160685/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 11852381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.739 Prop: 14972.49 PropClause: 14675.161 Set: 2428.897 Check: 0.0 Back: 297.466 INFO - Atoms: 160426/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 12012548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.757 Prop: 15176.043 PropClause: 14874.763 Set: 2457.279 Check: 0.0 Back: 301.57 INFO - Atoms: 160167/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 12172455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.778 Prop: 15379.354 PropClause: 15074.134 Set: 2484.971 Check: 0.0 Back: 305.681 INFO - Atoms: 159907/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 12332102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.796 Prop: 15582.59 PropClause: 15273.415 Set: 2513.366 Check: 0.0 Back: 309.829 INFO - Atoms: 159647/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 12491491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.814 Prop: 15785.426 PropClause: 15472.318 Set: 2541.079 Check: 0.0 Back: 313.919 INFO - Atoms: 159389/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 12650620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.833 Prop: 15987.519 PropClause: 15670.464 Set: 2568.764 Check: 0.0 Back: 317.953 INFO - Atoms: 159129/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 12809494 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.85 Prop: 16187.497 PropClause: 15866.505 Set: 2596.422 Check: 0.0 Back: 321.999 INFO - Atoms: 158874/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 12968105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.867 Prop: 16389.94 PropClause: 16065.037 Set: 2624.109 Check: 0.0 Back: 326.037 INFO - Atoms: 158611/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 13126459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.883 Prop: 16577.29 PropClause: 16248.468 Set: 2652.291 Check: 0.0 Back: 330.079 INFO - Atoms: 158354/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 13284552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.898 Prop: 16769.375 PropClause: 16436.677 Set: 2680.051 Check: 0.0 Back: 334.147 INFO - Atoms: 158093/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 13442388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.917 Prop: 16957.571 PropClause: 16620.986 Set: 2730.985 Check: 0.0 Back: 338.198 INFO - Atoms: 157836/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 13599965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.933 Prop: 17146.104 PropClause: 16805.642 Set: 2758.644 Check: 0.0 Back: 342.207 INFO - Atoms: 157577/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 13757282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.951 Prop: 17335.425 PropClause: 16991.11 Set: 2785.467 Check: 0.0 Back: 346.171 INFO - Atoms: 157317/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 13914341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.967 Prop: 17531.354 PropClause: 17183.17 Set: 2813.571 Check: 0.0 Back: 350.203 INFO - Atoms: 157059/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 14071140 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.011 Prop: 17716.614 PropClause: 17364.614 Set: 2841.093 Check: 0.0 Back: 354.215 INFO - Atoms: 156799/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 14227681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.063 Prop: 17903.952 PropClause: 17548.116 Set: 2868.626 Check: 0.0 Back: 358.25 INFO - Atoms: 156541/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 14383962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.076 Prop: 18097.201 PropClause: 17737.525 Set: 2895.743 Check: 0.0 Back: 362.255 INFO - Atoms: 156281/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 14539983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.087 Prop: 18296.342 PropClause: 17932.775 Set: 2923.833 Check: 0.0 Back: 366.291 INFO - Atoms: 156021/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 14695747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.099 Prop: 18484.899 PropClause: 18117.481 Set: 2951.298 Check: 0.0 Back: 370.276 INFO - Atoms: 155764/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 14851252 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.112 Prop: 18684.731 PropClause: 18313.483 Set: 2979.223 Check: 0.0 Back: 374.241 INFO - Atoms: 155505/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 15006498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.126 Prop: 18882.583 PropClause: 18507.528 Set: 3006.272 Check: 0.0 Back: 378.185 INFO - Atoms: 155246/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 15161485 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.135 Prop: 19079.226 PropClause: 18700.359 Set: 3034.316 Check: 0.0 Back: 382.152 INFO - Atoms: 154987/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 15316212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.147 Prop: 19271.616 PropClause: 18888.924 Set: 3061.018 Check: 0.0 Back: 386.1 INFO - Atoms: 154727/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 15470681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.159 Prop: 19469.269 PropClause: 19082.753 Set: 3088.89 Check: 0.0 Back: 390.055 INFO - Atoms: 154469/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 15624890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.17 Prop: 19662.253 PropClause: 19271.958 Set: 3115.986 Check: 0.0 Back: 393.958 INFO - Atoms: 154209/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 15778839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.183 Prop: 19856.724 PropClause: 19462.614 Set: 3143.025 Check: 0.0 Back: 397.885 INFO - Atoms: 153949/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 15932531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.195 Prop: 20050.733 PropClause: 19652.798 Set: 3170.685 Check: 0.0 Back: 401.829 INFO - Atoms: 153692/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 16085964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.207 Prop: 20242.322 PropClause: 19840.579 Set: 3197.99 Check: 0.0 Back: 405.791 INFO - Atoms: 153433/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 16239138 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.221 Prop: 20422.855 PropClause: 20017.319 Set: 3224.396 Check: 0.0 Back: 409.698 INFO - Atoms: 153174/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 16392053 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.233 Prop: 20603.319 PropClause: 20194.004 Set: 3251.216 Check: 0.0 Back: 413.655 INFO - Atoms: 152915/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 16544709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.244 Prop: 20784.644 PropClause: 20371.524 Set: 3278.186 Check: 0.0 Back: 417.519 INFO - Atoms: 152656/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 16697106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.256 Prop: 20971.729 PropClause: 20554.839 Set: 3304.515 Check: 0.0 Back: 421.44 INFO - Atoms: 152397/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 16849246 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.269 Prop: 21155.525 PropClause: 20734.876 Set: 3331.438 Check: 0.0 Back: 425.312 INFO - Atoms: 152140/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 17001123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.282 Prop: 21348.417 PropClause: 20924.024 Set: 3357.747 Check: 0.0 Back: 429.18 INFO - Atoms: 151877/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 17152742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.295 Prop: 21532.262 PropClause: 21104.143 Set: 3383.804 Check: 0.0 Back: 433.031 INFO - Atoms: 151619/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 17304103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.307 Prop: 21722.981 PropClause: 21291.136 Set: 3410.15 Check: 0.0 Back: 436.868 INFO - Atoms: 151361/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 17455207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.32 Prop: 21913.595 PropClause: 21478.025 Set: 3436.527 Check: 0.0 Back: 440.728 INFO - Atoms: 151104/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 17606050 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.332 Prop: 22091.251 PropClause: 21651.953 Set: 3462.654 Check: 0.0 Back: 444.643 INFO - Atoms: 150843/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 17756636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.344 Prop: 22276.684 PropClause: 21833.636 Set: 3489.558 Check: 0.0 Back: 448.475 INFO - Atoms: 150586/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 17906959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.357 Prop: 22465.345 PropClause: 22018.609 Set: 3515.718 Check: 0.0 Back: 452.318 INFO - Atoms: 150323/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 18057025 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.37 Prop: 22645.063 PropClause: 22194.597 Set: 3567.038 Check: 0.0 Back: 456.16 INFO - Atoms: 150066/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 18206830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.381 Prop: 22822.886 PropClause: 22368.723 Set: 3593.437 Check: 0.0 Back: 459.958 INFO - Atoms: 149805/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 18356378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.393 Prop: 23001.298 PropClause: 22543.443 Set: 3620.137 Check: 0.0 Back: 463.765 INFO - Atoms: 149548/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 18505665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.406 Prop: 23182.603 PropClause: 22721.065 Set: 3692.842 Check: 0.0 Back: 467.583 INFO - Atoms: 149287/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 18654695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.416 Prop: 23364.692 PropClause: 22899.482 Set: 3718.591 Check: 0.0 Back: 471.216 INFO - Atoms: 149030/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 18803466 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.427 Prop: 23547.243 PropClause: 23078.371 Set: 3744.301 Check: 0.0 Back: 475.003 INFO - Atoms: 148771/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 18951977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.438 Prop: 23728.804 PropClause: 23256.268 Set: 3770.719 Check: 0.0 Back: 478.735 INFO - Atoms: 148511/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 19100230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.452 Prop: 23908.339 PropClause: 23432.167 Set: 3795.922 Check: 0.0 Back: 482.489 INFO - Atoms: 148253/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 19248226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.466 Prop: 24082.89 PropClause: 23603.046 Set: 3822.183 Check: 0.0 Back: 486.222 INFO - Atoms: 147996/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 19395961 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.477 Prop: 24257.661 PropClause: 23774.165 Set: 3848.1 Check: 0.0 Back: 489.995 INFO - Atoms: 147735/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 19543439 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.489 Prop: 24430.334 PropClause: 23943.229 Set: 3873.639 Check: 0.0 Back: 493.707 INFO - Atoms: 147478/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 19690656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.499 Prop: 24599.695 PropClause: 24108.957 Set: 3899.096 Check: 0.0 Back: 497.459 INFO - Atoms: 147217/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 19837613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.513 Prop: 24778.988 PropClause: 24284.638 Set: 3924.912 Check: 0.0 Back: 501.22 INFO - Atoms: 146957/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 19984310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.525 Prop: 24957.457 PropClause: 24459.53 Set: 3951.06 Check: 0.0 Back: 505.018 INFO - Atoms: 146697/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 20130752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.536 Prop: 25129.786 PropClause: 24628.27 Set: 3976.088 Check: 0.0 Back: 508.743 INFO - Atoms: 146442/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 20276933 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.547 Prop: 25312.051 PropClause: 24806.938 Set: 4002.07 Check: 0.0 Back: 512.462 INFO - Atoms: 146181/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 20422857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.559 Prop: 25488.897 PropClause: 24980.174 Set: 4027.327 Check: 0.0 Back: 516.142 INFO - Atoms: 145924/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 20568520 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.571 Prop: 25667.179 PropClause: 25154.858 Set: 4053.297 Check: 0.0 Back: 519.832 INFO - Atoms: 145663/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 20713926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.584 Prop: 25839.98 PropClause: 25324.06 Set: 4078.974 Check: 0.0 Back: 523.53 INFO - Atoms: 145406/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 20859071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.596 Prop: 26014.719 PropClause: 25495.196 Set: 4104.616 Check: 0.0 Back: 527.239 INFO - Atoms: 145145/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 21003959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.609 Prop: 26186.734 PropClause: 25663.626 Set: 4130.153 Check: 0.0 Back: 530.916 INFO - Atoms: 144888/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 21148586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.633 Prop: 26362.819 PropClause: 25836.15 Set: 4155.319 Check: 0.0 Back: 534.61 INFO - Atoms: 144627/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 21292953 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.644 Prop: 26534.672 PropClause: 26004.453 Set: 4180.756 Check: 0.0 Back: 538.278 INFO - Atoms: 144367/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 21437062 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.656 Prop: 26713.272 PropClause: 26179.47 Set: 4258.228 Check: 0.0 Back: 541.927 INFO - Atoms: 144109/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 21580912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.67 Prop: 26884.772 PropClause: 26347.422 Set: 4283.738 Check: 0.0 Back: 545.538 INFO - Atoms: 143850/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 21724503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.682 Prop: 27054.989 PropClause: 26514.103 Set: 4308.865 Check: 0.0 Back: 549.21 INFO - Atoms: 143591/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 21867837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.694 Prop: 27218.858 PropClause: 26674.424 Set: 4333.461 Check: 0.0 Back: 552.855 INFO - Atoms: 143334/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 22010908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.707 Prop: 27385.766 PropClause: 26837.786 Set: 4357.864 Check: 0.0 Back: 556.504 INFO - Atoms: 143071/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 22153722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.721 Prop: 27549.942 PropClause: 26998.431 Set: 4382.286 Check: 0.0 Back: 560.094 INFO - Atoms: 142814/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 22296275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.732 Prop: 27714.488 PropClause: 27159.475 Set: 4407.188 Check: 0.0 Back: 563.743 INFO - Atoms: 142553/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 22438570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.744 Prop: 27885.033 PropClause: 27326.512 Set: 4461.032 Check: 0.0 Back: 567.346 INFO - Atoms: 142295/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 22580607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.755 Prop: 28051.496 PropClause: 27489.49 Set: 4485.208 Check: 0.0 Back: 570.905 INFO - Atoms: 142037/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 22722385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.765 Prop: 28211.978 PropClause: 27646.486 Set: 4509.22 Check: 0.0 Back: 574.491 INFO - Atoms: 141778/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 22863904 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.777 Prop: 28381.877 PropClause: 27812.908 Set: 4533.397 Check: 0.0 Back: 578.108 INFO - Atoms: 141519/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 23005166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.789 Prop: 28546.028 PropClause: 27973.587 Set: 4558.199 Check: 0.0 Back: 581.644 INFO - Atoms: 141262/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 23146167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.798 Prop: 28710.467 PropClause: 28134.547 Set: 4582.938 Check: 0.0 Back: 585.221 INFO - Atoms: 141001/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 23286909 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.809 Prop: 28878.504 PropClause: 28299.15 Set: 4607.048 Check: 0.0 Back: 588.77 INFO - Atoms: 140742/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 23427392 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.821 Prop: 29043.941 PropClause: 28461.131 Set: 4631.632 Check: 0.0 Back: 592.322 INFO - Atoms: 140483/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 23567618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.833 Prop: 29206.515 PropClause: 28620.236 Set: 4655.689 Check: 0.0 Back: 595.866 INFO - Atoms: 140226/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 23707583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.845 Prop: 29373.549 PropClause: 28783.815 Set: 4679.83 Check: 0.0 Back: 599.397 INFO - Atoms: 139965/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 23847291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.855 Prop: 29541.46 PropClause: 28948.298 Set: 4704.691 Check: 0.0 Back: 602.94 INFO - Atoms: 139708/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 23986736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.867 Prop: 29710.309 PropClause: 29113.736 Set: 4728.757 Check: 0.0 Back: 606.503 INFO - Atoms: 139445/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 24125923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.877 Prop: 29877.64 PropClause: 29277.657 Set: 4752.593 Check: 0.0 Back: 610.031 INFO - Atoms: 139187/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 24264852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.888 Prop: 30043.726 PropClause: 29440.316 Set: 4776.896 Check: 0.0 Back: 613.541 INFO - Atoms: 138929/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 24403521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.901 Prop: 30204.661 PropClause: 29597.828 Set: 4801.07 Check: 0.0 Back: 617.069 INFO - Atoms: 138669/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 24541932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.913 Prop: 30369.77 PropClause: 29759.536 Set: 4824.599 Check: 0.0 Back: 620.623 INFO - Atoms: 138411/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 24680084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.925 Prop: 30527.056 PropClause: 29913.404 Set: 4848.168 Check: 0.0 Back: 624.074 INFO - Atoms: 138152/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 24817977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.935 Prop: 30691.381 PropClause: 30074.348 Set: 4871.811 Check: 0.0 Back: 627.549 INFO - Atoms: 137893/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 24955610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.945 Prop: 30854.833 PropClause: 30234.432 Set: 4895.284 Check: 0.0 Back: 631.026 INFO - Atoms: 137633/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 25092985 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.956 Prop: 31018.35 PropClause: 30394.538 Set: 4918.815 Check: 0.0 Back: 634.487 INFO - Atoms: 137375/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 25230103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.966 Prop: 31174.443 PropClause: 30547.254 Set: 4942.634 Check: 0.0 Back: 637.973 INFO - Atoms: 137118/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 25366960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.977 Prop: 31332.464 PropClause: 30701.909 Set: 4965.819 Check: 0.0 Back: 641.465 INFO - Atoms: 136857/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 25503558 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.987 Prop: 31483.3 PropClause: 30849.363 Set: 4989.065 Check: 0.0 Back: 644.932 INFO - Atoms: 136598/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 25639897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.0 Prop: 31640.647 PropClause: 31003.358 Set: 5012.099 Check: 0.0 Back: 648.382 INFO - Atoms: 136339/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 25775979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.011 Prop: 31791.327 PropClause: 31150.657 Set: 5035.751 Check: 0.0 Back: 651.787 INFO - Atoms: 136082/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 25911800 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.021 Prop: 31946.095 PropClause: 31302.116 Set: 5058.71 Check: 0.0 Back: 655.266 INFO - Atoms: 135821/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 26047364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.035 Prop: 32101.36 PropClause: 31454.045 Set: 5123.482 Check: 0.0 Back: 658.687 INFO - Atoms: 135564/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 26182665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.047 Prop: 32259.776 PropClause: 31609.113 Set: 5146.927 Check: 0.0 Back: 661.972 INFO - Atoms: 135301/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 26317709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.059 Prop: 32412.132 PropClause: 31758.158 Set: 5170.466 Check: 0.0 Back: 665.356 INFO - Atoms: 135044/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 26452494 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.07 Prop: 32570.544 PropClause: 31913.264 Set: 5194.036 Check: 0.0 Back: 668.768 INFO - Atoms: 134785/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 26587022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.084 Prop: 32726.771 PropClause: 32066.159 Set: 5248.835 Check: 0.0 Back: 672.121 INFO - Atoms: 134528/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 26721289 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.095 Prop: 32888.427 PropClause: 32224.502 Set: 5272.295 Check: 0.0 Back: 675.455 INFO - Atoms: 134267/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 26855297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.107 Prop: 33042.714 PropClause: 32375.501 Set: 5295.632 Check: 0.0 Back: 678.803 INFO - Atoms: 134008/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 26989046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.118 Prop: 33199.132 PropClause: 32528.628 Set: 5319.075 Check: 0.0 Back: 682.187 INFO - Atoms: 133749/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 27122538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.132 Prop: 33355.513 PropClause: 32681.712 Set: 5374.739 Check: 0.0 Back: 685.547 INFO - Atoms: 133492/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 27255769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.143 Prop: 33510.36 PropClause: 32833.232 Set: 5397.491 Check: 0.0 Back: 688.827 INFO - Atoms: 133231/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 27388743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.154 Prop: 33663.908 PropClause: 32983.522 Set: 5420.674 Check: 0.0 Back: 692.204 INFO - Atoms: 132974/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 27521456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.166 Prop: 33820.893 PropClause: 33137.231 Set: 5443.427 Check: 0.0 Back: 695.543 INFO - Atoms: 132713/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 27653912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.179 Prop: 33974.473 PropClause: 33287.528 Set: 5511.994 Check: 0.0 Back: 698.867 INFO - Atoms: 132456/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 27786105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.194 Prop: 34137.546 PropClause: 33447.354 Set: 5534.869 Check: 0.0 Back: 702.109 INFO - Atoms: 132193/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 27918040 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.205 Prop: 34282.729 PropClause: 33589.284 Set: 5557.663 Check: 0.0 Back: 705.453 INFO - Atoms: 131935/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 28049717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.216 Prop: 34433.597 PropClause: 33736.88 Set: 5580.473 Check: 0.0 Back: 708.787 INFO - Atoms: 131677/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 28181137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.229 Prop: 34587.613 PropClause: 33887.646 Set: 5603.002 Check: 0.0 Back: 712.113 INFO - Atoms: 131420/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 28312296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.24 Prop: 34736.446 PropClause: 34033.239 Set: 5625.584 Check: 0.0 Back: 715.487 INFO - Atoms: 131159/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 28443195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.249 Prop: 34875.937 PropClause: 34169.483 Set: 5647.853 Check: 0.0 Back: 718.777 INFO - Atoms: 130899/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 28573834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.26 Prop: 35020.554 PropClause: 34310.892 Set: 5669.993 Check: 0.0 Back: 722.089 INFO - Atoms: 130639/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 28704216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.273 Prop: 35162.311 PropClause: 34449.413 Set: 5692.234 Check: 0.0 Back: 725.379 INFO - Atoms: 130382/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 28834339 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.285 Prop: 35308.848 PropClause: 34592.725 Set: 5714.208 Check: 0.0 Back: 728.671 INFO - Atoms: 130123/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 28964205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.298 Prop: 35450.387 PropClause: 34731.066 Set: 5736.874 Check: 0.0 Back: 731.926 INFO - Atoms: 129866/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 29093808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.311 Prop: 35593.17 PropClause: 34870.672 Set: 5758.596 Check: 0.0 Back: 735.175 INFO - Atoms: 129603/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 29223154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.324 Prop: 35741.658 PropClause: 35015.953 Set: 5781.233 Check: 0.0 Back: 738.399 INFO - Atoms: 129346/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 29352241 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.337 Prop: 35892.76 PropClause: 35163.855 Set: 5803.524 Check: 0.0 Back: 741.646 INFO - Atoms: 129087/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 29481071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.35 Prop: 36038.139 PropClause: 35306.053 Set: 5825.959 Check: 0.0 Back: 744.883 INFO - Atoms: 128830/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 29609638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.367 Prop: 36184.067 PropClause: 35448.806 Set: 5847.994 Check: 0.0 Back: 748.137 INFO - Atoms: 128567/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 29737948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.408 Prop: 36330.096 PropClause: 35591.657 Set: 5869.773 Check: 0.0 Back: 751.383 INFO - Atoms: 128310/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 29865999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.417 Prop: 36477.044 PropClause: 35735.454 Set: 5921.108 Check: 0.0 Back: 754.608 INFO - Atoms: 128051/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 29993790 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.426 Prop: 36615.745 PropClause: 35871.006 Set: 5942.754 Check: 0.0 Back: 757.774 INFO - Atoms: 127791/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 30121323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.435 Prop: 36758.863 PropClause: 36010.925 Set: 5965.073 Check: 0.0 Back: 760.983 INFO - Atoms: 127533/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 30248596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.443 Prop: 36901.017 PropClause: 36149.94 Set: 5986.681 Check: 0.0 Back: 764.185 INFO - Atoms: 127273/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 30375611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.45 Prop: 37037.833 PropClause: 36283.618 Set: 6008.757 Check: 0.0 Back: 767.391 INFO - Atoms: 127015/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 30502369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.488 Prop: 37176.587 PropClause: 36419.234 Set: 6030.473 Check: 0.0 Back: 770.594 INFO - Atoms: 126758/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 30628866 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.519 Prop: 37317.901 PropClause: 36557.429 Set: 6051.842 Check: 0.0 Back: 773.773 INFO - Atoms: 126497/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 30755104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.527 Prop: 37455.662 PropClause: 36692.071 Set: 6073.872 Check: 0.0 Back: 776.926 INFO - Atoms: 126238/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 30881083 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.534 Prop: 37591.97 PropClause: 36825.293 Set: 6095.64 Check: 0.0 Back: 780.128 INFO - Atoms: 125979/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 31006802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.542 Prop: 37726.451 PropClause: 36956.685 Set: 6135.23 Check: 0.0 Back: 783.28 INFO - Atoms: 125719/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 31132263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.551 Prop: 37859.699 PropClause: 37086.833 Set: 6156.866 Check: 0.0 Back: 786.459 INFO - Atoms: 125461/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 31257467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.558 Prop: 37991.936 PropClause: 37215.981 Set: 6178.511 Check: 0.0 Back: 789.616 INFO - Atoms: 125204/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 31382408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.566 Prop: 38123.731 PropClause: 37344.706 Set: 6199.915 Check: 0.0 Back: 792.777 INFO - Atoms: 124941/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 31507094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.574 Prop: 38250.996 PropClause: 37468.898 Set: 6221.205 Check: 0.0 Back: 795.9 INFO - Atoms: 124686/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 31631519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.582 Prop: 38377.435 PropClause: 37592.283 Set: 6242.143 Check: 0.0 Back: 799.045 INFO - Atoms: 124425/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 31755684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.59 Prop: 38503.49 PropClause: 37715.296 Set: 6263.108 Check: 0.0 Back: 802.265 INFO - Atoms: 124165/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 31879589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.598 Prop: 38636.901 PropClause: 37845.656 Set: 6283.919 Check: 0.0 Back: 805.394 INFO - Atoms: 123905/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 32003236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.604 Prop: 38758.041 PropClause: 37963.766 Set: 6304.262 Check: 0.0 Back: 808.541 INFO - Atoms: 123647/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 32126625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.611 Prop: 38888.688 PropClause: 38091.366 Set: 6359.227 Check: 0.0 Back: 811.683 INFO - Atoms: 123389/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 32249755 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.619 Prop: 39019.078 PropClause: 38218.734 Set: 6379.905 Check: 0.0 Back: 814.685 INFO - Atoms: 123130/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 32372624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.627 Prop: 39154.775 PropClause: 38351.412 Set: 6400.638 Check: 0.0 Back: 817.78 INFO - Atoms: 122869/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 32495235 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.635 Prop: 39286.003 PropClause: 38479.638 Set: 6421.621 Check: 0.0 Back: 820.816 INFO - Atoms: 122611/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 32617588 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.643 Prop: 39421.63 PropClause: 38612.261 Set: 6442.819 Check: 0.0 Back: 823.893 INFO - Atoms: 122353/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 32739681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.651 Prop: 39558.039 PropClause: 38745.655 Set: 6464.165 Check: 0.0 Back: 826.976 INFO - Atoms: 122093/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 32861514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.658 Prop: 39694.998 PropClause: 38879.616 Set: 6485.138 Check: 0.0 Back: 830.028 INFO - Atoms: 121833/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 32983090 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.667 Prop: 39829.141 PropClause: 39010.762 Set: 6505.596 Check: 0.0 Back: 833.074 INFO - Atoms: 121576/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 33104407 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.675 Prop: 39963.288 PropClause: 39141.892 Set: 6526.469 Check: 0.0 Back: 836.166 INFO - Atoms: 121317/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 33225467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.682 Prop: 40089.125 PropClause: 39264.763 Set: 6546.748 Check: 0.0 Back: 839.189 INFO - Atoms: 121060/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 33346266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.69 Prop: 40220.93 PropClause: 39393.579 Set: 6567.768 Check: 0.0 Back: 842.227 INFO - Atoms: 120799/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 33466805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.699 Prop: 40354.561 PropClause: 39524.216 Set: 6588.34 Check: 0.0 Back: 845.243 INFO - Atoms: 120539/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 33587086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.708 Prop: 40486.101 PropClause: 39652.793 Set: 6608.937 Check: 0.0 Back: 848.269 INFO - Atoms: 120281/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 33707107 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.715 Prop: 40618.186 PropClause: 39781.891 Set: 6629.772 Check: 0.0 Back: 851.277 INFO - Atoms: 120021/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 33826870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.723 Prop: 40752.463 PropClause: 39913.201 Set: 6650.645 Check: 0.0 Back: 854.344 INFO - Atoms: 119763/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 33946373 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.732 Prop: 40884.111 PropClause: 40041.877 Set: 6671.046 Check: 0.0 Back: 857.347 INFO - Atoms: 119503/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 34065618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.74 Prop: 41014.159 PropClause: 40168.972 Set: 6691.704 Check: 0.0 Back: 860.361 INFO - Atoms: 119245/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 34184606 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.748 Prop: 41136.943 PropClause: 40288.799 Set: 6711.616 Check: 0.0 Back: 863.345 INFO - Atoms: 118988/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 34303333 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.755 Prop: 41261.691 PropClause: 40410.625 Set: 6731.526 Check: 0.0 Back: 866.356 INFO - Atoms: 118727/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 34421800 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.763 Prop: 41385.362 PropClause: 40531.401 Set: 6751.016 Check: 0.0 Back: 869.306 INFO - Atoms: 118467/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 34540007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.77 Prop: 41509.087 PropClause: 40652.187 Set: 6771.305 Check: 0.0 Back: 872.282 INFO - Atoms: 118207/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 34657959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.779 Prop: 41631.165 PropClause: 40771.37 Set: 6790.92 Check: 0.0 Back: 875.262 INFO - Atoms: 117952/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 34775650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.787 Prop: 41757.953 PropClause: 40895.258 Set: 6811.223 Check: 0.0 Back: 878.181 INFO - Atoms: 117691/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 34893081 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.795 Prop: 41882.393 PropClause: 41016.795 Set: 6831.048 Check: 0.0 Back: 881.137 INFO - Atoms: 117431/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 35010252 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.801 Prop: 42004.993 PropClause: 41136.534 Set: 6850.939 Check: 0.0 Back: 884.086 INFO - Atoms: 117171/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 35127166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.809 Prop: 42122.892 PropClause: 41251.564 Set: 6870.458 Check: 0.0 Back: 886.966 INFO - Atoms: 116914/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 35243821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.816 Prop: 42247.886 PropClause: 41373.674 Set: 6890.062 Check: 0.0 Back: 889.876 INFO - Atoms: 116655/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 35360219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.824 Prop: 42369.719 PropClause: 41492.636 Set: 6909.727 Check: 0.0 Back: 892.779 INFO - Atoms: 116398/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 35476356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.832 Prop: 42494.171 PropClause: 41614.216 Set: 6929.816 Check: 0.0 Back: 895.676 INFO - Atoms: 116137/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 35592236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.839 Prop: 42616.172 PropClause: 41733.365 Set: 6949.756 Check: 0.0 Back: 898.573 INFO - Atoms: 115880/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 35707855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.847 Prop: 42734.88 PropClause: 41849.214 Set: 6969.589 Check: 0.0 Back: 901.463 INFO - Atoms: 115619/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 35823214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.863 Prop: 42856.57 PropClause: 41968.073 Set: 6989.295 Check: 0.0 Back: 904.33 INFO - Atoms: 115359/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 35938315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.871 Prop: 42976.541 PropClause: 42085.193 Set: 7008.769 Check: 0.0 Back: 907.192 INFO - Atoms: 115101/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 36053157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.878 Prop: 43096.542 PropClause: 42202.374 Set: 7028.391 Check: 0.0 Back: 910.039 INFO - Atoms: 114842/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 36167740 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.884 Prop: 43213.594 PropClause: 42316.615 Set: 7047.956 Check: 0.0 Back: 912.922 INFO - Atoms: 114583/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 36282064 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.892 Prop: 43333.822 PropClause: 42434.041 Set: 7067.148 Check: 0.0 Back: 915.753 INFO - Atoms: 114324/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 36396129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.9 Prop: 43456.661 PropClause: 42554.06 Set: 7086.692 Check: 0.0 Back: 918.621 INFO - Atoms: 114065/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 36509937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.907 Prop: 43570.111 PropClause: 42664.72 Set: 7105.652 Check: 0.0 Back: 921.378 INFO - Atoms: 113808/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 36623484 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.913 Prop: 43690.401 PropClause: 42782.223 Set: 7124.634 Check: 0.0 Back: 924.234 INFO - Atoms: 113547/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 36736774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.92 Prop: 43807.344 PropClause: 42896.38 Set: 7143.717 Check: 0.0 Back: 927.067 INFO - Atoms: 113290/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 36849803 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.929 Prop: 43925.512 PropClause: 43011.738 Set: 7192.828 Check: 0.0 Back: 929.894 INFO - Atoms: 113029/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 36962575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.936 Prop: 44039.836 PropClause: 43123.289 Set: 7212.099 Check: 0.0 Back: 932.678 INFO - Atoms: 112772/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 37075084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.942 Prop: 44156.268 PropClause: 43236.941 Set: 7230.73 Check: 0.0 Back: 935.474 INFO - Atoms: 112509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 37187336 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.949 Prop: 44267.751 PropClause: 43345.636 Set: 7249.328 Check: 0.0 Back: 938.273 INFO - Atoms: 112252/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 37299329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.956 Prop: 44380.61 PropClause: 43455.73 Set: 7267.892 Check: 0.0 Back: 941.097 INFO - Atoms: 111993/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 37411065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.964 Prop: 44492.842 PropClause: 43565.227 Set: 7286.311 Check: 0.0 Back: 943.874 INFO - Atoms: 111736/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 37522540 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.972 Prop: 44602.504 PropClause: 43672.15 Set: 7304.773 Check: 0.0 Back: 946.62 INFO - Atoms: 111475/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 37633755 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.98 Prop: 44714.763 PropClause: 43781.657 Set: 7323.384 Check: 0.0 Back: 949.38 INFO - Atoms: 111215/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 37744710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.988 Prop: 44833.89 PropClause: 43898.04 Set: 7342.211 Check: 0.0 Back: 952.134 INFO - Atoms: 110955/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 37855407 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.996 Prop: 44945.642 PropClause: 44007.078 Set: 7360.773 Check: 0.0 Back: 954.895 INFO - Atoms: 110697/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 37965844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.004 Prop: 45058.074 PropClause: 44116.785 Set: 7379.182 Check: 0.0 Back: 957.602 INFO - Atoms: 110437/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 38076026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.012 Prop: 45166.19 PropClause: 44222.17 Set: 7424.737 Check: 0.0 Back: 960.338 INFO - Atoms: 110182/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 38185945 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.02 Prop: 45281.475 PropClause: 44334.776 Set: 7443.5 Check: 0.0 Back: 963.057 INFO - Atoms: 109919/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 38295609 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.029 Prop: 45400.561 PropClause: 44451.169 Set: 7462.461 Check: 0.0 Back: 965.77 INFO - Atoms: 109664/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 38405010 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.038 Prop: 45512.045 PropClause: 44559.956 Set: 7481.319 Check: 0.0 Back: 968.469 INFO - Atoms: 109401/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 38514154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.046 Prop: 45623.07 PropClause: 44668.299 Set: 7500.039 Check: 0.0 Back: 971.172 INFO - Atoms: 109144/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 38623039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.055 Prop: 45731.237 PropClause: 44773.787 Set: 7518.514 Check: 0.0 Back: 973.859 INFO - Atoms: 108885/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 38731665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.063 Prop: 45842.205 PropClause: 44882.082 Set: 7537.215 Check: 0.0 Back: 976.539 INFO - Atoms: 108626/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 38840032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.07 Prop: 45954.007 PropClause: 44991.228 Set: 7555.314 Check: 0.0 Back: 979.242 INFO - Atoms: 108367/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 38948142 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.077 Prop: 46058.632 PropClause: 45093.216 Set: 7573.38 Check: 0.0 Back: 981.907 INFO - Atoms: 108110/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 39055989 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.085 Prop: 46171.965 PropClause: 45203.9 Set: 7592.034 Check: 0.0 Back: 984.575 INFO - Atoms: 107847/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 39163579 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.093 Prop: 46285.185 PropClause: 45314.439 Set: 7610.718 Check: 0.0 Back: 987.316 INFO - Atoms: 107590/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 39270910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.101 Prop: 46399.355 PropClause: 45425.983 Set: 7628.636 Check: 0.0 Back: 989.98 INFO - Atoms: 107331/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 39377984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.108 Prop: 46506.315 PropClause: 45530.321 Set: 7646.939 Check: 0.0 Back: 992.661 INFO - Atoms: 107074/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 39484797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.116 Prop: 46615.371 PropClause: 45636.738 Set: 7664.91 Check: 0.0 Back: 995.3 INFO - Atoms: 106813/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 39591351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.123 Prop: 46718.32 PropClause: 45737.065 Set: 7682.989 Check: 0.0 Back: 997.977 INFO - Atoms: 106554/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 39697644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.129 Prop: 46829.163 PropClause: 45845.303 Set: 7701.208 Check: 0.0 Back: 1000.608 INFO - Atoms: 106293/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 39803679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.136 Prop: 46937.039 PropClause: 45950.565 Set: 7719.377 Check: 0.0 Back: 1003.253 INFO - Atoms: 106035/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 39909454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.144 Prop: 47039.58 PropClause: 46050.512 Set: 7737.376 Check: 0.0 Back: 1005.909 INFO - Atoms: 105775/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 40014972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.151 Prop: 47145.283 PropClause: 46153.622 Set: 7754.924 Check: 0.0 Back: 1008.532 INFO - Atoms: 105518/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 40120229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.158 Prop: 47247.12 PropClause: 46252.879 Set: 7772.812 Check: 0.0 Back: 1011.118 INFO - Atoms: 105257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 40225229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.164 Prop: 47351.304 PropClause: 46354.467 Set: 7790.376 Check: 0.0 Back: 1013.714 INFO - Atoms: 105000/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 40329970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.172 Prop: 47457.443 PropClause: 46458.038 Set: 7808.199 Check: 0.0 Back: 1016.327 INFO - Atoms: 104741/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 40434454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.178 Prop: 47554.129 PropClause: 46552.16 Set: 7825.479 Check: 0.0 Back: 1018.901 INFO - Atoms: 104484/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 40538677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.184 Prop: 47655.391 PropClause: 46650.873 Set: 7843.047 Check: 0.0 Back: 1021.456 INFO - Atoms: 104223/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 40642643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.192 Prop: 47753.197 PropClause: 46746.123 Set: 7860.974 Check: 0.0 Back: 1024.019 INFO - Atoms: 103966/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 40746348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.2 Prop: 47852.383 PropClause: 46842.767 Set: 7878.512 Check: 0.0 Back: 1026.585 INFO - Atoms: 103705/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 40849796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.208 Prop: 47949.84 PropClause: 46937.696 Set: 7895.93 Check: 0.0 Back: 1029.135 INFO - Atoms: 103448/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 40952983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.216 Prop: 48050.389 PropClause: 47035.686 Set: 7913.1 Check: 0.0 Back: 1031.666 INFO - Atoms: 103187/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 41055910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.224 Prop: 48150.006 PropClause: 47132.757 Set: 7930.638 Check: 0.0 Back: 1034.245 INFO - Atoms: 102927/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 41158577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.232 Prop: 48250.69 PropClause: 47230.899 Set: 7948.078 Check: 0.0 Back: 1036.787 INFO - Atoms: 102667/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 41260987 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.24 Prop: 48351.665 PropClause: 47329.333 Set: 7965.656 Check: 0.0 Back: 1039.312 INFO - Atoms: 102410/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 41361865 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.247 Prop: 48459.76 PropClause: 47434.922 Set: 7982.737 Check: 0.0 Back: 1041.861 INFO - Atoms: 100878/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 41462486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.255 Prop: 48568.628 PropClause: 47541.308 Set: 7999.877 Check: 0.0 Back: 1044.422 INFO - Atoms: 100621/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 41562846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.264 Prop: 48676.89 PropClause: 47647.076 Set: 8017.227 Check: 0.0 Back: 1046.92 INFO - Atoms: 100360/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 41662947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.271 Prop: 48775.019 PropClause: 47742.73 Set: 8034.31 Check: 0.0 Back: 1049.389 INFO - Atoms: 100101/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 41762787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.279 Prop: 48880.028 PropClause: 47845.277 Set: 8051.318 Check: 0.0 Back: 1051.868 INFO - Atoms: 99840/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 41862370 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.288 Prop: 48983.541 PropClause: 47946.328 Set: 8093.564 Check: 0.0 Back: 1054.34 INFO - Atoms: 99583/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 41961694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.295 Prop: 49083.385 PropClause: 48043.705 Set: 8110.505 Check: 0.0 Back: 1056.788 INFO - Atoms: 99324/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 42060759 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.304 Prop: 49185.609 PropClause: 48143.447 Set: 8127.333 Check: 0.0 Back: 1059.248 INFO - Atoms: 99065/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 42159565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.311 Prop: 49289.116 PropClause: 48244.496 Set: 8144.39 Check: 0.0 Back: 1061.711 INFO - Atoms: 98806/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 42258114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.319 Prop: 49386.135 PropClause: 48339.085 Set: 8161.162 Check: 0.0 Back: 1064.138 INFO - Atoms: 98549/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 42356400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.327 Prop: 49485.541 PropClause: 48436.046 Set: 8178.024 Check: 0.0 Back: 1066.543 INFO - Atoms: 98286/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 42454431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.334 Prop: 49583.903 PropClause: 48531.973 Set: 8194.846 Check: 0.0 Back: 1068.983 INFO - Atoms: 98031/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 42552199 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.344 Prop: 49681.559 PropClause: 48627.206 Set: 8211.689 Check: 0.0 Back: 1071.375 INFO - Atoms: 97768/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 42649710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.352 Prop: 49776.748 PropClause: 48719.936 Set: 8228.381 Check: 0.0 Back: 1073.846 INFO - Atoms: 97511/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 42746962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.36 Prop: 49874.743 PropClause: 48815.521 Set: 8244.996 Check: 0.0 Back: 1076.272 INFO - Atoms: 97252/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 42843957 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.366 Prop: 49968.004 PropClause: 48906.367 Set: 8261.36 Check: 0.0 Back: 1078.677 INFO - Atoms: 96995/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 42940689 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.375 Prop: 50059.011 PropClause: 48994.97 Set: 8277.441 Check: 0.0 Back: 1081.063 INFO - Atoms: 96732/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 43037166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.382 Prop: 50155.029 PropClause: 49088.583 Set: 8293.672 Check: 0.0 Back: 1083.43 INFO - Atoms: 96477/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 43133382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.389 Prop: 50248.49 PropClause: 49179.639 Set: 8310.117 Check: 0.0 Back: 1085.791 INFO - Atoms: 96216/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 43229341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.397 Prop: 50335.285 PropClause: 49264.076 Set: 8326.07 Check: 0.0 Back: 1088.192 INFO - Atoms: 95959/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 43325039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.406 Prop: 50426.1 PropClause: 49352.551 Set: 8342.077 Check: 0.0 Back: 1090.525 INFO - Atoms: 95698/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 43420477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.414 Prop: 50529.914 PropClause: 49453.785 Set: 8360.84 Check: 0.0 Back: 1092.868 INFO - Atoms: 95438/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 43515657 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.422 Prop: 50631.343 PropClause: 49552.835 Set: 8377.278 Check: 0.0 Back: 1095.234 INFO - Atoms: 95180/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 43610580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.431 Prop: 50734.31 PropClause: 49653.355 Set: 8394.405 Check: 0.0 Back: 1097.593 INFO - Atoms: 94923/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 43705240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.439 Prop: 50830.108 PropClause: 49746.802 Set: 8410.415 Check: 0.0 Back: 1099.967 INFO - Atoms: 94660/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 43799643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.447 Prop: 50930.51 PropClause: 49844.802 Set: 8427.351 Check: 0.0 Back: 1102.326 INFO - Atoms: 94403/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 43893785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.455 Prop: 51028.228 PropClause: 49940.17 Set: 8443.306 Check: 0.0 Back: 1104.691 INFO - Atoms: 94142/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 43987669 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.464 Prop: 51123.841 PropClause: 50033.444 Set: 8459.162 Check: 0.0 Back: 1107.032 INFO - Atoms: 93884/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 44081295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.472 Prop: 51220.229 PropClause: 50127.479 Set: 8475.596 Check: 0.0 Back: 1109.354 INFO - Atoms: 93626/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 44174664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.48 Prop: 51318.716 PropClause: 50223.639 Set: 8491.341 Check: 0.0 Back: 1111.681 INFO - Atoms: 93369/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 44267772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.488 Prop: 51411.344 PropClause: 50313.946 Set: 8507.271 Check: 0.0 Back: 1113.976 INFO - Atoms: 93108/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 44360623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.496 Prop: 51504.193 PropClause: 50404.482 Set: 8522.773 Check: 0.0 Back: 1116.283 INFO - Atoms: 92851/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 44453213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.504 Prop: 51599.119 PropClause: 50497.111 Set: 8538.69 Check: 0.0 Back: 1118.596 INFO - Atoms: 92590/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 44545546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.512 Prop: 51685.429 PropClause: 50581.121 Set: 8554.355 Check: 0.0 Back: 1120.878 INFO - Atoms: 92333/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 44637616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.521 Prop: 51778.362 PropClause: 50671.758 Set: 8570.323 Check: 0.0 Back: 1123.122 INFO - Atoms: 92070/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 44729428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.531 Prop: 51876.455 PropClause: 50767.482 Set: 8586.658 Check: 0.0 Back: 1125.427 INFO - Atoms: 91812/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 44820982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.54 Prop: 51970.438 PropClause: 50859.138 Set: 8602.734 Check: 0.0 Back: 1127.757 INFO - Atoms: 91554/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 44912277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.55 Prop: 52057.51 PropClause: 50943.921 Set: 8618.108 Check: 0.0 Back: 1130.047 INFO - Atoms: 91295/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 45003311 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.558 Prop: 52146.815 PropClause: 51030.955 Set: 8633.849 Check: 0.0 Back: 1132.287 INFO - Atoms: 91034/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 45094088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.567 Prop: 52238.709 PropClause: 51120.542 Set: 8649.651 Check: 0.0 Back: 1134.558 INFO - Atoms: 90777/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 45184604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.575 Prop: 52328.457 PropClause: 51208.022 Set: 8665.109 Check: 0.0 Back: 1137.199 INFO - Atoms: 90516/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 45274862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.583 Prop: 52420.767 PropClause: 51298.027 Set: 8681.005 Check: 0.0 Back: 1139.46 INFO - Atoms: 90258/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 45364862 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.591 Prop: 52511.839 PropClause: 51386.852 Set: 8696.191 Check: 0.0 Back: 1141.719 INFO - Atoms: 90000/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 45454605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.599 Prop: 52604.759 PropClause: 51477.25 Set: 8713.474 Check: 0.0 Back: 1143.943 INFO - Atoms: 89743/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 45544085 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.607 Prop: 52691.679 PropClause: 51561.951 Set: 8728.446 Check: 0.0 Back: 1146.216 INFO - Atoms: 89480/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 45633307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.616 Prop: 52782.044 PropClause: 51650.077 Set: 8743.49 Check: 0.0 Back: 1148.399 INFO - Atoms: 89222/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 45722271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.624 Prop: 52874.336 PropClause: 51740.11 Set: 8772.212 Check: 0.0 Back: 1150.606 INFO - Atoms: 88964/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 45810976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.632 Prop: 52960.024 PropClause: 51823.584 Set: 8853.463 Check: 0.0 Back: 1152.849 INFO - Atoms: 88705/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 45899422 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.64 Prop: 53044.408 PropClause: 51905.765 Set: 8868.242 Check: 0.0 Back: 1154.996 INFO - Atoms: 88446/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 45987611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.648 Prop: 53132.152 PropClause: 51991.299 Set: 8883.424 Check: 0.0 Back: 1157.253 INFO - Atoms: 88189/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 46075539 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.659 Prop: 53230.615 PropClause: 52087.423 Set: 8899.568 Check: 0.0 Back: 1159.439 INFO - Atoms: 87928/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 46163210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.668 Prop: 53316.865 PropClause: 52171.442 Set: 8914.919 Check: 0.0 Back: 1161.622 INFO - Atoms: 87671/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 46250618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.675 Prop: 53406.663 PropClause: 52259.076 Set: 8929.689 Check: 0.0 Back: 1163.804 INFO - Atoms: 87408/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 46337769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.683 Prop: 53486.862 PropClause: 52337.107 Set: 8944.284 Check: 0.0 Back: 1165.934 INFO - Atoms: 87151/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 46424661 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.69 Prop: 53567.696 PropClause: 52415.783 Set: 8958.973 Check: 0.0 Back: 1168.074 INFO - Atoms: 86892/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 46511294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.698 Prop: 53661.732 PropClause: 52503.645 Set: 9016.864 Check: 0.0 Back: 1170.185 INFO - Atoms: 86633/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 46597668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.706 Prop: 53739.484 PropClause: 52579.256 Set: 9031.035 Check: 0.0 Back: 1172.312 INFO - Atoms: 86374/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 46683785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.713 Prop: 53817.77 PropClause: 52655.404 Set: 9045.504 Check: 0.0 Back: 1174.411 INFO - Atoms: 86117/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 46769641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.721 Prop: 53893.992 PropClause: 52729.5 Set: 9059.857 Check: 0.0 Back: 1176.497 INFO - Atoms: 85856/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 46855240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.729 Prop: 53974.479 PropClause: 52807.849 Set: 9074.411 Check: 0.0 Back: 1178.593 INFO - Atoms: 85599/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 46940578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.737 Prop: 54055.089 PropClause: 52886.329 Set: 9088.58 Check: 0.0 Back: 1180.659 INFO - Atoms: 85338/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 47025657 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.745 Prop: 54134.788 PropClause: 52963.891 Set: 9103.09 Check: 0.0 Back: 1182.749 INFO - Atoms: 85079/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 47110475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.754 Prop: 54213.273 PropClause: 53040.27 Set: 9117.097 Check: 0.0 Back: 1184.863 INFO - Atoms: 84818/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 47195036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.772 Prop: 54294.77 PropClause: 53119.66 Set: 9176.604 Check: 0.0 Back: 1186.922 INFO - Atoms: 84561/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 47279338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.78 Prop: 54372.668 PropClause: 53195.457 Set: 9190.579 Check: 0.0 Back: 1188.985 INFO - Atoms: 84302/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 47363383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.789 Prop: 54447.675 PropClause: 53268.363 Set: 9204.75 Check: 0.0 Back: 1191.074 INFO - Atoms: 84045/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 47447167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.797 Prop: 54520.874 PropClause: 53339.484 Set: 9218.368 Check: 0.0 Back: 1193.122 INFO - Atoms: 83784/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 47530691 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.805 Prop: 54589.888 PropClause: 53406.418 Set: 9231.978 Check: 0.0 Back: 1195.161 INFO - Atoms: 83524/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 47613955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.814 Prop: 54662.447 PropClause: 53476.899 Set: 9245.557 Check: 0.0 Back: 1197.183 INFO - Atoms: 83264/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 47696964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.822 Prop: 54729.873 PropClause: 53542.263 Set: 9259.057 Check: 0.0 Back: 1199.197 INFO - Atoms: 83009/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 47779712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.828 Prop: 54802.326 PropClause: 53612.656 Set: 9272.731 Check: 0.0 Back: 1201.215 INFO - Atoms: 82748/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 47862203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.836 Prop: 54871.382 PropClause: 53679.674 Set: 9286.364 Check: 0.0 Back: 1203.22 INFO - Atoms: 82491/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 47944433 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.845 Prop: 54937.837 PropClause: 53744.073 Set: 9299.995 Check: 0.0 Back: 1205.195 INFO - Atoms: 82230/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 48025131 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.853 Prop: 55001.744 PropClause: 53805.986 Set: 9312.849 Check: 0.0 Back: 1207.219 INFO - Atoms: 80698/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 48105568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.859 Prop: 55064.827 PropClause: 53867.076 Set: 9325.642 Check: 0.0 Back: 1209.179 INFO - Atoms: 80437/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 48185748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.865 Prop: 55128.816 PropClause: 53929.078 Set: 9338.619 Check: 0.0 Back: 1211.13 INFO - Atoms: 80180/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 48265667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.873 Prop: 55193.551 PropClause: 53991.828 Set: 9351.437 Check: 0.0 Back: 1213.091 INFO - Atoms: 79919/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 48345329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.88 Prop: 55258.546 PropClause: 54054.853 Set: 9364.179 Check: 0.0 Back: 1215.039 INFO - Atoms: 79662/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 48424732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.888 Prop: 55321.4 PropClause: 54115.74 Set: 9377.013 Check: 0.0 Back: 1216.951 INFO - Atoms: 79403/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 48503876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.896 Prop: 55383.573 PropClause: 54175.929 Set: 9389.67 Check: 0.0 Back: 1218.859 INFO - Atoms: 79144/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 48582761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.904 Prop: 55446.195 PropClause: 54236.565 Set: 9427.938 Check: 0.0 Back: 1220.781 INFO - Atoms: 78885/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 48661389 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.915 Prop: 55507.522 PropClause: 54295.937 Set: 9440.611 Check: 0.0 Back: 1222.673 INFO - Atoms: 78628/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 48739756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.924 Prop: 55570.538 PropClause: 54356.996 Set: 9453.573 Check: 0.0 Back: 1224.571 INFO - Atoms: 78367/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 48817866 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.933 Prop: 55633.142 PropClause: 54417.635 Set: 9466.03 Check: 0.0 Back: 1226.471 INFO - Atoms: 78110/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 48895715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.941 Prop: 55694.784 PropClause: 54477.33 Set: 9478.693 Check: 0.0 Back: 1228.359 INFO - Atoms: 77849/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 48973307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.948 Prop: 55756.716 PropClause: 54537.329 Set: 9491.346 Check: 0.0 Back: 1230.226 INFO - Atoms: 77592/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 49050638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.956 Prop: 55817.878 PropClause: 54596.565 Set: 9503.833 Check: 0.0 Back: 1232.098 INFO - Atoms: 77331/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 49127712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.965 Prop: 55875.861 PropClause: 54652.577 Set: 9515.964 Check: 0.0 Back: 1233.972 INFO - Atoms: 77074/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 49204525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.972 Prop: 55946.854 PropClause: 54721.288 Set: 9531.901 Check: 0.0 Back: 1235.806 INFO - Atoms: 76813/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 49281081 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.981 Prop: 56011.702 PropClause: 54784.029 Set: 9587.579 Check: 0.0 Back: 1238.047 INFO - Atoms: 76556/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 49357376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.989 Prop: 56073.413 PropClause: 54843.849 Set: 9599.837 Check: 0.0 Back: 1239.877 INFO - Atoms: 76295/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 49433414 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.997 Prop: 56137.799 PropClause: 54906.228 Set: 9613.71 Check: 0.0 Back: 1241.711 INFO - Atoms: 76038/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 49509191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.005 Prop: 56195.45 PropClause: 54961.982 Set: 9625.944 Check: 0.0 Back: 1243.898 INFO - Atoms: 75777/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 49584711 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.012 Prop: 56255.228 PropClause: 55019.886 Set: 9638.287 Check: 0.0 Back: 1245.713 INFO - Atoms: 75520/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 49659970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.022 Prop: 56316.29 PropClause: 55079.084 Set: 9651.099 Check: 0.0 Back: 1247.53 INFO - Atoms: 75259/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 49734972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.031 Prop: 56373.889 PropClause: 55134.812 Set: 9663.076 Check: 0.0 Back: 1249.346 INFO - Atoms: 75002/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 49809713 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.04 Prop: 56431.663 PropClause: 55190.705 Set: 9675.17 Check: 0.0 Back: 1251.161 INFO - Atoms: 74741/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 49884197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.047 Prop: 56489.374 PropClause: 55246.551 Set: 9687.204 Check: 0.0 Back: 1252.982 INFO - Atoms: 74484/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 49958420 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.057 Prop: 56546.686 PropClause: 55302.024 Set: 9699.036 Check: 0.0 Back: 1254.889 INFO - Atoms: 74223/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 50032386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.065 Prop: 56604.458 PropClause: 55357.77 Set: 9713.129 Check: 0.0 Back: 1256.672 INFO - Atoms: 73966/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 50106091 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.074 Prop: 56657.42 PropClause: 55408.907 Set: 9724.777 Check: 0.0 Back: 1258.792 INFO - Atoms: 73705/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 50179539 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.081 Prop: 56712.562 PropClause: 55462.217 Set: 9736.529 Check: 0.0 Back: 1260.544 INFO - Atoms: 73448/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 50252726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.091 Prop: 56767.496 PropClause: 55515.29 Set: 9748.253 Check: 0.0 Back: 1262.322 INFO - Atoms: 73187/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 50325656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.101 Prop: 56820.855 PropClause: 55566.83 Set: 9759.922 Check: 0.0 Back: 1264.1 INFO - Atoms: 72930/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 50398323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.109 Prop: 56882.539 PropClause: 55626.439 Set: 9774.596 Check: 0.0 Back: 1265.843 INFO - Atoms: 72667/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 50470733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.118 Prop: 56933.017 PropClause: 55675.128 Set: 9786.087 Check: 0.0 Back: 1267.654 INFO - Atoms: 72410/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 50542884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.126 Prop: 56984.448 PropClause: 55724.75 Set: 9797.539 Check: 0.0 Back: 1269.402 INFO - Atoms: 72151/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 50614778 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.134 Prop: 57037.36 PropClause: 55775.847 Set: 9808.903 Check: 0.0 Back: 1271.128 INFO - Atoms: 71894/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 50686411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.143 Prop: 57090.326 PropClause: 55827.017 Set: 9820.343 Check: 0.0 Back: 1272.837 INFO - Atoms: 71633/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 50757785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.155 Prop: 57141.857 PropClause: 55876.732 Set: 9831.652 Check: 0.0 Back: 1274.585 INFO - Atoms: 71374/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 50828900 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.162 Prop: 57190.57 PropClause: 55923.666 Set: 9842.971 Check: 0.0 Back: 1276.3 INFO - Atoms: 71115/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 50899758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.172 Prop: 57240.212 PropClause: 55971.526 Set: 9854.263 Check: 0.0 Back: 1278.023 INFO - Atoms: 70858/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 50970355 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.18 Prop: 57290.193 PropClause: 56019.727 Set: 9865.455 Check: 0.0 Back: 1279.702 INFO - Atoms: 70597/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 51040695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.189 Prop: 57339.566 PropClause: 56067.357 Set: 9876.651 Check: 0.0 Back: 1281.432 INFO - Atoms: 70340/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 51110774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.197 Prop: 57387.19 PropClause: 56113.237 Set: 9887.713 Check: 0.0 Back: 1283.115 INFO - Atoms: 70079/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 51180596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.206 Prop: 57438.563 PropClause: 56162.881 Set: 9898.86 Check: 0.0 Back: 1284.811 INFO - Atoms: 69822/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 51250155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.215 Prop: 57484.634 PropClause: 56207.211 Set: 9909.871 Check: 0.0 Back: 1286.46 INFO - Atoms: 69559/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 51319457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.223 Prop: 57530.63 PropClause: 56251.443 Set: 9920.742 Check: 0.0 Back: 1288.106 INFO - Atoms: 69302/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 51388500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.232 Prop: 57577.217 PropClause: 56296.278 Set: 9931.521 Check: 0.0 Back: 1289.752 INFO - Atoms: 69043/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 51457284 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.242 Prop: 57621.844 PropClause: 56339.195 Set: 9942.215 Check: 0.0 Back: 1291.381 INFO - Atoms: 68784/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 51525807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.25 Prop: 57666.998 PropClause: 56382.64 Set: 9953.022 Check: 0.0 Back: 1293.005 INFO - Atoms: 68523/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 51594073 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.259 Prop: 57710.6 PropClause: 56424.53 Set: 9963.703 Check: 0.0 Back: 1294.633 INFO - Atoms: 68266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 51662078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.267 Prop: 57755.551 PropClause: 56467.784 Set: 9974.416 Check: 0.0 Back: 1296.27 INFO - Atoms: 68005/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 51729826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.276 Prop: 57798.367 PropClause: 56508.898 Set: 9984.959 Check: 0.0 Back: 1297.888 INFO - Atoms: 67748/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 51797315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.285 Prop: 57841.199 PropClause: 56550.053 Set: 9995.435 Check: 0.0 Back: 1299.505 INFO - Atoms: 67489/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 51864547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.294 Prop: 57886.148 PropClause: 56593.336 Set: 10005.974 Check: 0.0 Back: 1301.109 INFO - Atoms: 67232/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 51931518 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.301 Prop: 57930.024 PropClause: 56635.55 Set: 10016.45 Check: 0.0 Back: 1302.7 INFO - Atoms: 66971/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 51998230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.31 Prop: 57972.241 PropClause: 56676.1 Set: 10026.889 Check: 0.0 Back: 1304.358 INFO - Atoms: 66712/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 52064052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.318 Prop: 58014.457 PropClause: 56716.651 Set: 10037.102 Check: 0.0 Back: 1305.943 INFO - Atoms: 65822/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 52129617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.326 Prop: 58053.23 PropClause: 56753.791 Set: 10047.12 Check: 0.0 Back: 1307.534 INFO - Atoms: 65565/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 52194921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.333 Prop: 58099.572 PropClause: 56798.203 Set: 10060.218 Check: 0.0 Back: 1309.103 INFO - Atoms: 65304/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 52259968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.354 Prop: 58139.114 PropClause: 56836.13 Set: 10070.2 Check: 0.0 Back: 1310.743 INFO - Atoms: 65047/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 52324754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.362 Prop: 58177.448 PropClause: 56872.847 Set: 10080.16 Check: 0.0 Back: 1312.29 INFO - Atoms: 64786/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 52389283 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.37 Prop: 58214.395 PropClause: 56908.196 Set: 10089.963 Check: 0.0 Back: 1313.837 INFO - Atoms: 64529/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 52453551 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.378 Prop: 58251.025 PropClause: 56943.225 Set: 10099.676 Check: 0.0 Back: 1315.342 INFO - Atoms: 64268/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 52517562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.386 Prop: 58287.981 PropClause: 56978.58 Set: 10109.4 Check: 0.0 Back: 1316.841 INFO - Atoms: 64011/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 52581312 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.394 Prop: 58324.023 PropClause: 57013.04 Set: 10119.183 Check: 0.0 Back: 1318.348 INFO - Atoms: 63750/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 52644805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.402 Prop: 58360.731 PropClause: 57048.128 Set: 10129.191 Check: 0.0 Back: 1319.841 INFO - Atoms: 63493/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 52708037 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.41 Prop: 58397.065 PropClause: 57082.879 Set: 10138.859 Check: 0.0 Back: 1321.334 INFO - Atoms: 63232/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 52771012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.418 Prop: 58430.54 PropClause: 57114.773 Set: 10148.354 Check: 0.0 Back: 1322.821 INFO - Atoms: 62975/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 52833726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.426 Prop: 58465.368 PropClause: 57148.034 Set: 10157.866 Check: 0.0 Back: 1324.3 INFO - Atoms: 62714/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 52896183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.434 Prop: 58500.108 PropClause: 57181.196 Set: 10167.324 Check: 0.0 Back: 1325.761 INFO - Atoms: 62457/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 52958379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.441 Prop: 58534.882 PropClause: 57214.412 Set: 10176.805 Check: 0.0 Back: 1327.232 INFO - Atoms: 62196/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 53020318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.45 Prop: 58572.477 PropClause: 57250.219 Set: 10188.773 Check: 0.0 Back: 1328.67 INFO - Atoms: 61939/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 53081996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.458 Prop: 58606.621 PropClause: 57282.832 Set: 10198.137 Check: 0.0 Back: 1330.383 INFO - Atoms: 61678/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 53143417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.466 Prop: 58640.168 PropClause: 57314.838 Set: 10207.449 Check: 0.0 Back: 1331.833 INFO - Atoms: 61421/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 53204577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.474 Prop: 58674.212 PropClause: 57347.36 Set: 10216.783 Check: 0.0 Back: 1333.277 INFO - Atoms: 61160/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 53265480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.481 Prop: 58710.396 PropClause: 57381.772 Set: 10228.651 Check: 0.0 Back: 1334.69 INFO - Atoms: 60903/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 53326122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.49 Prop: 58742.537 PropClause: 57412.378 Set: 10237.766 Check: 0.0 Back: 1336.372 INFO - Atoms: 60642/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 53386507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.498 Prop: 58774.525 PropClause: 57442.856 Set: 10246.838 Check: 0.0 Back: 1337.836 INFO - Atoms: 60385/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 53446631 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.506 Prop: 58813.563 PropClause: 57480.389 Set: 10259.833 Check: 0.0 Back: 1339.256 INFO - Atoms: 60124/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 53506498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.516 Prop: 58845.216 PropClause: 57510.558 Set: 10268.859 Check: 0.0 Back: 1340.646 INFO - Atoms: 59867/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 53566104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.524 Prop: 58875.829 PropClause: 57539.658 Set: 10277.919 Check: 0.0 Back: 1342.054 INFO - Atoms: 59606/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 53625453 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.532 Prop: 58906.936 PropClause: 57569.278 Set: 10286.928 Check: 0.0 Back: 1343.465 INFO - Atoms: 59349/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 53684541 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.542 Prop: 58937.717 PropClause: 57598.593 Set: 10322.581 Check: 0.0 Back: 1344.869 INFO - Atoms: 59088/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 53743370 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.551 Prop: 58968.133 PropClause: 57627.504 Set: 10331.626 Check: 0.0 Back: 1346.256 INFO - Atoms: 58829/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 950 Props: 57369895 Tprops: 0 Decides: 886 RSplits: 0 INFO - Times: Expl: 3868.249 Prop: 62699.605 PropClause: 61265.699 Set: 10444.29 Check: 0.056 Back: 1430.618 INFO - Atoms: 57937/176382 Clauses: 1860 Axioms: 585410 INFO - Restart INFO - Confl: 1450 Props: 60120306 Tprops: 0 Decides: 7032 RSplits: 0 INFO - Times: Expl: 5173.69 Prop: 65111.037 PropClause: 63602.157 Set: 10512.789 Check: 0.222 Back: 1496.728 INFO - Atoms: 57951/176382 Clauses: 2360 Axioms: 585410 INFO - Restart INFO - Confl: 2450 Props: 68368453 Tprops: 0 Decides: 37890 RSplits: 0 INFO - Times: Expl: 9638.939 Prop: 73516.535 PropClause: 71761.389 Set: 10720.785 Check: 1.046 Back: 1702.638 INFO - Atoms: 57971/176382 Clauses: 3360 Axioms: 585410 INFO - Confl: 2850 Props: 70157566 Tprops: 0 Decides: 43158 RSplits: 0 INFO - Times: Expl: 10446.235 Prop: 75125.253 PropClause: 73321.077 Set: 10765.686 Check: 1.185 Back: 1750.136 INFO - Atoms: 58003/176382 Clauses: 3760 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 3350 Props: 73025046 Tprops: 0 Decides: 49891 RSplits: 0 INFO - Times: Expl: 13501.087 Prop: 78005.2 PropClause: 76121.715 Set: 10845.735 Check: 1.382 Back: 1819.683 INFO - Atoms: 57952/176382 Clauses: 1860 Axioms: 585410 INFO - Restart INFO - Confl: 3850 Props: 74181859 Tprops: 0 Decides: 53857 RSplits: 0 INFO - Times: Expl: 14129.24 Prop: 78728.881 PropClause: 76813.924 Set: 10874.097 Check: 1.481 Back: 1847.279 INFO - Atoms: 57952/176382 Clauses: 2360 Axioms: 585410 INFO - Confl: 4839 Props: 77469989 Tprops: 0 Decides: 62273 RSplits: 0 INFO - Times: Expl: 15422.869 Prop: 81244.235 PropClause: 79241.026 Set: 10955.252 Check: 1.705 Back: 1925.787 INFO - Atoms: 58935/176382 Clauses: 3349 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 5339 Props: 79961601 Tprops: 0 Decides: 67434 RSplits: 0 INFO - Times: Expl: 18565.373 Prop: 83473.093 PropClause: 81401.344 Set: 11023.745 Check: 1.858 Back: 1985.813 INFO - Atoms: 57951/176382 Clauses: 1860 Axioms: 585410 INFO - Restart INFO - Confl: 5839 Props: 82445199 Tprops: 0 Decides: 75898 RSplits: 0 INFO - Times: Expl: 20003.799 Prop: 85565.568 PropClause: 83425.477 Set: 11085.623 Check: 2.076 Back: 2046.078 INFO - Atoms: 57952/176382 Clauses: 2360 Axioms: 585410 INFO - Confl: 6578 Props: 84880422 Tprops: 0 Decides: 82154 RSplits: 0 INFO - Times: Expl: 20832.488 Prop: 87196.143 PropClause: 84989.846 Set: 11145.09 Check: 2.237 Back: 2104.845 INFO - Atoms: 58414/176382 Clauses: 3099 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 7078 Props: 87348908 Tprops: 0 Decides: 87293 RSplits: 0 INFO - Times: Expl: 24513.782 Prop: 89621.686 PropClause: 87348.282 Set: 11214.425 Check: 2.39 Back: 2164.697 INFO - Atoms: 57951/176382 Clauses: 1860 Axioms: 585410 INFO - Restart INFO - Confl: 7578 Props: 90456048 Tprops: 0 Decides: 97536 RSplits: 0 INFO - Times: Expl: 25850.834 Prop: 92570.263 PropClause: 90210.687 Set: 11293.628 Check: 2.671 Back: 2241.429 INFO - Atoms: 57953/176382 Clauses: 2360 Axioms: 585410 INFO - Confl: 8110 Props: 92270111 Tprops: 0 Decides: 101650 RSplits: 0 INFO - Times: Expl: 26611.131 Prop: 94066.907 PropClause: 91658.431 Set: 11339.327 Check: 2.784 Back: 2285.636 INFO - Atoms: 58588/176382 Clauses: 2892 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 8610 Props: 95115187 Tprops: 0 Decides: 109083 RSplits: 0 INFO - Times: Expl: 29894.502 Prop: 96844.407 PropClause: 94358.812 Set: 11418.72 Check: 2.985 Back: 2354.798 INFO - Atoms: 57954/176382 Clauses: 1860 Axioms: 585410 INFO - Restart INFO - Confl: 9110 Props: 96329255 Tprops: 0 Decides: 114112 RSplits: 0 INFO - Times: Expl: 30657.008 Prop: 97745.354 PropClause: 95226.593 Set: 11449.172 Check: 3.112 Back: 2383.889 INFO - Atoms: 57957/176382 Clauses: 2360 Axioms: 585410 INFO - Confl: 9624 Props: 98099461 Tprops: 0 Decides: 118680 RSplits: 0 INFO - Times: Expl: 31346.452 Prop: 99203.058 PropClause: 96636.718 Set: 11493.507 Check: 3.226 Back: 2426.961 INFO - Atoms: 59325/176382 Clauses: 2874 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 10124 Props: 101208344 Tprops: 0 Decides: 127155 RSplits: 0 INFO - Times: Expl: 33397.603 Prop: 102150.468 PropClause: 99499.662 Set: 11578.823 Check: 3.446 Back: 2502.943 INFO - Atoms: 57954/176382 Clauses: 1860 Axioms: 585410 INFO - Restart INFO - Confl: 10624 Props: 103113527 Tprops: 0 Decides: 132209 RSplits: 0 INFO - Times: Expl: 34372.596 Prop: 103740.728 PropClause: 101038.396 Set: 11626.184 Check: 3.583 Back: 2549.115 INFO - Atoms: 57955/176382 Clauses: 2360 Axioms: 585410 INFO - Confl: 11261 Props: 105691445 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35413.805 Prop: 105906.626 PropClause: 103135.337 Set: 11690.908 Check: 3.732 Back: 2611.592 INFO - Atoms: 59695/176382 Clauses: 2997 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11262 Props: 105778571 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35413.886 Prop: 106030.038 PropClause: 103256.583 Set: 11735.287 Check: 3.732 Back: 2613.013 INFO - Atoms: 87126/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11263 Props: 105866498 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35413.922 Prop: 106117.626 PropClause: 103341.985 Set: 11922.324 Check: 3.732 Back: 2615.102 INFO - Atoms: 87927/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11264 Props: 105954152 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35413.927 Prop: 106204.89 PropClause: 103427.077 Set: 11937.287 Check: 3.732 Back: 2617.19 INFO - Atoms: 87654/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11265 Props: 106041047 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35413.932 Prop: 106291.881 PropClause: 103511.901 Set: 11952.125 Check: 3.732 Back: 2619.286 INFO - Atoms: 86895/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11266 Props: 106133630 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.08 Prop: 106383.079 PropClause: 103600.803 Set: 11968.014 Check: 3.732 Back: 2621.372 INFO - Atoms: 92583/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11267 Props: 106219260 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.118 Prop: 106476.165 PropClause: 103691.745 Set: 11983.198 Check: 3.732 Back: 2623.61 INFO - Atoms: 85630/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11268 Props: 106305140 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.131 Prop: 106555.517 PropClause: 103768.955 Set: 11997.684 Check: 3.732 Back: 2625.66 INFO - Atoms: 85880/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11269 Props: 106391278 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.142 Prop: 106633.197 PropClause: 103844.483 Set: 12012.394 Check: 3.732 Back: 2627.726 INFO - Atoms: 86138/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11270 Props: 106477681 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.151 Prop: 106715.537 PropClause: 103924.67 Set: 12026.798 Check: 3.732 Back: 2629.786 INFO - Atoms: 86403/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11271 Props: 106564337 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.163 Prop: 106797.391 PropClause: 104004.354 Set: 12041.64 Check: 3.732 Back: 2631.862 INFO - Atoms: 86656/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11272 Props: 106651252 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.173 Prop: 106882.912 PropClause: 104087.708 Set: 12056.534 Check: 3.732 Back: 2633.953 INFO - Atoms: 86915/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11273 Props: 106738440 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.187 Prop: 106964.667 PropClause: 104167.289 Set: 12071.247 Check: 3.732 Back: 2636.041 INFO - Atoms: 87188/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11274 Props: 106826126 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.198 Prop: 107051.456 PropClause: 104251.895 Set: 12086.025 Check: 3.732 Back: 2638.137 INFO - Atoms: 87686/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11275 Props: 106913819 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.209 Prop: 107139.492 PropClause: 104337.715 Set: 12100.816 Check: 3.732 Back: 2640.256 INFO - Atoms: 87693/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11276 Props: 107001770 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.22 Prop: 107229.827 PropClause: 104425.852 Set: 12115.785 Check: 3.732 Back: 2642.38 INFO - Atoms: 87951/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11277 Props: 107089981 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.232 Prop: 107320.646 PropClause: 104514.433 Set: 12131.41 Check: 3.732 Back: 2644.513 INFO - Atoms: 88211/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11278 Props: 107178450 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.244 Prop: 107410.099 PropClause: 104601.679 Set: 12146.478 Check: 3.732 Back: 2646.636 INFO - Atoms: 88469/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11279 Props: 107267198 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.254 Prop: 107496.705 PropClause: 104686.059 Set: 12161.611 Check: 3.732 Back: 2648.764 INFO - Atoms: 88748/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11280 Props: 107356438 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.265 Prop: 107579.047 PropClause: 104766.162 Set: 12176.607 Check: 3.732 Back: 2650.911 INFO - Atoms: 89240/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11281 Props: 107445685 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.277 Prop: 107667.401 PropClause: 104852.273 Set: 12192.088 Check: 3.732 Back: 2653.048 INFO - Atoms: 89247/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11282 Props: 107535191 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.288 Prop: 107756.924 PropClause: 104939.569 Set: 12207.288 Check: 3.732 Back: 2655.185 INFO - Atoms: 89506/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11283 Props: 107625207 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.299 Prop: 107845.147 PropClause: 105025.533 Set: 12222.604 Check: 3.732 Back: 2657.33 INFO - Atoms: 90016/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11284 Props: 107715231 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.381 Prop: 107932.018 PropClause: 105110.162 Set: 12237.618 Check: 3.732 Back: 2659.519 INFO - Atoms: 90024/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11285 Props: 107805513 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.42 Prop: 108020.867 PropClause: 105196.755 Set: 12252.844 Check: 3.732 Back: 2661.672 INFO - Atoms: 90282/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11286 Props: 107896055 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.425 Prop: 108112.2 PropClause: 105285.832 Set: 12268.263 Check: 3.732 Back: 2663.842 INFO - Atoms: 90542/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11287 Props: 107986885 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.43 Prop: 108204.011 PropClause: 105375.367 Set: 12283.854 Check: 3.732 Back: 2666.023 INFO - Atoms: 90830/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11288 Props: 108077944 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.435 Prop: 108296.71 PropClause: 105465.799 Set: 12299.42 Check: 3.732 Back: 2668.208 INFO - Atoms: 91059/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11289 Props: 108169262 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.441 Prop: 108390.884 PropClause: 105557.697 Set: 12314.95 Check: 3.732 Back: 2670.383 INFO - Atoms: 91318/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11290 Props: 108273293 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.446 Prop: 108501.275 PropClause: 105665.491 Set: 12332.889 Check: 3.732 Back: 2672.582 INFO - Atoms: 104031/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11291 Props: 108383254 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.518 Prop: 108630.814 PropClause: 105792.306 Set: 12352.299 Check: 3.732 Back: 2675.129 INFO - Atoms: 109961/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11292 Props: 108493474 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.666 Prop: 108758.843 PropClause: 105917.587 Set: 12371.244 Check: 3.732 Back: 2677.84 INFO - Atoms: 110220/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11293 Props: 108603953 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.676 Prop: 108886.964 PropClause: 106042.954 Set: 12390.288 Check: 3.732 Back: 2680.544 INFO - Atoms: 110479/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11294 Props: 108714691 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.688 Prop: 109013.025 PropClause: 106166.219 Set: 12409.776 Check: 3.732 Back: 2683.257 INFO - Atoms: 110738/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11295 Props: 108825941 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.699 Prop: 109142.139 PropClause: 106292.539 Set: 12429.299 Check: 3.732 Back: 2686.005 INFO - Atoms: 111250/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11296 Props: 108937198 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.71 Prop: 109270.484 PropClause: 106418.057 Set: 12448.54 Check: 3.732 Back: 2688.766 INFO - Atoms: 111257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11297 Props: 109048966 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.723 Prop: 109395.265 PropClause: 106540.054 Set: 12468.335 Check: 3.732 Back: 2691.517 INFO - Atoms: 111768/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11298 Props: 109160742 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.735 Prop: 109528.352 PropClause: 106670.336 Set: 12488.191 Check: 3.732 Back: 2694.269 INFO - Atoms: 111776/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11299 Props: 109273028 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.745 Prop: 109654.021 PropClause: 106793.192 Set: 12507.915 Check: 3.732 Back: 2697.028 INFO - Atoms: 112286/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11300 Props: 109385321 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.755 Prop: 109780.169 PropClause: 106916.531 Set: 12527.503 Check: 3.732 Back: 2699.801 INFO - Atoms: 112293/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11301 Props: 109510046 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.768 Prop: 109928.564 PropClause: 107061.815 Set: 12549.45 Check: 3.732 Back: 2702.562 INFO - Atoms: 124725/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11302 Props: 109635065 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.779 Prop: 110085.461 PropClause: 107215.585 Set: 12571.379 Check: 3.732 Back: 2705.667 INFO - Atoms: 125019/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 15436 Tprops: 2202 Decides: 134437 RSplits: 0 INFO - Times: Expl: 748.151 Prop: 257239.393 PropClause: 17.91 Set: 33338.364 Check: 820.328 Back: 234.181 INFO - Atoms: 32/1923 Clauses: 500 Axioms: 1923 INFO - CCTimes: iE 1478320 eq 71591622 cc 423032397 setRep 226850662 INFO - Merges: 1257656, cc:3134979 INFO - BVTimes: BB 1085777761 BB_DPLL 240365405504 Graph 3010395 INFO - BitBlastingClauses: 1261330 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 11303 Props: 109760057 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.791 Prop: 110243.24 PropClause: 107370.27 Set: 12593.992 Check: 3.732 Back: 2708.74 INFO - Atoms: 124992/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11304 Props: 109885559 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.802 Prop: 110396.639 PropClause: 107520.523 Set: 12616.463 Check: 3.732 Back: 2711.863 INFO - Atoms: 125502/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11305 Props: 110011068 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.813 Prop: 110551.185 PropClause: 107671.913 Set: 12638.569 Check: 3.732 Back: 2714.98 INFO - Atoms: 125509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11306 Props: 110137088 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.823 Prop: 110709.144 PropClause: 107826.717 Set: 12661.251 Check: 3.732 Back: 2718.105 INFO - Atoms: 126020/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11307 Props: 110263116 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.835 Prop: 110868.42 PropClause: 107982.823 Set: 12684.264 Check: 3.732 Back: 2721.258 INFO - Atoms: 126028/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11308 Props: 110389403 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.849 Prop: 111029.22 PropClause: 108140.438 Set: 12798.63 Check: 3.732 Back: 2724.412 INFO - Atoms: 126287/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11309 Props: 110515958 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.863 Prop: 111186.482 PropClause: 108294.53 Set: 12821.063 Check: 3.732 Back: 2727.562 INFO - Atoms: 126555/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11310 Props: 110642762 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.875 Prop: 111354.978 PropClause: 108459.849 Set: 12843.473 Check: 3.732 Back: 2730.719 INFO - Atoms: 126804/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11311 Props: 110770077 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.885 Prop: 111512.996 PropClause: 108614.671 Set: 12866.442 Check: 3.732 Back: 2733.859 INFO - Atoms: 127315/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11312 Props: 110897399 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.896 Prop: 111674.083 PropClause: 108772.563 Set: 12889.027 Check: 3.732 Back: 2737.068 INFO - Atoms: 127322/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11313 Props: 111024984 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.906 Prop: 111832.502 PropClause: 108927.76 Set: 12912.523 Check: 3.732 Back: 2740.201 INFO - Atoms: 127585/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11314 Props: 111152825 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.917 Prop: 111988.629 PropClause: 109080.68 Set: 12935.243 Check: 3.732 Back: 2743.438 INFO - Atoms: 127841/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11315 Props: 111280930 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.927 Prop: 112149.918 PropClause: 109238.747 Set: 12958.075 Check: 3.732 Back: 2746.615 INFO - Atoms: 128105/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11316 Props: 111409289 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.94 Prop: 112311.654 PropClause: 109397.252 Set: 12981.167 Check: 3.732 Back: 2749.806 INFO - Atoms: 128359/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11317 Props: 111537914 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.953 Prop: 112470.227 PropClause: 109552.61 Set: 13003.728 Check: 3.732 Back: 2753.028 INFO - Atoms: 128625/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11318 Props: 111666791 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.966 Prop: 112632.8 PropClause: 109711.971 Set: 13026.846 Check: 3.732 Back: 2756.245 INFO - Atoms: 128877/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11319 Props: 111796180 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35414.977 Prop: 112795.285 PropClause: 109871.216 Set: 13050.164 Check: 3.732 Back: 2759.454 INFO - Atoms: 129389/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11320 Props: 111942390 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.052 Prop: 112985.512 PropClause: 110057.798 Set: 13076.68 Check: 3.732 Back: 2762.667 INFO - Atoms: 146210/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11321 Props: 112088602 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.086 Prop: 113176.578 PropClause: 110245.229 Set: 13102.647 Check: 3.732 Back: 2766.3 INFO - Atoms: 146212/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11322 Props: 112235081 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.09 Prop: 113370.253 PropClause: 110435.224 Set: 13129.278 Check: 3.732 Back: 2769.937 INFO - Atoms: 146479/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11323 Props: 112381812 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.095 Prop: 113559.897 PropClause: 110621.183 Set: 13155.749 Check: 3.732 Back: 2773.602 INFO - Atoms: 146731/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11324 Props: 112528813 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.1 Prop: 113750.157 PropClause: 110807.798 Set: 13181.863 Check: 3.732 Back: 2777.308 INFO - Atoms: 147001/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11325 Props: 112676062 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.105 Prop: 113940.72 PropClause: 110994.669 Set: 13207.742 Check: 3.732 Back: 2780.965 INFO - Atoms: 147249/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11326 Props: 112823569 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.109 Prop: 114142.017 PropClause: 111192.292 Set: 13234.237 Check: 3.732 Back: 2784.648 INFO - Atoms: 147507/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11327 Props: 112971335 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.114 Prop: 114343.445 PropClause: 111390.014 Set: 13261.075 Check: 3.732 Back: 2788.322 INFO - Atoms: 147766/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11328 Props: 113119360 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.119 Prop: 114528.861 PropClause: 111571.749 Set: 13287.372 Check: 3.732 Back: 2792.011 INFO - Atoms: 148025/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11329 Props: 113267664 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.123 Prop: 114717.597 PropClause: 111756.781 Set: 13313.914 Check: 3.732 Back: 2795.703 INFO - Atoms: 148304/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11330 Props: 113416207 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.127 Prop: 114906.555 PropClause: 111942.018 Set: 13340.536 Check: 3.732 Back: 2799.391 INFO - Atoms: 148543/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11331 Props: 113565010 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.131 Prop: 115097.581 PropClause: 112129.274 Set: 13367.355 Check: 3.732 Back: 2803.094 INFO - Atoms: 148803/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11332 Props: 113714324 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.136 Prop: 115287.715 PropClause: 112315.681 Set: 13500.559 Check: 3.732 Back: 2806.811 INFO - Atoms: 149314/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11333 Props: 113863646 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.141 Prop: 115471.812 PropClause: 112496.037 Set: 13535.377 Check: 3.732 Back: 2810.477 INFO - Atoms: 149322/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11334 Props: 114013226 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.145 Prop: 115655.219 PropClause: 112675.707 Set: 13561.891 Check: 3.732 Back: 2814.209 INFO - Atoms: 149580/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11335 Props: 114163065 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.15 Prop: 115834.533 PropClause: 112851.259 Set: 13588.288 Check: 3.732 Back: 2817.915 INFO - Atoms: 149839/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11336 Props: 114309556 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.154 Prop: 116016.566 PropClause: 113029.66 Set: 13614.117 Check: 3.732 Back: 2821.718 INFO - Atoms: 146491/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11337 Props: 114440997 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.159 Prop: 116189.847 PropClause: 113199.658 Set: 13637.425 Check: 3.732 Back: 2825.355 INFO - Atoms: 131441/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11338 Props: 114572697 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.163 Prop: 116343.744 PropClause: 113350.29 Set: 13660.441 Check: 3.732 Back: 2828.671 INFO - Atoms: 131700/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11339 Props: 114704904 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.167 Prop: 116504.019 PropClause: 113507.252 Set: 13684.681 Check: 3.732 Back: 2831.904 INFO - Atoms: 132207/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11340 Props: 114837370 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.171 Prop: 116660.068 PropClause: 113660.01 Set: 13707.91 Check: 3.732 Back: 2835.141 INFO - Atoms: 132466/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11341 Props: 114969847 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.175 Prop: 116820.558 PropClause: 113817.221 Set: 13731.437 Check: 3.732 Back: 2838.408 INFO - Atoms: 132477/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11342 Props: 115102671 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.179 Prop: 116978.087 PropClause: 113971.467 Set: 13754.485 Check: 3.732 Back: 2841.743 INFO - Atoms: 132824/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11343 Props: 115235914 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.183 Prop: 117144.389 PropClause: 114134.441 Set: 13778.278 Check: 3.732 Back: 2845.045 INFO - Atoms: 133243/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11344 Props: 115369168 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.188 Prop: 117297.932 PropClause: 114284.678 Set: 13801.522 Check: 3.732 Back: 2848.414 INFO - Atoms: 133254/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11345 Props: 115502681 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.192 Prop: 117456.322 PropClause: 114439.749 Set: 13825.255 Check: 3.732 Back: 2851.737 INFO - Atoms: 133513/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11346 Props: 115636453 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.197 Prop: 117608.698 PropClause: 114588.812 Set: 13848.24 Check: 3.732 Back: 2855.107 INFO - Atoms: 133772/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11347 Props: 115770484 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.201 Prop: 117758.509 PropClause: 114735.291 Set: 13870.983 Check: 3.732 Back: 2858.441 INFO - Atoms: 134031/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11348 Props: 115904774 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.206 Prop: 117917.946 PropClause: 114891.406 Set: 13894.45 Check: 3.732 Back: 2861.882 INFO - Atoms: 134290/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11349 Props: 116039349 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.21 Prop: 118073.931 PropClause: 115044.045 Set: 13918.23 Check: 3.732 Back: 2865.23 INFO - Atoms: 134575/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11350 Props: 116174157 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.214 Prop: 118229.432 PropClause: 115196.21 Set: 13941.864 Check: 3.732 Back: 2868.569 INFO - Atoms: 134808/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11351 Props: 116309246 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.218 Prop: 118381.213 PropClause: 115344.642 Set: 13964.887 Check: 3.732 Back: 2871.901 INFO - Atoms: 135089/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11352 Props: 116444572 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.222 Prop: 118548.238 PropClause: 115508.319 Set: 13989.192 Check: 3.732 Back: 2875.217 INFO - Atoms: 135326/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11353 Props: 116580157 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.228 Prop: 118714.229 PropClause: 115670.921 Set: 14013.176 Check: 3.732 Back: 2878.593 INFO - Atoms: 135585/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11354 Props: 116716001 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.232 Prop: 118877.884 PropClause: 115831.18 Set: 14037.194 Check: 3.732 Back: 2881.926 INFO - Atoms: 135844/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11355 Props: 116852104 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.237 Prop: 119036.612 PropClause: 115986.497 Set: 14061.4 Check: 3.732 Back: 2885.275 INFO - Atoms: 136103/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11356 Props: 116988466 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.241 Prop: 119211.04 PropClause: 116157.536 Set: 14086.001 Check: 3.732 Back: 2888.642 INFO - Atoms: 136362/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11357 Props: 117125143 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.245 Prop: 119387.332 PropClause: 116328.087 Set: 14110.276 Check: 3.732 Back: 2892.057 INFO - Atoms: 136677/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11358 Props: 117262271 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.25 Prop: 119557.231 PropClause: 116494.569 Set: 14134.31 Check: 3.732 Back: 2895.471 INFO - Atoms: 137128/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11359 Props: 117399410 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.254 Prop: 119726.315 PropClause: 116660.255 Set: 14158.4 Check: 3.732 Back: 2898.862 INFO - Atoms: 137139/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11360 Props: 117536808 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.259 Prop: 119894.432 PropClause: 116824.925 Set: 14182.716 Check: 3.732 Back: 2902.256 INFO - Atoms: 137398/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11361 Props: 117674465 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.264 Prop: 120062.609 PropClause: 116989.683 Set: 14207.104 Check: 3.732 Back: 2905.644 INFO - Atoms: 137657/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11362 Props: 117812381 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.268 Prop: 120231.903 PropClause: 117155.552 Set: 14231.344 Check: 3.732 Back: 2909.054 INFO - Atoms: 137916/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11363 Props: 117950556 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.273 Prop: 120398.366 PropClause: 117318.57 Set: 14255.265 Check: 3.732 Back: 2912.455 INFO - Atoms: 138175/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11364 Props: 118088990 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.277 Prop: 120567.985 PropClause: 117484.742 Set: 14279.984 Check: 3.732 Back: 2915.871 INFO - Atoms: 138434/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11365 Props: 118227727 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.282 Prop: 120735.042 PropClause: 117648.324 Set: 14304.669 Check: 3.732 Back: 2919.318 INFO - Atoms: 138737/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11366 Props: 118366927 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.286 Prop: 120902.172 PropClause: 117811.999 Set: 14359.27 Check: 3.732 Back: 2922.775 INFO - Atoms: 139200/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11367 Props: 118506386 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.29 Prop: 121065.959 PropClause: 117972.339 Set: 14383.746 Check: 3.732 Back: 2926.178 INFO - Atoms: 139459/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11368 Props: 118645856 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.294 Prop: 121221.017 PropClause: 118123.966 Set: 14407.469 Check: 3.732 Back: 2929.645 INFO - Atoms: 139470/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11369 Props: 118785585 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.298 Prop: 121377.889 PropClause: 118277.391 Set: 14431.059 Check: 3.732 Back: 2933.107 INFO - Atoms: 139729/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11370 Props: 118925609 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.303 Prop: 121539.824 PropClause: 118435.842 Set: 14455.215 Check: 3.732 Back: 2936.585 INFO - Atoms: 140024/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11371 Props: 119066104 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.307 Prop: 121703.01 PropClause: 118595.541 Set: 14479.681 Check: 3.732 Back: 2940.045 INFO - Atoms: 140495/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11372 Props: 119206858 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.311 Prop: 121862.435 PropClause: 118751.507 Set: 14503.762 Check: 3.732 Back: 2943.523 INFO - Atoms: 140754/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11373 Props: 119347623 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.315 Prop: 122023.466 PropClause: 118909.04 Set: 14528.043 Check: 3.732 Back: 2947.001 INFO - Atoms: 140765/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11374 Props: 119488647 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.319 Prop: 122188.873 PropClause: 119070.941 Set: 14552.919 Check: 3.732 Back: 2950.499 INFO - Atoms: 141024/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11375 Props: 119629954 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.324 Prop: 122355.147 PropClause: 119233.71 Set: 14577.789 Check: 3.732 Back: 2953.986 INFO - Atoms: 141307/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11376 Props: 119771744 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.328 Prop: 122518.768 PropClause: 119393.829 Set: 14602.411 Check: 3.732 Back: 2957.521 INFO - Atoms: 141790/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11377 Props: 119913545 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.333 Prop: 122697.769 PropClause: 119569.293 Set: 14627.723 Check: 3.732 Back: 2961.025 INFO - Atoms: 141801/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11378 Props: 120055625 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.338 Prop: 122877.144 PropClause: 119745.112 Set: 14653.168 Check: 3.732 Back: 2964.556 INFO - Atoms: 142080/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11379 Props: 120198192 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.344 Prop: 123050.351 PropClause: 119914.776 Set: 14678.472 Check: 3.732 Back: 2968.078 INFO - Atoms: 142567/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11380 Props: 120340770 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.348 Prop: 123225.603 PropClause: 120086.467 Set: 14703.899 Check: 3.732 Back: 2971.65 INFO - Atoms: 142578/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11381 Props: 120483607 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.353 Prop: 123407.309 PropClause: 120264.612 Set: 14730.533 Check: 3.732 Back: 2975.16 INFO - Atoms: 142837/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11382 Props: 120626705 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.358 Prop: 123589.667 PropClause: 120443.406 Set: 14755.52 Check: 3.732 Back: 2978.732 INFO - Atoms: 143098/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11383 Props: 120770072 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.363 Prop: 123774.676 PropClause: 120624.833 Set: 14781.352 Check: 3.732 Back: 2982.301 INFO - Atoms: 143367/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11384 Props: 120913932 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.367 Prop: 123954.701 PropClause: 120801.259 Set: 14807.374 Check: 3.732 Back: 2985.869 INFO - Atoms: 143860/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11385 Props: 121058051 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.372 Prop: 124136.39 PropClause: 120979.351 Set: 14833.303 Check: 3.732 Back: 2989.453 INFO - Atoms: 144119/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11386 Props: 121202181 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.376 Prop: 124319.94 PropClause: 121159.269 Set: 14859.283 Check: 3.732 Back: 2993.082 INFO - Atoms: 144130/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11387 Props: 121346578 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.38 Prop: 124503.709 PropClause: 121339.45 Set: 14884.453 Check: 3.732 Back: 2996.655 INFO - Atoms: 144397/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11388 Props: 121491228 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.385 Prop: 124679.056 PropClause: 121511.13 Set: 14909.741 Check: 3.732 Back: 3000.272 INFO - Atoms: 144650/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11389 Props: 121638485 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.389 Prop: 124868.973 PropClause: 121697.375 Set: 14936.174 Check: 3.732 Back: 3003.874 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11390 Props: 121786756 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.393 Prop: 125049.612 PropClause: 121874.332 Set: 14962.759 Check: 3.732 Back: 3007.523 INFO - Atoms: 148271/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11391 Props: 121934013 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.399 Prop: 125230.689 PropClause: 122051.752 Set: 14989.081 Check: 3.732 Back: 3011.243 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11392 Props: 122082531 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.403 Prop: 125414.072 PropClause: 122231.454 Set: 15015.378 Check: 3.732 Back: 3014.92 INFO - Atoms: 148518/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11393 Props: 122230040 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.408 Prop: 125591.431 PropClause: 122405.145 Set: 15041.49 Check: 3.732 Back: 3018.612 INFO - Atoms: 147509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11394 Props: 122378317 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.413 Prop: 125769.651 PropClause: 122579.683 Set: 15067.622 Check: 3.732 Back: 3022.308 INFO - Atoms: 148277/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11395 Props: 122525574 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.418 Prop: 125942.664 PropClause: 122749.041 Set: 15093.407 Check: 3.732 Back: 3025.981 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11396 Props: 122672838 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.422 Prop: 126112.492 PropClause: 122915.223 Set: 15118.802 Check: 3.732 Back: 3029.63 INFO - Atoms: 147264/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11397 Props: 122820100 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.427 Prop: 126294.202 PropClause: 123093.281 Set: 15144.508 Check: 3.732 Back: 3033.294 INFO - Atoms: 147262/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11398 Props: 122968375 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.431 Prop: 126458.711 PropClause: 123254.116 Set: 15170.161 Check: 3.732 Back: 3036.946 INFO - Atoms: 148275/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11399 Props: 123115884 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.436 Prop: 126639.652 PropClause: 123431.416 Set: 15220.335 Check: 3.732 Back: 3040.65 INFO - Atoms: 147509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11400 Props: 123264402 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.441 Prop: 126814.03 PropClause: 123602.144 Set: 15246.149 Check: 3.732 Back: 3044.346 INFO - Atoms: 148518/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11401 Props: 123411911 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.445 Prop: 126993.37 PropClause: 123777.823 Set: 15272.6 Check: 3.732 Back: 3048.034 INFO - Atoms: 147509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11402 Props: 123560186 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.45 Prop: 127169.017 PropClause: 123949.776 Set: 15298.64 Check: 3.732 Back: 3051.743 INFO - Atoms: 148275/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11403 Props: 123708452 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.454 Prop: 127335.644 PropClause: 124112.733 Set: 15345.268 Check: 3.732 Back: 3055.405 INFO - Atoms: 148266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11404 Props: 123856718 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.458 Prop: 127501.372 PropClause: 124274.801 Set: 15370.961 Check: 3.732 Back: 3059.102 INFO - Atoms: 148266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11405 Props: 124004986 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.463 Prop: 127673.18 PropClause: 124442.916 Set: 15397.427 Check: 3.732 Back: 3062.772 INFO - Atoms: 148268/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11406 Props: 124153252 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.467 Prop: 127845.506 PropClause: 124611.586 Set: 15423.443 Check: 3.732 Back: 3066.474 INFO - Atoms: 148266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11407 Props: 124300509 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.471 Prop: 128016.216 PropClause: 124778.632 Set: 15485.252 Check: 3.732 Back: 3070.166 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11408 Props: 124448775 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.475 Prop: 128192.957 PropClause: 124951.704 Set: 15511.282 Check: 3.732 Back: 3073.776 INFO - Atoms: 148266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11409 Props: 124596284 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.48 Prop: 128384.799 PropClause: 125139.857 Set: 15537.969 Check: 3.732 Back: 3077.513 INFO - Atoms: 147509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11410 Props: 124743541 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.484 Prop: 128581.537 PropClause: 125332.938 Set: 15564.907 Check: 3.732 Back: 3081.199 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11411 Props: 124891051 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.488 Prop: 128771.269 PropClause: 125518.981 Set: 15591.684 Check: 3.732 Back: 3084.882 INFO - Atoms: 147510/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11412 Props: 125039570 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.493 Prop: 128962.864 PropClause: 125706.86 Set: 15618.915 Check: 3.732 Back: 3088.572 INFO - Atoms: 148519/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11413 Props: 125187079 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.498 Prop: 129154.995 PropClause: 125895.276 Set: 15646.006 Check: 3.732 Back: 3092.292 INFO - Atoms: 147509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11414 Props: 125335345 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.502 Prop: 129348.946 PropClause: 126085.535 Set: 15674.112 Check: 3.732 Back: 3095.984 INFO - Atoms: 148266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11415 Props: 125482602 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.506 Prop: 129540.024 PropClause: 126272.958 Set: 15700.309 Check: 3.732 Back: 3099.708 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11416 Props: 125630877 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.511 Prop: 129726.199 PropClause: 126455.438 Set: 15726.694 Check: 3.732 Back: 3103.407 INFO - Atoms: 148275/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11417 Props: 125778134 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.516 Prop: 129921.113 PropClause: 126646.676 Set: 15754.154 Check: 3.732 Back: 3107.095 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11418 Props: 125925400 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.521 Prop: 130113.827 PropClause: 126835.678 Set: 15780.863 Check: 3.732 Back: 3110.809 INFO - Atoms: 147266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11419 Props: 126073918 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.526 Prop: 130312.417 PropClause: 127030.522 Set: 15807.949 Check: 3.732 Back: 3114.563 INFO - Atoms: 148518/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11420 Props: 126222184 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.531 Prop: 130502.531 PropClause: 127216.938 Set: 15834.642 Check: 3.732 Back: 3118.333 INFO - Atoms: 148266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11421 Props: 126370450 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.536 Prop: 130688.656 PropClause: 127399.363 Set: 15861.465 Check: 3.732 Back: 3122.042 INFO - Atoms: 148266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11422 Props: 126518968 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.54 Prop: 130872.991 PropClause: 127579.949 Set: 15888.612 Check: 3.732 Back: 3125.762 INFO - Atoms: 148518/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11423 Props: 126666478 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.544 Prop: 131066.436 PropClause: 127769.662 Set: 15916.491 Check: 3.732 Back: 3129.494 INFO - Atoms: 147510/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11424 Props: 126813987 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.549 Prop: 131256.179 PropClause: 127955.72 Set: 15943.899 Check: 3.732 Back: 3133.261 INFO - Atoms: 147509/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11425 Props: 126961253 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.554 Prop: 131452.192 PropClause: 128148.014 Set: 15970.836 Check: 3.732 Back: 3136.945 INFO - Atoms: 147266/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11426 Props: 127108510 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.56 Prop: 131647.593 PropClause: 128339.743 Set: 15997.349 Check: 3.732 Back: 3140.653 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11427 Props: 127256534 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.565 Prop: 131846.745 PropClause: 128535.171 Set: 16024.96 Check: 3.732 Back: 3144.36 INFO - Atoms: 148024/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11428 Props: 127403791 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.569 Prop: 132045.762 PropClause: 128730.477 Set: 16051.748 Check: 3.732 Back: 3148.15 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11429 Props: 127551048 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.573 Prop: 132240.134 PropClause: 128921.156 Set: 16079.194 Check: 3.732 Back: 3151.889 INFO - Atoms: 147257/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11430 Props: 127698049 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.594 Prop: 132431.343 PropClause: 129108.663 Set: 16105.796 Check: 3.732 Back: 3155.627 INFO - Atoms: 147001/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11431 Props: 127843083 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.598 Prop: 132622.028 PropClause: 129295.715 Set: 16132.027 Check: 3.732 Back: 3159.337 INFO - Atoms: 145034/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11432 Props: 127988011 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.604 Prop: 132807.265 PropClause: 129477.321 Set: 16157.855 Check: 3.732 Back: 3162.96 INFO - Atoms: 144928/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11433 Props: 128134496 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.608 Prop: 133003.267 PropClause: 129669.668 Set: 16185.459 Check: 3.732 Back: 3166.632 INFO - Atoms: 146485/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11434 Props: 128280475 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.613 Prop: 133197.243 PropClause: 129859.968 Set: 16212.89 Check: 3.732 Back: 3170.351 INFO - Atoms: 145979/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11435 Props: 128426962 Tprops: 0 Decides: 137798 RSplits: 0 INFO - Times: Expl: 35415.618 Prop: 133397.396 PropClause: 130056.46 Set: 16239.863 Check: 3.732 Back: 3174.0 INFO - Atoms: 146487/176382 Clauses: 1361 Axioms: 585410 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 758 Props: 120189 Tprops: 3766 Decides: 140963 RSplits: 0 INFO - Times: Expl: 972.69 Prop: 312608.2 PropClause: 60.907 Set: 53006.022 Check: 1075.697 Back: 571.073 INFO - Atoms: 112/1923 Clauses: 758 Axioms: 1923 INFO - CCTimes: iE 2895025 eq 91746506 cc 562420888 setRep 310274132 INFO - Merges: 1693556, cc:6484028 INFO - BVTimes: BB 1085777761 BB_DPLL 290349531797 Graph 3159646 INFO - BitBlastingClauses: 1442210 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat