/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_111_096.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 131306467 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 65948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.773 Prop: 93.013 PropClause: 89.906 Set: 102.462 Check: 0.0 Back: 0.0 INFO - Atoms: 65948/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 131454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.806 Prop: 215.087 PropClause: 209.814 Set: 114.46 Check: 0.0 Back: 1.508 INFO - Atoms: 65506/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 196960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.852 Prop: 293.071 PropClause: 285.497 Set: 127.087 Check: 0.0 Back: 3.013 INFO - Atoms: 65506/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 262133 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.911 Prop: 371.05 PropClause: 361.841 Set: 139.546 Check: 0.0 Back: 4.513 INFO - Atoms: 65173/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 327306 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.994 Prop: 449.771 PropClause: 438.951 Set: 196.887 Check: 0.0 Back: 6.004 INFO - Atoms: 65173/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 392479 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.069 Prop: 527.373 PropClause: 514.939 Set: 209.535 Check: 0.0 Back: 7.485 INFO - Atoms: 65173/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 457646 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.114 Prop: 604.813 PropClause: 590.756 Set: 222.157 Check: 0.0 Back: 8.969 INFO - Atoms: 65167/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 522605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.153 Prop: 675.532 PropClause: 659.865 Set: 234.745 Check: 0.0 Back: 10.464 INFO - Atoms: 64959/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 587323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.196 Prop: 747.794 PropClause: 730.525 Set: 247.093 Check: 0.0 Back: 11.951 INFO - Atoms: 64718/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 651813 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.837 Prop: 826.837 PropClause: 807.974 Set: 266.789 Check: 0.0 Back: 13.422 INFO - Atoms: 64490/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 716077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.881 Prop: 901.662 PropClause: 881.211 Set: 285.822 Check: 0.0 Back: 14.918 INFO - Atoms: 64264/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 780113 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.931 Prop: 982.116 PropClause: 960.081 Set: 328.839 Check: 0.0 Back: 16.382 INFO - Atoms: 64036/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 843923 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.972 Prop: 1050.048 PropClause: 1026.417 Set: 341.022 Check: 0.0 Back: 17.831 INFO - Atoms: 63810/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 907505 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.011 Prop: 1124.874 PropClause: 1099.655 Set: 353.403 Check: 0.0 Back: 19.291 INFO - Atoms: 63582/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 970861 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.055 Prop: 1191.974 PropClause: 1165.191 Set: 365.298 Check: 0.0 Back: 20.761 INFO - Atoms: 63356/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1033989 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.095 Prop: 1259.057 PropClause: 1230.726 Set: 377.269 Check: 0.0 Back: 22.202 INFO - Atoms: 63128/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1096891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.137 Prop: 1326.532 PropClause: 1296.645 Set: 389.071 Check: 0.0 Back: 23.627 INFO - Atoms: 62902/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1159565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.211 Prop: 1398.548 PropClause: 1367.113 Set: 401.18 Check: 0.0 Back: 25.062 INFO - Atoms: 62674/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1222013 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.252 Prop: 1474.022 PropClause: 1441.05 Set: 413.016 Check: 0.0 Back: 26.485 INFO - Atoms: 62448/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1284233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.291 Prop: 1541.479 PropClause: 1506.967 Set: 424.914 Check: 0.0 Back: 27.913 INFO - Atoms: 62220/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1346227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.326 Prop: 1607.709 PropClause: 1571.664 Set: 436.549 Check: 0.0 Back: 29.336 INFO - Atoms: 61994/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1408010 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.365 Prop: 1673.143 PropClause: 1635.576 Set: 452.483 Check: 0.0 Back: 30.752 INFO - Atoms: 61783/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1469550 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.408 Prop: 1741.889 PropClause: 1702.8 Set: 470.572 Check: 0.0 Back: 32.146 INFO - Atoms: 61540/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1530878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.448 Prop: 1815.505 PropClause: 1774.896 Set: 489.083 Check: 0.0 Back: 33.538 INFO - Atoms: 61328/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1591964 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.488 Prop: 1882.73 PropClause: 1840.616 Set: 507.019 Check: 0.0 Back: 34.937 INFO - Atoms: 61086/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1652822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.528 Prop: 1950.678 PropClause: 1907.048 Set: 524.137 Check: 0.0 Back: 36.324 INFO - Atoms: 60858/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 1713454 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.569 Prop: 2015.683 PropClause: 1970.536 Set: 535.713 Check: 0.0 Back: 37.732 INFO - Atoms: 60632/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 1773858 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.633 Prop: 2082.163 PropClause: 2035.522 Set: 547.137 Check: 0.0 Back: 39.12 INFO - Atoms: 60404/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 1834036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.671 Prop: 2146.163 PropClause: 2098.048 Set: 558.39 Check: 0.0 Back: 40.5 INFO - Atoms: 60178/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 1894002 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.709 Prop: 2212.298 PropClause: 2162.703 Set: 569.865 Check: 0.0 Back: 41.872 INFO - Atoms: 59966/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 1953726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.747 Prop: 2278.003 PropClause: 2226.929 Set: 581.161 Check: 0.0 Back: 43.244 INFO - Atoms: 59724/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2013237 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.783 Prop: 2343.795 PropClause: 2291.246 Set: 592.468 Check: 0.0 Back: 44.611 INFO - Atoms: 59511/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2072507 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.822 Prop: 2408.081 PropClause: 2354.059 Set: 603.706 Check: 0.0 Back: 45.967 INFO - Atoms: 59270/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2131564 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.864 Prop: 2474.327 PropClause: 2418.831 Set: 615.056 Check: 0.0 Back: 47.333 INFO - Atoms: 59057/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2190380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.902 Prop: 2543.043 PropClause: 2486.088 Set: 626.193 Check: 0.0 Back: 48.699 INFO - Atoms: 58816/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 2248983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.94 Prop: 2608.69 PropClause: 2550.283 Set: 637.399 Check: 0.0 Back: 50.05 INFO - Atoms: 58603/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 2307345 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.977 Prop: 2675.162 PropClause: 2615.309 Set: 648.453 Check: 0.0 Back: 51.396 INFO - Atoms: 58362/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2365495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.021 Prop: 2743.05 PropClause: 2681.734 Set: 659.664 Check: 0.0 Back: 52.731 INFO - Atoms: 58150/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2423403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.06 Prop: 2806.246 PropClause: 2743.493 Set: 670.545 Check: 0.0 Back: 54.072 INFO - Atoms: 57908/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2481098 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.103 Prop: 2870.694 PropClause: 2806.506 Set: 681.52 Check: 0.0 Back: 55.387 INFO - Atoms: 57695/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 2538552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.143 Prop: 2939.072 PropClause: 2873.455 Set: 692.537 Check: 0.0 Back: 56.738 INFO - Atoms: 57454/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 2595794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.192 Prop: 3003.293 PropClause: 2936.255 Set: 703.253 Check: 0.0 Back: 58.053 INFO - Atoms: 57242/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 2652794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.229 Prop: 3063.88 PropClause: 2995.431 Set: 713.806 Check: 0.0 Back: 59.37 INFO - Atoms: 57000/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 2709582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.269 Prop: 3125.757 PropClause: 3055.903 Set: 724.484 Check: 0.0 Back: 60.677 INFO - Atoms: 56788/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 2766128 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.312 Prop: 3185.953 PropClause: 3114.705 Set: 735.088 Check: 0.0 Back: 61.971 INFO - Atoms: 56546/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 2822462 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.353 Prop: 3249.004 PropClause: 3176.365 Set: 745.765 Check: 0.0 Back: 63.289 INFO - Atoms: 56334/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 2878554 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.398 Prop: 3309.302 PropClause: 3235.274 Set: 756.339 Check: 0.0 Back: 64.567 INFO - Atoms: 56092/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 2934434 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.441 Prop: 3372.1 PropClause: 3296.684 Set: 771.934 Check: 0.0 Back: 65.851 INFO - Atoms: 55880/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 2990072 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.48 Prop: 3434.656 PropClause: 3357.856 Set: 787.512 Check: 0.0 Back: 67.13 INFO - Atoms: 55638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 3045498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.526 Prop: 3493.589 PropClause: 3415.414 Set: 798.11 Check: 0.0 Back: 68.417 INFO - Atoms: 55426/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 3100682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.561 Prop: 3553.641 PropClause: 3474.095 Set: 808.487 Check: 0.0 Back: 69.695 INFO - Atoms: 55184/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 3155638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.713 Prop: 3613.42 PropClause: 3532.51 Set: 818.926 Check: 0.0 Back: 70.964 INFO - Atoms: 54956/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 3210368 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.734 Prop: 3671.19 PropClause: 3588.922 Set: 829.188 Check: 0.0 Back: 72.24 INFO - Atoms: 54730/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 3264870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.759 Prop: 3730.935 PropClause: 3647.3 Set: 839.509 Check: 0.0 Back: 73.504 INFO - Atoms: 54502/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 3319146 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.777 Prop: 3788.172 PropClause: 3703.179 Set: 849.716 Check: 0.0 Back: 74.756 INFO - Atoms: 54276/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 3373211 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.798 Prop: 3845.667 PropClause: 3759.33 Set: 859.805 Check: 0.0 Back: 76.002 INFO - Atoms: 54065/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 3427033 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.817 Prop: 3900.556 PropClause: 3812.885 Set: 869.7 Check: 0.0 Back: 77.242 INFO - Atoms: 53822/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 3480643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.837 Prop: 3960.565 PropClause: 3871.568 Set: 879.748 Check: 0.0 Back: 78.477 INFO - Atoms: 53610/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 3534011 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.854 Prop: 4020.756 PropClause: 3930.434 Set: 889.676 Check: 0.0 Back: 79.715 INFO - Atoms: 53368/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 3587151 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.871 Prop: 4077.421 PropClause: 3985.787 Set: 899.59 Check: 0.0 Back: 80.936 INFO - Atoms: 53140/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 3640065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.89 Prop: 4130.548 PropClause: 4037.61 Set: 909.379 Check: 0.0 Back: 82.145 INFO - Atoms: 52914/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 3692768 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.909 Prop: 4185.152 PropClause: 4090.913 Set: 919.187 Check: 0.0 Back: 83.359 INFO - Atoms: 52703/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 3745228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.93 Prop: 4239.314 PropClause: 4143.77 Set: 928.882 Check: 0.0 Back: 84.56 INFO - Atoms: 52460/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 3797476 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.955 Prop: 4289.928 PropClause: 4193.079 Set: 938.447 Check: 0.0 Back: 85.759 INFO - Atoms: 52248/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 3849482 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.973 Prop: 4339.123 PropClause: 4240.997 Set: 947.789 Check: 0.0 Back: 86.958 INFO - Atoms: 52006/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 3901260 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.991 Prop: 4388.75 PropClause: 4289.35 Set: 957.209 Check: 0.0 Back: 88.138 INFO - Atoms: 51778/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 3952812 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.01 Prop: 4441.401 PropClause: 4340.725 Set: 966.538 Check: 0.0 Back: 89.31 INFO - Atoms: 51552/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 4004152 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.028 Prop: 4490.591 PropClause: 4388.647 Set: 975.897 Check: 0.0 Back: 90.477 INFO - Atoms: 51340/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 4055250 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.05 Prop: 4546.157 PropClause: 4442.95 Set: 985.284 Check: 0.0 Back: 91.649 INFO - Atoms: 51098/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 4106136 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.07 Prop: 4594.976 PropClause: 4490.518 Set: 994.489 Check: 0.0 Back: 92.817 INFO - Atoms: 50886/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 4156780 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.089 Prop: 4642.746 PropClause: 4537.026 Set: 1003.707 Check: 0.0 Back: 93.978 INFO - Atoms: 50644/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 4207212 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.107 Prop: 4690.875 PropClause: 4583.904 Set: 1013.015 Check: 0.0 Back: 95.143 INFO - Atoms: 50432/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 4257402 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.131 Prop: 4737.356 PropClause: 4629.138 Set: 1022.111 Check: 0.0 Back: 96.294 INFO - Atoms: 50190/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 4307380 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.148 Prop: 4783.683 PropClause: 4674.234 Set: 1031.139 Check: 0.0 Back: 97.44 INFO - Atoms: 49978/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 4357116 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.165 Prop: 4828.89 PropClause: 4718.221 Set: 1040.044 Check: 0.0 Back: 98.574 INFO - Atoms: 49736/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 4406624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.183 Prop: 4873.75 PropClause: 4761.862 Set: 1048.93 Check: 0.0 Back: 99.699 INFO - Atoms: 49508/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 4455906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.199 Prop: 4919.222 PropClause: 4806.118 Set: 1057.791 Check: 0.0 Back: 100.825 INFO - Atoms: 49282/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 4504960 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.217 Prop: 4972.904 PropClause: 4858.586 Set: 1066.876 Check: 0.0 Back: 101.949 INFO - Atoms: 49054/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 4553788 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.281 Prop: 5017.738 PropClause: 4902.215 Set: 1075.621 Check: 0.0 Back: 103.091 INFO - Atoms: 48828/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 4602405 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.296 Prop: 5066.4 PropClause: 4949.682 Set: 1084.303 Check: 0.0 Back: 104.211 INFO - Atoms: 48617/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 4650779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.311 Prop: 5111.677 PropClause: 4993.757 Set: 1093.038 Check: 0.0 Back: 105.316 INFO - Atoms: 48374/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 4698925 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.325 Prop: 5155.644 PropClause: 5036.525 Set: 1101.672 Check: 0.0 Back: 106.428 INFO - Atoms: 48146/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 4746845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.341 Prop: 5197.689 PropClause: 5077.398 Set: 1110.146 Check: 0.0 Back: 107.52 INFO - Atoms: 47920/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 4794537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.354 Prop: 5240.212 PropClause: 5118.751 Set: 1118.588 Check: 0.0 Back: 108.597 INFO - Atoms: 47692/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 4842003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.37 Prop: 5282.719 PropClause: 5160.091 Set: 1127.027 Check: 0.0 Back: 109.677 INFO - Atoms: 47466/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 4889257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.385 Prop: 5325.233 PropClause: 5201.439 Set: 1135.454 Check: 0.0 Back: 110.756 INFO - Atoms: 47254/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 4936269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.402 Prop: 5366.561 PropClause: 5241.615 Set: 1143.723 Check: 0.0 Back: 111.831 INFO - Atoms: 47012/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 4983068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.416 Prop: 5408.382 PropClause: 5282.287 Set: 1152.04 Check: 0.0 Back: 112.893 INFO - Atoms: 46799/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 5029626 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.431 Prop: 5450.3 PropClause: 5323.048 Set: 1160.373 Check: 0.0 Back: 113.991 INFO - Atoms: 46558/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 5075971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.445 Prop: 5490.734 PropClause: 5362.327 Set: 1168.604 Check: 0.0 Back: 115.058 INFO - Atoms: 46345/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 5122075 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.46 Prop: 5531.211 PropClause: 5401.663 Set: 1176.779 Check: 0.0 Back: 116.109 INFO - Atoms: 46104/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 5167967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.472 Prop: 5570.604 PropClause: 5439.911 Set: 1184.916 Check: 0.0 Back: 117.168 INFO - Atoms: 45892/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 5213617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.487 Prop: 5609.814 PropClause: 5477.989 Set: 1192.996 Check: 0.0 Back: 118.236 INFO - Atoms: 45650/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 5259039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.527 Prop: 5652.397 PropClause: 5519.447 Set: 1201.104 Check: 0.0 Back: 119.282 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 5304235 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.584 Prop: 5693.465 PropClause: 5559.403 Set: 1209.159 Check: 0.0 Back: 120.317 INFO - Atoms: 45196/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 5349219 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.596 Prop: 5733.297 PropClause: 5598.122 Set: 1217.208 Check: 0.0 Back: 121.349 INFO - Atoms: 44984/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 5393961 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.605 Prop: 5771.505 PropClause: 5635.223 Set: 1225.067 Check: 0.0 Back: 122.383 INFO - Atoms: 44742/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 5438490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.614 Prop: 5810.112 PropClause: 5672.735 Set: 1232.896 Check: 0.0 Back: 123.401 INFO - Atoms: 44529/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 5482778 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.624 Prop: 5848.053 PropClause: 5709.587 Set: 1240.607 Check: 0.0 Back: 124.422 INFO - Atoms: 44288/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 5526838 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.633 Prop: 5885.047 PropClause: 5745.492 Set: 1248.341 Check: 0.0 Back: 125.424 INFO - Atoms: 44060/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 5572257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.646 Prop: 5924.2 PropClause: 5783.526 Set: 1256.481 Check: 0.0 Back: 126.429 INFO - Atoms: 45419/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 5617654 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.657 Prop: 5962.676 PropClause: 5820.875 Set: 1264.615 Check: 0.0 Back: 127.467 INFO - Atoms: 45397/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 5662387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.668 Prop: 6000.441 PropClause: 5857.525 Set: 1272.558 Check: 0.0 Back: 128.508 INFO - Atoms: 44733/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 5707787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.689 Prop: 6040.975 PropClause: 5896.941 Set: 1280.67 Check: 0.0 Back: 129.533 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 5753209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.7 Prop: 6078.773 PropClause: 5933.619 Set: 1288.747 Check: 0.0 Back: 130.566 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 5798830 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.711 Prop: 6121.755 PropClause: 5975.47 Set: 1297.138 Check: 0.0 Back: 131.608 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 5844230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.722 Prop: 6161.28 PropClause: 6013.877 Set: 1305.224 Check: 0.0 Back: 132.645 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 5889831 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.732 Prop: 6203.123 PropClause: 6054.598 Set: 1313.489 Check: 0.0 Back: 133.674 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 5934569 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.744 Prop: 6242.491 PropClause: 6092.855 Set: 1321.499 Check: 0.0 Back: 134.704 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 5980168 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.757 Prop: 6284.392 PropClause: 6133.63 Set: 1329.7 Check: 0.0 Back: 135.73 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 6025590 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.768 Prop: 6323.254 PropClause: 6171.373 Set: 1337.816 Check: 0.0 Back: 136.767 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 6071228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.78 Prop: 6361.932 PropClause: 6208.923 Set: 1346.06 Check: 0.0 Back: 137.802 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 6116628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.792 Prop: 6404.851 PropClause: 6250.715 Set: 1354.227 Check: 0.0 Back: 138.847 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 6162227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.801 Prop: 6443.506 PropClause: 6288.236 Set: 1362.472 Check: 0.0 Back: 139.89 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 6206965 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.814 Prop: 6481.678 PropClause: 6325.308 Set: 1370.364 Check: 0.0 Back: 140.926 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 6252564 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.823 Prop: 6521.474 PropClause: 6363.986 Set: 1378.502 Check: 0.0 Back: 141.942 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 6297986 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.835 Prop: 6562.64 PropClause: 6404.032 Set: 1386.8 Check: 0.0 Back: 142.981 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 6343607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.846 Prop: 6602.0 PropClause: 6442.274 Set: 1394.963 Check: 0.0 Back: 144.013 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 6389007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.857 Prop: 6640.496 PropClause: 6479.657 Set: 1403.015 Check: 0.0 Back: 145.043 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 6434606 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.867 Prop: 6680.267 PropClause: 6518.302 Set: 1411.34 Check: 0.0 Back: 146.069 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 6479344 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.88 Prop: 6719.365 PropClause: 6556.304 Set: 1419.249 Check: 0.0 Back: 147.133 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 6524943 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.891 Prop: 6758.529 PropClause: 6594.335 Set: 1427.446 Check: 0.0 Back: 148.151 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 6570365 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.899 Prop: 6796.836 PropClause: 6631.511 Set: 1435.606 Check: 0.0 Back: 149.21 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 6616003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.908 Prop: 6836.169 PropClause: 6669.712 Set: 1443.866 Check: 0.0 Back: 150.249 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 6661403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.92 Prop: 6875.268 PropClause: 6707.692 Set: 1452.023 Check: 0.0 Back: 151.285 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 6707002 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.932 Prop: 6914.71 PropClause: 6746.01 Set: 1460.26 Check: 0.0 Back: 152.324 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 6751740 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.941 Prop: 6954.047 PropClause: 6784.252 Set: 1468.221 Check: 0.0 Back: 153.363 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 6797339 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.951 Prop: 6993.766 PropClause: 6822.828 Set: 1476.405 Check: 0.0 Back: 154.379 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 6842761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.967 Prop: 7036.8 PropClause: 6864.73 Set: 1484.733 Check: 0.0 Back: 155.415 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 6887498 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.005 Prop: 7077.151 PropClause: 6903.977 Set: 1492.743 Check: 0.0 Back: 156.471 INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 6932918 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.013 Prop: 7118.814 PropClause: 6944.52 Set: 1500.95 Check: 0.0 Back: 157.493 INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 6978519 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.022 Prop: 7158.168 PropClause: 6982.745 Set: 1509.23 Check: 0.0 Back: 158.536 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 7023257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.029 Prop: 7196.359 PropClause: 7019.815 Set: 1517.254 Check: 0.0 Back: 159.572 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 7068857 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.035 Prop: 7235.669 PropClause: 7057.989 Set: 1525.589 Check: 0.0 Back: 160.61 INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 7114278 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.04 Prop: 7275.291 PropClause: 7096.488 Set: 1533.828 Check: 0.0 Back: 161.664 INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 7159015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.048 Prop: 7314.429 PropClause: 7134.527 Set: 1541.835 Check: 0.0 Back: 162.697 INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 7204437 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.055 Prop: 7353.127 PropClause: 7172.108 Set: 1549.995 Check: 0.0 Back: 163.719 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 7250036 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.061 Prop: 7392.875 PropClause: 7210.729 Set: 1558.189 Check: 0.0 Back: 164.748 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 7295660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.068 Prop: 7430.195 PropClause: 7246.922 Set: 1566.339 Check: 0.0 Back: 165.794 INFO - Atoms: 45624/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 7341258 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.075 Prop: 7470.707 PropClause: 7286.31 Set: 1574.512 Check: 0.0 Back: 166.837 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 7386660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.081 Prop: 7509.933 PropClause: 7324.423 Set: 1582.571 Check: 0.0 Back: 167.87 INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 7432281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.087 Prop: 7549.032 PropClause: 7362.405 Set: 1590.802 Check: 0.0 Back: 168.898 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 7477681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.094 Prop: 7587.096 PropClause: 7399.341 Set: 1598.943 Check: 0.0 Back: 169.925 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 7523280 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.101 Prop: 7626.322 PropClause: 7437.431 Set: 1607.257 Check: 0.0 Back: 170.987 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 7568018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.108 Prop: 7670.299 PropClause: 7480.298 Set: 1615.441 Check: 0.0 Back: 172.023 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 7613619 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.116 Prop: 7710.591 PropClause: 7519.469 Set: 1623.621 Check: 0.0 Back: 173.053 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 7659039 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.123 Prop: 7749.313 PropClause: 7557.057 Set: 1631.869 Check: 0.0 Back: 174.082 INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 7704660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.131 Prop: 7788.533 PropClause: 7595.15 Set: 1640.115 Check: 0.0 Back: 175.143 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 7750060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.139 Prop: 7827.915 PropClause: 7633.409 Set: 1648.282 Check: 0.0 Back: 176.174 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 7795659 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.145 Prop: 7866.456 PropClause: 7670.831 Set: 1656.489 Check: 0.0 Back: 177.206 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 7840397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.179 Prop: 7904.452 PropClause: 7707.728 Set: 1664.437 Check: 0.0 Back: 178.237 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 7885996 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.209 Prop: 7942.897 PropClause: 7745.057 Set: 1672.597 Check: 0.0 Back: 179.25 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 7931418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.218 Prop: 7981.655 PropClause: 7782.693 Set: 1680.718 Check: 0.0 Back: 180.293 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 7977056 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.224 Prop: 8019.354 PropClause: 7819.261 Set: 1688.985 Check: 0.0 Back: 181.338 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 8022456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.23 Prop: 8060.367 PropClause: 7859.151 Set: 1697.166 Check: 0.0 Back: 182.382 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 8068055 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.236 Prop: 8099.387 PropClause: 7897.038 Set: 1705.389 Check: 0.0 Back: 183.42 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 8112793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.243 Prop: 8137.618 PropClause: 7934.171 Set: 1713.366 Check: 0.0 Back: 184.452 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 8158391 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.25 Prop: 8177.625 PropClause: 7973.052 Set: 1721.641 Check: 0.0 Back: 185.46 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 8203814 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.256 Prop: 8219.456 PropClause: 8013.749 Set: 1729.937 Check: 0.0 Back: 186.505 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 8249451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.263 Prop: 8257.477 PropClause: 8050.644 Set: 1738.186 Check: 0.0 Back: 187.55 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 8294851 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.271 Prop: 8297.115 PropClause: 8089.175 Set: 1746.365 Check: 0.0 Back: 188.58 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 8340450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.276 Prop: 8336.465 PropClause: 8127.396 Set: 1754.685 Check: 0.0 Back: 189.605 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 8385188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.284 Prop: 8382.617 PropClause: 8172.438 Set: 1763.22 Check: 0.0 Back: 190.639 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 8430786 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.293 Prop: 8422.068 PropClause: 8210.752 Set: 1771.518 Check: 0.0 Back: 191.671 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 8476209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.299 Prop: 8460.329 PropClause: 8247.89 Set: 1779.711 Check: 0.0 Back: 192.713 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 8521845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.305 Prop: 8499.53 PropClause: 8285.965 Set: 1787.999 Check: 0.0 Back: 193.748 INFO - Atoms: 45636/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 8567245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.312 Prop: 8539.713 PropClause: 8325.034 Set: 1796.165 Check: 0.0 Back: 194.785 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 8612844 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.318 Prop: 8580.583 PropClause: 8364.779 Set: 1804.46 Check: 0.0 Back: 195.813 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 8657582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.325 Prop: 8619.745 PropClause: 8402.829 Set: 1812.51 Check: 0.0 Back: 196.849 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 8703180 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.331 Prop: 8658.667 PropClause: 8440.631 Set: 1820.792 Check: 0.0 Back: 197.868 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 8748603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.336 Prop: 8698.334 PropClause: 8479.184 Set: 1828.946 Check: 0.0 Back: 198.91 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 8794224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.342 Prop: 8738.643 PropClause: 8518.372 Set: 1837.21 Check: 0.0 Back: 199.938 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 8839624 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.349 Prop: 8780.583 PropClause: 8559.185 Set: 1845.495 Check: 0.0 Back: 200.974 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 8885223 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.357 Prop: 8821.898 PropClause: 8599.376 Set: 1853.886 Check: 0.0 Back: 202.013 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 8929961 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.364 Prop: 8861.219 PropClause: 8637.575 Set: 1861.976 Check: 0.0 Back: 203.05 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 8975559 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.372 Prop: 8900.829 PropClause: 8676.053 Set: 1870.374 Check: 0.0 Back: 204.074 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 9020982 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.379 Prop: 8941.713 PropClause: 8715.81 Set: 1878.645 Check: 0.0 Back: 205.156 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 9066603 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.385 Prop: 8983.095 PropClause: 8756.066 Set: 1887.022 Check: 0.0 Back: 206.187 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 9112003 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.395 Prop: 9027.2 PropClause: 8799.051 Set: 1895.353 Check: 0.0 Back: 207.227 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 9157602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.401 Prop: 9072.436 PropClause: 8843.152 Set: 1903.857 Check: 0.0 Back: 208.265 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 9203224 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.409 Prop: 9120.908 PropClause: 8890.505 Set: 1912.312 Check: 0.0 Back: 209.302 INFO - Atoms: 45622/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 9248824 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.417 Prop: 9161.133 PropClause: 8929.609 Set: 1920.534 Check: 0.0 Back: 210.341 INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 9294226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.424 Prop: 9201.262 PropClause: 8968.618 Set: 1928.789 Check: 0.0 Back: 211.379 INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 9339863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.431 Prop: 9243.658 PropClause: 9009.885 Set: 1937.189 Check: 0.0 Back: 212.414 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 9385263 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.437 Prop: 9284.476 PropClause: 9049.568 Set: 1945.476 Check: 0.0 Back: 213.472 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 9430864 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.444 Prop: 9324.175 PropClause: 9088.134 Set: 1953.81 Check: 0.0 Back: 214.503 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 9475602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.448 Prop: 9363.286 PropClause: 9126.139 Set: 1961.942 Check: 0.0 Back: 215.547 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 9521202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.455 Prop: 9402.933 PropClause: 9164.656 Set: 1970.261 Check: 0.0 Back: 216.57 INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 9566623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.461 Prop: 9442.641 PropClause: 9203.243 Set: 1978.545 Check: 0.0 Back: 217.616 INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 9612244 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.467 Prop: 9481.903 PropClause: 9241.386 Set: 1986.748 Check: 0.0 Back: 218.647 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 9657644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.473 Prop: 9520.982 PropClause: 9279.349 Set: 1994.955 Check: 0.0 Back: 219.684 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 9703243 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.481 Prop: 9565.051 PropClause: 9322.297 Set: 2003.389 Check: 0.0 Back: 220.707 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 9747981 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.488 Prop: 9605.231 PropClause: 9361.374 Set: 2011.46 Check: 0.0 Back: 221.746 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 9793579 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.495 Prop: 9645.428 PropClause: 9400.449 Set: 2019.839 Check: 0.0 Back: 222.766 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 9839002 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.504 Prop: 9689.517 PropClause: 9443.404 Set: 2028.234 Check: 0.0 Back: 223.798 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 9884623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.51 Prop: 9730.523 PropClause: 9483.277 Set: 2036.604 Check: 0.0 Back: 224.843 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 9930023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.517 Prop: 9771.955 PropClause: 9523.581 Set: 2044.978 Check: 0.0 Back: 225.889 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 9975622 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.524 Prop: 9817.117 PropClause: 9567.615 Set: 2063.518 Check: 0.0 Back: 226.936 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 10020360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.531 Prop: 9856.414 PropClause: 9605.809 Set: 2071.669 Check: 0.0 Back: 227.975 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 10065958 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.538 Prop: 9899.47 PropClause: 9647.742 Set: 2080.039 Check: 0.0 Back: 228.999 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 10111381 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.545 Prop: 9941.342 PropClause: 9688.489 Set: 2088.361 Check: 0.0 Back: 230.046 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 10157019 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.552 Prop: 9983.757 PropClause: 9729.776 Set: 2096.874 Check: 0.0 Back: 231.075 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 10202419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.56 Prop: 10024.477 PropClause: 9769.373 Set: 2105.281 Check: 0.0 Back: 232.117 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 10248018 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.566 Prop: 10064.731 PropClause: 9808.502 Set: 2113.538 Check: 0.0 Back: 233.148 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 10292756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.574 Prop: 10105.577 PropClause: 9848.241 Set: 2121.657 Check: 0.0 Back: 234.191 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 10338354 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.582 Prop: 10145.106 PropClause: 9886.637 Set: 2130.051 Check: 0.0 Back: 235.21 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 10383777 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.589 Prop: 10184.11 PropClause: 9924.499 Set: 2138.337 Check: 0.0 Back: 236.268 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 10429398 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.595 Prop: 10223.422 PropClause: 9962.675 Set: 2146.7 Check: 0.0 Back: 237.313 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 10474798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.601 Prop: 10263.763 PropClause: 10001.891 Set: 2154.986 Check: 0.0 Back: 238.36 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 10520397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.608 Prop: 10304.189 PropClause: 10041.189 Set: 2163.301 Check: 0.0 Back: 239.406 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 10565135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.616 Prop: 10344.662 PropClause: 10080.561 Set: 2171.434 Check: 0.0 Back: 240.438 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 10610733 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.623 Prop: 10384.177 PropClause: 10118.95 Set: 2179.771 Check: 0.0 Back: 241.461 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 10656156 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.631 Prop: 10424.428 PropClause: 10158.079 Set: 2188.069 Check: 0.0 Back: 242.498 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 10701794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.636 Prop: 10463.733 PropClause: 10196.247 Set: 2196.363 Check: 0.0 Back: 243.533 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 10747194 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.642 Prop: 10503.407 PropClause: 10234.801 Set: 2204.631 Check: 0.0 Back: 244.652 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 10792793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.65 Prop: 10543.213 PropClause: 10273.473 Set: 2212.965 Check: 0.0 Back: 245.69 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 10837531 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.658 Prop: 10582.799 PropClause: 10311.951 Set: 2221.135 Check: 0.0 Back: 246.736 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 10883129 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.666 Prop: 10621.414 PropClause: 10349.437 Set: 2229.49 Check: 0.0 Back: 247.768 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 10928552 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.674 Prop: 10664.31 PropClause: 10391.206 Set: 2237.856 Check: 0.0 Back: 248.821 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 10974189 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.68 Prop: 10705.592 PropClause: 10431.363 Set: 2246.298 Check: 0.0 Back: 249.857 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 11019589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.687 Prop: 10746.491 PropClause: 10471.136 Set: 2254.627 Check: 0.0 Back: 250.905 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 11065188 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.694 Prop: 10786.504 PropClause: 10509.95 Set: 2262.92 Check: 0.0 Back: 251.944 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 11109926 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.7 Prop: 10826.622 PropClause: 10548.962 Set: 2271.044 Check: 0.0 Back: 252.977 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 11155525 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.706 Prop: 10865.451 PropClause: 10586.663 Set: 2279.389 Check: 0.0 Back: 253.995 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 11200947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.713 Prop: 10904.381 PropClause: 10624.472 Set: 2287.674 Check: 0.0 Back: 255.036 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 11246583 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.719 Prop: 10943.845 PropClause: 10662.81 Set: 2295.987 Check: 0.0 Back: 256.073 INFO - Atoms: 45636/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 11291983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.726 Prop: 10983.701 PropClause: 10701.53 Set: 2304.33 Check: 0.0 Back: 257.113 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 11337582 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.732 Prop: 11024.407 PropClause: 10741.096 Set: 2312.793 Check: 0.0 Back: 258.153 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 11382320 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.74 Prop: 11063.398 PropClause: 10778.975 Set: 2320.936 Check: 0.0 Back: 259.203 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 11427919 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.748 Prop: 11102.97 PropClause: 10817.412 Set: 2329.239 Check: 0.0 Back: 260.225 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 11473341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.754 Prop: 11143.457 PropClause: 10856.78 Set: 2337.517 Check: 0.0 Back: 261.263 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 11518962 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.762 Prop: 11182.377 PropClause: 10894.573 Set: 2345.789 Check: 0.0 Back: 262.307 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 11564362 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.767 Prop: 11220.551 PropClause: 10931.632 Set: 2353.983 Check: 0.0 Back: 263.35 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 11609961 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.775 Prop: 11259.048 PropClause: 10969.003 Set: 2362.28 Check: 0.0 Back: 264.381 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 11654699 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.783 Prop: 11297.917 PropClause: 11006.768 Set: 2370.402 Check: 0.0 Back: 265.416 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 11700297 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.789 Prop: 11336.584 PropClause: 11044.315 Set: 2378.676 Check: 0.0 Back: 266.43 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 11745720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.796 Prop: 11375.293 PropClause: 11081.894 Set: 2386.954 Check: 0.0 Back: 267.471 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 11791358 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.804 Prop: 11413.328 PropClause: 11118.798 Set: 2395.344 Check: 0.0 Back: 268.52 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 11836758 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.811 Prop: 11454.795 PropClause: 11159.135 Set: 2403.694 Check: 0.0 Back: 269.574 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 11882357 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.818 Prop: 11495.441 PropClause: 11198.656 Set: 2411.98 Check: 0.0 Back: 270.61 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 11927095 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.824 Prop: 11532.682 PropClause: 11234.791 Set: 2419.994 Check: 0.0 Back: 271.646 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 11972693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.831 Prop: 11570.886 PropClause: 11271.869 Set: 2428.323 Check: 0.0 Back: 272.669 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 12018116 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.838 Prop: 11608.889 PropClause: 11308.744 Set: 2436.576 Check: 0.0 Back: 273.71 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 12063753 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.844 Prop: 11647.471 PropClause: 11346.196 Set: 2444.94 Check: 0.0 Back: 274.739 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 12109153 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.851 Prop: 11685.906 PropClause: 11383.504 Set: 2453.181 Check: 0.0 Back: 275.765 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 12154752 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.856 Prop: 11724.223 PropClause: 11420.698 Set: 2461.427 Check: 0.0 Back: 276.795 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 12199490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.864 Prop: 11762.339 PropClause: 11457.713 Set: 2469.587 Check: 0.0 Back: 277.818 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 12245089 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.872 Prop: 11804.705 PropClause: 11498.946 Set: 2477.999 Check: 0.0 Back: 278.835 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 12290511 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.877 Prop: 11842.747 PropClause: 11535.852 Set: 2486.369 Check: 0.0 Back: 279.885 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 12335248 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.884 Prop: 11881.175 PropClause: 11573.171 Set: 2494.418 Check: 0.0 Back: 280.938 INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 12380668 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.892 Prop: 11923.037 PropClause: 11613.901 Set: 2502.966 Check: 0.0 Back: 281.966 INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 12426269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.898 Prop: 11962.081 PropClause: 11651.814 Set: 2524.638 Check: 0.0 Back: 283.01 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 12471007 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.906 Prop: 12000.204 PropClause: 11688.83 Set: 2532.743 Check: 0.0 Back: 284.047 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 12516607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.915 Prop: 12043.252 PropClause: 11730.733 Set: 2541.394 Check: 0.0 Back: 285.071 INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 12562028 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.922 Prop: 12082.163 PropClause: 11768.523 Set: 2549.713 Check: 0.0 Back: 286.117 INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 12607665 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.928 Prop: 12125.464 PropClause: 11810.661 Set: 2558.179 Check: 0.0 Back: 287.157 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 12653065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.936 Prop: 12168.2 PropClause: 11852.24 Set: 2566.86 Check: 0.0 Back: 288.214 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 12698666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.942 Prop: 12208.777 PropClause: 11891.683 Set: 2575.312 Check: 0.0 Back: 289.353 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 12743404 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.95 Prop: 12247.775 PropClause: 11929.563 Set: 2583.493 Check: 0.0 Back: 290.401 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 12789002 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.956 Prop: 12292.165 PropClause: 11972.811 Set: 2592.117 Check: 0.0 Back: 291.429 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 12834425 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.964 Prop: 12337.339 PropClause: 12016.861 Set: 2600.718 Check: 0.0 Back: 292.482 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 12880061 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.971 Prop: 12386.762 PropClause: 12065.132 Set: 2609.502 Check: 0.0 Back: 293.543 INFO - Atoms: 45636/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 12925461 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.978 Prop: 12432.768 PropClause: 12110.006 Set: 2618.024 Check: 0.0 Back: 294.594 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 12971060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.987 Prop: 12482.168 PropClause: 12158.218 Set: 2627.546 Check: 0.0 Back: 295.635 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 13015798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.994 Prop: 12527.855 PropClause: 12202.788 Set: 2635.912 Check: 0.0 Back: 296.678 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 13061397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.002 Prop: 12573.596 PropClause: 12247.395 Set: 2644.575 Check: 0.0 Back: 297.717 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 13106819 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.009 Prop: 12620.921 PropClause: 12293.593 Set: 2653.08 Check: 0.0 Back: 298.775 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 13152456 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.017 Prop: 12665.699 PropClause: 12337.232 Set: 2661.63 Check: 0.0 Back: 299.819 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 13197856 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.023 Prop: 12708.622 PropClause: 12379.022 Set: 2670.125 Check: 0.0 Back: 300.871 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 13243455 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.03 Prop: 12761.158 PropClause: 12430.417 Set: 2678.917 Check: 0.0 Back: 301.914 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 13288193 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.037 Prop: 12808.321 PropClause: 12476.466 Set: 2687.267 Check: 0.0 Back: 302.97 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 13333791 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.044 Prop: 12851.614 PropClause: 12518.633 Set: 2695.822 Check: 0.0 Back: 304.011 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 13379214 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.051 Prop: 12895.652 PropClause: 12561.541 Set: 2704.354 Check: 0.0 Back: 305.058 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 13423966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.057 Prop: 12940.101 PropClause: 12604.874 Set: 2712.733 Check: 0.0 Back: 306.102 INFO - Atoms: 44752/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 13469386 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.064 Prop: 12985.95 PropClause: 12649.591 Set: 2721.384 Check: 0.0 Back: 307.134 INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 13514987 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.071 Prop: 13030.236 PropClause: 12692.745 Set: 2729.936 Check: 0.0 Back: 308.173 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 13560611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.078 Prop: 13074.135 PropClause: 12735.51 Set: 2738.557 Check: 0.0 Back: 309.223 INFO - Atoms: 45624/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 13606209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.084 Prop: 13118.237 PropClause: 12778.477 Set: 2747.222 Check: 0.0 Back: 310.272 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 13651611 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.09 Prop: 13162.076 PropClause: 12821.184 Set: 2755.728 Check: 0.0 Back: 311.326 INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 13696363 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.096 Prop: 13208.689 PropClause: 12866.678 Set: 2764.295 Check: 0.0 Back: 312.378 INFO - Atoms: 44752/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 13741783 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.103 Prop: 13251.609 PropClause: 12908.46 Set: 2772.88 Check: 0.0 Back: 313.411 INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 13787384 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.11 Prop: 13292.996 PropClause: 12948.71 Set: 2781.419 Check: 0.0 Back: 314.454 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 13833006 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.116 Prop: 13335.228 PropClause: 12989.81 Set: 2789.903 Check: 0.0 Back: 315.499 INFO - Atoms: 45622/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 13878606 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.124 Prop: 13382.007 PropClause: 13035.458 Set: 2798.781 Check: 0.0 Back: 316.547 INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 13924008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.13 Prop: 13425.346 PropClause: 13077.672 Set: 2807.211 Check: 0.0 Back: 317.6 INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 13969629 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.137 Prop: 13467.274 PropClause: 13118.463 Set: 2815.715 Check: 0.0 Back: 318.639 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 14015029 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.145 Prop: 13511.227 PropClause: 13161.292 Set: 2824.252 Check: 0.0 Back: 319.683 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 14060628 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.151 Prop: 13556.81 PropClause: 13205.737 Set: 2832.836 Check: 0.0 Back: 320.725 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 14105366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.158 Prop: 13600.892 PropClause: 13248.711 Set: 2841.304 Check: 0.0 Back: 321.767 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 14150966 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.166 Prop: 13649.319 PropClause: 13296.002 Set: 2849.927 Check: 0.0 Back: 322.804 INFO - Atoms: 45600/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 14196387 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.173 Prop: 13693.199 PropClause: 13338.749 Set: 2858.5 Check: 0.0 Back: 323.856 INFO - Atoms: 45421/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 14242024 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.179 Prop: 13736.768 PropClause: 13381.183 Set: 2867.147 Check: 0.0 Back: 324.899 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 14287424 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.187 Prop: 13779.798 PropClause: 13423.09 Set: 2875.693 Check: 0.0 Back: 325.96 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 14333023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.193 Prop: 13822.48 PropClause: 13464.644 Set: 2884.198 Check: 0.0 Back: 326.996 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 14377761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.199 Prop: 13863.444 PropClause: 13504.498 Set: 2892.524 Check: 0.0 Back: 328.044 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 14423360 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.206 Prop: 13905.043 PropClause: 13544.964 Set: 2901.046 Check: 0.0 Back: 329.075 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 14468782 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.212 Prop: 13946.85 PropClause: 13585.641 Set: 2909.61 Check: 0.0 Back: 330.124 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 14514403 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.219 Prop: 13989.164 PropClause: 13626.818 Set: 2918.134 Check: 0.0 Back: 331.165 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 14559803 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.227 Prop: 14032.067 PropClause: 13668.595 Set: 2926.647 Check: 0.0 Back: 332.228 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 14605402 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.235 Prop: 14073.682 PropClause: 13709.081 Set: 2935.186 Check: 0.0 Back: 333.269 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 14650140 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.241 Prop: 14115.414 PropClause: 13749.698 Set: 2943.551 Check: 0.0 Back: 334.326 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 14695739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.249 Prop: 14157.221 PropClause: 13790.371 Set: 2952.167 Check: 0.0 Back: 335.37 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 14741161 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.257 Prop: 14199.835 PropClause: 13831.848 Set: 2960.706 Check: 0.0 Back: 336.429 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 14786798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.264 Prop: 14243.601 PropClause: 13874.467 Set: 2969.274 Check: 0.0 Back: 337.471 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 14832198 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.271 Prop: 14289.629 PropClause: 13919.365 Set: 2977.91 Check: 0.0 Back: 338.519 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 14877797 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.278 Prop: 14330.737 PropClause: 13959.336 Set: 2986.443 Check: 0.0 Back: 339.563 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 14922535 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.285 Prop: 14371.889 PropClause: 13999.377 Set: 2994.74 Check: 0.0 Back: 340.61 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 14968133 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.291 Prop: 14414.653 PropClause: 14041.005 Set: 3003.388 Check: 0.0 Back: 341.638 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 15013556 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.298 Prop: 14456.397 PropClause: 14081.586 Set: 3011.961 Check: 0.0 Back: 342.692 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 15059177 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.305 Prop: 14500.295 PropClause: 14124.355 Set: 3020.634 Check: 0.0 Back: 343.741 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 15104577 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.311 Prop: 14540.745 PropClause: 14163.674 Set: 3029.067 Check: 0.0 Back: 344.783 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 15150176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.318 Prop: 14581.917 PropClause: 14203.704 Set: 3037.644 Check: 0.0 Back: 345.833 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 15194914 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.324 Prop: 14620.794 PropClause: 14241.458 Set: 3045.808 Check: 0.0 Back: 346.883 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 15240513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.33 Prop: 14660.505 PropClause: 14280.037 Set: 3054.36 Check: 0.0 Back: 347.913 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 15285935 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.335 Prop: 14701.595 PropClause: 14320.006 Set: 3062.736 Check: 0.0 Back: 348.966 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 15331573 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.34 Prop: 14742.298 PropClause: 14359.589 Set: 3071.198 Check: 0.0 Back: 350.004 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 15376973 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.347 Prop: 14781.866 PropClause: 14398.039 Set: 3079.572 Check: 0.0 Back: 351.049 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 15422572 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.353 Prop: 14822.115 PropClause: 14437.167 Set: 3088.05 Check: 0.0 Back: 352.085 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 15467310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.359 Prop: 14862.879 PropClause: 14476.821 Set: 3096.348 Check: 0.0 Back: 353.139 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 15512909 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.368 Prop: 14910.128 PropClause: 14522.916 Set: 3117.228 Check: 0.0 Back: 354.217 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 15558331 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.376 Prop: 14962.867 PropClause: 14574.5 Set: 3126.354 Check: 0.0 Back: 355.3 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 15603968 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.384 Prop: 15013.973 PropClause: 14624.445 Set: 3135.281 Check: 0.0 Back: 356.37 INFO - Atoms: 45637/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 15649368 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.392 Prop: 15064.25 PropClause: 14673.568 Set: 3144.174 Check: 0.0 Back: 357.44 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 15694967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.401 Prop: 15112.508 PropClause: 14720.693 Set: 3153.042 Check: 0.0 Back: 358.51 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 15739705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.41 Prop: 15157.529 PropClause: 14764.604 Set: 3161.782 Check: 0.0 Back: 359.625 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 15785303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.417 Prop: 15203.105 PropClause: 14809.046 Set: 3170.749 Check: 0.0 Back: 360.7 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 15830726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.425 Prop: 15247.459 PropClause: 14852.269 Set: 3179.321 Check: 0.0 Back: 361.748 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 15876347 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.431 Prop: 15289.786 PropClause: 14893.465 Set: 3187.848 Check: 0.0 Back: 362.813 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 15921747 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.437 Prop: 15332.932 PropClause: 14935.476 Set: 3196.343 Check: 0.0 Back: 363.859 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 15967346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.446 Prop: 15385.179 PropClause: 14986.584 Set: 3205.207 Check: 0.0 Back: 364.9 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 16012084 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.453 Prop: 15431.549 PropClause: 15031.834 Set: 3213.782 Check: 0.0 Back: 365.966 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 16057682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.461 Prop: 15482.918 PropClause: 15082.058 Set: 3222.816 Check: 0.0 Back: 367.035 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 16103105 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.469 Prop: 15530.65 PropClause: 15128.646 Set: 3231.694 Check: 0.0 Back: 368.123 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 16148743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.478 Prop: 15577.339 PropClause: 15174.175 Set: 3240.517 Check: 0.0 Back: 369.183 INFO - Atoms: 45638/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 16194143 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.486 Prop: 15624.123 PropClause: 15219.83 Set: 3249.27 Check: 0.0 Back: 370.257 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 16239742 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.493 Prop: 15671.737 PropClause: 15266.312 Set: 3258.054 Check: 0.0 Back: 371.312 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 16284480 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.501 Prop: 15720.852 PropClause: 15314.309 Set: 3266.927 Check: 0.0 Back: 372.383 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 16330078 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.509 Prop: 15767.856 PropClause: 15360.171 Set: 3275.986 Check: 0.0 Back: 373.424 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 16375501 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.516 Prop: 15813.916 PropClause: 15405.078 Set: 3284.908 Check: 0.0 Back: 374.504 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 16421122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.524 Prop: 15860.395 PropClause: 15450.416 Set: 3293.919 Check: 0.0 Back: 375.58 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 16466522 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.532 Prop: 15907.591 PropClause: 15496.471 Set: 3302.727 Check: 0.0 Back: 376.653 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 16512121 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.54 Prop: 15950.402 PropClause: 15538.152 Set: 3311.263 Check: 0.0 Back: 377.704 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 16556859 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.547 Prop: 15997.592 PropClause: 15584.213 Set: 3319.825 Check: 0.0 Back: 378.774 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 16602457 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.554 Prop: 16043.057 PropClause: 15628.541 Set: 3328.557 Check: 0.0 Back: 379.819 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 16647880 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.562 Prop: 16089.639 PropClause: 15673.996 Set: 3337.336 Check: 0.0 Back: 380.872 INFO - Atoms: 45423/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 16692617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.57 Prop: 16134.474 PropClause: 15717.717 Set: 3349.249 Check: 0.0 Back: 381.936 INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 16738037 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.576 Prop: 16178.011 PropClause: 15760.118 Set: 3358.026 Check: 0.0 Back: 382.975 INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 16783638 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.584 Prop: 16222.385 PropClause: 15803.354 Set: 3366.689 Check: 0.0 Back: 384.026 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 16828376 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.59 Prop: 16266.034 PropClause: 15845.892 Set: 3375.133 Check: 0.0 Back: 385.077 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 16873977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.597 Prop: 16309.668 PropClause: 15888.389 Set: 3384.036 Check: 0.0 Back: 386.114 INFO - Atoms: 45601/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 16919397 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.753 Prop: 16356.28 PropClause: 15933.87 Set: 3392.823 Check: 0.0 Back: 387.205 INFO - Atoms: 45420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 16964134 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.773 Prop: 16401.109 PropClause: 15977.582 Set: 3401.435 Check: 0.0 Back: 388.268 INFO - Atoms: 44737/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 17009556 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.832 Prop: 16447.016 PropClause: 16022.35 Set: 3421.559 Check: 0.0 Back: 389.318 INFO - Atoms: 45422/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 17055155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.882 Prop: 16493.632 PropClause: 16067.826 Set: 3430.382 Check: 0.0 Back: 390.385 INFO - Atoms: 45599/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 17100777 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.893 Prop: 16537.321 PropClause: 16110.372 Set: 3439.031 Check: 0.0 Back: 391.458 INFO - Atoms: 45622/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 17146375 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.904 Prop: 16583.038 PropClause: 16154.95 Set: 3447.757 Check: 0.0 Back: 392.513 INFO - Atoms: 45598/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 17191777 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.915 Prop: 16630.336 PropClause: 16201.113 Set: 3456.564 Check: 0.0 Back: 393.571 INFO - Atoms: 45402/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 17237398 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.928 Prop: 16676.904 PropClause: 16246.535 Set: 3465.786 Check: 0.0 Back: 394.629 INFO - Atoms: 45621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 17282798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.942 Prop: 16725.539 PropClause: 16294.024 Set: 3474.585 Check: 0.0 Back: 395.706 INFO - Atoms: 45400/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 17328303 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.955 Prop: 16772.215 PropClause: 16339.548 Set: 3483.455 Check: 0.0 Back: 396.772 INFO - Atoms: 45505/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 17373041 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.971 Prop: 16822.411 PropClause: 16388.588 Set: 3493.325 Check: 0.0 Back: 397.857 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 17418440 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.985 Prop: 16870.299 PropClause: 16435.334 Set: 3502.27 Check: 0.0 Back: 398.913 INFO - Atoms: 45399/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 17463748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 6.999 Prop: 16916.417 PropClause: 16480.317 Set: 3511.033 Check: 0.0 Back: 399.988 INFO - Atoms: 45308/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 17509176 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.012 Prop: 16964.991 PropClause: 16527.744 Set: 3519.892 Check: 0.0 Back: 401.048 INFO - Atoms: 45428/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 17554364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.025 Prop: 17014.217 PropClause: 16575.835 Set: 3528.775 Check: 0.0 Back: 402.143 INFO - Atoms: 45188/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 17599555 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.038 Prop: 17057.943 PropClause: 16618.423 Set: 3537.431 Check: 0.0 Back: 403.209 INFO - Atoms: 45191/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 17644293 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.05 Prop: 17102.27 PropClause: 16661.628 Set: 3545.931 Check: 0.0 Back: 404.266 INFO - Atoms: 44738/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 17689259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.099 Prop: 17148.277 PropClause: 16706.509 Set: 3554.651 Check: 0.0 Back: 405.306 INFO - Atoms: 44966/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 17734226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.111 Prop: 17200.821 PropClause: 16757.907 Set: 3564.137 Check: 0.0 Back: 406.355 INFO - Atoms: 44967/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 17779192 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.151 Prop: 17245.553 PropClause: 16801.51 Set: 3572.801 Check: 0.0 Back: 407.411 INFO - Atoms: 44966/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 17824265 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.165 Prop: 17292.951 PropClause: 16847.758 Set: 3581.505 Check: 0.0 Back: 408.489 INFO - Atoms: 45073/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 17869537 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.179 Prop: 17339.231 PropClause: 16892.893 Set: 3590.487 Check: 0.0 Back: 409.541 INFO - Atoms: 45272/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 17914588 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.193 Prop: 17385.476 PropClause: 16938.012 Set: 3599.302 Check: 0.0 Back: 410.608 INFO - Atoms: 45051/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 17959878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.205 Prop: 17433.845 PropClause: 16985.232 Set: 3608.394 Check: 0.0 Back: 411.681 INFO - Atoms: 45290/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 18004497 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.245 Prop: 17483.091 PropClause: 17033.352 Set: 3617.124 Check: 0.0 Back: 412.746 INFO - Atoms: 44619/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 18049362 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.258 Prop: 17532.248 PropClause: 17081.355 Set: 3626.033 Check: 0.0 Back: 413.787 INFO - Atoms: 44865/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 18093983 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.272 Prop: 17585.345 PropClause: 17133.316 Set: 3634.94 Check: 0.0 Back: 414.861 INFO - Atoms: 44621/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 18138390 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.284 Prop: 17631.493 PropClause: 17178.357 Set: 3643.522 Check: 0.0 Back: 415.913 INFO - Atoms: 44407/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 18183012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.332 Prop: 17681.217 PropClause: 17226.964 Set: 3655.77 Check: 0.0 Back: 417.033 INFO - Atoms: 44622/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 18227841 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.345 Prop: 17725.546 PropClause: 17270.158 Set: 3664.171 Check: 0.0 Back: 418.082 INFO - Atoms: 44829/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 18272917 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.357 Prop: 17772.224 PropClause: 17315.696 Set: 3672.541 Check: 0.0 Back: 419.128 INFO - Atoms: 45076/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 18318200 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.37 Prop: 17814.328 PropClause: 17356.659 Set: 3681.605 Check: 0.0 Back: 420.179 INFO - Atoms: 45283/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 18363730 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.38 Prop: 17858.14 PropClause: 17399.324 Set: 3689.815 Check: 0.0 Back: 421.22 INFO - Atoms: 45530/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 18409467 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.392 Prop: 17899.763 PropClause: 17439.791 Set: 3698.047 Check: 0.0 Back: 422.28 INFO - Atoms: 45737/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 18455451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.405 Prop: 17944.288 PropClause: 17483.163 Set: 3718.879 Check: 0.0 Back: 423.334 INFO - Atoms: 45984/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 386 Props: 18501642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.418 Prop: 17986.328 PropClause: 17524.047 Set: 3727.317 Check: 0.0 Back: 424.386 INFO - Atoms: 46191/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 387 Props: 18548080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.429 Prop: 18029.716 PropClause: 17566.261 Set: 3736.048 Check: 0.0 Back: 425.459 INFO - Atoms: 46438/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 388 Props: 18594725 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.441 Prop: 18076.071 PropClause: 17611.446 Set: 3744.524 Check: 0.0 Back: 426.532 INFO - Atoms: 46645/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 389 Props: 18641617 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.454 Prop: 18120.843 PropClause: 17655.036 Set: 3753.256 Check: 0.0 Back: 427.607 INFO - Atoms: 46892/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 390 Props: 18688716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.466 Prop: 18172.307 PropClause: 17705.301 Set: 3762.14 Check: 0.0 Back: 428.751 INFO - Atoms: 47099/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 391 Props: 18736062 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.482 Prop: 18222.195 PropClause: 17753.992 Set: 3771.064 Check: 0.0 Back: 429.841 INFO - Atoms: 47346/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 392 Props: 18783615 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.495 Prop: 18274.289 PropClause: 17804.879 Set: 3779.964 Check: 0.0 Back: 430.941 INFO - Atoms: 47553/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 393 Props: 18831415 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.511 Prop: 18330.522 PropClause: 17859.893 Set: 3789.315 Check: 0.0 Back: 432.061 INFO - Atoms: 47800/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 394 Props: 18879422 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.523 Prop: 18380.87 PropClause: 17909.019 Set: 3798.682 Check: 0.0 Back: 433.2 INFO - Atoms: 48007/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 395 Props: 18927676 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.535 Prop: 18432.624 PropClause: 17959.554 Set: 3807.771 Check: 0.0 Back: 434.318 INFO - Atoms: 48254/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 396 Props: 18976137 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.549 Prop: 18485.387 PropClause: 18011.083 Set: 3817.123 Check: 0.0 Back: 435.448 INFO - Atoms: 48461/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 397 Props: 19024845 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.562 Prop: 18535.964 PropClause: 18060.424 Set: 3826.34 Check: 0.0 Back: 436.623 INFO - Atoms: 48708/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 398 Props: 19073760 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.575 Prop: 18586.678 PropClause: 18109.833 Set: 3835.535 Check: 0.0 Back: 437.756 INFO - Atoms: 48915/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 399 Props: 19122922 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.588 Prop: 18637.602 PropClause: 18159.516 Set: 3844.605 Check: 0.0 Back: 438.929 INFO - Atoms: 49162/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 400 Props: 19172291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.601 Prop: 18692.826 PropClause: 18213.426 Set: 3854.558 Check: 0.0 Back: 440.079 INFO - Atoms: 49369/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 401 Props: 19221907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.614 Prop: 18751.233 PropClause: 18270.537 Set: 3879.096 Check: 0.0 Back: 441.226 INFO - Atoms: 49616/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 402 Props: 19271730 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.628 Prop: 18802.443 PropClause: 18320.49 Set: 3888.307 Check: 0.0 Back: 442.4 INFO - Atoms: 49823/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 403 Props: 19321800 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.641 Prop: 18862.643 PropClause: 18379.388 Set: 3898.317 Check: 0.0 Back: 443.558 INFO - Atoms: 50070/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 404 Props: 19372077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.654 Prop: 18917.361 PropClause: 18432.836 Set: 3908.024 Check: 0.0 Back: 444.748 INFO - Atoms: 50277/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 405 Props: 19422601 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.666 Prop: 18975.12 PropClause: 18489.293 Set: 3917.745 Check: 0.0 Back: 445.93 INFO - Atoms: 50524/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 406 Props: 19473332 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.68 Prop: 19033.305 PropClause: 18546.19 Set: 3927.365 Check: 0.0 Back: 447.122 INFO - Atoms: 50731/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 407 Props: 19524310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.691 Prop: 19091.506 PropClause: 18603.08 Set: 3937.003 Check: 0.0 Back: 448.302 INFO - Atoms: 50978/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 408 Props: 19575495 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.704 Prop: 19147.468 PropClause: 18657.752 Set: 3946.569 Check: 0.0 Back: 449.487 INFO - Atoms: 51185/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 409 Props: 19626927 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.716 Prop: 19212.607 PropClause: 18721.605 Set: 3956.516 Check: 0.0 Back: 450.669 INFO - Atoms: 51432/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 410 Props: 19678566 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.726 Prop: 19267.08 PropClause: 18774.781 Set: 3966.115 Check: 0.0 Back: 451.861 INFO - Atoms: 51639/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 411 Props: 19730452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.735 Prop: 19323.398 PropClause: 18829.799 Set: 3975.821 Check: 0.0 Back: 453.059 INFO - Atoms: 51886/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 412 Props: 19782545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.747 Prop: 19378.366 PropClause: 18883.458 Set: 3985.411 Check: 0.0 Back: 454.256 INFO - Atoms: 52093/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 413 Props: 19834885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.757 Prop: 19434.101 PropClause: 18937.876 Set: 3995.1 Check: 0.0 Back: 455.459 INFO - Atoms: 52340/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 414 Props: 19887432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.767 Prop: 19490.868 PropClause: 18993.324 Set: 4004.976 Check: 0.0 Back: 456.68 INFO - Atoms: 52547/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 415 Props: 19940226 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.78 Prop: 19548.459 PropClause: 19049.578 Set: 4027.772 Check: 0.0 Back: 457.893 INFO - Atoms: 52794/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 416 Props: 19993227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.794 Prop: 19605.866 PropClause: 19105.65 Set: 4037.691 Check: 0.0 Back: 459.119 INFO - Atoms: 53001/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 417 Props: 20046475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.809 Prop: 19667.434 PropClause: 19165.868 Set: 4047.794 Check: 0.0 Back: 460.362 INFO - Atoms: 53248/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 418 Props: 20099930 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.822 Prop: 19729.498 PropClause: 19226.596 Set: 4057.538 Check: 0.0 Back: 461.603 INFO - Atoms: 53455/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 419 Props: 20153632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.83 Prop: 19787.626 PropClause: 19283.377 Set: 4067.388 Check: 0.0 Back: 462.842 INFO - Atoms: 53702/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 420 Props: 20207541 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.843 Prop: 19845.085 PropClause: 19339.48 Set: 4077.53 Check: 0.0 Back: 464.08 INFO - Atoms: 53909/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 421 Props: 20261697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.852 Prop: 19905.209 PropClause: 19398.245 Set: 4087.723 Check: 0.0 Back: 465.317 INFO - Atoms: 54156/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 422 Props: 20316060 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.865 Prop: 19964.927 PropClause: 19456.597 Set: 4098.153 Check: 0.0 Back: 466.57 INFO - Atoms: 54363/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 423 Props: 20370670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.876 Prop: 20030.47 PropClause: 19520.764 Set: 4108.271 Check: 0.0 Back: 467.843 INFO - Atoms: 54610/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 424 Props: 20425487 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.886 Prop: 20091.595 PropClause: 19580.513 Set: 4118.835 Check: 0.0 Back: 469.106 INFO - Atoms: 54817/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 425 Props: 20480551 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.899 Prop: 20161.813 PropClause: 19649.336 Set: 4129.583 Check: 0.0 Back: 470.368 INFO - Atoms: 55064/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 426 Props: 20535822 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.913 Prop: 20233.188 PropClause: 19719.318 Set: 4140.214 Check: 0.0 Back: 471.639 INFO - Atoms: 55271/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 427 Props: 20591340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.926 Prop: 20298.797 PropClause: 19783.525 Set: 4150.546 Check: 0.0 Back: 472.911 INFO - Atoms: 55518/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 428 Props: 20647065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.938 Prop: 20366.325 PropClause: 19849.649 Set: 4161.616 Check: 0.0 Back: 474.192 INFO - Atoms: 55725/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 429 Props: 20703037 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.952 Prop: 20430.336 PropClause: 19912.255 Set: 4172.134 Check: 0.0 Back: 475.482 INFO - Atoms: 55972/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 430 Props: 20759216 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.964 Prop: 20497.972 PropClause: 19978.468 Set: 4183.557 Check: 0.0 Back: 476.779 INFO - Atoms: 56179/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 431 Props: 20815642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.978 Prop: 20567.072 PropClause: 20046.133 Set: 4194.463 Check: 0.0 Back: 478.146 INFO - Atoms: 56426/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 432 Props: 20872275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 7.99 Prop: 20631.827 PropClause: 20109.468 Set: 4205.274 Check: 0.0 Back: 479.471 INFO - Atoms: 56633/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 433 Props: 20929155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.001 Prop: 20700.652 PropClause: 20176.853 Set: 4216.487 Check: 0.0 Back: 480.778 INFO - Atoms: 56880/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 434 Props: 20986242 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.013 Prop: 20766.693 PropClause: 20241.461 Set: 4227.187 Check: 0.0 Back: 482.099 INFO - Atoms: 57087/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 435 Props: 21043576 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.025 Prop: 20833.872 PropClause: 20307.206 Set: 4238.186 Check: 0.0 Back: 483.424 INFO - Atoms: 57334/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 436 Props: 21101117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.036 Prop: 20902.015 PropClause: 20373.901 Set: 4249.061 Check: 0.0 Back: 484.754 INFO - Atoms: 57541/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 437 Props: 21158905 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.053 Prop: 20972.032 PropClause: 20442.463 Set: 4260.083 Check: 0.0 Back: 486.09 INFO - Atoms: 57788/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 438 Props: 21216900 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.066 Prop: 21040.491 PropClause: 20509.385 Set: 4271.082 Check: 0.0 Back: 487.444 INFO - Atoms: 57995/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 439 Props: 21275142 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.078 Prop: 21110.552 PropClause: 20577.974 Set: 4282.805 Check: 0.0 Back: 488.799 INFO - Atoms: 58242/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 440 Props: 21333591 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.09 Prop: 21179.23 PropClause: 20645.184 Set: 4293.833 Check: 0.0 Back: 490.146 INFO - Atoms: 58449/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 441 Props: 21392287 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.103 Prop: 21251.694 PropClause: 20716.099 Set: 4317.05 Check: 0.0 Back: 491.499 INFO - Atoms: 58696/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 442 Props: 21451190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.116 Prop: 21319.57 PropClause: 20782.497 Set: 4327.866 Check: 0.0 Back: 492.853 INFO - Atoms: 58903/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 443 Props: 21510340 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.127 Prop: 21387.705 PropClause: 20849.137 Set: 4338.987 Check: 0.0 Back: 494.216 INFO - Atoms: 59150/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 444 Props: 21569697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.139 Prop: 21458.79 PropClause: 20918.733 Set: 4350.02 Check: 0.0 Back: 495.587 INFO - Atoms: 59357/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 445 Props: 21629301 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.152 Prop: 21530.32 PropClause: 20988.751 Set: 4361.18 Check: 0.0 Back: 496.961 INFO - Atoms: 59604/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 446 Props: 21689112 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.164 Prop: 21598.725 PropClause: 21055.652 Set: 4372.749 Check: 0.0 Back: 498.338 INFO - Atoms: 59811/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 447 Props: 21749170 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.176 Prop: 21668.135 PropClause: 21123.559 Set: 4383.978 Check: 0.0 Back: 499.724 INFO - Atoms: 60058/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 448 Props: 21809435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.188 Prop: 21736.603 PropClause: 21190.515 Set: 4395.226 Check: 0.0 Back: 501.116 INFO - Atoms: 60265/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 449 Props: 21869947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.199 Prop: 21809.572 PropClause: 21261.975 Set: 4406.832 Check: 0.0 Back: 502.503 INFO - Atoms: 60512/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 450 Props: 21930666 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.234 Prop: 21881.095 PropClause: 21331.979 Set: 4418.17 Check: 0.0 Back: 503.894 INFO - Atoms: 60719/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 451 Props: 21991632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.244 Prop: 21953.212 PropClause: 21402.568 Set: 4429.853 Check: 0.0 Back: 505.299 INFO - Atoms: 60966/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 452 Props: 22052805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.257 Prop: 22021.252 PropClause: 21469.078 Set: 4441.423 Check: 0.0 Back: 506.703 INFO - Atoms: 61173/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 453 Props: 22114225 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.28 Prop: 22093.905 PropClause: 21540.19 Set: 4453.033 Check: 0.0 Back: 508.114 INFO - Atoms: 61420/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 454 Props: 22175852 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.292 Prop: 22166.284 PropClause: 21611.023 Set: 4464.671 Check: 0.0 Back: 509.549 INFO - Atoms: 61627/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 455 Props: 22237726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.305 Prop: 22242.503 PropClause: 21685.691 Set: 4476.58 Check: 0.0 Back: 510.973 INFO - Atoms: 61874/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 456 Props: 22299807 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.317 Prop: 22315.246 PropClause: 21756.884 Set: 4488.257 Check: 0.0 Back: 512.398 INFO - Atoms: 62081/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 457 Props: 22362135 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.329 Prop: 22387.142 PropClause: 21827.223 Set: 4499.847 Check: 0.0 Back: 513.831 INFO - Atoms: 62328/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 458 Props: 22424670 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.34 Prop: 22459.887 PropClause: 21898.403 Set: 4511.744 Check: 0.0 Back: 515.27 INFO - Atoms: 62535/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 459 Props: 22487452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.353 Prop: 22533.448 PropClause: 21970.38 Set: 4523.578 Check: 0.0 Back: 516.717 INFO - Atoms: 62782/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 460 Props: 22550441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.365 Prop: 22608.796 PropClause: 22044.151 Set: 4535.756 Check: 0.0 Back: 518.164 INFO - Atoms: 62989/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 461 Props: 22613677 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.376 Prop: 22685.966 PropClause: 22119.72 Set: 4548.168 Check: 0.0 Back: 519.62 INFO - Atoms: 63236/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 462 Props: 22677120 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.387 Prop: 22761.342 PropClause: 22193.52 Set: 4560.287 Check: 0.0 Back: 521.083 INFO - Atoms: 63443/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 463 Props: 22740810 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.398 Prop: 22840.079 PropClause: 22270.659 Set: 4572.77 Check: 0.0 Back: 522.549 INFO - Atoms: 63690/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 464 Props: 22804707 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.412 Prop: 22918.681 PropClause: 22347.658 Set: 4585.228 Check: 0.0 Back: 524.021 INFO - Atoms: 63897/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 465 Props: 22868851 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.424 Prop: 23000.192 PropClause: 22427.556 Set: 4597.852 Check: 0.0 Back: 525.505 INFO - Atoms: 64144/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 466 Props: 22933202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.436 Prop: 23077.032 PropClause: 22502.78 Set: 4610.195 Check: 0.0 Back: 526.991 INFO - Atoms: 64351/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 467 Props: 22997799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.45 Prop: 23156.521 PropClause: 22580.641 Set: 4626.417 Check: 0.0 Back: 528.472 INFO - Atoms: 64597/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 468 Props: 23062604 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.463 Prop: 23233.145 PropClause: 22655.558 Set: 4638.763 Check: 0.0 Back: 529.968 INFO - Atoms: 64805/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 469 Props: 23127655 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 8.475 Prop: 23314.028 PropClause: 22734.806 Set: 4651.114 Check: 0.0 Back: 531.474 INFO - Atoms: 65051/65952 Clauses: 581 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 969 Props: 26521187 Tprops: 0 Decides: 11389 RSplits: 0 INFO - Times: Expl: 1349.698 Prop: 26528.38 PropClause: 25856.956 Set: 4738.767 Check: 0.274 Back: 614.916 INFO - Atoms: 21834/65952 Clauses: 1080 Axioms: 218034 INFO - Confl: 1432 Props: 28437973 Tprops: 0 Decides: 17004 RSplits: 0 INFO - Times: Expl: 1935.885 Prop: 27944.558 PropClause: 27221.671 Set: 4785.993 Check: 0.411 Back: 660.788 INFO - Atoms: 23473/65952 Clauses: 1543 Axioms: 218034 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 471 Props: 44148 Tprops: 11243 Decides: 51733 RSplits: 0 INFO - Times: Expl: 247.62 Prop: 63074.211 PropClause: 14.433 Set: 6666.677 Check: 164.594 Back: 199.197 INFO - Atoms: 680/870 Clauses: 471 Axioms: 870 INFO - CCTimes: iE 461059 eq 24501669 cc 73088703 setRep 41975588 INFO - Merges: 376511, cc:655310 INFO - BVTimes: BB 131292541 BB_DPLL 57707180358 Graph 1273060 INFO - BitBlastingClauses: 490634 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat