/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_008_079_032.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 345318900 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 68197 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.756 Prop: 124.332 PropClause: 119.869 Set: 48.783 Check: 0.0 Back: 0.0 INFO - Atoms: 68197/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 136401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.803 Prop: 245.507 PropClause: 238.237 Set: 66.087 Check: 0.0 Back: 1.714 INFO - Atoms: 68204/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 204575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.896 Prop: 349.163 PropClause: 339.689 Set: 82.279 Check: 0.0 Back: 3.493 INFO - Atoms: 68174/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 272767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.969 Prop: 425.712 PropClause: 414.512 Set: 102.007 Check: 0.0 Back: 5.126 INFO - Atoms: 68192/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 340940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.012 Prop: 514.464 PropClause: 501.523 Set: 114.862 Check: 0.0 Back: 6.791 INFO - Atoms: 68173/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 409096 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.101 Prop: 599.877 PropClause: 585.238 Set: 127.481 Check: 0.0 Back: 8.398 INFO - Atoms: 68156/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 477237 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.155 Prop: 685.144 PropClause: 668.799 Set: 140.177 Check: 0.0 Back: 10.005 INFO - Atoms: 68141/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 544830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.207 Prop: 779.804 PropClause: 761.489 Set: 156.041 Check: 0.0 Back: 11.644 INFO - Atoms: 67593/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 611800 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.255 Prop: 864.129 PropClause: 844.138 Set: 168.845 Check: 0.0 Back: 13.349 INFO - Atoms: 66970/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 678534 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.303 Prop: 946.619 PropClause: 924.948 Set: 187.969 Check: 0.0 Back: 14.925 INFO - Atoms: 66734/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 744725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.352 Prop: 1023.87 PropClause: 1000.541 Set: 206.069 Check: 0.0 Back: 16.489 INFO - Atoms: 66191/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 810748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.435 Prop: 1100.789 PropClause: 1075.809 Set: 218.16 Check: 0.0 Back: 18.103 INFO - Atoms: 66023/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 876299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.482 Prop: 1183.877 PropClause: 1157.256 Set: 230.457 Check: 0.0 Back: 19.645 INFO - Atoms: 65551/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 941685 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.53 Prop: 1263.547 PropClause: 1235.295 Set: 242.533 Check: 0.0 Back: 21.191 INFO - Atoms: 65386/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 1007058 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.575 Prop: 1341.098 PropClause: 1311.213 Set: 254.546 Check: 0.0 Back: 22.728 INFO - Atoms: 65373/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1072441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.627 Prop: 1417.925 PropClause: 1386.392 Set: 290.999 Check: 0.0 Back: 24.359 INFO - Atoms: 65383/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1137642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.681 Prop: 1515.595 PropClause: 1482.176 Set: 307.091 Check: 0.0 Back: 25.911 INFO - Atoms: 65201/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1202693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.733 Prop: 1601.513 PropClause: 1566.469 Set: 319.349 Check: 0.0 Back: 27.568 INFO - Atoms: 65051/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1267566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.776 Prop: 1675.972 PropClause: 1639.317 Set: 331.414 Check: 0.0 Back: 29.097 INFO - Atoms: 64873/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1332423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.83 Prop: 1753.683 PropClause: 1715.398 Set: 343.405 Check: 0.0 Back: 30.627 INFO - Atoms: 64857/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1397282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.877 Prop: 1832.517 PropClause: 1792.611 Set: 361.137 Check: 0.0 Back: 32.165 INFO - Atoms: 64859/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1461999 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.923 Prop: 1910.086 PropClause: 1868.563 Set: 378.905 Check: 0.0 Back: 33.686 INFO - Atoms: 64717/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1526530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.972 Prop: 1985.21 PropClause: 1942.068 Set: 396.403 Check: 0.0 Back: 35.32 INFO - Atoms: 64531/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1590517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.023 Prop: 2065.726 PropClause: 2020.978 Set: 414.012 Check: 0.0 Back: 36.958 INFO - Atoms: 63987/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1654340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.073 Prop: 2148.271 PropClause: 2101.936 Set: 431.611 Check: 0.0 Back: 38.586 INFO - Atoms: 63823/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1718157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.119 Prop: 2221.517 PropClause: 2173.578 Set: 443.128 Check: 0.0 Back: 40.091 INFO - Atoms: 63817/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1781577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.165 Prop: 2296.422 PropClause: 2246.891 Set: 454.904 Check: 0.0 Back: 41.591 INFO - Atoms: 63420/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1844993 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.209 Prop: 2374.373 PropClause: 2323.261 Set: 466.613 Check: 0.0 Back: 43.096 INFO - Atoms: 63416/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1908243 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.26 Prop: 2452.984 PropClause: 2400.239 Set: 478.286 Check: 0.0 Back: 44.59 INFO - Atoms: 63250/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1971199 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.308 Prop: 2531.321 PropClause: 2476.996 Set: 490.069 Check: 0.0 Back: 46.112 INFO - Atoms: 62956/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 2033971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.355 Prop: 2606.078 PropClause: 2550.192 Set: 501.673 Check: 0.0 Back: 47.606 INFO - Atoms: 62772/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2096615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.404 Prop: 2680.901 PropClause: 2623.449 Set: 513.119 Check: 0.0 Back: 49.088 INFO - Atoms: 62644/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2159061 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.449 Prop: 2760.592 PropClause: 2701.57 Set: 524.764 Check: 0.0 Back: 50.556 INFO - Atoms: 62446/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2221365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.498 Prop: 2846.39 PropClause: 2785.782 Set: 536.6 Check: 0.0 Back: 52.06 INFO - Atoms: 62304/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2283485 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.541 Prop: 2918.365 PropClause: 2856.186 Set: 547.879 Check: 0.0 Back: 53.529 INFO - Atoms: 62120/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 2345456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.589 Prop: 2991.786 PropClause: 2928.058 Set: 559.383 Check: 0.0 Back: 55.02 INFO - Atoms: 61971/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 2407250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.646 Prop: 3081.927 PropClause: 3016.408 Set: 575.101 Check: 0.0 Back: 56.483 INFO - Atoms: 61794/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2468880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.694 Prop: 3173.958 PropClause: 3106.653 Set: 590.45 Check: 0.0 Back: 58.043 INFO - Atoms: 61630/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2530346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.742 Prop: 3260.192 PropClause: 3191.093 Set: 605.672 Check: 0.0 Back: 59.602 INFO - Atoms: 61466/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2591573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.789 Prop: 3334.93 PropClause: 3264.29 Set: 617.041 Check: 0.0 Back: 61.195 INFO - Atoms: 61227/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 2652636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.853 Prop: 3409.876 PropClause: 3337.713 Set: 628.31 Check: 0.0 Back: 62.642 INFO - Atoms: 61063/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 2713731 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.945 Prop: 3502.373 PropClause: 3428.416 Set: 642.614 Check: 0.0 Back: 64.11 INFO - Atoms: 61095/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 2774626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.962 Prop: 3577.439 PropClause: 3501.903 Set: 653.79 Check: 0.0 Back: 65.557 INFO - Atoms: 60895/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 2835387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.983 Prop: 3651.161 PropClause: 3574.107 Set: 664.864 Check: 0.0 Back: 67.001 INFO - Atoms: 60761/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 2895958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.002 Prop: 3725.197 PropClause: 3646.619 Set: 675.934 Check: 0.0 Back: 68.422 INFO - Atoms: 60571/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2956365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.022 Prop: 3797.117 PropClause: 3717.03 Set: 692.358 Check: 0.0 Back: 69.871 INFO - Atoms: 60407/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 3016610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.04 Prop: 3866.817 PropClause: 3785.225 Set: 708.684 Check: 0.0 Back: 71.301 INFO - Atoms: 60245/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 3076711 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.06 Prop: 3937.562 PropClause: 3854.473 Set: 719.798 Check: 0.0 Back: 72.719 INFO - Atoms: 60101/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 3136630 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.078 Prop: 4010.32 PropClause: 3925.736 Set: 730.928 Check: 0.0 Back: 74.114 INFO - Atoms: 59919/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 3196407 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.095 Prop: 4082.352 PropClause: 3996.275 Set: 741.832 Check: 0.0 Back: 75.529 INFO - Atoms: 59777/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 3255998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.115 Prop: 4152.579 PropClause: 4065.014 Set: 752.651 Check: 0.0 Back: 76.935 INFO - Atoms: 59591/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 3315447 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.132 Prop: 4221.735 PropClause: 4132.684 Set: 763.421 Check: 0.0 Back: 78.349 INFO - Atoms: 59449/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 3374712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.15 Prop: 4296.8 PropClause: 4206.26 Set: 774.295 Check: 0.0 Back: 79.746 INFO - Atoms: 59265/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 3433835 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.169 Prop: 4368.775 PropClause: 4276.751 Set: 785.283 Check: 0.0 Back: 81.138 INFO - Atoms: 59123/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 3492776 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.195 Prop: 4439.013 PropClause: 4345.521 Set: 796.23 Check: 0.0 Back: 82.555 INFO - Atoms: 58941/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 3551573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.215 Prop: 4508.344 PropClause: 4413.377 Set: 807.174 Check: 0.0 Back: 83.985 INFO - Atoms: 58797/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 3610186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.232 Prop: 4579.979 PropClause: 4483.548 Set: 818.119 Check: 0.0 Back: 85.373 INFO - Atoms: 58613/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 3668659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.251 Prop: 4647.838 PropClause: 4549.946 Set: 828.773 Check: 0.0 Back: 86.768 INFO - Atoms: 58473/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 3726948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.27 Prop: 4715.66 PropClause: 4616.31 Set: 839.453 Check: 0.0 Back: 88.142 INFO - Atoms: 58289/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 3785093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.288 Prop: 4775.987 PropClause: 4675.173 Set: 850.102 Check: 0.0 Back: 89.523 INFO - Atoms: 58145/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 3843054 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.307 Prop: 4836.709 PropClause: 4734.452 Set: 860.444 Check: 0.0 Back: 90.904 INFO - Atoms: 57961/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 3900952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.329 Prop: 4901.267 PropClause: 4797.578 Set: 870.898 Check: 0.0 Back: 92.272 INFO - Atoms: 57898/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 3958664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.348 Prop: 4967.129 PropClause: 4861.998 Set: 881.479 Check: 0.0 Back: 93.625 INFO - Atoms: 57712/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 4016234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.371 Prop: 5032.059 PropClause: 4925.476 Set: 891.845 Check: 0.0 Back: 95.002 INFO - Atoms: 57570/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 4073620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.396 Prop: 5095.338 PropClause: 4987.325 Set: 902.241 Check: 0.0 Back: 96.361 INFO - Atoms: 57386/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 4130866 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.414 Prop: 5158.074 PropClause: 5048.618 Set: 912.91 Check: 0.0 Back: 97.723 INFO - Atoms: 57246/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 4187926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.43 Prop: 5224.348 PropClause: 5113.464 Set: 923.237 Check: 0.0 Back: 99.101 INFO - Atoms: 57060/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 4244846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.448 Prop: 5288.199 PropClause: 5175.882 Set: 933.691 Check: 0.0 Back: 100.446 INFO - Atoms: 56920/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 4301582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.467 Prop: 5353.571 PropClause: 5239.861 Set: 943.869 Check: 0.0 Back: 101.798 INFO - Atoms: 56736/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 4358174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.484 Prop: 5410.941 PropClause: 5295.818 Set: 954.139 Check: 0.0 Back: 103.138 INFO - Atoms: 56592/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 4414584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.499 Prop: 5467.641 PropClause: 5351.112 Set: 964.284 Check: 0.0 Back: 104.478 INFO - Atoms: 56410/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 4470852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.518 Prop: 5530.595 PropClause: 5412.663 Set: 974.353 Check: 0.0 Back: 105.829 INFO - Atoms: 56268/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 4526936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.535 Prop: 5592.249 PropClause: 5472.919 Set: 984.368 Check: 0.0 Back: 107.171 INFO - Atoms: 56084/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 4582876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.552 Prop: 5653.736 PropClause: 5533.012 Set: 994.424 Check: 0.0 Back: 108.498 INFO - Atoms: 55940/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 4638634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.57 Prop: 5710.072 PropClause: 5587.956 Set: 1004.362 Check: 0.0 Back: 109.832 INFO - Atoms: 55758/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 4694250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.586 Prop: 5767.115 PropClause: 5643.611 Set: 1014.235 Check: 0.0 Back: 111.165 INFO - Atoms: 55616/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 4749682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.603 Prop: 5833.234 PropClause: 5708.342 Set: 1024.419 Check: 0.0 Back: 112.489 INFO - Atoms: 55432/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 4804970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.619 Prop: 5898.087 PropClause: 5771.813 Set: 1034.524 Check: 0.0 Back: 113.803 INFO - Atoms: 55288/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 4860076 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.636 Prop: 5962.16 PropClause: 5834.489 Set: 1044.358 Check: 0.0 Back: 115.103 INFO - Atoms: 55106/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 4915040 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.651 Prop: 6023.226 PropClause: 5894.179 Set: 1054.207 Check: 0.0 Back: 116.41 INFO - Atoms: 54964/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 4969820 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.669 Prop: 6087.25 PropClause: 5956.832 Set: 1064.168 Check: 0.0 Back: 117.723 INFO - Atoms: 54780/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 5024458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.686 Prop: 6151.922 PropClause: 6020.135 Set: 1074.141 Check: 0.0 Back: 119.052 INFO - Atoms: 54638/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 5078910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.74 Prop: 6215.253 PropClause: 6082.113 Set: 1083.93 Check: 0.0 Back: 120.347 INFO - Atoms: 54452/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 5133222 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.806 Prop: 6276.128 PropClause: 6141.632 Set: 1093.731 Check: 0.0 Back: 121.653 INFO - Atoms: 54312/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 5187350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.818 Prop: 6337.704 PropClause: 6201.854 Set: 1103.487 Check: 0.0 Back: 122.938 INFO - Atoms: 54128/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 5241336 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.831 Prop: 6395.837 PropClause: 6258.634 Set: 1113.275 Check: 0.0 Back: 124.235 INFO - Atoms: 53986/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 5295136 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.844 Prop: 6455.952 PropClause: 6317.39 Set: 1123.164 Check: 0.0 Back: 125.522 INFO - Atoms: 53800/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 5348796 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.858 Prop: 6518.611 PropClause: 6378.694 Set: 1132.881 Check: 0.0 Back: 126.816 INFO - Atoms: 53660/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 5402270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.873 Prop: 6578.141 PropClause: 6436.898 Set: 1157.227 Check: 0.0 Back: 128.089 INFO - Atoms: 53474/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 5455602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.887 Prop: 6636.11 PropClause: 6493.526 Set: 1166.871 Check: 0.0 Back: 129.375 INFO - Atoms: 53332/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 5508752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.9 Prop: 6695.715 PropClause: 6551.801 Set: 1176.654 Check: 0.0 Back: 130.674 INFO - Atoms: 53150/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 5561738 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.911 Prop: 6756.429 PropClause: 6611.177 Set: 1186.199 Check: 0.0 Back: 131.941 INFO - Atoms: 52986/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 5614560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.923 Prop: 6816.914 PropClause: 6670.322 Set: 1195.903 Check: 0.0 Back: 133.218 INFO - Atoms: 52822/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 5667236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.935 Prop: 6874.887 PropClause: 6726.979 Set: 1205.326 Check: 0.0 Back: 134.48 INFO - Atoms: 52676/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 5719734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.95 Prop: 6935.807 PropClause: 6786.582 Set: 1214.923 Check: 0.0 Back: 135.743 INFO - Atoms: 52498/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 5772090 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.961 Prop: 6992.798 PropClause: 6842.267 Set: 1224.249 Check: 0.0 Back: 137.005 INFO - Atoms: 52356/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 5824262 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.974 Prop: 7053.034 PropClause: 6901.199 Set: 1233.828 Check: 0.0 Back: 138.255 INFO - Atoms: 52172/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 5876292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.988 Prop: 7110.64 PropClause: 6957.505 Set: 1243.36 Check: 0.0 Back: 139.496 INFO - Atoms: 52030/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 5928136 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.0 Prop: 7168.792 PropClause: 7014.349 Set: 1252.789 Check: 0.0 Back: 140.73 INFO - Atoms: 51844/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 5979840 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.012 Prop: 7224.142 PropClause: 7068.415 Set: 1261.998 Check: 0.0 Back: 141.963 INFO - Atoms: 51704/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 6031358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.024 Prop: 7279.771 PropClause: 7122.756 Set: 1271.228 Check: 0.0 Back: 143.194 INFO - Atoms: 51518/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 6082734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.037 Prop: 7337.291 PropClause: 7178.993 Set: 1280.557 Check: 0.0 Back: 144.431 INFO - Atoms: 51376/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 6133926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.049 Prop: 7393.403 PropClause: 7233.834 Set: 1289.877 Check: 0.0 Back: 145.651 INFO - Atoms: 51192/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 6184978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.061 Prop: 7448.711 PropClause: 7287.865 Set: 1299.098 Check: 0.0 Back: 146.862 INFO - Atoms: 51052/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 6235846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.074 Prop: 7502.502 PropClause: 7340.382 Set: 1308.192 Check: 0.0 Back: 148.082 INFO - Atoms: 50868/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 6286570 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.087 Prop: 7557.021 PropClause: 7393.633 Set: 1317.388 Check: 0.0 Back: 149.3 INFO - Atoms: 50724/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 6337110 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.101 Prop: 7616.21 PropClause: 7451.538 Set: 1327.096 Check: 0.0 Back: 150.506 INFO - Atoms: 50540/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 6387508 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.115 Prop: 7670.638 PropClause: 7504.69 Set: 1336.271 Check: 0.0 Back: 151.727 INFO - Atoms: 50398/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 6437724 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.129 Prop: 7727.315 PropClause: 7560.101 Set: 1345.485 Check: 0.0 Back: 152.924 INFO - Atoms: 50216/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 6487798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.142 Prop: 7779.048 PropClause: 7610.589 Set: 1354.393 Check: 0.0 Back: 154.117 INFO - Atoms: 50074/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 6537686 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.155 Prop: 7834.141 PropClause: 7664.441 Set: 1363.611 Check: 0.0 Back: 155.31 INFO - Atoms: 49888/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 6587432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.17 Prop: 7889.264 PropClause: 7718.315 Set: 1372.576 Check: 0.0 Back: 156.511 INFO - Atoms: 49746/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 6636994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.183 Prop: 7944.444 PropClause: 7772.257 Set: 1381.451 Check: 0.0 Back: 157.723 INFO - Atoms: 49562/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 6686414 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.196 Prop: 7998.214 PropClause: 7824.784 Set: 1390.316 Check: 0.0 Back: 158.914 INFO - Atoms: 49420/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 6735652 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.21 Prop: 8051.156 PropClause: 7876.495 Set: 1399.252 Check: 0.0 Back: 160.095 INFO - Atoms: 49238/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 6784746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.223 Prop: 8101.489 PropClause: 7925.599 Set: 1408.167 Check: 0.0 Back: 161.272 INFO - Atoms: 49094/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 6833658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.236 Prop: 8158.505 PropClause: 7981.394 Set: 1417.183 Check: 0.0 Back: 162.461 INFO - Atoms: 48912/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 6882428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.252 Prop: 8207.506 PropClause: 8029.163 Set: 1426.037 Check: 0.0 Back: 163.659 INFO - Atoms: 48770/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 6931014 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.265 Prop: 8260.305 PropClause: 8080.518 Set: 1436.335 Check: 0.0 Back: 164.855 INFO - Atoms: 48586/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 6979436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.279 Prop: 8310.848 PropClause: 8129.689 Set: 1446.301 Check: 0.0 Back: 166.046 INFO - Atoms: 48422/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 7027696 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.293 Prop: 8353.696 PropClause: 8171.329 Set: 1454.83 Check: 0.0 Back: 167.22 INFO - Atoms: 48260/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 7075812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.306 Prop: 8396.289 PropClause: 8212.717 Set: 1463.293 Check: 0.0 Back: 168.397 INFO - Atoms: 48116/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 7123744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.32 Prop: 8445.002 PropClause: 8260.21 Set: 1472.045 Check: 0.0 Back: 169.57 INFO - Atoms: 47932/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 7171534 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.332 Prop: 8492.856 PropClause: 8306.873 Set: 1480.439 Check: 0.0 Back: 170.739 INFO - Atoms: 47790/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 7219142 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.346 Prop: 8538.253 PropClause: 8351.089 Set: 1488.716 Check: 0.0 Back: 171.883 INFO - Atoms: 47608/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 7266601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.359 Prop: 8582.72 PropClause: 8394.385 Set: 1496.945 Check: 0.0 Back: 173.014 INFO - Atoms: 47459/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 7313881 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.371 Prop: 8624.05 PropClause: 8434.523 Set: 1505.144 Check: 0.0 Back: 174.154 INFO - Atoms: 47280/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 7360227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.385 Prop: 8665.305 PropClause: 8474.614 Set: 1513.233 Check: 0.0 Back: 175.333 INFO - Atoms: 46346/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 7406387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.398 Prop: 8710.097 PropClause: 8518.258 Set: 1521.37 Check: 0.0 Back: 176.471 INFO - Atoms: 46160/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 7452407 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.41 Prop: 8755.189 PropClause: 8562.202 Set: 1529.264 Check: 0.0 Back: 177.586 INFO - Atoms: 46020/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 7498243 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.423 Prop: 8800.349 PropClause: 8606.223 Set: 1537.26 Check: 0.0 Back: 178.687 INFO - Atoms: 45836/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 7543937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.436 Prop: 8839.178 PropClause: 8643.917 Set: 1545.243 Check: 0.0 Back: 179.819 INFO - Atoms: 45694/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 7589447 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.45 Prop: 8877.753 PropClause: 8681.364 Set: 1553.113 Check: 0.0 Back: 180.919 INFO - Atoms: 45510/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 7634793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.464 Prop: 8917.019 PropClause: 8719.505 Set: 1560.928 Check: 0.0 Back: 182.044 INFO - Atoms: 45346/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 7679975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.477 Prop: 8960.691 PropClause: 8762.054 Set: 1568.801 Check: 0.0 Back: 183.132 INFO - Atoms: 45182/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 7725017 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.491 Prop: 9004.683 PropClause: 8804.921 Set: 1576.762 Check: 0.0 Back: 184.246 INFO - Atoms: 45042/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 7769875 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.505 Prop: 9046.215 PropClause: 8845.33 Set: 1584.665 Check: 0.0 Back: 185.339 INFO - Atoms: 44858/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 7814589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.519 Prop: 9085.085 PropClause: 8883.084 Set: 1592.431 Check: 0.0 Back: 186.422 INFO - Atoms: 44714/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 7859119 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.532 Prop: 9127.386 PropClause: 8924.272 Set: 1600.302 Check: 0.0 Back: 187.514 INFO - Atoms: 44530/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 7903509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.543 Prop: 9165.532 PropClause: 8961.309 Set: 1608.058 Check: 0.0 Back: 188.601 INFO - Atoms: 44390/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 7947715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.554 Prop: 9205.654 PropClause: 9000.327 Set: 1615.757 Check: 0.0 Back: 189.68 INFO - Atoms: 44206/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 7991779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.564 Prop: 9246.636 PropClause: 9040.187 Set: 1623.408 Check: 0.0 Back: 190.766 INFO - Atoms: 44064/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 8035659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.576 Prop: 9287.546 PropClause: 9080.013 Set: 1631.092 Check: 0.0 Back: 191.828 INFO - Atoms: 43880/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 8079395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.589 Prop: 9329.853 PropClause: 9121.231 Set: 1638.701 Check: 0.0 Back: 192.905 INFO - Atoms: 43736/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 8122949 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.6 Prop: 9367.031 PropClause: 9157.319 Set: 1646.36 Check: 0.0 Back: 193.956 INFO - Atoms: 43554/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 8166361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.611 Prop: 9407.705 PropClause: 9196.91 Set: 1653.916 Check: 0.0 Back: 195.026 INFO - Atoms: 43412/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 8209589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.622 Prop: 9449.977 PropClause: 9238.098 Set: 1661.652 Check: 0.0 Back: 196.079 INFO - Atoms: 43228/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 8252675 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.633 Prop: 9490.528 PropClause: 9277.572 Set: 1669.119 Check: 0.0 Back: 197.133 INFO - Atoms: 43086/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 8295577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.646 Prop: 9531.691 PropClause: 9317.665 Set: 1676.605 Check: 0.0 Back: 198.182 INFO - Atoms: 42902/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 8338337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.657 Prop: 9572.755 PropClause: 9357.659 Set: 1684.188 Check: 0.0 Back: 199.23 INFO - Atoms: 42760/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 8380911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.671 Prop: 9612.603 PropClause: 9396.446 Set: 1691.653 Check: 0.0 Back: 200.273 INFO - Atoms: 42574/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 8423345 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.684 Prop: 9650.653 PropClause: 9433.436 Set: 1699.051 Check: 0.0 Back: 201.318 INFO - Atoms: 42434/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 8465593 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.695 Prop: 9689.437 PropClause: 9471.166 Set: 1706.509 Check: 0.0 Back: 202.357 INFO - Atoms: 42248/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 8507699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.709 Prop: 9729.954 PropClause: 9510.63 Set: 1713.827 Check: 0.0 Back: 203.389 INFO - Atoms: 42106/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 8549621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.72 Prop: 9769.088 PropClause: 9548.716 Set: 1721.119 Check: 0.0 Back: 204.439 INFO - Atoms: 41922/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 8591401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.733 Prop: 9811.789 PropClause: 9590.368 Set: 1728.402 Check: 0.0 Back: 205.466 INFO - Atoms: 41780/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 8632997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.746 Prop: 9851.178 PropClause: 9628.717 Set: 1735.623 Check: 0.0 Back: 206.481 INFO - Atoms: 41596/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 8674451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.759 Prop: 9889.471 PropClause: 9665.961 Set: 1742.79 Check: 0.0 Back: 207.497 INFO - Atoms: 41454/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 8715721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.771 Prop: 9928.417 PropClause: 9703.879 Set: 1750.008 Check: 0.0 Back: 208.509 INFO - Atoms: 41270/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 8756851 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.782 Prop: 9967.881 PropClause: 9742.321 Set: 1757.213 Check: 0.0 Back: 209.525 INFO - Atoms: 41130/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 8797797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.794 Prop: 10007.064 PropClause: 9780.48 Set: 1764.389 Check: 0.0 Back: 210.522 INFO - Atoms: 40946/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 8838601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.808 Prop: 10047.499 PropClause: 9819.864 Set: 1771.812 Check: 0.0 Back: 211.528 INFO - Atoms: 40804/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 8879221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.821 Prop: 10084.559 PropClause: 9855.912 Set: 1778.862 Check: 0.0 Back: 212.528 INFO - Atoms: 40620/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 8919679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.832 Prop: 10119.99 PropClause: 9890.331 Set: 1785.845 Check: 0.0 Back: 213.529 INFO - Atoms: 40458/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 8959177 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.843 Prop: 10154.704 PropClause: 9924.06 Set: 1792.538 Check: 0.0 Back: 214.514 INFO - Atoms: 39498/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 8998533 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.853 Prop: 10188.638 PropClause: 9957.008 Set: 1799.274 Check: 0.0 Back: 215.492 INFO - Atoms: 39356/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 9037707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.864 Prop: 10225.511 PropClause: 9992.902 Set: 1806.169 Check: 0.0 Back: 216.461 INFO - Atoms: 39174/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 9076739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.876 Prop: 10264.193 PropClause: 10030.609 Set: 1812.877 Check: 0.0 Back: 217.425 INFO - Atoms: 39032/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 9115587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.891 Prop: 10299.305 PropClause: 10064.759 Set: 1819.464 Check: 0.0 Back: 218.385 INFO - Atoms: 38848/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 9154293 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.905 Prop: 10334.306 PropClause: 10098.791 Set: 1826.03 Check: 0.0 Back: 219.346 INFO - Atoms: 38706/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 9192813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.917 Prop: 10367.734 PropClause: 10131.254 Set: 1832.666 Check: 0.0 Back: 220.298 INFO - Atoms: 38520/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 9231191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.931 Prop: 10401.668 PropClause: 10164.165 Set: 1839.777 Check: 0.0 Back: 221.256 INFO - Atoms: 38378/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 9269385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.944 Prop: 10435.078 PropClause: 10196.619 Set: 1846.247 Check: 0.0 Back: 222.207 INFO - Atoms: 38194/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 9307437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.955 Prop: 10467.818 PropClause: 10228.408 Set: 1852.792 Check: 0.0 Back: 223.173 INFO - Atoms: 38052/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 9345305 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.969 Prop: 10504.229 PropClause: 10263.872 Set: 1859.363 Check: 0.0 Back: 224.132 INFO - Atoms: 37868/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 9383031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.982 Prop: 10536.269 PropClause: 10294.973 Set: 1865.892 Check: 0.0 Back: 225.087 INFO - Atoms: 37726/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 9420575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.993 Prop: 10569.582 PropClause: 10327.346 Set: 1872.326 Check: 0.0 Back: 226.034 INFO - Atoms: 37544/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 9457977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.006 Prop: 10599.221 PropClause: 10356.051 Set: 1878.682 Check: 0.0 Back: 226.967 INFO - Atoms: 37402/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 9495195 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.017 Prop: 10631.1 PropClause: 10386.996 Set: 1885.108 Check: 0.0 Back: 227.889 INFO - Atoms: 37218/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 9532250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.028 Prop: 10662.083 PropClause: 10417.051 Set: 1891.416 Check: 0.0 Back: 228.815 INFO - Atoms: 37055/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 9568980 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.041 Prop: 10693.939 PropClause: 10447.988 Set: 1897.721 Check: 0.0 Back: 229.737 INFO - Atoms: 36730/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 9605568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.052 Prop: 10725.52 PropClause: 10478.655 Set: 1904.169 Check: 0.0 Back: 230.652 INFO - Atoms: 36588/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 9641972 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.065 Prop: 10755.224 PropClause: 10507.441 Set: 1910.449 Check: 0.0 Back: 231.56 INFO - Atoms: 36404/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 9678395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.075 Prop: 10785.332 PropClause: 10536.639 Set: 1916.758 Check: 0.0 Back: 232.47 INFO - Atoms: 36423/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 9714634 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.087 Prop: 10814.247 PropClause: 10564.649 Set: 1923.051 Check: 0.0 Back: 233.366 INFO - Atoms: 36239/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 9750709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.097 Prop: 10843.25 PropClause: 10592.739 Set: 1929.292 Check: 0.0 Back: 234.27 INFO - Atoms: 36075/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 9786783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.108 Prop: 10871.402 PropClause: 10619.985 Set: 1935.411 Check: 0.0 Back: 235.176 INFO - Atoms: 36074/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 9822715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.119 Prop: 10900.688 PropClause: 10648.372 Set: 1941.598 Check: 0.0 Back: 236.078 INFO - Atoms: 35932/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 9858463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.129 Prop: 10930.256 PropClause: 10677.048 Set: 1947.712 Check: 0.0 Back: 236.975 INFO - Atoms: 35748/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 9894069 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.141 Prop: 10959.675 PropClause: 10705.563 Set: 1953.826 Check: 0.0 Back: 237.88 INFO - Atoms: 35606/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 9929491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.153 Prop: 10988.145 PropClause: 10733.147 Set: 1959.915 Check: 0.0 Back: 238.764 INFO - Atoms: 35422/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 9964769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.166 Prop: 11015.946 PropClause: 10760.066 Set: 1965.986 Check: 0.0 Back: 239.645 INFO - Atoms: 35278/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 9999620 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.208 Prop: 11042.86 PropClause: 10786.109 Set: 1972.008 Check: 0.0 Back: 240.516 INFO - Atoms: 34851/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 10034331 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.244 Prop: 11067.313 PropClause: 10809.693 Set: 1977.824 Check: 0.0 Back: 241.39 INFO - Atoms: 34711/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 10068856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.257 Prop: 11092.234 PropClause: 10833.755 Set: 1983.642 Check: 0.0 Back: 242.245 INFO - Atoms: 34525/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 10103219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.267 Prop: 11115.134 PropClause: 10855.799 Set: 1989.381 Check: 0.0 Back: 243.122 INFO - Atoms: 34363/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 10137268 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.28 Prop: 11140.381 PropClause: 10880.196 Set: 1995.113 Check: 0.0 Back: 243.979 INFO - Atoms: 34049/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 10170957 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.29 Prop: 11164.102 PropClause: 10903.083 Set: 2000.613 Check: 0.0 Back: 244.84 INFO - Atoms: 33689/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 10204451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.301 Prop: 11186.941 PropClause: 10925.086 Set: 2006.143 Check: 0.0 Back: 245.687 INFO - Atoms: 33494/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 10237798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.313 Prop: 11210.076 PropClause: 10947.394 Set: 2011.627 Check: 0.0 Back: 246.538 INFO - Atoms: 33347/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 10270966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.323 Prop: 11231.527 PropClause: 10968.019 Set: 2017.128 Check: 0.0 Back: 247.373 INFO - Atoms: 33168/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 10303992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.333 Prop: 11253.022 PropClause: 10988.693 Set: 2022.552 Check: 0.0 Back: 248.203 INFO - Atoms: 33026/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 10336834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.343 Prop: 11273.382 PropClause: 11008.238 Set: 2027.9 Check: 0.0 Back: 249.026 INFO - Atoms: 32842/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 10369514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.356 Prop: 11293.624 PropClause: 11027.662 Set: 2033.252 Check: 0.0 Back: 249.857 INFO - Atoms: 32680/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 10402032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.367 Prop: 11315.406 PropClause: 11048.629 Set: 2038.584 Check: 0.0 Back: 250.669 INFO - Atoms: 32518/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 10434406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.377 Prop: 11338.193 PropClause: 11070.609 Set: 2043.964 Check: 0.0 Back: 251.503 INFO - Atoms: 32374/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 10466596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.387 Prop: 11359.276 PropClause: 11090.893 Set: 2049.246 Check: 0.0 Back: 252.303 INFO - Atoms: 32190/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 10498640 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.397 Prop: 11380.206 PropClause: 11111.026 Set: 2054.521 Check: 0.0 Back: 253.122 INFO - Atoms: 32044/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 10530504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.406 Prop: 11399.784 PropClause: 11129.82 Set: 2059.698 Check: 0.0 Back: 253.925 INFO - Atoms: 31864/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 10562240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.417 Prop: 11420.394 PropClause: 11149.644 Set: 2064.853 Check: 0.0 Back: 254.728 INFO - Atoms: 31736/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 10592986 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.428 Prop: 11438.841 PropClause: 11167.322 Set: 2069.752 Check: 0.0 Back: 255.541 INFO - Atoms: 30746/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 10623590 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.44 Prop: 11456.605 PropClause: 11184.321 Set: 2074.637 Check: 0.0 Back: 256.335 INFO - Atoms: 30604/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 10654010 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.45 Prop: 11475.156 PropClause: 11202.111 Set: 2079.5 Check: 0.0 Back: 257.091 INFO - Atoms: 30420/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 10684286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.461 Prop: 11494.926 PropClause: 11221.112 Set: 2084.362 Check: 0.0 Back: 257.868 INFO - Atoms: 30276/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 10714378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.471 Prop: 11515.423 PropClause: 11240.852 Set: 2089.214 Check: 0.0 Back: 258.657 INFO - Atoms: 30092/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 10744328 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.484 Prop: 11534.547 PropClause: 11259.22 Set: 2094.023 Check: 0.0 Back: 259.438 INFO - Atoms: 29950/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 10774094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.497 Prop: 11554.117 PropClause: 11278.038 Set: 2098.887 Check: 0.0 Back: 260.206 INFO - Atoms: 29766/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 10803720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.509 Prop: 11572.111 PropClause: 11295.293 Set: 2103.666 Check: 0.0 Back: 260.968 INFO - Atoms: 29626/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 10833162 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.521 Prop: 11588.462 PropClause: 11310.908 Set: 2124.692 Check: 0.0 Back: 261.729 INFO - Atoms: 29442/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 10862462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.532 Prop: 11604.636 PropClause: 11326.355 Set: 2129.29 Check: 0.0 Back: 262.461 INFO - Atoms: 29300/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 10891576 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.544 Prop: 11621.008 PropClause: 11342.001 Set: 2133.896 Check: 0.0 Back: 263.196 INFO - Atoms: 29114/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 10920548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.553 Prop: 11638.433 PropClause: 11358.704 Set: 2138.499 Check: 0.0 Back: 263.941 INFO - Atoms: 28972/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 10949336 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.564 Prop: 11656.55 PropClause: 11376.115 Set: 2143.068 Check: 0.0 Back: 264.667 INFO - Atoms: 28788/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 10977984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.574 Prop: 11674.159 PropClause: 11393.022 Set: 2147.525 Check: 0.0 Back: 265.416 INFO - Atoms: 28648/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 11006446 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.586 Prop: 11690.895 PropClause: 11409.046 Set: 2152.032 Check: 0.0 Back: 266.152 INFO - Atoms: 28462/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 11034766 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.596 Prop: 11707.412 PropClause: 11424.859 Set: 2156.516 Check: 0.0 Back: 266.899 INFO - Atoms: 28320/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 11062902 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.608 Prop: 11725.517 PropClause: 11442.26 Set: 2161.1 Check: 0.0 Back: 267.627 INFO - Atoms: 28136/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 11090896 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.62 Prop: 11740.435 PropClause: 11456.482 Set: 2165.546 Check: 0.0 Back: 268.359 INFO - Atoms: 27994/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 11118712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.63 Prop: 11755.026 PropClause: 11470.381 Set: 2169.9 Check: 0.0 Back: 269.069 INFO - Atoms: 27816/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 11146382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.642 Prop: 11769.382 PropClause: 11484.048 Set: 2174.186 Check: 0.0 Back: 269.792 INFO - Atoms: 27670/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 11173866 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.652 Prop: 11783.564 PropClause: 11497.541 Set: 2178.513 Check: 0.0 Back: 270.514 INFO - Atoms: 27484/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 11201208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.664 Prop: 11799.378 PropClause: 11512.665 Set: 2182.87 Check: 0.0 Back: 271.227 INFO - Atoms: 27342/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 11228366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.675 Prop: 11814.972 PropClause: 11527.583 Set: 2187.112 Check: 0.0 Back: 271.921 INFO - Atoms: 27158/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 11255382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.684 Prop: 11829.747 PropClause: 11541.684 Set: 2191.307 Check: 0.0 Back: 272.617 INFO - Atoms: 27016/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 11282214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.696 Prop: 11844.675 PropClause: 11555.943 Set: 2195.482 Check: 0.0 Back: 273.308 INFO - Atoms: 26832/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 11308110 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.707 Prop: 11859.346 PropClause: 11569.967 Set: 2199.502 Check: 0.0 Back: 274.015 INFO - Atoms: 25896/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 11333824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.719 Prop: 11873.17 PropClause: 11583.157 Set: 2203.437 Check: 0.0 Back: 274.687 INFO - Atoms: 25714/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 11359396 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.73 Prop: 11885.564 PropClause: 11594.916 Set: 2207.342 Check: 0.0 Back: 275.355 INFO - Atoms: 25572/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 11384784 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.74 Prop: 11897.999 PropClause: 11606.72 Set: 2211.206 Check: 0.0 Back: 275.993 INFO - Atoms: 25388/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 11410030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.75 Prop: 11910.145 PropClause: 11618.235 Set: 2215.027 Check: 0.0 Back: 276.646 INFO - Atoms: 25246/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 11435092 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.76 Prop: 11923.752 PropClause: 11631.212 Set: 2218.863 Check: 0.0 Back: 277.283 INFO - Atoms: 25062/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 11460012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.771 Prop: 11937.001 PropClause: 11643.836 Set: 2222.675 Check: 0.0 Back: 277.942 INFO - Atoms: 24920/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 11484587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.78 Prop: 11949.824 PropClause: 11656.046 Set: 2226.386 Check: 0.0 Back: 278.587 INFO - Atoms: 24575/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 11508922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.791 Prop: 11961.869 PropClause: 11667.488 Set: 2230.039 Check: 0.0 Back: 279.236 INFO - Atoms: 24335/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 11533022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.803 Prop: 11974.495 PropClause: 11679.512 Set: 2233.691 Check: 0.0 Back: 279.868 INFO - Atoms: 24100/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 11556979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.814 Prop: 11986.913 PropClause: 11691.332 Set: 2237.323 Check: 0.0 Back: 280.506 INFO - Atoms: 23957/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 11580750 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.825 Prop: 11999.601 PropClause: 11703.425 Set: 2240.939 Check: 0.0 Back: 281.132 INFO - Atoms: 23771/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 11603587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.836 Prop: 12010.848 PropClause: 11714.093 Set: 2244.281 Check: 0.0 Back: 281.765 INFO - Atoms: 22837/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 11626240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.846 Prop: 12021.325 PropClause: 11724.007 Set: 2247.561 Check: 0.0 Back: 282.353 INFO - Atoms: 22653/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 11648751 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.857 Prop: 12031.645 PropClause: 11733.764 Set: 2250.831 Check: 0.0 Back: 282.947 INFO - Atoms: 22511/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 11671078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.869 Prop: 12041.895 PropClause: 11743.454 Set: 2254.065 Check: 0.0 Back: 283.531 INFO - Atoms: 22327/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 11693263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.88 Prop: 12052.54 PropClause: 11753.55 Set: 2257.271 Check: 0.0 Back: 284.127 INFO - Atoms: 22185/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 11715264 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.889 Prop: 12063.048 PropClause: 11763.512 Set: 2260.424 Check: 0.0 Back: 284.701 INFO - Atoms: 22001/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 11737123 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.9 Prop: 12073.814 PropClause: 11773.735 Set: 2263.578 Check: 0.0 Back: 285.295 INFO - Atoms: 21859/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 11758798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.909 Prop: 12083.813 PropClause: 11783.191 Set: 2266.686 Check: 0.0 Back: 285.86 INFO - Atoms: 21675/68218 Clauses: 833 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 755 Props: 14076099 Tprops: 0 Decides: 24395 RSplits: 0 INFO - Times: Expl: 1041.978 Prop: 14065.987 PropClause: 13688.371 Set: 2327.134 Check: 0.624 Back: 343.209 INFO - Atoms: 21222/68218 Clauses: 1332 Axioms: 231170 INFO - Confl: 974 Props: 14416107 Tprops: 0 Decides: 26476 RSplits: 0 INFO - Times: Expl: 1219.847 Prop: 14297.565 PropClause: 13908.187 Set: 2335.988 Check: 0.681 Back: 351.772 INFO - Atoms: 21668/68218 Clauses: 1551 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 1318 Props: 15422850 Tprops: 0 Decides: 37418 RSplits: 0 INFO - Times: Expl: 1537.887 Prop: 14934.23 PropClause: 14513.967 Set: 2363.051 Check: 0.941 Back: 375.751 INFO - Atoms: 21175/68218 Clauses: 1203 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 1681 Props: 17637973 Tprops: 0 Decides: 62627 RSplits: 0 INFO - Times: Expl: 2393.349 Prop: 16848.872 PropClause: 16359.564 Set: 2419.997 Check: 1.551 Back: 428.663 INFO - Atoms: 21252/68218 Clauses: 1224 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 1987 Props: 18630103 Tprops: 0 Decides: 72041 RSplits: 0 INFO - Times: Expl: 2712.576 Prop: 17515.067 PropClause: 16995.645 Set: 2447.571 Check: 1.777 Back: 452.284 INFO - Atoms: 21120/68218 Clauses: 1167 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2290 Props: 19620255 Tprops: 0 Decides: 81229 RSplits: 0 INFO - Times: Expl: 3064.512 Prop: 18217.237 PropClause: 17667.548 Set: 2475.333 Check: 2.001 Back: 476.005 INFO - Atoms: 21367/68218 Clauses: 1164 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2606 Props: 22751440 Tprops: 0 Decides: 118387 RSplits: 0 INFO - Times: Expl: 4194.348 Prop: 21155.61 PropClause: 20506.469 Set: 2555.962 Check: 2.902 Back: 550.789 INFO - Atoms: 21125/68218 Clauses: 1177 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2953 Props: 25111857 Tprops: 0 Decides: 145653 RSplits: 0 INFO - Times: Expl: 5028.589 Prop: 23258.497 PropClause: 22535.332 Set: 2616.024 Check: 3.551 Back: 606.903 INFO - Atoms: 21216/68218 Clauses: 1208 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3318 Props: 26852362 Tprops: 0 Decides: 164866 RSplits: 0 INFO - Times: Expl: 5647.877 Prop: 24713.123 PropClause: 23936.301 Set: 2661.051 Check: 4.007 Back: 648.185 INFO - Atoms: 21369/68218 Clauses: 1226 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3660 Props: 27873603 Tprops: 0 Decides: 174194 RSplits: 0 INFO - Times: Expl: 5982.778 Prop: 25413.112 PropClause: 24606.122 Set: 2688.43 Check: 4.244 Back: 672.328 INFO - Atoms: 21164/68218 Clauses: 1203 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3992 Props: 28920940 Tprops: 0 Decides: 183652 RSplits: 0 INFO - Times: Expl: 6331.985 Prop: 26089.815 PropClause: 25251.811 Set: 2716.536 Check: 4.471 Back: 697.206 INFO - Atoms: 21305/68218 Clauses: 1193 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4340 Props: 29944787 Tprops: 0 Decides: 193030 RSplits: 0 INFO - Times: Expl: 6662.85 Prop: 26776.946 PropClause: 25908.689 Set: 2744.014 Check: 4.695 Back: 721.471 INFO - Atoms: 21159/68218 Clauses: 1209 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4669 Props: 31330176 Tprops: 0 Decides: 207773 RSplits: 0 INFO - Times: Expl: 7150.731 Prop: 27886.401 PropClause: 26975.598 Set: 2780.153 Check: 5.046 Back: 754.366 INFO - Atoms: 21096/68218 Clauses: 1190 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5023 Props: 33767029 Tprops: 0 Decides: 236108 RSplits: 0 INFO - Times: Expl: 8027.793 Prop: 30044.378 PropClause: 29057.808 Set: 2841.342 Check: 5.723 Back: 811.922 INFO - Atoms: 21344/68218 Clauses: 1215 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5347 Props: 34843458 Tprops: 0 Decides: 245932 RSplits: 0 INFO - Times: Expl: 8414.55 Prop: 30847.432 PropClause: 29828.751 Set: 2870.388 Check: 5.965 Back: 837.603 INFO - Atoms: 21231/68218 Clauses: 1185 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5682 Props: 36317103 Tprops: 0 Decides: 261523 RSplits: 0 INFO - Times: Expl: 8989.695 Prop: 32104.149 PropClause: 31039.983 Set: 2908.911 Check: 6.333 Back: 872.675 INFO - Atoms: 21058/68218 Clauses: 1196 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6026 Props: 38171262 Tprops: 0 Decides: 281758 RSplits: 0 INFO - Times: Expl: 9680.703 Prop: 33757.253 PropClause: 32635.174 Set: 2957.206 Check: 6.818 Back: 916.979 INFO - Atoms: 21162/68218 Clauses: 1205 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6342 Props: 40373418 Tprops: 0 Decides: 306930 RSplits: 0 INFO - Times: Expl: 10584.582 Prop: 35849.576 PropClause: 34657.116 Set: 3015.048 Check: 7.424 Back: 969.761 INFO - Atoms: 21361/68218 Clauses: 1177 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6655 Props: 42253498 Tprops: 0 Decides: 327846 RSplits: 0 INFO - Times: Expl: 11271.078 Prop: 37481.688 PropClause: 36230.943 Set: 3064.106 Check: 7.921 Back: 1014.431 INFO - Atoms: 21368/68218 Clauses: 1174 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6994 Props: 43988140 Tprops: 0 Decides: 346786 RSplits: 0 INFO - Times: Expl: 11933.851 Prop: 39045.792 PropClause: 37741.225 Set: 3109.249 Check: 8.376 Back: 1055.75 INFO - Atoms: 21366/68218 Clauses: 1200 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7308 Props: 45052104 Tprops: 0 Decides: 356651 RSplits: 0 INFO - Times: Expl: 12279.892 Prop: 39755.042 PropClause: 38418.886 Set: 3137.767 Check: 8.611 Back: 1080.941 INFO - Atoms: 21281/68218 Clauses: 1175 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7611 Props: 45999578 Tprops: 0 Decides: 365440 RSplits: 0 INFO - Times: Expl: 12618.123 Prop: 40452.438 PropClause: 39087.661 Set: 3163.525 Check: 8.822 Back: 1103.613 INFO - Atoms: 20955/68218 Clauses: 1164 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7945 Props: 48208406 Tprops: 0 Decides: 390729 RSplits: 0 INFO - Times: Expl: 13454.292 Prop: 42470.566 PropClause: 41035.275 Set: 3220.189 Check: 9.444 Back: 1156.247 INFO - Atoms: 21368/68218 Clauses: 1197 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8257 Props: 50597144 Tprops: 0 Decides: 418444 RSplits: 0 INFO - Times: Expl: 14352.616 Prop: 44712.17 PropClause: 43201.891 Set: 3280.779 Check: 10.111 Back: 1212.928 INFO - Atoms: 21107/68218 Clauses: 1175 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8609 Props: 51645606 Tprops: 0 Decides: 428081 RSplits: 0 INFO - Times: Expl: 14705.498 Prop: 45425.557 PropClause: 43884.142 Set: 3308.783 Check: 10.341 Back: 1237.802 INFO - Atoms: 21226/68218 Clauses: 1215 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8935 Props: 52689926 Tprops: 0 Decides: 437721 RSplits: 0 INFO - Times: Expl: 15020.86 Prop: 46112.861 PropClause: 44540.638 Set: 3336.541 Check: 10.571 Back: 1262.464 INFO - Atoms: 21336/68218 Clauses: 1189 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 9435 Props: 53567859 Tprops: 0 Decides: 450763 RSplits: 0 INFO - Times: Expl: 15303.692 Prop: 46515.465 PropClause: 44916.822 Set: 3360.183 Check: 10.874 Back: 1282.959 INFO - Atoms: 20953/68218 Clauses: 1364 Axioms: 231170 INFO - Confl: 9439 Props: 53569193 Tprops: 0 Decides: 450766 RSplits: 0 INFO - Times: Expl: 15305.132 Prop: 46515.944 PropClause: 44917.26 Set: 3360.282 Check: 10.875 Back: 1282.981 INFO - Atoms: 21335/68218 Clauses: 1368 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9761 Props: 56134264 Tprops: 0 Decides: 480590 RSplits: 0 INFO - Times: Expl: 16287.852 Prop: 48956.57 PropClause: 47276.0 Set: 3425.648 Check: 11.609 Back: 1343.82 INFO - Atoms: 21319/68218 Clauses: 1317 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10103 Props: 57954340 Tprops: 0 Decides: 502600 RSplits: 0 INFO - Times: Expl: 16962.21 Prop: 50531.84 PropClause: 48793.976 Set: 3472.388 Check: 12.137 Back: 1386.872 INFO - Atoms: 21192/68218 Clauses: 1337 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10456 Props: 59015415 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.486 Prop: 51356.566 PropClause: 49584.296 Set: 3502.623 Check: 12.419 Back: 1412.762 INFO - Atoms: 21356/68218 Clauses: 1348 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10457 Props: 59048557 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.52 Prop: 51394.269 PropClause: 49621.019 Set: 3517.407 Check: 12.419 Back: 1413.277 INFO - Atoms: 33142/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10458 Props: 59082014 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.526 Prop: 51424.345 PropClause: 49650.242 Set: 3523.522 Check: 12.419 Back: 1414.119 INFO - Atoms: 33457/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10459 Props: 59115620 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.53 Prop: 51452.653 PropClause: 49677.701 Set: 3529.602 Check: 12.419 Back: 1414.932 INFO - Atoms: 33606/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10460 Props: 59149404 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.536 Prop: 51481.748 PropClause: 49705.942 Set: 3535.613 Check: 12.419 Back: 1415.728 INFO - Atoms: 33784/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10461 Props: 59183350 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.541 Prop: 51509.799 PropClause: 49733.135 Set: 3541.691 Check: 12.419 Back: 1416.536 INFO - Atoms: 33946/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10462 Props: 59217453 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.546 Prop: 51538.345 PropClause: 49760.818 Set: 3547.741 Check: 12.419 Back: 1417.344 INFO - Atoms: 34103/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10463 Props: 59251726 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.551 Prop: 51569.395 PropClause: 49791.002 Set: 3554.156 Check: 12.419 Back: 1418.17 INFO - Atoms: 34273/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10464 Props: 59286159 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.555 Prop: 51601.935 PropClause: 49822.665 Set: 3560.329 Check: 12.419 Back: 1418.987 INFO - Atoms: 34433/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10465 Props: 59320744 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.561 Prop: 51632.911 PropClause: 49852.767 Set: 3566.578 Check: 12.419 Back: 1419.8 INFO - Atoms: 34585/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10466 Props: 59355511 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.566 Prop: 51660.863 PropClause: 49879.842 Set: 3572.945 Check: 12.419 Back: 1420.621 INFO - Atoms: 34767/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10467 Props: 59390423 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.57 Prop: 51688.074 PropClause: 49906.143 Set: 3579.257 Check: 12.419 Back: 1421.447 INFO - Atoms: 34912/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10468 Props: 59425498 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.575 Prop: 51717.907 PropClause: 49935.09 Set: 3585.614 Check: 12.419 Back: 1422.274 INFO - Atoms: 35075/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10469 Props: 59460891 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.581 Prop: 51750.732 PropClause: 49967.017 Set: 3592.055 Check: 12.419 Back: 1423.108 INFO - Atoms: 35393/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10470 Props: 59496290 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.586 Prop: 51781.535 PropClause: 49996.926 Set: 3598.308 Check: 12.419 Back: 1423.951 INFO - Atoms: 35399/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10471 Props: 59531860 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.591 Prop: 51812.277 PropClause: 50026.767 Set: 3604.635 Check: 12.419 Back: 1424.8 INFO - Atoms: 35570/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10472 Props: 59567600 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.595 Prop: 51843.428 PropClause: 50057.021 Set: 3610.896 Check: 12.419 Back: 1425.651 INFO - Atoms: 35740/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10473 Props: 59603562 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.6 Prop: 51876.024 PropClause: 50088.71 Set: 3617.404 Check: 12.419 Back: 1426.492 INFO - Atoms: 35962/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10474 Props: 59639532 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.605 Prop: 51910.081 PropClause: 50121.858 Set: 3623.96 Check: 12.419 Back: 1427.345 INFO - Atoms: 35970/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10475 Props: 59675497 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.61 Prop: 51945.064 PropClause: 50155.932 Set: 3630.469 Check: 12.419 Back: 1428.227 INFO - Atoms: 35965/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10476 Props: 59711780 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.614 Prop: 51979.147 PropClause: 50189.096 Set: 3637.047 Check: 12.419 Back: 1429.082 INFO - Atoms: 36283/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10477 Props: 59748534 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.618 Prop: 52013.538 PropClause: 50222.558 Set: 3643.924 Check: 12.419 Back: 1429.96 INFO - Atoms: 36754/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10478 Props: 59785326 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.624 Prop: 52049.829 PropClause: 50257.894 Set: 3651.04 Check: 12.419 Back: 1430.868 INFO - Atoms: 36792/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10479 Props: 59822560 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.628 Prop: 52082.097 PropClause: 50289.213 Set: 3657.993 Check: 12.419 Back: 1431.751 INFO - Atoms: 37234/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10480 Props: 59859022 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.634 Prop: 52119.196 PropClause: 50324.304 Set: 3665.488 Check: 12.419 Back: 1432.64 INFO - Atoms: 36462/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10481 Props: 59900787 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.639 Prop: 52169.266 PropClause: 50372.382 Set: 3676.472 Check: 12.419 Back: 1433.521 INFO - Atoms: 41765/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10482 Props: 59942657 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.645 Prop: 52207.319 PropClause: 50409.367 Set: 3684.36 Check: 12.419 Back: 1434.593 INFO - Atoms: 41870/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10483 Props: 59984686 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.65 Prop: 52249.268 PropClause: 50450.236 Set: 3692.289 Check: 12.419 Back: 1435.593 INFO - Atoms: 42029/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10484 Props: 60026872 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.655 Prop: 52287.741 PropClause: 50487.659 Set: 3700.111 Check: 12.419 Back: 1436.595 INFO - Atoms: 42186/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10485 Props: 60068572 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.715 Prop: 52327.877 PropClause: 50526.764 Set: 3707.881 Check: 12.419 Back: 1437.587 INFO - Atoms: 41700/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10486 Props: 60110378 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.774 Prop: 52365.843 PropClause: 50563.704 Set: 3715.615 Check: 12.419 Back: 1438.57 INFO - Atoms: 41806/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10487 Props: 60152339 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.808 Prop: 52405.587 PropClause: 50602.403 Set: 3723.405 Check: 12.419 Back: 1439.565 INFO - Atoms: 41961/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10488 Props: 60193831 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.856 Prop: 52440.19 PropClause: 50635.971 Set: 3730.873 Check: 12.419 Back: 1440.56 INFO - Atoms: 41492/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10489 Props: 60235466 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.989 Prop: 52477.369 PropClause: 50672.117 Set: 3738.407 Check: 12.419 Back: 1441.551 INFO - Atoms: 41635/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10490 Props: 60277276 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17394.998 Prop: 52517.109 PropClause: 50710.821 Set: 3746.341 Check: 12.419 Back: 1442.546 INFO - Atoms: 41810/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10491 Props: 60318756 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.05 Prop: 52559.033 PropClause: 50751.682 Set: 3754.371 Check: 12.419 Back: 1443.533 INFO - Atoms: 41480/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10492 Props: 60360334 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.093 Prop: 52597.99 PropClause: 50789.611 Set: 3761.949 Check: 12.419 Back: 1444.535 INFO - Atoms: 41578/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10493 Props: 60402079 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.103 Prop: 52639.962 PropClause: 50830.558 Set: 3769.629 Check: 12.419 Back: 1445.524 INFO - Atoms: 41745/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10494 Props: 60443980 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.114 Prop: 52677.573 PropClause: 50867.128 Set: 3777.315 Check: 12.419 Back: 1446.52 INFO - Atoms: 41901/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10495 Props: 60486034 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.124 Prop: 52718.757 PropClause: 50907.246 Set: 3785.49 Check: 12.419 Back: 1447.521 INFO - Atoms: 42054/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10496 Props: 60528408 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.138 Prop: 52763.937 PropClause: 50951.34 Set: 3793.882 Check: 12.419 Back: 1448.521 INFO - Atoms: 42374/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10497 Props: 60570788 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.148 Prop: 52805.809 PropClause: 50992.153 Set: 3801.609 Check: 12.419 Back: 1449.565 INFO - Atoms: 42380/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10498 Props: 60613268 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.158 Prop: 52844.22 PropClause: 51029.517 Set: 3809.118 Check: 12.419 Back: 1450.567 INFO - Atoms: 42480/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10499 Props: 60655826 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.169 Prop: 52884.606 PropClause: 51068.847 Set: 3817.049 Check: 12.419 Back: 1451.556 INFO - Atoms: 42558/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10500 Props: 60698390 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.18 Prop: 52928.435 PropClause: 51111.613 Set: 3824.876 Check: 12.419 Back: 1452.586 INFO - Atoms: 42564/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10501 Props: 60739120 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.19 Prop: 52967.715 PropClause: 51149.886 Set: 3832.343 Check: 12.419 Back: 1453.588 INFO - Atoms: 40730/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10502 Props: 60781679 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.201 Prop: 53007.603 PropClause: 51188.717 Set: 3859.641 Check: 12.419 Back: 1454.547 INFO - Atoms: 42559/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10503 Props: 60824238 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.212 Prop: 53044.659 PropClause: 51224.712 Set: 3867.215 Check: 12.419 Back: 1455.536 INFO - Atoms: 42559/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10504 Props: 60866803 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.222 Prop: 53087.386 PropClause: 51266.377 Set: 3875.083 Check: 12.419 Back: 1456.55 INFO - Atoms: 42565/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10505 Props: 60909368 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.233 Prop: 53129.718 PropClause: 51307.659 Set: 3882.769 Check: 12.419 Back: 1457.557 INFO - Atoms: 42565/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10506 Props: 60955546 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.243 Prop: 53180.558 PropClause: 51357.339 Set: 3890.874 Check: 12.419 Back: 1458.555 INFO - Atoms: 46178/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10507 Props: 61001918 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.253 Prop: 53226.909 PropClause: 51402.538 Set: 3898.862 Check: 12.419 Back: 1459.637 INFO - Atoms: 46372/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10508 Props: 61048421 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.262 Prop: 53272.947 PropClause: 51447.422 Set: 3907.327 Check: 12.419 Back: 1460.721 INFO - Atoms: 46503/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10509 Props: 61095093 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.273 Prop: 53324.05 PropClause: 51497.365 Set: 3915.975 Check: 12.419 Back: 1461.817 INFO - Atoms: 46672/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10510 Props: 61141922 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.285 Prop: 53374.059 PropClause: 51546.215 Set: 3924.135 Check: 12.419 Back: 1462.907 INFO - Atoms: 46829/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10511 Props: 61189070 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.295 Prop: 53424.713 PropClause: 51595.702 Set: 3932.376 Check: 12.419 Back: 1463.992 INFO - Atoms: 47148/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10512 Props: 61236225 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.306 Prop: 53471.245 PropClause: 51641.066 Set: 3940.39 Check: 12.419 Back: 1465.093 INFO - Atoms: 47155/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10513 Props: 61283557 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.317 Prop: 53521.205 PropClause: 51689.851 Set: 3948.661 Check: 12.419 Back: 1466.193 INFO - Atoms: 47332/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10514 Props: 61331038 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.328 Prop: 53574.176 PropClause: 51741.642 Set: 3957.114 Check: 12.419 Back: 1467.311 INFO - Atoms: 47481/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10515 Props: 61378839 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.339 Prop: 53627.486 PropClause: 51793.762 Set: 3965.413 Check: 12.419 Back: 1468.425 INFO - Atoms: 47801/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10516 Props: 61426646 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.351 Prop: 53681.435 PropClause: 51846.527 Set: 3974.306 Check: 12.419 Back: 1469.536 INFO - Atoms: 47807/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10517 Props: 61474617 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.361 Prop: 53729.48 PropClause: 51893.384 Set: 3982.585 Check: 12.419 Back: 1470.657 INFO - Atoms: 47971/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10518 Props: 61522601 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.372 Prop: 53782.35 PropClause: 51945.066 Set: 3990.902 Check: 12.419 Back: 1471.772 INFO - Atoms: 47984/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10519 Props: 61570408 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.381 Prop: 53837.949 PropClause: 51999.478 Set: 3999.352 Check: 12.419 Back: 1472.893 INFO - Atoms: 47807/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10520 Props: 61620042 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.42 Prop: 53900.484 PropClause: 52060.07 Set: 4012.702 Check: 12.419 Back: 1474.008 INFO - Atoms: 49634/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10521 Props: 61660700 Tprops: 0 Decides: 513811 RSplits: 0 INFO - Times: Expl: 17395.43 Prop: 53955.527 PropClause: 52113.487 Set: 4023.735 Check: 12.419 Back: 1475.271 INFO - Atoms: 40658/68218 Clauses: 996 Axioms: 231170 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 377 Props: 35577 Tprops: 6593 Decides: 50057 RSplits: 0 INFO - Times: Expl: 277.422 Prop: 100517.376 PropClause: 20.633 Set: 8108.081 Check: 215.024 Back: 138.707 INFO - Atoms: 911/1123 Clauses: 377 Axioms: 1123 INFO - CCTimes: iE 558261 eq 32232817 cc 112985680 setRep 59735440 INFO - Merges: 442272, cc:882235 INFO - BVTimes: BB 345301607 BB_DPLL 95966585500 Graph 1155656 INFO - BitBlastingClauses: 521538 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat