/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_063_096.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 326074579 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 76538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.718 Prop: 192.283 PropClause: 187.201 Set: 56.385 Check: 0.0 Back: 0.0 INFO - Atoms: 76538/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 153076 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.817 Prop: 313.301 PropClause: 304.648 Set: 85.403 Check: 0.0 Back: 2.242 INFO - Atoms: 76538/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 229602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.881 Prop: 443.453 PropClause: 432.038 Set: 103.556 Check: 0.0 Back: 4.252 INFO - Atoms: 76526/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 306118 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.934 Prop: 550.073 PropClause: 536.635 Set: 118.476 Check: 0.0 Back: 6.225 INFO - Atoms: 76516/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 382626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.989 Prop: 670.27 PropClause: 654.528 Set: 147.56 Check: 0.0 Back: 8.178 INFO - Atoms: 76508/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 459134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.043 Prop: 808.52 PropClause: 790.488 Set: 176.113 Check: 0.0 Back: 10.147 INFO - Atoms: 76508/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 535636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.095 Prop: 894.303 PropClause: 874.368 Set: 189.752 Check: 0.0 Back: 12.128 INFO - Atoms: 76502/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 612130 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.167 Prop: 997.543 PropClause: 975.693 Set: 203.462 Check: 0.0 Back: 13.958 INFO - Atoms: 76494/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 688369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.221 Prop: 1090.11 PropClause: 1066.284 Set: 218.066 Check: 0.0 Back: 15.828 INFO - Atoms: 76239/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 764480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.267 Prop: 1182.603 PropClause: 1156.858 Set: 231.824 Check: 0.0 Back: 17.657 INFO - Atoms: 76111/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 840398 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.318 Prop: 1271.317 PropClause: 1243.683 Set: 245.683 Check: 0.0 Back: 19.402 INFO - Atoms: 75918/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 916188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.37 Prop: 1362.178 PropClause: 1332.662 Set: 266.331 Check: 0.0 Back: 21.142 INFO - Atoms: 75790/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 991844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.421 Prop: 1455.476 PropClause: 1424.004 Set: 288.802 Check: 0.0 Back: 22.882 INFO - Atoms: 75656/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 1067369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.47 Prop: 1553.888 PropClause: 1520.371 Set: 313.498 Check: 0.0 Back: 24.645 INFO - Atoms: 75525/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 1142763 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.522 Prop: 1662.718 PropClause: 1627.04 Set: 332.371 Check: 0.0 Back: 26.419 INFO - Atoms: 75394/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1218024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.567 Prop: 1752.755 PropClause: 1715.198 Set: 345.849 Check: 0.0 Back: 28.359 INFO - Atoms: 75261/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1293285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.625 Prop: 1846.099 PropClause: 1806.656 Set: 359.47 Check: 0.0 Back: 30.1 INFO - Atoms: 75261/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1368417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.674 Prop: 1945.646 PropClause: 1904.309 Set: 373.044 Check: 0.0 Back: 31.856 INFO - Atoms: 75132/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1443416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.721 Prop: 2038.728 PropClause: 1995.521 Set: 386.867 Check: 0.0 Back: 33.607 INFO - Atoms: 74999/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1518286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.77 Prop: 2136.503 PropClause: 2091.419 Set: 416.941 Check: 0.0 Back: 35.346 INFO - Atoms: 74870/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1593023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.817 Prop: 2232.646 PropClause: 2185.684 Set: 430.515 Check: 0.0 Back: 37.101 INFO - Atoms: 74737/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1667691 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.866 Prop: 2323.663 PropClause: 2274.835 Set: 443.949 Check: 0.0 Back: 38.851 INFO - Atoms: 74668/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1742112 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.912 Prop: 2414.732 PropClause: 2364.048 Set: 457.443 Check: 0.0 Back: 40.569 INFO - Atoms: 74421/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1816402 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.958 Prop: 2510.077 PropClause: 2457.547 Set: 470.871 Check: 0.0 Back: 42.316 INFO - Atoms: 74290/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1890557 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.006 Prop: 2595.741 PropClause: 2541.364 Set: 484.451 Check: 0.0 Back: 44.035 INFO - Atoms: 74155/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1964583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.053 Prop: 2685.973 PropClause: 2629.754 Set: 505.301 Check: 0.0 Back: 45.752 INFO - Atoms: 74026/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 2038478 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.098 Prop: 2772.323 PropClause: 2714.259 Set: 518.929 Check: 0.0 Back: 47.66 INFO - Atoms: 73895/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 2112242 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.205 Prop: 2863.336 PropClause: 2803.421 Set: 532.352 Check: 0.0 Back: 49.551 INFO - Atoms: 73764/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 2185873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.227 Prop: 2953.132 PropClause: 2891.381 Set: 545.601 Check: 0.0 Back: 51.471 INFO - Atoms: 73631/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 2259377 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.249 Prop: 3047.627 PropClause: 2984.046 Set: 559.053 Check: 0.0 Back: 53.178 INFO - Atoms: 73504/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 2332746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.27 Prop: 3141.076 PropClause: 3075.663 Set: 572.391 Check: 0.0 Back: 54.886 INFO - Atoms: 73369/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2405986 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.293 Prop: 3234.245 PropClause: 3167.006 Set: 585.877 Check: 0.0 Back: 56.597 INFO - Atoms: 73240/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2479093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.317 Prop: 3340.336 PropClause: 3271.204 Set: 600.891 Check: 0.0 Back: 58.329 INFO - Atoms: 73107/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2552072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.339 Prop: 3429.025 PropClause: 3358.05 Set: 634.937 Check: 0.0 Back: 60.088 INFO - Atoms: 72979/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2624917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.36 Prop: 3518.561 PropClause: 3445.766 Set: 648.187 Check: 0.0 Back: 61.778 INFO - Atoms: 72845/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 2697633 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.382 Prop: 3607.787 PropClause: 3533.174 Set: 661.249 Check: 0.0 Back: 63.475 INFO - Atoms: 72716/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 2770218 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.401 Prop: 3694.665 PropClause: 3618.226 Set: 674.509 Check: 0.0 Back: 65.155 INFO - Atoms: 72585/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2842672 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.419 Prop: 3778.363 PropClause: 3700.112 Set: 687.279 Check: 0.0 Back: 66.831 INFO - Atoms: 72454/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2914995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.471 Prop: 3866.556 PropClause: 3786.481 Set: 700.677 Check: 0.0 Back: 68.5 INFO - Atoms: 72323/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2987186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.529 Prop: 3956.827 PropClause: 3874.955 Set: 713.506 Check: 0.0 Back: 70.222 INFO - Atoms: 72191/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 3059245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.547 Prop: 4042.389 PropClause: 3958.707 Set: 726.523 Check: 0.0 Back: 71.886 INFO - Atoms: 72059/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 3131175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.577 Prop: 4123.537 PropClause: 4038.071 Set: 739.149 Check: 0.0 Back: 73.561 INFO - Atoms: 71930/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 3202974 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.599 Prop: 4210.843 PropClause: 4123.592 Set: 752.414 Check: 0.0 Back: 75.2 INFO - Atoms: 71799/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 3274644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.621 Prop: 4297.171 PropClause: 4208.147 Set: 765.22 Check: 0.0 Back: 76.873 INFO - Atoms: 71670/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 3346181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.642 Prop: 4391.858 PropClause: 4301.003 Set: 778.961 Check: 0.0 Back: 78.519 INFO - Atoms: 71537/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 3417589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.662 Prop: 4480.498 PropClause: 4387.861 Set: 791.858 Check: 0.0 Back: 80.202 INFO - Atoms: 71408/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 3488864 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.684 Prop: 4565.663 PropClause: 4471.25 Set: 804.753 Check: 0.0 Back: 81.846 INFO - Atoms: 71275/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 3560008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.704 Prop: 4649.057 PropClause: 4552.866 Set: 817.343 Check: 0.0 Back: 83.498 INFO - Atoms: 71144/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 3631021 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.722 Prop: 4733.326 PropClause: 4635.364 Set: 830.221 Check: 0.0 Back: 85.14 INFO - Atoms: 71013/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 3701905 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.745 Prop: 4822.487 PropClause: 4722.757 Set: 842.934 Check: 0.0 Back: 86.793 INFO - Atoms: 70884/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 3772656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.762 Prop: 4908.98 PropClause: 4807.484 Set: 855.642 Check: 0.0 Back: 88.421 INFO - Atoms: 70751/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 3843275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.784 Prop: 5003.501 PropClause: 4900.221 Set: 868.782 Check: 0.0 Back: 90.063 INFO - Atoms: 70619/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 3913762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.808 Prop: 5102.557 PropClause: 4997.498 Set: 881.954 Check: 0.0 Back: 91.764 INFO - Atoms: 70487/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 3984120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.831 Prop: 5197.746 PropClause: 5090.857 Set: 895.453 Check: 0.0 Back: 93.512 INFO - Atoms: 70358/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 4054347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.856 Prop: 5289.152 PropClause: 5180.461 Set: 909.027 Check: 0.0 Back: 95.145 INFO - Atoms: 70227/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 4124442 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.881 Prop: 5388.266 PropClause: 5277.621 Set: 923.744 Check: 0.0 Back: 96.815 INFO - Atoms: 70095/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 4194405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.904 Prop: 5483.011 PropClause: 5370.462 Set: 938.65 Check: 0.0 Back: 98.571 INFO - Atoms: 69963/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 4264241 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.928 Prop: 5582.118 PropClause: 5467.718 Set: 952.584 Check: 0.0 Back: 100.295 INFO - Atoms: 69836/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 4333944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.951 Prop: 5668.72 PropClause: 5552.586 Set: 965.041 Check: 0.0 Back: 101.942 INFO - Atoms: 69703/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 4403516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.973 Prop: 5758.244 PropClause: 5640.372 Set: 977.672 Check: 0.0 Back: 103.551 INFO - Atoms: 69572/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 4472957 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.998 Prop: 5858.072 PropClause: 5738.177 Set: 992.866 Check: 0.0 Back: 105.169 INFO - Atoms: 69441/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 4542266 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.021 Prop: 5949.918 PropClause: 5828.249 Set: 1005.991 Check: 0.0 Back: 106.972 INFO - Atoms: 69309/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 4611443 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.043 Prop: 6045.234 PropClause: 5921.55 Set: 1020.731 Check: 0.0 Back: 108.806 INFO - Atoms: 69177/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 4680490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.064 Prop: 6127.753 PropClause: 6002.339 Set: 1033.207 Check: 0.0 Back: 110.44 INFO - Atoms: 69047/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 4749407 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.095 Prop: 6209.216 PropClause: 6082.091 Set: 1045.622 Check: 0.0 Back: 112.035 INFO - Atoms: 68917/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 4818192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.114 Prop: 6302.601 PropClause: 6173.632 Set: 1059.077 Check: 0.0 Back: 113.651 INFO - Atoms: 68785/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 4886845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.135 Prop: 6394.645 PropClause: 6263.797 Set: 1073.24 Check: 0.0 Back: 115.27 INFO - Atoms: 68653/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 4955371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.153 Prop: 6495.235 PropClause: 6362.391 Set: 1089.035 Check: 0.0 Back: 116.873 INFO - Atoms: 68526/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 5023762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.174 Prop: 6591.269 PropClause: 6456.667 Set: 1102.297 Check: 0.0 Back: 118.658 INFO - Atoms: 68391/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 5092024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.193 Prop: 6693.587 PropClause: 6556.981 Set: 1118.013 Check: 0.0 Back: 120.278 INFO - Atoms: 68262/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 5160155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.214 Prop: 6783.102 PropClause: 6644.706 Set: 1131.382 Check: 0.0 Back: 122.083 INFO - Atoms: 68131/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 5228157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.236 Prop: 6871.978 PropClause: 6731.883 Set: 1143.874 Check: 0.0 Back: 123.749 INFO - Atoms: 68002/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 5296026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.256 Prop: 6956.278 PropClause: 6814.369 Set: 1157.632 Check: 0.0 Back: 125.352 INFO - Atoms: 67869/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 5363764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.274 Prop: 7041.212 PropClause: 6897.548 Set: 1170.336 Check: 0.0 Back: 126.948 INFO - Atoms: 67738/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 5431369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.293 Prop: 7128.674 PropClause: 6983.279 Set: 1183.082 Check: 0.0 Back: 128.551 INFO - Atoms: 67605/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 5498847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.316 Prop: 7218.938 PropClause: 7071.785 Set: 1196.232 Check: 0.0 Back: 130.143 INFO - Atoms: 67478/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 5566192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.337 Prop: 7303.586 PropClause: 7154.615 Set: 1209.868 Check: 0.0 Back: 131.815 INFO - Atoms: 67345/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 5633406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.357 Prop: 7386.345 PropClause: 7235.673 Set: 1222.159 Check: 0.0 Back: 133.417 INFO - Atoms: 67214/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 5700487 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.378 Prop: 7471.501 PropClause: 7319.088 Set: 1234.878 Check: 0.0 Back: 135.06 INFO - Atoms: 67081/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 5767439 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.397 Prop: 7551.004 PropClause: 7396.931 Set: 1246.893 Check: 0.0 Back: 136.603 INFO - Atoms: 66952/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 5834260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.416 Prop: 7629.481 PropClause: 7473.741 Set: 1259.081 Check: 0.0 Back: 138.139 INFO - Atoms: 66821/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 5900952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.434 Prop: 7707.758 PropClause: 7550.363 Set: 1270.992 Check: 0.0 Back: 139.689 INFO - Atoms: 66692/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 5967511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.456 Prop: 7782.89 PropClause: 7623.837 Set: 1282.843 Check: 0.0 Back: 141.228 INFO - Atoms: 66559/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 6033941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.51 Prop: 7858.947 PropClause: 7698.234 Set: 1294.462 Check: 0.0 Back: 142.777 INFO - Atoms: 66430/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 6100238 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.57 Prop: 7930.809 PropClause: 7768.444 Set: 1306.26 Check: 0.0 Back: 144.308 INFO - Atoms: 66297/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 6166406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.583 Prop: 8005.916 PropClause: 7841.897 Set: 1317.999 Check: 0.0 Back: 145.881 INFO - Atoms: 66168/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 6232441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.597 Prop: 8080.973 PropClause: 7915.307 Set: 1329.941 Check: 0.0 Back: 147.412 INFO - Atoms: 66035/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 6298344 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.613 Prop: 8159.101 PropClause: 7991.796 Set: 1369.84 Check: 0.0 Back: 148.952 INFO - Atoms: 65903/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 6364117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.627 Prop: 8239.211 PropClause: 8070.271 Set: 1381.801 Check: 0.0 Back: 150.483 INFO - Atoms: 65773/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 6429758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.64 Prop: 8313.298 PropClause: 8142.729 Set: 1393.3 Check: 0.0 Back: 152.014 INFO - Atoms: 65641/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 6495269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.653 Prop: 8386.713 PropClause: 8214.496 Set: 1405.111 Check: 0.0 Back: 153.528 INFO - Atoms: 65511/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 6560651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.666 Prop: 8463.739 PropClause: 8289.883 Set: 1416.769 Check: 0.0 Back: 155.038 INFO - Atoms: 65382/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 6625900 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.681 Prop: 8541.266 PropClause: 8365.776 Set: 1428.355 Check: 0.0 Back: 156.55 INFO - Atoms: 65249/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 6691020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.695 Prop: 8618.345 PropClause: 8441.236 Set: 1440.006 Check: 0.0 Back: 158.06 INFO - Atoms: 65120/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 6756007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.709 Prop: 8691.317 PropClause: 8512.591 Set: 1451.815 Check: 0.0 Back: 159.562 INFO - Atoms: 64987/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 6820865 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.722 Prop: 8770.927 PropClause: 8590.591 Set: 1463.481 Check: 0.0 Back: 161.066 INFO - Atoms: 64858/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 6885590 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.736 Prop: 8848.034 PropClause: 8666.085 Set: 1474.982 Check: 0.0 Back: 162.562 INFO - Atoms: 64725/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 6950186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.75 Prop: 8925.103 PropClause: 8741.532 Set: 1486.549 Check: 0.0 Back: 164.054 INFO - Atoms: 64596/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 7014649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.762 Prop: 8997.336 PropClause: 8812.149 Set: 1497.915 Check: 0.0 Back: 165.559 INFO - Atoms: 64463/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 7078983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.774 Prop: 9072.291 PropClause: 8885.502 Set: 1509.354 Check: 0.0 Back: 167.05 INFO - Atoms: 64334/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 7143182 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.786 Prop: 9145.425 PropClause: 8957.035 Set: 1520.914 Check: 0.0 Back: 168.538 INFO - Atoms: 64199/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 7207252 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.799 Prop: 9219.091 PropClause: 9029.091 Set: 1532.32 Check: 0.0 Back: 170.016 INFO - Atoms: 64070/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 7271189 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.813 Prop: 9294.736 PropClause: 9103.158 Set: 1544.207 Check: 0.0 Back: 171.499 INFO - Atoms: 63937/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 7334997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.828 Prop: 9367.451 PropClause: 9174.281 Set: 1555.568 Check: 0.0 Back: 172.989 INFO - Atoms: 63808/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 7398674 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.855 Prop: 9458.067 PropClause: 9263.117 Set: 1570.054 Check: 0.0 Back: 174.461 INFO - Atoms: 63677/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 7462219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.867 Prop: 9536.235 PropClause: 9339.703 Set: 1581.353 Check: 0.0 Back: 176.116 INFO - Atoms: 63545/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 7525634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.879 Prop: 9608.481 PropClause: 9410.357 Set: 1592.604 Check: 0.0 Back: 177.575 INFO - Atoms: 63415/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 7588917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.893 Prop: 9684.105 PropClause: 9484.405 Set: 1603.833 Check: 0.0 Back: 179.069 INFO - Atoms: 63283/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 7652070 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.908 Prop: 9752.932 PropClause: 9551.646 Set: 1615.27 Check: 0.0 Back: 180.545 INFO - Atoms: 63153/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 7715094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.922 Prop: 9827.192 PropClause: 9624.332 Set: 1626.502 Check: 0.0 Back: 182.015 INFO - Atoms: 63024/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 7777985 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.934 Prop: 9897.255 PropClause: 9692.804 Set: 1637.921 Check: 0.0 Back: 183.469 INFO - Atoms: 62891/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 7840745 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.948 Prop: 9972.189 PropClause: 9766.158 Set: 1649.038 Check: 0.0 Back: 184.932 INFO - Atoms: 62760/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 7903374 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.962 Prop: 10046.562 PropClause: 9838.976 Set: 1660.309 Check: 0.0 Back: 186.377 INFO - Atoms: 62629/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 7965874 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.975 Prop: 10119.157 PropClause: 9909.988 Set: 1671.377 Check: 0.0 Back: 187.828 INFO - Atoms: 62500/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 8028241 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.991 Prop: 10187.308 PropClause: 9976.591 Set: 1682.569 Check: 0.0 Back: 189.275 INFO - Atoms: 62367/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 8090479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.006 Prop: 10264.769 PropClause: 10052.435 Set: 1694.268 Check: 0.0 Back: 190.709 INFO - Atoms: 62238/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 8152584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.021 Prop: 10333.047 PropClause: 10119.166 Set: 1705.117 Check: 0.0 Back: 192.188 INFO - Atoms: 62105/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 8214560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.035 Prop: 10405.022 PropClause: 10189.574 Set: 1716.202 Check: 0.0 Back: 193.613 INFO - Atoms: 61976/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 8276401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.048 Prop: 10467.785 PropClause: 10250.764 Set: 1727.178 Check: 0.0 Back: 195.054 INFO - Atoms: 61841/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 8338113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.062 Prop: 10531.904 PropClause: 10313.357 Set: 1738.092 Check: 0.0 Back: 196.487 INFO - Atoms: 61712/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 8399692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.076 Prop: 10598.831 PropClause: 10378.752 Set: 1748.865 Check: 0.0 Back: 197.933 INFO - Atoms: 61579/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 8461144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.09 Prop: 10670.35 PropClause: 10448.726 Set: 1759.885 Check: 0.0 Back: 199.355 INFO - Atoms: 61452/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 8522461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.105 Prop: 10741.476 PropClause: 10518.326 Set: 1770.824 Check: 0.0 Back: 200.791 INFO - Atoms: 61317/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 8583649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.119 Prop: 10809.154 PropClause: 10584.493 Set: 1781.417 Check: 0.0 Back: 202.29 INFO - Atoms: 61188/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 8644706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.143 Prop: 10877.569 PropClause: 10651.396 Set: 1792.121 Check: 0.0 Back: 203.712 INFO - Atoms: 61057/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 8705632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.159 Prop: 10945.051 PropClause: 10717.374 Set: 1802.804 Check: 0.0 Back: 205.12 INFO - Atoms: 60926/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 8766425 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.174 Prop: 11014.124 PropClause: 10784.783 Set: 1814.641 Check: 0.0 Back: 206.53 INFO - Atoms: 60793/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 8827089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.188 Prop: 11081.284 PropClause: 10850.421 Set: 1825.485 Check: 0.0 Back: 207.963 INFO - Atoms: 60664/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 8887622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.203 Prop: 11153.986 PropClause: 10921.624 Set: 1836.489 Check: 0.0 Back: 209.386 INFO - Atoms: 60533/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 8948026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.217 Prop: 11226.737 PropClause: 10992.881 Set: 1847.07 Check: 0.0 Back: 210.799 INFO - Atoms: 60404/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 9008297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.231 Prop: 11289.487 PropClause: 11054.123 Set: 1857.885 Check: 0.0 Back: 212.251 INFO - Atoms: 60271/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 9068437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.245 Prop: 11358.981 PropClause: 11122.126 Set: 1868.553 Check: 0.0 Back: 213.663 INFO - Atoms: 60140/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 9128444 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.261 Prop: 11431.042 PropClause: 11192.617 Set: 1907.287 Check: 0.0 Back: 215.069 INFO - Atoms: 60007/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 9188324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.276 Prop: 11502.408 PropClause: 11262.477 Set: 1918.0 Check: 0.0 Back: 216.524 INFO - Atoms: 59880/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 9248071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.293 Prop: 11576.603 PropClause: 11335.057 Set: 1930.689 Check: 0.0 Back: 217.985 INFO - Atoms: 59747/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 9307689 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.309 Prop: 11651.961 PropClause: 11408.86 Set: 1941.892 Check: 0.0 Back: 219.54 INFO - Atoms: 59618/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 9367174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.324 Prop: 11733.765 PropClause: 11489.004 Set: 1955.179 Check: 0.0 Back: 221.04 INFO - Atoms: 59485/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 9426528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.337 Prop: 11798.995 PropClause: 11552.762 Set: 1965.749 Check: 0.0 Back: 222.558 INFO - Atoms: 59354/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 9485751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.352 Prop: 11861.693 PropClause: 11613.985 Set: 1976.349 Check: 0.0 Back: 223.929 INFO - Atoms: 59223/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 9544845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.367 Prop: 11929.276 PropClause: 11680.096 Set: 1986.825 Check: 0.0 Back: 225.305 INFO - Atoms: 59094/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 9603806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.383 Prop: 11991.993 PropClause: 11741.333 Set: 1997.364 Check: 0.0 Back: 226.657 INFO - Atoms: 58961/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 9662638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.396 Prop: 12054.905 PropClause: 11802.783 Set: 2007.789 Check: 0.0 Back: 228.022 INFO - Atoms: 58832/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 9721335 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.411 Prop: 12121.741 PropClause: 11868.145 Set: 2034.648 Check: 0.0 Back: 229.378 INFO - Atoms: 58697/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 9779905 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.422 Prop: 12185.41 PropClause: 11930.357 Set: 2045.048 Check: 0.0 Back: 230.728 INFO - Atoms: 58570/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 9838342 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.434 Prop: 12250.894 PropClause: 11994.37 Set: 2055.346 Check: 0.0 Back: 232.069 INFO - Atoms: 58437/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 9896650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.444 Prop: 12318.291 PropClause: 12060.315 Set: 2065.558 Check: 0.0 Back: 233.414 INFO - Atoms: 58308/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 9954823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.457 Prop: 12384.982 PropClause: 12125.555 Set: 2076.112 Check: 0.0 Back: 234.773 INFO - Atoms: 58173/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 10012867 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.472 Prop: 12452.447 PropClause: 12191.549 Set: 2086.479 Check: 0.0 Back: 236.115 INFO - Atoms: 58044/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 10070780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.485 Prop: 12518.586 PropClause: 12256.249 Set: 2096.698 Check: 0.0 Back: 237.483 INFO - Atoms: 57913/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 10128564 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.498 Prop: 12583.508 PropClause: 12319.723 Set: 2106.704 Check: 0.0 Back: 238.856 INFO - Atoms: 57784/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 10186213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.513 Prop: 12644.498 PropClause: 12379.284 Set: 2116.871 Check: 0.0 Back: 240.178 INFO - Atoms: 57649/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 10243733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.527 Prop: 12709.839 PropClause: 12443.195 Set: 2126.847 Check: 0.0 Back: 241.52 INFO - Atoms: 57520/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 10301122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.541 Prop: 12773.607 PropClause: 12505.526 Set: 2136.934 Check: 0.0 Back: 242.852 INFO - Atoms: 57389/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 10358380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.555 Prop: 12839.91 PropClause: 12570.404 Set: 2147.04 Check: 0.0 Back: 244.175 INFO - Atoms: 57258/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 10415505 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.567 Prop: 12904.157 PropClause: 12633.22 Set: 2157.079 Check: 0.0 Back: 245.513 INFO - Atoms: 57125/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 10472501 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.581 Prop: 12970.202 PropClause: 12697.822 Set: 2167.672 Check: 0.0 Back: 246.838 INFO - Atoms: 56996/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 10529366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.594 Prop: 13035.774 PropClause: 12761.976 Set: 2177.952 Check: 0.0 Back: 248.176 INFO - Atoms: 56865/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 10586102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.607 Prop: 13100.157 PropClause: 12824.943 Set: 2187.946 Check: 0.0 Back: 249.498 INFO - Atoms: 56736/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 10642705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.62 Prop: 13158.9 PropClause: 12882.267 Set: 2197.931 Check: 0.0 Back: 250.815 INFO - Atoms: 56603/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 10699179 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.635 Prop: 13224.087 PropClause: 12946.053 Set: 2207.812 Check: 0.0 Back: 252.139 INFO - Atoms: 56474/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 10755520 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.651 Prop: 13280.447 PropClause: 13001.015 Set: 2217.661 Check: 0.0 Back: 253.468 INFO - Atoms: 56341/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 10811729 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.665 Prop: 13334.002 PropClause: 13053.174 Set: 2227.333 Check: 0.0 Back: 254.798 INFO - Atoms: 56209/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 10867808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.679 Prop: 13387.656 PropClause: 13105.423 Set: 2236.991 Check: 0.0 Back: 256.096 INFO - Atoms: 56079/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 10923758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.694 Prop: 13441.586 PropClause: 13157.966 Set: 2246.431 Check: 0.0 Back: 257.4 INFO - Atoms: 55950/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 10979575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.705 Prop: 13498.108 PropClause: 13213.103 Set: 2255.978 Check: 0.0 Back: 258.681 INFO - Atoms: 55817/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 11035261 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.717 Prop: 13554.014 PropClause: 13267.628 Set: 2265.616 Check: 0.0 Back: 259.969 INFO - Atoms: 55686/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 11090816 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.731 Prop: 13610.546 PropClause: 13322.765 Set: 2275.188 Check: 0.0 Back: 261.24 INFO - Atoms: 55555/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 11146242 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.745 Prop: 13663.982 PropClause: 13374.82 Set: 2284.699 Check: 0.0 Back: 262.535 INFO - Atoms: 55426/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 11201535 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.76 Prop: 13720.116 PropClause: 13429.571 Set: 2294.311 Check: 0.0 Back: 263.825 INFO - Atoms: 55293/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 11256697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.773 Prop: 13774.774 PropClause: 13482.851 Set: 2303.988 Check: 0.0 Back: 265.093 INFO - Atoms: 55162/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 11311726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.788 Prop: 13828.931 PropClause: 13535.631 Set: 2313.487 Check: 0.0 Back: 266.356 INFO - Atoms: 55029/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 11366626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.803 Prop: 13886.491 PropClause: 13591.828 Set: 2323.011 Check: 0.0 Back: 267.665 INFO - Atoms: 54900/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 11421393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.817 Prop: 13941.615 PropClause: 13645.592 Set: 2332.403 Check: 0.0 Back: 268.933 INFO - Atoms: 54767/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 11476031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.832 Prop: 14000.631 PropClause: 13703.244 Set: 2342.07 Check: 0.0 Back: 270.188 INFO - Atoms: 54638/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 11530538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.847 Prop: 14062.37 PropClause: 13763.429 Set: 2353.018 Check: 0.0 Back: 271.491 INFO - Atoms: 54507/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 11584916 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.861 Prop: 14119.454 PropClause: 13819.163 Set: 2362.534 Check: 0.0 Back: 272.757 INFO - Atoms: 54378/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 11639159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.874 Prop: 14175.718 PropClause: 13874.078 Set: 2371.925 Check: 0.0 Back: 274.007 INFO - Atoms: 54243/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 11693272 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.886 Prop: 14228.739 PropClause: 13925.744 Set: 2381.138 Check: 0.0 Back: 275.255 INFO - Atoms: 54113/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 11747255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.898 Prop: 14284.792 PropClause: 13980.454 Set: 2390.564 Check: 0.0 Back: 276.502 INFO - Atoms: 53983/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 11801109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.91 Prop: 14339.335 PropClause: 14033.655 Set: 2399.852 Check: 0.0 Back: 277.738 INFO - Atoms: 53854/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 11854828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.921 Prop: 14394.04 PropClause: 14087.004 Set: 2409.29 Check: 0.0 Back: 278.97 INFO - Atoms: 53719/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 11908417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.934 Prop: 14445.631 PropClause: 14137.264 Set: 2418.359 Check: 0.0 Back: 280.207 INFO - Atoms: 53589/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 11961874 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.947 Prop: 14498.956 PropClause: 14189.261 Set: 2427.709 Check: 0.0 Back: 281.428 INFO - Atoms: 53457/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 12015204 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.958 Prop: 14550.232 PropClause: 14239.214 Set: 2436.782 Check: 0.0 Back: 282.664 INFO - Atoms: 53330/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 12068401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.969 Prop: 14602.437 PropClause: 14290.098 Set: 2446.085 Check: 0.0 Back: 283.886 INFO - Atoms: 53197/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 12121469 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.981 Prop: 14656.24 PropClause: 14342.592 Set: 2455.34 Check: 0.0 Back: 285.126 INFO - Atoms: 53068/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 12174404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.994 Prop: 14706.635 PropClause: 14391.675 Set: 2464.391 Check: 0.0 Back: 286.36 INFO - Atoms: 52935/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 12227208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.006 Prop: 14757.786 PropClause: 14441.509 Set: 2473.465 Check: 0.0 Back: 287.584 INFO - Atoms: 52804/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 12279879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.02 Prop: 14810.765 PropClause: 14493.17 Set: 2482.517 Check: 0.0 Back: 288.798 INFO - Atoms: 52671/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 12332421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.032 Prop: 14861.783 PropClause: 14542.873 Set: 2491.636 Check: 0.0 Back: 290.006 INFO - Atoms: 52542/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 12384830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.042 Prop: 14911.108 PropClause: 14590.899 Set: 2500.555 Check: 0.0 Back: 291.212 INFO - Atoms: 52409/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 12437112 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.054 Prop: 14960.537 PropClause: 14639.03 Set: 2509.443 Check: 0.0 Back: 292.428 INFO - Atoms: 52282/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 12489259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.068 Prop: 15010.742 PropClause: 14687.937 Set: 2518.412 Check: 0.0 Back: 293.623 INFO - Atoms: 52147/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 12541279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.081 Prop: 15061.418 PropClause: 14737.322 Set: 2527.36 Check: 0.0 Back: 294.824 INFO - Atoms: 52020/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 12593164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.093 Prop: 15111.0 PropClause: 14785.61 Set: 2536.241 Check: 0.0 Back: 296.028 INFO - Atoms: 51885/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 12644920 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.105 Prop: 15163.208 PropClause: 14836.523 Set: 2545.173 Check: 0.0 Back: 297.229 INFO - Atoms: 51756/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 12696545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.145 Prop: 15212.105 PropClause: 14884.137 Set: 2554.043 Check: 0.0 Back: 298.431 INFO - Atoms: 51625/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 12748038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.189 Prop: 15262.546 PropClause: 14933.271 Set: 2563.306 Check: 0.0 Back: 299.624 INFO - Atoms: 51493/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 12799401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.203 Prop: 15312.719 PropClause: 14982.159 Set: 2572.266 Check: 0.0 Back: 300.807 INFO - Atoms: 51363/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 12850635 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.216 Prop: 15362.451 PropClause: 15030.614 Set: 2581.168 Check: 0.0 Back: 301.995 INFO - Atoms: 51234/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 12901734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.227 Prop: 15413.123 PropClause: 15080.003 Set: 2589.965 Check: 0.0 Back: 303.205 INFO - Atoms: 51099/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 12952704 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.24 Prop: 15461.795 PropClause: 15127.402 Set: 2598.679 Check: 0.0 Back: 304.382 INFO - Atoms: 50970/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 13003543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.251 Prop: 15509.487 PropClause: 15173.832 Set: 2607.389 Check: 0.0 Back: 305.547 INFO - Atoms: 50839/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 13054251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.264 Prop: 15555.252 PropClause: 15218.33 Set: 2615.966 Check: 0.0 Back: 306.732 INFO - Atoms: 50708/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 13104826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.275 Prop: 15602.763 PropClause: 15264.579 Set: 2624.706 Check: 0.0 Back: 307.928 INFO - Atoms: 50575/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 13155274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.288 Prop: 15650.513 PropClause: 15311.073 Set: 2633.375 Check: 0.0 Back: 309.1 INFO - Atoms: 50448/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 13205589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.298 Prop: 15696.108 PropClause: 15355.415 Set: 2642.081 Check: 0.0 Back: 310.268 INFO - Atoms: 50315/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 13255773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.31 Prop: 15750.714 PropClause: 15408.769 Set: 2650.751 Check: 0.0 Back: 311.434 INFO - Atoms: 50184/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 13305824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.321 Prop: 15794.508 PropClause: 15451.322 Set: 2659.397 Check: 0.0 Back: 312.588 INFO - Atoms: 50051/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 13355746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.332 Prop: 15840.533 PropClause: 15496.101 Set: 2667.957 Check: 0.0 Back: 313.746 INFO - Atoms: 49922/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 13405537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.344 Prop: 15888.711 PropClause: 15543.042 Set: 2676.468 Check: 0.0 Back: 314.956 INFO - Atoms: 49791/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 13455197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.355 Prop: 15934.586 PropClause: 15587.675 Set: 2684.976 Check: 0.0 Back: 316.111 INFO - Atoms: 49660/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 13504726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.366 Prop: 15979.063 PropClause: 15630.918 Set: 2693.485 Check: 0.0 Back: 317.265 INFO - Atoms: 49529/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 13554123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.378 Prop: 16022.159 PropClause: 15672.788 Set: 2701.849 Check: 0.0 Back: 318.415 INFO - Atoms: 49397/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 13603388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.389 Prop: 16063.926 PropClause: 15713.334 Set: 2710.138 Check: 0.0 Back: 319.546 INFO - Atoms: 49265/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 13652524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.4 Prop: 16104.693 PropClause: 15752.892 Set: 2718.343 Check: 0.0 Back: 320.683 INFO - Atoms: 49136/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 13701529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.414 Prop: 16146.342 PropClause: 15793.314 Set: 2749.268 Check: 0.0 Back: 321.818 INFO - Atoms: 49005/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 13750403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.428 Prop: 16188.191 PropClause: 15833.951 Set: 2757.408 Check: 0.0 Back: 322.959 INFO - Atoms: 48874/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 13799146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.442 Prop: 16230.159 PropClause: 15874.714 Set: 2765.561 Check: 0.0 Back: 324.081 INFO - Atoms: 48743/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 13847757 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.454 Prop: 16269.088 PropClause: 15912.437 Set: 2773.612 Check: 0.0 Back: 325.194 INFO - Atoms: 48611/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 13896236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.468 Prop: 16312.784 PropClause: 15954.918 Set: 2782.12 Check: 0.0 Back: 326.301 INFO - Atoms: 48479/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 13944586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.481 Prop: 16354.729 PropClause: 15995.66 Set: 2790.346 Check: 0.0 Back: 327.416 INFO - Atoms: 48350/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 13992803 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.495 Prop: 16393.91 PropClause: 16033.643 Set: 2798.476 Check: 0.0 Back: 328.526 INFO - Atoms: 48217/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 14040891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.51 Prop: 16433.575 PropClause: 16072.112 Set: 2806.493 Check: 0.0 Back: 329.627 INFO - Atoms: 48088/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 14088848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.524 Prop: 16477.29 PropClause: 16114.579 Set: 2815.389 Check: 0.0 Back: 330.759 INFO - Atoms: 47957/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 14136674 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.539 Prop: 16518.831 PropClause: 16154.922 Set: 2823.354 Check: 0.0 Back: 331.857 INFO - Atoms: 47826/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 14184367 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.555 Prop: 16559.173 PropClause: 16194.086 Set: 2831.366 Check: 0.0 Back: 332.944 INFO - Atoms: 47693/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 14231931 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.568 Prop: 16600.682 PropClause: 16234.411 Set: 2839.392 Check: 0.0 Back: 334.044 INFO - Atoms: 47564/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 14279364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.618 Prop: 16639.526 PropClause: 16272.081 Set: 2847.236 Check: 0.0 Back: 335.133 INFO - Atoms: 47433/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 14326668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.635 Prop: 16679.23 PropClause: 16310.609 Set: 2855.122 Check: 0.0 Back: 336.232 INFO - Atoms: 47304/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 14373837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.675 Prop: 16721.893 PropClause: 16352.103 Set: 2863.188 Check: 0.0 Back: 337.316 INFO - Atoms: 47169/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 14420877 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.682 Prop: 16762.689 PropClause: 16391.721 Set: 2871.113 Check: 0.0 Back: 338.416 INFO - Atoms: 47040/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 14467786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.69 Prop: 16803.108 PropClause: 16430.969 Set: 2879.064 Check: 0.0 Back: 339.493 INFO - Atoms: 46909/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 14514563 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.699 Prop: 16846.276 PropClause: 16472.962 Set: 2887.099 Check: 0.0 Back: 340.601 INFO - Atoms: 46777/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 14561210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.706 Prop: 16891.233 PropClause: 16516.755 Set: 2895.087 Check: 0.0 Back: 341.679 INFO - Atoms: 46647/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 14607725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.715 Prop: 16931.428 PropClause: 16555.792 Set: 2902.923 Check: 0.0 Back: 342.795 INFO - Atoms: 46515/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 14654110 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.723 Prop: 16971.761 PropClause: 16594.972 Set: 2910.769 Check: 0.0 Back: 343.864 INFO - Atoms: 46385/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 14700366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.74 Prop: 17012.957 PropClause: 16635.011 Set: 2918.64 Check: 0.0 Back: 344.935 INFO - Atoms: 46256/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 14746487 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.747 Prop: 17050.068 PropClause: 16670.974 Set: 2926.37 Check: 0.0 Back: 346.018 INFO - Atoms: 46121/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 14792478 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.756 Prop: 17091.811 PropClause: 16711.573 Set: 2934.079 Check: 0.0 Back: 347.081 INFO - Atoms: 45991/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 14838337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.764 Prop: 17132.614 PropClause: 16751.237 Set: 2941.74 Check: 0.0 Back: 348.138 INFO - Atoms: 45859/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 14884067 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.773 Prop: 17176.634 PropClause: 16794.119 Set: 2949.435 Check: 0.0 Back: 349.201 INFO - Atoms: 45730/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 14929666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.782 Prop: 17215.236 PropClause: 16831.586 Set: 2957.201 Check: 0.0 Back: 350.256 INFO - Atoms: 45599/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 14975134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.79 Prop: 17255.816 PropClause: 16871.032 Set: 2964.815 Check: 0.0 Back: 351.315 INFO - Atoms: 45468/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 15020471 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.8 Prop: 17294.494 PropClause: 16908.577 Set: 2972.587 Check: 0.0 Back: 352.367 INFO - Atoms: 45337/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 15065679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.808 Prop: 17335.502 PropClause: 16948.464 Set: 2980.26 Check: 0.0 Back: 353.419 INFO - Atoms: 45208/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 15110754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.816 Prop: 17372.13 PropClause: 16983.964 Set: 2987.837 Check: 0.0 Back: 354.45 INFO - Atoms: 45075/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 15155697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.824 Prop: 17409.882 PropClause: 17020.596 Set: 2995.319 Check: 0.0 Back: 355.495 INFO - Atoms: 44943/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 15200510 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.833 Prop: 17447.691 PropClause: 17057.299 Set: 3002.885 Check: 0.0 Back: 356.522 INFO - Atoms: 44813/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 15245192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.842 Prop: 17486.856 PropClause: 17095.354 Set: 3010.41 Check: 0.0 Back: 357.56 INFO - Atoms: 44682/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 15289741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.851 Prop: 17521.962 PropClause: 17129.348 Set: 3032.876 Check: 0.0 Back: 358.589 INFO - Atoms: 44549/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 15334161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.862 Prop: 17560.932 PropClause: 17167.215 Set: 3040.271 Check: 0.0 Back: 359.613 INFO - Atoms: 44420/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 15378450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.872 Prop: 17596.421 PropClause: 17201.596 Set: 3047.708 Check: 0.0 Back: 360.633 INFO - Atoms: 44289/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 15422607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.88 Prop: 17631.798 PropClause: 17235.873 Set: 3055.133 Check: 0.0 Back: 361.662 INFO - Atoms: 44157/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 15466632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.889 Prop: 17665.136 PropClause: 17268.116 Set: 3062.502 Check: 0.0 Back: 362.68 INFO - Atoms: 44025/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 15510528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.899 Prop: 17705.027 PropClause: 17306.889 Set: 3070.349 Check: 0.0 Back: 363.699 INFO - Atoms: 43896/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 15554293 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.909 Prop: 17740.867 PropClause: 17341.636 Set: 3077.842 Check: 0.0 Back: 364.826 INFO - Atoms: 43765/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 15597926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.919 Prop: 17779.885 PropClause: 17379.549 Set: 3085.426 Check: 0.0 Back: 365.935 INFO - Atoms: 43633/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 15641429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.928 Prop: 17819.583 PropClause: 17418.161 Set: 3092.85 Check: 0.0 Back: 366.98 INFO - Atoms: 43503/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 15684801 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.936 Prop: 17852.995 PropClause: 17450.475 Set: 3100.4 Check: 0.0 Back: 367.996 INFO - Atoms: 43372/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 15728040 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.944 Prop: 17887.309 PropClause: 17483.724 Set: 3107.684 Check: 0.0 Back: 369.007 INFO - Atoms: 43239/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 15771152 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.955 Prop: 17927.522 PropClause: 17522.859 Set: 3115.101 Check: 0.0 Back: 370.018 INFO - Atoms: 43112/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 15814129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.965 Prop: 17957.695 PropClause: 17551.96 Set: 3122.207 Check: 0.0 Back: 371.013 INFO - Atoms: 42977/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 15856976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.974 Prop: 17995.396 PropClause: 17588.59 Set: 3129.591 Check: 0.0 Back: 372.008 INFO - Atoms: 42847/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 15899060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.983 Prop: 18030.183 PropClause: 17622.326 Set: 3136.734 Check: 0.0 Back: 372.998 INFO - Atoms: 42084/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 15941013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.993 Prop: 18061.378 PropClause: 17652.47 Set: 3143.634 Check: 0.0 Back: 373.975 INFO - Atoms: 41953/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 15982833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.001 Prop: 18093.059 PropClause: 17683.11 Set: 3150.501 Check: 0.0 Back: 374.95 INFO - Atoms: 41820/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 16024526 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.009 Prop: 18123.634 PropClause: 17712.648 Set: 3157.282 Check: 0.0 Back: 375.923 INFO - Atoms: 41693/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 16066086 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.018 Prop: 18156.452 PropClause: 17744.413 Set: 3164.241 Check: 0.0 Back: 376.892 INFO - Atoms: 41560/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 16107517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.028 Prop: 18190.319 PropClause: 17777.24 Set: 3171.275 Check: 0.0 Back: 377.868 INFO - Atoms: 41431/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 16148813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.036 Prop: 18221.582 PropClause: 17807.472 Set: 3178.203 Check: 0.0 Back: 378.837 INFO - Atoms: 41296/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 16189980 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.045 Prop: 18250.967 PropClause: 17835.821 Set: 3184.946 Check: 0.0 Back: 379.799 INFO - Atoms: 41167/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 16231016 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.051 Prop: 18284.25 PropClause: 17868.074 Set: 3191.817 Check: 0.0 Back: 380.749 INFO - Atoms: 41036/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 16271921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.061 Prop: 18330.034 PropClause: 17912.702 Set: 3200.718 Check: 0.0 Back: 381.703 INFO - Atoms: 40905/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 16312693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.069 Prop: 18363.624 PropClause: 17945.237 Set: 3207.982 Check: 0.0 Back: 382.673 INFO - Atoms: 40772/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 16353338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.079 Prop: 18398.067 PropClause: 17978.665 Set: 3214.762 Check: 0.0 Back: 383.626 INFO - Atoms: 40645/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 16393850 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.088 Prop: 18429.151 PropClause: 18008.74 Set: 3221.452 Check: 0.0 Back: 384.575 INFO - Atoms: 40512/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 16434231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.095 Prop: 18457.52 PropClause: 18036.103 Set: 3228.058 Check: 0.0 Back: 385.517 INFO - Atoms: 40381/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 16474479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.103 Prop: 18485.961 PropClause: 18063.541 Set: 3234.73 Check: 0.0 Back: 386.449 INFO - Atoms: 40248/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 16514598 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.112 Prop: 18514.666 PropClause: 18091.251 Set: 3241.358 Check: 0.0 Back: 387.424 INFO - Atoms: 40119/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 16554584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.122 Prop: 18548.764 PropClause: 18124.156 Set: 3250.092 Check: 0.0 Back: 388.355 INFO - Atoms: 39986/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 16594441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.131 Prop: 18574.055 PropClause: 18148.459 Set: 3256.45 Check: 0.0 Back: 389.446 INFO - Atoms: 39857/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 16634167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.14 Prop: 18599.481 PropClause: 18172.894 Set: 3262.8 Check: 0.0 Back: 390.374 INFO - Atoms: 39726/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 16673762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.147 Prop: 18629.721 PropClause: 18202.155 Set: 3269.288 Check: 0.0 Back: 391.29 INFO - Atoms: 39595/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 16713226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.155 Prop: 18659.336 PropClause: 18230.779 Set: 3275.788 Check: 0.0 Back: 392.202 INFO - Atoms: 39464/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 16752561 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.164 Prop: 18687.371 PropClause: 18257.837 Set: 3282.11 Check: 0.0 Back: 393.108 INFO - Atoms: 39335/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 16791761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.173 Prop: 18714.068 PropClause: 18283.563 Set: 3288.437 Check: 0.0 Back: 394.004 INFO - Atoms: 39200/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 16830834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.182 Prop: 18739.018 PropClause: 18307.546 Set: 3294.706 Check: 0.0 Back: 394.906 INFO - Atoms: 39073/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 16869772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.19 Prop: 18766.086 PropClause: 18333.641 Set: 3300.969 Check: 0.0 Back: 395.801 INFO - Atoms: 38938/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 16908581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.199 Prop: 18796.891 PropClause: 18363.469 Set: 3307.284 Check: 0.0 Back: 396.693 INFO - Atoms: 38809/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 16947259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.208 Prop: 18824.868 PropClause: 18390.487 Set: 3313.576 Check: 0.0 Back: 397.582 INFO - Atoms: 38678/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 16985808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.216 Prop: 18848.765 PropClause: 18413.429 Set: 3319.736 Check: 0.0 Back: 398.477 INFO - Atoms: 38549/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 17024224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.223 Prop: 18872.241 PropClause: 18435.953 Set: 3325.938 Check: 0.0 Back: 399.375 INFO - Atoms: 38416/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 17062509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.231 Prop: 18898.661 PropClause: 18461.424 Set: 3332.085 Check: 0.0 Back: 400.257 INFO - Atoms: 38285/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 17100663 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.239 Prop: 18924.421 PropClause: 18486.223 Set: 3338.242 Check: 0.0 Back: 401.138 INFO - Atoms: 38154/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 17138688 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.247 Prop: 18948.409 PropClause: 18509.262 Set: 3344.345 Check: 0.0 Back: 402.015 INFO - Atoms: 38025/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 17176580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.255 Prop: 18971.69 PropClause: 18531.6 Set: 3350.424 Check: 0.0 Back: 402.892 INFO - Atoms: 37892/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 17214343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.264 Prop: 18995.894 PropClause: 18554.863 Set: 3356.503 Check: 0.0 Back: 403.765 INFO - Atoms: 37763/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 17251973 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.272 Prop: 19023.777 PropClause: 18581.804 Set: 3362.738 Check: 0.0 Back: 404.646 INFO - Atoms: 37630/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 17289474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.28 Prop: 19049.81 PropClause: 18606.907 Set: 3368.752 Check: 0.0 Back: 405.587 INFO - Atoms: 37501/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 17326840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.289 Prop: 19072.618 PropClause: 18628.793 Set: 3374.792 Check: 0.0 Back: 406.452 INFO - Atoms: 37366/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 17364077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.3 Prop: 19095.166 PropClause: 18650.417 Set: 3380.782 Check: 0.0 Back: 407.32 INFO - Atoms: 37237/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 17401183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.308 Prop: 19122.745 PropClause: 18676.969 Set: 3387.868 Check: 0.0 Back: 408.174 INFO - Atoms: 37106/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 17438158 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.318 Prop: 19149.344 PropClause: 18702.635 Set: 3393.967 Check: 0.0 Back: 409.046 INFO - Atoms: 36975/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 17475000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.326 Prop: 19175.325 PropClause: 18727.702 Set: 3399.935 Check: 0.0 Back: 409.903 INFO - Atoms: 36842/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 17511715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.335 Prop: 19200.118 PropClause: 18751.581 Set: 3405.907 Check: 0.0 Back: 410.75 INFO - Atoms: 36715/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 17548297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.344 Prop: 19225.487 PropClause: 18776.039 Set: 3411.825 Check: 0.0 Back: 411.613 INFO - Atoms: 36582/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 17584748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.353 Prop: 19247.537 PropClause: 18797.182 Set: 3417.643 Check: 0.0 Back: 412.453 INFO - Atoms: 36451/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 17621066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.362 Prop: 19268.762 PropClause: 18817.499 Set: 3423.426 Check: 0.0 Back: 413.29 INFO - Atoms: 36318/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 17657255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.371 Prop: 19294.024 PropClause: 18841.858 Set: 3429.187 Check: 0.0 Back: 414.122 INFO - Atoms: 36189/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 17693313 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.38 Prop: 19320.035 PropClause: 18866.91 Set: 3435.597 Check: 0.0 Back: 414.958 INFO - Atoms: 36058/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 17729240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.39 Prop: 19342.785 PropClause: 18888.76 Set: 3441.448 Check: 0.0 Back: 415.827 INFO - Atoms: 35927/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 17765034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.399 Prop: 19363.776 PropClause: 18908.859 Set: 3447.125 Check: 0.0 Back: 416.666 INFO - Atoms: 35794/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 17800699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.408 Prop: 19389.053 PropClause: 18933.243 Set: 3452.869 Check: 0.0 Back: 417.495 INFO - Atoms: 35665/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 17836233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.416 Prop: 19410.49 PropClause: 18953.792 Set: 3458.619 Check: 0.0 Back: 418.317 INFO - Atoms: 35534/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 17871636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.425 Prop: 19431.053 PropClause: 18973.478 Set: 3464.194 Check: 0.0 Back: 419.14 INFO - Atoms: 35403/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 17906908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.435 Prop: 19455.153 PropClause: 18996.693 Set: 3470.02 Check: 0.0 Back: 419.953 INFO - Atoms: 35272/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 17942051 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.444 Prop: 19484.358 PropClause: 19024.816 Set: 3477.168 Check: 0.0 Back: 420.773 INFO - Atoms: 35143/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 17977061 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.454 Prop: 19513.296 PropClause: 19052.7 Set: 3484.28 Check: 0.0 Back: 421.711 INFO - Atoms: 35010/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 18011942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.463 Prop: 19540.222 PropClause: 19078.57 Set: 3491.34 Check: 0.0 Back: 422.646 INFO - Atoms: 34881/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 18046690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.472 Prop: 19562.976 PropClause: 19100.461 Set: 3496.892 Check: 0.0 Back: 423.577 INFO - Atoms: 34748/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 18081309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.48 Prop: 19584.232 PropClause: 19120.859 Set: 3502.343 Check: 0.0 Back: 424.376 INFO - Atoms: 34619/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 18115793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.489 Prop: 19607.352 PropClause: 19143.111 Set: 3507.879 Check: 0.0 Back: 425.179 INFO - Atoms: 34484/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 18150148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.497 Prop: 19630.376 PropClause: 19165.278 Set: 3513.35 Check: 0.0 Back: 425.977 INFO - Atoms: 34355/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 18184372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.505 Prop: 19650.755 PropClause: 19184.807 Set: 3518.753 Check: 0.0 Back: 426.783 INFO - Atoms: 34224/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 18218467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.514 Prop: 19672.472 PropClause: 19205.676 Set: 3524.153 Check: 0.0 Back: 427.572 INFO - Atoms: 34095/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 18252429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.523 Prop: 19693.121 PropClause: 19225.477 Set: 3529.489 Check: 0.0 Back: 428.35 INFO - Atoms: 33962/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 18286260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.532 Prop: 19714.279 PropClause: 19245.794 Set: 3534.884 Check: 0.0 Back: 429.132 INFO - Atoms: 33831/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 18319960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.542 Prop: 19735.031 PropClause: 19265.71 Set: 3540.21 Check: 0.0 Back: 429.917 INFO - Atoms: 33700/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 18353531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.552 Prop: 19757.501 PropClause: 19287.346 Set: 3545.524 Check: 0.0 Back: 430.691 INFO - Atoms: 33571/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 18386967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.561 Prop: 19777.244 PropClause: 19306.257 Set: 3550.767 Check: 0.0 Back: 431.457 INFO - Atoms: 33436/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 18420274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.569 Prop: 19796.904 PropClause: 19325.085 Set: 3555.957 Check: 0.0 Back: 432.225 INFO - Atoms: 33307/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 18453450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.576 Prop: 19816.979 PropClause: 19344.323 Set: 3561.2 Check: 0.0 Back: 432.991 INFO - Atoms: 33176/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 18486497 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.584 Prop: 19834.837 PropClause: 19361.36 Set: 3566.335 Check: 0.0 Back: 433.754 INFO - Atoms: 33047/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 18519411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.592 Prop: 19854.709 PropClause: 19380.414 Set: 3571.491 Check: 0.0 Back: 434.515 INFO - Atoms: 32914/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 18552194 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.601 Prop: 19872.516 PropClause: 19397.408 Set: 3576.552 Check: 0.0 Back: 435.282 INFO - Atoms: 32783/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 18584846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.607 Prop: 19889.886 PropClause: 19413.969 Set: 3581.641 Check: 0.0 Back: 436.04 INFO - Atoms: 32652/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 18617369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.616 Prop: 19909.819 PropClause: 19433.083 Set: 3586.766 Check: 0.0 Back: 436.789 INFO - Atoms: 32523/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 18649759 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.624 Prop: 19929.89 PropClause: 19452.336 Set: 3591.832 Check: 0.0 Back: 437.54 INFO - Atoms: 32390/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 18682020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.632 Prop: 19946.924 PropClause: 19468.567 Set: 3596.82 Check: 0.0 Back: 438.287 INFO - Atoms: 32261/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 18714146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.64 Prop: 19963.549 PropClause: 19484.392 Set: 3601.795 Check: 0.0 Back: 439.026 INFO - Atoms: 32126/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 18746143 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.648 Prop: 19982.864 PropClause: 19502.908 Set: 3606.783 Check: 0.0 Back: 439.771 INFO - Atoms: 31997/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 18778007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.656 Prop: 19999.453 PropClause: 19518.705 Set: 3611.793 Check: 0.0 Back: 440.517 INFO - Atoms: 31864/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 18809742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.666 Prop: 20017.224 PropClause: 19535.685 Set: 3616.713 Check: 0.0 Back: 441.253 INFO - Atoms: 31735/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 18841346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.674 Prop: 20035.485 PropClause: 19553.157 Set: 3621.691 Check: 0.0 Back: 441.982 INFO - Atoms: 31604/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 18872819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.683 Prop: 20052.11 PropClause: 19569.002 Set: 3626.584 Check: 0.0 Back: 442.725 INFO - Atoms: 31473/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 18904159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.691 Prop: 20069.1 PropClause: 19585.215 Set: 3631.455 Check: 0.0 Back: 443.447 INFO - Atoms: 31340/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 18935372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.744 Prop: 20087.43 PropClause: 19602.771 Set: 3636.317 Check: 0.0 Back: 444.171 INFO - Atoms: 31213/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 18966452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.789 Prop: 20103.393 PropClause: 19617.965 Set: 3641.114 Check: 0.0 Back: 444.905 INFO - Atoms: 31080/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 18997401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.831 Prop: 20119.84 PropClause: 19633.646 Set: 3645.874 Check: 0.0 Back: 445.622 INFO - Atoms: 30949/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 19028219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.839 Prop: 20136.958 PropClause: 19650.001 Set: 3650.65 Check: 0.0 Back: 446.327 INFO - Atoms: 30818/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 19058908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.858 Prop: 20155.105 PropClause: 19667.382 Set: 3655.421 Check: 0.0 Back: 447.04 INFO - Atoms: 30689/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 19089462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.868 Prop: 20171.975 PropClause: 19683.496 Set: 3660.169 Check: 0.0 Back: 447.742 INFO - Atoms: 30554/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 19119887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.875 Prop: 20188.608 PropClause: 19699.365 Set: 3664.845 Check: 0.0 Back: 448.443 INFO - Atoms: 30425/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 19150181 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.882 Prop: 20203.993 PropClause: 19713.998 Set: 3669.523 Check: 0.0 Back: 449.143 INFO - Atoms: 30294/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 19180346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.89 Prop: 20219.088 PropClause: 19728.347 Set: 3674.159 Check: 0.0 Back: 449.847 INFO - Atoms: 30165/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 19210378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.898 Prop: 20235.857 PropClause: 19744.371 Set: 3678.8 Check: 0.0 Back: 450.542 INFO - Atoms: 30032/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 19240279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.906 Prop: 20250.528 PropClause: 19758.301 Set: 3683.377 Check: 0.0 Back: 451.233 INFO - Atoms: 29901/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 19269921 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.916 Prop: 20267.019 PropClause: 19774.056 Set: 3687.99 Check: 0.0 Back: 451.921 INFO - Atoms: 29642/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 19299434 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.925 Prop: 20281.15 PropClause: 19787.453 Set: 3692.475 Check: 0.0 Back: 452.601 INFO - Atoms: 29513/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 19328814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.933 Prop: 20295.72 PropClause: 19801.289 Set: 3696.999 Check: 0.0 Back: 453.276 INFO - Atoms: 29380/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 19358067 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.941 Prop: 20309.485 PropClause: 19814.329 Set: 3701.428 Check: 0.0 Back: 453.967 INFO - Atoms: 29253/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 19387187 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.948 Prop: 20323.937 PropClause: 19828.05 Set: 3705.894 Check: 0.0 Back: 454.648 INFO - Atoms: 29120/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 19416176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.957 Prop: 20339.445 PropClause: 19842.819 Set: 3710.3 Check: 0.0 Back: 455.33 INFO - Atoms: 28989/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 19445032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.964 Prop: 20353.031 PropClause: 19855.689 Set: 3714.687 Check: 0.0 Back: 455.992 INFO - Atoms: 28856/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 19473699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.973 Prop: 20368.72 PropClause: 19870.666 Set: 3719.048 Check: 0.0 Back: 456.659 INFO - Atoms: 28667/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 19502233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.98 Prop: 20383.28 PropClause: 19884.521 Set: 3723.421 Check: 0.0 Back: 457.317 INFO - Atoms: 28534/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 19530636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.989 Prop: 20399.867 PropClause: 19900.402 Set: 3727.782 Check: 0.0 Back: 457.977 INFO - Atoms: 28403/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 19558906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.997 Prop: 20413.992 PropClause: 19913.825 Set: 3732.08 Check: 0.0 Back: 458.645 INFO - Atoms: 28270/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 19586991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.004 Prop: 20426.291 PropClause: 19925.429 Set: 3736.278 Check: 0.0 Back: 459.296 INFO - Atoms: 28085/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 19614941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.013 Prop: 20440.22 PropClause: 19938.665 Set: 3740.486 Check: 0.0 Back: 459.962 INFO - Atoms: 27950/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 19642764 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.021 Prop: 20454.488 PropClause: 19952.243 Set: 3744.644 Check: 0.0 Back: 460.603 INFO - Atoms: 27823/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 19669821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.029 Prop: 20466.272 PropClause: 19963.357 Set: 3748.597 Check: 0.0 Back: 461.243 INFO - Atoms: 27057/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 19696749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.037 Prop: 20477.344 PropClause: 19973.755 Set: 3752.515 Check: 0.0 Back: 461.861 INFO - Atoms: 26928/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 19723544 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.044 Prop: 20488.303 PropClause: 19984.051 Set: 3756.411 Check: 0.0 Back: 462.487 INFO - Atoms: 26795/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 19750210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.05 Prop: 20500.603 PropClause: 19995.688 Set: 3760.301 Check: 0.0 Back: 463.11 INFO - Atoms: 26666/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 19776743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.058 Prop: 20513.096 PropClause: 20007.524 Set: 3764.236 Check: 0.0 Back: 463.72 INFO - Atoms: 26533/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 19803147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.067 Prop: 20525.393 PropClause: 20019.164 Set: 3768.12 Check: 0.0 Back: 464.329 INFO - Atoms: 26404/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 19829418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.076 Prop: 20537.647 PropClause: 20030.765 Set: 3772.002 Check: 0.0 Back: 464.94 INFO - Atoms: 26271/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 19855560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.085 Prop: 20550.172 PropClause: 20042.646 Set: 3775.841 Check: 0.0 Back: 465.55 INFO - Atoms: 26142/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 19881569 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.094 Prop: 20561.935 PropClause: 20053.761 Set: 3779.649 Check: 0.0 Back: 466.156 INFO - Atoms: 26009/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 19907449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.102 Prop: 20573.45 PropClause: 20064.634 Set: 3783.438 Check: 0.0 Back: 466.76 INFO - Atoms: 25880/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 19933196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.111 Prop: 20584.693 PropClause: 20075.24 Set: 3787.174 Check: 0.0 Back: 467.362 INFO - Atoms: 25747/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 19958814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.12 Prop: 20594.319 PropClause: 20084.232 Set: 3790.804 Check: 0.0 Back: 467.957 INFO - Atoms: 25618/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 19984299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.128 Prop: 20604.065 PropClause: 20093.345 Set: 3794.447 Check: 0.0 Back: 468.554 INFO - Atoms: 25485/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 885 Props: 20681670 Tprops: 0 Decides: 1174 RSplits: 0 INFO - Times: Expl: 1365.234 Prop: 20970.902 PropClause: 20439.986 Set: 3814.63 Check: 0.035 Back: 485.699 INFO - Atoms: 25041/76542 Clauses: 1668 Axioms: 252354 INFO - Restart INFO - Confl: 1385 Props: 21977804 Tprops: 0 Decides: 2136 RSplits: 0 INFO - Times: Expl: 1817.842 Prop: 21476.99 PropClause: 20912.195 Set: 3845.047 Check: 0.06 Back: 515.536 INFO - Atoms: 25041/76542 Clauses: 2168 Axioms: 252354 INFO - Restart INFO - Confl: 2385 Props: 23183004 Tprops: 0 Decides: 4271 RSplits: 0 INFO - Times: Expl: 2214.202 Prop: 21943.224 PropClause: 21346.371 Set: 3873.211 Check: 0.114 Back: 543.282 INFO - Atoms: 25041/76542 Clauses: 3168 Axioms: 252354 INFO - Restart INFO - Confl: 2885 Props: 23680450 Tprops: 0 Decides: 5082 RSplits: 0 INFO - Times: Expl: 2362.914 Prop: 22112.961 PropClause: 21503.272 Set: 3884.71 Check: 0.135 Back: 554.658 INFO - Atoms: 25041/76542 Clauses: 3668 Axioms: 252354 INFO - Restart INFO - Confl: 3385 Props: 24114253 Tprops: 0 Decides: 5763 RSplits: 0 INFO - Times: Expl: 2564.815 Prop: 22263.104 PropClause: 21642.179 Set: 3894.732 Check: 0.154 Back: 564.528 INFO - Atoms: 25041/76542 Clauses: 4168 Axioms: 252354 INFO - Confl: 4356 Props: 25067472 Tprops: 0 Decides: 7779 RSplits: 0 INFO - Times: Expl: 2920.218 Prop: 22696.014 PropClause: 22049.501 Set: 3917.669 Check: 0.21 Back: 586.872 INFO - Atoms: 26273/76542 Clauses: 5139 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 4856 Props: 26129243 Tprops: 0 Decides: 8974 RSplits: 0 INFO - Times: Expl: 3858.444 Prop: 23290.862 PropClause: 22617.122 Set: 3946.25 Check: 0.247 Back: 611.387 INFO - Atoms: 25041/76542 Clauses: 1672 Axioms: 252354 INFO - Restart INFO - Confl: 5356 Props: 26691089 Tprops: 0 Decides: 9931 RSplits: 0 INFO - Times: Expl: 4128.866 Prop: 23490.608 PropClause: 22802.392 Set: 3959.212 Check: 0.272 Back: 624.171 INFO - Atoms: 25041/76542 Clauses: 2172 Axioms: 252354 INFO - Restart INFO - Confl: 6356 Props: 27845444 Tprops: 0 Decides: 12331 RSplits: 0 INFO - Times: Expl: 4449.554 Prop: 23936.473 PropClause: 23218.174 Set: 3986.149 Check: 0.333 Back: 650.832 INFO - Atoms: 25041/76542 Clauses: 3172 Axioms: 252354 INFO - Restart INFO - Confl: 6856 Props: 28359902 Tprops: 0 Decides: 13460 RSplits: 0 INFO - Times: Expl: 4622.063 Prop: 24176.705 PropClause: 23443.515 Set: 3998.902 Check: 0.363 Back: 663.509 INFO - Atoms: 25041/76542 Clauses: 3672 Axioms: 252354 INFO - Restart INFO - Confl: 7356 Props: 28964126 Tprops: 0 Decides: 14505 RSplits: 0 INFO - Times: Expl: 4853.564 Prop: 24430.233 PropClause: 23679.43 Set: 4014.005 Check: 0.391 Back: 678.5 INFO - Atoms: 25041/76542 Clauses: 4172 Axioms: 252354 INFO - Restart INFO - Confl: 8356 Props: 29964643 Tprops: 0 Decides: 16199 RSplits: 0 INFO - Times: Expl: 5208.084 Prop: 24886.058 PropClause: 24106.195 Set: 4039.032 Check: 0.436 Back: 703.241 INFO - Atoms: 25071/76542 Clauses: 5172 Axioms: 252354 INFO - Confl: 8389 Props: 30005574 Tprops: 0 Decides: 16247 RSplits: 0 INFO - Times: Expl: 5221.691 Prop: 24903.007 PropClause: 24122.098 Set: 4040.159 Check: 0.437 Back: 704.28 INFO - Atoms: 25849/76542 Clauses: 5205 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 8889 Props: 30986207 Tprops: 0 Decides: 17398 RSplits: 0 INFO - Times: Expl: 5991.437 Prop: 25400.878 PropClause: 24594.738 Set: 4066.586 Check: 0.472 Back: 726.813 INFO - Atoms: 25041/76542 Clauses: 1680 Axioms: 252354 INFO - Restart INFO - Confl: 9389 Props: 31691907 Tprops: 0 Decides: 18059 RSplits: 0 INFO - Times: Expl: 8213.766 Prop: 25644.143 PropClause: 24819.999 Set: 4082.882 Check: 0.496 Back: 742.848 INFO - Atoms: 25041/76542 Clauses: 2180 Axioms: 252354 INFO - Restart INFO - Confl: 10389 Props: 32960839 Tprops: 0 Decides: 20002 RSplits: 0 INFO - Times: Expl: 8616.032 Prop: 26092.255 PropClause: 25235.44 Set: 4112.378 Check: 0.543 Back: 772.062 INFO - Atoms: 25041/76542 Clauses: 3180 Axioms: 252354 INFO - Restart INFO - Confl: 10889 Props: 33507022 Tprops: 0 Decides: 20802 RSplits: 0 INFO - Times: Expl: 8770.909 Prop: 26273.387 PropClause: 25402.473 Set: 4125.004 Check: 0.564 Back: 784.641 INFO - Atoms: 25041/76542 Clauses: 3680 Axioms: 252354 INFO - Restart INFO - Confl: 11389 Props: 33967018 Tprops: 0 Decides: 21513 RSplits: 0 INFO - Times: Expl: 8962.863 Prop: 26455.149 PropClause: 25571.582 Set: 4136.171 Check: 0.583 Back: 795.682 INFO - Atoms: 25060/76542 Clauses: 4180 Axioms: 252354 INFO - Confl: 11752 Props: 34312419 Tprops: 0 Decides: 22135 RSplits: 0 INFO - Times: Expl: 9069.131 Prop: 26589.715 PropClause: 25697.246 Set: 4144.216 Check: 0.6 Back: 803.611 INFO - Atoms: 25222/76542 Clauses: 4543 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 12252 Props: 35389686 Tprops: 0 Decides: 23081 RSplits: 0 INFO - Times: Expl: 10219.978 Prop: 27223.51 PropClause: 26302.247 Set: 4174.69 Check: 0.631 Back: 829.013 INFO - Atoms: 25041/76542 Clauses: 1681 Axioms: 252354 INFO - Restart INFO - Confl: 12752 Props: 36223401 Tprops: 0 Decides: 24060 RSplits: 0 INFO - Times: Expl: 10653.917 Prop: 27557.239 PropClause: 26614.566 Set: 4194.173 Check: 0.657 Back: 848.133 INFO - Atoms: 25041/76542 Clauses: 2181 Axioms: 252354 INFO - Restart INFO - Confl: 13752 Props: 37495541 Tprops: 0 Decides: 26048 RSplits: 0 INFO - Times: Expl: 11141.06 Prop: 28026.713 PropClause: 27050.633 Set: 4223.987 Check: 0.709 Back: 877.726 INFO - Atoms: 25041/76542 Clauses: 3181 Axioms: 252354 INFO - Restart INFO - Confl: 14252 Props: 38226725 Tprops: 0 Decides: 27530 RSplits: 0 INFO - Times: Expl: 11476.188 Prop: 28408.612 PropClause: 27411.836 Set: 4241.92 Check: 0.75 Back: 895.409 INFO - Atoms: 25041/76542 Clauses: 3681 Axioms: 252354 INFO - Restart INFO - Confl: 14752 Props: 38806690 Tprops: 0 Decides: 28474 RSplits: 0 INFO - Times: Expl: 11640.692 Prop: 28594.886 PropClause: 27583.332 Set: 4255.094 Check: 0.773 Back: 908.533 INFO - Atoms: 25041/76542 Clauses: 4181 Axioms: 252354 INFO - Restart INFO - Confl: 15752 Props: 39866946 Tprops: 0 Decides: 31039 RSplits: 0 INFO - Times: Expl: 11947.564 Prop: 29006.771 PropClause: 27967.69 Set: 4279.799 Check: 0.838 Back: 932.958 INFO - Atoms: 25041/76542 Clauses: 5181 Axioms: 252354 INFO - Confl: 17021 Props: 41032663 Tprops: 0 Decides: 33279 RSplits: 0 INFO - Times: Expl: 12332.742 Prop: 29432.009 PropClause: 28363.033 Set: 4306.951 Check: 0.893 Back: 959.541 INFO - Atoms: 26442/76542 Clauses: 6450 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 17521 Props: 42144080 Tprops: 0 Decides: 34433 RSplits: 0 INFO - Times: Expl: 13196.557 Prop: 29976.95 PropClause: 28879.614 Set: 4336.363 Check: 0.93 Back: 985.129 INFO - Atoms: 25041/76542 Clauses: 1688 Axioms: 252354 INFO - Restart INFO - Confl: 18021 Props: 42708486 Tprops: 0 Decides: 35263 RSplits: 0 INFO - Times: Expl: 13359.857 Prop: 30164.663 PropClause: 29052.823 Set: 4349.406 Check: 0.951 Back: 998.044 INFO - Atoms: 25041/76542 Clauses: 2188 Axioms: 252354 INFO - Restart INFO - Confl: 19021 Props: 43706627 Tprops: 0 Decides: 37077 RSplits: 0 INFO - Times: Expl: 13743.47 Prop: 30514.442 PropClause: 29376.864 Set: 4372.556 Check: 0.995 Back: 1020.892 INFO - Atoms: 25041/76542 Clauses: 3188 Axioms: 252354 INFO - Restart INFO - Confl: 19521 Props: 44184593 Tprops: 0 Decides: 38123 RSplits: 0 INFO - Times: Expl: 13882.294 Prop: 30678.395 PropClause: 29528.492 Set: 4383.57 Check: 1.02 Back: 1031.826 INFO - Atoms: 25041/76542 Clauses: 3688 Axioms: 252354 INFO - Restart INFO - Confl: 20021 Props: 44627103 Tprops: 0 Decides: 39036 RSplits: 0 INFO - Times: Expl: 14018.85 Prop: 30823.412 PropClause: 29662.067 Set: 4393.814 Check: 1.043 Back: 1041.983 INFO - Atoms: 25041/76542 Clauses: 4188 Axioms: 252354 INFO - Confl: 20297 Props: 44821900 Tprops: 0 Decides: 39514 RSplits: 0 INFO - Times: Expl: 14070.246 Prop: 30890.149 PropClause: 29723.796 Set: 4398.567 Check: 1.054 Back: 1046.389 INFO - Atoms: 26568/76542 Clauses: 4464 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 20797 Props: 45828117 Tprops: 0 Decides: 40502 RSplits: 0 INFO - Times: Expl: 15095.924 Prop: 31420.62 PropClause: 30228.621 Set: 5784.318 Check: 1.085 Back: 1069.57 INFO - Atoms: 25041/76542 Clauses: 1688 Axioms: 252354 INFO - Restart INFO - Confl: 21297 Props: 46824233 Tprops: 0 Decides: 41270 RSplits: 0 INFO - Times: Expl: 15752.229 Prop: 31808.849 PropClause: 30591.488 Set: 5807.486 Check: 1.108 Back: 1092.383 INFO - Atoms: 25041/76542 Clauses: 2188 Axioms: 252354 INFO - Restart INFO - Confl: 22297 Props: 47989408 Tprops: 0 Decides: 43151 RSplits: 0 INFO - Times: Expl: 16141.576 Prop: 32232.192 PropClause: 30984.528 Set: 5834.84 Check: 1.155 Back: 1119.436 INFO - Atoms: 25041/76542 Clauses: 3188 Axioms: 252354 INFO - Restart INFO - Confl: 22797 Props: 48467010 Tprops: 0 Decides: 44180 RSplits: 0 INFO - Times: Expl: 16317.18 Prop: 32402.842 PropClause: 31142.8 Set: 5845.93 Check: 1.179 Back: 1130.409 INFO - Atoms: 25041/76542 Clauses: 3688 Axioms: 252354 INFO - Restart INFO - Confl: 23297 Props: 49018107 Tprops: 0 Decides: 45200 RSplits: 0 INFO - Times: Expl: 16453.788 Prop: 32604.047 PropClause: 31329.627 Set: 5858.841 Check: 1.206 Back: 1143.186 INFO - Atoms: 25042/76542 Clauses: 4188 Axioms: 252354 INFO - Restart INFO - Confl: 24297 Props: 50118132 Tprops: 0 Decides: 46838 RSplits: 0 INFO - Times: Expl: 16762.66 Prop: 32992.878 PropClause: 31690.29 Set: 5884.304 Check: 1.247 Back: 1168.418 INFO - Atoms: 25046/76542 Clauses: 5188 Axioms: 252354 INFO - Confl: 24377 Props: 50192296 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.95 Prop: 33015.852 PropClause: 31711.366 Set: 5886.047 Check: 1.249 Back: 1170.098 INFO - Atoms: 25326/76542 Clauses: 5268 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24378 Props: 50219395 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.955 Prop: 33055.854 PropClause: 31750.362 Set: 5904.243 Check: 1.249 Back: 1170.712 INFO - Atoms: 27099/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24379 Props: 50246507 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.96 Prop: 33069.376 PropClause: 31763.212 Set: 5908.725 Check: 1.249 Back: 1171.416 INFO - Atoms: 27112/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24380 Props: 50273744 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.966 Prop: 33082.984 PropClause: 31776.145 Set: 5913.191 Check: 1.249 Back: 1172.039 INFO - Atoms: 27237/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24381 Props: 50300981 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.972 Prop: 33097.465 PropClause: 31789.942 Set: 5917.712 Check: 1.249 Back: 1172.68 INFO - Atoms: 27237/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24382 Props: 50328355 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.977 Prop: 33110.781 PropClause: 31802.581 Set: 5922.17 Check: 1.249 Back: 1173.307 INFO - Atoms: 27374/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24383 Props: 50355471 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.982 Prop: 33124.835 PropClause: 31815.948 Set: 5926.762 Check: 1.249 Back: 1173.971 INFO - Atoms: 27116/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24384 Props: 50382720 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.988 Prop: 33139.503 PropClause: 31829.941 Set: 5931.199 Check: 1.249 Back: 1174.599 INFO - Atoms: 27249/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24385 Props: 50410222 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.994 Prop: 33154.461 PropClause: 31844.195 Set: 5935.777 Check: 1.249 Back: 1175.223 INFO - Atoms: 27502/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24386 Props: 50437731 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16782.998 Prop: 33170.076 PropClause: 31859.129 Set: 5940.309 Check: 1.249 Back: 1175.851 INFO - Atoms: 27509/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24387 Props: 50465371 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.004 Prop: 33184.815 PropClause: 31873.184 Set: 5944.901 Check: 1.249 Back: 1176.48 INFO - Atoms: 27640/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24388 Props: 50493143 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.01 Prop: 33200.69 PropClause: 31888.367 Set: 5949.476 Check: 1.249 Back: 1177.126 INFO - Atoms: 27772/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24389 Props: 50521169 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.016 Prop: 33216.136 PropClause: 31903.118 Set: 5954.141 Check: 1.249 Back: 1177.765 INFO - Atoms: 28026/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24390 Props: 50549202 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.021 Prop: 33232.873 PropClause: 31919.157 Set: 5958.846 Check: 1.249 Back: 1178.407 INFO - Atoms: 28033/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24391 Props: 50577388 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.027 Prop: 33247.994 PropClause: 31933.575 Set: 5963.555 Check: 1.249 Back: 1179.061 INFO - Atoms: 28186/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24392 Props: 50605683 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.033 Prop: 33263.033 PropClause: 31947.912 Set: 5968.213 Check: 1.249 Back: 1179.712 INFO - Atoms: 28295/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24393 Props: 50634110 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.037 Prop: 33280.151 PropClause: 31964.323 Set: 5972.978 Check: 1.249 Back: 1180.362 INFO - Atoms: 28427/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24394 Props: 50662667 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.042 Prop: 33295.303 PropClause: 31978.76 Set: 5977.682 Check: 1.249 Back: 1181.014 INFO - Atoms: 28557/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24395 Props: 50691478 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.048 Prop: 33312.599 PropClause: 31995.339 Set: 5982.532 Check: 1.249 Back: 1181.667 INFO - Atoms: 28811/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24396 Props: 50720298 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.053 Prop: 33328.235 PropClause: 32010.25 Set: 5987.296 Check: 1.249 Back: 1182.332 INFO - Atoms: 28820/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24397 Props: 50749373 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.058 Prop: 33346.13 PropClause: 32027.407 Set: 5992.199 Check: 1.249 Back: 1182.999 INFO - Atoms: 29075/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24398 Props: 50778454 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.064 Prop: 33362.582 PropClause: 32043.135 Set: 5997.088 Check: 1.249 Back: 1183.684 INFO - Atoms: 29081/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24399 Props: 50807666 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.07 Prop: 33380.464 PropClause: 32060.29 Set: 6002.021 Check: 1.249 Back: 1184.353 INFO - Atoms: 29212/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24400 Props: 50837010 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.076 Prop: 33396.676 PropClause: 32075.775 Set: 6006.927 Check: 1.249 Back: 1185.036 INFO - Atoms: 29344/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24401 Props: 50866492 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.082 Prop: 33414.842 PropClause: 32093.219 Set: 6011.952 Check: 1.249 Back: 1185.711 INFO - Atoms: 29482/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24402 Props: 50896097 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.088 Prop: 33431.263 PropClause: 32108.904 Set: 6016.897 Check: 1.249 Back: 1186.389 INFO - Atoms: 29605/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24403 Props: 50925843 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.092 Prop: 33449.118 PropClause: 32126.013 Set: 6021.919 Check: 1.249 Back: 1187.078 INFO - Atoms: 29746/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24404 Props: 50955712 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.097 Prop: 33465.55 PropClause: 32141.705 Set: 6026.913 Check: 1.249 Back: 1187.755 INFO - Atoms: 29869/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24405 Props: 50985720 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.102 Prop: 33483.703 PropClause: 32159.109 Set: 6031.966 Check: 1.249 Back: 1188.437 INFO - Atoms: 30008/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24406 Props: 51015849 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.108 Prop: 33501.83 PropClause: 32176.495 Set: 6037.007 Check: 1.249 Back: 1189.119 INFO - Atoms: 30129/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24407 Props: 51046110 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.112 Prop: 33518.743 PropClause: 32192.661 Set: 6042.077 Check: 1.249 Back: 1189.804 INFO - Atoms: 30261/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24408 Props: 51076625 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.117 Prop: 33536.98 PropClause: 32210.144 Set: 6047.248 Check: 1.249 Back: 1190.497 INFO - Atoms: 30515/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24409 Props: 51107148 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.122 Prop: 33554.475 PropClause: 32226.886 Set: 6052.387 Check: 1.249 Back: 1191.197 INFO - Atoms: 30523/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24410 Props: 51137807 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.128 Prop: 33573.042 PropClause: 32244.693 Set: 6057.552 Check: 1.249 Back: 1191.895 INFO - Atoms: 30659/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24411 Props: 51168591 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.133 Prop: 33590.89 PropClause: 32261.779 Set: 6062.73 Check: 1.249 Back: 1192.594 INFO - Atoms: 30784/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24412 Props: 51199631 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.139 Prop: 33610.758 PropClause: 32280.878 Set: 6068.061 Check: 1.249 Back: 1193.296 INFO - Atoms: 31040/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24413 Props: 51230677 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.145 Prop: 33630.482 PropClause: 32299.836 Set: 6073.317 Check: 1.249 Back: 1194.005 INFO - Atoms: 31046/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24414 Props: 51261979 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.15 Prop: 33650.281 PropClause: 32318.86 Set: 6078.686 Check: 1.249 Back: 1194.712 INFO - Atoms: 31302/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24415 Props: 51293289 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.156 Prop: 33669.958 PropClause: 32337.765 Set: 6084.052 Check: 1.249 Back: 1195.433 INFO - Atoms: 31310/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24416 Props: 51324728 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.161 Prop: 33687.665 PropClause: 32354.692 Set: 6089.314 Check: 1.249 Back: 1196.144 INFO - Atoms: 31439/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24417 Props: 51356298 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.167 Prop: 33707.808 PropClause: 32374.051 Set: 6094.699 Check: 1.249 Back: 1196.86 INFO - Atoms: 31570/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24418 Props: 51388001 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.17 Prop: 33725.599 PropClause: 32391.061 Set: 6099.999 Check: 1.249 Back: 1197.588 INFO - Atoms: 31703/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24419 Props: 51419833 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.175 Prop: 33745.947 PropClause: 32410.629 Set: 6105.446 Check: 1.249 Back: 1198.309 INFO - Atoms: 31832/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24420 Props: 51451810 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.182 Prop: 33764.352 PropClause: 32428.233 Set: 6110.809 Check: 1.249 Back: 1199.027 INFO - Atoms: 31977/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24421 Props: 51484029 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.187 Prop: 33784.688 PropClause: 32447.778 Set: 6116.297 Check: 1.249 Back: 1199.746 INFO - Atoms: 32219/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24422 Props: 51516254 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.194 Prop: 33806.265 PropClause: 32468.554 Set: 6121.886 Check: 1.249 Back: 1200.483 INFO - Atoms: 32225/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24423 Props: 51548611 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.199 Prop: 33824.997 PropClause: 32486.49 Set: 6127.36 Check: 1.249 Back: 1201.234 INFO - Atoms: 32357/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24424 Props: 51581222 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.203 Prop: 33845.881 PropClause: 32506.574 Set: 6132.9 Check: 1.249 Back: 1201.969 INFO - Atoms: 32611/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24425 Props: 51613842 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.209 Prop: 33865.145 PropClause: 32525.038 Set: 6138.4 Check: 1.249 Back: 1202.7 INFO - Atoms: 32620/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24426 Props: 51646716 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.214 Prop: 33886.932 PropClause: 32546.008 Set: 6157.366 Check: 1.249 Back: 1203.437 INFO - Atoms: 32874/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24427 Props: 51679596 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.22 Prop: 33906.648 PropClause: 32564.91 Set: 6162.971 Check: 1.249 Back: 1204.18 INFO - Atoms: 32880/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24428 Props: 51712608 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.224 Prop: 33927.388 PropClause: 32584.837 Set: 6168.601 Check: 1.249 Back: 1204.926 INFO - Atoms: 33012/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24429 Props: 51745875 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.229 Prop: 33946.883 PropClause: 32603.51 Set: 6174.273 Check: 1.249 Back: 1205.675 INFO - Atoms: 33267/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24430 Props: 51779148 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.235 Prop: 33969.056 PropClause: 32624.864 Set: 6179.974 Check: 1.249 Back: 1206.431 INFO - Atoms: 33273/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24431 Props: 51812556 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.24 Prop: 33989.956 PropClause: 32644.935 Set: 6185.699 Check: 1.249 Back: 1207.212 INFO - Atoms: 33408/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24432 Props: 51846091 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.246 Prop: 34011.604 PropClause: 32665.758 Set: 6191.419 Check: 1.249 Back: 1207.975 INFO - Atoms: 33535/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24433 Props: 51879763 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.251 Prop: 34035.835 PropClause: 32689.165 Set: 6197.268 Check: 1.249 Back: 1208.738 INFO - Atoms: 33672/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24434 Props: 51913560 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.257 Prop: 34057.627 PropClause: 32710.136 Set: 6203.015 Check: 1.249 Back: 1209.499 INFO - Atoms: 33797/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24435 Props: 51947504 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.261 Prop: 34080.573 PropClause: 32732.243 Set: 6208.904 Check: 1.249 Back: 1210.262 INFO - Atoms: 33944/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24436 Props: 51981563 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.266 Prop: 34103.271 PropClause: 32754.091 Set: 6214.787 Check: 1.249 Back: 1211.041 INFO - Atoms: 34059/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24437 Props: 52015753 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.272 Prop: 34127.252 PropClause: 32777.228 Set: 6220.77 Check: 1.249 Back: 1211.819 INFO - Atoms: 34190/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24438 Props: 52050199 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.277 Prop: 34150.448 PropClause: 32799.579 Set: 6226.731 Check: 1.249 Back: 1212.599 INFO - Atoms: 34446/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24439 Props: 52084653 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.282 Prop: 34174.363 PropClause: 32822.649 Set: 6232.7 Check: 1.249 Back: 1213.377 INFO - Atoms: 34454/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24440 Props: 52119236 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.288 Prop: 34200.699 PropClause: 32848.122 Set: 6238.766 Check: 1.249 Back: 1214.165 INFO - Atoms: 34583/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24441 Props: 52153951 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.293 Prop: 34225.184 PropClause: 32871.746 Set: 6244.848 Check: 1.249 Back: 1214.952 INFO - Atoms: 34715/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24442 Props: 52188802 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.298 Prop: 34249.68 PropClause: 32895.38 Set: 6250.97 Check: 1.249 Back: 1215.748 INFO - Atoms: 34851/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24443 Props: 52223779 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.302 Prop: 34272.744 PropClause: 32917.581 Set: 6257.061 Check: 1.249 Back: 1216.544 INFO - Atoms: 34977/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24444 Props: 52259010 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.309 Prop: 34299.85 PropClause: 32943.822 Set: 6263.303 Check: 1.249 Back: 1217.343 INFO - Atoms: 35231/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24445 Props: 52294248 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.315 Prop: 34324.43 PropClause: 32967.528 Set: 6269.541 Check: 1.249 Back: 1218.139 INFO - Atoms: 35238/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24446 Props: 52329741 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.32 Prop: 34347.421 PropClause: 32989.637 Set: 6275.726 Check: 1.249 Back: 1218.944 INFO - Atoms: 35493/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24447 Props: 52365241 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.324 Prop: 34374.329 PropClause: 33015.677 Set: 6281.903 Check: 1.249 Back: 1219.757 INFO - Atoms: 35500/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24448 Props: 52400997 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.33 Prop: 34398.193 PropClause: 33038.653 Set: 6288.082 Check: 1.249 Back: 1220.558 INFO - Atoms: 35756/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24449 Props: 52436761 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.335 Prop: 34425.321 PropClause: 33064.897 Set: 6294.399 Check: 1.249 Back: 1221.366 INFO - Atoms: 35764/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24450 Props: 52472664 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.341 Prop: 34449.115 PropClause: 33087.805 Set: 6300.663 Check: 1.249 Back: 1222.191 INFO - Atoms: 35903/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24451 Props: 52508688 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.347 Prop: 34475.791 PropClause: 33113.592 Set: 6307.032 Check: 1.249 Back: 1223.012 INFO - Atoms: 36024/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24452 Props: 52544857 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.353 Prop: 34503.302 PropClause: 33140.219 Set: 6313.371 Check: 1.249 Back: 1223.841 INFO - Atoms: 36169/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24453 Props: 52581144 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.358 Prop: 34527.675 PropClause: 33163.703 Set: 6319.662 Check: 1.249 Back: 1224.657 INFO - Atoms: 36287/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24454 Props: 52617561 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.363 Prop: 34554.928 PropClause: 33190.052 Set: 6326.129 Check: 1.249 Back: 1225.478 INFO - Atoms: 36417/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24455 Props: 52654131 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.368 Prop: 34579.778 PropClause: 33213.991 Set: 6332.577 Check: 1.249 Back: 1226.306 INFO - Atoms: 36570/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24456 Props: 52690935 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.375 Prop: 34608.33 PropClause: 33241.632 Set: 6339.107 Check: 1.249 Back: 1227.15 INFO - Atoms: 36804/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24457 Props: 52727746 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.381 Prop: 34637.903 PropClause: 33270.298 Set: 6345.641 Check: 1.249 Back: 1227.994 INFO - Atoms: 36811/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24458 Props: 52764687 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.386 Prop: 34663.429 PropClause: 33294.913 Set: 6352.133 Check: 1.249 Back: 1228.837 INFO - Atoms: 36941/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24459 Props: 52801779 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.392 Prop: 34692.398 PropClause: 33322.964 Set: 6358.712 Check: 1.249 Back: 1229.686 INFO - Atoms: 37092/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24460 Props: 52838982 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.396 Prop: 34719.568 PropClause: 33349.214 Set: 6365.302 Check: 1.249 Back: 1230.529 INFO - Atoms: 37203/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24461 Props: 52876328 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.401 Prop: 34747.671 PropClause: 33376.4 Set: 6371.919 Check: 1.249 Back: 1231.381 INFO - Atoms: 37346/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24462 Props: 52913793 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.407 Prop: 34778.303 PropClause: 33406.105 Set: 6378.571 Check: 1.249 Back: 1232.228 INFO - Atoms: 37465/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24463 Props: 52951403 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.412 Prop: 34804.683 PropClause: 33431.553 Set: 6385.265 Check: 1.249 Back: 1233.079 INFO - Atoms: 37610/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24464 Props: 52989130 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.418 Prop: 34833.641 PropClause: 33459.578 Set: 6392.011 Check: 1.249 Back: 1233.938 INFO - Atoms: 37727/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24465 Props: 53027113 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.423 Prop: 34860.849 PropClause: 33485.85 Set: 6398.8 Check: 1.249 Back: 1234.809 INFO - Atoms: 37983/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24466 Props: 53065103 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.429 Prop: 34888.833 PropClause: 33512.901 Set: 6405.518 Check: 1.249 Back: 1235.668 INFO - Atoms: 37990/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24467 Props: 53103231 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.434 Prop: 34920.032 PropClause: 33543.151 Set: 6412.395 Check: 1.249 Back: 1236.525 INFO - Atoms: 38128/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24468 Props: 53141483 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.44 Prop: 34947.739 PropClause: 33569.907 Set: 6419.136 Check: 1.249 Back: 1237.397 INFO - Atoms: 38252/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24469 Props: 53179988 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.444 Prop: 34977.362 PropClause: 33598.582 Set: 6425.927 Check: 1.249 Back: 1238.271 INFO - Atoms: 38505/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24470 Props: 53218501 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.449 Prop: 35008.266 PropClause: 33628.532 Set: 6432.756 Check: 1.249 Back: 1239.149 INFO - Atoms: 38513/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24471 Props: 53257269 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.454 Prop: 35034.632 PropClause: 33653.941 Set: 6439.612 Check: 1.249 Back: 1240.031 INFO - Atoms: 38768/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24472 Props: 53296044 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.461 Prop: 35065.675 PropClause: 33684.013 Set: 6446.606 Check: 1.249 Back: 1240.921 INFO - Atoms: 38775/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24473 Props: 53334970 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.467 Prop: 35094.514 PropClause: 33711.893 Set: 6453.491 Check: 1.249 Back: 1241.818 INFO - Atoms: 38926/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24474 Props: 53374008 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.472 Prop: 35123.03 PropClause: 33739.444 Set: 6460.572 Check: 1.249 Back: 1242.711 INFO - Atoms: 39038/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24475 Props: 53413238 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.477 Prop: 35154.725 PropClause: 33770.154 Set: 6467.637 Check: 1.249 Back: 1243.599 INFO - Atoms: 39230/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24476 Props: 53452473 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.482 Prop: 35181.899 PropClause: 33796.352 Set: 6474.551 Check: 1.249 Back: 1244.503 INFO - Atoms: 39235/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24477 Props: 53491712 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.487 Prop: 35210.546 PropClause: 33824.026 Set: 6481.466 Check: 1.249 Back: 1245.399 INFO - Atoms: 39239/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24478 Props: 53531082 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.492 Prop: 35239.708 PropClause: 33852.216 Set: 6488.406 Check: 1.249 Back: 1246.292 INFO - Atoms: 39370/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24479 Props: 53570583 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.498 Prop: 35268.734 PropClause: 33880.267 Set: 6495.496 Check: 1.249 Back: 1247.186 INFO - Atoms: 39501/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24480 Props: 53610215 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.504 Prop: 35300.908 PropClause: 33911.462 Set: 6502.593 Check: 1.249 Back: 1248.12 INFO - Atoms: 39632/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24481 Props: 53649988 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.509 Prop: 35330.04 PropClause: 33939.589 Set: 6509.823 Check: 1.249 Back: 1249.021 INFO - Atoms: 39773/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24482 Props: 53690006 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.515 Prop: 35362.282 PropClause: 33970.839 Set: 6516.962 Check: 1.249 Back: 1249.948 INFO - Atoms: 40018/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24483 Props: 53730031 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.521 Prop: 35390.396 PropClause: 33997.963 Set: 6524.033 Check: 1.249 Back: 1250.873 INFO - Atoms: 40025/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24484 Props: 53770312 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.525 Prop: 35422.772 PropClause: 34029.342 Set: 6531.267 Check: 1.249 Back: 1251.795 INFO - Atoms: 40281/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24485 Props: 53810599 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.53 Prop: 35451.281 PropClause: 34056.841 Set: 6538.394 Check: 1.249 Back: 1252.713 INFO - Atoms: 40287/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 98824 Tprops: 2208 Decides: 166814 RSplits: 0 INFO - Times: Expl: 555.37 Prop: 97974.828 PropClause: 62.285 Set: 26166.776 Check: 1556.316 Back: 479.524 INFO - Atoms: 19/1651 Clauses: 500 Axioms: 1651 INFO - CCTimes: iE 1165473 eq 63132359 cc 305401381 setRep 128167106 INFO - Merges: 938513, cc:1968817 INFO - BVTimes: BB 326055683 BB_DPLL 89860772290 Graph 1028955587 INFO - BitBlastingClauses: 835186 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 24486 Props: 53851016 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.536 Prop: 35492.924 PropClause: 34096.982 Set: 6547.706 Check: 1.249 Back: 1253.627 INFO - Atoms: 40417/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24487 Props: 53891564 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.542 Prop: 35535.482 PropClause: 34137.988 Set: 6556.697 Check: 1.249 Back: 1254.648 INFO - Atoms: 40548/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24488 Props: 53932367 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.548 Prop: 35571.471 PropClause: 34172.943 Set: 6564.011 Check: 1.249 Back: 1255.681 INFO - Atoms: 40803/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24489 Props: 53973178 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.553 Prop: 35602.977 PropClause: 34203.41 Set: 6571.355 Check: 1.249 Back: 1256.612 INFO - Atoms: 40811/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24490 Props: 54014120 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.559 Prop: 35638.164 PropClause: 34237.581 Set: 6578.715 Check: 1.249 Back: 1257.543 INFO - Atoms: 40942/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24491 Props: 54055193 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.565 Prop: 35671.11 PropClause: 34269.507 Set: 6586.198 Check: 1.249 Back: 1258.478 INFO - Atoms: 41073/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24492 Props: 54096413 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.571 Prop: 35703.573 PropClause: 34300.936 Set: 6593.736 Check: 1.249 Back: 1259.421 INFO - Atoms: 41220/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24493 Props: 54137766 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.577 Prop: 35741.09 PropClause: 34337.423 Set: 6601.307 Check: 1.249 Back: 1260.455 INFO - Atoms: 41353/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24494 Props: 54179246 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.581 Prop: 35773.154 PropClause: 34368.46 Set: 6608.727 Check: 1.249 Back: 1261.404 INFO - Atoms: 41480/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24495 Props: 54220843 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.587 Prop: 35810.251 PropClause: 34404.526 Set: 6616.334 Check: 1.249 Back: 1262.353 INFO - Atoms: 41597/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24496 Props: 54262571 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.593 Prop: 35844.939 PropClause: 34438.176 Set: 6642.628 Check: 1.249 Back: 1263.313 INFO - Atoms: 41728/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24497 Props: 54304430 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.598 Prop: 35882.097 PropClause: 34474.28 Set: 6650.324 Check: 1.249 Back: 1264.271 INFO - Atoms: 41859/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24498 Props: 54346436 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.604 Prop: 35915.564 PropClause: 34506.704 Set: 6657.941 Check: 1.249 Back: 1265.227 INFO - Atoms: 42006/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24499 Props: 54388577 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.609 Prop: 35953.488 PropClause: 34543.567 Set: 6665.829 Check: 1.249 Back: 1266.19 INFO - Atoms: 42141/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24500 Props: 54430830 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.615 Prop: 35987.466 PropClause: 34576.484 Set: 6673.556 Check: 1.249 Back: 1267.162 INFO - Atoms: 42253/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24501 Props: 54473213 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.62 Prop: 36024.065 PropClause: 34612.029 Set: 6681.346 Check: 1.249 Back: 1268.143 INFO - Atoms: 42383/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24502 Props: 54515727 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.626 Prop: 36057.445 PropClause: 34644.357 Set: 6689.007 Check: 1.249 Back: 1269.111 INFO - Atoms: 42514/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24503 Props: 54558384 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.633 Prop: 36095.534 PropClause: 34681.372 Set: 6696.781 Check: 1.249 Back: 1270.084 INFO - Atoms: 42657/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24504 Props: 54601161 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.638 Prop: 36129.255 PropClause: 34714.042 Set: 6704.472 Check: 1.249 Back: 1271.051 INFO - Atoms: 42777/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24505 Props: 54644088 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.644 Prop: 36168.099 PropClause: 34751.825 Set: 6712.318 Check: 1.249 Back: 1272.026 INFO - Atoms: 42927/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24506 Props: 54687142 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.649 Prop: 36206.904 PropClause: 34789.563 Set: 6720.142 Check: 1.249 Back: 1273.009 INFO - Atoms: 43054/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24507 Props: 54730319 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.655 Prop: 36247.913 PropClause: 34829.499 Set: 6728.105 Check: 1.249 Back: 1273.992 INFO - Atoms: 43177/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24508 Props: 54773643 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.662 Prop: 36287.211 PropClause: 34867.717 Set: 6735.978 Check: 1.249 Back: 1274.984 INFO - Atoms: 43324/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24509 Props: 54817074 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.667 Prop: 36325.371 PropClause: 34904.798 Set: 6743.905 Check: 1.249 Back: 1275.976 INFO - Atoms: 43431/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24510 Props: 54860637 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.674 Prop: 36364.193 PropClause: 34942.55 Set: 6751.788 Check: 1.249 Back: 1276.966 INFO - Atoms: 43563/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24511 Props: 54904330 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.679 Prop: 36399.595 PropClause: 34976.878 Set: 6759.74 Check: 1.249 Back: 1277.961 INFO - Atoms: 43693/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24512 Props: 54948172 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.685 Prop: 36438.713 PropClause: 35014.913 Set: 6767.815 Check: 1.249 Back: 1278.951 INFO - Atoms: 43842/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24513 Props: 54992139 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.692 Prop: 36475.095 PropClause: 35050.205 Set: 6775.883 Check: 1.249 Back: 1279.956 INFO - Atoms: 43967/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24514 Props: 55036245 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.697 Prop: 36515.33 PropClause: 35089.348 Set: 6783.978 Check: 1.249 Back: 1280.961 INFO - Atoms: 44106/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24515 Props: 55080484 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.703 Prop: 36552.227 PropClause: 35125.151 Set: 6792.105 Check: 1.249 Back: 1281.975 INFO - Atoms: 44239/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24516 Props: 55124834 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.709 Prop: 36592.646 PropClause: 35164.484 Set: 6800.133 Check: 1.249 Back: 1282.986 INFO - Atoms: 44350/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24517 Props: 55169314 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.716 Prop: 36628.887 PropClause: 35199.637 Set: 6808.195 Check: 1.249 Back: 1283.984 INFO - Atoms: 44480/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24518 Props: 55213926 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.722 Prop: 36671.461 PropClause: 35241.108 Set: 6816.475 Check: 1.249 Back: 1284.998 INFO - Atoms: 44612/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24519 Props: 55258669 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.728 Prop: 36711.896 PropClause: 35280.436 Set: 6824.719 Check: 1.249 Back: 1286.02 INFO - Atoms: 44743/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24520 Props: 55303559 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.735 Prop: 36752.577 PropClause: 35319.99 Set: 6832.996 Check: 1.249 Back: 1287.047 INFO - Atoms: 44890/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24521 Props: 55348563 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.741 Prop: 36794.085 PropClause: 35360.387 Set: 6841.322 Check: 1.249 Back: 1288.07 INFO - Atoms: 45004/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24522 Props: 55393711 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.746 Prop: 36832.56 PropClause: 35397.759 Set: 6849.486 Check: 1.249 Back: 1289.111 INFO - Atoms: 45148/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24523 Props: 55438976 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.753 Prop: 36874.081 PropClause: 35438.164 Set: 6857.864 Check: 1.249 Back: 1290.14 INFO - Atoms: 45265/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24524 Props: 55484373 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.759 Prop: 36911.973 PropClause: 35474.937 Set: 6866.096 Check: 1.249 Back: 1291.177 INFO - Atoms: 45397/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24525 Props: 55529900 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.764 Prop: 36953.653 PropClause: 35515.491 Set: 6874.529 Check: 1.249 Back: 1292.208 INFO - Atoms: 45527/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24526 Props: 55575568 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.77 Prop: 36992.56 PropClause: 35553.265 Set: 6882.921 Check: 1.249 Back: 1293.248 INFO - Atoms: 45668/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24527 Props: 55621480 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.775 Prop: 37036.553 PropClause: 35596.112 Set: 6891.473 Check: 1.249 Back: 1294.295 INFO - Atoms: 45912/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24528 Props: 55667416 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.781 Prop: 37079.742 PropClause: 35638.168 Set: 6900.012 Check: 1.249 Back: 1295.348 INFO - Atoms: 45936/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24529 Props: 55713467 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.787 Prop: 37124.838 PropClause: 35682.136 Set: 6908.488 Check: 1.249 Back: 1296.4 INFO - Atoms: 46051/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24530 Props: 55759649 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.793 Prop: 37169.891 PropClause: 35726.047 Set: 6932.908 Check: 1.249 Back: 1297.462 INFO - Atoms: 46182/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24531 Props: 55805962 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.799 Prop: 37215.27 PropClause: 35770.279 Set: 6941.586 Check: 1.249 Back: 1298.516 INFO - Atoms: 46313/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24532 Props: 55852530 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.804 Prop: 37256.727 PropClause: 35810.568 Set: 6950.283 Check: 1.249 Back: 1299.573 INFO - Atoms: 46568/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24533 Props: 55899229 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.81 Prop: 37296.566 PropClause: 35849.249 Set: 6958.908 Check: 1.249 Back: 1300.665 INFO - Atoms: 46699/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24534 Props: 55945935 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.816 Prop: 37343.314 PropClause: 35894.843 Set: 6967.604 Check: 1.249 Back: 1301.731 INFO - Atoms: 46706/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24535 Props: 55992772 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.821 Prop: 37382.335 PropClause: 35932.718 Set: 6976.063 Check: 1.249 Back: 1302.793 INFO - Atoms: 46837/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24536 Props: 56039742 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.826 Prop: 37425.103 PropClause: 35974.335 Set: 6984.603 Check: 1.249 Back: 1303.848 INFO - Atoms: 46970/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24537 Props: 56086964 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.832 Prop: 37463.965 PropClause: 36012.038 Set: 6993.145 Check: 1.249 Back: 1304.903 INFO - Atoms: 47222/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24538 Props: 56134200 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.837 Prop: 37507.656 PropClause: 36054.546 Set: 7001.829 Check: 1.249 Back: 1305.984 INFO - Atoms: 47236/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24539 Props: 56181685 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.842 Prop: 37547.137 PropClause: 36092.849 Set: 7010.44 Check: 1.249 Back: 1307.063 INFO - Atoms: 47485/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24540 Props: 56229177 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.847 Prop: 37591.974 PropClause: 36136.515 Set: 7019.105 Check: 1.249 Back: 1308.141 INFO - Atoms: 47492/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24541 Props: 56276924 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.852 Prop: 37632.372 PropClause: 36175.735 Set: 7027.827 Check: 1.249 Back: 1309.219 INFO - Atoms: 47747/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24542 Props: 56324678 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.857 Prop: 37677.213 PropClause: 36219.402 Set: 7036.562 Check: 1.249 Back: 1310.311 INFO - Atoms: 47754/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24543 Props: 56372688 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.862 Prop: 37719.462 PropClause: 36260.462 Set: 7045.464 Check: 1.249 Back: 1311.397 INFO - Atoms: 48010/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24544 Props: 56420704 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.867 Prop: 37765.681 PropClause: 36305.492 Set: 7054.35 Check: 1.249 Back: 1312.589 INFO - Atoms: 48016/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24545 Props: 56468976 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.872 Prop: 37811.033 PropClause: 36349.641 Set: 7063.312 Check: 1.249 Back: 1313.702 INFO - Atoms: 48272/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24546 Props: 56517254 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.876 Prop: 37853.387 PropClause: 36390.806 Set: 7072.146 Check: 1.249 Back: 1314.803 INFO - Atoms: 48278/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24547 Props: 56565664 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.881 Prop: 37897.26 PropClause: 36433.48 Set: 7081.072 Check: 1.249 Back: 1315.912 INFO - Atoms: 48410/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24548 Props: 56614204 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.886 Prop: 37938.803 PropClause: 36473.839 Set: 7089.885 Check: 1.249 Back: 1317.014 INFO - Atoms: 48540/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24549 Props: 56662875 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.89 Prop: 37983.653 PropClause: 36517.501 Set: 7098.753 Check: 1.249 Back: 1318.115 INFO - Atoms: 48671/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24550 Props: 56711677 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.896 Prop: 38026.076 PropClause: 36558.719 Set: 7107.765 Check: 1.249 Back: 1319.224 INFO - Atoms: 48802/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24551 Props: 56760734 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.901 Prop: 38072.731 PropClause: 36604.16 Set: 7116.997 Check: 1.249 Back: 1320.356 INFO - Atoms: 49057/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24552 Props: 56809802 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.907 Prop: 38114.451 PropClause: 36644.671 Set: 7126.008 Check: 1.249 Back: 1321.483 INFO - Atoms: 49068/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24553 Props: 56859007 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.912 Prop: 38162.112 PropClause: 36691.115 Set: 7135.173 Check: 1.249 Back: 1322.605 INFO - Atoms: 49205/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24554 Props: 56908333 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.918 Prop: 38208.787 PropClause: 36736.58 Set: 7144.181 Check: 1.249 Back: 1323.725 INFO - Atoms: 49326/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24555 Props: 56957790 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.923 Prop: 38256.301 PropClause: 36782.872 Set: 7153.458 Check: 1.249 Back: 1324.848 INFO - Atoms: 49457/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24556 Props: 57007378 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.929 Prop: 38304.676 PropClause: 36830.025 Set: 7162.626 Check: 1.249 Back: 1326.167 INFO - Atoms: 49588/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24557 Props: 57057222 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.935 Prop: 38351.084 PropClause: 36875.191 Set: 7172.036 Check: 1.249 Back: 1327.3 INFO - Atoms: 49844/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24558 Props: 57107073 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.941 Prop: 38399.858 PropClause: 36922.729 Set: 7181.331 Check: 1.249 Back: 1328.439 INFO - Atoms: 49851/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24559 Props: 57157054 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.947 Prop: 38444.554 PropClause: 36966.19 Set: 7190.641 Check: 1.249 Back: 1329.579 INFO - Atoms: 49981/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24560 Props: 57207167 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.954 Prop: 38492.736 PropClause: 37013.137 Set: 7200.014 Check: 1.249 Back: 1330.727 INFO - Atoms: 50113/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24561 Props: 57257420 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.96 Prop: 38539.236 PropClause: 37058.398 Set: 7209.396 Check: 1.249 Back: 1331.867 INFO - Atoms: 50253/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24562 Props: 57307806 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.967 Prop: 38590.057 PropClause: 37107.975 Set: 7218.825 Check: 1.249 Back: 1333.015 INFO - Atoms: 50386/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24563 Props: 57358319 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.972 Prop: 38640.505 PropClause: 37157.166 Set: 7228.343 Check: 1.249 Back: 1334.17 INFO - Atoms: 50513/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24564 Props: 57408955 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.978 Prop: 38691.154 PropClause: 37206.555 Set: 7237.878 Check: 1.249 Back: 1335.334 INFO - Atoms: 50636/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24565 Props: 57459722 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.984 Prop: 38736.135 PropClause: 37250.283 Set: 7247.285 Check: 1.249 Back: 1336.495 INFO - Atoms: 50767/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24566 Props: 57510620 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.989 Prop: 38786.865 PropClause: 37299.765 Set: 7256.795 Check: 1.249 Back: 1337.658 INFO - Atoms: 50898/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24567 Props: 57561649 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16783.995 Prop: 38833.557 PropClause: 37345.208 Set: 7266.345 Check: 1.249 Back: 1338.814 INFO - Atoms: 51029/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24568 Props: 57612821 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.0 Prop: 38887.344 PropClause: 37397.712 Set: 7276.029 Check: 1.249 Back: 1339.982 INFO - Atoms: 51172/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24569 Props: 57664113 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.006 Prop: 38935.622 PropClause: 37444.718 Set: 7285.732 Check: 1.249 Back: 1341.169 INFO - Atoms: 51292/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24570 Props: 57715549 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.012 Prop: 38988.209 PropClause: 37496.032 Set: 7295.386 Check: 1.249 Back: 1342.348 INFO - Atoms: 51436/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24571 Props: 57767118 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.019 Prop: 39038.416 PropClause: 37544.958 Set: 7305.201 Check: 1.249 Back: 1343.536 INFO - Atoms: 51569/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24572 Props: 57818803 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.025 Prop: 39092.274 PropClause: 37597.53 Set: 7314.901 Check: 1.249 Back: 1344.721 INFO - Atoms: 51685/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24573 Props: 57870618 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.032 Prop: 39140.631 PropClause: 37644.602 Set: 7324.619 Check: 1.249 Back: 1345.913 INFO - Atoms: 51815/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24574 Props: 57922565 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.038 Prop: 39194.621 PropClause: 37697.311 Set: 7334.381 Check: 1.249 Back: 1347.102 INFO - Atoms: 51947/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24575 Props: 57974642 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.044 Prop: 39245.415 PropClause: 37746.779 Set: 7344.576 Check: 1.249 Back: 1348.381 INFO - Atoms: 52077/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24576 Props: 58026851 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.05 Prop: 39303.725 PropClause: 37803.767 Set: 7354.809 Check: 1.249 Back: 1349.613 INFO - Atoms: 52209/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24577 Props: 58079314 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.056 Prop: 39352.932 PropClause: 37851.676 Set: 7364.66 Check: 1.249 Back: 1351.026 INFO - Atoms: 52463/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24578 Props: 58131792 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.059 Prop: 39408.182 PropClause: 37905.632 Set: 7374.566 Check: 1.249 Back: 1352.229 INFO - Atoms: 52478/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24579 Props: 58184516 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.066 Prop: 39457.124 PropClause: 37953.26 Set: 7384.429 Check: 1.249 Back: 1353.415 INFO - Atoms: 52724/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24580 Props: 58237248 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.071 Prop: 39512.801 PropClause: 38007.641 Set: 7394.289 Check: 1.249 Back: 1354.61 INFO - Atoms: 52732/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24581 Props: 58290112 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.075 Prop: 39562.359 PropClause: 38055.894 Set: 7404.147 Check: 1.249 Back: 1355.807 INFO - Atoms: 52864/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24582 Props: 58343106 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.08 Prop: 39617.562 PropClause: 38109.786 Set: 7414.042 Check: 1.249 Back: 1357.018 INFO - Atoms: 52994/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24583 Props: 58396232 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.085 Prop: 39668.795 PropClause: 38159.703 Set: 7424.044 Check: 1.249 Back: 1358.221 INFO - Atoms: 53126/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24584 Props: 58449488 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.09 Prop: 39725.45 PropClause: 38215.048 Set: 7434.06 Check: 1.249 Back: 1359.439 INFO - Atoms: 53256/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24585 Props: 58502999 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.095 Prop: 39775.859 PropClause: 38264.136 Set: 7444.122 Check: 1.249 Back: 1360.649 INFO - Atoms: 53511/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24586 Props: 58556517 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.099 Prop: 39834.766 PropClause: 38321.71 Set: 7454.254 Check: 1.249 Back: 1361.883 INFO - Atoms: 53518/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24587 Props: 58610182 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.106 Prop: 39886.008 PropClause: 38371.628 Set: 7464.369 Check: 1.249 Back: 1363.113 INFO - Atoms: 53665/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24588 Props: 58663963 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.11 Prop: 39944.004 PropClause: 38428.288 Set: 7474.543 Check: 1.249 Back: 1364.373 INFO - Atoms: 53781/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24589 Props: 58717999 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.115 Prop: 39996.718 PropClause: 38479.667 Set: 7484.803 Check: 1.249 Back: 1365.596 INFO - Atoms: 54036/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24590 Props: 58772042 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.12 Prop: 40053.599 PropClause: 38535.215 Set: 7494.918 Check: 1.249 Back: 1366.829 INFO - Atoms: 54043/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24591 Props: 58826217 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.124 Prop: 40105.498 PropClause: 38585.784 Set: 7505.076 Check: 1.249 Back: 1368.049 INFO - Atoms: 54175/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24592 Props: 58880521 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.128 Prop: 40164.173 PropClause: 38643.122 Set: 7515.344 Check: 1.249 Back: 1369.287 INFO - Atoms: 54304/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24593 Props: 58934957 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.134 Prop: 40216.61 PropClause: 38694.215 Set: 7525.586 Check: 1.249 Back: 1370.536 INFO - Atoms: 54436/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24594 Props: 58989523 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.138 Prop: 40275.475 PropClause: 38751.721 Set: 7535.977 Check: 1.249 Back: 1371.778 INFO - Atoms: 54566/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24595 Props: 59044221 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.144 Prop: 40328.073 PropClause: 38802.952 Set: 7546.335 Check: 1.249 Back: 1373.022 INFO - Atoms: 54698/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24596 Props: 59099069 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.149 Prop: 40386.138 PropClause: 38859.667 Set: 7556.737 Check: 1.249 Back: 1374.282 INFO - Atoms: 54848/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24597 Props: 59154028 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.155 Prop: 40438.958 PropClause: 38911.135 Set: 7567.014 Check: 1.249 Back: 1375.538 INFO - Atoms: 54959/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24598 Props: 59209118 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.159 Prop: 40497.586 PropClause: 38968.397 Set: 7577.434 Check: 1.249 Back: 1376.791 INFO - Atoms: 55090/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24599 Props: 59264339 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.163 Prop: 40551.191 PropClause: 39020.637 Set: 7587.951 Check: 1.249 Back: 1378.045 INFO - Atoms: 55221/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24600 Props: 59319692 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.169 Prop: 40609.293 PropClause: 39077.371 Set: 7598.417 Check: 1.249 Back: 1379.308 INFO - Atoms: 55353/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24601 Props: 59375299 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.174 Prop: 40665.432 PropClause: 39132.126 Set: 7608.985 Check: 1.249 Back: 1380.57 INFO - Atoms: 55607/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24602 Props: 59430914 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.178 Prop: 40724.436 PropClause: 39189.762 Set: 7619.609 Check: 1.249 Back: 1381.842 INFO - Atoms: 55615/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24603 Props: 59486660 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.184 Prop: 40780.332 PropClause: 39244.284 Set: 7630.229 Check: 1.249 Back: 1383.11 INFO - Atoms: 55746/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24604 Props: 59542537 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.191 Prop: 40838.239 PropClause: 39300.808 Set: 7640.788 Check: 1.249 Back: 1384.384 INFO - Atoms: 55877/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24605 Props: 59598545 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.197 Prop: 40895.216 PropClause: 39356.398 Set: 7651.364 Check: 1.249 Back: 1385.665 INFO - Atoms: 56008/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24606 Props: 59654683 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.203 Prop: 40951.131 PropClause: 39410.924 Set: 7661.793 Check: 1.249 Back: 1386.958 INFO - Atoms: 56138/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24607 Props: 59710952 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.209 Prop: 41011.483 PropClause: 39469.892 Set: 7672.563 Check: 1.249 Back: 1388.246 INFO - Atoms: 56269/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24608 Props: 59773667 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.214 Prop: 41071.179 PropClause: 39528.064 Set: 7684.36 Check: 1.249 Back: 1389.531 INFO - Atoms: 62715/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24609 Props: 59836489 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.219 Prop: 41139.375 PropClause: 39594.692 Set: 7696.421 Check: 1.249 Back: 1390.947 INFO - Atoms: 62822/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24610 Props: 59899442 Tprops: 0 Decides: 46931 RSplits: 0 INFO - Times: Expl: 16784.224 Prop: 41201.629 PropClause: 39655.391 Set: 7708.228 Check: 1.249 Back: 1392.383 INFO - Atoms: 62953/76542 Clauses: 1189 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 719 Props: 186128 Tprops: 5501 Decides: 202027 RSplits: 0 INFO - Times: Expl: 633.248 Prop: 114144.346 PropClause: 97.862 Set: 33353.749 Check: 1747.033 Back: 728.125 INFO - Atoms: 1355/1651 Clauses: 719 Axioms: 1651 INFO - CCTimes: iE 1589153 eq 69357843 cc 324739499 setRep 139023889 INFO - Merges: 1047321, cc:2174456 INFO - BVTimes: BB 326055683 BB_DPLL 104328429470 Graph 1187711483 INFO - BitBlastingClauses: 981186 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat