/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_127_112.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 284771604 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 87678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.605 Prop: 125.496 PropClause: 121.383 Set: 44.536 Check: 0.0 Back: 0.0 INFO - Atoms: 87678/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 175356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.678 Prop: 232.531 PropClause: 225.31 Set: 60.444 Check: 0.0 Back: 2.018 INFO - Atoms: 87678/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 262526 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.735 Prop: 348.287 PropClause: 338.527 Set: 85.255 Check: 0.0 Back: 4.043 INFO - Atoms: 87170/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 349315 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.776 Prop: 456.883 PropClause: 444.625 Set: 110.152 Check: 0.0 Back: 6.052 INFO - Atoms: 86789/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 436098 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.837 Prop: 555.854 PropClause: 541.212 Set: 125.826 Check: 0.0 Back: 8.038 INFO - Atoms: 86783/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 522626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.874 Prop: 653.984 PropClause: 636.959 Set: 175.102 Check: 0.0 Back: 10.043 INFO - Atoms: 86528/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 609409 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.951 Prop: 752.128 PropClause: 732.727 Set: 190.879 Check: 0.0 Back: 11.998 INFO - Atoms: 86783/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 696194 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.011 Prop: 848.893 PropClause: 827.107 Set: 206.375 Check: 0.0 Back: 14.007 INFO - Atoms: 86785/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 782723 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.051 Prop: 951.052 PropClause: 926.883 Set: 230.904 Check: 0.0 Back: 16.003 INFO - Atoms: 86529/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 868992 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.094 Prop: 1047.74 PropClause: 1021.22 Set: 255.323 Check: 0.0 Back: 18.003 INFO - Atoms: 86269/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 955003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.135 Prop: 1144.309 PropClause: 1115.44 Set: 270.794 Check: 0.0 Back: 19.982 INFO - Atoms: 86011/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 1040754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.172 Prop: 1243.169 PropClause: 1211.962 Set: 286.196 Check: 0.0 Back: 21.964 INFO - Atoms: 85751/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 1127024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.215 Prop: 1349.711 PropClause: 1316.154 Set: 301.938 Check: 0.0 Back: 23.928 INFO - Atoms: 86270/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 1213034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.253 Prop: 1447.302 PropClause: 1411.397 Set: 317.336 Check: 0.0 Back: 25.934 INFO - Atoms: 86010/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 1298786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.301 Prop: 1552.09 PropClause: 1513.837 Set: 332.868 Check: 0.0 Back: 27.908 INFO - Atoms: 85752/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1384278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.375 Prop: 1650.543 PropClause: 1609.929 Set: 348.271 Check: 0.0 Back: 29.89 INFO - Atoms: 85492/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1469512 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.414 Prop: 1749.528 PropClause: 1706.578 Set: 363.766 Check: 0.0 Back: 31.871 INFO - Atoms: 85234/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1554486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.454 Prop: 1844.602 PropClause: 1799.327 Set: 378.988 Check: 0.0 Back: 33.843 INFO - Atoms: 84974/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1639202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.495 Prop: 1944.837 PropClause: 1897.249 Set: 400.405 Check: 0.0 Back: 35.795 INFO - Atoms: 84716/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1723658 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.538 Prop: 2039.705 PropClause: 1989.795 Set: 423.128 Check: 0.0 Back: 37.774 INFO - Atoms: 84456/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1807856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.577 Prop: 2140.034 PropClause: 2087.826 Set: 445.774 Check: 0.0 Back: 39.723 INFO - Atoms: 84198/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1891794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.617 Prop: 2232.802 PropClause: 2178.302 Set: 468.111 Check: 0.0 Back: 41.691 INFO - Atoms: 83938/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1975474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.656 Prop: 2332.246 PropClause: 2275.443 Set: 483.519 Check: 0.0 Back: 43.628 INFO - Atoms: 83680/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 2060966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.697 Prop: 2427.042 PropClause: 2367.878 Set: 499.11 Check: 0.0 Back: 45.578 INFO - Atoms: 85492/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 2146200 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.736 Prop: 2524.812 PropClause: 2463.325 Set: 514.55 Check: 0.0 Back: 47.557 INFO - Atoms: 85234/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 2231174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.776 Prop: 2619.022 PropClause: 2555.214 Set: 529.741 Check: 0.0 Back: 49.545 INFO - Atoms: 84974/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 2315890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.818 Prop: 2721.025 PropClause: 2654.888 Set: 545.143 Check: 0.0 Back: 51.495 INFO - Atoms: 84716/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 2400346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.855 Prop: 2814.727 PropClause: 2746.273 Set: 560.286 Check: 0.0 Back: 53.472 INFO - Atoms: 84456/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 2484544 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.895 Prop: 2911.156 PropClause: 2840.396 Set: 575.532 Check: 0.0 Back: 55.433 INFO - Atoms: 84198/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 2567964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.936 Prop: 3004.397 PropClause: 2931.352 Set: 590.56 Check: 0.0 Back: 57.397 INFO - Atoms: 83420/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 2651126 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.978 Prop: 3099.824 PropClause: 3024.493 Set: 618.605 Check: 0.0 Back: 59.328 INFO - Atoms: 83162/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2735064 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.017 Prop: 3193.775 PropClause: 3116.144 Set: 633.699 Check: 0.0 Back: 61.28 INFO - Atoms: 83938/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2818744 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.058 Prop: 3290.159 PropClause: 3210.23 Set: 648.897 Check: 0.0 Back: 63.219 INFO - Atoms: 83680/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2902164 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.098 Prop: 3381.944 PropClause: 3299.725 Set: 663.849 Check: 0.0 Back: 65.177 INFO - Atoms: 83420/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2985326 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.141 Prop: 3477.816 PropClause: 3393.306 Set: 679.083 Check: 0.0 Back: 67.108 INFO - Atoms: 83162/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 3068488 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.187 Prop: 3576.487 PropClause: 3489.66 Set: 694.133 Check: 0.0 Back: 69.043 INFO - Atoms: 83162/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 3151391 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.232 Prop: 3676.058 PropClause: 3586.936 Set: 709.248 Check: 0.0 Back: 71.014 INFO - Atoms: 82903/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 3234034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.278 Prop: 3772.018 PropClause: 3680.64 Set: 724.223 Check: 0.0 Back: 72.966 INFO - Atoms: 82643/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 3316419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.325 Prop: 3867.873 PropClause: 3774.233 Set: 745.957 Check: 0.0 Back: 74.907 INFO - Atoms: 82385/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 3398544 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.37 Prop: 3957.309 PropClause: 3861.422 Set: 767.824 Check: 0.0 Back: 76.83 INFO - Atoms: 82125/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 3480411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.41 Prop: 4047.676 PropClause: 3949.568 Set: 782.357 Check: 0.0 Back: 78.719 INFO - Atoms: 81867/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 3562018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.451 Prop: 4135.136 PropClause: 4034.822 Set: 796.672 Check: 0.0 Back: 80.594 INFO - Atoms: 81607/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 3643367 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.491 Prop: 4227.22 PropClause: 4124.7 Set: 811.291 Check: 0.0 Back: 82.472 INFO - Atoms: 81349/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 3724456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.528 Prop: 4315.664 PropClause: 4210.924 Set: 825.598 Check: 0.0 Back: 84.358 INFO - Atoms: 81089/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 3805287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.566 Prop: 4404.208 PropClause: 4297.279 Set: 839.912 Check: 0.0 Back: 86.221 INFO - Atoms: 80831/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 3885858 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.602 Prop: 4489.373 PropClause: 4380.263 Set: 854.044 Check: 0.0 Back: 88.099 INFO - Atoms: 80571/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 3966171 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.64 Prop: 4578.333 PropClause: 4467.039 Set: 868.321 Check: 0.0 Back: 89.956 INFO - Atoms: 80313/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 4046224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.677 Prop: 4663.401 PropClause: 4549.93 Set: 882.353 Check: 0.0 Back: 91.818 INFO - Atoms: 80053/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 4126019 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.722 Prop: 4750.758 PropClause: 4635.116 Set: 914.825 Check: 0.0 Back: 93.659 INFO - Atoms: 79795/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 4205554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.761 Prop: 4835.286 PropClause: 4717.48 Set: 928.73 Check: 0.0 Back: 95.521 INFO - Atoms: 79535/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 4284831 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.797 Prop: 4924.543 PropClause: 4804.587 Set: 942.696 Check: 0.0 Back: 97.363 INFO - Atoms: 79277/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 4363848 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.943 Prop: 5009.939 PropClause: 4887.821 Set: 956.582 Check: 0.0 Back: 99.221 INFO - Atoms: 79017/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 4442607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.962 Prop: 5102.465 PropClause: 4978.196 Set: 970.625 Check: 0.0 Back: 101.037 INFO - Atoms: 78759/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 4521106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.981 Prop: 5187.194 PropClause: 5060.794 Set: 984.395 Check: 0.0 Back: 102.864 INFO - Atoms: 78499/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 4599347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.0 Prop: 5273.036 PropClause: 5144.493 Set: 998.373 Check: 0.0 Back: 104.689 INFO - Atoms: 78241/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 4677328 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.02 Prop: 5355.618 PropClause: 5224.958 Set: 1012.017 Check: 0.0 Back: 106.536 INFO - Atoms: 77981/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 4755051 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.04 Prop: 5442.598 PropClause: 5309.784 Set: 1025.924 Check: 0.0 Back: 108.336 INFO - Atoms: 77723/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 4832514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.061 Prop: 5525.562 PropClause: 5390.64 Set: 1039.496 Check: 0.0 Back: 110.162 INFO - Atoms: 77463/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 4909719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.084 Prop: 5614.158 PropClause: 5477.101 Set: 1053.39 Check: 0.0 Back: 111.959 INFO - Atoms: 77205/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 4986664 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.105 Prop: 5697.57 PropClause: 5558.379 Set: 1066.952 Check: 0.0 Back: 113.794 INFO - Atoms: 76945/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 5063351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.128 Prop: 5784.784 PropClause: 5643.463 Set: 1080.744 Check: 0.0 Back: 115.617 INFO - Atoms: 76687/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 5139778 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.151 Prop: 5870.575 PropClause: 5727.127 Set: 1094.315 Check: 0.0 Back: 117.438 INFO - Atoms: 76427/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 5215947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.171 Prop: 5954.422 PropClause: 5808.891 Set: 1107.855 Check: 0.0 Back: 119.255 INFO - Atoms: 76169/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 5291856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.194 Prop: 6039.217 PropClause: 5891.599 Set: 1121.206 Check: 0.0 Back: 121.062 INFO - Atoms: 75909/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 5367507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.216 Prop: 6121.311 PropClause: 5971.622 Set: 1134.635 Check: 0.0 Back: 122.854 INFO - Atoms: 75651/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 5442898 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.238 Prop: 6201.412 PropClause: 6049.659 Set: 1147.866 Check: 0.0 Back: 124.649 INFO - Atoms: 75391/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 5518031 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.317 Prop: 6289.296 PropClause: 6135.47 Set: 1161.204 Check: 0.0 Back: 126.419 INFO - Atoms: 75133/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 5592904 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.333 Prop: 6369.902 PropClause: 6214.029 Set: 1174.351 Check: 0.0 Back: 128.194 INFO - Atoms: 74873/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 5667519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.349 Prop: 6452.669 PropClause: 6294.75 Set: 1187.558 Check: 0.0 Back: 129.96 INFO - Atoms: 74615/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 5741874 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.366 Prop: 6531.59 PropClause: 6371.639 Set: 1200.563 Check: 0.0 Back: 131.728 INFO - Atoms: 74355/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 5815971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.383 Prop: 6611.857 PropClause: 6449.882 Set: 1213.643 Check: 0.0 Back: 133.482 INFO - Atoms: 74097/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 5889808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.399 Prop: 6689.984 PropClause: 6525.99 Set: 1226.55 Check: 0.0 Back: 135.25 INFO - Atoms: 73837/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 5963387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.417 Prop: 6770.814 PropClause: 6604.807 Set: 1239.554 Check: 0.0 Back: 136.98 INFO - Atoms: 73579/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 6036706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.433 Prop: 6848.295 PropClause: 6680.294 Set: 1252.355 Check: 0.0 Back: 138.738 INFO - Atoms: 73319/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 6109767 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.45 Prop: 6927.227 PropClause: 6757.215 Set: 1265.265 Check: 0.0 Back: 140.466 INFO - Atoms: 73061/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 6182568 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.467 Prop: 7004.048 PropClause: 6832.042 Set: 1277.948 Check: 0.0 Back: 142.208 INFO - Atoms: 72801/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 6255111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.484 Prop: 7082.049 PropClause: 6908.045 Set: 1290.805 Check: 0.0 Back: 143.931 INFO - Atoms: 72543/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 6327394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.499 Prop: 7156.61 PropClause: 6980.61 Set: 1303.473 Check: 0.0 Back: 145.658 INFO - Atoms: 72283/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 6399419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.516 Prop: 7240.493 PropClause: 7062.506 Set: 1316.287 Check: 0.0 Back: 147.363 INFO - Atoms: 72025/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 6471184 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.533 Prop: 7321.797 PropClause: 7141.791 Set: 1328.931 Check: 0.0 Back: 149.097 INFO - Atoms: 71765/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 6542691 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.549 Prop: 7402.218 PropClause: 7220.234 Set: 1341.531 Check: 0.0 Back: 150.822 INFO - Atoms: 71507/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 6613938 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.566 Prop: 7479.547 PropClause: 7295.599 Set: 1353.982 Check: 0.0 Back: 152.534 INFO - Atoms: 71247/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 6684927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.582 Prop: 7551.056 PropClause: 7365.154 Set: 1366.411 Check: 0.0 Back: 154.21 INFO - Atoms: 70989/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 6755656 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.597 Prop: 7623.794 PropClause: 7435.958 Set: 1378.658 Check: 0.0 Back: 155.909 INFO - Atoms: 70729/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 6826127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.614 Prop: 7696.147 PropClause: 7506.39 Set: 1390.858 Check: 0.0 Back: 157.547 INFO - Atoms: 70471/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 6896338 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.629 Prop: 7765.933 PropClause: 7574.242 Set: 1403.001 Check: 0.0 Back: 159.233 INFO - Atoms: 70211/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 6966291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.645 Prop: 7836.081 PropClause: 7642.479 Set: 1415.136 Check: 0.0 Back: 160.914 INFO - Atoms: 69953/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 7035984 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.66 Prop: 7903.066 PropClause: 7707.562 Set: 1427.116 Check: 0.0 Back: 162.577 INFO - Atoms: 69693/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 7105419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.674 Prop: 7971.972 PropClause: 7774.578 Set: 1439.175 Check: 0.0 Back: 164.211 INFO - Atoms: 69435/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 7174594 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.691 Prop: 8037.941 PropClause: 7838.659 Set: 1451.02 Check: 0.0 Back: 165.856 INFO - Atoms: 69175/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 7243511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.706 Prop: 8104.686 PropClause: 7903.535 Set: 1462.872 Check: 0.0 Back: 167.484 INFO - Atoms: 68917/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 7312168 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.721 Prop: 8171.056 PropClause: 7968.024 Set: 1474.661 Check: 0.0 Back: 169.108 INFO - Atoms: 68657/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 7380567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.737 Prop: 8238.495 PropClause: 8033.589 Set: 1486.479 Check: 0.0 Back: 170.719 INFO - Atoms: 68399/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 7448706 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.783 Prop: 8306.477 PropClause: 8099.69 Set: 1498.278 Check: 0.0 Back: 172.339 INFO - Atoms: 68139/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 7516587 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.84 Prop: 8372.842 PropClause: 8164.196 Set: 1509.979 Check: 0.0 Back: 173.963 INFO - Atoms: 67881/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 7584208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.85 Prop: 8436.508 PropClause: 8226.014 Set: 1521.493 Check: 0.0 Back: 175.591 INFO - Atoms: 67621/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 7651571 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.861 Prop: 8502.55 PropClause: 8290.215 Set: 1533.062 Check: 0.0 Back: 177.197 INFO - Atoms: 67363/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 7718674 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.874 Prop: 8571.076 PropClause: 8356.892 Set: 1544.681 Check: 0.0 Back: 178.815 INFO - Atoms: 67103/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 7785519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.886 Prop: 8636.023 PropClause: 8419.999 Set: 1556.16 Check: 0.0 Back: 180.394 INFO - Atoms: 66845/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 7852104 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.898 Prop: 8701.611 PropClause: 8483.746 Set: 1567.643 Check: 0.0 Back: 181.997 INFO - Atoms: 66585/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 7918431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.909 Prop: 8770.135 PropClause: 8550.445 Set: 1579.257 Check: 0.0 Back: 183.574 INFO - Atoms: 66327/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 7984498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.922 Prop: 8834.212 PropClause: 8612.709 Set: 1590.62 Check: 0.0 Back: 185.162 INFO - Atoms: 66067/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 8050307 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.933 Prop: 8898.25 PropClause: 8674.943 Set: 1602.082 Check: 0.0 Back: 186.729 INFO - Atoms: 65809/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 8115856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.944 Prop: 8964.681 PropClause: 8739.569 Set: 1613.432 Check: 0.0 Back: 188.314 INFO - Atoms: 65549/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 8181147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.955 Prop: 9036.048 PropClause: 8809.143 Set: 1624.827 Check: 0.0 Back: 189.864 INFO - Atoms: 65291/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 8246178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.966 Prop: 9103.448 PropClause: 8874.714 Set: 1636.3 Check: 0.0 Back: 191.44 INFO - Atoms: 65031/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 8310951 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.977 Prop: 9169.635 PropClause: 8939.11 Set: 1647.58 Check: 0.0 Back: 192.995 INFO - Atoms: 64773/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 8375464 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.99 Prop: 9232.754 PropClause: 9000.455 Set: 1658.698 Check: 0.0 Back: 194.553 INFO - Atoms: 64513/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 8439719 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.002 Prop: 9301.889 PropClause: 9067.809 Set: 1669.909 Check: 0.0 Back: 196.096 INFO - Atoms: 64255/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 8503714 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.014 Prop: 9367.616 PropClause: 9131.759 Set: 1681.073 Check: 0.0 Back: 197.656 INFO - Atoms: 63995/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 8567451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.027 Prop: 9429.371 PropClause: 9191.768 Set: 1692.071 Check: 0.0 Back: 199.175 INFO - Atoms: 63737/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 8630928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.038 Prop: 9490.123 PropClause: 9250.779 Set: 1702.993 Check: 0.0 Back: 200.709 INFO - Atoms: 63477/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 8694147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.05 Prop: 9553.75 PropClause: 9312.655 Set: 1713.935 Check: 0.0 Back: 202.225 INFO - Atoms: 63219/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 8757106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.059 Prop: 9613.785 PropClause: 9370.948 Set: 1724.723 Check: 0.0 Back: 203.766 INFO - Atoms: 62959/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 8819807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.07 Prop: 9675.745 PropClause: 9431.184 Set: 1735.64 Check: 0.0 Back: 205.264 INFO - Atoms: 62701/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 8882248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.081 Prop: 9734.639 PropClause: 9488.362 Set: 1746.243 Check: 0.0 Back: 206.774 INFO - Atoms: 62441/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 8944431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.092 Prop: 9793.786 PropClause: 9545.808 Set: 1756.889 Check: 0.0 Back: 208.255 INFO - Atoms: 62183/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 9006354 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.104 Prop: 9852.467 PropClause: 9602.793 Set: 1767.444 Check: 0.0 Back: 209.744 INFO - Atoms: 61923/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 9068019 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.114 Prop: 9910.437 PropClause: 9659.081 Set: 1778.07 Check: 0.0 Back: 211.212 INFO - Atoms: 61665/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 9129424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.126 Prop: 9968.309 PropClause: 9715.272 Set: 1788.596 Check: 0.0 Back: 212.699 INFO - Atoms: 61405/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 9190571 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.138 Prop: 10025.817 PropClause: 9771.105 Set: 1799.113 Check: 0.0 Back: 214.155 INFO - Atoms: 61147/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 9251458 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.15 Prop: 10084.041 PropClause: 9827.664 Set: 1809.47 Check: 0.0 Back: 215.631 INFO - Atoms: 60887/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 9312087 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.161 Prop: 10142.242 PropClause: 9884.193 Set: 1819.914 Check: 0.0 Back: 217.079 INFO - Atoms: 60629/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 9372456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.172 Prop: 10198.873 PropClause: 9939.16 Set: 1830.227 Check: 0.0 Back: 218.554 INFO - Atoms: 60369/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 9432567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.184 Prop: 10255.286 PropClause: 9993.924 Set: 1840.537 Check: 0.0 Back: 219.988 INFO - Atoms: 60111/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 9492418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.196 Prop: 10313.388 PropClause: 10050.392 Set: 1850.687 Check: 0.0 Back: 221.431 INFO - Atoms: 59851/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 9552011 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.205 Prop: 10375.395 PropClause: 10110.763 Set: 1860.924 Check: 0.0 Back: 222.849 INFO - Atoms: 59593/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 9611344 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.217 Prop: 10434.792 PropClause: 10168.533 Set: 1870.959 Check: 0.0 Back: 224.291 INFO - Atoms: 59333/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 9670419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.229 Prop: 10487.855 PropClause: 10219.984 Set: 1880.992 Check: 0.0 Back: 225.695 INFO - Atoms: 59075/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 9729234 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.24 Prop: 10540.216 PropClause: 10270.739 Set: 1890.906 Check: 0.0 Back: 227.126 INFO - Atoms: 58815/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 9787791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.251 Prop: 10591.831 PropClause: 10320.749 Set: 1900.865 Check: 0.0 Back: 228.519 INFO - Atoms: 58557/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 9871075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.386 Prop: 10667.927 PropClause: 10394.557 Set: 1915.83 Check: 0.0 Back: 229.932 INFO - Atoms: 83284/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 9954101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.403 Prop: 10760.333 PropClause: 10484.68 Set: 1930.683 Check: 0.0 Back: 231.889 INFO - Atoms: 83026/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 10036867 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.418 Prop: 10852.392 PropClause: 10574.48 Set: 1945.397 Check: 0.0 Back: 233.88 INFO - Atoms: 82766/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 10119375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.434 Prop: 10948.127 PropClause: 10667.941 Set: 1960.199 Check: 0.0 Back: 235.826 INFO - Atoms: 82508/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 10201623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.452 Prop: 11035.748 PropClause: 10753.289 Set: 1974.736 Check: 0.0 Back: 237.821 INFO - Atoms: 82248/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 10283613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.468 Prop: 11128.095 PropClause: 10843.376 Set: 1989.411 Check: 0.0 Back: 239.785 INFO - Atoms: 81990/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 10365343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.484 Prop: 11215.788 PropClause: 10928.815 Set: 2003.852 Check: 0.0 Back: 241.787 INFO - Atoms: 81730/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 10446815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.5 Prop: 11303.932 PropClause: 11014.724 Set: 2018.23 Check: 0.0 Back: 243.727 INFO - Atoms: 81472/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 10528027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.515 Prop: 11393.44 PropClause: 11101.983 Set: 2032.581 Check: 0.0 Back: 245.666 INFO - Atoms: 81212/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 10608981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.531 Prop: 11479.353 PropClause: 11185.673 Set: 2046.872 Check: 0.0 Back: 247.62 INFO - Atoms: 80954/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 10689675 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.55 Prop: 11563.731 PropClause: 11267.831 Set: 2060.948 Check: 0.0 Back: 249.55 INFO - Atoms: 80694/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 10770111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.568 Prop: 11649.159 PropClause: 11351.044 Set: 2075.106 Check: 0.0 Back: 251.456 INFO - Atoms: 80436/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 10850287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.584 Prop: 11734.763 PropClause: 11434.417 Set: 2089.236 Check: 0.0 Back: 253.368 INFO - Atoms: 80176/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 10930205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.602 Prop: 11821.588 PropClause: 11519.044 Set: 2103.36 Check: 0.0 Back: 255.274 INFO - Atoms: 79918/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 11009863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.62 Prop: 11906.912 PropClause: 11602.174 Set: 2141.175 Check: 0.0 Back: 257.191 INFO - Atoms: 79658/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 11089263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.638 Prop: 11989.323 PropClause: 11682.418 Set: 2155.081 Check: 0.0 Back: 259.048 INFO - Atoms: 79400/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 11168403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.656 Prop: 12070.986 PropClause: 11761.926 Set: 2168.856 Check: 0.0 Back: 260.917 INFO - Atoms: 79140/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 11247285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.673 Prop: 12154.539 PropClause: 11843.319 Set: 2182.816 Check: 0.0 Back: 262.806 INFO - Atoms: 78882/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 11325907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.691 Prop: 12238.135 PropClause: 11924.763 Set: 2196.598 Check: 0.0 Back: 264.718 INFO - Atoms: 78622/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 11404271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.708 Prop: 12322.796 PropClause: 12007.281 Set: 2210.52 Check: 0.0 Back: 266.575 INFO - Atoms: 78364/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 11482375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.726 Prop: 12404.224 PropClause: 12086.581 Set: 2224.181 Check: 0.0 Back: 268.452 INFO - Atoms: 78104/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 11560221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.744 Prop: 12487.053 PropClause: 12167.28 Set: 2237.933 Check: 0.0 Back: 270.292 INFO - Atoms: 77846/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 11637807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.762 Prop: 12568.492 PropClause: 12246.598 Set: 2251.5 Check: 0.0 Back: 272.153 INFO - Atoms: 77586/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 11715135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.781 Prop: 12651.441 PropClause: 12327.417 Set: 2265.223 Check: 0.0 Back: 273.984 INFO - Atoms: 77328/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 11792203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.797 Prop: 12733.356 PropClause: 12407.218 Set: 2278.715 Check: 0.0 Back: 275.845 INFO - Atoms: 77068/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 11869013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.814 Prop: 12815.813 PropClause: 12487.576 Set: 2292.229 Check: 0.0 Back: 277.677 INFO - Atoms: 76810/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 11945563 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.833 Prop: 12895.56 PropClause: 12565.226 Set: 2305.616 Check: 0.0 Back: 279.502 INFO - Atoms: 76550/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 12021855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.851 Prop: 12979.803 PropClause: 12647.37 Set: 2319.111 Check: 0.0 Back: 281.307 INFO - Atoms: 76292/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 12097887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.866 Prop: 13058.074 PropClause: 12723.571 Set: 2332.405 Check: 0.0 Back: 283.142 INFO - Atoms: 76032/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 12173661 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.881 Prop: 13138.32 PropClause: 12801.755 Set: 2345.719 Check: 0.0 Back: 284.924 INFO - Atoms: 75774/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 12249175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.895 Prop: 13219.356 PropClause: 12880.73 Set: 2358.913 Check: 0.0 Back: 286.714 INFO - Atoms: 75514/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 12324431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.913 Prop: 13300.085 PropClause: 12959.376 Set: 2372.223 Check: 0.0 Back: 288.491 INFO - Atoms: 75256/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 12399427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.929 Prop: 13377.569 PropClause: 13034.785 Set: 2385.404 Check: 0.0 Back: 290.323 INFO - Atoms: 74996/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 12474165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.947 Prop: 13459.248 PropClause: 13114.4 Set: 2398.599 Check: 0.0 Back: 292.124 INFO - Atoms: 74738/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 12548643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.964 Prop: 13535.553 PropClause: 13188.614 Set: 2411.589 Check: 0.0 Back: 293.947 INFO - Atoms: 74478/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 12622863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.015 Prop: 13615.166 PropClause: 13266.197 Set: 2424.661 Check: 0.0 Back: 295.717 INFO - Atoms: 74220/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 12696823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.065 Prop: 13692.904 PropClause: 13341.903 Set: 2437.609 Check: 0.0 Back: 297.492 INFO - Atoms: 73960/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 12770525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.08 Prop: 13769.253 PropClause: 13416.236 Set: 2450.516 Check: 0.0 Back: 299.246 INFO - Atoms: 73702/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 12843967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.098 Prop: 13844.225 PropClause: 13489.197 Set: 2463.31 Check: 0.0 Back: 301.012 INFO - Atoms: 73442/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 12917151 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.116 Prop: 13920.685 PropClause: 13563.645 Set: 2476.215 Check: 0.0 Back: 302.754 INFO - Atoms: 73184/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 12990075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.132 Prop: 13995.111 PropClause: 13636.075 Set: 2488.949 Check: 0.0 Back: 304.521 INFO - Atoms: 72924/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 13062741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.149 Prop: 14070.2 PropClause: 13709.177 Set: 2501.678 Check: 0.0 Back: 306.267 INFO - Atoms: 72666/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 13135147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.166 Prop: 14141.544 PropClause: 13778.543 Set: 2514.276 Check: 0.0 Back: 308.01 INFO - Atoms: 72406/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 13207295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.184 Prop: 14216.377 PropClause: 13851.402 Set: 2526.879 Check: 0.0 Back: 309.737 INFO - Atoms: 72148/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 13279183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.199 Prop: 14286.553 PropClause: 13919.588 Set: 2539.406 Check: 0.0 Back: 311.487 INFO - Atoms: 71888/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 13350813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.215 Prop: 14362.166 PropClause: 13993.213 Set: 2552.152 Check: 0.0 Back: 313.241 INFO - Atoms: 71630/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 13422183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.233 Prop: 14432.57 PropClause: 14061.649 Set: 2564.717 Check: 0.0 Back: 314.98 INFO - Atoms: 71370/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 13493295 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.248 Prop: 14505.31 PropClause: 14132.423 Set: 2577.282 Check: 0.0 Back: 316.689 INFO - Atoms: 71112/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 13564147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.264 Prop: 14573.896 PropClause: 14199.052 Set: 2589.578 Check: 0.0 Back: 318.415 INFO - Atoms: 70852/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 13634741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.28 Prop: 14645.887 PropClause: 14269.076 Set: 2601.895 Check: 0.0 Back: 320.111 INFO - Atoms: 70594/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 13705075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.297 Prop: 14712.394 PropClause: 14333.658 Set: 2614.088 Check: 0.0 Back: 321.825 INFO - Atoms: 70334/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 13775151 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.311 Prop: 14783.451 PropClause: 14402.774 Set: 2626.383 Check: 0.0 Back: 323.501 INFO - Atoms: 70076/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 13844967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.328 Prop: 14849.63 PropClause: 14467.008 Set: 2638.541 Check: 0.0 Back: 325.191 INFO - Atoms: 69816/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 13914525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.344 Prop: 14915.795 PropClause: 14531.25 Set: 2650.549 Check: 0.0 Back: 326.859 INFO - Atoms: 69558/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 13983823 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.362 Prop: 14983.11 PropClause: 14596.654 Set: 2662.526 Check: 0.0 Back: 328.536 INFO - Atoms: 69298/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 14052863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.378 Prop: 15051.27 PropClause: 14662.903 Set: 2674.638 Check: 0.0 Back: 330.199 INFO - Atoms: 69040/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 14121643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.393 Prop: 15120.282 PropClause: 14730.013 Set: 2686.632 Check: 0.0 Back: 331.88 INFO - Atoms: 68780/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 14190165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.409 Prop: 15185.932 PropClause: 14793.792 Set: 2698.499 Check: 0.0 Back: 333.54 INFO - Atoms: 68522/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 14258427 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.425 Prop: 15250.692 PropClause: 14856.689 Set: 2710.215 Check: 0.0 Back: 335.163 INFO - Atoms: 68262/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 14326431 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.471 Prop: 15315.087 PropClause: 14919.232 Set: 2721.975 Check: 0.0 Back: 336.79 INFO - Atoms: 68004/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 14394175 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.491 Prop: 15379.113 PropClause: 14981.416 Set: 2733.577 Check: 0.0 Back: 338.42 INFO - Atoms: 67744/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 14461661 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.533 Prop: 15442.993 PropClause: 15043.455 Set: 2745.129 Check: 0.0 Back: 340.02 INFO - Atoms: 67486/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 14528887 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.545 Prop: 15508.832 PropClause: 15107.461 Set: 2756.678 Check: 0.0 Back: 341.626 INFO - Atoms: 67226/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 14595855 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.556 Prop: 15572.069 PropClause: 15168.867 Set: 2768.27 Check: 0.0 Back: 343.215 INFO - Atoms: 66968/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 14662563 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.568 Prop: 15635.461 PropClause: 15230.434 Set: 2779.666 Check: 0.0 Back: 344.835 INFO - Atoms: 66708/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 14729013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.579 Prop: 15697.454 PropClause: 15290.616 Set: 2791.064 Check: 0.0 Back: 346.418 INFO - Atoms: 66450/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 14795203 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.589 Prop: 15760.659 PropClause: 15352.015 Set: 2802.444 Check: 0.0 Back: 347.998 INFO - Atoms: 66190/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 14861135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.601 Prop: 15827.491 PropClause: 15417.036 Set: 2813.949 Check: 0.0 Back: 349.572 INFO - Atoms: 65932/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 14926807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.612 Prop: 15887.991 PropClause: 15475.749 Set: 2825.127 Check: 0.0 Back: 351.16 INFO - Atoms: 65672/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 14992221 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.624 Prop: 15956.514 PropClause: 15542.471 Set: 2836.507 Check: 0.0 Back: 352.715 INFO - Atoms: 65414/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 15057375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.635 Prop: 16020.407 PropClause: 15604.569 Set: 2847.693 Check: 0.0 Back: 354.318 INFO - Atoms: 65154/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 15122271 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.646 Prop: 16080.796 PropClause: 15663.178 Set: 2858.835 Check: 0.0 Back: 355.88 INFO - Atoms: 64896/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 15186907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.656 Prop: 16142.705 PropClause: 15723.318 Set: 2869.817 Check: 0.0 Back: 357.436 INFO - Atoms: 64636/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 15251285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.668 Prop: 16202.781 PropClause: 15781.637 Set: 2880.866 Check: 0.0 Back: 358.971 INFO - Atoms: 64378/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 15315403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.678 Prop: 16261.039 PropClause: 15838.149 Set: 2891.792 Check: 0.0 Back: 360.492 INFO - Atoms: 64118/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 15379263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.69 Prop: 16322.459 PropClause: 15897.829 Set: 2902.756 Check: 0.0 Back: 362.006 INFO - Atoms: 63860/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 15442863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.701 Prop: 16381.011 PropClause: 15954.638 Set: 2913.591 Check: 0.0 Back: 363.546 INFO - Atoms: 63600/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 15506205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.714 Prop: 16442.376 PropClause: 16014.247 Set: 2924.613 Check: 0.0 Back: 365.075 INFO - Atoms: 63342/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 15569287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.725 Prop: 16502.301 PropClause: 16072.443 Set: 2935.432 Check: 0.0 Back: 366.623 INFO - Atoms: 63082/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 15632111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.738 Prop: 16564.795 PropClause: 16133.189 Set: 2959.926 Check: 0.0 Back: 368.129 INFO - Atoms: 62824/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 15694675 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.75 Prop: 16622.332 PropClause: 16189.002 Set: 2970.644 Check: 0.0 Back: 369.639 INFO - Atoms: 62564/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 15756981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.762 Prop: 16680.21 PropClause: 16245.164 Set: 2981.364 Check: 0.0 Back: 371.245 INFO - Atoms: 62306/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 15819027 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.777 Prop: 16739.634 PropClause: 16302.879 Set: 2992.003 Check: 0.0 Back: 372.757 INFO - Atoms: 62046/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 15880815 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.789 Prop: 16796.328 PropClause: 16357.869 Set: 3002.564 Check: 0.0 Back: 374.246 INFO - Atoms: 61788/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 15942343 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.801 Prop: 16852.784 PropClause: 16412.641 Set: 3013.016 Check: 0.0 Back: 375.738 INFO - Atoms: 61528/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 16003613 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.812 Prop: 16908.518 PropClause: 16466.692 Set: 3023.503 Check: 0.0 Back: 377.216 INFO - Atoms: 61270/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 16064623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.824 Prop: 16964.417 PropClause: 16520.915 Set: 3033.832 Check: 0.0 Back: 378.694 INFO - Atoms: 61010/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 16125375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.834 Prop: 17018.726 PropClause: 16573.564 Set: 3044.113 Check: 0.0 Back: 380.15 INFO - Atoms: 60752/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 16185867 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.844 Prop: 17072.18 PropClause: 16625.37 Set: 3054.325 Check: 0.0 Back: 381.613 INFO - Atoms: 60492/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 16246101 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.856 Prop: 17127.424 PropClause: 16678.963 Set: 3077.028 Check: 0.0 Back: 383.057 INFO - Atoms: 60234/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 16306075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.868 Prop: 17179.897 PropClause: 16729.795 Set: 3087.191 Check: 0.0 Back: 384.509 INFO - Atoms: 59974/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 16365791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.889 Prop: 17234.085 PropClause: 16782.348 Set: 3097.364 Check: 0.0 Back: 385.953 INFO - Atoms: 59716/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 16425247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.9 Prop: 17286.706 PropClause: 16833.343 Set: 3107.436 Check: 0.0 Back: 387.426 INFO - Atoms: 59456/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 16484445 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.912 Prop: 17338.578 PropClause: 16883.588 Set: 3117.511 Check: 0.0 Back: 388.868 INFO - Atoms: 59198/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 16543382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.922 Prop: 17390.186 PropClause: 16933.571 Set: 3127.459 Check: 0.0 Back: 390.306 INFO - Atoms: 58937/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 16605273 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.988 Prop: 17456.567 PropClause: 16998.063 Set: 3159.477 Check: 0.0 Back: 391.733 INFO - Atoms: 61891/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 16667421 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.078 Prop: 17514.109 PropClause: 17053.895 Set: 3170.542 Check: 0.0 Back: 393.234 INFO - Atoms: 62148/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 16729830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.089 Prop: 17571.327 PropClause: 17109.39 Set: 3181.584 Check: 0.0 Back: 394.729 INFO - Atoms: 62409/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 16792496 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.1 Prop: 17628.69 PropClause: 17165.024 Set: 3192.624 Check: 0.0 Back: 396.245 INFO - Atoms: 62666/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 16855423 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.114 Prop: 17686.439 PropClause: 17221.044 Set: 3203.754 Check: 0.0 Back: 397.756 INFO - Atoms: 62927/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 16918607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.126 Prop: 17744.637 PropClause: 17277.502 Set: 3214.911 Check: 0.0 Back: 399.285 INFO - Atoms: 63184/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 16982052 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.139 Prop: 17805.293 PropClause: 17336.416 Set: 3226.155 Check: 0.0 Back: 400.799 INFO - Atoms: 63445/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 17045754 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.15 Prop: 17865.419 PropClause: 17394.79 Set: 3237.375 Check: 0.0 Back: 402.329 INFO - Atoms: 63702/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 17109717 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.162 Prop: 17928.591 PropClause: 17456.197 Set: 3248.769 Check: 0.0 Back: 403.854 INFO - Atoms: 63963/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 17173937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.173 Prop: 17989.288 PropClause: 17515.126 Set: 3260.193 Check: 0.0 Back: 405.4 INFO - Atoms: 64220/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 17238418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.183 Prop: 18049.479 PropClause: 17573.543 Set: 3271.653 Check: 0.0 Back: 406.926 INFO - Atoms: 64481/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 17303156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.196 Prop: 18110.469 PropClause: 17632.734 Set: 3283.047 Check: 0.0 Back: 408.477 INFO - Atoms: 64738/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 17368155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.207 Prop: 18172.35 PropClause: 17692.834 Set: 3294.496 Check: 0.0 Back: 410.034 INFO - Atoms: 64999/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 17433411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.218 Prop: 18230.878 PropClause: 17749.577 Set: 3305.933 Check: 0.0 Back: 411.588 INFO - Atoms: 65256/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 17498928 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.23 Prop: 18291.218 PropClause: 17808.118 Set: 3317.545 Check: 0.0 Back: 413.138 INFO - Atoms: 65517/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 17564702 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.241 Prop: 18350.297 PropClause: 17865.4 Set: 3329.103 Check: 0.0 Back: 414.744 INFO - Atoms: 65774/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 17630737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.253 Prop: 18411.09 PropClause: 17924.387 Set: 3340.697 Check: 0.0 Back: 416.317 INFO - Atoms: 66035/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 17697029 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.265 Prop: 18471.708 PropClause: 17983.191 Set: 3352.293 Check: 0.0 Back: 417.896 INFO - Atoms: 66292/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 17763582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.276 Prop: 18532.973 PropClause: 18042.627 Set: 3379.004 Check: 0.0 Back: 419.462 INFO - Atoms: 66553/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 17830392 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.287 Prop: 18594.506 PropClause: 18102.281 Set: 3390.711 Check: 0.0 Back: 421.034 INFO - Atoms: 66810/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 17897463 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.298 Prop: 18657.716 PropClause: 18163.65 Set: 3402.564 Check: 0.0 Back: 422.632 INFO - Atoms: 67071/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 17964791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.31 Prop: 18719.204 PropClause: 18223.286 Set: 3414.441 Check: 0.0 Back: 424.247 INFO - Atoms: 67328/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 18032380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.322 Prop: 18781.755 PropClause: 18284.001 Set: 3426.359 Check: 0.0 Back: 425.861 INFO - Atoms: 67589/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 18100226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.333 Prop: 18844.235 PropClause: 18344.614 Set: 3438.252 Check: 0.0 Back: 427.458 INFO - Atoms: 67846/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 18168333 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.342 Prop: 18906.579 PropClause: 18405.095 Set: 3450.19 Check: 0.0 Back: 429.054 INFO - Atoms: 68107/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 18236697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.355 Prop: 18969.885 PropClause: 18466.534 Set: 3462.212 Check: 0.0 Back: 430.693 INFO - Atoms: 68364/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 18305322 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.365 Prop: 19033.024 PropClause: 18527.8 Set: 3474.309 Check: 0.0 Back: 432.299 INFO - Atoms: 68625/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 18374204 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.378 Prop: 19096.975 PropClause: 18589.88 Set: 3486.44 Check: 0.0 Back: 433.917 INFO - Atoms: 68882/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 18443347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.386 Prop: 19161.495 PropClause: 18652.509 Set: 3498.669 Check: 0.0 Back: 435.536 INFO - Atoms: 69143/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 18512747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.395 Prop: 19225.194 PropClause: 18714.322 Set: 3510.883 Check: 0.0 Back: 437.182 INFO - Atoms: 69400/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 18582408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.405 Prop: 19288.575 PropClause: 18775.785 Set: 3523.236 Check: 0.0 Back: 438.82 INFO - Atoms: 69661/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 18652326 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.418 Prop: 19358.094 PropClause: 18843.373 Set: 3535.685 Check: 0.0 Back: 440.484 INFO - Atoms: 69918/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 18722505 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.458 Prop: 19423.431 PropClause: 18906.766 Set: 3548.227 Check: 0.0 Back: 442.125 INFO - Atoms: 70179/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 18792941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.487 Prop: 19493.161 PropClause: 18974.573 Set: 3560.656 Check: 0.0 Back: 443.802 INFO - Atoms: 70436/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 18863638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.491 Prop: 19558.714 PropClause: 19038.193 Set: 3573.129 Check: 0.0 Back: 445.465 INFO - Atoms: 70697/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 18934592 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.495 Prop: 19624.986 PropClause: 19102.519 Set: 3585.719 Check: 0.0 Back: 447.15 INFO - Atoms: 70954/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 19005807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.498 Prop: 19693.255 PropClause: 19168.833 Set: 3598.359 Check: 0.0 Back: 448.822 INFO - Atoms: 71215/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 19077279 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.504 Prop: 19762.953 PropClause: 19236.568 Set: 3611.092 Check: 0.0 Back: 450.522 INFO - Atoms: 71472/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 19149012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.51 Prop: 19831.638 PropClause: 19303.285 Set: 3623.892 Check: 0.0 Back: 452.207 INFO - Atoms: 71733/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 19221002 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.516 Prop: 19903.003 PropClause: 19372.678 Set: 3636.643 Check: 0.0 Back: 453.909 INFO - Atoms: 71990/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 19293253 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.519 Prop: 19975.607 PropClause: 19443.302 Set: 3649.552 Check: 0.0 Back: 455.617 INFO - Atoms: 72251/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 19365761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.523 Prop: 20053.472 PropClause: 19519.177 Set: 3662.573 Check: 0.0 Back: 457.324 INFO - Atoms: 72508/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 19438530 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.527 Prop: 20132.89 PropClause: 19596.593 Set: 3675.58 Check: 0.0 Back: 459.039 INFO - Atoms: 72769/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 19511556 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.531 Prop: 20208.267 PropClause: 19669.963 Set: 3688.686 Check: 0.0 Back: 460.756 INFO - Atoms: 73026/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 19584843 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.534 Prop: 20285.063 PropClause: 19744.755 Set: 3701.745 Check: 0.0 Back: 462.478 INFO - Atoms: 73287/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 19658387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.538 Prop: 20362.455 PropClause: 19820.122 Set: 3715.061 Check: 0.0 Back: 464.228 INFO - Atoms: 73544/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 19732192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.542 Prop: 20435.444 PropClause: 19891.077 Set: 3728.197 Check: 0.0 Back: 465.964 INFO - Atoms: 73805/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 19806254 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.548 Prop: 20511.035 PropClause: 19964.648 Set: 3741.434 Check: 0.0 Back: 467.724 INFO - Atoms: 74062/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 19880577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.554 Prop: 20586.762 PropClause: 20038.345 Set: 3754.704 Check: 0.0 Back: 469.473 INFO - Atoms: 74323/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 19955157 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.559 Prop: 20662.096 PropClause: 20111.63 Set: 3768.029 Check: 0.0 Back: 471.224 INFO - Atoms: 74580/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 20029872 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.565 Prop: 20737.306 PropClause: 20184.79 Set: 3781.405 Check: 0.0 Back: 472.99 INFO - Atoms: 74715/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 20091504 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.571 Prop: 20802.954 PropClause: 20248.733 Set: 3792.389 Check: 0.0 Back: 474.753 INFO - Atoms: 61632/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 20152879 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.577 Prop: 20858.716 PropClause: 20302.787 Set: 3803.296 Check: 0.0 Back: 476.253 INFO - Atoms: 61375/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 20213995 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.583 Prop: 20917.23 PropClause: 20359.612 Set: 3814.097 Check: 0.0 Back: 477.751 INFO - Atoms: 61116/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 20274852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.589 Prop: 20972.015 PropClause: 20412.727 Set: 3824.756 Check: 0.0 Back: 479.215 INFO - Atoms: 60857/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 20335450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.595 Prop: 21027.52 PropClause: 20466.555 Set: 3835.354 Check: 0.0 Back: 480.678 INFO - Atoms: 60598/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 20395789 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.601 Prop: 21083.655 PropClause: 20521.043 Set: 3845.896 Check: 0.0 Back: 482.14 INFO - Atoms: 60339/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 20455869 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.606 Prop: 21136.74 PropClause: 20572.484 Set: 3856.336 Check: 0.0 Back: 483.594 INFO - Atoms: 60080/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 20515690 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.61 Prop: 21189.632 PropClause: 20623.732 Set: 3866.798 Check: 0.0 Back: 485.04 INFO - Atoms: 59821/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 20575252 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.614 Prop: 21241.463 PropClause: 20673.924 Set: 3877.187 Check: 0.0 Back: 486.487 INFO - Atoms: 59562/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 20634555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.619 Prop: 21293.234 PropClause: 20724.066 Set: 3887.503 Check: 0.0 Back: 487.922 INFO - Atoms: 59303/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 20693599 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.624 Prop: 21348.269 PropClause: 20777.465 Set: 3897.883 Check: 0.0 Back: 489.358 INFO - Atoms: 59044/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 20752384 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.629 Prop: 21399.348 PropClause: 20826.935 Set: 3908.216 Check: 0.0 Back: 490.781 INFO - Atoms: 58785/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 20810910 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.635 Prop: 21450.883 PropClause: 20876.867 Set: 3918.367 Check: 0.0 Back: 492.217 INFO - Atoms: 58526/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 20869177 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.642 Prop: 21502.192 PropClause: 20926.57 Set: 3938.289 Check: 0.0 Back: 493.619 INFO - Atoms: 58267/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 20927185 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.647 Prop: 21555.882 PropClause: 20978.657 Set: 3948.548 Check: 0.0 Back: 495.039 INFO - Atoms: 58008/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 20984934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.653 Prop: 21608.198 PropClause: 21029.381 Set: 3958.788 Check: 0.0 Back: 496.451 INFO - Atoms: 57749/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 21042424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.657 Prop: 21661.942 PropClause: 21081.542 Set: 3968.955 Check: 0.0 Back: 497.854 INFO - Atoms: 57490/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 21099655 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.664 Prop: 21711.963 PropClause: 21129.991 Set: 3979.002 Check: 0.0 Back: 499.245 INFO - Atoms: 57231/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 21156627 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.669 Prop: 21759.698 PropClause: 21176.166 Set: 3988.847 Check: 0.0 Back: 500.684 INFO - Atoms: 56972/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 21213340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.673 Prop: 21807.224 PropClause: 21222.137 Set: 3998.791 Check: 0.0 Back: 502.044 INFO - Atoms: 56713/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 21269794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.678 Prop: 21853.75 PropClause: 21267.121 Set: 4008.565 Check: 0.0 Back: 503.413 INFO - Atoms: 56454/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 21325989 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.684 Prop: 21898.989 PropClause: 21310.824 Set: 4018.347 Check: 0.0 Back: 504.761 INFO - Atoms: 56195/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 21381925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.689 Prop: 21944.218 PropClause: 21354.528 Set: 4027.934 Check: 0.0 Back: 506.123 INFO - Atoms: 55936/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 21437602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.694 Prop: 21989.324 PropClause: 21398.118 Set: 4037.53 Check: 0.0 Back: 507.469 INFO - Atoms: 55677/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 21493020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.699 Prop: 22034.834 PropClause: 21442.113 Set: 4047.033 Check: 0.0 Back: 508.814 INFO - Atoms: 55418/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 21548179 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.703 Prop: 22080.023 PropClause: 21485.799 Set: 4056.5 Check: 0.0 Back: 510.135 INFO - Atoms: 55159/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 21603079 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.708 Prop: 22125.385 PropClause: 21529.661 Set: 4065.96 Check: 0.0 Back: 511.477 INFO - Atoms: 54900/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 21657720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.713 Prop: 22177.767 PropClause: 21580.547 Set: 4075.476 Check: 0.0 Back: 512.802 INFO - Atoms: 54641/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 21712102 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.718 Prop: 22220.531 PropClause: 21621.808 Set: 4084.84 Check: 0.0 Back: 514.125 INFO - Atoms: 54382/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 21766225 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.725 Prop: 22269.559 PropClause: 21669.316 Set: 4094.43 Check: 0.0 Back: 515.445 INFO - Atoms: 54123/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 21820089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.73 Prop: 22312.345 PropClause: 21710.608 Set: 4103.748 Check: 0.0 Back: 516.773 INFO - Atoms: 53864/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 21873694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.736 Prop: 22355.851 PropClause: 21752.635 Set: 4113.077 Check: 0.0 Back: 518.073 INFO - Atoms: 53605/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 21927040 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.748 Prop: 22397.679 PropClause: 21793.003 Set: 4122.167 Check: 0.0 Back: 519.371 INFO - Atoms: 53346/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 21980127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.754 Prop: 22438.998 PropClause: 21832.872 Set: 4131.256 Check: 0.0 Back: 520.654 INFO - Atoms: 53087/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 22032955 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.758 Prop: 22484.339 PropClause: 21876.756 Set: 4140.521 Check: 0.0 Back: 521.957 INFO - Atoms: 52828/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 22085524 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.764 Prop: 22528.448 PropClause: 21919.401 Set: 4149.634 Check: 0.0 Back: 523.237 INFO - Atoms: 52569/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 22137834 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.769 Prop: 22568.969 PropClause: 21958.486 Set: 4158.579 Check: 0.0 Back: 524.532 INFO - Atoms: 52310/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 22189885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.775 Prop: 22610.485 PropClause: 21998.569 Set: 4167.58 Check: 0.0 Back: 525.792 INFO - Atoms: 52051/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 22241677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.779 Prop: 22650.165 PropClause: 22036.811 Set: 4176.446 Check: 0.0 Back: 527.075 INFO - Atoms: 51792/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 22293210 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.785 Prop: 22690.14 PropClause: 22075.349 Set: 4185.428 Check: 0.0 Back: 528.346 INFO - Atoms: 51533/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 22344484 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.791 Prop: 22729.45 PropClause: 22113.245 Set: 4194.114 Check: 0.0 Back: 529.608 INFO - Atoms: 51274/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 22395499 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.796 Prop: 22767.541 PropClause: 22149.95 Set: 4202.787 Check: 0.0 Back: 530.836 INFO - Atoms: 51015/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 22446255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.801 Prop: 22805.604 PropClause: 22186.632 Set: 4225.012 Check: 0.0 Back: 532.08 INFO - Atoms: 50756/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 22496752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.806 Prop: 22843.043 PropClause: 22222.699 Set: 4233.601 Check: 0.0 Back: 533.285 INFO - Atoms: 50497/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 22546988 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.81 Prop: 22879.329 PropClause: 22257.621 Set: 4242.04 Check: 0.0 Back: 534.514 INFO - Atoms: 50236/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 22596965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.814 Prop: 22915.819 PropClause: 22292.755 Set: 4250.481 Check: 0.0 Back: 535.725 INFO - Atoms: 49977/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 22646683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.818 Prop: 22951.119 PropClause: 22326.691 Set: 4258.856 Check: 0.0 Back: 536.952 INFO - Atoms: 49718/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 22696142 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.822 Prop: 22986.796 PropClause: 22361.023 Set: 4267.183 Check: 0.0 Back: 538.158 INFO - Atoms: 49459/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 22745342 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.826 Prop: 23021.683 PropClause: 22394.578 Set: 4275.407 Check: 0.0 Back: 539.367 INFO - Atoms: 49200/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 22794283 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.832 Prop: 23056.296 PropClause: 22427.861 Set: 4283.647 Check: 0.0 Back: 540.545 INFO - Atoms: 48941/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 22842965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.836 Prop: 23091.244 PropClause: 22461.482 Set: 4291.819 Check: 0.0 Back: 541.726 INFO - Atoms: 48682/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 22891388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.841 Prop: 23126.643 PropClause: 22495.556 Set: 4300.01 Check: 0.0 Back: 542.895 INFO - Atoms: 48423/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 22939552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.845 Prop: 23162.379 PropClause: 22529.967 Set: 4308.181 Check: 0.0 Back: 544.079 INFO - Atoms: 48164/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 22987457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.85 Prop: 23197.676 PropClause: 22563.954 Set: 4316.282 Check: 0.0 Back: 545.242 INFO - Atoms: 47905/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 23035103 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.855 Prop: 23231.624 PropClause: 22596.606 Set: 4324.296 Check: 0.0 Back: 546.427 INFO - Atoms: 47646/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 23082490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.86 Prop: 23265.255 PropClause: 22628.952 Set: 4332.233 Check: 0.0 Back: 547.551 INFO - Atoms: 47387/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 23129618 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.865 Prop: 23298.557 PropClause: 22660.968 Set: 4340.223 Check: 0.0 Back: 548.708 INFO - Atoms: 47128/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 23176487 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.87 Prop: 23333.963 PropClause: 22695.093 Set: 4364.777 Check: 0.0 Back: 549.846 INFO - Atoms: 46869/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 23223099 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.876 Prop: 23365.635 PropClause: 22725.493 Set: 4372.574 Check: 0.0 Back: 550.964 INFO - Atoms: 46612/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 23269452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.88 Prop: 23397.432 PropClause: 22756.023 Set: 4380.375 Check: 0.0 Back: 552.112 INFO - Atoms: 46353/87680 Clauses: 677 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 837 Props: 25362227 Tprops: 0 Decides: 3741 RSplits: 0 INFO - Times: Expl: 1276.914 Prop: 24846.481 PropClause: 24144.547 Set: 4435.24 Check: 0.087 Back: 601.817 INFO - Atoms: 29043/87680 Clauses: 1176 Axioms: 290162 INFO - Restart INFO - Confl: 1337 Props: 27985954 Tprops: 0 Decides: 11894 RSplits: 0 INFO - Times: Expl: 2084.45 Prop: 26557.832 PropClause: 25778.691 Set: 4499.622 Check: 0.289 Back: 664.136 INFO - Atoms: 29045/87680 Clauses: 1676 Axioms: 290162 INFO - Restart INFO - Confl: 2337 Props: 31454997 Tprops: 0 Decides: 21776 RSplits: 0 INFO - Times: Expl: 3140.789 Prop: 28496.805 PropClause: 27616.491 Set: 4583.014 Check: 0.524 Back: 745.509 INFO - Atoms: 29046/87680 Clauses: 2676 Axioms: 290162 INFO - Confl: 2778 Props: 32780567 Tprops: 0 Decides: 24873 RSplits: 0 INFO - Times: Expl: 3531.367 Prop: 29300.843 PropClause: 28382.069 Set: 4615.275 Check: 0.601 Back: 776.668 INFO - Atoms: 30663/87680 Clauses: 3117 Axioms: 290162 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 348 Props: 68169 Tprops: 15509 Decides: 53195 RSplits: 0 INFO - Times: Expl: 283.39 Prop: 63853.45 PropClause: 19.536 Set: 10055.948 Check: 432.471 Back: 268.353 INFO - Atoms: 1014/1014 Clauses: 348 Axioms: 1014 INFO - CCTimes: iE 650927 eq 29636342 cc 70390547 setRep 53711839 INFO - Merges: 512138, cc:1654462 INFO - BVTimes: BB 284755894 BB_DPLL 57778738456 Graph 258666925 INFO - BitBlastingClauses: 518650 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat