/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_079_048.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 141044926 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 48442 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.349 Prop: 84.105 PropClause: 75.545 Set: 37.698 Check: 0.0 Back: 0.0 INFO - Atoms: 48442/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 96873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.413 Prop: 155.719 PropClause: 144.145 Set: 60.646 Check: 0.0 Back: 1.117 INFO - Atoms: 48431/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 145295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.478 Prop: 219.272 PropClause: 205.821 Set: 90.568 Check: 0.0 Back: 2.237 INFO - Atoms: 48422/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 193707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.565 Prop: 276.397 PropClause: 260.923 Set: 99.085 Check: 0.0 Back: 3.349 INFO - Atoms: 48412/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 242125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.617 Prop: 329.384 PropClause: 311.905 Set: 107.826 Check: 0.0 Back: 4.475 INFO - Atoms: 48418/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 290532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.661 Prop: 392.067 PropClause: 372.555 Set: 123.343 Check: 0.0 Back: 5.608 INFO - Atoms: 48407/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 338941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.711 Prop: 447.107 PropClause: 426.162 Set: 138.629 Check: 0.0 Back: 6.741 INFO - Atoms: 48409/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 387348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.806 Prop: 500.369 PropClause: 478.199 Set: 147.281 Check: 0.0 Back: 8.198 INFO - Atoms: 48407/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 435437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.888 Prop: 553.382 PropClause: 530.005 Set: 155.933 Check: 0.0 Back: 9.321 INFO - Atoms: 48089/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 483361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.937 Prop: 605.565 PropClause: 580.994 Set: 164.421 Check: 0.0 Back: 10.447 INFO - Atoms: 47924/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 531278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.991 Prop: 664.574 PropClause: 638.79 Set: 173.096 Check: 0.0 Back: 11.557 INFO - Atoms: 47917/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 579035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.033 Prop: 717.623 PropClause: 690.638 Set: 181.698 Check: 0.0 Back: 12.673 INFO - Atoms: 47757/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 626627 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.078 Prop: 767.339 PropClause: 739.164 Set: 190.1 Check: 0.0 Back: 13.786 INFO - Atoms: 47592/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 674001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.122 Prop: 817.532 PropClause: 788.171 Set: 198.45 Check: 0.0 Back: 14.893 INFO - Atoms: 47374/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 721189 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.169 Prop: 867.317 PropClause: 836.776 Set: 213.115 Check: 0.0 Back: 16.01 INFO - Atoms: 47188/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 768214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.249 Prop: 922.922 PropClause: 891.198 Set: 227.766 Check: 0.0 Back: 17.335 INFO - Atoms: 47025/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 815234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.306 Prop: 982.724 PropClause: 949.807 Set: 243.001 Check: 0.0 Back: 18.651 INFO - Atoms: 47020/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 862181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.353 Prop: 1036.51 PropClause: 1002.421 Set: 257.3 Check: 0.0 Back: 20.011 INFO - Atoms: 46947/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 908875 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.403 Prop: 1085.081 PropClause: 1049.829 Set: 265.548 Check: 0.0 Back: 21.338 INFO - Atoms: 46694/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 955281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.455 Prop: 1142.201 PropClause: 1105.771 Set: 274.281 Check: 0.0 Back: 22.551 INFO - Atoms: 46406/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1001500 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.502 Prop: 1195.754 PropClause: 1158.114 Set: 282.745 Check: 0.0 Back: 23.844 INFO - Atoms: 46219/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1047555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.556 Prop: 1245.625 PropClause: 1206.821 Set: 291.052 Check: 0.0 Back: 25.094 INFO - Atoms: 46055/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1093372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.601 Prop: 1291.219 PropClause: 1251.268 Set: 299.092 Check: 0.0 Back: 26.386 INFO - Atoms: 45817/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1139125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.646 Prop: 1340.104 PropClause: 1299.018 Set: 307.229 Check: 0.0 Back: 27.691 INFO - Atoms: 45753/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1184695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.699 Prop: 1405.434 PropClause: 1363.131 Set: 316.072 Check: 0.0 Back: 28.965 INFO - Atoms: 45570/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1230121 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.752 Prop: 1456.199 PropClause: 1412.757 Set: 324.213 Check: 0.0 Back: 30.276 INFO - Atoms: 45426/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1275365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.806 Prop: 1510.191 PropClause: 1465.582 Set: 333.082 Check: 0.0 Back: 31.563 INFO - Atoms: 45244/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1320459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.855 Prop: 1562.988 PropClause: 1517.234 Set: 341.165 Check: 0.0 Back: 32.753 INFO - Atoms: 45094/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1365377 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.905 Prop: 1615.161 PropClause: 1568.27 Set: 349.23 Check: 0.0 Back: 33.984 INFO - Atoms: 44918/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1410151 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.956 Prop: 1662.825 PropClause: 1614.812 Set: 357.134 Check: 0.0 Back: 35.213 INFO - Atoms: 44774/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 1454743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.005 Prop: 1705.802 PropClause: 1656.671 Set: 364.934 Check: 0.0 Back: 36.437 INFO - Atoms: 44592/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 1499184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.05 Prop: 1757.398 PropClause: 1707.154 Set: 372.883 Check: 0.0 Back: 37.641 INFO - Atoms: 44441/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 1543448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.094 Prop: 1799.222 PropClause: 1747.873 Set: 380.607 Check: 0.0 Back: 38.865 INFO - Atoms: 44264/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 1587550 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.134 Prop: 1845.06 PropClause: 1792.603 Set: 388.42 Check: 0.0 Back: 40.075 INFO - Atoms: 44102/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 1631490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.187 Prop: 1889.404 PropClause: 1835.848 Set: 398.23 Check: 0.0 Back: 41.268 INFO - Atoms: 43940/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 1675266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.228 Prop: 1936.651 PropClause: 1882.005 Set: 411.415 Check: 0.0 Back: 42.492 INFO - Atoms: 43776/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 1718880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.275 Prop: 1983.336 PropClause: 1927.601 Set: 424.925 Check: 0.0 Back: 43.676 INFO - Atoms: 43614/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 1762330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.324 Prop: 2033.232 PropClause: 1976.408 Set: 438.101 Check: 0.0 Back: 44.878 INFO - Atoms: 43450/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 1805616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.373 Prop: 2084.01 PropClause: 2026.106 Set: 451.226 Check: 0.0 Back: 46.069 INFO - Atoms: 43286/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 1848755 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.419 Prop: 2136.523 PropClause: 2077.546 Set: 464.621 Check: 0.0 Back: 47.251 INFO - Atoms: 43139/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 1891717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.47 Prop: 2182.774 PropClause: 2122.72 Set: 477.592 Check: 0.0 Back: 48.43 INFO - Atoms: 42962/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 1934515 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.53 Prop: 2232.185 PropClause: 2171.06 Set: 490.593 Check: 0.0 Back: 49.608 INFO - Atoms: 42798/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 1977149 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.58 Prop: 2272.513 PropClause: 2210.311 Set: 498.098 Check: 0.0 Back: 50.791 INFO - Atoms: 42634/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 2019621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.632 Prop: 2330.77 PropClause: 2267.459 Set: 506.85 Check: 0.0 Back: 51.943 INFO - Atoms: 42472/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 2061929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.679 Prop: 2375.568 PropClause: 2311.185 Set: 514.382 Check: 0.0 Back: 53.08 INFO - Atoms: 42308/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2104095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.723 Prop: 2419.261 PropClause: 2353.823 Set: 521.777 Check: 0.0 Back: 54.236 INFO - Atoms: 42166/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 2146077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.769 Prop: 2463.243 PropClause: 2396.757 Set: 529.219 Check: 0.0 Back: 55.374 INFO - Atoms: 41982/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 2187919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.813 Prop: 2503.971 PropClause: 2436.434 Set: 536.548 Check: 0.0 Back: 56.516 INFO - Atoms: 41842/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 2229577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.854 Prop: 2543.187 PropClause: 2474.602 Set: 543.868 Check: 0.0 Back: 57.625 INFO - Atoms: 41658/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 2271087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.903 Prop: 2583.369 PropClause: 2513.744 Set: 551.113 Check: 0.0 Back: 58.758 INFO - Atoms: 41510/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 2312417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.947 Prop: 2621.862 PropClause: 2551.201 Set: 558.283 Check: 0.0 Back: 59.869 INFO - Atoms: 41330/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 2353605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.086 Prop: 2662.494 PropClause: 2590.81 Set: 565.458 Check: 0.0 Back: 60.952 INFO - Atoms: 41188/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 2394611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.107 Prop: 2698.59 PropClause: 2625.882 Set: 572.566 Check: 0.0 Back: 62.043 INFO - Atoms: 41006/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 2435467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.129 Prop: 2739.209 PropClause: 2665.484 Set: 579.723 Check: 0.0 Back: 63.132 INFO - Atoms: 40856/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 2476147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.146 Prop: 2775.066 PropClause: 2700.334 Set: 586.779 Check: 0.0 Back: 64.223 INFO - Atoms: 40680/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 2516663 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.168 Prop: 2813.905 PropClause: 2738.156 Set: 593.867 Check: 0.0 Back: 65.292 INFO - Atoms: 40516/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 2557017 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.19 Prop: 2851.007 PropClause: 2774.253 Set: 600.878 Check: 0.0 Back: 66.369 INFO - Atoms: 40354/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 2597207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.212 Prop: 2899.592 PropClause: 2821.831 Set: 608.031 Check: 0.0 Back: 67.433 INFO - Atoms: 40190/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 2637235 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.234 Prop: 2936.6 PropClause: 2857.839 Set: 615.087 Check: 0.0 Back: 68.495 INFO - Atoms: 40028/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 2677113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.256 Prop: 2979.718 PropClause: 2899.923 Set: 623.053 Check: 0.0 Back: 69.537 INFO - Atoms: 39878/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 2716813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.278 Prop: 3014.272 PropClause: 2933.465 Set: 629.964 Check: 0.0 Back: 70.603 INFO - Atoms: 39700/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 2756371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.297 Prop: 3050.756 PropClause: 2968.957 Set: 636.889 Check: 0.0 Back: 71.656 INFO - Atoms: 39558/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 2795747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.354 Prop: 3087.78 PropClause: 3005.001 Set: 643.805 Check: 0.0 Back: 72.723 INFO - Atoms: 39376/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 2834959 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.428 Prop: 3133.366 PropClause: 3049.61 Set: 650.731 Check: 0.0 Back: 73.781 INFO - Atoms: 39212/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 2874009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.522 Prop: 3171.724 PropClause: 3086.885 Set: 658.59 Check: 0.0 Back: 74.815 INFO - Atoms: 39050/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 2912915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.539 Prop: 3208.362 PropClause: 3122.556 Set: 665.396 Check: 0.0 Back: 75.878 INFO - Atoms: 38906/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 2951637 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.557 Prop: 3241.883 PropClause: 3155.111 Set: 672.065 Check: 0.0 Back: 76.908 INFO - Atoms: 38722/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 2990211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.575 Prop: 3279.436 PropClause: 3191.688 Set: 678.872 Check: 0.0 Back: 77.937 INFO - Atoms: 38574/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 3028609 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.592 Prop: 3313.468 PropClause: 3224.758 Set: 685.554 Check: 0.0 Back: 78.966 INFO - Atoms: 38398/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 3066856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.609 Prop: 3361.047 PropClause: 3268.898 Set: 692.621 Check: 0.0 Back: 79.971 INFO - Atoms: 38247/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 3104926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.628 Prop: 3396.041 PropClause: 3302.944 Set: 699.225 Check: 0.0 Back: 80.999 INFO - Atoms: 38070/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 3142850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.645 Prop: 3432.387 PropClause: 3338.342 Set: 705.87 Check: 0.0 Back: 82.024 INFO - Atoms: 37924/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 3180596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.662 Prop: 3465.991 PropClause: 3371.006 Set: 712.459 Check: 0.0 Back: 83.029 INFO - Atoms: 37746/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 3218198 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.679 Prop: 3506.675 PropClause: 3410.748 Set: 719.098 Check: 0.0 Back: 84.014 INFO - Atoms: 37602/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 3255616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.695 Prop: 3542.057 PropClause: 3445.194 Set: 725.706 Check: 0.0 Back: 85.029 INFO - Atoms: 37418/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 3292887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.715 Prop: 3578.515 PropClause: 3480.714 Set: 732.292 Check: 0.0 Back: 86.011 INFO - Atoms: 37271/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 3329979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.73 Prop: 3613.724 PropClause: 3515.0 Set: 738.798 Check: 0.0 Back: 86.995 INFO - Atoms: 37092/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 3366924 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.747 Prop: 3650.312 PropClause: 3550.658 Set: 745.325 Check: 0.0 Back: 87.985 INFO - Atoms: 36945/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 3403692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.766 Prop: 3681.297 PropClause: 3580.73 Set: 751.654 Check: 0.0 Back: 88.94 INFO - Atoms: 36768/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 3440316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.783 Prop: 3720.684 PropClause: 3619.2 Set: 760.658 Check: 0.0 Back: 89.904 INFO - Atoms: 36624/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 3476756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.802 Prop: 3754.096 PropClause: 3651.702 Set: 771.273 Check: 0.0 Back: 90.847 INFO - Atoms: 36440/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 3513054 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.819 Prop: 3790.445 PropClause: 3687.149 Set: 781.283 Check: 0.0 Back: 91.796 INFO - Atoms: 36298/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 3549170 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.833 Prop: 3822.327 PropClause: 3718.133 Set: 791.254 Check: 0.0 Back: 92.729 INFO - Atoms: 36116/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 3585122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.85 Prop: 3854.364 PropClause: 3749.275 Set: 801.17 Check: 0.0 Back: 93.669 INFO - Atoms: 35952/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 3620912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.868 Prop: 3885.663 PropClause: 3779.674 Set: 811.288 Check: 0.0 Back: 94.591 INFO - Atoms: 35790/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 3656538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.885 Prop: 3918.202 PropClause: 3811.325 Set: 817.408 Check: 0.0 Back: 95.549 INFO - Atoms: 35626/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 3692000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.9 Prop: 3945.341 PropClause: 3837.579 Set: 823.458 Check: 0.0 Back: 96.474 INFO - Atoms: 35462/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 3727322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.916 Prop: 3976.346 PropClause: 3867.7 Set: 829.569 Check: 0.0 Back: 97.406 INFO - Atoms: 35322/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 3762460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.935 Prop: 4021.242 PropClause: 3911.578 Set: 838.062 Check: 0.0 Back: 98.316 INFO - Atoms: 35138/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 3797456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.953 Prop: 4051.135 PropClause: 3940.592 Set: 844.16 Check: 0.0 Back: 99.282 INFO - Atoms: 34996/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 3832268 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.97 Prop: 4084.112 PropClause: 3972.705 Set: 850.23 Check: 0.0 Back: 100.177 INFO - Atoms: 34812/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 3866938 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.988 Prop: 4118.624 PropClause: 4006.349 Set: 856.298 Check: 0.0 Back: 101.068 INFO - Atoms: 34670/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 3901424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.006 Prop: 4145.671 PropClause: 4032.529 Set: 862.239 Check: 0.0 Back: 101.979 INFO - Atoms: 34486/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 3935746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.056 Prop: 4178.527 PropClause: 4064.499 Set: 868.283 Check: 0.0 Back: 102.862 INFO - Atoms: 34322/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 3969904 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.118 Prop: 4204.87 PropClause: 4089.99 Set: 874.097 Check: 0.0 Back: 103.749 INFO - Atoms: 34158/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 4003917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.129 Prop: 4234.408 PropClause: 4118.679 Set: 879.956 Check: 0.0 Back: 104.6 INFO - Atoms: 34013/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 4037751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.141 Prop: 4261.77 PropClause: 4145.191 Set: 885.712 Check: 0.0 Back: 105.464 INFO - Atoms: 33834/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 4071441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.151 Prop: 4290.423 PropClause: 4173.004 Set: 891.505 Check: 0.0 Back: 106.31 INFO - Atoms: 33690/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 4104949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.163 Prop: 4315.944 PropClause: 4197.689 Set: 897.318 Check: 0.0 Back: 107.183 INFO - Atoms: 33508/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 4138313 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.174 Prop: 4342.861 PropClause: 4223.76 Set: 903.026 Check: 0.0 Back: 108.073 INFO - Atoms: 33364/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 4171493 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.184 Prop: 4366.28 PropClause: 4246.342 Set: 908.685 Check: 0.0 Back: 108.91 INFO - Atoms: 33180/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 4204533 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.195 Prop: 4392.841 PropClause: 4272.069 Set: 914.397 Check: 0.0 Back: 109.765 INFO - Atoms: 33040/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 4237387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.208 Prop: 4416.594 PropClause: 4294.993 Set: 919.944 Check: 0.0 Back: 110.592 INFO - Atoms: 32854/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 4270099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.221 Prop: 4442.746 PropClause: 4320.334 Set: 925.455 Check: 0.0 Back: 111.409 INFO - Atoms: 32712/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 4302627 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.234 Prop: 4468.764 PropClause: 4345.536 Set: 931.03 Check: 0.0 Back: 112.507 INFO - Atoms: 32528/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 4334993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.247 Prop: 4497.739 PropClause: 4373.683 Set: 936.596 Check: 0.0 Back: 113.318 INFO - Atoms: 32366/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 4367197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.259 Prop: 4522.635 PropClause: 4397.776 Set: 942.156 Check: 0.0 Back: 114.139 INFO - Atoms: 32204/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 4399257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.27 Prop: 4546.097 PropClause: 4420.439 Set: 947.564 Check: 0.0 Back: 114.946 INFO - Atoms: 32060/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 4431135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.28 Prop: 4568.398 PropClause: 4441.947 Set: 952.925 Check: 0.0 Back: 115.746 INFO - Atoms: 31878/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 4462849 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.29 Prop: 4591.403 PropClause: 4464.16 Set: 958.275 Check: 0.0 Back: 116.528 INFO - Atoms: 31714/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 4494399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.302 Prop: 4614.515 PropClause: 4486.488 Set: 963.596 Check: 0.0 Back: 117.294 INFO - Atoms: 31550/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 4525787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.315 Prop: 4642.139 PropClause: 4513.32 Set: 968.936 Check: 0.0 Back: 118.079 INFO - Atoms: 31388/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 4557013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.328 Prop: 4668.494 PropClause: 4538.798 Set: 975.175 Check: 0.0 Back: 118.968 INFO - Atoms: 31226/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 4588097 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.341 Prop: 4690.938 PropClause: 4560.468 Set: 980.466 Check: 0.0 Back: 119.729 INFO - Atoms: 31084/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 4618995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.354 Prop: 4713.781 PropClause: 4582.539 Set: 985.722 Check: 0.0 Back: 120.49 INFO - Atoms: 30898/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 4649731 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.365 Prop: 4738.887 PropClause: 4606.865 Set: 991.088 Check: 0.0 Back: 121.241 INFO - Atoms: 30736/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 4680305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.377 Prop: 4761.082 PropClause: 4628.287 Set: 996.341 Check: 0.0 Back: 122.003 INFO - Atoms: 30574/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 4710737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.388 Prop: 4783.262 PropClause: 4649.701 Set: 1001.523 Check: 0.0 Back: 122.754 INFO - Atoms: 30432/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 4740985 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.4 Prop: 4807.433 PropClause: 4673.109 Set: 1006.71 Check: 0.0 Back: 123.504 INFO - Atoms: 30248/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 4771069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.411 Prop: 4831.652 PropClause: 4696.573 Set: 1011.877 Check: 0.0 Back: 124.251 INFO - Atoms: 30084/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 4800989 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.425 Prop: 4852.843 PropClause: 4717.018 Set: 1016.987 Check: 0.0 Back: 124.976 INFO - Atoms: 29920/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 4830767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.438 Prop: 4877.622 PropClause: 4741.05 Set: 1022.104 Check: 0.0 Back: 125.714 INFO - Atoms: 29778/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 4860363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.449 Prop: 4898.006 PropClause: 4760.698 Set: 1027.084 Check: 0.0 Back: 126.442 INFO - Atoms: 29596/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 4889817 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.459 Prop: 4918.639 PropClause: 4780.598 Set: 1032.021 Check: 0.0 Back: 127.164 INFO - Atoms: 29454/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 4919087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.47 Prop: 4939.773 PropClause: 4800.996 Set: 1036.957 Check: 0.0 Back: 127.88 INFO - Atoms: 29270/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 4947419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.481 Prop: 4961.623 PropClause: 4822.141 Set: 1041.667 Check: 0.0 Back: 128.586 INFO - Atoms: 28332/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 4975569 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.493 Prop: 4980.413 PropClause: 4840.229 Set: 1046.309 Check: 0.0 Back: 129.267 INFO - Atoms: 28150/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 5003577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.505 Prop: 5007.436 PropClause: 4866.553 Set: 1051.129 Check: 0.0 Back: 129.941 INFO - Atoms: 28008/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 5031401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.519 Prop: 5025.629 PropClause: 4884.051 Set: 1055.681 Check: 0.0 Back: 130.603 INFO - Atoms: 27824/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 5059083 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.533 Prop: 5045.398 PropClause: 4903.125 Set: 1060.248 Check: 0.0 Back: 131.267 INFO - Atoms: 27682/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 5086579 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.549 Prop: 5066.113 PropClause: 4923.152 Set: 1064.882 Check: 0.0 Back: 131.933 INFO - Atoms: 27496/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 5113949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.563 Prop: 5086.19 PropClause: 4942.54 Set: 1069.44 Check: 0.0 Back: 132.62 INFO - Atoms: 27370/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 5140327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.576 Prop: 5104.606 PropClause: 4960.293 Set: 1073.717 Check: 0.0 Back: 133.283 INFO - Atoms: 26378/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 5166563 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.587 Prop: 5121.876 PropClause: 4976.904 Set: 1077.936 Check: 0.0 Back: 133.931 INFO - Atoms: 26236/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 5192615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.6 Prop: 5138.294 PropClause: 4992.66 Set: 1082.128 Check: 0.0 Back: 134.55 INFO - Atoms: 26052/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 5218525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.609 Prop: 5158.843 PropClause: 5012.563 Set: 1086.308 Check: 0.0 Back: 135.167 INFO - Atoms: 25910/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 5244251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.62 Prop: 5176.165 PropClause: 5029.24 Set: 1090.435 Check: 0.0 Back: 135.786 INFO - Atoms: 25726/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 5269835 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.633 Prop: 5191.572 PropClause: 5044.008 Set: 1094.528 Check: 0.0 Back: 136.395 INFO - Atoms: 25584/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 5295235 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.644 Prop: 5206.375 PropClause: 5058.177 Set: 1098.564 Check: 0.0 Back: 136.992 INFO - Atoms: 25400/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 5320491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.656 Prop: 5222.442 PropClause: 5073.613 Set: 1102.584 Check: 0.0 Back: 137.584 INFO - Atoms: 25256/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 5345565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.667 Prop: 5236.649 PropClause: 5087.194 Set: 1106.559 Check: 0.0 Back: 138.176 INFO - Atoms: 25074/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 5370497 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.679 Prop: 5251.285 PropClause: 5101.207 Set: 1110.5 Check: 0.0 Back: 138.825 INFO - Atoms: 24932/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 5395245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.69 Prop: 5266.714 PropClause: 5116.017 Set: 1114.542 Check: 0.0 Back: 139.405 INFO - Atoms: 24748/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 5419851 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.701 Prop: 5281.247 PropClause: 5129.937 Set: 1118.425 Check: 0.0 Back: 139.995 INFO - Atoms: 24606/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 5444273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.713 Prop: 5295.709 PropClause: 5143.784 Set: 1122.279 Check: 0.0 Back: 140.573 INFO - Atoms: 24422/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 5468553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.726 Prop: 5309.536 PropClause: 5157.011 Set: 1126.077 Check: 0.0 Back: 141.144 INFO - Atoms: 24280/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 5492649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.739 Prop: 5328.664 PropClause: 5175.443 Set: 1131.016 Check: 0.0 Back: 141.702 INFO - Atoms: 24096/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 5516603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.749 Prop: 5345.086 PropClause: 5191.263 Set: 1148.607 Check: 0.0 Back: 142.395 INFO - Atoms: 23954/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 5540371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.763 Prop: 5358.661 PropClause: 5204.244 Set: 1152.338 Check: 0.0 Back: 142.965 INFO - Atoms: 23768/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 5563997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.775 Prop: 5372.551 PropClause: 5217.544 Set: 1156.056 Check: 0.0 Back: 143.521 INFO - Atoms: 23626/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 5587439 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.787 Prop: 5385.922 PropClause: 5230.328 Set: 1159.757 Check: 0.0 Back: 144.073 INFO - Atoms: 23442/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 5610739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.801 Prop: 5399.003 PropClause: 5242.824 Set: 1163.419 Check: 0.0 Back: 144.621 INFO - Atoms: 23300/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 5633857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.813 Prop: 5412.478 PropClause: 5255.713 Set: 1167.17 Check: 0.0 Back: 145.166 INFO - Atoms: 23118/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 5656833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.825 Prop: 5427.963 PropClause: 5270.622 Set: 1170.778 Check: 0.0 Back: 145.706 INFO - Atoms: 22976/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 5679625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.839 Prop: 5442.371 PropClause: 5284.445 Set: 1174.371 Check: 0.0 Back: 146.241 INFO - Atoms: 22792/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 5702273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.85 Prop: 5456.067 PropClause: 5297.572 Set: 1178.009 Check: 0.0 Back: 146.778 INFO - Atoms: 22648/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 5724739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.862 Prop: 5468.197 PropClause: 5309.123 Set: 1181.534 Check: 0.0 Back: 147.307 INFO - Atoms: 22466/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 5747063 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.876 Prop: 5479.9 PropClause: 5320.269 Set: 1184.982 Check: 0.0 Back: 147.827 INFO - Atoms: 22324/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 5769201 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.887 Prop: 5491.39 PropClause: 5331.206 Set: 1188.428 Check: 0.0 Back: 148.345 INFO - Atoms: 22138/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 5791197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.9 Prop: 5504.305 PropClause: 5343.567 Set: 1191.962 Check: 0.0 Back: 148.858 INFO - Atoms: 21996/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 5813011 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.909 Prop: 5515.793 PropClause: 5354.511 Set: 1195.35 Check: 0.0 Back: 149.372 INFO - Atoms: 21814/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 5834681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.922 Prop: 5526.911 PropClause: 5365.087 Set: 1198.714 Check: 0.0 Back: 149.884 INFO - Atoms: 21670/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 5856167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.945 Prop: 5537.503 PropClause: 5375.142 Set: 1202.051 Check: 0.0 Back: 150.393 INFO - Atoms: 21486/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 5877511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.958 Prop: 5550.264 PropClause: 5387.369 Set: 1205.415 Check: 0.0 Back: 150.889 INFO - Atoms: 21344/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 5898673 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.967 Prop: 5561.646 PropClause: 5398.215 Set: 1208.699 Check: 0.0 Back: 151.393 INFO - Atoms: 21162/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 5919693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.977 Prop: 5572.46 PropClause: 5408.504 Set: 1211.937 Check: 0.0 Back: 151.889 INFO - Atoms: 21020/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 5940529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.988 Prop: 5584.265 PropClause: 5419.776 Set: 1215.241 Check: 0.0 Back: 152.375 INFO - Atoms: 20836/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 5961223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.0 Prop: 5595.102 PropClause: 5430.08 Set: 1218.431 Check: 0.0 Back: 152.863 INFO - Atoms: 20694/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 5981733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.012 Prop: 5605.373 PropClause: 5439.838 Set: 1221.571 Check: 0.0 Back: 153.345 INFO - Atoms: 20510/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 6002101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.027 Prop: 5615.473 PropClause: 5449.43 Set: 1224.69 Check: 0.0 Back: 153.841 INFO - Atoms: 20368/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 6022285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.038 Prop: 5625.442 PropClause: 5458.895 Set: 1227.802 Check: 0.0 Back: 154.311 INFO - Atoms: 20184/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 6042327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.05 Prop: 5635.607 PropClause: 5468.557 Set: 1230.882 Check: 0.0 Back: 154.779 INFO - Atoms: 20042/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 6062185 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.059 Prop: 5644.913 PropClause: 5477.367 Set: 1233.904 Check: 0.0 Back: 155.247 INFO - Atoms: 19858/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 6081901 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.067 Prop: 5653.831 PropClause: 5485.792 Set: 1236.903 Check: 0.0 Back: 155.715 INFO - Atoms: 19716/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 6101433 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.076 Prop: 5662.769 PropClause: 5494.242 Set: 1239.857 Check: 0.0 Back: 156.174 INFO - Atoms: 19532/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 6120821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.086 Prop: 5671.948 PropClause: 5502.938 Set: 1242.789 Check: 0.0 Back: 156.622 INFO - Atoms: 19388/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 6140027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.096 Prop: 5680.646 PropClause: 5511.155 Set: 1245.695 Check: 0.0 Back: 157.067 INFO - Atoms: 19206/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 6159091 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.105 Prop: 5689.532 PropClause: 5519.562 Set: 1248.591 Check: 0.0 Back: 157.513 INFO - Atoms: 19064/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 6177969 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.114 Prop: 5698.0 PropClause: 5527.558 Set: 1251.419 Check: 0.0 Back: 157.953 INFO - Atoms: 18878/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 6196705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.124 Prop: 5706.507 PropClause: 5535.599 Set: 1254.227 Check: 0.0 Back: 158.389 INFO - Atoms: 18736/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 6215257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.161 Prop: 5714.646 PropClause: 5543.276 Set: 1257.004 Check: 0.0 Back: 158.818 INFO - Atoms: 18552/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 6233669 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.192 Prop: 5722.838 PropClause: 5551.009 Set: 1259.766 Check: 0.0 Back: 159.245 INFO - Atoms: 18412/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 6251897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.202 Prop: 5730.586 PropClause: 5558.305 Set: 1262.448 Check: 0.0 Back: 159.671 INFO - Atoms: 18228/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 6269981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.21 Prop: 5738.531 PropClause: 5565.797 Set: 1265.121 Check: 0.0 Back: 160.088 INFO - Atoms: 18084/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 6287881 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.224 Prop: 5746.504 PropClause: 5573.324 Set: 1267.782 Check: 0.0 Back: 160.504 INFO - Atoms: 17900/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 6305639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.233 Prop: 5754.265 PropClause: 5580.646 Set: 1270.39 Check: 0.0 Back: 160.915 INFO - Atoms: 17758/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 6323072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.242 Prop: 5761.84 PropClause: 5587.785 Set: 1272.939 Check: 0.0 Back: 161.324 INFO - Atoms: 17433/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 6340275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.253 Prop: 5769.313 PropClause: 5594.821 Set: 1275.429 Check: 0.0 Back: 161.725 INFO - Atoms: 17203/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 6357296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.267 Prop: 5776.402 PropClause: 5601.485 Set: 1277.888 Check: 0.0 Back: 162.12 INFO - Atoms: 17021/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 6374175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.278 Prop: 5783.678 PropClause: 5608.34 Set: 1280.309 Check: 0.0 Back: 162.51 INFO - Atoms: 16879/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 6390870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.289 Prop: 5790.627 PropClause: 5614.873 Set: 1282.698 Check: 0.0 Back: 162.905 INFO - Atoms: 16695/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 6407423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.299 Prop: 5797.809 PropClause: 5621.639 Set: 1285.062 Check: 0.0 Back: 163.284 INFO - Atoms: 16553/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 6423813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.309 Prop: 5805.385 PropClause: 5628.806 Set: 1287.41 Check: 0.0 Back: 163.673 INFO - Atoms: 16390/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 6440040 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.319 Prop: 5812.241 PropClause: 5635.256 Set: 1289.709 Check: 0.0 Back: 164.053 INFO - Atoms: 16227/48446 Clauses: 593 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 693 Props: 8056953 Tprops: 0 Decides: 11368 RSplits: 0 INFO - Times: Expl: 514.126 Prop: 6901.461 PropClause: 6678.726 Set: 1331.404 Check: 0.273 Back: 203.685 INFO - Atoms: 15852/48446 Clauses: 1091 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 1193 Props: 9787709 Tprops: 0 Decides: 23628 RSplits: 0 INFO - Times: Expl: 997.54 Prop: 8190.016 PropClause: 7918.095 Set: 1377.221 Check: 0.564 Back: 245.896 INFO - Atoms: 15721/48446 Clauses: 1092 Axioms: 160706 INFO - Confl: 1201 Props: 9801383 Tprops: 0 Decides: 23689 RSplits: 0 INFO - Times: Expl: 1000.128 Prop: 8194.59 PropClause: 7922.281 Set: 1377.612 Check: 0.566 Back: 246.227 INFO - Atoms: 16119/48446 Clauses: 1100 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 1643 Props: 11244043 Tprops: 0 Decides: 33294 RSplits: 0 INFO - Times: Expl: 1396.408 Prop: 9207.444 PropClause: 8893.472 Set: 1414.649 Check: 0.793 Back: 281.039 INFO - Atoms: 16235/48446 Clauses: 1035 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2115 Props: 12754548 Tprops: 0 Decides: 43394 RSplits: 0 INFO - Times: Expl: 1821.586 Prop: 10323.571 PropClause: 9937.304 Set: 1454.527 Check: 1.034 Back: 317.991 INFO - Atoms: 16146/48446 Clauses: 1065 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2529 Props: 14958708 Tprops: 0 Decides: 60218 RSplits: 0 INFO - Times: Expl: 2397.685 Prop: 12208.484 PropClause: 11758.818 Set: 1512.36 Check: 1.432 Back: 372.0 INFO - Atoms: 15993/48446 Clauses: 1007 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 3029 Props: 16355591 Tprops: 0 Decides: 69081 RSplits: 0 INFO - Times: Expl: 2751.92 Prop: 13152.209 PropClause: 12663.357 Set: 1548.569 Check: 1.643 Back: 406.034 INFO - Atoms: 15711/48446 Clauses: 1093 Axioms: 160706 INFO - Confl: 3041 Props: 16367189 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.388 Prop: 13156.241 PropClause: 12667.06 Set: 1548.925 Check: 1.644 Back: 406.29 INFO - Atoms: 16204/48446 Clauses: 1105 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3042 Props: 16385252 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.444 Prop: 13187.261 PropClause: 12697.568 Set: 1561.145 Check: 1.644 Back: 406.674 INFO - Atoms: 18063/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3043 Props: 16403478 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.474 Prop: 13200.67 PropClause: 12710.477 Set: 1569.64 Check: 1.644 Back: 407.1 INFO - Atoms: 18226/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3044 Props: 16422010 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.534 Prop: 13211.448 PropClause: 12720.709 Set: 1572.604 Check: 1.644 Back: 407.526 INFO - Atoms: 18532/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3045 Props: 16440562 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.539 Prop: 13222.427 PropClause: 12731.221 Set: 1575.493 Check: 1.644 Back: 407.958 INFO - Atoms: 18552/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3046 Props: 16458797 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.544 Prop: 13233.096 PropClause: 12741.425 Set: 1578.306 Check: 1.644 Back: 408.391 INFO - Atoms: 18235/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3047 Props: 16477209 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.549 Prop: 13243.215 PropClause: 12751.085 Set: 1581.146 Check: 1.644 Back: 408.816 INFO - Atoms: 18412/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3048 Props: 16495777 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.556 Prop: 13255.165 PropClause: 12762.569 Set: 1584.049 Check: 1.644 Back: 409.242 INFO - Atoms: 18568/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3049 Props: 16514501 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.56 Prop: 13267.483 PropClause: 12774.414 Set: 1587.092 Check: 1.644 Back: 409.682 INFO - Atoms: 18724/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3050 Props: 16533402 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.565 Prop: 13278.308 PropClause: 12784.763 Set: 1590.084 Check: 1.644 Back: 410.123 INFO - Atoms: 18901/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3051 Props: 16552468 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.571 Prop: 13289.548 PropClause: 12795.521 Set: 1593.057 Check: 1.644 Back: 410.571 INFO - Atoms: 19066/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3052 Props: 16571688 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.576 Prop: 13301.351 PropClause: 12806.839 Set: 1596.116 Check: 1.644 Back: 411.02 INFO - Atoms: 19220/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3053 Props: 16591063 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.582 Prop: 13313.36 PropClause: 12818.36 Set: 1599.251 Check: 1.644 Back: 411.482 INFO - Atoms: 19375/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3054 Props: 16610616 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.587 Prop: 13325.325 PropClause: 12829.835 Set: 1602.318 Check: 1.644 Back: 411.938 INFO - Atoms: 19553/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3055 Props: 16630334 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.592 Prop: 13336.781 PropClause: 12840.798 Set: 1605.404 Check: 1.644 Back: 412.399 INFO - Atoms: 19718/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3056 Props: 16650214 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.598 Prop: 13350.445 PropClause: 12853.96 Set: 1608.608 Check: 1.644 Back: 412.859 INFO - Atoms: 19880/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3057 Props: 16670243 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.603 Prop: 13364.459 PropClause: 12867.473 Set: 1611.824 Check: 1.644 Back: 413.332 INFO - Atoms: 20029/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3058 Props: 16690450 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.609 Prop: 13377.661 PropClause: 12880.167 Set: 1615.059 Check: 1.644 Back: 413.808 INFO - Atoms: 20207/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3059 Props: 16710803 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.614 Prop: 13391.236 PropClause: 12893.231 Set: 1618.28 Check: 1.644 Back: 414.283 INFO - Atoms: 20353/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3060 Props: 16731335 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.62 Prop: 13404.399 PropClause: 12905.85 Set: 1621.596 Check: 1.644 Back: 414.759 INFO - Atoms: 20532/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3061 Props: 16752170 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.626 Prop: 13417.356 PropClause: 12918.284 Set: 1624.996 Check: 1.644 Back: 415.246 INFO - Atoms: 20835/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3062 Props: 16773012 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.631 Prop: 13430.447 PropClause: 12930.855 Set: 1628.305 Check: 1.644 Back: 415.735 INFO - Atoms: 20842/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3063 Props: 16794018 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.635 Prop: 13446.072 PropClause: 12945.955 Set: 1631.662 Check: 1.644 Back: 416.22 INFO - Atoms: 21006/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3064 Props: 16815198 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.64 Prop: 13460.022 PropClause: 12959.359 Set: 1635.073 Check: 1.644 Back: 416.722 INFO - Atoms: 21180/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3065 Props: 16836545 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.645 Prop: 13472.71 PropClause: 12971.514 Set: 1638.52 Check: 1.644 Back: 417.215 INFO - Atoms: 21347/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3066 Props: 16858039 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.651 Prop: 13485.937 PropClause: 12984.203 Set: 1641.98 Check: 1.644 Back: 417.713 INFO - Atoms: 21494/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3067 Props: 16879711 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.655 Prop: 13499.529 PropClause: 12997.25 Set: 1645.458 Check: 1.644 Back: 418.216 INFO - Atoms: 21672/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3068 Props: 16901533 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.66 Prop: 13512.713 PropClause: 13009.885 Set: 1648.949 Check: 1.644 Back: 418.731 INFO - Atoms: 21822/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3069 Props: 16923517 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.664 Prop: 13526.333 PropClause: 13022.955 Set: 1652.41 Check: 1.644 Back: 419.243 INFO - Atoms: 21984/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3070 Props: 16945675 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.671 Prop: 13540.46 PropClause: 13036.527 Set: 1656.022 Check: 1.644 Back: 419.765 INFO - Atoms: 22158/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3071 Props: 16967999 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.675 Prop: 13556.901 PropClause: 13052.41 Set: 1659.654 Check: 1.644 Back: 420.288 INFO - Atoms: 22324/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3072 Props: 16990485 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.681 Prop: 13572.696 PropClause: 13067.638 Set: 1663.275 Check: 1.644 Back: 420.825 INFO - Atoms: 22486/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3073 Props: 17013120 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.686 Prop: 13586.561 PropClause: 13080.938 Set: 1666.891 Check: 1.644 Back: 421.429 INFO - Atoms: 22635/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3074 Props: 17035922 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.69 Prop: 13601.305 PropClause: 13095.114 Set: 1670.566 Check: 1.644 Back: 421.957 INFO - Atoms: 22802/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3075 Props: 17058900 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.696 Prop: 13616.245 PropClause: 13109.478 Set: 1674.276 Check: 1.644 Back: 422.492 INFO - Atoms: 22978/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3076 Props: 17082030 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.701 Prop: 13631.658 PropClause: 13124.312 Set: 1677.985 Check: 1.644 Back: 423.048 INFO - Atoms: 23130/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3077 Props: 17105329 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.706 Prop: 13650.761 PropClause: 13142.791 Set: 1682.281 Check: 1.644 Back: 423.595 INFO - Atoms: 23299/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3078 Props: 17128797 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.71 Prop: 13665.943 PropClause: 13157.385 Set: 1686.054 Check: 1.644 Back: 424.155 INFO - Atoms: 23468/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3079 Props: 17152410 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.715 Prop: 13681.141 PropClause: 13171.998 Set: 1689.822 Check: 1.644 Back: 424.707 INFO - Atoms: 23613/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3080 Props: 17176343 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.719 Prop: 13696.349 PropClause: 13186.597 Set: 1693.701 Check: 1.644 Back: 425.265 INFO - Atoms: 23933/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3081 Props: 17200295 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.724 Prop: 13712.139 PropClause: 13201.785 Set: 1697.635 Check: 1.644 Back: 425.827 INFO - Atoms: 23952/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3082 Props: 17224401 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.73 Prop: 13727.539 PropClause: 13216.579 Set: 1701.538 Check: 1.644 Back: 426.391 INFO - Atoms: 24106/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3083 Props: 17248680 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.735 Prop: 13743.007 PropClause: 13231.437 Set: 1705.494 Check: 1.644 Back: 426.969 INFO - Atoms: 24279/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3084 Props: 17273110 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.74 Prop: 13759.444 PropClause: 13247.204 Set: 1709.424 Check: 1.644 Back: 427.545 INFO - Atoms: 24430/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3085 Props: 17297701 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.744 Prop: 13776.642 PropClause: 13263.79 Set: 1713.415 Check: 1.644 Back: 428.122 INFO - Atoms: 24591/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3086 Props: 17322461 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.749 Prop: 13793.307 PropClause: 13279.836 Set: 1717.483 Check: 1.644 Back: 428.703 INFO - Atoms: 24760/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3087 Props: 17347378 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.754 Prop: 13810.313 PropClause: 13296.219 Set: 1721.526 Check: 1.644 Back: 429.3 INFO - Atoms: 24917/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3088 Props: 17372458 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.76 Prop: 13827.119 PropClause: 13312.394 Set: 1725.657 Check: 1.644 Back: 429.903 INFO - Atoms: 25080/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3089 Props: 17397717 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.765 Prop: 13844.51 PropClause: 13329.154 Set: 1729.875 Check: 1.644 Back: 430.508 INFO - Atoms: 25259/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3090 Props: 17423124 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.771 Prop: 13862.799 PropClause: 13346.805 Set: 1734.075 Check: 1.644 Back: 431.112 INFO - Atoms: 25407/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3091 Props: 17448614 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.775 Prop: 13879.541 PropClause: 13362.91 Set: 1738.217 Check: 1.644 Back: 431.725 INFO - Atoms: 25490/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3092 Props: 17474107 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.781 Prop: 13896.801 PropClause: 13379.535 Set: 1742.379 Check: 1.644 Back: 432.332 INFO - Atoms: 25493/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3093 Props: 17499602 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.785 Prop: 13914.398 PropClause: 13396.498 Set: 1746.504 Check: 1.644 Back: 432.939 INFO - Atoms: 25495/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3094 Props: 17525273 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.79 Prop: 13931.6 PropClause: 13413.055 Set: 1750.657 Check: 1.644 Back: 433.546 INFO - Atoms: 25671/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3095 Props: 17551122 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.793 Prop: 13948.619 PropClause: 13429.432 Set: 1754.834 Check: 1.644 Back: 434.156 INFO - Atoms: 25849/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3096 Props: 17577119 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.799 Prop: 13965.884 PropClause: 13446.04 Set: 1759.138 Check: 1.644 Back: 434.789 INFO - Atoms: 25997/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3097 Props: 17603278 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.803 Prop: 13984.37 PropClause: 13463.875 Set: 1763.463 Check: 1.644 Back: 435.42 INFO - Atoms: 26159/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3098 Props: 17629588 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.807 Prop: 14002.652 PropClause: 13481.5 Set: 1767.778 Check: 1.644 Back: 436.051 INFO - Atoms: 26310/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3099 Props: 17656061 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.813 Prop: 14023.85 PropClause: 13502.03 Set: 1772.312 Check: 1.644 Back: 436.68 INFO - Atoms: 26473/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3100 Props: 17682696 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.819 Prop: 14043.481 PropClause: 13520.996 Set: 1776.681 Check: 1.644 Back: 437.327 INFO - Atoms: 26635/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3101 Props: 17709499 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.823 Prop: 14065.897 PropClause: 13542.741 Set: 1781.218 Check: 1.644 Back: 437.976 INFO - Atoms: 26803/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3102 Props: 17736471 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.828 Prop: 14084.106 PropClause: 13560.279 Set: 1785.627 Check: 1.644 Back: 438.643 INFO - Atoms: 26972/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3103 Props: 17763608 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.833 Prop: 14105.296 PropClause: 13580.791 Set: 1790.113 Check: 1.644 Back: 439.294 INFO - Atoms: 27137/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3104 Props: 17790896 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.839 Prop: 14124.61 PropClause: 13599.423 Set: 1794.591 Check: 1.644 Back: 439.95 INFO - Atoms: 27288/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3105 Props: 17818358 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.843 Prop: 14144.681 PropClause: 13618.808 Set: 1799.132 Check: 1.644 Back: 440.607 INFO - Atoms: 27462/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3106 Props: 17845982 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.847 Prop: 14167.084 PropClause: 13640.519 Set: 1803.729 Check: 1.644 Back: 441.284 INFO - Atoms: 27624/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3107 Props: 17873757 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.852 Prop: 14187.183 PropClause: 13659.918 Set: 1808.37 Check: 1.644 Back: 441.971 INFO - Atoms: 27775/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3108 Props: 17901711 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.857 Prop: 14209.072 PropClause: 13681.107 Set: 1813.078 Check: 1.644 Back: 442.653 INFO - Atoms: 27954/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3109 Props: 17929829 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.863 Prop: 14232.035 PropClause: 13703.365 Set: 1817.916 Check: 1.644 Back: 443.341 INFO - Atoms: 28118/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3110 Props: 17958108 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.868 Prop: 14252.774 PropClause: 13723.395 Set: 1822.652 Check: 1.644 Back: 444.04 INFO - Atoms: 28279/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3111 Props: 17986551 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.873 Prop: 14275.936 PropClause: 13745.85 Set: 1827.437 Check: 1.644 Back: 444.742 INFO - Atoms: 28443/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3112 Props: 18015142 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.877 Prop: 14297.188 PropClause: 13766.387 Set: 1832.24 Check: 1.644 Back: 445.442 INFO - Atoms: 28591/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3113 Props: 18043896 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.882 Prop: 14319.112 PropClause: 13787.587 Set: 1837.029 Check: 1.644 Back: 446.144 INFO - Atoms: 28754/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3114 Props: 18072824 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.888 Prop: 14339.303 PropClause: 13807.057 Set: 1841.767 Check: 1.644 Back: 446.866 INFO - Atoms: 28928/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3115 Props: 18101919 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.892 Prop: 14360.521 PropClause: 13827.522 Set: 1846.578 Check: 1.644 Back: 447.589 INFO - Atoms: 29095/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3116 Props: 18131163 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.899 Prop: 14394.071 PropClause: 13860.223 Set: 1853.446 Check: 1.644 Back: 448.318 INFO - Atoms: 29244/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3117 Props: 18160569 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.904 Prop: 14417.509 PropClause: 13882.925 Set: 1858.554 Check: 1.644 Back: 449.102 INFO - Atoms: 29406/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3118 Props: 18190154 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.91 Prop: 14439.932 PropClause: 13904.604 Set: 1863.532 Check: 1.644 Back: 449.832 INFO - Atoms: 29585/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3119 Props: 18220025 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.916 Prop: 14462.77 PropClause: 13926.685 Set: 1868.53 Check: 1.644 Back: 450.587 INFO - Atoms: 29871/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3120 Props: 18249932 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.923 Prop: 14486.001 PropClause: 13949.167 Set: 1873.638 Check: 1.644 Back: 451.328 INFO - Atoms: 29907/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3121 Props: 18279995 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.928 Prop: 14509.137 PropClause: 13971.548 Set: 1878.728 Check: 1.644 Back: 452.067 INFO - Atoms: 30063/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3122 Props: 18310216 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.934 Prop: 14532.633 PropClause: 13994.289 Set: 1883.789 Check: 1.644 Back: 452.819 INFO - Atoms: 30221/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3123 Props: 18340611 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.938 Prop: 14555.929 PropClause: 14016.827 Set: 1888.86 Check: 1.644 Back: 453.569 INFO - Atoms: 30395/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3124 Props: 18371157 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.944 Prop: 14582.032 PropClause: 14042.166 Set: 1894.123 Check: 1.644 Back: 454.327 INFO - Atoms: 30546/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3125 Props: 18401870 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.949 Prop: 14606.259 PropClause: 14065.623 Set: 1899.343 Check: 1.644 Back: 455.079 INFO - Atoms: 30713/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3126 Props: 18432755 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.955 Prop: 14630.816 PropClause: 14089.402 Set: 1904.571 Check: 1.644 Back: 455.847 INFO - Atoms: 30885/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3127 Props: 18463796 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.961 Prop: 14658.098 PropClause: 14115.91 Set: 1909.968 Check: 1.644 Back: 456.612 INFO - Atoms: 31041/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3128 Props: 18494995 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.966 Prop: 14689.911 PropClause: 14146.934 Set: 1915.498 Check: 1.644 Back: 457.389 INFO - Atoms: 31199/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3129 Props: 18526371 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.971 Prop: 14719.49 PropClause: 14175.729 Set: 1920.901 Check: 1.644 Back: 458.192 INFO - Atoms: 31376/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3130 Props: 18557896 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.975 Prop: 14744.933 PropClause: 14200.384 Set: 1926.278 Check: 1.644 Back: 458.98 INFO - Atoms: 31525/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3131 Props: 18589589 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.98 Prop: 14771.071 PropClause: 14225.729 Set: 1931.652 Check: 1.644 Back: 459.78 INFO - Atoms: 31693/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3132 Props: 18621453 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.986 Prop: 14800.79 PropClause: 14254.617 Set: 1937.604 Check: 1.644 Back: 460.567 INFO - Atoms: 31864/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3133 Props: 18658516 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.991 Prop: 14832.915 PropClause: 14285.816 Set: 1944.247 Check: 1.644 Back: 461.461 INFO - Atoms: 37063/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3134 Props: 18695585 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2755.996 Prop: 14866.003 PropClause: 14317.972 Set: 1950.688 Check: 1.644 Back: 462.395 INFO - Atoms: 37069/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3135 Props: 18732817 Tprops: 0 Decides: 69130 RSplits: 0 INFO - Times: Expl: 2756.0 Prop: 14901.71 PropClause: 14352.741 Set: 1957.208 Check: 1.644 Back: 463.326 INFO - Atoms: 37232/48446 Clauses: 594 Axioms: 160706 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 390 Props: 41754 Tprops: 1078 Decides: 41679 RSplits: 0 INFO - Times: Expl: 203.917 Prop: 32976.749 PropClause: 19.205 Set: 4015.164 Check: 97.987 Back: 114.608 INFO - Atoms: 46/835 Clauses: 390 Axioms: 835 INFO - CCTimes: iE 237482 eq 20206000 cc 48628241 setRep 28379642 INFO - Merges: 243634, cc:410406 INFO - BVTimes: BB 141034817 BB_DPLL 30655125773 Graph 960387 INFO - BitBlastingClauses: 334754 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat