/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_128.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 300992773 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 87708 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.677 Prop: 151.425 PropClause: 145.475 Set: 46.898 Check: 0.0 Back: 0.0 INFO - Atoms: 87708/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 175418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.718 Prop: 279.293 PropClause: 269.545 Set: 62.807 Check: 0.0 Back: 2.061 INFO - Atoms: 87710/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 262684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.773 Prop: 401.084 PropClause: 388.391 Set: 78.069 Check: 0.0 Back: 4.065 INFO - Atoms: 87266/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 349951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.819 Prop: 505.396 PropClause: 490.248 Set: 93.416 Check: 0.0 Back: 6.127 INFO - Atoms: 87267/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 437212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.885 Prop: 613.529 PropClause: 595.92 Set: 108.766 Check: 0.0 Back: 8.148 INFO - Atoms: 87261/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 524474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.975 Prop: 720.226 PropClause: 700.177 Set: 124.586 Check: 0.0 Back: 10.23 INFO - Atoms: 87262/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 611734 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.062 Prop: 829.375 PropClause: 806.877 Set: 150.551 Check: 0.0 Back: 12.262 INFO - Atoms: 87260/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 698994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.114 Prop: 939.032 PropClause: 914.106 Set: 166.2 Check: 0.0 Back: 14.332 INFO - Atoms: 87260/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 786033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.208 Prop: 1049.62 PropClause: 1022.243 Set: 182.271 Check: 0.0 Back: 16.352 INFO - Atoms: 87039/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 872844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.262 Prop: 1158.17 PropClause: 1128.38 Set: 197.659 Check: 0.0 Back: 18.447 INFO - Atoms: 86811/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 959429 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.311 Prop: 1263.277 PropClause: 1231.091 Set: 212.846 Check: 0.0 Back: 20.488 INFO - Atoms: 86585/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 1045786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.365 Prop: 1367.455 PropClause: 1332.875 Set: 227.82 Check: 0.0 Back: 22.533 INFO - Atoms: 86357/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 1131917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.416 Prop: 1476.947 PropClause: 1439.958 Set: 243.265 Check: 0.0 Back: 24.582 INFO - Atoms: 86131/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 1217836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.47 Prop: 1581.517 PropClause: 1542.105 Set: 266.404 Check: 0.0 Back: 26.718 INFO - Atoms: 85919/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 1303513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.514 Prop: 1685.559 PropClause: 1643.79 Set: 291.0 Check: 0.0 Back: 28.759 INFO - Atoms: 85677/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1388962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.569 Prop: 1791.034 PropClause: 1746.896 Set: 315.76 Check: 0.0 Back: 30.784 INFO - Atoms: 85449/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1474185 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.613 Prop: 1893.818 PropClause: 1847.309 Set: 330.557 Check: 0.0 Back: 32.759 INFO - Atoms: 85223/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1559196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.66 Prop: 1997.625 PropClause: 1948.768 Set: 345.421 Check: 0.0 Back: 34.753 INFO - Atoms: 85011/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1643965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.708 Prop: 2102.539 PropClause: 2051.342 Set: 360.166 Check: 0.0 Back: 36.704 INFO - Atoms: 84769/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1728506 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.763 Prop: 2202.969 PropClause: 2149.426 Set: 375.131 Check: 0.0 Back: 38.703 INFO - Atoms: 84541/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1812821 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.811 Prop: 2309.049 PropClause: 2253.171 Set: 390.024 Check: 0.0 Back: 40.668 INFO - Atoms: 84315/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1896908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.855 Prop: 2409.466 PropClause: 2351.263 Set: 404.61 Check: 0.0 Back: 42.645 INFO - Atoms: 84087/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1980769 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.908 Prop: 2516.125 PropClause: 2455.591 Set: 419.486 Check: 0.0 Back: 44.582 INFO - Atoms: 83861/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 2064419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.96 Prop: 2623.671 PropClause: 2560.791 Set: 434.09 Check: 0.0 Back: 46.539 INFO - Atoms: 83650/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 2147826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.015 Prop: 2733.459 PropClause: 2668.222 Set: 449.078 Check: 0.0 Back: 48.479 INFO - Atoms: 83407/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 2231005 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.07 Prop: 2840.247 PropClause: 2772.689 Set: 463.82 Check: 0.0 Back: 50.448 INFO - Atoms: 83179/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 2313958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.148 Prop: 2946.854 PropClause: 2876.999 Set: 478.452 Check: 0.0 Back: 52.404 INFO - Atoms: 82953/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 2396683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.188 Prop: 3048.262 PropClause: 2976.103 Set: 492.673 Check: 0.0 Back: 54.374 INFO - Atoms: 82725/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 2479182 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.262 Prop: 3151.276 PropClause: 3076.834 Set: 515.165 Check: 0.0 Back: 56.335 INFO - Atoms: 82499/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 2561469 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.309 Prop: 3253.108 PropClause: 3176.378 Set: 537.591 Check: 0.0 Back: 58.28 INFO - Atoms: 82287/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 2643514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.354 Prop: 3350.179 PropClause: 3271.186 Set: 552.024 Check: 0.0 Back: 60.182 INFO - Atoms: 82045/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2725347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.407 Prop: 3456.643 PropClause: 3375.348 Set: 567.16 Check: 0.0 Back: 62.115 INFO - Atoms: 81833/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2806938 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.458 Prop: 3560.183 PropClause: 3476.621 Set: 581.47 Check: 0.0 Back: 64.007 INFO - Atoms: 81591/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2888301 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.504 Prop: 3668.902 PropClause: 3583.081 Set: 595.572 Check: 0.0 Back: 65.94 INFO - Atoms: 81363/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2969438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.559 Prop: 3769.685 PropClause: 3681.624 Set: 609.654 Check: 0.0 Back: 67.807 INFO - Atoms: 81137/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 3050347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.605 Prop: 3872.921 PropClause: 3782.623 Set: 623.489 Check: 0.0 Back: 69.767 INFO - Atoms: 80909/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 3131030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.647 Prop: 3972.177 PropClause: 3879.646 Set: 637.65 Check: 0.0 Back: 71.64 INFO - Atoms: 80683/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 3211485 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.695 Prop: 4070.337 PropClause: 3975.572 Set: 651.648 Check: 0.0 Back: 73.544 INFO - Atoms: 80455/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 3291714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.751 Prop: 4172.107 PropClause: 4075.12 Set: 665.634 Check: 0.0 Back: 75.392 INFO - Atoms: 80229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 3371715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.797 Prop: 4268.156 PropClause: 4168.97 Set: 679.401 Check: 0.0 Back: 77.285 INFO - Atoms: 80001/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 3451490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.846 Prop: 4367.241 PropClause: 4265.842 Set: 693.504 Check: 0.0 Back: 79.122 INFO - Atoms: 79775/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 3531037 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.9 Prop: 4462.575 PropClause: 4358.977 Set: 707.38 Check: 0.0 Back: 81.007 INFO - Atoms: 79547/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 3610358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.946 Prop: 4560.223 PropClause: 4454.44 Set: 721.06 Check: 0.0 Back: 82.836 INFO - Atoms: 79321/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 3689451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.993 Prop: 4656.309 PropClause: 4548.33 Set: 734.469 Check: 0.0 Back: 84.717 INFO - Atoms: 79093/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 3768318 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.035 Prop: 4754.171 PropClause: 4644.019 Set: 748.257 Check: 0.0 Back: 86.543 INFO - Atoms: 78867/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 3846957 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.114 Prop: 4851.826 PropClause: 4739.488 Set: 761.897 Check: 0.0 Back: 88.386 INFO - Atoms: 78639/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 3925370 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.156 Prop: 4949.34 PropClause: 4834.832 Set: 775.36 Check: 0.0 Back: 90.202 INFO - Atoms: 78413/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 4003572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.197 Prop: 5040.509 PropClause: 4923.826 Set: 788.651 Check: 0.0 Back: 92.045 INFO - Atoms: 78202/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 4081531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.235 Prop: 5133.55 PropClause: 5014.71 Set: 802.085 Check: 0.0 Back: 93.849 INFO - Atoms: 77959/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 4159278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.276 Prop: 5225.196 PropClause: 5104.202 Set: 815.591 Check: 0.0 Back: 95.673 INFO - Atoms: 77747/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 4236783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.32 Prop: 5319.141 PropClause: 5196.002 Set: 828.716 Check: 0.0 Back: 97.476 INFO - Atoms: 77505/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 4314076 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.465 Prop: 5411.938 PropClause: 5286.663 Set: 842.05 Check: 0.0 Back: 99.307 INFO - Atoms: 77293/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 4391127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.483 Prop: 5498.256 PropClause: 5370.852 Set: 854.898 Check: 0.0 Back: 101.081 INFO - Atoms: 77051/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 4467950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.507 Prop: 5588.619 PropClause: 5459.092 Set: 889.773 Check: 0.0 Back: 102.881 INFO - Atoms: 76823/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 4544547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.529 Prop: 5677.501 PropClause: 5545.856 Set: 902.617 Check: 0.0 Back: 104.64 INFO - Atoms: 76597/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 4620916 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.548 Prop: 5764.65 PropClause: 5630.867 Set: 915.547 Check: 0.0 Back: 106.455 INFO - Atoms: 76369/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 4697059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.565 Prop: 5850.701 PropClause: 5714.82 Set: 928.619 Check: 0.0 Back: 108.199 INFO - Atoms: 76143/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 4772974 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.582 Prop: 5932.625 PropClause: 5794.65 Set: 941.28 Check: 0.0 Back: 109.975 INFO - Atoms: 75915/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 4848663 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.604 Prop: 6022.186 PropClause: 5882.123 Set: 954.101 Check: 0.0 Back: 111.705 INFO - Atoms: 75689/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 4924124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.624 Prop: 6108.747 PropClause: 5966.594 Set: 967.051 Check: 0.0 Back: 113.5 INFO - Atoms: 75461/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 4999359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.645 Prop: 6199.853 PropClause: 6055.615 Set: 979.782 Check: 0.0 Back: 115.231 INFO - Atoms: 75235/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 5074383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.666 Prop: 6289.742 PropClause: 6143.432 Set: 992.472 Check: 0.0 Back: 116.988 INFO - Atoms: 75024/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 5149164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.686 Prop: 6378.07 PropClause: 6229.7 Set: 1005.288 Check: 0.0 Back: 118.694 INFO - Atoms: 74781/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 5223732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.709 Prop: 6471.492 PropClause: 6321.012 Set: 1018.632 Check: 0.0 Back: 120.431 INFO - Atoms: 74568/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 5298059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.727 Prop: 6560.04 PropClause: 6407.505 Set: 1031.344 Check: 0.0 Back: 122.18 INFO - Atoms: 74327/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 5372173 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.747 Prop: 6644.907 PropClause: 6490.323 Set: 1043.701 Check: 0.0 Back: 123.936 INFO - Atoms: 74114/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 5446046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.766 Prop: 6730.011 PropClause: 6573.396 Set: 1056.472 Check: 0.0 Back: 125.637 INFO - Atoms: 73873/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 5519706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.788 Prop: 6811.292 PropClause: 6652.635 Set: 1068.957 Check: 0.0 Back: 127.368 INFO - Atoms: 73660/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 5593125 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.805 Prop: 6892.908 PropClause: 6732.207 Set: 1081.421 Check: 0.0 Back: 129.092 INFO - Atoms: 73419/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 5666316 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.823 Prop: 6981.025 PropClause: 6818.298 Set: 1094.0 Check: 0.0 Back: 130.816 INFO - Atoms: 73191/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 5739281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.842 Prop: 7068.995 PropClause: 6904.263 Set: 1106.289 Check: 0.0 Back: 132.515 INFO - Atoms: 72965/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 5812034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.914 Prop: 7162.533 PropClause: 6995.767 Set: 1118.887 Check: 0.0 Back: 134.232 INFO - Atoms: 72753/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 5884545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.932 Prop: 7252.308 PropClause: 7083.487 Set: 1131.428 Check: 0.0 Back: 135.919 INFO - Atoms: 72511/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 5956828 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.951 Prop: 7337.077 PropClause: 7166.25 Set: 1143.74 Check: 0.0 Back: 137.635 INFO - Atoms: 72283/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 6028885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.967 Prop: 7422.282 PropClause: 7249.443 Set: 1156.261 Check: 0.0 Back: 139.302 INFO - Atoms: 72057/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 6100714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.984 Prop: 7505.358 PropClause: 7330.533 Set: 1168.443 Check: 0.0 Back: 141.096 INFO - Atoms: 71829/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 6172317 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.997 Prop: 7591.293 PropClause: 7414.486 Set: 1180.783 Check: 0.0 Back: 142.741 INFO - Atoms: 71603/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 6243692 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.015 Prop: 7675.732 PropClause: 7496.951 Set: 1193.135 Check: 0.0 Back: 144.422 INFO - Atoms: 71375/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 6314841 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.034 Prop: 7758.79 PropClause: 7578.041 Set: 1205.064 Check: 0.0 Back: 146.066 INFO - Atoms: 71149/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 6385762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.05 Prop: 7838.344 PropClause: 7655.606 Set: 1216.845 Check: 0.0 Back: 147.747 INFO - Atoms: 70921/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 6456457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.066 Prop: 7920.543 PropClause: 7735.844 Set: 1229.009 Check: 0.0 Back: 149.39 INFO - Atoms: 70695/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 6526924 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.081 Prop: 8002.111 PropClause: 7815.459 Set: 1240.905 Check: 0.0 Back: 151.04 INFO - Atoms: 70467/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 6597165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.1 Prop: 8084.098 PropClause: 7895.487 Set: 1252.645 Check: 0.0 Back: 152.677 INFO - Atoms: 70241/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 6667178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.115 Prop: 8160.949 PropClause: 7970.403 Set: 1264.175 Check: 0.0 Back: 154.349 INFO - Atoms: 70013/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 6736965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.135 Prop: 8240.224 PropClause: 8047.743 Set: 1275.712 Check: 0.0 Back: 155.958 INFO - Atoms: 69787/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 6806541 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.152 Prop: 8325.13 PropClause: 8130.727 Set: 1287.545 Check: 0.0 Back: 157.596 INFO - Atoms: 69576/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 6875874 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.172 Prop: 8405.933 PropClause: 8209.622 Set: 1299.16 Check: 0.0 Back: 159.178 INFO - Atoms: 69333/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 6944979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.19 Prop: 8482.205 PropClause: 8283.985 Set: 1310.792 Check: 0.0 Back: 160.811 INFO - Atoms: 69105/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 7013858 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.204 Prop: 8555.811 PropClause: 8355.694 Set: 1322.429 Check: 0.0 Back: 162.388 INFO - Atoms: 68879/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 7082509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.221 Prop: 8627.791 PropClause: 8425.776 Set: 1333.732 Check: 0.0 Back: 164.019 INFO - Atoms: 68651/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 7150934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.236 Prop: 8699.805 PropClause: 8495.905 Set: 1344.97 Check: 0.0 Back: 165.607 INFO - Atoms: 68425/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 7219147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.254 Prop: 8771.294 PropClause: 8565.524 Set: 1356.067 Check: 0.0 Back: 167.214 INFO - Atoms: 68213/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 7287118 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.267 Prop: 8845.111 PropClause: 8637.482 Set: 1367.361 Check: 0.0 Back: 168.785 INFO - Atoms: 67971/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 7354861 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.318 Prop: 8919.032 PropClause: 8709.534 Set: 1378.476 Check: 0.0 Back: 170.354 INFO - Atoms: 67743/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 7422378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.377 Prop: 8990.999 PropClause: 8779.622 Set: 1389.814 Check: 0.0 Back: 171.91 INFO - Atoms: 67517/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 7489667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.388 Prop: 9062.225 PropClause: 8848.989 Set: 1400.845 Check: 0.0 Back: 173.5 INFO - Atoms: 67289/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 7556730 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.4 Prop: 9136.551 PropClause: 8921.451 Set: 1412.096 Check: 0.0 Back: 175.043 INFO - Atoms: 67063/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 7623581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.411 Prop: 9208.431 PropClause: 8991.481 Set: 1423.39 Check: 0.0 Back: 176.622 INFO - Atoms: 66851/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 7690190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.423 Prop: 9281.106 PropClause: 9062.321 Set: 1434.31 Check: 0.0 Back: 178.153 INFO - Atoms: 66609/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 7756587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.434 Prop: 9348.987 PropClause: 9128.369 Set: 1445.451 Check: 0.0 Back: 179.744 INFO - Atoms: 66397/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 7822742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.447 Prop: 9419.414 PropClause: 9196.967 Set: 1456.591 Check: 0.0 Back: 181.276 INFO - Atoms: 66155/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 7888669 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.458 Prop: 9487.954 PropClause: 9263.684 Set: 1476.896 Check: 0.0 Back: 182.844 INFO - Atoms: 65927/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 7954370 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.468 Prop: 9560.084 PropClause: 9333.98 Set: 1487.766 Check: 0.0 Back: 184.367 INFO - Atoms: 65701/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 8019843 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.48 Prop: 9628.17 PropClause: 9400.246 Set: 1498.618 Check: 0.0 Back: 185.921 INFO - Atoms: 65473/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 8085090 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.493 Prop: 9702.988 PropClause: 9473.222 Set: 1509.628 Check: 0.0 Back: 187.478 INFO - Atoms: 65247/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 8150109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.505 Prop: 9774.488 PropClause: 9542.926 Set: 1520.636 Check: 0.0 Back: 189.007 INFO - Atoms: 65019/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 8214902 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.519 Prop: 9847.579 PropClause: 9614.209 Set: 1531.716 Check: 0.0 Back: 190.51 INFO - Atoms: 64793/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 8279467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.532 Prop: 9929.474 PropClause: 9694.296 Set: 1542.643 Check: 0.0 Back: 192.052 INFO - Atoms: 64565/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 8343806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.545 Prop: 10000.313 PropClause: 9763.345 Set: 1553.587 Check: 0.0 Back: 193.556 INFO - Atoms: 64339/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 8407917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.557 Prop: 10072.784 PropClause: 9834.03 Set: 1564.059 Check: 0.0 Back: 195.073 INFO - Atoms: 64111/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 8471802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.567 Prop: 10144.702 PropClause: 9904.158 Set: 1574.79 Check: 0.0 Back: 196.58 INFO - Atoms: 63885/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 8535459 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.578 Prop: 10214.942 PropClause: 9972.632 Set: 1585.25 Check: 0.0 Back: 198.089 INFO - Atoms: 63657/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 8598890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.591 Prop: 10279.766 PropClause: 10035.692 Set: 1595.929 Check: 0.0 Back: 199.562 INFO - Atoms: 63431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 8662093 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.602 Prop: 10344.263 PropClause: 10098.42 Set: 1606.54 Check: 0.0 Back: 201.08 INFO - Atoms: 63203/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 8725070 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.612 Prop: 10412.706 PropClause: 10165.106 Set: 1617.161 Check: 0.0 Back: 202.546 INFO - Atoms: 62977/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 8787836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.623 Prop: 10477.153 PropClause: 10227.796 Set: 1627.751 Check: 0.0 Back: 204.042 INFO - Atoms: 62766/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 8850359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.635 Prop: 10547.277 PropClause: 10296.186 Set: 1638.302 Check: 0.0 Back: 205.505 INFO - Atoms: 62523/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 8912670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.646 Prop: 10614.736 PropClause: 10361.904 Set: 1648.72 Check: 0.0 Back: 206.993 INFO - Atoms: 62311/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 8974739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.659 Prop: 10682.113 PropClause: 10427.555 Set: 1659.208 Check: 0.0 Back: 208.424 INFO - Atoms: 62069/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 9036595 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.67 Prop: 10749.6 PropClause: 10493.324 Set: 1669.429 Check: 0.0 Back: 209.905 INFO - Atoms: 61856/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 9098210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.68 Prop: 10815.266 PropClause: 10557.272 Set: 1679.492 Check: 0.0 Back: 211.337 INFO - Atoms: 61615/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 9159612 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.691 Prop: 10882.484 PropClause: 10622.782 Set: 1689.503 Check: 0.0 Back: 212.798 INFO - Atoms: 61402/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 9220773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.702 Prop: 10950.456 PropClause: 10689.056 Set: 1699.664 Check: 0.0 Back: 214.22 INFO - Atoms: 61161/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 9281706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.713 Prop: 11018.979 PropClause: 10755.885 Set: 1709.723 Check: 0.0 Back: 215.674 INFO - Atoms: 60933/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 9342413 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.726 Prop: 11085.648 PropClause: 10820.874 Set: 1719.8 Check: 0.0 Back: 217.083 INFO - Atoms: 60707/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 9402908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.737 Prop: 11150.496 PropClause: 10884.031 Set: 1729.879 Check: 0.0 Back: 218.537 INFO - Atoms: 60495/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 9463161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.749 Prop: 11215.699 PropClause: 10947.552 Set: 1740.04 Check: 0.0 Back: 219.938 INFO - Atoms: 60253/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 9523202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.761 Prop: 11279.286 PropClause: 11009.469 Set: 1750.045 Check: 0.0 Back: 221.359 INFO - Atoms: 60041/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 9583001 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.781 Prop: 11344.404 PropClause: 11072.913 Set: 1760.218 Check: 0.0 Back: 222.742 INFO - Atoms: 59799/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 9642587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.823 Prop: 11408.13 PropClause: 11134.973 Set: 1770.14 Check: 0.0 Back: 224.15 INFO - Atoms: 59586/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 9701932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.83 Prop: 11477.315 PropClause: 11202.475 Set: 1780.157 Check: 0.0 Back: 225.535 INFO - Atoms: 59345/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 9761049 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.838 Prop: 11543.25 PropClause: 11266.761 Set: 1789.817 Check: 0.0 Back: 226.94 INFO - Atoms: 59117/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 9819940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.845 Prop: 11603.25 PropClause: 11325.124 Set: 1799.581 Check: 0.0 Back: 228.318 INFO - Atoms: 58891/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 9879737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.852 Prop: 11664.731 PropClause: 11384.872 Set: 1809.553 Check: 0.0 Back: 229.705 INFO - Atoms: 59797/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 9939741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.859 Prop: 11725.37 PropClause: 11443.879 Set: 1819.35 Check: 0.0 Back: 231.079 INFO - Atoms: 60004/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 9999992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.867 Prop: 11786.851 PropClause: 11503.708 Set: 1829.403 Check: 0.0 Back: 232.476 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 10060221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.875 Prop: 11850.643 PropClause: 11565.841 Set: 1839.469 Check: 0.0 Back: 233.864 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 10119802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.883 Prop: 11914.356 PropClause: 11627.893 Set: 1849.26 Check: 0.0 Back: 235.299 INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 10180050 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.891 Prop: 11975.929 PropClause: 11687.815 Set: 1859.345 Check: 0.0 Back: 236.676 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 10240279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.897 Prop: 12034.742 PropClause: 11744.984 Set: 1869.198 Check: 0.0 Back: 238.104 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 10299846 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.904 Prop: 12093.497 PropClause: 11802.112 Set: 1879.159 Check: 0.0 Back: 239.486 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 10360075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.913 Prop: 12154.519 PropClause: 11861.47 Set: 1889.02 Check: 0.0 Back: 240.886 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 10420324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.919 Prop: 12214.719 PropClause: 11919.993 Set: 1898.976 Check: 0.0 Back: 242.271 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 10479906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.926 Prop: 12276.49 PropClause: 11980.108 Set: 1908.68 Check: 0.0 Back: 243.675 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 10540157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.932 Prop: 12336.018 PropClause: 12037.968 Set: 1918.831 Check: 0.0 Back: 245.058 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 10600386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.939 Prop: 12395.67 PropClause: 12095.948 Set: 1928.919 Check: 0.0 Back: 246.497 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 10660837 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.946 Prop: 12460.714 PropClause: 12159.283 Set: 1939.211 Check: 0.0 Back: 247.878 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 10721066 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.952 Prop: 12521.651 PropClause: 12218.561 Set: 1949.165 Check: 0.0 Back: 249.291 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 10781496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.959 Prop: 12584.275 PropClause: 12279.505 Set: 1959.146 Check: 0.0 Back: 250.664 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 10841077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.965 Prop: 12646.721 PropClause: 12340.313 Set: 1968.95 Check: 0.0 Back: 252.089 INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 10901325 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.971 Prop: 12708.296 PropClause: 12400.225 Set: 1979.04 Check: 0.0 Back: 253.448 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 10961756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.978 Prop: 12768.539 PropClause: 12458.806 Set: 1989.125 Check: 0.0 Back: 254.841 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 11022207 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.019 Prop: 12825.752 PropClause: 12514.365 Set: 1999.34 Check: 0.0 Back: 256.238 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 11082436 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.054 Prop: 12885.383 PropClause: 12572.35 Set: 2009.317 Check: 0.0 Back: 257.674 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 11142864 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.084 Prop: 12946.543 PropClause: 12631.853 Set: 2019.4 Check: 0.0 Back: 259.071 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 11202430 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.092 Prop: 13007.361 PropClause: 12691.039 Set: 2029.259 Check: 0.0 Back: 260.492 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 11262679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.098 Prop: 13074.312 PropClause: 12756.338 Set: 2039.577 Check: 0.0 Back: 261.917 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 11323109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.104 Prop: 13137.481 PropClause: 12817.852 Set: 2049.666 Check: 0.0 Back: 263.336 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 11383560 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.112 Prop: 13203.323 PropClause: 12882.03 Set: 2059.846 Check: 0.0 Back: 264.731 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 11443789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.119 Prop: 13268.61 PropClause: 12945.621 Set: 2069.798 Check: 0.0 Back: 266.175 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 11504217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.127 Prop: 13334.329 PropClause: 13009.695 Set: 2079.928 Check: 0.0 Back: 267.571 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 11563783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.135 Prop: 13397.55 PropClause: 13071.267 Set: 2089.916 Check: 0.0 Back: 268.985 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 11624032 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.143 Prop: 13460.894 PropClause: 13132.968 Set: 2100.164 Check: 0.0 Back: 270.397 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 11684462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.148 Prop: 13526.239 PropClause: 13196.663 Set: 2110.321 Check: 0.0 Back: 271.807 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 11744915 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.156 Prop: 13590.493 PropClause: 13259.264 Set: 2137.246 Check: 0.0 Back: 273.191 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 11805144 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.162 Prop: 13654.705 PropClause: 13321.809 Set: 2147.277 Check: 0.0 Back: 274.63 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 11865572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.168 Prop: 13715.932 PropClause: 13381.358 Set: 2157.52 Check: 0.0 Back: 276.022 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 11925138 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.174 Prop: 13775.774 PropClause: 13439.563 Set: 2167.562 Check: 0.0 Back: 277.445 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 11985386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.181 Prop: 13834.336 PropClause: 13496.452 Set: 2177.813 Check: 0.0 Back: 278.823 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 12045817 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.187 Prop: 13897.279 PropClause: 13557.725 Set: 2188.023 Check: 0.0 Back: 280.232 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 12106270 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.193 Prop: 13957.999 PropClause: 13616.775 Set: 2198.191 Check: 0.0 Back: 281.637 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 12166499 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.2 Prop: 14019.422 PropClause: 13676.531 Set: 2208.378 Check: 0.0 Back: 283.062 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 12226927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.206 Prop: 14087.493 PropClause: 13738.898 Set: 2218.481 Check: 0.0 Back: 284.454 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 12286509 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.213 Prop: 14150.056 PropClause: 13799.835 Set: 2228.305 Check: 0.0 Back: 285.872 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 12346758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.222 Prop: 14207.965 PropClause: 13856.089 Set: 2238.383 Check: 0.0 Back: 287.254 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 12407188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.227 Prop: 14269.813 PropClause: 13916.295 Set: 2248.563 Check: 0.0 Back: 288.691 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 12467641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.235 Prop: 14335.792 PropClause: 13980.605 Set: 2258.733 Check: 0.0 Back: 290.082 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 12527870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.243 Prop: 14395.789 PropClause: 14038.951 Set: 2268.736 Check: 0.0 Back: 291.494 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 12588298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.249 Prop: 14457.153 PropClause: 14098.626 Set: 2278.89 Check: 0.0 Back: 292.881 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 12647864 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.257 Prop: 14522.471 PropClause: 14162.31 Set: 2288.909 Check: 0.0 Back: 294.318 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 12708113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.264 Prop: 14581.717 PropClause: 14219.913 Set: 2298.982 Check: 0.0 Back: 295.68 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 12768543 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.272 Prop: 14641.241 PropClause: 14277.776 Set: 2308.933 Check: 0.0 Back: 297.091 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 12828996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.279 Prop: 14701.613 PropClause: 14336.49 Set: 2319.088 Check: 0.0 Back: 298.478 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 12889225 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.288 Prop: 14765.253 PropClause: 14398.486 Set: 2329.235 Check: 0.0 Back: 299.892 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 12949653 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.296 Prop: 14825.062 PropClause: 14456.626 Set: 2339.362 Check: 0.0 Back: 301.278 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 13009219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.303 Prop: 14887.396 PropClause: 14517.337 Set: 2349.065 Check: 0.0 Back: 302.717 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 13069467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.308 Prop: 14949.395 PropClause: 14577.677 Set: 2359.415 Check: 0.0 Back: 304.076 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 13129898 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.314 Prop: 15013.118 PropClause: 14639.76 Set: 2369.436 Check: 0.0 Back: 305.494 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 13190349 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.321 Prop: 15073.001 PropClause: 14698.002 Set: 2379.611 Check: 0.0 Back: 306.896 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 13250578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.33 Prop: 15138.886 PropClause: 14762.221 Set: 2389.706 Check: 0.0 Back: 308.32 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 13311006 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.338 Prop: 15207.133 PropClause: 14828.798 Set: 2399.849 Check: 0.0 Back: 309.712 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 13370572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.346 Prop: 15272.231 PropClause: 14892.225 Set: 2409.72 Check: 0.0 Back: 311.152 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 13430820 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.352 Prop: 15334.133 PropClause: 14952.469 Set: 2420.085 Check: 0.0 Back: 312.551 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 13491251 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.359 Prop: 15390.388 PropClause: 15007.056 Set: 2442.164 Check: 0.0 Back: 313.967 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 13551702 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.365 Prop: 15449.736 PropClause: 15064.761 Set: 2452.298 Check: 0.0 Back: 315.347 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 13611931 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.372 Prop: 15507.107 PropClause: 15120.467 Set: 2462.446 Check: 0.0 Back: 316.747 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 13672359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.378 Prop: 15563.958 PropClause: 15175.661 Set: 2472.465 Check: 0.0 Back: 318.145 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 13731925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.384 Prop: 15623.363 PropClause: 15233.437 Set: 2482.234 Check: 0.0 Back: 319.56 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 13792174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.392 Prop: 15685.075 PropClause: 15293.504 Set: 2492.54 Check: 0.0 Back: 320.952 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 13852604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.399 Prop: 15744.316 PropClause: 15351.096 Set: 2502.493 Check: 0.0 Back: 322.358 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 13913057 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.404 Prop: 15803.061 PropClause: 15408.183 Set: 2512.679 Check: 0.0 Back: 323.735 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 13973286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.411 Prop: 15863.66 PropClause: 15467.138 Set: 2522.419 Check: 0.0 Back: 325.143 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 14033714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.418 Prop: 15920.438 PropClause: 15522.278 Set: 2532.501 Check: 0.0 Back: 326.508 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 14093297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.424 Prop: 15978.105 PropClause: 15578.317 Set: 2542.274 Check: 0.0 Back: 327.917 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 14153546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.43 Prop: 16039.072 PropClause: 15637.636 Set: 2552.549 Check: 0.0 Back: 329.281 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 14213976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.435 Prop: 16096.679 PropClause: 15693.613 Set: 2562.622 Check: 0.0 Back: 330.692 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 14274427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.442 Prop: 16156.894 PropClause: 15752.174 Set: 2572.665 Check: 0.0 Back: 332.075 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 14334656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.449 Prop: 16214.485 PropClause: 15808.092 Set: 2582.825 Check: 0.0 Back: 333.514 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 14395084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.456 Prop: 16271.013 PropClause: 15862.943 Set: 2592.878 Check: 0.0 Back: 334.899 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 14454650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.464 Prop: 16327.686 PropClause: 15917.975 Set: 2602.733 Check: 0.0 Back: 336.348 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 14514899 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.472 Prop: 16385.813 PropClause: 15974.454 Set: 2612.706 Check: 0.0 Back: 337.731 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 14575329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.478 Prop: 16446.352 PropClause: 16033.342 Set: 2622.931 Check: 0.0 Back: 339.139 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 14635782 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.486 Prop: 16511.548 PropClause: 16096.864 Set: 2633.176 Check: 0.0 Back: 340.532 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 14696011 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.492 Prop: 16573.391 PropClause: 16157.047 Set: 2643.267 Check: 0.0 Back: 341.968 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 14756439 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.5 Prop: 16635.152 PropClause: 16217.148 Set: 2653.346 Check: 0.0 Back: 343.359 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 14816022 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.507 Prop: 16698.728 PropClause: 16279.081 Set: 2663.312 Check: 0.0 Back: 344.77 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 14876271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.514 Prop: 16759.225 PropClause: 16337.918 Set: 2673.37 Check: 0.0 Back: 346.146 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 14936701 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.52 Prop: 16819.21 PropClause: 16396.24 Set: 2683.366 Check: 0.0 Back: 347.577 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 14997154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.528 Prop: 16882.601 PropClause: 16457.932 Set: 2693.52 Check: 0.0 Back: 348.989 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 15057383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.534 Prop: 16944.192 PropClause: 16517.843 Set: 2703.539 Check: 0.0 Back: 350.435 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 15117811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.541 Prop: 17007.306 PropClause: 16579.31 Set: 2713.84 Check: 0.0 Back: 351.843 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 15177393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.547 Prop: 17063.086 PropClause: 16633.465 Set: 2723.851 Check: 0.0 Back: 353.276 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 15237642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.553 Prop: 17120.685 PropClause: 16689.39 Set: 2733.829 Check: 0.0 Back: 354.639 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 15298072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.56 Prop: 17178.121 PropClause: 16745.164 Set: 2743.891 Check: 0.0 Back: 356.079 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 15358523 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.567 Prop: 17236.286 PropClause: 16801.656 Set: 2754.122 Check: 0.0 Back: 357.475 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 15418752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.574 Prop: 17293.579 PropClause: 16857.286 Set: 2764.004 Check: 0.0 Back: 358.895 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 15479180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.579 Prop: 17353.121 PropClause: 16915.156 Set: 2774.177 Check: 0.0 Back: 360.286 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 15538746 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.584 Prop: 17414.627 PropClause: 16975.017 Set: 2784.211 Check: 0.0 Back: 361.708 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 15598995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.591 Prop: 17477.713 PropClause: 17036.444 Set: 2794.441 Check: 0.0 Back: 363.066 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 15659425 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.598 Prop: 17537.628 PropClause: 17094.702 Set: 2804.625 Check: 0.0 Back: 364.493 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 15719876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.604 Prop: 17599.015 PropClause: 17154.43 Set: 2815.066 Check: 0.0 Back: 365.895 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 15780105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.611 Prop: 17657.833 PropClause: 17211.594 Set: 2825.253 Check: 0.0 Back: 367.335 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 15840533 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.618 Prop: 17720.281 PropClause: 17272.396 Set: 2835.492 Check: 0.0 Back: 368.714 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 15900099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.623 Prop: 17780.106 PropClause: 17330.6 Set: 2845.266 Check: 0.0 Back: 370.134 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 15960348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.63 Prop: 17838.889 PropClause: 17387.75 Set: 2855.282 Check: 0.0 Back: 371.494 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 16020778 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.637 Prop: 17899.717 PropClause: 17446.937 Set: 2865.491 Check: 0.0 Back: 372.895 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 16081231 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.644 Prop: 17960.021 PropClause: 17505.584 Set: 2875.685 Check: 0.0 Back: 374.299 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 16141460 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.651 Prop: 18019.675 PropClause: 17563.588 Set: 2885.917 Check: 0.0 Back: 375.72 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 16201888 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.657 Prop: 18080.614 PropClause: 17622.879 Set: 2896.049 Check: 0.0 Back: 377.108 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 16261471 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.663 Prop: 18139.645 PropClause: 17680.245 Set: 2906.086 Check: 0.0 Back: 378.544 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 16321719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.671 Prop: 18199.931 PropClause: 17738.885 Set: 2916.362 Check: 0.0 Back: 379.907 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 16382150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.677 Prop: 18259.88 PropClause: 17797.196 Set: 2926.36 Check: 0.0 Back: 381.311 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 16442603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.684 Prop: 18320.561 PropClause: 17856.223 Set: 2936.605 Check: 0.0 Back: 382.702 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 16502832 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.691 Prop: 18381.779 PropClause: 17915.79 Set: 2946.747 Check: 0.0 Back: 384.125 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 16563260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.697 Prop: 18440.931 PropClause: 17973.279 Set: 2956.793 Check: 0.0 Back: 385.509 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 16622826 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.704 Prop: 18500.657 PropClause: 18031.392 Set: 2966.575 Check: 0.0 Back: 386.934 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 16683074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.71 Prop: 18563.595 PropClause: 18092.684 Set: 2977.014 Check: 0.0 Back: 388.308 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 16743505 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.717 Prop: 18624.502 PropClause: 18151.923 Set: 2987.183 Check: 0.0 Back: 389.735 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 16803958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.725 Prop: 18687.293 PropClause: 18213.038 Set: 2997.775 Check: 0.0 Back: 391.137 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 16864187 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.731 Prop: 18744.277 PropClause: 18268.351 Set: 3007.742 Check: 0.0 Back: 392.555 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 16924615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.737 Prop: 18799.945 PropClause: 18322.347 Set: 3017.831 Check: 0.0 Back: 393.947 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 16984198 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.744 Prop: 18855.791 PropClause: 18376.543 Set: 3027.753 Check: 0.0 Back: 395.371 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 17044446 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.751 Prop: 18911.495 PropClause: 18430.614 Set: 3037.895 Check: 0.0 Back: 396.732 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 17104877 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.758 Prop: 18967.515 PropClause: 18484.989 Set: 3047.893 Check: 0.0 Back: 398.126 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 17165330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.765 Prop: 19023.245 PropClause: 18539.046 Set: 3057.952 Check: 0.0 Back: 399.525 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 17225559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.772 Prop: 19081.492 PropClause: 18595.658 Set: 3067.883 Check: 0.0 Back: 400.936 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 17285987 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.779 Prop: 19139.851 PropClause: 18652.312 Set: 3077.927 Check: 0.0 Back: 402.333 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 17345553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.785 Prop: 19198.534 PropClause: 18709.369 Set: 3087.821 Check: 0.0 Back: 403.755 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 17405802 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.792 Prop: 19257.497 PropClause: 18766.709 Set: 3098.006 Check: 0.0 Back: 405.126 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 17466232 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.796 Prop: 19313.168 PropClause: 18820.746 Set: 3107.876 Check: 0.0 Back: 406.525 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 17525799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.802 Prop: 19371.687 PropClause: 18877.658 Set: 3117.751 Check: 0.0 Back: 407.908 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 17586227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.808 Prop: 19431.863 PropClause: 18936.192 Set: 3127.891 Check: 0.0 Back: 409.32 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 17646478 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.814 Prop: 19488.457 PropClause: 18991.133 Set: 3138.01 Check: 0.0 Back: 410.709 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 17706928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.819 Prop: 19543.557 PropClause: 19044.576 Set: 3147.796 Check: 0.0 Back: 412.127 INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 17767356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.825 Prop: 19600.338 PropClause: 19099.706 Set: 3157.71 Check: 0.0 Back: 413.512 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 17827587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.831 Prop: 19654.337 PropClause: 19152.067 Set: 3167.717 Check: 0.0 Back: 414.94 INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 17887154 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.837 Prop: 19709.755 PropClause: 19205.865 Set: 3177.584 Check: 0.0 Back: 416.318 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 17947582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.843 Prop: 19764.925 PropClause: 19259.385 Set: 3187.47 Check: 0.0 Back: 417.709 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 18007833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.849 Prop: 19821.54 PropClause: 19314.339 Set: 3197.622 Check: 0.0 Back: 419.102 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 18068283 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.856 Prop: 19880.626 PropClause: 19371.774 Set: 3207.861 Check: 0.0 Back: 420.505 INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 18128713 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.863 Prop: 19940.63 PropClause: 19430.127 Set: 3218.043 Check: 0.0 Back: 421.907 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 18188944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.87 Prop: 20003.164 PropClause: 19491.006 Set: 3228.268 Check: 0.0 Back: 423.321 INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 18249395 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.876 Prop: 20063.964 PropClause: 19550.137 Set: 3238.499 Check: 0.0 Back: 424.694 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 18309624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.882 Prop: 20122.325 PropClause: 19606.849 Set: 3248.456 Check: 0.0 Back: 426.115 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 18370052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.888 Prop: 20182.281 PropClause: 19665.145 Set: 3258.561 Check: 0.0 Back: 427.488 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 18429618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.895 Prop: 20243.69 PropClause: 19724.911 Set: 3268.564 Check: 0.0 Back: 428.9 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 18489869 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.903 Prop: 20306.067 PropClause: 19785.64 Set: 3278.867 Check: 0.0 Back: 430.273 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 18550297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.911 Prop: 20366.32 PropClause: 19844.238 Set: 3289.114 Check: 0.0 Back: 431.696 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 18610748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.918 Prop: 20431.977 PropClause: 19908.237 Set: 3299.979 Check: 0.0 Back: 433.09 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 18670977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.926 Prop: 20491.425 PropClause: 19966.045 Set: 3310.054 Check: 0.0 Back: 434.527 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 18731405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.931 Prop: 20552.368 PropClause: 20025.348 Set: 3320.257 Check: 0.0 Back: 435.929 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 18790988 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.939 Prop: 20612.903 PropClause: 20084.214 Set: 3330.397 Check: 0.0 Back: 437.341 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 18851236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.946 Prop: 20671.091 PropClause: 20140.743 Set: 3340.804 Check: 0.0 Back: 438.729 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 18911667 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.952 Prop: 20727.785 PropClause: 20195.786 Set: 3351.047 Check: 0.0 Back: 440.146 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 18972120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.957 Prop: 20787.645 PropClause: 20253.986 Set: 3361.368 Check: 0.0 Back: 441.534 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 19032349 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.964 Prop: 20846.793 PropClause: 20311.499 Set: 3371.339 Check: 0.0 Back: 442.971 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 19092777 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.969 Prop: 20907.492 PropClause: 20370.56 Set: 3381.676 Check: 0.0 Back: 444.359 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 19152359 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.976 Prop: 20964.31 PropClause: 20425.752 Set: 3391.566 Check: 0.0 Back: 445.771 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 19212607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.981 Prop: 21022.223 PropClause: 20482.042 Set: 3401.757 Check: 0.0 Back: 447.147 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 19273038 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.988 Prop: 21082.204 PropClause: 20540.365 Set: 3412.13 Check: 0.0 Back: 448.552 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 19333491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.994 Prop: 21146.776 PropClause: 20603.276 Set: 3422.534 Check: 0.0 Back: 449.946 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 19393720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.001 Prop: 21205.932 PropClause: 20660.769 Set: 3432.732 Check: 0.0 Back: 451.36 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 19454148 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.008 Prop: 21264.285 PropClause: 20717.482 Set: 3442.886 Check: 0.0 Back: 452.738 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 19513729 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.014 Prop: 21322.993 PropClause: 20774.576 Set: 3452.615 Check: 0.0 Back: 454.154 INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 19573977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.021 Prop: 21379.502 PropClause: 20829.452 Set: 3462.647 Check: 0.0 Back: 455.519 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 19634408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.027 Prop: 21437.297 PropClause: 20885.593 Set: 3472.802 Check: 0.0 Back: 456.926 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 19694859 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.033 Prop: 21495.064 PropClause: 20941.711 Set: 3482.886 Check: 0.0 Back: 458.311 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 19755088 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.041 Prop: 21555.243 PropClause: 21000.229 Set: 3493.125 Check: 0.0 Back: 459.739 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 19815516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.047 Prop: 21618.818 PropClause: 21062.114 Set: 3503.611 Check: 0.0 Back: 461.131 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 19875082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.055 Prop: 21677.664 PropClause: 21119.338 Set: 3513.531 Check: 0.0 Back: 462.557 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 19935330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.061 Prop: 21738.328 PropClause: 21178.367 Set: 3523.732 Check: 0.0 Back: 463.928 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 19995761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.067 Prop: 21800.189 PropClause: 21238.595 Set: 3534.081 Check: 0.0 Back: 465.323 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 20056212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.073 Prop: 21858.931 PropClause: 21295.704 Set: 3544.305 Check: 0.0 Back: 466.73 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 20116441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.079 Prop: 21916.459 PropClause: 21351.583 Set: 3554.42 Check: 0.0 Back: 468.164 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 20176869 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.086 Prop: 21976.828 PropClause: 21410.295 Set: 3564.694 Check: 0.0 Back: 469.544 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 20236435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.091 Prop: 22040.25 PropClause: 21472.062 Set: 3574.795 Check: 0.0 Back: 470.966 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 20296684 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.097 Prop: 22100.371 PropClause: 21530.541 Set: 3585.049 Check: 0.0 Back: 472.339 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 20357114 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.104 Prop: 22159.607 PropClause: 21588.121 Set: 3595.28 Check: 0.0 Back: 473.737 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 20416681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.111 Prop: 22216.589 PropClause: 21643.466 Set: 3605.147 Check: 0.0 Back: 475.112 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 20477109 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.117 Prop: 22272.199 PropClause: 21697.386 Set: 3615.44 Check: 0.0 Back: 476.511 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 20537360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.125 Prop: 22329.579 PropClause: 21753.124 Set: 3625.718 Check: 0.0 Back: 477.917 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 20596942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.133 Prop: 22384.996 PropClause: 21806.885 Set: 3635.684 Check: 0.0 Back: 479.344 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 20657192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.139 Prop: 22440.469 PropClause: 21860.699 Set: 3645.774 Check: 0.0 Back: 480.725 INFO - Atoms: 60250/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 20717621 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.146 Prop: 22496.239 PropClause: 21914.807 Set: 3655.809 Check: 0.0 Back: 482.13 INFO - Atoms: 60429/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 20778072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.153 Prop: 22553.707 PropClause: 21970.594 Set: 3665.895 Check: 0.0 Back: 483.504 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 20838301 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.16 Prop: 22613.476 PropClause: 22028.683 Set: 3686.545 Check: 0.0 Back: 484.942 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 20898731 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.166 Prop: 22673.372 PropClause: 22086.913 Set: 3696.596 Check: 0.0 Back: 486.323 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 20958297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.171 Prop: 22728.186 PropClause: 22140.079 Set: 3706.316 Check: 0.0 Back: 487.74 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 21018546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.177 Prop: 22783.488 PropClause: 22193.711 Set: 3716.581 Check: 0.0 Back: 489.097 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 21078976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.182 Prop: 22842.717 PropClause: 22251.277 Set: 3726.745 Check: 0.0 Back: 490.506 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 21139427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.19 Prop: 22902.874 PropClause: 22309.745 Set: 3737.001 Check: 0.0 Back: 491.874 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 21199656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.197 Prop: 22959.004 PropClause: 22364.215 Set: 3746.758 Check: 0.0 Back: 493.285 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 21260084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.203 Prop: 23015.673 PropClause: 22419.231 Set: 3756.724 Check: 0.0 Back: 494.654 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 21319650 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.209 Prop: 23072.223 PropClause: 22474.151 Set: 3766.484 Check: 0.0 Back: 496.055 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 21379899 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.215 Prop: 23127.294 PropClause: 22527.571 Set: 3776.699 Check: 0.0 Back: 497.426 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 21440329 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.223 Prop: 23183.518 PropClause: 22582.149 Set: 3786.902 Check: 0.0 Back: 498.844 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 21500780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.232 Prop: 23239.213 PropClause: 22636.209 Set: 3796.978 Check: 0.0 Back: 500.23 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 21561009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.24 Prop: 23296.629 PropClause: 22691.988 Set: 3806.981 Check: 0.0 Back: 501.631 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 21621437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.246 Prop: 23355.527 PropClause: 22749.244 Set: 3817.07 Check: 0.0 Back: 502.999 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 21681020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.253 Prop: 23413.594 PropClause: 22805.695 Set: 3827.035 Check: 0.0 Back: 504.416 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 21741269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.26 Prop: 23471.406 PropClause: 22861.859 Set: 3837.418 Check: 0.0 Back: 505.784 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 21801699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.267 Prop: 23530.786 PropClause: 22919.581 Set: 3847.68 Check: 0.0 Back: 507.189 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 21862150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.275 Prop: 23587.501 PropClause: 22974.643 Set: 3858.029 Check: 0.0 Back: 508.571 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 21922379 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.282 Prop: 23644.844 PropClause: 23030.342 Set: 3868.061 Check: 0.0 Back: 510.0 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 21982807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.291 Prop: 23705.184 PropClause: 23089.039 Set: 3878.318 Check: 0.0 Back: 511.386 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 22042373 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.298 Prop: 23764.352 PropClause: 23146.59 Set: 3888.41 Check: 0.0 Back: 512.798 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 22102622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.304 Prop: 23824.458 PropClause: 23205.047 Set: 3898.607 Check: 0.0 Back: 514.154 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 22163052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.311 Prop: 23882.507 PropClause: 23261.44 Set: 3908.809 Check: 0.0 Back: 515.57 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 22223503 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.318 Prop: 23940.374 PropClause: 23317.643 Set: 3918.999 Check: 0.0 Back: 516.995 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 22283732 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.324 Prop: 23996.934 PropClause: 23372.546 Set: 3929.177 Check: 0.0 Back: 518.416 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 22344160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.33 Prop: 24055.83 PropClause: 23429.779 Set: 3939.171 Check: 0.0 Back: 519.802 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 22403743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.338 Prop: 24112.692 PropClause: 23485.006 Set: 3948.937 Check: 0.0 Back: 521.231 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 22463992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.344 Prop: 24175.168 PropClause: 23545.793 Set: 3959.352 Check: 0.0 Back: 522.592 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 22524422 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.35 Prop: 24234.124 PropClause: 23603.087 Set: 3969.53 Check: 0.0 Back: 524.03 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 22584873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.358 Prop: 24295.361 PropClause: 23662.658 Set: 3979.884 Check: 0.0 Back: 525.412 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 22645102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.363 Prop: 24353.749 PropClause: 23719.369 Set: 3990.12 Check: 0.0 Back: 526.831 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 22705530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.37 Prop: 24415.428 PropClause: 23779.385 Set: 4000.368 Check: 0.0 Back: 528.216 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 22765112 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.379 Prop: 24473.482 PropClause: 23835.799 Set: 4010.355 Check: 0.0 Back: 529.629 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 22825361 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.386 Prop: 24531.278 PropClause: 23891.959 Set: 4020.664 Check: 0.0 Back: 531.011 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 22885791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.393 Prop: 24592.547 PropClause: 23951.583 Set: 4030.842 Check: 0.0 Back: 532.42 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 22946242 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.4 Prop: 24654.863 PropClause: 24012.256 Set: 4041.121 Check: 0.0 Back: 533.833 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 23006471 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.407 Prop: 24714.042 PropClause: 24069.779 Set: 4051.25 Check: 0.0 Back: 535.241 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 23066899 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.412 Prop: 24771.878 PropClause: 24125.954 Set: 4061.656 Check: 0.0 Back: 536.634 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 23126480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.42 Prop: 24828.572 PropClause: 24181.019 Set: 4071.797 Check: 0.0 Back: 538.049 INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 23186728 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.426 Prop: 24887.037 PropClause: 24237.845 Set: 4082.064 Check: 0.0 Back: 539.421 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 23247159 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.433 Prop: 24944.118 PropClause: 24293.288 Set: 4092.335 Check: 0.0 Back: 540.833 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 23307610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.44 Prop: 25002.911 PropClause: 24350.434 Set: 4102.737 Check: 0.0 Back: 542.217 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 23367839 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.446 Prop: 25060.0 PropClause: 24405.881 Set: 4112.867 Check: 0.0 Back: 543.634 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 23428267 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.453 Prop: 25119.525 PropClause: 24463.754 Set: 4123.3 Check: 0.0 Back: 545.04 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 23487833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.461 Prop: 25178.928 PropClause: 24521.501 Set: 4133.408 Check: 0.0 Back: 546.481 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 23548082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.468 Prop: 25239.468 PropClause: 24580.4 Set: 4143.892 Check: 0.0 Back: 547.854 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 23608512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.475 Prop: 25297.57 PropClause: 24636.846 Set: 4154.088 Check: 0.0 Back: 549.274 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 23668965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.482 Prop: 25357.469 PropClause: 24695.086 Set: 4164.497 Check: 0.0 Back: 550.662 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 23729194 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.489 Prop: 25416.766 PropClause: 24752.707 Set: 4174.581 Check: 0.0 Back: 552.09 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 23789622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.496 Prop: 25479.462 PropClause: 24813.71 Set: 4184.798 Check: 0.0 Back: 553.463 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 23849205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.503 Prop: 25538.373 PropClause: 24870.972 Set: 4195.027 Check: 0.0 Back: 554.902 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 23909454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.509 Prop: 25597.728 PropClause: 24928.661 Set: 4205.651 Check: 0.0 Back: 556.275 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 23969884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.515 Prop: 25657.82 PropClause: 24987.073 Set: 4234.317 Check: 0.0 Back: 557.697 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 24030337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.523 Prop: 25719.999 PropClause: 25047.587 Set: 4244.521 Check: 0.0 Back: 559.076 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 24090566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.529 Prop: 25775.733 PropClause: 25101.658 Set: 4254.734 Check: 0.0 Back: 560.513 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 24150994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.536 Prop: 25830.908 PropClause: 25155.189 Set: 4265.021 Check: 0.0 Back: 561.905 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 24210576 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.543 Prop: 25886.404 PropClause: 25209.036 Set: 4274.906 Check: 0.0 Back: 563.312 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 24270824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.551 Prop: 25942.47 PropClause: 25263.428 Set: 4285.155 Check: 0.0 Back: 564.69 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 24331255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.558 Prop: 26000.056 PropClause: 25319.315 Set: 4295.688 Check: 0.0 Back: 566.123 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 24391706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.565 Prop: 26057.579 PropClause: 25375.152 Set: 4305.816 Check: 0.0 Back: 567.532 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 24451935 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.573 Prop: 26115.972 PropClause: 25431.878 Set: 4315.952 Check: 0.0 Back: 568.945 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 24512363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.58 Prop: 26174.172 PropClause: 25488.404 Set: 4326.084 Check: 0.0 Back: 570.33 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 24571929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.587 Prop: 26230.027 PropClause: 25542.618 Set: 4335.957 Check: 0.0 Back: 571.731 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 24632178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.595 Prop: 26285.057 PropClause: 25595.974 Set: 4346.266 Check: 0.0 Back: 573.101 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 24692608 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.602 Prop: 26342.381 PropClause: 25651.619 Set: 4356.498 Check: 0.0 Back: 574.516 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 24753059 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.607 Prop: 26401.109 PropClause: 25708.658 Set: 4366.867 Check: 0.0 Back: 575.913 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 24813288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.613 Prop: 26458.696 PropClause: 25764.592 Set: 4376.816 Check: 0.0 Back: 577.339 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 24873716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.619 Prop: 26517.014 PropClause: 25821.242 Set: 4387.059 Check: 0.0 Back: 578.713 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 24933298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.625 Prop: 26571.942 PropClause: 25874.533 Set: 4396.85 Check: 0.0 Back: 580.132 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 24993547 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.633 Prop: 26630.264 PropClause: 25931.203 Set: 4407.105 Check: 0.0 Back: 581.492 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 25053977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.638 Prop: 26686.165 PropClause: 25985.441 Set: 4417.046 Check: 0.0 Back: 582.896 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 25114430 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.645 Prop: 26741.882 PropClause: 26039.51 Set: 4427.137 Check: 0.0 Back: 584.275 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 25174659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.652 Prop: 26795.777 PropClause: 26091.758 Set: 4437.274 Check: 0.0 Back: 585.695 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 25235087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.658 Prop: 26856.74 PropClause: 26151.038 Set: 4447.756 Check: 0.0 Back: 587.079 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 25294668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.665 Prop: 26919.236 PropClause: 26211.897 Set: 4457.798 Check: 0.0 Back: 588.497 INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 25354916 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.671 Prop: 26979.02 PropClause: 26270.039 Set: 4468.064 Check: 0.0 Back: 589.876 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 25415347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.678 Prop: 27037.442 PropClause: 26326.805 Set: 4478.209 Check: 0.0 Back: 591.271 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 25475798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.692 Prop: 27096.531 PropClause: 26384.216 Set: 4488.452 Check: 0.0 Back: 592.645 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 25536027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.7 Prop: 27155.16 PropClause: 26441.179 Set: 4498.606 Check: 0.0 Back: 594.052 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 25596455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.704 Prop: 27213.842 PropClause: 26498.173 Set: 4508.818 Check: 0.0 Back: 595.44 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 25656037 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.709 Prop: 27272.735 PropClause: 26555.432 Set: 4518.9 Check: 0.0 Back: 596.848 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 25716285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.716 Prop: 27334.008 PropClause: 26615.059 Set: 4529.301 Check: 0.0 Back: 598.206 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 25776716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.722 Prop: 27392.599 PropClause: 26672.008 Set: 4539.601 Check: 0.0 Back: 599.614 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 25837167 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.729 Prop: 27452.21 PropClause: 26729.981 Set: 4549.831 Check: 0.0 Back: 601.003 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 25897396 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.735 Prop: 27508.863 PropClause: 26785.001 Set: 4560.007 Check: 0.0 Back: 602.403 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 25957824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.74 Prop: 27566.407 PropClause: 26840.888 Set: 4570.249 Check: 0.0 Back: 603.786 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 26017405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.746 Prop: 27625.189 PropClause: 26898.018 Set: 4580.212 Check: 0.0 Back: 605.234 INFO - Atoms: 59581/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 26077654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.754 Prop: 27688.415 PropClause: 26959.579 Set: 4590.612 Check: 0.0 Back: 606.603 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 26138084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.76 Prop: 27745.937 PropClause: 27015.432 Set: 4600.728 Check: 0.0 Back: 608.006 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 26197651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.767 Prop: 27806.094 PropClause: 27073.946 Set: 4611.01 Check: 0.0 Back: 609.392 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 26258079 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.775 Prop: 27867.565 PropClause: 27133.751 Set: 4621.642 Check: 0.0 Back: 610.81 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 26318330 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.782 Prop: 27928.918 PropClause: 27193.434 Set: 4631.868 Check: 0.0 Back: 612.231 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 26378795 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.789 Prop: 27988.607 PropClause: 27251.447 Set: 4642.256 Check: 0.0 Back: 613.645 INFO - Atoms: 60465/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 26439223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.795 Prop: 28047.097 PropClause: 27308.263 Set: 4652.454 Check: 0.0 Back: 615.04 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 26499454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.802 Prop: 28105.716 PropClause: 27365.245 Set: 4662.488 Check: 0.0 Back: 616.45 INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 26559021 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.808 Prop: 28163.999 PropClause: 27421.877 Set: 4672.55 Check: 0.0 Back: 617.842 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 26619449 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.814 Prop: 28224.24 PropClause: 27480.483 Set: 4682.996 Check: 0.0 Back: 619.217 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 26679700 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.819 Prop: 28283.915 PropClause: 27538.514 Set: 4693.272 Check: 0.0 Back: 620.602 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 26740150 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.826 Prop: 28343.442 PropClause: 27596.407 Set: 4703.432 Check: 0.0 Back: 621.997 INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 26800580 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.832 Prop: 28403.853 PropClause: 27655.167 Set: 4713.604 Check: 0.0 Back: 623.375 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 26860811 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.838 Prop: 28461.578 PropClause: 27711.248 Set: 4723.934 Check: 0.0 Back: 624.787 INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 26921262 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.844 Prop: 28522.228 PropClause: 27770.249 Set: 4734.256 Check: 0.0 Back: 626.173 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 26981491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.851 Prop: 28581.533 PropClause: 27827.926 Set: 4744.335 Check: 0.0 Back: 627.581 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 27041919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.857 Prop: 28640.343 PropClause: 27885.092 Set: 4754.614 Check: 0.0 Back: 628.965 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 27101501 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.864 Prop: 28699.047 PropClause: 27942.175 Set: 4764.628 Check: 0.0 Back: 630.365 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 27161752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.87 Prop: 28758.593 PropClause: 28000.047 Set: 4774.869 Check: 0.0 Back: 631.736 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 27222180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.876 Prop: 28818.252 PropClause: 28058.045 Set: 4785.223 Check: 0.0 Back: 633.132 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 27282631 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.882 Prop: 28879.725 PropClause: 28117.86 Set: 4795.657 Check: 0.0 Back: 634.534 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 27342860 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.889 Prop: 28939.542 PropClause: 28176.031 Set: 4806.011 Check: 0.0 Back: 635.957 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 27403288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.895 Prop: 28998.721 PropClause: 28233.572 Set: 4816.373 Check: 0.0 Back: 637.325 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 27462854 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.901 Prop: 29056.645 PropClause: 28289.886 Set: 4826.314 Check: 0.0 Back: 638.745 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 27523103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.907 Prop: 29115.745 PropClause: 28347.363 Set: 4836.607 Check: 0.0 Back: 640.1 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 27583533 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.913 Prop: 29174.463 PropClause: 28404.448 Set: 4846.754 Check: 0.0 Back: 641.503 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 27643984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.918 Prop: 29234.178 PropClause: 28462.53 Set: 4856.917 Check: 0.0 Back: 642.894 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 27704213 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.926 Prop: 29301.1 PropClause: 28527.811 Set: 4866.967 Check: 0.0 Back: 644.32 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 27764641 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.933 Prop: 29357.842 PropClause: 28582.906 Set: 4887.191 Check: 0.0 Back: 645.701 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 27824223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.939 Prop: 29412.727 PropClause: 28636.152 Set: 4897.179 Check: 0.0 Back: 647.118 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 27884472 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.945 Prop: 29468.812 PropClause: 28690.585 Set: 4907.486 Check: 0.0 Back: 648.475 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 27944902 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.95 Prop: 29525.628 PropClause: 28745.747 Set: 4917.567 Check: 0.0 Back: 649.866 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 28005355 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.957 Prop: 29582.097 PropClause: 28800.554 Set: 4927.806 Check: 0.0 Back: 651.238 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 28065584 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.963 Prop: 29638.375 PropClause: 28855.208 Set: 4937.814 Check: 0.0 Back: 652.637 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 28126012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.968 Prop: 29693.135 PropClause: 28908.335 Set: 4947.838 Check: 0.0 Back: 654.012 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 28185578 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.973 Prop: 29751.037 PropClause: 28964.611 Set: 4958.005 Check: 0.0 Back: 655.417 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 28245827 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.98 Prop: 29808.668 PropClause: 29020.594 Set: 4968.221 Check: 0.0 Back: 656.781 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 28306257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.986 Prop: 29864.921 PropClause: 29075.202 Set: 4978.535 Check: 0.0 Back: 658.182 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 28366710 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.993 Prop: 29921.13 PropClause: 29129.776 Set: 4988.697 Check: 0.0 Back: 659.562 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 28426939 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.999 Prop: 29977.765 PropClause: 29184.782 Set: 4998.734 Check: 0.0 Back: 660.973 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 28487367 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.004 Prop: 30035.168 PropClause: 29240.558 Set: 5008.973 Check: 0.0 Back: 662.342 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 28546950 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.011 Prop: 30093.42 PropClause: 29297.182 Set: 5019.24 Check: 0.0 Back: 663.725 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 28607198 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.018 Prop: 30150.855 PropClause: 29352.97 Set: 5029.623 Check: 0.0 Back: 665.092 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 28667629 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.024 Prop: 30209.673 PropClause: 29410.143 Set: 5040.146 Check: 0.0 Back: 666.494 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 28728080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.03 Prop: 30265.41 PropClause: 29464.249 Set: 5050.297 Check: 0.0 Back: 667.882 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 28788309 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.038 Prop: 30320.503 PropClause: 29517.71 Set: 5060.375 Check: 0.0 Back: 669.282 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 28848737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.045 Prop: 30376.793 PropClause: 29572.335 Set: 5070.466 Check: 0.0 Back: 670.65 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 28908319 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.051 Prop: 30432.417 PropClause: 29626.339 Set: 5080.419 Check: 0.0 Back: 672.047 INFO - Atoms: 59582/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 451 Props: 28968567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.057 Prop: 30487.938 PropClause: 29680.216 Set: 5090.633 Check: 0.0 Back: 673.405 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 452 Props: 29028998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.063 Prop: 30543.023 PropClause: 29733.661 Set: 5100.807 Check: 0.0 Back: 674.805 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 453 Props: 29089451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.069 Prop: 30600.857 PropClause: 29789.831 Set: 5111.217 Check: 0.0 Back: 676.197 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 454 Props: 29149680 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.076 Prop: 30660.324 PropClause: 29847.674 Set: 5121.524 Check: 0.0 Back: 677.603 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 455 Props: 29210108 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.082 Prop: 30720.889 PropClause: 29906.611 Set: 5131.67 Check: 0.0 Back: 678.993 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 456 Props: 29269674 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.089 Prop: 30779.176 PropClause: 29963.284 Set: 5141.63 Check: 0.0 Back: 680.402 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 457 Props: 29329922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.097 Prop: 30838.912 PropClause: 30021.369 Set: 5151.91 Check: 0.0 Back: 681.761 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 458 Props: 29390353 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.103 Prop: 30897.559 PropClause: 30078.349 Set: 5162.206 Check: 0.0 Back: 683.151 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 459 Props: 29450806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.109 Prop: 30959.977 PropClause: 30139.091 Set: 5172.629 Check: 0.0 Back: 684.537 INFO - Atoms: 60453/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 460 Props: 29511035 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.115 Prop: 31020.159 PropClause: 30197.608 Set: 5182.798 Check: 0.0 Back: 685.956 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 461 Props: 29571463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.123 Prop: 31082.259 PropClause: 30258.037 Set: 5193.236 Check: 0.0 Back: 687.347 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 462 Props: 29631046 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.129 Prop: 31141.714 PropClause: 30315.867 Set: 5203.459 Check: 0.0 Back: 688.759 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 463 Props: 29691294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.135 Prop: 31199.582 PropClause: 30372.097 Set: 5213.798 Check: 0.0 Back: 690.131 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 464 Props: 29751725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.142 Prop: 31258.794 PropClause: 30429.671 Set: 5224.27 Check: 0.0 Back: 691.529 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 465 Props: 29812176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.15 Prop: 31318.881 PropClause: 30488.105 Set: 5234.702 Check: 0.0 Back: 692.915 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 466 Props: 29872405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.156 Prop: 31378.296 PropClause: 30545.874 Set: 5244.843 Check: 0.0 Back: 694.331 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 467 Props: 29932833 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.161 Prop: 31437.594 PropClause: 30603.521 Set: 5255.175 Check: 0.0 Back: 695.712 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 468 Props: 29992399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.169 Prop: 31496.848 PropClause: 30661.116 Set: 5265.203 Check: 0.0 Back: 697.126 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 469 Props: 30052648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.175 Prop: 31555.894 PropClause: 30718.529 Set: 5275.461 Check: 0.0 Back: 698.496 INFO - Atoms: 60249/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 470 Props: 30113078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.18 Prop: 31615.838 PropClause: 30776.844 Set: 5285.808 Check: 0.0 Back: 699.898 INFO - Atoms: 60430/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 471 Props: 30173529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.187 Prop: 31676.341 PropClause: 30835.701 Set: 5296.119 Check: 0.0 Back: 701.317 INFO - Atoms: 60451/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 472 Props: 30233758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.193 Prop: 31734.809 PropClause: 30892.527 Set: 5306.238 Check: 0.0 Back: 702.709 INFO - Atoms: 60229/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 473 Props: 30294186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.2 Prop: 31793.948 PropClause: 30950.018 Set: 5316.587 Check: 0.0 Back: 704.123 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 474 Props: 30353752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.207 Prop: 31854.115 PropClause: 31008.516 Set: 5327.002 Check: 0.0 Back: 705.55 INFO - Atoms: 59566/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 475 Props: 30414000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.214 Prop: 31915.439 PropClause: 31068.188 Set: 5337.407 Check: 0.0 Back: 706.95 INFO - Atoms: 60248/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 476 Props: 30474431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.222 Prop: 31975.163 PropClause: 31126.265 Set: 5347.768 Check: 0.0 Back: 708.351 INFO - Atoms: 60431/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 477 Props: 30533998 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.228 Prop: 32035.899 PropClause: 31185.384 Set: 5357.787 Check: 0.0 Back: 709.728 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 478 Props: 30594426 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.234 Prop: 32096.773 PropClause: 31244.618 Set: 5368.207 Check: 0.0 Back: 711.115 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 479 Props: 30654677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.24 Prop: 32157.301 PropClause: 31303.51 Set: 5378.455 Check: 0.0 Back: 712.51 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 480 Props: 30715127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.247 Prop: 32215.607 PropClause: 31360.176 Set: 5388.746 Check: 0.0 Back: 713.919 INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 481 Props: 30775554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.252 Prop: 32276.758 PropClause: 31419.679 Set: 5399.223 Check: 0.0 Back: 715.306 INFO - Atoms: 60427/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 482 Props: 30835785 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.257 Prop: 32338.017 PropClause: 31479.293 Set: 5409.503 Check: 0.0 Back: 716.714 INFO - Atoms: 60231/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 483 Props: 30895352 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.264 Prop: 32399.226 PropClause: 31538.873 Set: 5419.746 Check: 0.0 Back: 718.099 INFO - Atoms: 59567/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 484 Props: 30955780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.27 Prop: 32460.622 PropClause: 31598.612 Set: 5430.187 Check: 0.0 Back: 719.491 INFO - Atoms: 60428/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 485 Props: 31016031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.275 Prop: 32522.345 PropClause: 31658.694 Set: 5440.749 Check: 0.0 Back: 720.879 INFO - Atoms: 60251/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 486 Props: 31076481 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.283 Prop: 32585.013 PropClause: 31719.646 Set: 5451.122 Check: 0.0 Back: 722.284 INFO - Atoms: 60450/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 487 Props: 31136815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.291 Prop: 32648.733 PropClause: 31781.683 Set: 5461.554 Check: 0.0 Back: 723.683 INFO - Atoms: 60334/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 488 Props: 31197045 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.297 Prop: 32710.05 PropClause: 31841.34 Set: 5471.868 Check: 0.0 Back: 725.091 INFO - Atoms: 60230/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 489 Props: 31257392 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.303 Prop: 32770.547 PropClause: 31900.191 Set: 5482.199 Check: 0.0 Back: 726.484 INFO - Atoms: 60347/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 490 Props: 31317516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.308 Prop: 32830.593 PropClause: 31958.585 Set: 5492.51 Check: 0.0 Back: 727.897 INFO - Atoms: 60124/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 491 Props: 31377744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.314 Prop: 32892.94 PropClause: 32019.288 Set: 5514.892 Check: 0.0 Back: 729.29 INFO - Atoms: 60228/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 492 Props: 31437327 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.32 Prop: 32954.427 PropClause: 32079.148 Set: 5525.131 Check: 0.0 Back: 730.707 INFO - Atoms: 59583/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 493 Props: 31497345 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.326 Prop: 33014.353 PropClause: 32137.438 Set: 5535.462 Check: 0.0 Back: 732.074 INFO - Atoms: 60018/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 494 Props: 31557364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.332 Prop: 33074.314 PropClause: 32195.757 Set: 5545.753 Check: 0.0 Back: 733.474 INFO - Atoms: 60019/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 495 Props: 31617385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.338 Prop: 33135.151 PropClause: 32254.956 Set: 5556.09 Check: 0.0 Back: 734.854 INFO - Atoms: 60021/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 496 Props: 31677180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.343 Prop: 33193.89 PropClause: 32312.053 Set: 5566.301 Check: 0.0 Back: 736.256 INFO - Atoms: 59795/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 497 Props: 31736975 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.479 Prop: 33250.511 PropClause: 32367.043 Set: 5576.381 Check: 0.0 Back: 737.632 INFO - Atoms: 59795/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 498 Props: 31796522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.485 Prop: 33306.53 PropClause: 32421.442 Set: 5586.452 Check: 0.0 Back: 739.017 INFO - Atoms: 59547/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 499 Props: 31855405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.49 Prop: 33364.156 PropClause: 32477.458 Set: 5596.199 Check: 0.0 Back: 740.394 INFO - Atoms: 58883/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 500 Props: 31914954 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.496 Prop: 33420.799 PropClause: 32532.45 Set: 5606.194 Check: 0.0 Back: 741.774 INFO - Atoms: 59549/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 75467 Tprops: 19390 Decides: 85080 RSplits: 0 INFO - Times: Expl: 400.723 Prop: 78174.738 PropClause: 35.712 Set: 15819.995 Check: 368.226 Back: 434.421 INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158 INFO - CCTimes: iE 888645 eq 53410526 cc 168890035 setRep 98403906 INFO - Merges: 659361, cc:1243210 INFO - BVTimes: BB 300974639 BB_DPLL 70214231790 Graph 2099850 INFO - BitBlastingClauses: 675970 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 501 Props: 31974721 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.503 Prop: 33479.311 PropClause: 32589.301 Set: 5638.291 Check: 0.0 Back: 743.138 INFO - Atoms: 59767/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 502 Props: 32033506 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.617 Prop: 33538.678 PropClause: 32647.051 Set: 5654.791 Check: 0.0 Back: 744.537 INFO - Atoms: 58785/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 503 Props: 32092291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.77 Prop: 33593.44 PropClause: 32700.196 Set: 5670.012 Check: 0.0 Back: 745.883 INFO - Atoms: 58785/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 504 Props: 32151838 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.779 Prop: 33650.852 PropClause: 32755.971 Set: 5685.62 Check: 0.0 Back: 747.25 INFO - Atoms: 59547/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 505 Props: 32211585 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.792 Prop: 33709.089 PropClause: 32812.541 Set: 5696.207 Check: 0.0 Back: 748.617 INFO - Atoms: 59747/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 506 Props: 32271371 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.804 Prop: 33766.119 PropClause: 32867.927 Set: 5707.099 Check: 0.0 Back: 750.006 INFO - Atoms: 59786/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 507 Props: 32330489 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.816 Prop: 33822.847 PropClause: 32923.008 Set: 5716.945 Check: 0.0 Back: 751.435 INFO - Atoms: 59118/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 508 Props: 32389378 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.827 Prop: 33876.8 PropClause: 32975.333 Set: 5726.848 Check: 0.0 Back: 752.825 INFO - Atoms: 58889/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 509 Props: 32448474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.84 Prop: 33935.631 PropClause: 33032.535 Set: 5736.817 Check: 0.0 Back: 754.178 INFO - Atoms: 59096/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 510 Props: 32507797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.85 Prop: 33991.328 PropClause: 33086.598 Set: 5746.564 Check: 0.0 Back: 755.561 INFO - Atoms: 59323/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 511 Props: 32538648 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.862 Prop: 34026.096 PropClause: 33120.517 Set: 5750.971 Check: 0.0 Back: 756.924 INFO - Atoms: 30851/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 512 Props: 32569705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.873 Prop: 34040.713 PropClause: 33134.276 Set: 5755.456 Check: 0.0 Back: 757.645 INFO - Atoms: 31057/87712 Clauses: 773 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 1012 Props: 34850832 Tprops: 0 Decides: 7085 RSplits: 0 INFO - Times: Expl: 1600.915 Prop: 36009.807 PropClause: 35035.318 Set: 5814.952 Check: 0.174 Back: 812.294 INFO - Atoms: 29049/87712 Clauses: 1272 Axioms: 289970 INFO - Restart INFO - Confl: 1512 Props: 38027815 Tprops: 0 Decides: 16032 RSplits: 0 INFO - Times: Expl: 2803.121 Prop: 38960.334 PropClause: 37892.13 Set: 5892.758 Check: 0.399 Back: 888.426 INFO - Atoms: 29059/87712 Clauses: 1772 Axioms: 289970 INFO - Confl: 2064 Props: 40603586 Tprops: 0 Decides: 21410 RSplits: 0 INFO - Times: Expl: 3792.58 Prop: 41164.745 PropClause: 40020.742 Set: 5956.038 Check: 0.542 Back: 949.88 INFO - Atoms: 29788/87712 Clauses: 2324 Axioms: 289970 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 573 Props: 82971 Tprops: 20054 Decides: 85734 RSplits: 0 INFO - Times: Expl: 417.713 Prop: 91348.575 PropClause: 38.758 Set: 16666.914 Check: 377.13 Back: 449.291 INFO - Atoms: 1158/1158 Clauses: 573 Axioms: 1158 INFO - CCTimes: iE 909017 eq 63086148 cc 181783024 setRep 102018250 INFO - Merges: 671116, cc:1307203 INFO - BVTimes: BB 300974639 BB_DPLL 83136187736 Graph 2114764 INFO - BitBlastingClauses: 686006 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat