/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_159_096.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 267368610 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 93884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.709 Prop: 132.286 PropClause: 128.355 Set: 45.146 Check: 0.0 Back: 0.0 INFO - Atoms: 93884/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 187134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.833 Prop: 263.599 PropClause: 256.389 Set: 62.189 Check: 0.0 Back: 2.168 INFO - Atoms: 93250/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 280384 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.875 Prop: 373.466 PropClause: 363.597 Set: 85.833 Check: 0.0 Back: 4.353 INFO - Atoms: 93250/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 373634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.951 Prop: 498.814 PropClause: 486.26 Set: 112.682 Check: 0.0 Back: 7.037 INFO - Atoms: 93250/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 466879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.068 Prop: 614.989 PropClause: 599.769 Set: 130.01 Check: 0.0 Back: 9.543 INFO - Atoms: 93245/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 559804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.117 Prop: 733.097 PropClause: 715.233 Set: 147.237 Check: 0.0 Back: 12.361 INFO - Atoms: 92925/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 653048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.171 Prop: 843.319 PropClause: 822.778 Set: 164.325 Check: 0.0 Back: 14.956 INFO - Atoms: 93244/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 746294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.22 Prop: 990.416 PropClause: 967.223 Set: 181.987 Check: 0.0 Back: 17.65 INFO - Atoms: 93246/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 839220 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.274 Prop: 1095.851 PropClause: 1070.025 Set: 209.366 Check: 0.0 Back: 20.258 INFO - Atoms: 92926/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 931882 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.32 Prop: 1214.094 PropClause: 1185.649 Set: 236.869 Check: 0.0 Back: 22.862 INFO - Atoms: 92662/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 1024162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.398 Prop: 1318.147 PropClause: 1287.091 Set: 303.619 Check: 0.0 Back: 25.44 INFO - Atoms: 92280/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 1116765 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.446 Prop: 1435.232 PropClause: 1401.544 Set: 320.481 Check: 0.0 Back: 28.003 INFO - Atoms: 92603/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 1209045 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.496 Prop: 1541.575 PropClause: 1505.267 Set: 337.163 Check: 0.0 Back: 30.568 INFO - Atoms: 92280/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 1301324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.552 Prop: 1671.563 PropClause: 1632.151 Set: 358.178 Check: 0.0 Back: 33.146 INFO - Atoms: 92279/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 1393281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.604 Prop: 1777.964 PropClause: 1735.697 Set: 424.396 Check: 0.0 Back: 35.718 INFO - Atoms: 91957/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1484914 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.653 Prop: 1896.696 PropClause: 1851.812 Set: 441.062 Check: 0.0 Back: 38.313 INFO - Atoms: 91633/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1576225 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.695 Prop: 2008.423 PropClause: 1960.954 Set: 457.719 Check: 0.0 Back: 40.841 INFO - Atoms: 91311/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1667212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.748 Prop: 2129.302 PropClause: 2079.244 Set: 474.49 Check: 0.0 Back: 43.393 INFO - Atoms: 90987/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1757877 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.803 Prop: 2244.67 PropClause: 2192.039 Set: 495.466 Check: 0.0 Back: 45.92 INFO - Atoms: 90665/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1848277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.851 Prop: 2363.249 PropClause: 2308.059 Set: 523.646 Check: 0.0 Back: 48.485 INFO - Atoms: 90400/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1938296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.898 Prop: 2472.897 PropClause: 2415.065 Set: 551.129 Check: 0.0 Back: 50.976 INFO - Atoms: 90019/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 2028048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.945 Prop: 2588.251 PropClause: 2527.881 Set: 577.761 Check: 0.0 Back: 53.467 INFO - Atoms: 89752/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 2117421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.012 Prop: 2696.276 PropClause: 2633.347 Set: 625.96 Check: 0.0 Back: 55.894 INFO - Atoms: 89373/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 2206470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.063 Prop: 2814.55 PropClause: 2749.082 Set: 641.938 Check: 0.0 Back: 58.369 INFO - Atoms: 89049/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 2295197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.104 Prop: 2916.079 PropClause: 2848.099 Set: 657.639 Check: 0.0 Back: 60.782 INFO - Atoms: 88727/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 2383600 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.147 Prop: 3026.104 PropClause: 2955.62 Set: 673.327 Check: 0.0 Back: 63.191 INFO - Atoms: 88403/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 2471681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.189 Prop: 3128.273 PropClause: 3055.28 Set: 688.894 Check: 0.0 Back: 65.574 INFO - Atoms: 88081/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 2559438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.232 Prop: 3235.574 PropClause: 3160.069 Set: 704.544 Check: 0.0 Back: 67.99 INFO - Atoms: 87757/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 2646873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.278 Prop: 3331.954 PropClause: 3253.973 Set: 719.862 Check: 0.0 Back: 70.341 INFO - Atoms: 87435/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 2733984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.323 Prop: 3437.983 PropClause: 3357.554 Set: 735.225 Check: 0.0 Back: 72.721 INFO - Atoms: 87111/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 2820773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.372 Prop: 3536.409 PropClause: 3453.508 Set: 786.455 Check: 0.0 Back: 75.029 INFO - Atoms: 86789/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2907238 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.42 Prop: 3641.649 PropClause: 3556.301 Set: 801.68 Check: 0.0 Back: 77.355 INFO - Atoms: 86465/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2993381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.459 Prop: 3738.268 PropClause: 3650.485 Set: 817.005 Check: 0.0 Back: 79.678 INFO - Atoms: 86143/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 3079200 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.497 Prop: 3843.827 PropClause: 3753.611 Set: 832.251 Check: 0.0 Back: 82.028 INFO - Atoms: 85819/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 3164697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.547 Prop: 3939.347 PropClause: 3846.707 Set: 847.542 Check: 0.0 Back: 84.33 INFO - Atoms: 85497/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 3249870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.621 Prop: 4045.064 PropClause: 3950.012 Set: 862.587 Check: 0.0 Back: 86.691 INFO - Atoms: 85173/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 3334721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.662 Prop: 4140.542 PropClause: 4043.075 Set: 877.412 Check: 0.0 Back: 88.991 INFO - Atoms: 84851/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 3419306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.707 Prop: 4244.4 PropClause: 4144.526 Set: 892.31 Check: 0.0 Back: 91.292 INFO - Atoms: 84585/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 3503511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.764 Prop: 4342.038 PropClause: 4239.779 Set: 907.185 Check: 0.0 Back: 93.573 INFO - Atoms: 84205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 3587450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.816 Prop: 4446.722 PropClause: 4342.076 Set: 927.635 Check: 0.0 Back: 95.868 INFO - Atoms: 83939/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 3671009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.864 Prop: 4543.796 PropClause: 4436.79 Set: 951.311 Check: 0.0 Back: 98.097 INFO - Atoms: 83559/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 3754244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.911 Prop: 4649.436 PropClause: 4540.075 Set: 965.986 Check: 0.0 Back: 100.366 INFO - Atoms: 83235/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 3837157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.971 Prop: 4739.133 PropClause: 4627.415 Set: 980.355 Check: 0.0 Back: 102.59 INFO - Atoms: 82913/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 3919804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.017 Prop: 4840.4 PropClause: 4726.322 Set: 995.074 Check: 0.0 Back: 104.828 INFO - Atoms: 82647/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 4002071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.059 Prop: 4932.085 PropClause: 4815.686 Set: 1009.385 Check: 0.0 Back: 107.036 INFO - Atoms: 82267/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 4084014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.099 Prop: 5025.832 PropClause: 4907.109 Set: 1023.791 Check: 0.0 Back: 109.257 INFO - Atoms: 81943/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 4165635 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.141 Prop: 5113.566 PropClause: 4992.54 Set: 1037.926 Check: 0.0 Back: 111.458 INFO - Atoms: 81621/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 4246932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.188 Prop: 5214.596 PropClause: 5091.254 Set: 1052.207 Check: 0.0 Back: 113.644 INFO - Atoms: 81297/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 4327907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.232 Prop: 5306.439 PropClause: 5180.818 Set: 1066.344 Check: 0.0 Back: 115.838 INFO - Atoms: 80975/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 4408617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.276 Prop: 5404.4 PropClause: 5276.502 Set: 1080.505 Check: 0.0 Back: 118.033 INFO - Atoms: 80710/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 4488946 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.321 Prop: 5496.074 PropClause: 5365.914 Set: 1094.505 Check: 0.0 Back: 120.176 INFO - Atoms: 80329/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 4568951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.477 Prop: 5594.311 PropClause: 5461.881 Set: 1108.66 Check: 0.0 Back: 122.334 INFO - Atoms: 80005/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 4648634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.501 Prop: 5682.881 PropClause: 5548.195 Set: 1122.472 Check: 0.0 Back: 124.463 INFO - Atoms: 79683/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 4727993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.525 Prop: 5780.629 PropClause: 5643.705 Set: 1136.325 Check: 0.0 Back: 126.591 INFO - Atoms: 79359/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 4807030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.546 Prop: 5868.484 PropClause: 5729.329 Set: 1149.958 Check: 0.0 Back: 128.726 INFO - Atoms: 79037/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 4885743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.568 Prop: 5974.568 PropClause: 5833.176 Set: 1163.734 Check: 0.0 Back: 130.856 INFO - Atoms: 78713/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 4964134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.588 Prop: 6061.411 PropClause: 5917.79 Set: 1177.363 Check: 0.0 Back: 132.948 INFO - Atoms: 78391/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 5042259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.609 Prop: 6157.024 PropClause: 6011.188 Set: 1191.003 Check: 0.0 Back: 135.043 INFO - Atoms: 78125/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 5120004 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.629 Prop: 6240.793 PropClause: 6092.763 Set: 1204.407 Check: 0.0 Back: 137.111 INFO - Atoms: 77745/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 5197482 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.649 Prop: 6322.137 PropClause: 6171.921 Set: 1217.683 Check: 0.0 Back: 139.179 INFO - Atoms: 77478/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 5274581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.671 Prop: 6399.718 PropClause: 6247.314 Set: 1230.857 Check: 0.0 Back: 141.213 INFO - Atoms: 77099/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 5351356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.69 Prop: 6478.635 PropClause: 6324.06 Set: 1244.012 Check: 0.0 Back: 143.237 INFO - Atoms: 76775/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 5427809 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.714 Prop: 6555.298 PropClause: 6398.553 Set: 1273.308 Check: 0.0 Back: 145.24 INFO - Atoms: 76453/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 5503997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.734 Prop: 6635.726 PropClause: 6476.834 Set: 1286.348 Check: 0.0 Back: 147.284 INFO - Atoms: 76188/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 5579804 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.752 Prop: 6711.589 PropClause: 6550.558 Set: 1299.352 Check: 0.0 Back: 149.316 INFO - Atoms: 75807/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 5655344 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.773 Prop: 6793.988 PropClause: 6630.79 Set: 1312.447 Check: 0.0 Back: 151.353 INFO - Atoms: 75540/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 5730505 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.794 Prop: 6869.812 PropClause: 6704.486 Set: 1325.407 Check: 0.0 Back: 153.362 INFO - Atoms: 75161/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 5805400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.814 Prop: 6950.215 PropClause: 6782.775 Set: 1338.234 Check: 0.0 Back: 155.357 INFO - Atoms: 74895/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 5879915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.833 Prop: 7023.56 PropClause: 6854.008 Set: 1350.926 Check: 0.0 Back: 157.34 INFO - Atoms: 74515/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 5954106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.853 Prop: 7103.068 PropClause: 6931.424 Set: 1363.629 Check: 0.0 Back: 159.31 INFO - Atoms: 74191/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 6027975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.871 Prop: 7175.562 PropClause: 7001.822 Set: 1376.19 Check: 0.0 Back: 161.275 INFO - Atoms: 73869/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 6101520 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.892 Prop: 7253.899 PropClause: 7078.089 Set: 1388.695 Check: 0.0 Back: 163.249 INFO - Atoms: 73545/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 6174743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.916 Prop: 7329.804 PropClause: 7151.925 Set: 1401.265 Check: 0.0 Back: 165.183 INFO - Atoms: 73223/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 6247642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.935 Prop: 7411.41 PropClause: 7231.477 Set: 1413.72 Check: 0.0 Back: 167.175 INFO - Atoms: 72899/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 6320219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.958 Prop: 7486.415 PropClause: 7304.426 Set: 1457.513 Check: 0.0 Back: 169.08 INFO - Atoms: 72577/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 6392530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.98 Prop: 7570.847 PropClause: 7386.782 Set: 1470.112 Check: 0.0 Back: 170.946 INFO - Atoms: 72311/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 6464461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.068 Prop: 7642.128 PropClause: 7456.025 Set: 1482.442 Check: 0.0 Back: 172.877 INFO - Atoms: 71931/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 6536126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.082 Prop: 7718.812 PropClause: 7530.681 Set: 1494.67 Check: 0.0 Back: 174.813 INFO - Atoms: 71665/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 6607411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.098 Prop: 7793.947 PropClause: 7603.789 Set: 1506.78 Check: 0.0 Back: 176.693 INFO - Atoms: 71285/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 6678429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.113 Prop: 7873.107 PropClause: 7680.957 Set: 1518.855 Check: 0.0 Back: 178.581 INFO - Atoms: 71018/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 6749068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.129 Prop: 7953.203 PropClause: 7759.048 Set: 1530.985 Check: 0.0 Back: 180.436 INFO - Atoms: 70639/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 6819383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.144 Prop: 8036.109 PropClause: 7839.972 Set: 1543.181 Check: 0.0 Back: 182.313 INFO - Atoms: 70315/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 6889376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.161 Prop: 8112.55 PropClause: 7914.433 Set: 1555.18 Check: 0.0 Back: 184.164 INFO - Atoms: 69993/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 6959045 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.178 Prop: 8191.339 PropClause: 7991.262 Set: 1567.058 Check: 0.0 Back: 186.02 INFO - Atoms: 69669/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 7028392 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.194 Prop: 8262.397 PropClause: 8060.347 Set: 1578.875 Check: 0.0 Back: 187.847 INFO - Atoms: 69347/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 7097415 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.208 Prop: 8337.635 PropClause: 8133.64 Set: 1590.627 Check: 0.0 Back: 189.684 INFO - Atoms: 69023/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 7166116 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.225 Prop: 8409.3 PropClause: 8203.323 Set: 1602.415 Check: 0.0 Back: 191.504 INFO - Atoms: 68701/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 7234552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.24 Prop: 8485.423 PropClause: 8277.483 Set: 1614.113 Check: 0.0 Back: 193.318 INFO - Atoms: 68436/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 7302607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.257 Prop: 8556.758 PropClause: 8346.892 Set: 1625.818 Check: 0.0 Back: 195.062 INFO - Atoms: 68055/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 7370338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.276 Prop: 8630.026 PropClause: 8418.245 Set: 1637.35 Check: 0.0 Back: 196.882 INFO - Atoms: 67731/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 7437747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.292 Prop: 8697.188 PropClause: 8483.498 Set: 1648.821 Check: 0.0 Back: 198.631 INFO - Atoms: 67409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 7504832 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.308 Prop: 8771.744 PropClause: 8556.148 Set: 1660.316 Check: 0.0 Back: 200.417 INFO - Atoms: 67085/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 7571595 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.324 Prop: 8840.522 PropClause: 8623.035 Set: 1671.696 Check: 0.0 Back: 202.131 INFO - Atoms: 66763/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 7638093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.372 Prop: 8914.131 PropClause: 8694.749 Set: 1683.097 Check: 0.0 Back: 203.893 INFO - Atoms: 66498/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 7704210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.433 Prop: 8980.655 PropClause: 8759.396 Set: 1694.307 Check: 0.0 Back: 205.623 INFO - Atoms: 66117/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 7770003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.448 Prop: 9056.676 PropClause: 8833.529 Set: 1705.772 Check: 0.0 Back: 207.359 INFO - Atoms: 65793/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 7835474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.46 Prop: 9124.333 PropClause: 8899.337 Set: 1716.902 Check: 0.0 Back: 209.07 INFO - Atoms: 65471/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 7900679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.472 Prop: 9197.004 PropClause: 8970.154 Set: 1728.035 Check: 0.0 Back: 210.783 INFO - Atoms: 65205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 7965504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.483 Prop: 9263.182 PropClause: 9034.508 Set: 1738.972 Check: 0.0 Back: 212.456 INFO - Atoms: 64825/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 8030005 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.495 Prop: 9335.734 PropClause: 9105.237 Set: 1749.911 Check: 0.0 Back: 214.16 INFO - Atoms: 64501/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 8094184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.506 Prop: 9401.725 PropClause: 9169.423 Set: 1760.708 Check: 0.0 Back: 215.824 INFO - Atoms: 64179/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 8158039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.517 Prop: 9471.204 PropClause: 9237.094 Set: 1771.442 Check: 0.0 Back: 217.507 INFO - Atoms: 63855/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 8221572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.529 Prop: 9535.287 PropClause: 9299.378 Set: 1782.238 Check: 0.0 Back: 219.155 INFO - Atoms: 63533/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 8284838 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.543 Prop: 9605.193 PropClause: 9367.485 Set: 1806.599 Check: 0.0 Back: 220.806 INFO - Atoms: 63266/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 8349057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.711 Prop: 9672.697 PropClause: 9433.167 Set: 1817.808 Check: 0.0 Back: 222.434 INFO - Atoms: 64219/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 8413212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.732 Prop: 9741.682 PropClause: 9500.334 Set: 1828.855 Check: 0.0 Back: 225.338 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 8476417 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.751 Prop: 9803.837 PropClause: 9560.69 Set: 1839.547 Check: 0.0 Back: 226.979 INFO - Atoms: 63205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 8540572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.77 Prop: 9869.312 PropClause: 9624.317 Set: 1850.797 Check: 0.0 Back: 228.621 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 8604792 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.794 Prop: 9927.423 PropClause: 9680.608 Set: 1861.677 Check: 0.0 Back: 230.274 INFO - Atoms: 64220/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 8667996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.81 Prop: 9988.568 PropClause: 9739.971 Set: 1872.219 Check: 0.0 Back: 231.932 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 8732217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.826 Prop: 10044.913 PropClause: 9794.503 Set: 1883.035 Check: 0.0 Back: 233.526 INFO - Atoms: 64221/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 8796372 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.84 Prop: 10106.571 PropClause: 9854.346 Set: 1893.858 Check: 0.0 Back: 235.175 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 8860847 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.854 Prop: 10163.913 PropClause: 9909.87 Set: 1904.749 Check: 0.0 Back: 236.823 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 8925254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.866 Prop: 10225.764 PropClause: 9969.897 Set: 1915.696 Check: 0.0 Back: 238.464 INFO - Atoms: 64407/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 8989411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.881 Prop: 10283.12 PropClause: 10025.458 Set: 1926.396 Check: 0.0 Back: 240.105 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 9052674 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.895 Prop: 10343.129 PropClause: 10083.675 Set: 1937.011 Check: 0.0 Back: 241.746 INFO - Atoms: 63263/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 9116829 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.909 Prop: 10399.633 PropClause: 10138.362 Set: 1947.836 Check: 0.0 Back: 243.36 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 9181239 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.924 Prop: 10461.659 PropClause: 10198.576 Set: 1958.675 Check: 0.0 Back: 245.028 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 9245712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.941 Prop: 10519.533 PropClause: 10254.621 Set: 1983.635 Check: 0.0 Back: 246.654 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 9310122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.956 Prop: 10580.053 PropClause: 10313.333 Set: 1994.596 Check: 0.0 Back: 248.301 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 9374279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.971 Prop: 10636.471 PropClause: 10367.955 Set: 2005.417 Check: 0.0 Back: 249.952 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 9437541 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.983 Prop: 10695.662 PropClause: 10425.37 Set: 2015.972 Check: 0.0 Back: 251.587 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 9501696 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.999 Prop: 10752.379 PropClause: 10480.277 Set: 2026.74 Check: 0.0 Back: 253.211 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 9566104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.022 Prop: 10817.461 PropClause: 10543.546 Set: 2037.727 Check: 0.0 Back: 254.845 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 9630577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.037 Prop: 10875.287 PropClause: 10599.551 Set: 2048.592 Check: 0.0 Back: 256.46 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 9694987 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.054 Prop: 10938.854 PropClause: 10661.302 Set: 2059.611 Check: 0.0 Back: 258.115 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 9759144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.094 Prop: 10997.204 PropClause: 10717.858 Set: 2070.376 Check: 0.0 Back: 259.764 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 9822348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.113 Prop: 11060.496 PropClause: 10779.371 Set: 2081.011 Check: 0.0 Back: 261.407 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 9886503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.153 Prop: 11118.92 PropClause: 10835.989 Set: 2091.876 Check: 0.0 Back: 263.018 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 9950911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.166 Prop: 11181.475 PropClause: 10896.719 Set: 2102.796 Check: 0.0 Back: 264.647 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 10015386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.213 Prop: 11240.328 PropClause: 10953.747 Set: 2113.681 Check: 0.0 Back: 266.292 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 10079796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.272 Prop: 11303.841 PropClause: 11015.446 Set: 2124.619 Check: 0.0 Back: 267.952 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 10143953 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.284 Prop: 11362.991 PropClause: 11072.789 Set: 2135.504 Check: 0.0 Back: 269.607 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 10207216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.295 Prop: 11425.148 PropClause: 11133.158 Set: 2146.153 Check: 0.0 Back: 271.259 INFO - Atoms: 63263/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 10271371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.307 Prop: 11482.97 PropClause: 11189.162 Set: 2157.0 Check: 0.0 Back: 272.872 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 10335779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.317 Prop: 11547.441 PropClause: 11251.822 Set: 2167.984 Check: 0.0 Back: 274.514 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 10400254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.329 Prop: 11607.306 PropClause: 11309.879 Set: 2178.862 Check: 0.0 Back: 276.137 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 10464664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.366 Prop: 11672.361 PropClause: 11373.121 Set: 2189.865 Check: 0.0 Back: 277.783 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 10528821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.414 Prop: 11733.618 PropClause: 11432.546 Set: 2200.695 Check: 0.0 Back: 279.416 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 10592082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.453 Prop: 11796.5 PropClause: 11493.648 Set: 2211.294 Check: 0.0 Back: 281.055 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 10656237 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.466 Prop: 11856.28 PropClause: 11551.632 Set: 2222.052 Check: 0.0 Back: 282.671 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 10720645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.475 Prop: 11920.059 PropClause: 11613.598 Set: 2233.003 Check: 0.0 Back: 284.303 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 10785120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.487 Prop: 11980.708 PropClause: 11672.422 Set: 2244.016 Check: 0.0 Back: 285.945 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 10849530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.497 Prop: 12045.013 PropClause: 11734.912 Set: 2255.009 Check: 0.0 Back: 287.615 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 10913687 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.508 Prop: 12105.593 PropClause: 11793.682 Set: 2265.849 Check: 0.0 Back: 289.268 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 10976891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.517 Prop: 12169.091 PropClause: 11855.403 Set: 2276.458 Check: 0.0 Back: 290.904 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 11041046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.539 Prop: 12228.414 PropClause: 11912.925 Set: 2287.302 Check: 0.0 Back: 292.515 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 11105454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.55 Prop: 12292.855 PropClause: 11975.544 Set: 2298.221 Check: 0.0 Back: 294.151 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 11169929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.59 Prop: 12353.521 PropClause: 12034.395 Set: 2309.202 Check: 0.0 Back: 295.789 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 11234339 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.667 Prop: 12425.395 PropClause: 12104.454 Set: 2320.254 Check: 0.0 Back: 297.428 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 11298496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.678 Prop: 12489.232 PropClause: 12166.485 Set: 2331.3 Check: 0.0 Back: 299.077 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 11361758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.689 Prop: 12557.792 PropClause: 12233.263 Set: 2342.073 Check: 0.0 Back: 300.729 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 11425913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.699 Prop: 12624.14 PropClause: 12297.793 Set: 2353.133 Check: 0.0 Back: 302.355 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 11490321 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.711 Prop: 12695.246 PropClause: 12367.08 Set: 2364.335 Check: 0.0 Back: 304.003 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 11554796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.723 Prop: 12766.469 PropClause: 12436.475 Set: 2375.673 Check: 0.0 Back: 305.647 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 11619206 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.735 Prop: 12846.63 PropClause: 12514.814 Set: 2387.253 Check: 0.0 Back: 307.331 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 11683363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.746 Prop: 12919.241 PropClause: 12585.595 Set: 2398.407 Check: 0.0 Back: 308.962 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 11746624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.757 Prop: 12992.635 PropClause: 12657.189 Set: 2409.306 Check: 0.0 Back: 310.639 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 11810779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.769 Prop: 13061.911 PropClause: 12724.647 Set: 2420.728 Check: 0.0 Back: 312.258 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 11875187 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.78 Prop: 13133.798 PropClause: 12794.707 Set: 2431.943 Check: 0.0 Back: 313.948 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 11939662 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.794 Prop: 13201.747 PropClause: 12860.813 Set: 2443.077 Check: 0.0 Back: 315.603 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 12004071 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.806 Prop: 13274.143 PropClause: 12931.367 Set: 2454.212 Check: 0.0 Back: 317.285 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 12068228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.818 Prop: 13339.86 PropClause: 12995.259 Set: 2465.265 Check: 0.0 Back: 318.941 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 12131432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.83 Prop: 13408.463 PropClause: 13062.045 Set: 2476.111 Check: 0.0 Back: 320.585 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 12195587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.844 Prop: 13477.646 PropClause: 13129.394 Set: 2487.259 Check: 0.0 Back: 322.192 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 12259995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.855 Prop: 13549.743 PropClause: 13199.665 Set: 2498.471 Check: 0.0 Back: 323.848 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 12324470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.868 Prop: 13619.439 PropClause: 13267.493 Set: 2509.636 Check: 0.0 Back: 325.497 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 12388879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.879 Prop: 13689.671 PropClause: 13335.9 Set: 2520.867 Check: 0.0 Back: 327.154 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 12453036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.893 Prop: 13756.295 PropClause: 13400.711 Set: 2531.898 Check: 0.0 Back: 328.804 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 12516240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.903 Prop: 13822.422 PropClause: 13465.048 Set: 2542.602 Check: 0.0 Back: 330.446 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 12580395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.915 Prop: 13887.407 PropClause: 13528.218 Set: 2553.65 Check: 0.0 Back: 332.071 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 12644803 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.927 Prop: 13954.379 PropClause: 13593.366 Set: 2564.72 Check: 0.0 Back: 333.746 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 12708008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.986 Prop: 14018.778 PropClause: 13655.969 Set: 2575.559 Check: 0.0 Back: 335.408 INFO - Atoms: 63205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 12772416 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.021 Prop: 14097.566 PropClause: 13732.918 Set: 2586.708 Check: 0.0 Back: 337.04 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 12836573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.026 Prop: 14164.202 PropClause: 13797.727 Set: 2597.769 Check: 0.0 Back: 338.695 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 12899835 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.031 Prop: 14236.448 PropClause: 13868.172 Set: 2608.785 Check: 0.0 Back: 340.35 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 12963990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.036 Prop: 14304.159 PropClause: 13934.053 Set: 2636.0 Check: 0.0 Back: 341.989 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 13028400 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.04 Prop: 14373.467 PropClause: 14001.519 Set: 2647.161 Check: 0.0 Back: 343.654 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 13092873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.045 Prop: 14441.313 PropClause: 14067.55 Set: 2658.345 Check: 0.0 Back: 345.293 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 13157282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.051 Prop: 14511.238 PropClause: 14135.636 Set: 2669.476 Check: 0.0 Back: 346.96 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 13221439 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.057 Prop: 14583.475 PropClause: 14206.047 Set: 2680.699 Check: 0.0 Back: 348.61 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 13284700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.062 Prop: 14654.494 PropClause: 14275.276 Set: 2691.587 Check: 0.0 Back: 350.291 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 13348855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.066 Prop: 14724.42 PropClause: 14343.369 Set: 2702.627 Check: 0.0 Back: 351.91 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 13413263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.071 Prop: 14793.413 PropClause: 14410.535 Set: 2713.842 Check: 0.0 Back: 353.598 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 13477738 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.076 Prop: 14861.301 PropClause: 14476.608 Set: 2724.989 Check: 0.0 Back: 355.246 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 13542148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.081 Prop: 14933.225 PropClause: 14546.696 Set: 2736.038 Check: 0.0 Back: 356.925 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 13606305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.085 Prop: 15001.51 PropClause: 14613.158 Set: 2747.098 Check: 0.0 Back: 358.585 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 13669566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.089 Prop: 15072.184 PropClause: 14682.038 Set: 2757.96 Check: 0.0 Back: 360.263 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 13733721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.094 Prop: 15138.825 PropClause: 14746.873 Set: 2768.954 Check: 0.0 Back: 361.896 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 13798129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.098 Prop: 15208.356 PropClause: 14814.568 Set: 2780.023 Check: 0.0 Back: 363.552 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 13862602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.103 Prop: 15276.438 PropClause: 14880.832 Set: 2791.032 Check: 0.0 Back: 365.232 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 13927012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.108 Prop: 15345.633 PropClause: 14948.195 Set: 2802.096 Check: 0.0 Back: 366.916 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 13991169 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.114 Prop: 15413.077 PropClause: 15013.823 Set: 2813.277 Check: 0.0 Back: 368.576 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 14054373 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.119 Prop: 15482.355 PropClause: 15081.317 Set: 2824.033 Check: 0.0 Back: 370.26 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 14118528 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.123 Prop: 15549.67 PropClause: 15146.8 Set: 2835.194 Check: 0.0 Back: 371.886 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 14182936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.13 Prop: 15620.274 PropClause: 15215.566 Set: 2846.561 Check: 0.0 Back: 373.599 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 14247411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.136 Prop: 15691.829 PropClause: 15285.295 Set: 2857.856 Check: 0.0 Back: 375.251 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 14311820 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.141 Prop: 15761.112 PropClause: 15352.758 Set: 2868.981 Check: 0.0 Back: 376.918 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 14375977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.145 Prop: 15827.562 PropClause: 15417.392 Set: 2880.098 Check: 0.0 Back: 378.578 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 14439239 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.149 Prop: 15896.36 PropClause: 15484.402 Set: 2891.006 Check: 0.0 Back: 380.259 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 14503394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.154 Prop: 15966.256 PropClause: 15552.482 Set: 2902.246 Check: 0.0 Back: 381.901 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 14567802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.159 Prop: 16039.043 PropClause: 15623.432 Set: 2913.469 Check: 0.0 Back: 383.566 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 14632277 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.163 Prop: 16108.234 PropClause: 15690.802 Set: 2963.244 Check: 0.0 Back: 385.261 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 14696687 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.168 Prop: 16175.922 PropClause: 15756.64 Set: 2974.391 Check: 0.0 Back: 386.861 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 14760844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.173 Prop: 16242.365 PropClause: 15821.259 Set: 2985.458 Check: 0.0 Back: 388.525 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 14824048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.178 Prop: 16308.44 PropClause: 15885.545 Set: 2996.268 Check: 0.0 Back: 390.172 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 14888203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.184 Prop: 16375.959 PropClause: 15951.248 Set: 3007.499 Check: 0.0 Back: 391.781 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 14952611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.189 Prop: 16445.882 PropClause: 16019.312 Set: 3018.615 Check: 0.0 Back: 393.462 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 15017084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.194 Prop: 16515.046 PropClause: 16086.635 Set: 3029.832 Check: 0.0 Back: 395.105 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 15081494 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.198 Prop: 16585.141 PropClause: 16154.881 Set: 3041.008 Check: 0.0 Back: 396.811 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 15145651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.203 Prop: 16651.989 PropClause: 16219.912 Set: 3052.086 Check: 0.0 Back: 398.448 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 15208913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.207 Prop: 16719.266 PropClause: 16285.397 Set: 3062.882 Check: 0.0 Back: 400.09 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 15273068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.212 Prop: 16784.583 PropClause: 16348.881 Set: 3073.973 Check: 0.0 Back: 401.704 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 15337476 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.216 Prop: 16852.768 PropClause: 16415.247 Set: 3085.133 Check: 0.0 Back: 403.344 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 15401951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.221 Prop: 16919.045 PropClause: 16479.697 Set: 3096.192 Check: 0.0 Back: 404.985 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 15466361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.225 Prop: 16984.751 PropClause: 16543.58 Set: 3107.244 Check: 0.0 Back: 406.682 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 15530518 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.232 Prop: 17049.909 PropClause: 16606.922 Set: 3118.324 Check: 0.0 Back: 408.334 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 15593722 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.236 Prop: 17116.225 PropClause: 16671.446 Set: 3129.096 Check: 0.0 Back: 409.967 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 15657877 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.241 Prop: 17185.467 PropClause: 16738.873 Set: 3140.243 Check: 0.0 Back: 411.609 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 15722285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.247 Prop: 17255.944 PropClause: 16807.484 Set: 3151.448 Check: 0.0 Back: 413.237 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 15786760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.251 Prop: 17326.856 PropClause: 16876.567 Set: 3162.687 Check: 0.0 Back: 414.894 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 15851169 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.256 Prop: 17396.761 PropClause: 16944.644 Set: 3173.894 Check: 0.0 Back: 416.547 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 15915326 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.26 Prop: 17464.313 PropClause: 17010.357 Set: 3185.09 Check: 0.0 Back: 418.212 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 15978589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.266 Prop: 17531.343 PropClause: 17075.595 Set: 3195.919 Check: 0.0 Back: 419.868 INFO - Atoms: 63263/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 16042744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.271 Prop: 17602.71 PropClause: 17145.117 Set: 3207.158 Check: 0.0 Back: 421.505 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 16107152 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.277 Prop: 17676.52 PropClause: 17217.086 Set: 3233.771 Check: 0.0 Back: 423.195 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 16171627 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.282 Prop: 17745.873 PropClause: 17284.605 Set: 3244.952 Check: 0.0 Back: 424.852 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 16236036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.286 Prop: 17817.161 PropClause: 17354.068 Set: 3256.199 Check: 0.0 Back: 426.537 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 16300193 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.291 Prop: 17886.603 PropClause: 17421.696 Set: 3267.362 Check: 0.0 Back: 428.192 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 16363397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.295 Prop: 17955.835 PropClause: 17489.136 Set: 3278.26 Check: 0.0 Back: 429.856 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 16427552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.301 Prop: 18025.868 PropClause: 17557.343 Set: 3289.429 Check: 0.0 Back: 431.476 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 16491960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.305 Prop: 18092.74 PropClause: 17622.388 Set: 3300.52 Check: 0.0 Back: 433.141 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 16556433 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.31 Prop: 18158.79 PropClause: 17686.61 Set: 3311.739 Check: 0.0 Back: 434.784 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 16620843 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.316 Prop: 18228.804 PropClause: 17754.802 Set: 3322.905 Check: 0.0 Back: 436.429 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 16685000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.321 Prop: 18296.532 PropClause: 17820.713 Set: 3334.003 Check: 0.0 Back: 438.066 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 16748263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.326 Prop: 18362.131 PropClause: 17884.515 Set: 3344.845 Check: 0.0 Back: 439.705 INFO - Atoms: 63263/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 16812418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.331 Prop: 18429.086 PropClause: 17949.637 Set: 3355.915 Check: 0.0 Back: 441.345 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 16876826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.336 Prop: 18494.935 PropClause: 18013.665 Set: 3366.936 Check: 0.0 Back: 442.966 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 16941299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.34 Prop: 18560.851 PropClause: 18077.759 Set: 3378.036 Check: 0.0 Back: 444.61 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 17005708 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.345 Prop: 18623.491 PropClause: 18138.58 Set: 3389.01 Check: 0.0 Back: 446.276 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 17069865 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.35 Prop: 18683.976 PropClause: 18197.245 Set: 3399.941 Check: 0.0 Back: 447.931 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 17133069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.354 Prop: 18744.721 PropClause: 18256.191 Set: 3410.558 Check: 0.0 Back: 449.555 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 17197224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.36 Prop: 18807.317 PropClause: 18316.958 Set: 3421.572 Check: 0.0 Back: 451.16 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 17261632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.364 Prop: 18871.699 PropClause: 18379.519 Set: 3432.61 Check: 0.0 Back: 452.808 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 17324837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.368 Prop: 18934.484 PropClause: 18440.512 Set: 3443.365 Check: 0.0 Back: 454.462 INFO - Atoms: 63205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 17389244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.373 Prop: 18998.92 PropClause: 18503.127 Set: 3454.493 Check: 0.0 Back: 456.094 INFO - Atoms: 64407/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 17453401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.378 Prop: 19061.807 PropClause: 18564.178 Set: 3465.457 Check: 0.0 Back: 457.748 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 17516663 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.383 Prop: 19125.228 PropClause: 18625.814 Set: 3476.26 Check: 0.0 Back: 459.397 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 17580818 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.387 Prop: 19188.805 PropClause: 18687.56 Set: 3487.23 Check: 0.0 Back: 461.008 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 17645228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.392 Prop: 19251.211 PropClause: 18748.15 Set: 3499.201 Check: 0.0 Back: 462.684 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 17709701 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.396 Prop: 19315.267 PropClause: 18810.334 Set: 3510.347 Check: 0.0 Back: 464.332 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 17774110 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.4 Prop: 19378.398 PropClause: 18871.652 Set: 3521.381 Check: 0.0 Back: 465.994 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 17838267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.404 Prop: 19440.153 PropClause: 18931.59 Set: 3532.433 Check: 0.0 Back: 467.635 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 17901529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.408 Prop: 19502.041 PropClause: 18991.686 Set: 3543.222 Check: 0.0 Back: 469.271 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 17965684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.414 Prop: 19564.916 PropClause: 19052.753 Set: 3554.219 Check: 0.0 Back: 470.888 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 18030092 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.419 Prop: 19627.373 PropClause: 19113.4 Set: 3565.248 Check: 0.0 Back: 472.534 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 18094565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.424 Prop: 19693.053 PropClause: 19177.234 Set: 3576.515 Check: 0.0 Back: 474.181 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 18158975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.428 Prop: 19756.495 PropClause: 19238.856 Set: 3587.5 Check: 0.0 Back: 475.838 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 18223132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.433 Prop: 19819.755 PropClause: 19300.304 Set: 3598.49 Check: 0.0 Back: 478.101 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 18286394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.437 Prop: 19881.992 PropClause: 19360.736 Set: 3609.27 Check: 0.0 Back: 479.726 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 18350549 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.441 Prop: 19948.071 PropClause: 19424.992 Set: 3620.427 Check: 0.0 Back: 481.324 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 18414957 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.446 Prop: 20014.358 PropClause: 19489.463 Set: 3631.512 Check: 0.0 Back: 482.954 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 18479430 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.451 Prop: 20081.428 PropClause: 19554.712 Set: 3642.722 Check: 0.0 Back: 484.594 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 18543840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.455 Prop: 20146.583 PropClause: 19618.043 Set: 3653.796 Check: 0.0 Back: 486.263 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 18607997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.459 Prop: 20211.226 PropClause: 19680.853 Set: 3664.841 Check: 0.0 Back: 487.887 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 18671258 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.463 Prop: 20274.23 PropClause: 19742.071 Set: 3675.55 Check: 0.0 Back: 489.567 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 18735413 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.468 Prop: 20337.493 PropClause: 19803.506 Set: 3686.555 Check: 0.0 Back: 491.166 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 18799821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.473 Prop: 20403.25 PropClause: 19867.435 Set: 3697.78 Check: 0.0 Back: 492.803 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 18864296 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.477 Prop: 20468.402 PropClause: 19930.76 Set: 3708.889 Check: 0.0 Back: 494.427 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 18928706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.482 Prop: 20530.315 PropClause: 19990.85 Set: 3740.273 Check: 0.0 Back: 496.066 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 18992863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.487 Prop: 20595.128 PropClause: 20053.842 Set: 3751.319 Check: 0.0 Back: 497.644 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 19056067 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.491 Prop: 20655.914 PropClause: 20112.835 Set: 3762.086 Check: 0.0 Back: 499.306 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 19120222 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.495 Prop: 20718.621 PropClause: 20173.715 Set: 3773.099 Check: 0.0 Back: 500.908 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 19184630 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.499 Prop: 20779.251 PropClause: 20232.522 Set: 3784.102 Check: 0.0 Back: 502.55 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 19249105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.504 Prop: 20841.202 PropClause: 20292.658 Set: 3795.113 Check: 0.0 Back: 504.174 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 19313514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.509 Prop: 20899.575 PropClause: 20349.214 Set: 3805.972 Check: 0.0 Back: 505.792 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 19377671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.513 Prop: 20963.804 PropClause: 20411.627 Set: 3816.965 Check: 0.0 Back: 507.398 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 19440875 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.516 Prop: 21019.671 PropClause: 20465.715 Set: 3827.504 Check: 0.0 Back: 509.014 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 19505030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.52 Prop: 21078.531 PropClause: 20522.752 Set: 3838.487 Check: 0.0 Back: 510.591 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 19569438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.524 Prop: 21135.276 PropClause: 20577.686 Set: 3869.734 Check: 0.0 Back: 512.215 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 19633913 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.529 Prop: 21194.391 PropClause: 20634.978 Set: 3880.755 Check: 0.0 Back: 513.802 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 19698322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.534 Prop: 21255.589 PropClause: 20694.309 Set: 3891.755 Check: 0.0 Back: 515.446 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 19762479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.538 Prop: 21314.723 PropClause: 20751.626 Set: 3902.618 Check: 0.0 Back: 517.071 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 19825742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.542 Prop: 21374.329 PropClause: 20809.423 Set: 3913.263 Check: 0.0 Back: 518.714 INFO - Atoms: 63263/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 19889897 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.546 Prop: 21436.624 PropClause: 20869.891 Set: 3924.412 Check: 0.0 Back: 520.32 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 19954305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.55 Prop: 21494.97 PropClause: 20926.403 Set: 3935.315 Check: 0.0 Back: 521.971 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 20018778 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.555 Prop: 21555.163 PropClause: 20984.759 Set: 3946.363 Check: 0.0 Back: 523.612 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 20083187 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.559 Prop: 21612.843 PropClause: 21040.621 Set: 3957.295 Check: 0.0 Back: 525.273 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 20147344 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.562 Prop: 21676.221 PropClause: 21102.193 Set: 3968.283 Check: 0.0 Back: 526.898 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 20210605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.567 Prop: 21738.917 PropClause: 21163.077 Set: 3979.135 Check: 0.0 Back: 528.521 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 20274760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.571 Prop: 21801.058 PropClause: 21223.414 Set: 3990.066 Check: 0.0 Back: 530.146 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 20339168 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.576 Prop: 21859.527 PropClause: 21280.056 Set: 4001.005 Check: 0.0 Back: 531.769 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 20403641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.58 Prop: 21923.296 PropClause: 21342.013 Set: 4012.169 Check: 0.0 Back: 533.406 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 20468051 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.583 Prop: 21983.82 PropClause: 21400.711 Set: 4023.155 Check: 0.0 Back: 535.036 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 20532208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.588 Prop: 22046.787 PropClause: 21461.875 Set: 4034.074 Check: 0.0 Back: 536.664 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 20595470 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.593 Prop: 22107.736 PropClause: 21521.038 Set: 4044.777 Check: 0.0 Back: 538.298 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 20659625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.598 Prop: 22167.823 PropClause: 21579.32 Set: 4055.645 Check: 0.0 Back: 539.905 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 20724033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.602 Prop: 22227.823 PropClause: 21637.477 Set: 4066.599 Check: 0.0 Back: 541.541 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 20788506 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.605 Prop: 22288.707 PropClause: 21696.542 Set: 4077.587 Check: 0.0 Back: 543.163 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 20852916 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.61 Prop: 22348.166 PropClause: 21754.181 Set: 4088.561 Check: 0.0 Back: 544.798 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 20917073 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.615 Prop: 22410.415 PropClause: 21814.63 Set: 4099.445 Check: 0.0 Back: 546.427 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 20980335 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.62 Prop: 22469.596 PropClause: 21872.004 Set: 4110.307 Check: 0.0 Back: 548.065 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 21044490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.625 Prop: 22533.597 PropClause: 21934.199 Set: 4121.301 Check: 0.0 Back: 549.676 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 21108898 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.629 Prop: 22594.787 PropClause: 21993.565 Set: 4132.314 Check: 0.0 Back: 551.314 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 21173373 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.644 Prop: 22658.636 PropClause: 22055.601 Set: 4143.388 Check: 0.0 Back: 552.949 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 21237783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.648 Prop: 22718.276 PropClause: 22113.419 Set: 4154.371 Check: 0.0 Back: 554.58 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 21301940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.652 Prop: 22782.145 PropClause: 22175.481 Set: 4165.329 Check: 0.0 Back: 556.204 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 21365202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.656 Prop: 22842.806 PropClause: 22234.35 Set: 4175.958 Check: 0.0 Back: 557.862 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 21429357 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.661 Prop: 22906.544 PropClause: 22296.265 Set: 4186.971 Check: 0.0 Back: 559.474 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 21493765 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.666 Prop: 22971.005 PropClause: 22358.911 Set: 4198.147 Check: 0.0 Back: 561.104 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 21558240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.671 Prop: 23036.582 PropClause: 22422.683 Set: 4209.174 Check: 0.0 Back: 562.747 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 21622649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.676 Prop: 23097.392 PropClause: 22481.663 Set: 4220.097 Check: 0.0 Back: 564.397 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 21686806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.681 Prop: 23163.526 PropClause: 22546.002 Set: 4231.072 Check: 0.0 Back: 566.027 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 21750068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.686 Prop: 23223.429 PropClause: 22604.125 Set: 4241.7 Check: 0.0 Back: 567.66 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 21814223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.691 Prop: 23286.796 PropClause: 22665.7 Set: 4252.608 Check: 0.0 Back: 569.262 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 21878631 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.695 Prop: 23349.986 PropClause: 22727.073 Set: 4263.775 Check: 0.0 Back: 570.882 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 21941836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.7 Prop: 23417.782 PropClause: 22793.086 Set: 4274.624 Check: 0.0 Back: 572.505 INFO - Atoms: 63205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 22006244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.705 Prop: 23480.929 PropClause: 22854.411 Set: 4285.698 Check: 0.0 Back: 574.119 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 22070401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.708 Prop: 23544.682 PropClause: 22916.363 Set: 4296.715 Check: 0.0 Back: 575.751 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 22134873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.713 Prop: 23608.331 PropClause: 22978.183 Set: 4307.766 Check: 0.0 Back: 577.383 INFO - Atoms: 64472/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 22199028 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.718 Prop: 23673.657 PropClause: 23041.703 Set: 4318.791 Check: 0.0 Back: 579.032 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 22263436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.723 Prop: 23737.554 PropClause: 23103.755 Set: 4329.86 Check: 0.0 Back: 580.659 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 22327909 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.728 Prop: 23803.707 PropClause: 23168.091 Set: 4340.943 Check: 0.0 Back: 582.299 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 22392317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.732 Prop: 23866.539 PropClause: 23229.109 Set: 4351.981 Check: 0.0 Back: 583.955 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 22456474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.736 Prop: 23931.69 PropClause: 23292.444 Set: 4362.944 Check: 0.0 Back: 585.592 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 22519736 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.74 Prop: 23995.681 PropClause: 23354.635 Set: 4373.672 Check: 0.0 Back: 587.201 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 22583891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.745 Prop: 24061.705 PropClause: 23418.838 Set: 4384.676 Check: 0.0 Back: 588.797 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 22648299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.749 Prop: 24124.726 PropClause: 23480.037 Set: 4395.825 Check: 0.0 Back: 590.436 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 22712774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.754 Prop: 24191.827 PropClause: 23545.301 Set: 4407.017 Check: 0.0 Back: 592.079 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 22777183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.758 Prop: 24255.922 PropClause: 23607.582 Set: 4418.086 Check: 0.0 Back: 593.736 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 22841340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.762 Prop: 24320.783 PropClause: 23670.617 Set: 4429.04 Check: 0.0 Back: 595.363 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 22904601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.766 Prop: 24382.605 PropClause: 23730.643 Set: 4439.818 Check: 0.0 Back: 596.997 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 22968756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.77 Prop: 24443.145 PropClause: 23789.367 Set: 4450.783 Check: 0.0 Back: 598.588 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 23033164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.776 Prop: 24502.544 PropClause: 23846.938 Set: 4461.641 Check: 0.0 Back: 600.328 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 23097639 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.78 Prop: 24566.68 PropClause: 23909.25 Set: 4472.726 Check: 0.0 Back: 601.943 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 23162049 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.785 Prop: 24627.905 PropClause: 23968.664 Set: 4483.614 Check: 0.0 Back: 603.576 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 23226206 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.788 Prop: 24688.064 PropClause: 24027.008 Set: 4494.545 Check: 0.0 Back: 605.197 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 23289467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.792 Prop: 24746.031 PropClause: 24083.19 Set: 4505.162 Check: 0.0 Back: 606.825 INFO - Atoms: 63261/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 23353622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.797 Prop: 24808.597 PropClause: 24143.949 Set: 4516.075 Check: 0.0 Back: 608.417 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 23418030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.801 Prop: 24869.453 PropClause: 24202.996 Set: 4526.919 Check: 0.0 Back: 610.056 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 23482503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.807 Prop: 24931.117 PropClause: 24262.844 Set: 4537.979 Check: 0.0 Back: 611.69 INFO - Atoms: 64473/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 23546912 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.811 Prop: 24992.168 PropClause: 24322.077 Set: 4548.915 Check: 0.0 Back: 613.336 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 23611069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.816 Prop: 25054.012 PropClause: 24382.118 Set: 4559.88 Check: 0.0 Back: 614.964 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 23674331 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.82 Prop: 25111.276 PropClause: 24437.611 Set: 4570.555 Check: 0.0 Back: 616.586 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 23738486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.824 Prop: 25172.633 PropClause: 24497.161 Set: 4581.529 Check: 0.0 Back: 618.187 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 23802894 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.828 Prop: 25228.243 PropClause: 24550.961 Set: 4592.369 Check: 0.0 Back: 619.809 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 23867369 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.832 Prop: 25292.011 PropClause: 24612.908 Set: 4603.393 Check: 0.0 Back: 621.432 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 23931779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.836 Prop: 25345.753 PropClause: 24664.838 Set: 4614.233 Check: 0.0 Back: 623.072 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 23995936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.841 Prop: 25410.821 PropClause: 24728.084 Set: 4644.409 Check: 0.0 Back: 624.693 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 24059198 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.846 Prop: 25470.451 PropClause: 24785.94 Set: 4654.947 Check: 0.0 Back: 626.317 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 24123353 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.85 Prop: 25530.126 PropClause: 24843.777 Set: 4665.832 Check: 0.0 Back: 627.902 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 24187761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.854 Prop: 25591.208 PropClause: 24903.035 Set: 4677.232 Check: 0.0 Back: 629.544 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 24250966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.858 Prop: 25655.129 PropClause: 24965.161 Set: 4688.045 Check: 0.0 Back: 631.172 INFO - Atoms: 63205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 24315374 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.863 Prop: 25715.157 PropClause: 25023.337 Set: 4699.095 Check: 0.0 Back: 632.78 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 24379531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.867 Prop: 25778.149 PropClause: 25084.498 Set: 4710.137 Check: 0.0 Back: 634.42 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 24442793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.871 Prop: 25837.13 PropClause: 25141.682 Set: 4720.723 Check: 0.0 Back: 636.061 INFO - Atoms: 63262/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 24506948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.876 Prop: 25899.894 PropClause: 25202.628 Set: 4731.757 Check: 0.0 Back: 637.65 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 24571358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.88 Prop: 25962.831 PropClause: 25263.752 Set: 4742.841 Check: 0.0 Back: 639.277 INFO - Atoms: 64410/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 24635833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.884 Prop: 26026.982 PropClause: 25326.046 Set: 4753.945 Check: 0.0 Back: 640.936 INFO - Atoms: 64475/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 24700242 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.888 Prop: 26089.293 PropClause: 25386.546 Set: 4764.921 Check: 0.0 Back: 642.581 INFO - Atoms: 64409/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 24764399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.892 Prop: 26153.008 PropClause: 25448.445 Set: 4775.903 Check: 0.0 Back: 644.208 INFO - Atoms: 64157/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 24827603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.896 Prop: 26212.242 PropClause: 25505.901 Set: 4786.522 Check: 0.0 Back: 645.837 INFO - Atoms: 63204/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 24891758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.901 Prop: 26273.873 PropClause: 25565.723 Set: 4797.529 Check: 0.0 Back: 647.427 INFO - Atoms: 64155/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 24956166 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.905 Prop: 26331.101 PropClause: 25621.135 Set: 4808.38 Check: 0.0 Back: 649.073 INFO - Atoms: 64408/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 25019371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.91 Prop: 26394.011 PropClause: 25682.259 Set: 4819.19 Check: 0.0 Back: 650.71 INFO - Atoms: 63205/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 25082749 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.914 Prop: 26449.726 PropClause: 25736.183 Set: 4829.823 Check: 0.0 Back: 652.307 INFO - Atoms: 63378/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 25145805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.918 Prop: 26515.137 PropClause: 25799.786 Set: 4840.578 Check: 0.0 Back: 653.903 INFO - Atoms: 63056/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 25208538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.923 Prop: 26575.342 PropClause: 25858.22 Set: 4851.099 Check: 0.0 Back: 655.515 INFO - Atoms: 62733/93888 Clauses: 581 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 868 Props: 29469714 Tprops: 0 Decides: 12457 RSplits: 0 INFO - Times: Expl: 2243.745 Prop: 31432.297 PropClause: 30586.153 Set: 4963.579 Check: 0.304 Back: 757.686 INFO - Atoms: 31141/93888 Clauses: 1080 Axioms: 311154 INFO - Confl: 1238 Props: 32447865 Tprops: 0 Decides: 22463 RSplits: 0 INFO - Times: Expl: 3544.239 Prop: 35139.313 PropClause: 34186.654 Set: 5036.45 Check: 0.559 Back: 841.219 INFO - Atoms: 31702/93888 Clauses: 1450 Axioms: 311154 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 374 Props: 47002 Tprops: 11124 Decides: 44988 RSplits: 0 INFO - Times: Expl: 287.432 Prop: 77423.075 PropClause: 23.962 Set: 7167.518 Check: 210.278 Back: 199.559 INFO - Atoms: 680/870 Clauses: 374 Axioms: 870 INFO - CCTimes: iE 531574 eq 29009152 cc 90843541 setRep 62815328 INFO - Merges: 397117, cc:832630 INFO - BVTimes: BB 267339194 BB_DPLL 70580865405 Graph 1126543 INFO - BitBlastingClauses: 525174 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat