/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_004_063_096.smt2 -------------------------------------------------------------------------------- INFO - Starting Bitblasting INFO - Finished Bitblasting in: 247830547 INFO - Bitblasting DPLL: INFO - Confl: 1 Props: 76538 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.588 Prop: 116.596 PropClause: 113.96 Set: 41.915 Check: 0.0 Back: 0.0 INFO - Atoms: 76538/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 2 Props: 153076 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.658 Prop: 217.549 PropClause: 211.334 Set: 87.596 Check: 0.0 Back: 1.752 INFO - Atoms: 76538/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 3 Props: 229602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.723 Prop: 305.312 PropClause: 296.674 Set: 100.793 Check: 0.0 Back: 3.519 INFO - Atoms: 76526/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 4 Props: 306124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.767 Prop: 402.838 PropClause: 391.808 Set: 114.349 Check: 0.0 Back: 5.267 INFO - Atoms: 76522/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 5 Props: 382636 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.86 Prop: 490.418 PropClause: 477.499 Set: 136.126 Check: 0.0 Back: 7.009 INFO - Atoms: 76512/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 6 Props: 458895 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.947 Prop: 580.523 PropClause: 565.733 Set: 185.803 Check: 0.0 Back: 8.751 INFO - Atoms: 76259/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 7 Props: 535147 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 0.988 Prop: 669.963 PropClause: 653.324 Set: 199.12 Check: 0.0 Back: 10.522 INFO - Atoms: 76252/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 8 Props: 611394 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.027 Prop: 757.709 PropClause: 739.223 Set: 212.592 Check: 0.0 Back: 12.273 INFO - Atoms: 76247/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 9 Props: 687389 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.069 Prop: 842.756 PropClause: 822.425 Set: 225.892 Check: 0.0 Back: 14.015 INFO - Atoms: 75995/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 10 Props: 763255 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.111 Prop: 937.023 PropClause: 914.83 Set: 239.43 Check: 0.0 Back: 15.772 INFO - Atoms: 75866/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 11 Props: 838990 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.149 Prop: 1025.227 PropClause: 1001.195 Set: 252.699 Check: 0.0 Back: 17.541 INFO - Atoms: 75735/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 12 Props: 914596 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.189 Prop: 1114.786 PropClause: 1088.916 Set: 272.784 Check: 0.0 Back: 19.27 INFO - Atoms: 75606/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 13 Props: 990067 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.234 Prop: 1205.258 PropClause: 1177.558 Set: 293.1 Check: 0.0 Back: 20.993 INFO - Atoms: 75471/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 14 Props: 1065532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.275 Prop: 1294.229 PropClause: 1264.689 Set: 313.246 Check: 0.0 Back: 22.725 INFO - Atoms: 75465/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 15 Props: 1140865 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.317 Prop: 1382.598 PropClause: 1351.218 Set: 326.492 Check: 0.0 Back: 24.442 INFO - Atoms: 75333/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 16 Props: 1216009 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.355 Prop: 1472.643 PropClause: 1439.433 Set: 339.828 Check: 0.0 Back: 26.182 INFO - Atoms: 75144/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 17 Props: 1291020 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.398 Prop: 1559.053 PropClause: 1524.015 Set: 352.982 Check: 0.0 Back: 27.898 INFO - Atoms: 75011/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 18 Props: 1365900 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.437 Prop: 1650.152 PropClause: 1613.299 Set: 366.337 Check: 0.0 Back: 29.615 INFO - Atoms: 74880/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 19 Props: 1440649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.472 Prop: 1737.493 PropClause: 1698.817 Set: 379.489 Check: 0.0 Back: 31.324 INFO - Atoms: 74749/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 20 Props: 1515269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.51 Prop: 1830.044 PropClause: 1789.548 Set: 392.772 Check: 0.0 Back: 33.043 INFO - Atoms: 74620/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21 Props: 1589756 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.551 Prop: 1914.797 PropClause: 1872.487 Set: 405.933 Check: 0.0 Back: 34.748 INFO - Atoms: 74487/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 22 Props: 1664111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.59 Prop: 2004.661 PropClause: 1960.542 Set: 419.176 Check: 0.0 Back: 36.473 INFO - Atoms: 74355/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 23 Props: 1738336 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.63 Prop: 2090.699 PropClause: 2044.782 Set: 432.185 Check: 0.0 Back: 38.177 INFO - Atoms: 74225/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 24 Props: 1812432 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.669 Prop: 2183.31 PropClause: 2135.587 Set: 445.376 Check: 0.0 Back: 39.885 INFO - Atoms: 74096/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 25 Props: 1886393 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.707 Prop: 2270.691 PropClause: 2221.176 Set: 458.34 Check: 0.0 Back: 41.597 INFO - Atoms: 73961/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 26 Props: 1960350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.748 Prop: 2361.762 PropClause: 2310.456 Set: 478.043 Check: 0.0 Back: 43.282 INFO - Atoms: 73957/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 27 Props: 2034174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.785 Prop: 2445.562 PropClause: 2392.462 Set: 490.97 Check: 0.0 Back: 44.964 INFO - Atoms: 73824/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 28 Props: 2107929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.878 Prop: 2535.176 PropClause: 2480.286 Set: 504.071 Check: 0.0 Back: 46.663 INFO - Atoms: 73755/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 29 Props: 2181494 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.895 Prop: 2622.357 PropClause: 2565.676 Set: 517.068 Check: 0.0 Back: 48.341 INFO - Atoms: 73565/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 30 Props: 2254930 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.91 Prop: 2714.337 PropClause: 2655.872 Set: 530.202 Check: 0.0 Back: 50.028 INFO - Atoms: 73436/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 31 Props: 2328233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.929 Prop: 2800.518 PropClause: 2740.275 Set: 542.974 Check: 0.0 Back: 51.699 INFO - Atoms: 73303/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 32 Props: 2401407 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.947 Prop: 2887.414 PropClause: 2825.391 Set: 555.952 Check: 0.0 Back: 53.387 INFO - Atoms: 73174/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 33 Props: 2474451 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.963 Prop: 2972.642 PropClause: 2908.845 Set: 568.663 Check: 0.0 Back: 55.057 INFO - Atoms: 73044/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 34 Props: 2547362 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.981 Prop: 3058.302 PropClause: 2992.721 Set: 581.521 Check: 0.0 Back: 56.738 INFO - Atoms: 72911/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 35 Props: 2620143 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 1.998 Prop: 3144.078 PropClause: 3076.724 Set: 594.248 Check: 0.0 Back: 58.403 INFO - Atoms: 72781/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 36 Props: 2692793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.015 Prop: 3228.674 PropClause: 3159.558 Set: 607.017 Check: 0.0 Back: 62.021 INFO - Atoms: 72650/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 37 Props: 2765310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.033 Prop: 3307.501 PropClause: 3236.615 Set: 619.711 Check: 0.0 Back: 63.675 INFO - Atoms: 72517/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 38 Props: 2837697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.05 Prop: 3386.651 PropClause: 3314.002 Set: 632.519 Check: 0.0 Back: 65.34 INFO - Atoms: 72387/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 39 Props: 2909954 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.067 Prop: 3465.102 PropClause: 3390.693 Set: 645.22 Check: 0.0 Back: 67.011 INFO - Atoms: 72257/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 40 Props: 2982082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.082 Prop: 3543.708 PropClause: 3467.542 Set: 657.868 Check: 0.0 Back: 68.671 INFO - Atoms: 72128/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 41 Props: 3054077 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.101 Prop: 3621.412 PropClause: 3543.495 Set: 670.365 Check: 0.0 Back: 70.314 INFO - Atoms: 71995/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 42 Props: 3125940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.128 Prop: 3711.857 PropClause: 3632.188 Set: 683.158 Check: 0.0 Back: 71.984 INFO - Atoms: 71863/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 43 Props: 3197671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.145 Prop: 3795.8 PropClause: 3714.38 Set: 695.724 Check: 0.0 Back: 73.628 INFO - Atoms: 71731/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 44 Props: 3269272 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.165 Prop: 3882.215 PropClause: 3799.044 Set: 708.467 Check: 0.0 Back: 75.294 INFO - Atoms: 71601/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 45 Props: 3340741 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.182 Prop: 3956.722 PropClause: 3871.797 Set: 721.03 Check: 0.0 Back: 76.941 INFO - Atoms: 71469/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 46 Props: 3412080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.198 Prop: 4038.413 PropClause: 3951.754 Set: 733.619 Check: 0.0 Back: 78.591 INFO - Atoms: 71339/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 47 Props: 3483289 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.215 Prop: 4117.93 PropClause: 4029.531 Set: 746.108 Check: 0.0 Back: 80.214 INFO - Atoms: 71209/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 48 Props: 3554366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.231 Prop: 4203.946 PropClause: 4113.815 Set: 758.759 Check: 0.0 Back: 81.86 INFO - Atoms: 71077/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 49 Props: 3625311 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.249 Prop: 4286.997 PropClause: 4195.136 Set: 771.207 Check: 0.0 Back: 83.504 INFO - Atoms: 70945/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 50 Props: 3696127 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.264 Prop: 4375.73 PropClause: 4282.131 Set: 783.878 Check: 0.0 Back: 85.132 INFO - Atoms: 70816/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 51 Props: 3766810 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.279 Prop: 4458.999 PropClause: 4363.669 Set: 796.277 Check: 0.0 Back: 86.775 INFO - Atoms: 70683/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 52 Props: 3837366 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.297 Prop: 4547.379 PropClause: 4450.329 Set: 808.837 Check: 0.0 Back: 88.413 INFO - Atoms: 70556/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 53 Props: 3907787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.313 Prop: 4629.021 PropClause: 4530.244 Set: 821.23 Check: 0.0 Back: 90.032 INFO - Atoms: 70421/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 54 Props: 3978079 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.337 Prop: 4718.173 PropClause: 4617.667 Set: 833.766 Check: 0.0 Back: 91.661 INFO - Atoms: 70292/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 55 Props: 4048240 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.354 Prop: 4803.628 PropClause: 4701.406 Set: 846.081 Check: 0.0 Back: 93.286 INFO - Atoms: 70161/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 56 Props: 4118272 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.372 Prop: 4891.037 PropClause: 4787.11 Set: 858.615 Check: 0.0 Back: 94.91 INFO - Atoms: 70032/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 57 Props: 4188171 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.391 Prop: 4974.65 PropClause: 4869.018 Set: 870.862 Check: 0.0 Back: 96.528 INFO - Atoms: 69899/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 58 Props: 4257938 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.414 Prop: 5066.246 PropClause: 4958.912 Set: 883.396 Check: 0.0 Back: 98.134 INFO - Atoms: 69767/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 59 Props: 4327575 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.432 Prop: 5147.183 PropClause: 5038.147 Set: 895.682 Check: 0.0 Back: 99.746 INFO - Atoms: 69637/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 60 Props: 4397080 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.451 Prop: 5233.788 PropClause: 5123.058 Set: 908.11 Check: 0.0 Back: 101.365 INFO - Atoms: 69505/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 61 Props: 4466453 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.469 Prop: 5318.35 PropClause: 5205.914 Set: 920.39 Check: 0.0 Back: 102.959 INFO - Atoms: 69373/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 62 Props: 4535697 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.485 Prop: 5410.425 PropClause: 5296.287 Set: 932.903 Check: 0.0 Back: 104.588 INFO - Atoms: 69244/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 63 Props: 4604810 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.503 Prop: 5493.968 PropClause: 5378.143 Set: 945.166 Check: 0.0 Back: 106.205 INFO - Atoms: 69113/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 64 Props: 4673794 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.522 Prop: 5581.427 PropClause: 5463.91 Set: 957.472 Check: 0.0 Back: 107.8 INFO - Atoms: 68984/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 65 Props: 4742645 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.545 Prop: 5665.75 PropClause: 5546.558 Set: 969.596 Check: 0.0 Back: 109.393 INFO - Atoms: 68851/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 66 Props: 4811364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.562 Prop: 5755.682 PropClause: 5634.813 Set: 981.882 Check: 0.0 Back: 110.976 INFO - Atoms: 68719/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 67 Props: 4879953 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.579 Prop: 5839.051 PropClause: 5716.526 Set: 993.82 Check: 0.0 Back: 112.559 INFO - Atoms: 68589/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 68 Props: 4948410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.594 Prop: 5925.357 PropClause: 5801.165 Set: 1006.015 Check: 0.0 Back: 114.158 INFO - Atoms: 68457/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 69 Props: 5016737 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.611 Prop: 6008.428 PropClause: 5882.567 Set: 1017.975 Check: 0.0 Back: 115.728 INFO - Atoms: 68327/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 70 Props: 5084935 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.629 Prop: 6098.947 PropClause: 5971.422 Set: 1030.199 Check: 0.0 Back: 117.298 INFO - Atoms: 68198/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 71 Props: 5153000 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.646 Prop: 6181.029 PropClause: 6051.845 Set: 1042.155 Check: 0.0 Back: 118.863 INFO - Atoms: 68065/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 72 Props: 5220936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.662 Prop: 6264.501 PropClause: 6133.654 Set: 1054.144 Check: 0.0 Back: 120.429 INFO - Atoms: 67936/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 73 Props: 5288739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.678 Prop: 6343.138 PropClause: 6210.633 Set: 1065.956 Check: 0.0 Back: 121.988 INFO - Atoms: 67803/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 74 Props: 5356411 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.693 Prop: 6423.102 PropClause: 6288.938 Set: 1077.843 Check: 0.0 Back: 123.538 INFO - Atoms: 67672/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 75 Props: 5423952 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.708 Prop: 6497.976 PropClause: 6362.174 Set: 1089.521 Check: 0.0 Back: 125.099 INFO - Atoms: 67541/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 76 Props: 5491364 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.722 Prop: 6574.672 PropClause: 6437.215 Set: 1101.375 Check: 0.0 Back: 126.642 INFO - Atoms: 67412/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 77 Props: 5558643 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.741 Prop: 6654.143 PropClause: 6515.031 Set: 1113.283 Check: 0.0 Back: 128.182 INFO - Atoms: 67279/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 78 Props: 5625793 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.757 Prop: 6733.088 PropClause: 6592.339 Set: 1125.055 Check: 0.0 Back: 129.766 INFO - Atoms: 67150/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 79 Props: 5692808 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.776 Prop: 6808.691 PropClause: 6666.306 Set: 1136.783 Check: 0.0 Back: 131.298 INFO - Atoms: 67015/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 80 Props: 5759693 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.79 Prop: 6884.508 PropClause: 6740.475 Set: 1148.577 Check: 0.0 Back: 132.847 INFO - Atoms: 66885/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 81 Props: 5826448 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.822 Prop: 6963.203 PropClause: 6817.544 Set: 1160.268 Check: 0.0 Back: 134.402 INFO - Atoms: 66755/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 82 Props: 5893074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.839 Prop: 7041.4 PropClause: 6894.11 Set: 1171.979 Check: 0.0 Back: 135.969 INFO - Atoms: 66626/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 83 Props: 5959567 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.856 Prop: 7119.429 PropClause: 6970.498 Set: 1183.634 Check: 0.0 Back: 137.5 INFO - Atoms: 66493/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 84 Props: 6025931 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.901 Prop: 7196.583 PropClause: 7046.018 Set: 1195.386 Check: 0.0 Back: 139.046 INFO - Atoms: 66364/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 85 Props: 6092160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.956 Prop: 7270.885 PropClause: 7118.704 Set: 1206.875 Check: 0.0 Back: 140.579 INFO - Atoms: 66229/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 86 Props: 6158259 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.966 Prop: 7348.624 PropClause: 7194.831 Set: 1218.561 Check: 0.0 Back: 142.103 INFO - Atoms: 66099/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 87 Props: 6224228 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.977 Prop: 7423.625 PropClause: 7268.217 Set: 1230.062 Check: 0.0 Back: 143.624 INFO - Atoms: 65969/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 88 Props: 6290065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 2.99 Prop: 7505.053 PropClause: 7348.005 Set: 1241.82 Check: 0.0 Back: 145.144 INFO - Atoms: 65837/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 89 Props: 6355772 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.005 Prop: 7589.268 PropClause: 7430.59 Set: 1253.459 Check: 0.0 Back: 146.657 INFO - Atoms: 65707/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 90 Props: 6421350 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.019 Prop: 7673.271 PropClause: 7512.881 Set: 1265.158 Check: 0.0 Back: 148.171 INFO - Atoms: 65578/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 91 Props: 6486795 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.033 Prop: 7753.608 PropClause: 7591.602 Set: 1276.949 Check: 0.0 Back: 149.68 INFO - Atoms: 65445/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 92 Props: 6552111 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.046 Prop: 7836.789 PropClause: 7673.182 Set: 1288.644 Check: 0.0 Back: 151.199 INFO - Atoms: 65316/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 93 Props: 6617294 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.056 Prop: 7915.701 PropClause: 7750.498 Set: 1300.122 Check: 0.0 Back: 152.706 INFO - Atoms: 65183/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 94 Props: 6682348 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.067 Prop: 8001.135 PropClause: 7834.327 Set: 1311.832 Check: 0.0 Back: 154.208 INFO - Atoms: 65054/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 95 Props: 6747269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.079 Prop: 8080.449 PropClause: 7912.052 Set: 1323.294 Check: 0.0 Back: 155.707 INFO - Atoms: 64921/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 96 Props: 6812061 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.092 Prop: 8162.222 PropClause: 7992.232 Set: 1334.781 Check: 0.0 Back: 157.222 INFO - Atoms: 64792/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 97 Props: 6876720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.102 Prop: 8237.575 PropClause: 8066.005 Set: 1346.061 Check: 0.0 Back: 158.726 INFO - Atoms: 64659/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 98 Props: 6941247 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.114 Prop: 8318.595 PropClause: 8145.441 Set: 1357.608 Check: 0.0 Back: 160.221 INFO - Atoms: 64527/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 99 Props: 7005642 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.126 Prop: 8395.224 PropClause: 8220.501 Set: 1368.849 Check: 0.0 Back: 161.699 INFO - Atoms: 64395/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 100 Props: 7069908 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.14 Prop: 8471.671 PropClause: 8295.374 Set: 1380.29 Check: 0.0 Back: 163.175 INFO - Atoms: 64266/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 101 Props: 7134041 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.152 Prop: 8546.668 PropClause: 8368.802 Set: 1391.523 Check: 0.0 Back: 164.654 INFO - Atoms: 64133/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 102 Props: 7198045 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.165 Prop: 8627.313 PropClause: 8447.884 Set: 1402.93 Check: 0.0 Back: 166.144 INFO - Atoms: 64004/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 103 Props: 7261918 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.176 Prop: 8705.583 PropClause: 8524.594 Set: 1414.299 Check: 0.0 Back: 167.632 INFO - Atoms: 63873/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 104 Props: 7325660 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.191 Prop: 8796.093 PropClause: 8609.547 Set: 1426.466 Check: 0.0 Back: 169.112 INFO - Atoms: 63742/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 105 Props: 7389269 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.205 Prop: 8870.708 PropClause: 8682.609 Set: 1437.571 Check: 0.0 Back: 170.602 INFO - Atoms: 63609/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 106 Props: 7452748 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.216 Prop: 8950.261 PropClause: 8760.605 Set: 1448.839 Check: 0.0 Back: 172.086 INFO - Atoms: 63479/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 107 Props: 7516097 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.228 Prop: 9025.185 PropClause: 8833.969 Set: 1459.859 Check: 0.0 Back: 173.552 INFO - Atoms: 63349/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 108 Props: 7579314 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.24 Prop: 9104.41 PropClause: 8911.648 Set: 1471.24 Check: 0.0 Back: 175.014 INFO - Atoms: 63217/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 109 Props: 7642401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.25 Prop: 9180.067 PropClause: 8985.758 Set: 1482.348 Check: 0.0 Back: 176.477 INFO - Atoms: 63087/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 110 Props: 7705357 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.262 Prop: 9259.552 PropClause: 9063.707 Set: 1493.584 Check: 0.0 Back: 177.93 INFO - Atoms: 62956/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 111 Props: 7768182 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.277 Prop: 9335.725 PropClause: 9138.319 Set: 1558.523 Check: 0.0 Back: 179.382 INFO - Atoms: 62825/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 112 Props: 7830878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.289 Prop: 9413.788 PropClause: 9214.854 Set: 1569.747 Check: 0.0 Back: 180.837 INFO - Atoms: 62696/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 113 Props: 7893441 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.301 Prop: 9485.723 PropClause: 9285.252 Set: 1580.738 Check: 0.0 Back: 182.288 INFO - Atoms: 62563/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 114 Props: 7955873 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.311 Prop: 9562.519 PropClause: 9360.51 Set: 1591.793 Check: 0.0 Back: 183.732 INFO - Atoms: 62432/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 115 Props: 8018174 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.323 Prop: 9634.027 PropClause: 9430.497 Set: 1602.634 Check: 0.0 Back: 185.164 INFO - Atoms: 62301/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 116 Props: 8080346 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.335 Prop: 9709.033 PropClause: 9503.972 Set: 1613.663 Check: 0.0 Back: 186.592 INFO - Atoms: 62172/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 117 Props: 8142385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.348 Prop: 9779.572 PropClause: 9572.991 Set: 1624.473 Check: 0.0 Back: 188.041 INFO - Atoms: 62039/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 118 Props: 8204292 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.362 Prop: 9853.176 PropClause: 9645.07 Set: 1635.473 Check: 0.0 Back: 189.473 INFO - Atoms: 61907/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 119 Props: 8266067 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.372 Prop: 9922.919 PropClause: 9713.316 Set: 1646.176 Check: 0.0 Back: 190.895 INFO - Atoms: 61775/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 120 Props: 8327712 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.385 Prop: 9994.315 PropClause: 9783.187 Set: 1656.981 Check: 0.0 Back: 192.304 INFO - Atoms: 61645/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 121 Props: 8389227 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.397 Prop: 10064.734 PropClause: 9852.103 Set: 1667.711 Check: 0.0 Back: 193.72 INFO - Atoms: 61515/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 122 Props: 8450610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.408 Prop: 10134.024 PropClause: 9919.891 Set: 1678.535 Check: 0.0 Back: 195.146 INFO - Atoms: 61383/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 123 Props: 8511863 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.417 Prop: 10205.57 PropClause: 9989.941 Set: 1689.322 Check: 0.0 Back: 196.549 INFO - Atoms: 61253/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 124 Props: 8572985 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.432 Prop: 10280.486 PropClause: 10063.366 Set: 1700.198 Check: 0.0 Back: 197.951 INFO - Atoms: 61122/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 125 Props: 8633976 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.445 Prop: 10348.876 PropClause: 10130.257 Set: 1710.769 Check: 0.0 Back: 199.353 INFO - Atoms: 60991/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 126 Props: 8694836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.459 Prop: 10425.189 PropClause: 10205.077 Set: 1721.608 Check: 0.0 Back: 200.749 INFO - Atoms: 60860/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 127 Props: 8755565 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.47 Prop: 10494.919 PropClause: 10273.325 Set: 1732.154 Check: 0.0 Back: 202.201 INFO - Atoms: 60729/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 128 Props: 8816165 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.482 Prop: 10566.554 PropClause: 10343.483 Set: 1742.829 Check: 0.0 Back: 203.603 INFO - Atoms: 60600/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 129 Props: 8876632 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.497 Prop: 10636.933 PropClause: 10412.397 Set: 1753.342 Check: 0.0 Back: 204.995 INFO - Atoms: 60467/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 130 Props: 8936967 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.51 Prop: 10707.976 PropClause: 10481.96 Set: 1763.934 Check: 0.0 Back: 206.384 INFO - Atoms: 60335/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 131 Props: 8997172 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.521 Prop: 10776.051 PropClause: 10548.563 Set: 1774.399 Check: 0.0 Back: 207.786 INFO - Atoms: 60205/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 132 Props: 9057245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.531 Prop: 10849.697 PropClause: 10620.742 Set: 1784.994 Check: 0.0 Back: 209.179 INFO - Atoms: 60073/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 133 Props: 9117186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.544 Prop: 10924.9 PropClause: 10694.49 Set: 1795.304 Check: 0.0 Back: 210.575 INFO - Atoms: 59941/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 134 Props: 9176997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.556 Prop: 10997.769 PropClause: 10765.892 Set: 1805.911 Check: 0.0 Back: 211.951 INFO - Atoms: 59811/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 135 Props: 9236678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.571 Prop: 11065.42 PropClause: 10832.08 Set: 1816.358 Check: 0.0 Back: 213.324 INFO - Atoms: 59681/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 136 Props: 9296230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.584 Prop: 11134.073 PropClause: 10899.287 Set: 1826.778 Check: 0.0 Back: 214.765 INFO - Atoms: 59552/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 137 Props: 9355649 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.595 Prop: 11199.815 PropClause: 10963.588 Set: 1837.042 Check: 0.0 Back: 216.126 INFO - Atoms: 59419/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 138 Props: 9414937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.606 Prop: 11271.091 PropClause: 11033.412 Set: 1847.545 Check: 0.0 Back: 217.488 INFO - Atoms: 59288/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 139 Props: 9474094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.621 Prop: 11335.927 PropClause: 11096.801 Set: 1857.834 Check: 0.0 Back: 218.859 INFO - Atoms: 59157/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 140 Props: 9533122 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.636 Prop: 11403.874 PropClause: 11163.314 Set: 1868.185 Check: 0.0 Back: 220.231 INFO - Atoms: 59028/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 141 Props: 9592015 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.649 Prop: 11467.19 PropClause: 11225.195 Set: 1878.359 Check: 0.0 Back: 221.597 INFO - Atoms: 58893/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 142 Props: 9650779 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.661 Prop: 11528.293 PropClause: 11284.858 Set: 1888.662 Check: 0.0 Back: 222.95 INFO - Atoms: 58764/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 143 Props: 9709410 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.675 Prop: 11593.401 PropClause: 11348.511 Set: 1898.803 Check: 0.0 Back: 224.304 INFO - Atoms: 58631/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 144 Props: 9767911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.685 Prop: 11660.908 PropClause: 11414.594 Set: 1909.095 Check: 0.0 Back: 225.659 INFO - Atoms: 58501/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 145 Props: 9826282 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.7 Prop: 11726.464 PropClause: 11478.729 Set: 1919.18 Check: 0.0 Back: 227.009 INFO - Atoms: 58371/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 146 Props: 9884521 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.711 Prop: 11791.083 PropClause: 11541.925 Set: 1929.34 Check: 0.0 Back: 228.357 INFO - Atoms: 58239/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 147 Props: 9942630 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.725 Prop: 11851.035 PropClause: 11600.445 Set: 1939.336 Check: 0.0 Back: 229.688 INFO - Atoms: 58109/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 148 Props: 10000607 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.739 Prop: 11950.484 PropClause: 11698.479 Set: 1949.187 Check: 0.0 Back: 231.034 INFO - Atoms: 57977/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 149 Props: 10058452 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.75 Prop: 12013.12 PropClause: 11759.707 Set: 1959.183 Check: 0.0 Back: 232.378 INFO - Atoms: 57845/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 150 Props: 10116168 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.764 Prop: 12083.368 PropClause: 11828.508 Set: 1969.479 Check: 0.0 Back: 233.711 INFO - Atoms: 57716/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 151 Props: 10173753 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.804 Prop: 12145.462 PropClause: 11889.187 Set: 1979.452 Check: 0.0 Back: 235.065 INFO - Atoms: 57585/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 152 Props: 10231209 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.867 Prop: 12211.073 PropClause: 11953.387 Set: 1989.566 Check: 0.0 Back: 236.42 INFO - Atoms: 57456/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 153 Props: 10288532 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.882 Prop: 12269.465 PropClause: 12010.373 Set: 1999.468 Check: 0.0 Back: 237.758 INFO - Atoms: 57323/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 154 Props: 10345726 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.894 Prop: 12336.387 PropClause: 12075.902 Set: 2009.489 Check: 0.0 Back: 239.11 INFO - Atoms: 57194/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 155 Props: 10402787 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.91 Prop: 12400.212 PropClause: 12138.318 Set: 2019.496 Check: 0.0 Back: 240.427 INFO - Atoms: 57061/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 156 Props: 10459716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.922 Prop: 12464.668 PropClause: 12201.371 Set: 2029.488 Check: 0.0 Back: 241.744 INFO - Atoms: 56929/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 157 Props: 10516513 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.937 Prop: 12524.505 PropClause: 12259.805 Set: 2039.23 Check: 0.0 Back: 243.045 INFO - Atoms: 56797/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 158 Props: 10573183 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.95 Prop: 12591.923 PropClause: 12325.833 Set: 2049.211 Check: 0.0 Back: 244.362 INFO - Atoms: 56670/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 159 Props: 10629718 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.965 Prop: 12655.393 PropClause: 12387.917 Set: 2058.988 Check: 0.0 Back: 245.69 INFO - Atoms: 56535/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 160 Props: 10686124 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.977 Prop: 12716.509 PropClause: 12447.651 Set: 2068.899 Check: 0.0 Back: 247.0 INFO - Atoms: 56406/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 161 Props: 10742399 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.989 Prop: 12775.934 PropClause: 12505.692 Set: 2078.642 Check: 0.0 Back: 248.295 INFO - Atoms: 56275/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 162 Props: 10798542 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 3.999 Prop: 12835.76 PropClause: 12564.143 Set: 2088.487 Check: 0.0 Back: 249.601 INFO - Atoms: 56143/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 163 Props: 10854553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.01 Prop: 12894.897 PropClause: 12621.909 Set: 2098.108 Check: 0.0 Back: 250.903 INFO - Atoms: 56011/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 164 Props: 10910435 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.022 Prop: 12958.505 PropClause: 12684.129 Set: 2107.84 Check: 0.0 Back: 252.198 INFO - Atoms: 55882/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 165 Props: 10966186 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.031 Prop: 13018.982 PropClause: 12743.24 Set: 2117.452 Check: 0.0 Back: 253.486 INFO - Atoms: 55751/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 166 Props: 11021806 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.042 Prop: 13082.235 PropClause: 12805.135 Set: 2127.244 Check: 0.0 Back: 254.774 INFO - Atoms: 55620/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 167 Props: 11077293 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.053 Prop: 13141.695 PropClause: 12863.247 Set: 2136.78 Check: 0.0 Back: 256.059 INFO - Atoms: 55487/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 168 Props: 11132651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.066 Prop: 13201.66 PropClause: 12921.856 Set: 2146.44 Check: 0.0 Back: 257.341 INFO - Atoms: 55358/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 169 Props: 11187878 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.077 Prop: 13256.92 PropClause: 12975.757 Set: 2155.897 Check: 0.0 Back: 258.641 INFO - Atoms: 55227/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 170 Props: 11242974 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.089 Prop: 13312.829 PropClause: 13030.337 Set: 2165.354 Check: 0.0 Back: 259.923 INFO - Atoms: 55096/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 171 Props: 11297937 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.099 Prop: 13371.484 PropClause: 13087.654 Set: 2174.79 Check: 0.0 Back: 261.168 INFO - Atoms: 54963/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 172 Props: 11352773 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.11 Prop: 13432.997 PropClause: 13147.798 Set: 2184.372 Check: 0.0 Back: 262.465 INFO - Atoms: 54836/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 173 Props: 11407474 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.124 Prop: 13490.673 PropClause: 13204.129 Set: 2193.737 Check: 0.0 Back: 263.724 INFO - Atoms: 54701/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 174 Props: 11462048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.138 Prop: 13548.012 PropClause: 13260.121 Set: 2203.072 Check: 0.0 Back: 265.008 INFO - Atoms: 54574/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 175 Props: 11516489 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.148 Prop: 13602.181 PropClause: 13312.961 Set: 2212.385 Check: 0.0 Back: 266.263 INFO - Atoms: 54441/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 176 Props: 11570798 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.158 Prop: 13658.076 PropClause: 13367.532 Set: 2221.793 Check: 0.0 Back: 267.514 INFO - Atoms: 54309/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 177 Props: 11624977 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.169 Prop: 13710.417 PropClause: 13418.547 Set: 2230.995 Check: 0.0 Back: 268.751 INFO - Atoms: 54179/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 178 Props: 11679025 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.178 Prop: 13766.115 PropClause: 13472.935 Set: 2240.267 Check: 0.0 Back: 269.988 INFO - Atoms: 54048/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 179 Props: 11732940 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.191 Prop: 13822.584 PropClause: 13528.089 Set: 2249.624 Check: 0.0 Back: 271.227 INFO - Atoms: 53915/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 180 Props: 11786728 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.202 Prop: 13882.19 PropClause: 13586.384 Set: 2259.007 Check: 0.0 Back: 272.479 INFO - Atoms: 53788/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 181 Props: 11840383 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.216 Prop: 13940.629 PropClause: 13643.513 Set: 2268.228 Check: 0.0 Back: 273.713 INFO - Atoms: 53655/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 182 Props: 11893907 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.228 Prop: 13997.817 PropClause: 13699.376 Set: 2277.448 Check: 0.0 Back: 274.945 INFO - Atoms: 53524/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 183 Props: 11947300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.238 Prop: 14051.439 PropClause: 13751.697 Set: 2286.619 Check: 0.0 Back: 276.166 INFO - Atoms: 53393/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 184 Props: 12000564 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.249 Prop: 14111.232 PropClause: 13810.179 Set: 2295.989 Check: 0.0 Back: 277.399 INFO - Atoms: 53264/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 185 Props: 12053695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.26 Prop: 14167.195 PropClause: 13864.822 Set: 2305.212 Check: 0.0 Back: 278.642 INFO - Atoms: 53131/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 186 Props: 12106695 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.27 Prop: 14222.606 PropClause: 13918.943 Set: 2314.379 Check: 0.0 Back: 279.875 INFO - Atoms: 53000/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 187 Props: 12159562 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.279 Prop: 14275.251 PropClause: 13970.297 Set: 2323.4 Check: 0.0 Back: 281.091 INFO - Atoms: 52867/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 188 Props: 12212299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.29 Prop: 14329.223 PropClause: 14022.984 Set: 2332.517 Check: 0.0 Back: 282.302 INFO - Atoms: 52737/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 189 Props: 12264906 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.304 Prop: 14382.655 PropClause: 14075.122 Set: 2341.464 Check: 0.0 Back: 283.513 INFO - Atoms: 52607/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 190 Props: 12317384 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.313 Prop: 14434.95 PropClause: 14126.138 Set: 2350.445 Check: 0.0 Back: 284.717 INFO - Atoms: 52478/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 191 Props: 12369729 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.325 Prop: 14486.376 PropClause: 14176.282 Set: 2359.389 Check: 0.0 Back: 285.918 INFO - Atoms: 52345/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 192 Props: 12421945 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.335 Prop: 14539.329 PropClause: 14227.964 Set: 2368.393 Check: 0.0 Back: 287.13 INFO - Atoms: 52216/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 193 Props: 12474026 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.346 Prop: 14589.835 PropClause: 14277.2 Set: 2377.305 Check: 0.0 Back: 288.323 INFO - Atoms: 52081/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 194 Props: 12525978 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.356 Prop: 14644.46 PropClause: 14330.555 Set: 2386.283 Check: 0.0 Back: 289.536 INFO - Atoms: 51952/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 195 Props: 12577799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.365 Prop: 14694.457 PropClause: 14379.279 Set: 2395.057 Check: 0.0 Back: 290.729 INFO - Atoms: 51821/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 196 Props: 12629491 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.376 Prop: 14745.938 PropClause: 14429.499 Set: 2403.938 Check: 0.0 Back: 291.919 INFO - Atoms: 51692/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 197 Props: 12681048 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.386 Prop: 14793.144 PropClause: 14475.442 Set: 2412.662 Check: 0.0 Back: 293.099 INFO - Atoms: 51557/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 198 Props: 12732475 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.397 Prop: 14842.586 PropClause: 14523.631 Set: 2421.442 Check: 0.0 Back: 294.287 INFO - Atoms: 51427/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 199 Props: 12783770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.439 Prop: 14894.704 PropClause: 14574.499 Set: 2430.233 Check: 0.0 Back: 295.486 INFO - Atoms: 51295/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 200 Props: 12834936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.473 Prop: 14948.402 PropClause: 14626.927 Set: 2438.991 Check: 0.0 Back: 296.667 INFO - Atoms: 51166/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 201 Props: 12885971 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.513 Prop: 14997.052 PropClause: 14674.331 Set: 2447.676 Check: 0.0 Back: 297.838 INFO - Atoms: 51035/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 202 Props: 12936875 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.53 Prop: 15047.865 PropClause: 14723.902 Set: 2456.395 Check: 0.0 Back: 299.013 INFO - Atoms: 50904/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 203 Props: 12987646 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.569 Prop: 15099.021 PropClause: 14773.821 Set: 2465.089 Check: 0.0 Back: 300.178 INFO - Atoms: 50771/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 204 Props: 13038288 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.578 Prop: 15153.882 PropClause: 14827.434 Set: 2473.861 Check: 0.0 Back: 301.34 INFO - Atoms: 50642/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 205 Props: 13088799 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.586 Prop: 15204.458 PropClause: 14876.771 Set: 2482.41 Check: 0.0 Back: 302.5 INFO - Atoms: 50511/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 206 Props: 13139179 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.593 Prop: 15253.952 PropClause: 14925.028 Set: 2490.864 Check: 0.0 Back: 303.664 INFO - Atoms: 50380/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 207 Props: 13189426 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.601 Prop: 15301.474 PropClause: 14971.313 Set: 2499.401 Check: 0.0 Back: 304.814 INFO - Atoms: 50247/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 208 Props: 13239546 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.609 Prop: 15354.02 PropClause: 15022.637 Set: 2508.022 Check: 0.0 Back: 305.962 INFO - Atoms: 50120/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 209 Props: 13289533 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.619 Prop: 15403.85 PropClause: 15071.229 Set: 2516.516 Check: 0.0 Back: 307.113 INFO - Atoms: 49987/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 210 Props: 13339389 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.626 Prop: 15457.177 PropClause: 15123.265 Set: 2525.078 Check: 0.0 Back: 308.277 INFO - Atoms: 49856/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 211 Props: 13389112 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.634 Prop: 15506.77 PropClause: 15171.636 Set: 2533.548 Check: 0.0 Back: 309.436 INFO - Atoms: 49723/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 212 Props: 13438705 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.641 Prop: 15557.429 PropClause: 15221.08 Set: 2542.045 Check: 0.0 Back: 310.581 INFO - Atoms: 49593/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 213 Props: 13488168 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.649 Prop: 15605.591 PropClause: 15268.025 Set: 2550.46 Check: 0.0 Back: 311.725 INFO - Atoms: 49463/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 214 Props: 13537502 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.657 Prop: 15656.889 PropClause: 15318.121 Set: 2558.898 Check: 0.0 Back: 312.859 INFO - Atoms: 49334/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 215 Props: 13586701 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.663 Prop: 15702.963 PropClause: 15362.997 Set: 2567.169 Check: 0.0 Back: 314.006 INFO - Atoms: 49199/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 216 Props: 13635770 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.672 Prop: 15751.935 PropClause: 15410.76 Set: 2575.569 Check: 0.0 Back: 315.144 INFO - Atoms: 49069/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 217 Props: 13684709 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.679 Prop: 15797.512 PropClause: 15455.145 Set: 2594.728 Check: 0.0 Back: 316.278 INFO - Atoms: 48939/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 218 Props: 13733516 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.686 Prop: 15843.099 PropClause: 15499.531 Set: 2603.058 Check: 0.0 Back: 317.403 INFO - Atoms: 48807/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 219 Props: 13782193 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.694 Prop: 15886.254 PropClause: 15541.503 Set: 2611.195 Check: 0.0 Back: 318.543 INFO - Atoms: 48677/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 220 Props: 13830739 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.702 Prop: 15931.539 PropClause: 15585.583 Set: 2619.442 Check: 0.0 Back: 319.671 INFO - Atoms: 48546/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 221 Props: 13879152 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.709 Prop: 15979.03 PropClause: 15631.886 Set: 2627.643 Check: 0.0 Back: 320.787 INFO - Atoms: 48413/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 222 Props: 13927438 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.715 Prop: 16025.697 PropClause: 15677.379 Set: 2635.785 Check: 0.0 Back: 321.922 INFO - Atoms: 48286/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 223 Props: 13975589 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.723 Prop: 16070.092 PropClause: 15720.603 Set: 2643.85 Check: 0.0 Back: 323.028 INFO - Atoms: 48151/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 224 Props: 14023610 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.732 Prop: 16114.279 PropClause: 15763.616 Set: 2651.994 Check: 0.0 Back: 324.142 INFO - Atoms: 48021/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 225 Props: 14071501 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.739 Prop: 16158.558 PropClause: 15806.716 Set: 2660.014 Check: 0.0 Back: 325.248 INFO - Atoms: 47891/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 226 Props: 14119261 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.746 Prop: 16202.369 PropClause: 15849.364 Set: 2668.01 Check: 0.0 Back: 326.367 INFO - Atoms: 47760/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 227 Props: 14166890 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.753 Prop: 16247.12 PropClause: 15892.954 Set: 2675.983 Check: 0.0 Back: 327.459 INFO - Atoms: 47629/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 228 Props: 14214388 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.759 Prop: 16290.322 PropClause: 15935.001 Set: 2683.893 Check: 0.0 Back: 328.552 INFO - Atoms: 47498/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 229 Props: 14261753 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.766 Prop: 16332.521 PropClause: 15976.035 Set: 2691.834 Check: 0.0 Back: 329.636 INFO - Atoms: 47365/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 230 Props: 14308991 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.775 Prop: 16376.26 PropClause: 16018.626 Set: 2699.812 Check: 0.0 Back: 330.718 INFO - Atoms: 47238/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 231 Props: 14356094 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.782 Prop: 16418.314 PropClause: 16059.531 Set: 2707.582 Check: 0.0 Back: 331.802 INFO - Atoms: 47103/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 232 Props: 14403068 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.788 Prop: 16459.932 PropClause: 16100.005 Set: 2715.466 Check: 0.0 Back: 332.872 INFO - Atoms: 46974/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 233 Props: 14449911 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.794 Prop: 16501.432 PropClause: 16140.364 Set: 2723.306 Check: 0.0 Back: 333.959 INFO - Atoms: 46843/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 234 Props: 14496623 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.803 Prop: 16542.959 PropClause: 16180.754 Set: 2731.177 Check: 0.0 Back: 335.028 INFO - Atoms: 46712/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 235 Props: 14543202 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.812 Prop: 16586.608 PropClause: 16223.275 Set: 2738.864 Check: 0.0 Back: 336.095 INFO - Atoms: 46579/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 236 Props: 14589651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.82 Prop: 16629.301 PropClause: 16264.835 Set: 2746.642 Check: 0.0 Back: 337.153 INFO - Atoms: 46449/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 237 Props: 14635970 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.835 Prop: 16670.915 PropClause: 16305.309 Set: 2754.333 Check: 0.0 Back: 338.218 INFO - Atoms: 46319/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 238 Props: 14682160 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.842 Prop: 16712.993 PropClause: 16346.259 Set: 2762.188 Check: 0.0 Back: 339.284 INFO - Atoms: 46190/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 239 Props: 14728215 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.852 Prop: 16755.647 PropClause: 16387.787 Set: 2769.846 Check: 0.0 Back: 340.347 INFO - Atoms: 46055/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 240 Props: 14774141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.859 Prop: 16799.357 PropClause: 16430.366 Set: 2777.587 Check: 0.0 Back: 341.406 INFO - Atoms: 45926/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 241 Props: 14819934 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.867 Prop: 16845.28 PropClause: 16475.149 Set: 2785.311 Check: 0.0 Back: 342.608 INFO - Atoms: 45793/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 242 Props: 14865597 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.876 Prop: 16883.923 PropClause: 16512.68 Set: 2792.865 Check: 0.0 Back: 343.664 INFO - Atoms: 45663/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 243 Props: 14911130 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.92 Prop: 16923.253 PropClause: 16550.901 Set: 2800.437 Check: 0.0 Back: 344.715 INFO - Atoms: 45533/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 244 Props: 14956534 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 4.965 Prop: 16965.871 PropClause: 16592.41 Set: 2808.038 Check: 0.0 Back: 345.773 INFO - Atoms: 45404/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 245 Props: 15001805 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.009 Prop: 17003.883 PropClause: 16629.314 Set: 2815.532 Check: 0.0 Back: 346.806 INFO - Atoms: 45271/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 246 Props: 15046947 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.016 Prop: 17041.111 PropClause: 16665.435 Set: 2823.065 Check: 0.0 Back: 347.854 INFO - Atoms: 45142/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 247 Props: 15091956 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.023 Prop: 17079.266 PropClause: 16702.485 Set: 2830.601 Check: 0.0 Back: 348.913 INFO - Atoms: 45009/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 248 Props: 15136836 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.032 Prop: 17117.585 PropClause: 16739.702 Set: 2849.46 Check: 0.0 Back: 349.952 INFO - Atoms: 44880/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 249 Props: 15181581 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.039 Prop: 17154.293 PropClause: 16775.321 Set: 2856.882 Check: 0.0 Back: 350.98 INFO - Atoms: 44745/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 250 Props: 15226196 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.047 Prop: 17192.523 PropClause: 16812.464 Set: 2864.28 Check: 0.0 Back: 352.011 INFO - Atoms: 44615/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 251 Props: 15270681 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.056 Prop: 17228.519 PropClause: 16847.349 Set: 2871.669 Check: 0.0 Back: 353.035 INFO - Atoms: 44485/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 252 Props: 15315034 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.065 Prop: 17268.171 PropClause: 16885.921 Set: 2879.12 Check: 0.0 Back: 354.057 INFO - Atoms: 44353/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 253 Props: 15359257 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.072 Prop: 17303.878 PropClause: 16920.557 Set: 2886.364 Check: 0.0 Back: 355.063 INFO - Atoms: 44223/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 254 Props: 15403351 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.078 Prop: 17342.398 PropClause: 16957.988 Set: 2893.774 Check: 0.0 Back: 356.075 INFO - Atoms: 44094/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 255 Props: 15447312 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.085 Prop: 17379.156 PropClause: 16993.674 Set: 2901.102 Check: 0.0 Back: 357.104 INFO - Atoms: 43961/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 256 Props: 15491141 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.091 Prop: 17414.912 PropClause: 17028.363 Set: 2908.274 Check: 0.0 Back: 358.121 INFO - Atoms: 43829/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 257 Props: 15534838 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.099 Prop: 17449.457 PropClause: 17061.84 Set: 2915.46 Check: 0.0 Back: 359.124 INFO - Atoms: 43697/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 258 Props: 15578408 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.105 Prop: 17485.185 PropClause: 17096.504 Set: 2922.653 Check: 0.0 Back: 360.122 INFO - Atoms: 43570/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 259 Props: 15621843 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.113 Prop: 17519.843 PropClause: 17130.097 Set: 2929.808 Check: 0.0 Back: 361.123 INFO - Atoms: 43435/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 260 Props: 15665149 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.121 Prop: 17555.664 PropClause: 17164.863 Set: 2937.04 Check: 0.0 Back: 362.123 INFO - Atoms: 43306/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 261 Props: 15708324 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.129 Prop: 17591.342 PropClause: 17199.488 Set: 2944.187 Check: 0.0 Back: 363.123 INFO - Atoms: 43175/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 262 Props: 15751370 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.135 Prop: 17628.743 PropClause: 17235.837 Set: 2951.351 Check: 0.0 Back: 364.117 INFO - Atoms: 43046/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 263 Props: 15794281 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.141 Prop: 17665.064 PropClause: 17271.117 Set: 2958.442 Check: 0.0 Back: 365.101 INFO - Atoms: 42911/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 264 Props: 15837065 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.149 Prop: 17701.802 PropClause: 17306.813 Set: 2965.608 Check: 0.0 Back: 366.089 INFO - Atoms: 42784/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 265 Props: 15879716 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.157 Prop: 17736.524 PropClause: 17340.495 Set: 2972.617 Check: 0.0 Back: 367.071 INFO - Atoms: 42651/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 266 Props: 15922236 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.163 Prop: 17774.029 PropClause: 17376.954 Set: 2979.718 Check: 0.0 Back: 368.049 INFO - Atoms: 42520/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 267 Props: 15964625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.17 Prop: 17810.322 PropClause: 17412.207 Set: 2986.74 Check: 0.0 Back: 369.025 INFO - Atoms: 42389/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 268 Props: 16006885 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.175 Prop: 17845.957 PropClause: 17446.814 Set: 2993.73 Check: 0.0 Back: 370.001 INFO - Atoms: 42260/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 269 Props: 16049012 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.182 Prop: 17879.451 PropClause: 17479.28 Set: 3000.682 Check: 0.0 Back: 370.971 INFO - Atoms: 42127/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 270 Props: 16091008 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.188 Prop: 17913.649 PropClause: 17512.441 Set: 3007.653 Check: 0.0 Back: 371.938 INFO - Atoms: 41996/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 271 Props: 16132871 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.196 Prop: 17948.599 PropClause: 17546.365 Set: 3014.557 Check: 0.0 Back: 372.898 INFO - Atoms: 41863/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 272 Props: 16174605 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.203 Prop: 17982.865 PropClause: 17579.614 Set: 3021.471 Check: 0.0 Back: 373.867 INFO - Atoms: 41734/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 273 Props: 16216208 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.211 Prop: 18014.8 PropClause: 17610.529 Set: 3028.305 Check: 0.0 Back: 374.825 INFO - Atoms: 41603/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 274 Props: 16257680 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.216 Prop: 18047.198 PropClause: 17641.916 Set: 3035.086 Check: 0.0 Back: 375.796 INFO - Atoms: 41472/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 275 Props: 16299021 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.223 Prop: 18082.144 PropClause: 17675.85 Set: 3041.939 Check: 0.0 Back: 376.753 INFO - Atoms: 41341/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 276 Props: 16340233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.231 Prop: 18118.992 PropClause: 17711.678 Set: 3048.875 Check: 0.0 Back: 377.705 INFO - Atoms: 41212/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 277 Props: 16380679 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.237 Prop: 18150.752 PropClause: 17742.448 Set: 3055.43 Check: 0.0 Back: 378.659 INFO - Atoms: 40446/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 278 Props: 16420994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.247 Prop: 18186.251 PropClause: 17776.96 Set: 3062.142 Check: 0.0 Back: 379.589 INFO - Atoms: 40315/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 279 Props: 16461178 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.255 Prop: 18216.909 PropClause: 17806.627 Set: 3068.601 Check: 0.0 Back: 380.514 INFO - Atoms: 40184/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 280 Props: 16501233 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.261 Prop: 18246.733 PropClause: 17835.468 Set: 3075.041 Check: 0.0 Back: 381.442 INFO - Atoms: 40055/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 281 Props: 16541153 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.269 Prop: 18275.741 PropClause: 17863.499 Set: 3081.429 Check: 0.0 Back: 382.362 INFO - Atoms: 39920/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 282 Props: 16580944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.276 Prop: 18303.867 PropClause: 17890.662 Set: 3087.748 Check: 0.0 Back: 383.29 INFO - Atoms: 39791/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 283 Props: 16620602 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.282 Prop: 18330.904 PropClause: 17916.732 Set: 3094.05 Check: 0.0 Back: 384.195 INFO - Atoms: 39658/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 284 Props: 16660133 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.289 Prop: 18358.918 PropClause: 17943.781 Set: 3100.413 Check: 0.0 Back: 385.104 INFO - Atoms: 39531/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 285 Props: 16699529 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.296 Prop: 18386.853 PropClause: 17970.748 Set: 3106.745 Check: 0.0 Back: 386.017 INFO - Atoms: 39396/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 286 Props: 16738795 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.304 Prop: 18415.815 PropClause: 17998.738 Set: 3113.061 Check: 0.0 Back: 386.914 INFO - Atoms: 39266/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 287 Props: 16777929 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.31 Prop: 18443.285 PropClause: 18025.254 Set: 3119.261 Check: 0.0 Back: 387.824 INFO - Atoms: 39134/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 288 Props: 16816936 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.316 Prop: 18470.486 PropClause: 18051.492 Set: 3125.503 Check: 0.0 Back: 388.718 INFO - Atoms: 39007/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 289 Props: 16855810 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.323 Prop: 18498.81 PropClause: 18078.867 Set: 3131.741 Check: 0.0 Back: 389.611 INFO - Atoms: 38874/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 290 Props: 16894553 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.331 Prop: 18524.731 PropClause: 18103.848 Set: 3137.851 Check: 0.0 Back: 390.509 INFO - Atoms: 38743/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 291 Props: 16933163 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.337 Prop: 18550.653 PropClause: 18128.827 Set: 3143.975 Check: 0.0 Back: 391.402 INFO - Atoms: 38610/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 292 Props: 16971644 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.343 Prop: 18576.105 PropClause: 18153.34 Set: 3150.099 Check: 0.0 Back: 392.293 INFO - Atoms: 38481/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 293 Props: 17009994 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.349 Prop: 18602.569 PropClause: 18178.874 Set: 3156.139 Check: 0.0 Back: 393.174 INFO - Atoms: 38350/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 294 Props: 17048215 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.356 Prop: 18631.295 PropClause: 18206.667 Set: 3162.334 Check: 0.0 Back: 394.049 INFO - Atoms: 38221/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 295 Props: 17086301 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.363 Prop: 18660.341 PropClause: 18234.791 Set: 3168.453 Check: 0.0 Back: 394.916 INFO - Atoms: 38086/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 296 Props: 17124258 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.369 Prop: 18687.331 PropClause: 18260.855 Set: 3174.496 Check: 0.0 Back: 395.784 INFO - Atoms: 37957/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 297 Props: 17162082 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.375 Prop: 18714.067 PropClause: 18286.676 Set: 3180.503 Check: 0.0 Back: 396.663 INFO - Atoms: 37824/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 298 Props: 17199777 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.384 Prop: 18739.416 PropClause: 18311.109 Set: 3186.457 Check: 0.0 Back: 397.545 INFO - Atoms: 37695/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 299 Props: 17237341 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.391 Prop: 18764.043 PropClause: 18334.827 Set: 3192.358 Check: 0.0 Back: 398.419 INFO - Atoms: 37564/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 300 Props: 17274774 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.397 Prop: 18785.57 PropClause: 18355.443 Set: 3198.19 Check: 0.0 Back: 399.27 INFO - Atoms: 37433/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 301 Props: 17312074 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.405 Prop: 18807.148 PropClause: 18376.118 Set: 3204.012 Check: 0.0 Back: 400.128 INFO - Atoms: 37300/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 302 Props: 17349245 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.413 Prop: 18834.468 PropClause: 18402.416 Set: 3210.19 Check: 0.0 Back: 400.982 INFO - Atoms: 37171/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 303 Props: 17386285 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.419 Prop: 18859.061 PropClause: 18426.109 Set: 3216.019 Check: 0.0 Back: 401.842 INFO - Atoms: 37040/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 304 Props: 17423193 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.426 Prop: 18882.838 PropClause: 18448.993 Set: 3221.788 Check: 0.0 Back: 402.683 INFO - Atoms: 36908/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 305 Props: 17459969 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.432 Prop: 18907.754 PropClause: 18473.013 Set: 3227.623 Check: 0.0 Back: 403.524 INFO - Atoms: 36776/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 306 Props: 17496616 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.438 Prop: 18932.04 PropClause: 18496.41 Set: 3233.361 Check: 0.0 Back: 404.37 INFO - Atoms: 36647/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 307 Props: 17533132 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.446 Prop: 18956.113 PropClause: 18519.596 Set: 3239.095 Check: 0.0 Back: 405.203 INFO - Atoms: 36516/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 308 Props: 17568884 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.455 Prop: 18981.471 PropClause: 18544.088 Set: 3244.644 Check: 0.0 Back: 406.047 INFO - Atoms: 35752/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 309 Props: 17604505 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.46 Prop: 19003.601 PropClause: 18565.347 Set: 3250.147 Check: 0.0 Back: 406.863 INFO - Atoms: 35621/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 310 Props: 17639997 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.467 Prop: 19026.984 PropClause: 18587.863 Set: 3255.672 Check: 0.0 Back: 407.683 INFO - Atoms: 35492/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 311 Props: 17675356 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.475 Prop: 19049.789 PropClause: 18609.812 Set: 3261.152 Check: 0.0 Back: 408.491 INFO - Atoms: 35359/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 312 Props: 17710586 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.481 Prop: 19070.947 PropClause: 18630.11 Set: 3266.599 Check: 0.0 Back: 409.303 INFO - Atoms: 35230/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 313 Props: 17745683 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.489 Prop: 19092.651 PropClause: 18650.955 Set: 3271.986 Check: 0.0 Back: 410.113 INFO - Atoms: 35097/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 314 Props: 17780651 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.494 Prop: 19113.695 PropClause: 18671.147 Set: 3277.417 Check: 0.0 Back: 410.913 INFO - Atoms: 34968/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 315 Props: 17815486 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.5 Prop: 19134.531 PropClause: 18691.138 Set: 3282.776 Check: 0.0 Back: 411.712 INFO - Atoms: 34835/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 316 Props: 17850190 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.508 Prop: 19157.39 PropClause: 18713.143 Set: 3288.178 Check: 0.0 Back: 412.517 INFO - Atoms: 34704/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 317 Props: 17884761 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.515 Prop: 19180.635 PropClause: 18735.537 Set: 3293.586 Check: 0.0 Back: 413.316 INFO - Atoms: 34571/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 318 Props: 17919205 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.521 Prop: 19203.97 PropClause: 18758.024 Set: 3298.995 Check: 0.0 Back: 414.114 INFO - Atoms: 34444/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 319 Props: 17953514 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.531 Prop: 19225.881 PropClause: 18779.092 Set: 3304.347 Check: 0.0 Back: 414.912 INFO - Atoms: 34309/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 320 Props: 17987694 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.537 Prop: 19248.163 PropClause: 18800.541 Set: 3309.669 Check: 0.0 Back: 415.706 INFO - Atoms: 34180/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 321 Props: 18021743 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.545 Prop: 19270.495 PropClause: 18822.041 Set: 3314.946 Check: 0.0 Back: 416.488 INFO - Atoms: 34049/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 322 Props: 18055663 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.552 Prop: 19292.315 PropClause: 18843.033 Set: 3320.171 Check: 0.0 Back: 417.27 INFO - Atoms: 33920/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 323 Props: 18089450 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.56 Prop: 19313.163 PropClause: 18863.051 Set: 3325.36 Check: 0.0 Back: 418.045 INFO - Atoms: 33787/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 324 Props: 18123106 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.566 Prop: 19334.884 PropClause: 18883.956 Set: 3330.509 Check: 0.0 Back: 418.817 INFO - Atoms: 33656/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 325 Props: 18156629 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.573 Prop: 19354.735 PropClause: 18902.987 Set: 3335.643 Check: 0.0 Back: 419.589 INFO - Atoms: 33523/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 326 Props: 18190023 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.582 Prop: 19377.692 PropClause: 18925.13 Set: 3340.802 Check: 0.0 Back: 420.355 INFO - Atoms: 33394/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 327 Props: 18223286 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.589 Prop: 19399.564 PropClause: 18946.191 Set: 3345.941 Check: 0.0 Back: 421.118 INFO - Atoms: 33263/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 328 Props: 18256418 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.595 Prop: 19420.129 PropClause: 18965.948 Set: 3350.994 Check: 0.0 Back: 421.883 INFO - Atoms: 33132/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 329 Props: 18289419 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.605 Prop: 19440.704 PropClause: 18985.707 Set: 3356.067 Check: 0.0 Back: 422.641 INFO - Atoms: 33001/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 330 Props: 18322291 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.611 Prop: 19460.407 PropClause: 19004.613 Set: 3361.051 Check: 0.0 Back: 423.398 INFO - Atoms: 32872/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 331 Props: 18355030 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.617 Prop: 19480.972 PropClause: 19024.38 Set: 3366.062 Check: 0.0 Back: 424.147 INFO - Atoms: 32739/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 332 Props: 18387640 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.623 Prop: 19500.843 PropClause: 19043.458 Set: 3371.062 Check: 0.0 Back: 424.894 INFO - Atoms: 32610/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 333 Props: 18420117 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.629 Prop: 19520.827 PropClause: 19062.652 Set: 3376.032 Check: 0.0 Back: 425.64 INFO - Atoms: 32477/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 334 Props: 18452465 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.635 Prop: 19539.682 PropClause: 19080.717 Set: 3380.961 Check: 0.0 Back: 426.382 INFO - Atoms: 32348/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 335 Props: 18484678 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.642 Prop: 19559.837 PropClause: 19100.092 Set: 3385.867 Check: 0.0 Back: 427.119 INFO - Atoms: 32213/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 336 Props: 18516762 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.649 Prop: 19579.17 PropClause: 19118.644 Set: 3390.737 Check: 0.0 Back: 427.862 INFO - Atoms: 32084/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 337 Props: 18548715 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.655 Prop: 19598.182 PropClause: 19136.863 Set: 3395.599 Check: 0.0 Back: 428.601 INFO - Atoms: 31953/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 338 Props: 18580539 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.664 Prop: 19617.397 PropClause: 19155.293 Set: 3400.458 Check: 0.0 Back: 429.332 INFO - Atoms: 31824/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 339 Props: 18612230 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.67 Prop: 19635.738 PropClause: 19172.852 Set: 3405.246 Check: 0.0 Back: 430.058 INFO - Atoms: 31691/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 340 Props: 18643790 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.679 Prop: 19654.602 PropClause: 19190.935 Set: 3410.028 Check: 0.0 Back: 430.782 INFO - Atoms: 31560/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 341 Props: 18675217 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.684 Prop: 19672.173 PropClause: 19207.73 Set: 3414.788 Check: 0.0 Back: 431.497 INFO - Atoms: 31427/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 342 Props: 18706517 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.692 Prop: 19690.018 PropClause: 19224.814 Set: 3419.555 Check: 0.0 Back: 432.216 INFO - Atoms: 31300/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 343 Props: 18737682 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.699 Prop: 19708.102 PropClause: 19242.136 Set: 3424.253 Check: 0.0 Back: 432.965 INFO - Atoms: 31165/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 344 Props: 18768720 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.706 Prop: 19727.314 PropClause: 19260.591 Set: 3428.935 Check: 0.0 Back: 433.678 INFO - Atoms: 31038/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 345 Props: 18799625 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.713 Prop: 19745.646 PropClause: 19278.159 Set: 3433.601 Check: 0.0 Back: 434.386 INFO - Atoms: 30905/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 346 Props: 18830401 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.719 Prop: 19763.916 PropClause: 19295.671 Set: 3438.267 Check: 0.0 Back: 435.104 INFO - Atoms: 30776/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 347 Props: 18861044 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.726 Prop: 19781.132 PropClause: 19312.136 Set: 3442.893 Check: 0.0 Back: 435.804 INFO - Atoms: 30643/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 348 Props: 18891558 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.734 Prop: 19799.32 PropClause: 19329.583 Set: 3447.534 Check: 0.0 Back: 436.507 INFO - Atoms: 30514/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 349 Props: 18921939 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.741 Prop: 19816.834 PropClause: 19346.354 Set: 3452.073 Check: 0.0 Back: 437.199 INFO - Atoms: 30381/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 350 Props: 18952191 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.756 Prop: 19834.395 PropClause: 19363.182 Set: 3456.588 Check: 0.0 Back: 437.89 INFO - Atoms: 30252/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 351 Props: 18982310 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.764 Prop: 19850.533 PropClause: 19378.586 Set: 3461.142 Check: 0.0 Back: 438.577 INFO - Atoms: 30119/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 352 Props: 19012300 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.77 Prop: 19866.31 PropClause: 19393.632 Set: 3465.648 Check: 0.0 Back: 439.277 INFO - Atoms: 29990/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 353 Props: 19042155 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.776 Prop: 19884.001 PropClause: 19410.579 Set: 3470.147 Check: 0.0 Back: 439.966 INFO - Atoms: 29855/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 354 Props: 19071881 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.781 Prop: 19900.797 PropClause: 19426.652 Set: 3474.595 Check: 0.0 Back: 440.649 INFO - Atoms: 29726/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 355 Props: 19101476 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.786 Prop: 19915.731 PropClause: 19440.866 Set: 3479.021 Check: 0.0 Back: 441.329 INFO - Atoms: 29595/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 356 Props: 19130942 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.791 Prop: 19932.105 PropClause: 19456.525 Set: 3483.424 Check: 0.0 Back: 442.005 INFO - Atoms: 29466/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 357 Props: 19160275 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.797 Prop: 19948.921 PropClause: 19472.63 Set: 3487.79 Check: 0.0 Back: 442.674 INFO - Atoms: 29333/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 358 Props: 19189477 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.805 Prop: 19964.557 PropClause: 19487.55 Set: 3492.115 Check: 0.0 Back: 443.337 INFO - Atoms: 29202/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 359 Props: 19218548 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.813 Prop: 19980.839 PropClause: 19503.125 Set: 3496.432 Check: 0.0 Back: 444.0 INFO - Atoms: 29071/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 360 Props: 19247490 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.821 Prop: 19996.919 PropClause: 19518.5 Set: 3500.725 Check: 0.0 Back: 444.66 INFO - Atoms: 28942/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 361 Props: 19276299 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.828 Prop: 20012.694 PropClause: 19533.573 Set: 3504.989 Check: 0.0 Back: 445.33 INFO - Atoms: 28809/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 362 Props: 19304979 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.834 Prop: 20028.028 PropClause: 19548.212 Set: 3509.218 Check: 0.0 Back: 445.987 INFO - Atoms: 28680/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 363 Props: 19333526 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.843 Prop: 20043.097 PropClause: 19562.582 Set: 3513.457 Check: 0.0 Back: 446.637 INFO - Atoms: 28547/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 364 Props: 19361944 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.851 Prop: 20058.64 PropClause: 19577.422 Set: 3517.662 Check: 0.0 Back: 447.295 INFO - Atoms: 28418/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 365 Props: 19390229 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.858 Prop: 20073.479 PropClause: 19591.571 Set: 3521.84 Check: 0.0 Back: 447.942 INFO - Atoms: 28285/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 366 Props: 19418385 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.864 Prop: 20087.287 PropClause: 19604.693 Set: 3525.99 Check: 0.0 Back: 448.586 INFO - Atoms: 28156/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 367 Props: 19446406 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.872 Prop: 20101.798 PropClause: 19618.522 Set: 3530.134 Check: 0.0 Back: 449.232 INFO - Atoms: 28021/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 368 Props: 19474298 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.879 Prop: 20116.113 PropClause: 19632.154 Set: 3534.258 Check: 0.0 Back: 449.873 INFO - Atoms: 27892/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 369 Props: 19501932 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.887 Prop: 20130.23 PropClause: 19645.596 Set: 3538.333 Check: 0.0 Back: 450.51 INFO - Atoms: 27634/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 370 Props: 19529382 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.893 Prop: 20142.81 PropClause: 19657.511 Set: 3542.283 Check: 0.0 Back: 451.141 INFO - Atoms: 27450/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 371 Props: 19556701 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.897 Prop: 20155.334 PropClause: 19669.373 Set: 3546.211 Check: 0.0 Back: 451.772 INFO - Atoms: 27319/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 372 Props: 19583891 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.905 Prop: 20170.15 PropClause: 19682.599 Set: 3550.135 Check: 0.0 Back: 452.394 INFO - Atoms: 27190/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 373 Props: 19610948 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.912 Prop: 20183.107 PropClause: 19694.897 Set: 3554.04 Check: 0.0 Back: 453.01 INFO - Atoms: 27057/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 374 Props: 19637876 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.919 Prop: 20195.36 PropClause: 19706.494 Set: 3557.911 Check: 0.0 Back: 453.629 INFO - Atoms: 26928/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 375 Props: 19664671 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.924 Prop: 20207.983 PropClause: 19718.465 Set: 3561.773 Check: 0.0 Back: 454.25 INFO - Atoms: 26795/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 376 Props: 19691337 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.931 Prop: 20220.641 PropClause: 19730.465 Set: 3565.62 Check: 0.0 Back: 454.863 INFO - Atoms: 26666/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 377 Props: 19717870 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.938 Prop: 20233.076 PropClause: 19742.252 Set: 3569.428 Check: 0.0 Back: 455.47 INFO - Atoms: 26533/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 378 Props: 19744274 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.945 Prop: 20245.933 PropClause: 19754.449 Set: 3573.259 Check: 0.0 Back: 456.075 INFO - Atoms: 26404/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 379 Props: 19770545 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.95 Prop: 20256.762 PropClause: 19764.641 Set: 3577.024 Check: 0.0 Back: 456.677 INFO - Atoms: 26271/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 380 Props: 19796687 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.958 Prop: 20268.403 PropClause: 19775.646 Set: 3580.769 Check: 0.0 Back: 457.278 INFO - Atoms: 26142/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 381 Props: 19822696 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.964 Prop: 20280.548 PropClause: 19787.157 Set: 3584.499 Check: 0.0 Back: 457.876 INFO - Atoms: 26009/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 382 Props: 19848576 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.972 Prop: 20293.109 PropClause: 19799.084 Set: 3588.186 Check: 0.0 Back: 458.472 INFO - Atoms: 25880/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 383 Props: 19874323 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.978 Prop: 20304.964 PropClause: 19810.31 Set: 3591.869 Check: 0.0 Back: 459.074 INFO - Atoms: 25747/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 384 Props: 19899941 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.984 Prop: 20316.175 PropClause: 19820.898 Set: 3595.478 Check: 0.0 Back: 459.663 INFO - Atoms: 25618/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 385 Props: 19925428 Tprops: 0 Decides: 0 RSplits: 0 INFO - Times: Expl: 5.99 Prop: 20326.002 PropClause: 19830.107 Set: 3599.064 Check: 0.0 Back: 460.25 INFO - Atoms: 25487/76542 Clauses: 1169 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 885 Props: 20549221 Tprops: 0 Decides: 1144 RSplits: 0 INFO - Times: Expl: 1034.151 Prop: 20685.785 PropClause: 20173.793 Set: 3616.72 Check: 0.041 Back: 474.482 INFO - Atoms: 25041/76542 Clauses: 1668 Axioms: 252354 INFO - Restart INFO - Confl: 1385 Props: 21477265 Tprops: 0 Decides: 4086 RSplits: 0 INFO - Times: Expl: 1293.236 Prop: 21166.706 PropClause: 20630.243 Set: 3638.792 Check: 0.117 Back: 496.273 INFO - Atoms: 25041/76542 Clauses: 2168 Axioms: 252354 INFO - Restart INFO - Confl: 2385 Props: 22691891 Tprops: 0 Decides: 6414 RSplits: 0 INFO - Times: Expl: 1592.379 Prop: 21620.052 PropClause: 21052.107 Set: 3667.085 Check: 0.179 Back: 524.183 INFO - Atoms: 25041/76542 Clauses: 3168 Axioms: 252354 INFO - Restart INFO - Confl: 2885 Props: 23204633 Tprops: 0 Decides: 7369 RSplits: 0 INFO - Times: Expl: 1769.485 Prop: 21821.692 PropClause: 21240.119 Set: 3679.102 Check: 0.205 Back: 536.047 INFO - Atoms: 25041/76542 Clauses: 3668 Axioms: 252354 INFO - Restart INFO - Confl: 3385 Props: 23717218 Tprops: 0 Decides: 8080 RSplits: 0 INFO - Times: Expl: 1888.198 Prop: 21987.908 PropClause: 21393.404 Set: 3690.891 Check: 0.223 Back: 547.721 INFO - Atoms: 25041/76542 Clauses: 4168 Axioms: 252354 INFO - Confl: 3638 Props: 23989377 Tprops: 0 Decides: 8581 RSplits: 0 INFO - Times: Expl: 2005.863 Prop: 22110.507 PropClause: 21509.087 Set: 3697.555 Check: 0.238 Back: 553.93 INFO - Atoms: 26215/76542 Clauses: 4421 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 4138 Props: 24862500 Tprops: 0 Decides: 9731 RSplits: 0 INFO - Times: Expl: 2565.985 Prop: 22519.462 PropClause: 21896.047 Set: 3721.069 Check: 0.273 Back: 573.867 INFO - Atoms: 25041/76542 Clauses: 1672 Axioms: 252354 INFO - Restart INFO - Confl: 4638 Props: 25498691 Tprops: 0 Decides: 10558 RSplits: 0 INFO - Times: Expl: 2742.95 Prop: 22712.121 PropClause: 22072.777 Set: 3735.594 Check: 0.292 Back: 588.25 INFO - Atoms: 25041/76542 Clauses: 2172 Axioms: 252354 INFO - Restart INFO - Confl: 5638 Props: 26485623 Tprops: 0 Decides: 12760 RSplits: 0 INFO - Times: Expl: 3035.623 Prop: 23076.371 PropClause: 22411.826 Set: 3758.709 Check: 0.346 Back: 610.805 INFO - Atoms: 25041/76542 Clauses: 3172 Axioms: 252354 INFO - Restart INFO - Confl: 6138 Props: 27092000 Tprops: 0 Decides: 13890 RSplits: 0 INFO - Times: Expl: 3181.359 Prop: 23303.406 PropClause: 22623.501 Set: 3772.769 Check: 0.375 Back: 624.66 INFO - Atoms: 25041/76542 Clauses: 3672 Axioms: 252354 INFO - Restart INFO - Confl: 6638 Props: 27563554 Tprops: 0 Decides: 14683 RSplits: 0 INFO - Times: Expl: 3319.952 Prop: 23474.144 PropClause: 22782.31 Set: 3783.725 Check: 0.404 Back: 635.39 INFO - Atoms: 25041/76542 Clauses: 4172 Axioms: 252354 INFO - Confl: 7432 Props: 28262678 Tprops: 0 Decides: 15955 RSplits: 0 INFO - Times: Expl: 3531.227 Prop: 23731.521 PropClause: 23021.93 Set: 3800.054 Check: 0.438 Back: 651.361 INFO - Atoms: 25537/76542 Clauses: 4966 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 7932 Props: 29331119 Tprops: 0 Decides: 17187 RSplits: 0 INFO - Times: Expl: 4478.591 Prop: 24365.214 PropClause: 23628.033 Set: 3828.29 Check: 0.473 Back: 675.933 INFO - Atoms: 25041/76542 Clauses: 1676 Axioms: 252354 INFO - Restart INFO - Confl: 8432 Props: 30053638 Tprops: 0 Decides: 18261 RSplits: 0 INFO - Times: Expl: 4837.777 Prop: 24668.94 PropClause: 23913.569 Set: 3845.069 Check: 0.504 Back: 692.457 INFO - Atoms: 25042/76542 Clauses: 2176 Axioms: 252354 INFO - Restart INFO - Confl: 9432 Props: 31387874 Tprops: 0 Decides: 20383 RSplits: 0 INFO - Times: Expl: 5293.678 Prop: 25125.555 PropClause: 24336.847 Set: 3875.784 Check: 0.557 Back: 722.828 INFO - Atoms: 25042/76542 Clauses: 3176 Axioms: 252354 INFO - Restart INFO - Confl: 9932 Props: 31981030 Tprops: 0 Decides: 21715 RSplits: 0 INFO - Times: Expl: 5433.505 Prop: 25340.961 PropClause: 24537.374 Set: 3889.458 Check: 0.591 Back: 736.33 INFO - Atoms: 25068/76542 Clauses: 3676 Axioms: 252354 INFO - Confl: 10353 Props: 32466745 Tprops: 0 Decides: 22738 RSplits: 0 INFO - Times: Expl: 5555.654 Prop: 25537.156 PropClause: 24721.33 Set: 3900.931 Check: 0.619 Back: 747.409 INFO - Atoms: 26180/76542 Clauses: 4097 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 10853 Props: 33762358 Tprops: 0 Decides: 23883 RSplits: 0 INFO - Times: Expl: 6653.273 Prop: 26185.307 PropClause: 25337.014 Set: 3934.186 Check: 0.665 Back: 777.032 INFO - Atoms: 25041/76542 Clauses: 1676 Axioms: 252354 INFO - Restart INFO - Confl: 11353 Props: 34664104 Tprops: 0 Decides: 24975 RSplits: 0 INFO - Times: Expl: 7147.817 Prop: 26552.441 PropClause: 25681.477 Set: 3955.289 Check: 0.698 Back: 797.7 INFO - Atoms: 25041/76542 Clauses: 2176 Axioms: 252354 INFO - Restart INFO - Confl: 12353 Props: 35807819 Tprops: 0 Decides: 27217 RSplits: 0 INFO - Times: Expl: 7506.871 Prop: 26966.26 PropClause: 26066.389 Set: 3981.826 Check: 0.753 Back: 823.885 INFO - Atoms: 25041/76542 Clauses: 3176 Axioms: 252354 INFO - Restart INFO - Confl: 12853 Props: 36455049 Tprops: 0 Decides: 28426 RSplits: 0 INFO - Times: Expl: 7682.606 Prop: 28034.982 PropClause: 27118.736 Set: 3996.882 Check: 0.783 Back: 838.795 INFO - Atoms: 25041/76542 Clauses: 3676 Axioms: 252354 INFO - Restart INFO - Confl: 13353 Props: 37020456 Tprops: 0 Decides: 29352 RSplits: 0 INFO - Times: Expl: 7827.909 Prop: 28231.14 PropClause: 27300.668 Set: 4009.944 Check: 0.806 Back: 851.702 INFO - Atoms: 25041/76542 Clauses: 4176 Axioms: 252354 INFO - Confl: 14300 Props: 38019721 Tprops: 0 Decides: 30942 RSplits: 0 INFO - Times: Expl: 8075.886 Prop: 28578.717 PropClause: 27623.178 Set: 4033.431 Check: 0.845 Back: 874.473 INFO - Atoms: 27036/76542 Clauses: 5123 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 14800 Props: 39114153 Tprops: 0 Decides: 31814 RSplits: 0 INFO - Times: Expl: 8888.529 Prop: 29162.404 PropClause: 28179.601 Set: 4062.016 Check: 0.878 Back: 899.369 INFO - Atoms: 25041/76542 Clauses: 1676 Axioms: 252354 INFO - Restart INFO - Confl: 15300 Props: 39943820 Tprops: 0 Decides: 32928 RSplits: 0 INFO - Times: Expl: 9436.576 Prop: 29498.436 PropClause: 28494.717 Set: 4081.198 Check: 0.916 Back: 918.363 INFO - Atoms: 25041/76542 Clauses: 2176 Axioms: 252354 INFO - Restart INFO - Confl: 16300 Props: 41216525 Tprops: 0 Decides: 35881 RSplits: 0 INFO - Times: Expl: 9822.208 Prop: 30011.652 PropClause: 28975.567 Set: 4110.857 Check: 0.989 Back: 947.64 INFO - Atoms: 25041/76542 Clauses: 3176 Axioms: 252354 INFO - Restart INFO - Confl: 16800 Props: 41749617 Tprops: 0 Decides: 36808 RSplits: 0 INFO - Times: Expl: 10011.429 Prop: 30189.662 PropClause: 29140.254 Set: 4123.063 Check: 1.011 Back: 959.689 INFO - Atoms: 25041/76542 Clauses: 3676 Axioms: 252354 INFO - Restart INFO - Confl: 17300 Props: 42323576 Tprops: 0 Decides: 38151 RSplits: 0 INFO - Times: Expl: 10146.302 Prop: 30400.363 PropClause: 29336.445 Set: 4136.392 Check: 1.045 Back: 972.79 INFO - Atoms: 25041/76542 Clauses: 4176 Axioms: 252354 INFO - Confl: 17660 Props: 42637268 Tprops: 0 Decides: 38927 RSplits: 0 INFO - Times: Expl: 10234.22 Prop: 30510.146 PropClause: 29438.32 Set: 4143.849 Check: 1.064 Back: 979.882 INFO - Atoms: 25950/76542 Clauses: 4536 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Restart INFO - Confl: 18160 Props: 43812516 Tprops: 0 Decides: 40317 RSplits: 0 INFO - Times: Expl: 11035.237 Prop: 31100.848 PropClause: 29999.528 Set: 4174.626 Check: 1.107 Back: 1006.907 INFO - Atoms: 25041/76542 Clauses: 1677 Axioms: 252354 INFO - Restart INFO - Confl: 18660 Props: 44469681 Tprops: 0 Decides: 41797 RSplits: 0 INFO - Times: Expl: 11226.792 Prop: 31349.637 PropClause: 30231.599 Set: 4189.862 Check: 1.143 Back: 1022.02 INFO - Atoms: 25041/76542 Clauses: 2177 Axioms: 252354 INFO - Restart INFO - Confl: 19660 Props: 45648710 Tprops: 0 Decides: 43700 RSplits: 0 INFO - Times: Expl: 11625.359 Prop: 31729.113 PropClause: 30581.614 Set: 4217.017 Check: 1.189 Back: 1048.832 INFO - Atoms: 25041/76542 Clauses: 3177 Axioms: 252354 INFO - Restart INFO - Confl: 20160 Props: 46254048 Tprops: 0 Decides: 44762 RSplits: 0 INFO - Times: Expl: 11813.662 Prop: 31942.789 PropClause: 30778.024 Set: 4231.014 Check: 1.216 Back: 1062.653 INFO - Atoms: 25041/76542 Clauses: 3677 Axioms: 252354 INFO - Restart INFO - Confl: 20660 Props: 46899869 Tprops: 0 Decides: 45675 RSplits: 0 INFO - Times: Expl: 12023.976 Prop: 32182.051 PropClause: 31001.153 Set: 4246.021 Check: 1.241 Back: 1077.341 INFO - Atoms: 25041/76542 Clauses: 4177 Axioms: 252354 INFO - Confl: 21010 Props: 47355866 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.026 Prop: 32356.53 PropClause: 31164.118 Set: 4256.775 Check: 1.268 Back: 1087.728 INFO - Atoms: 26070/76542 Clauses: 4527 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21011 Props: 47391351 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.03 Prop: 32402.286 PropClause: 31208.869 Set: 4273.768 Check: 1.268 Back: 1088.319 INFO - Atoms: 35485/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21012 Props: 47426961 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.036 Prop: 32426.268 PropClause: 31231.984 Set: 4279.853 Check: 1.268 Back: 1089.123 INFO - Atoms: 35610/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21013 Props: 47462679 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.04 Prop: 32448.951 PropClause: 31253.804 Set: 4285.808 Check: 1.268 Back: 1089.929 INFO - Atoms: 35718/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21014 Props: 47498533 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.044 Prop: 32471.804 PropClause: 31275.776 Set: 4291.865 Check: 1.268 Back: 1090.732 INFO - Atoms: 35854/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21015 Props: 47534636 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.048 Prop: 32496.888 PropClause: 31299.983 Set: 4297.951 Check: 1.268 Back: 1091.55 INFO - Atoms: 36103/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21016 Props: 47570973 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.182 Prop: 32520.575 PropClause: 31322.785 Set: 4304.181 Check: 1.268 Back: 1092.37 INFO - Atoms: 36337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21017 Props: 47607332 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.215 Prop: 32547.085 PropClause: 31348.394 Set: 4310.452 Check: 1.268 Back: 1093.202 INFO - Atoms: 36359/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21018 Props: 47643931 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.224 Prop: 32571.938 PropClause: 31372.353 Set: 4316.76 Check: 1.268 Back: 1094.032 INFO - Atoms: 36599/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21019 Props: 47679653 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.233 Prop: 32595.559 PropClause: 31395.107 Set: 4322.822 Check: 1.268 Back: 1094.878 INFO - Atoms: 35722/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21020 Props: 47715624 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.243 Prop: 32620.381 PropClause: 31419.053 Set: 4328.902 Check: 1.268 Back: 1095.684 INFO - Atoms: 35971/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21021 Props: 47751726 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.253 Prop: 32645.59 PropClause: 31443.376 Set: 4335.026 Check: 1.268 Back: 1096.501 INFO - Atoms: 36102/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21022 Props: 47794255 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.263 Prop: 32676.576 PropClause: 31473.322 Set: 4342.586 Check: 1.268 Back: 1097.324 INFO - Atoms: 42529/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21023 Props: 47838491 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.274 Prop: 32713.193 PropClause: 31508.858 Set: 4350.56 Check: 1.268 Back: 1098.296 INFO - Atoms: 44236/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21024 Props: 47882978 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.283 Prop: 32751.202 PropClause: 31545.785 Set: 4358.542 Check: 1.268 Back: 1099.318 INFO - Atoms: 44487/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21025 Props: 47927717 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.294 Prop: 32789.023 PropClause: 31582.511 Set: 4366.507 Check: 1.268 Back: 1100.33 INFO - Atoms: 44739/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21026 Props: 47972594 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.302 Prop: 32827.924 PropClause: 31620.31 Set: 4374.534 Check: 1.268 Back: 1101.354 INFO - Atoms: 44877/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21027 Props: 48017595 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.311 Prop: 32862.909 PropClause: 31654.201 Set: 4382.507 Check: 1.268 Back: 1102.378 INFO - Atoms: 45001/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21028 Props: 48062727 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.319 Prop: 32903.229 PropClause: 31693.423 Set: 4390.71 Check: 1.268 Back: 1103.397 INFO - Atoms: 45132/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21029 Props: 48107989 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.33 Prop: 32939.878 PropClause: 31728.959 Set: 4398.812 Check: 1.268 Back: 1104.423 INFO - Atoms: 45262/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21030 Props: 48153506 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.338 Prop: 32980.348 PropClause: 31768.325 Set: 4406.989 Check: 1.268 Back: 1105.46 INFO - Atoms: 45517/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21031 Props: 48199038 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.347 Prop: 33019.54 PropClause: 31806.413 Set: 4415.06 Check: 1.268 Back: 1106.494 INFO - Atoms: 45532/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21032 Props: 48244693 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.359 Prop: 33065.752 PropClause: 31851.497 Set: 4437.409 Check: 1.268 Back: 1107.532 INFO - Atoms: 45655/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21033 Props: 48290480 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.37 Prop: 33106.074 PropClause: 31890.712 Set: 4445.48 Check: 1.268 Back: 1108.589 INFO - Atoms: 45787/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21034 Props: 48336398 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.38 Prop: 33145.801 PropClause: 31929.332 Set: 4453.722 Check: 1.268 Back: 1109.622 INFO - Atoms: 45918/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21035 Props: 48382570 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.389 Prop: 33186.31 PropClause: 31968.711 Set: 4461.981 Check: 1.268 Back: 1110.659 INFO - Atoms: 46172/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21036 Props: 48428759 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.398 Prop: 33224.862 PropClause: 32006.137 Set: 4470.328 Check: 1.268 Back: 1111.706 INFO - Atoms: 46189/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21037 Props: 48475071 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.408 Prop: 33267.315 PropClause: 32047.467 Set: 4478.835 Check: 1.268 Back: 1112.754 INFO - Atoms: 46312/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21038 Props: 48521512 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.418 Prop: 33306.816 PropClause: 32085.84 Set: 4487.152 Check: 1.268 Back: 1113.836 INFO - Atoms: 46441/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21039 Props: 48568084 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.43 Prop: 33351.189 PropClause: 32129.075 Set: 4495.677 Check: 1.268 Back: 1114.898 INFO - Atoms: 46572/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21040 Props: 48614788 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.44 Prop: 33388.438 PropClause: 32165.175 Set: 4504.016 Check: 1.268 Back: 1115.965 INFO - Atoms: 46704/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21041 Props: 48661747 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.449 Prop: 33431.237 PropClause: 32206.841 Set: 4512.51 Check: 1.268 Back: 1117.031 INFO - Atoms: 46959/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21042 Props: 48708712 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.507 Prop: 33470.238 PropClause: 32244.7 Set: 4520.863 Check: 1.268 Back: 1118.103 INFO - Atoms: 46965/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21043 Props: 48755808 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.517 Prop: 33513.063 PropClause: 32286.371 Set: 4529.482 Check: 1.268 Back: 1119.17 INFO - Atoms: 47096/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21044 Props: 48803036 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.527 Prop: 33550.746 PropClause: 32322.906 Set: 4537.917 Check: 1.268 Back: 1120.247 INFO - Atoms: 47228/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21045 Props: 48850400 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.538 Prop: 33596.02 PropClause: 32367.04 Set: 4546.462 Check: 1.268 Back: 1121.318 INFO - Atoms: 47364/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21046 Props: 48897889 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.547 Prop: 33636.455 PropClause: 32406.323 Set: 4554.965 Check: 1.268 Back: 1122.389 INFO - Atoms: 47489/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21047 Props: 48945634 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.557 Prop: 33684.182 PropClause: 32452.884 Set: 4563.727 Check: 1.268 Back: 1123.462 INFO - Atoms: 47745/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21048 Props: 48993386 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.566 Prop: 33731.317 PropClause: 32498.854 Set: 4572.511 Check: 1.268 Back: 1124.55 INFO - Atoms: 47752/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21049 Props: 49041269 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.634 Prop: 33778.261 PropClause: 32544.637 Set: 4581.253 Check: 1.268 Back: 1125.654 INFO - Atoms: 47883/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21050 Props: 49089290 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.662 Prop: 33820.89 PropClause: 32586.097 Set: 4589.934 Check: 1.268 Back: 1126.762 INFO - Atoms: 48021/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21051 Props: 49137435 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.667 Prop: 33867.643 PropClause: 32631.674 Set: 4598.829 Check: 1.268 Back: 1127.852 INFO - Atoms: 48145/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21052 Props: 49185710 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.671 Prop: 33912.364 PropClause: 32675.223 Set: 4607.508 Check: 1.268 Back: 1128.954 INFO - Atoms: 48275/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21053 Props: 49234122 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.676 Prop: 33958.958 PropClause: 32720.634 Set: 4616.435 Check: 1.268 Back: 1130.052 INFO - Atoms: 48412/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21054 Props: 49282669 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.681 Prop: 34004.686 PropClause: 32765.164 Set: 4625.364 Check: 1.268 Back: 1131.163 INFO - Atoms: 48547/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21055 Props: 49331337 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.687 Prop: 34049.827 PropClause: 32809.113 Set: 4634.326 Check: 1.268 Back: 1132.276 INFO - Atoms: 48668/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21056 Props: 49385791 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.693 Prop: 34101.327 PropClause: 32859.281 Set: 4644.593 Check: 1.268 Back: 1133.389 INFO - Atoms: 54454/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21057 Props: 49440388 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.698 Prop: 34153.91 PropClause: 32910.518 Set: 4654.712 Check: 1.268 Back: 1134.639 INFO - Atoms: 54597/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21058 Props: 49495105 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.703 Prop: 34210.083 PropClause: 32965.349 Set: 4664.963 Check: 1.268 Back: 1135.89 INFO - Atoms: 54717/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21059 Props: 49549953 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.708 Prop: 34267.547 PropClause: 33021.469 Set: 4675.203 Check: 1.268 Back: 1137.143 INFO - Atoms: 54848/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21060 Props: 49604931 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.713 Prop: 34326.507 PropClause: 33079.093 Set: 4685.487 Check: 1.268 Back: 1138.405 INFO - Atoms: 54978/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21061 Props: 49660042 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.718 Prop: 34382.682 PropClause: 33133.922 Set: 4695.645 Check: 1.268 Back: 1139.654 INFO - Atoms: 55111/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21062 Props: 49715304 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.725 Prop: 34435.638 PropClause: 33185.528 Set: 4705.839 Check: 1.268 Back: 1140.91 INFO - Atoms: 55262/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21063 Props: 49767815 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.729 Prop: 34491.895 PropClause: 33240.5 Set: 4715.605 Check: 1.268 Back: 1142.174 INFO - Atoms: 52511/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21064 Props: 49828815 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.735 Prop: 34554.107 PropClause: 33301.223 Set: 4748.538 Check: 1.268 Back: 1143.369 INFO - Atoms: 61000/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21065 Props: 49889950 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.741 Prop: 34621.364 PropClause: 33366.997 Set: 4760.028 Check: 1.268 Back: 1144.767 INFO - Atoms: 61135/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21066 Props: 49951234 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.746 Prop: 34684.741 PropClause: 33428.88 Set: 4771.521 Check: 1.268 Back: 1146.153 INFO - Atoms: 61284/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21067 Props: 50012631 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.751 Prop: 34755.253 PropClause: 33497.896 Set: 4783.17 Check: 1.268 Back: 1147.548 INFO - Atoms: 61397/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21068 Props: 50074173 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.757 Prop: 34821.301 PropClause: 33562.444 Set: 4794.849 Check: 1.268 Back: 1148.958 INFO - Atoms: 61542/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21069 Props: 50135832 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.762 Prop: 34889.216 PropClause: 33628.855 Set: 4806.457 Check: 1.268 Back: 1150.4 INFO - Atoms: 61659/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21070 Props: 50197746 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.768 Prop: 34960.468 PropClause: 33698.599 Set: 4818.261 Check: 1.268 Back: 1151.809 INFO - Atoms: 61914/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21071 Props: 50259667 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.772 Prop: 35026.0 PropClause: 33762.618 Set: 4829.951 Check: 1.268 Back: 1153.222 INFO - Atoms: 61921/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21072 Props: 50321737 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.777 Prop: 35097.381 PropClause: 33832.485 Set: 4841.684 Check: 1.268 Back: 1154.644 INFO - Atoms: 62070/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21073 Props: 50383920 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.782 Prop: 35162.996 PropClause: 33896.58 Set: 4853.38 Check: 1.268 Back: 1156.076 INFO - Atoms: 62183/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21074 Props: 50446238 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.788 Prop: 35228.393 PropClause: 33960.458 Set: 4865.071 Check: 1.268 Back: 1157.508 INFO - Atoms: 62318/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21075 Props: 50508691 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.793 Prop: 35296.865 PropClause: 34027.404 Set: 4876.86 Check: 1.268 Back: 1158.931 INFO - Atoms: 62453/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21076 Props: 50571268 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.798 Prop: 35364.386 PropClause: 34093.392 Set: 4888.763 Check: 1.268 Back: 1160.347 INFO - Atoms: 62577/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21077 Props: 50633985 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.802 Prop: 35433.417 PropClause: 34160.886 Set: 4900.555 Check: 1.268 Back: 1161.776 INFO - Atoms: 62717/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21078 Props: 50696825 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.806 Prop: 35506.035 PropClause: 34231.969 Set: 4912.567 Check: 1.268 Back: 1163.218 INFO - Atoms: 62840/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21079 Props: 50759796 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.811 Prop: 35570.219 PropClause: 34294.615 Set: 4924.335 Check: 1.268 Back: 1164.649 INFO - Atoms: 62971/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21080 Props: 50822906 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.816 Prop: 35639.707 PropClause: 34362.566 Set: 4936.163 Check: 1.268 Back: 1166.096 INFO - Atoms: 63110/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21081 Props: 50886137 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.82 Prop: 35705.608 PropClause: 34426.927 Set: 4947.964 Check: 1.268 Back: 1167.532 INFO - Atoms: 63231/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21082 Props: 50949499 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.825 Prop: 35771.813 PropClause: 34491.588 Set: 4959.76 Check: 1.268 Back: 1168.973 INFO - Atoms: 63362/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21083 Props: 51012992 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.83 Prop: 35839.024 PropClause: 34557.246 Set: 4971.69 Check: 1.268 Back: 1170.406 INFO - Atoms: 63493/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21084 Props: 51076742 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.836 Prop: 35907.975 PropClause: 34624.646 Set: 4983.669 Check: 1.268 Back: 1171.841 INFO - Atoms: 63750/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21085 Props: 51140235 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.841 Prop: 35974.373 PropClause: 34689.499 Set: 4995.716 Check: 1.268 Back: 1173.296 INFO - Atoms: 63493/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21086 Props: 51203859 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.847 Prop: 36037.895 PropClause: 34751.475 Set: 5007.51 Check: 1.268 Back: 1174.758 INFO - Atoms: 63624/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21087 Props: 51267738 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.852 Prop: 36107.245 PropClause: 34819.268 Set: 5019.569 Check: 1.268 Back: 1176.203 INFO - Atoms: 63879/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21088 Props: 51331624 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.858 Prop: 36179.616 PropClause: 34890.083 Set: 5031.599 Check: 1.268 Back: 1177.65 INFO - Atoms: 63886/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21089 Props: 51395641 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.862 Prop: 36243.881 PropClause: 34952.796 Set: 5043.464 Check: 1.268 Back: 1179.112 INFO - Atoms: 64017/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21090 Props: 51459791 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.867 Prop: 36312.047 PropClause: 35019.401 Set: 5055.487 Check: 1.268 Back: 1180.558 INFO - Atoms: 64150/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21091 Props: 51522994 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.872 Prop: 36386.679 PropClause: 35092.473 Set: 5083.532 Check: 1.268 Back: 1182.021 INFO - Atoms: 63203/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21092 Props: 51585943 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.877 Prop: 36454.43 PropClause: 35158.671 Set: 5095.485 Check: 1.268 Back: 1183.49 INFO - Atoms: 62949/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21093 Props: 51641010 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.883 Prop: 36515.8 PropClause: 35218.713 Set: 5105.594 Check: 1.268 Back: 1184.951 INFO - Atoms: 55067/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21094 Props: 51696224 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.887 Prop: 36568.87 PropClause: 35270.429 Set: 5115.736 Check: 1.268 Back: 1186.202 INFO - Atoms: 55214/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21095 Props: 51751553 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.893 Prop: 36628.051 PropClause: 35328.266 Set: 5125.964 Check: 1.268 Back: 1187.453 INFO - Atoms: 55329/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21096 Props: 51807025 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.899 Prop: 36688.91 PropClause: 35387.781 Set: 5136.303 Check: 1.268 Back: 1188.694 INFO - Atoms: 55472/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21097 Props: 51862616 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.903 Prop: 36744.018 PropClause: 35441.535 Set: 5146.588 Check: 1.268 Back: 1189.946 INFO - Atoms: 55591/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21098 Props: 51918354 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.909 Prop: 36799.191 PropClause: 35495.356 Set: 5156.787 Check: 1.268 Back: 1191.218 INFO - Atoms: 55738/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21099 Props: 51974327 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.913 Prop: 36860.806 PropClause: 35555.602 Set: 5167.296 Check: 1.268 Back: 1192.48 INFO - Atoms: 55973/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21100 Props: 52030311 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.917 Prop: 36920.703 PropClause: 35614.138 Set: 5177.701 Check: 1.268 Back: 1193.749 INFO - Atoms: 55984/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21101 Props: 52086426 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.923 Prop: 36980.879 PropClause: 35672.95 Set: 5188.074 Check: 1.268 Back: 1195.014 INFO - Atoms: 56115/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21102 Props: 52142682 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.928 Prop: 37041.121 PropClause: 35731.819 Set: 5198.524 Check: 1.268 Back: 1196.297 INFO - Atoms: 56256/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21103 Props: 52199059 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.934 Prop: 37096.717 PropClause: 35786.04 Set: 5208.857 Check: 1.268 Back: 1197.581 INFO - Atoms: 56377/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21104 Props: 52255681 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.939 Prop: 37156.365 PropClause: 35844.306 Set: 5219.481 Check: 1.268 Back: 1198.875 INFO - Atoms: 56622/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21105 Props: 52312440 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.943 Prop: 37217.599 PropClause: 35904.16 Set: 5230.102 Check: 1.268 Back: 1200.187 INFO - Atoms: 56759/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21106 Props: 52369210 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.949 Prop: 37281.065 PropClause: 35966.24 Set: 5240.746 Check: 1.268 Back: 1201.487 INFO - Atoms: 56770/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21107 Props: 52426227 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.955 Prop: 37338.932 PropClause: 36022.719 Set: 5251.347 Check: 1.268 Back: 1202.787 INFO - Atoms: 57017/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21108 Props: 52483379 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.96 Prop: 37398.005 PropClause: 36080.386 Set: 5261.949 Check: 1.268 Back: 1204.105 INFO - Atoms: 57152/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21109 Props: 52540542 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.966 Prop: 37459.916 PropClause: 36140.896 Set: 5272.61 Check: 1.268 Back: 1205.411 INFO - Atoms: 57163/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21110 Props: 52597836 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.971 Prop: 37522.539 PropClause: 36202.123 Set: 5283.332 Check: 1.268 Back: 1206.711 INFO - Atoms: 57294/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21111 Props: 52655263 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.977 Prop: 37584.987 PropClause: 36263.172 Set: 5294.101 Check: 1.268 Back: 1208.011 INFO - Atoms: 57427/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21112 Props: 52712819 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.982 Prop: 37647.928 PropClause: 36324.704 Set: 5304.945 Check: 1.268 Back: 1209.321 INFO - Atoms: 57556/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21113 Props: 52770506 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.988 Prop: 37711.275 PropClause: 36386.638 Set: 5315.8 Check: 1.268 Back: 1210.64 INFO - Atoms: 57687/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21114 Props: 52828324 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.993 Prop: 37777.425 PropClause: 36451.363 Set: 5326.763 Check: 1.268 Back: 1211.973 INFO - Atoms: 57818/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Restart INFO - Confl: 500 Props: 36531 Tprops: 1957 Decides: 100595 RSplits: 0 INFO - Times: Expl: 553.658 Prop: 93805.828 PropClause: 22.051 Set: 23577.174 Check: 587.656 Back: 181.889 INFO - Atoms: 32/1651 Clauses: 500 Axioms: 1651 INFO - CCTimes: iE 1319866 eq 65752897 cc 345956325 setRep 126924794 INFO - Merges: 1069920, cc:3006564 INFO - BVTimes: BB 247814286 BB_DPLL 86457322526 Graph 3819640 INFO - BitBlastingClauses: 830514 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Bitblasting DPLL: INFO - Confl: 21115 Props: 52886273 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12228.998 Prop: 37841.454 PropClause: 36513.43 Set: 5337.591 Check: 1.268 Back: 1213.307 INFO - Atoms: 57949/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21116 Props: 52944353 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.004 Prop: 37906.086 PropClause: 36576.201 Set: 5348.453 Check: 1.268 Back: 1214.633 INFO - Atoms: 58080/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21117 Props: 53002564 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.009 Prop: 37971.193 PropClause: 36639.452 Set: 5359.494 Check: 1.268 Back: 1215.955 INFO - Atoms: 58211/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21118 Props: 53060990 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.014 Prop: 38032.078 PropClause: 36698.492 Set: 5370.529 Check: 1.268 Back: 1217.285 INFO - Atoms: 58426/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21119 Props: 53119463 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.02 Prop: 38092.536 PropClause: 36757.073 Set: 5381.536 Check: 1.268 Back: 1218.63 INFO - Atoms: 58473/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21120 Props: 53178117 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.025 Prop: 38153.094 PropClause: 36816.179 Set: 5392.507 Check: 1.268 Back: 1219.969 INFO - Atoms: 58654/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21121 Props: 53236972 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.03 Prop: 38216.335 PropClause: 36877.961 Set: 5403.532 Check: 1.268 Back: 1221.316 INFO - Atoms: 58855/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21122 Props: 53295838 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.034 Prop: 38278.133 PropClause: 36938.322 Set: 5414.564 Check: 1.268 Back: 1222.666 INFO - Atoms: 58866/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21123 Props: 53354879 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.041 Prop: 38342.196 PropClause: 37000.932 Set: 5425.664 Check: 1.268 Back: 1224.004 INFO - Atoms: 59041/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21124 Props: 53414136 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.046 Prop: 38404.897 PropClause: 37062.195 Set: 5436.739 Check: 1.268 Back: 1225.344 INFO - Atoms: 59257/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21125 Props: 53473626 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.051 Prop: 38464.458 PropClause: 37120.306 Set: 5447.785 Check: 1.268 Back: 1226.698 INFO - Atoms: 59490/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21126 Props: 53533268 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.056 Prop: 38524.36 PropClause: 37178.762 Set: 5458.889 Check: 1.268 Back: 1228.045 INFO - Atoms: 59642/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21127 Props: 53592920 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.062 Prop: 38583.425 PropClause: 37236.374 Set: 5469.939 Check: 1.268 Back: 1229.41 INFO - Atoms: 59652/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21128 Props: 53652733 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.067 Prop: 38646.87 PropClause: 37298.367 Set: 5481.113 Check: 1.268 Back: 1230.777 INFO - Atoms: 59813/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21129 Props: 53712645 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.072 Prop: 38709.568 PropClause: 37359.613 Set: 5492.31 Check: 1.268 Back: 1232.141 INFO - Atoms: 59912/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21130 Props: 53772688 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.077 Prop: 38773.793 PropClause: 37422.371 Set: 5503.683 Check: 1.268 Back: 1233.511 INFO - Atoms: 60043/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21131 Props: 53832978 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.081 Prop: 38838.127 PropClause: 37485.22 Set: 5514.987 Check: 1.268 Back: 1234.897 INFO - Atoms: 60290/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21132 Props: 53893403 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.087 Prop: 38904.401 PropClause: 37550.011 Set: 5526.474 Check: 1.268 Back: 1236.28 INFO - Atoms: 60425/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21133 Props: 53953839 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.092 Prop: 38970.615 PropClause: 37614.748 Set: 5537.919 Check: 1.268 Back: 1237.669 INFO - Atoms: 60436/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21134 Props: 54014408 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.097 Prop: 39035.43 PropClause: 37678.086 Set: 5549.247 Check: 1.268 Back: 1239.043 INFO - Atoms: 60569/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21135 Props: 54078242 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.102 Prop: 39100.819 PropClause: 37741.917 Set: 5561.342 Check: 1.268 Back: 1240.432 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21136 Props: 54141579 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.107 Prop: 39168.683 PropClause: 37808.208 Set: 5573.345 Check: 1.268 Back: 1241.893 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21137 Props: 54205413 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.111 Prop: 39239.219 PropClause: 37877.187 Set: 5585.431 Check: 1.268 Back: 1243.347 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21138 Props: 54268755 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.116 Prop: 39309.687 PropClause: 37946.112 Set: 5597.432 Check: 1.268 Back: 1244.815 INFO - Atoms: 63342/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21139 Props: 54332608 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.121 Prop: 39379.062 PropClause: 38013.93 Set: 5609.525 Check: 1.268 Back: 1246.266 INFO - Atoms: 63853/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21140 Props: 54395945 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.126 Prop: 39448.99 PropClause: 38082.311 Set: 5621.602 Check: 1.268 Back: 1247.729 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21141 Props: 54459779 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.132 Prop: 39519.368 PropClause: 38151.124 Set: 5633.717 Check: 1.268 Back: 1249.183 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21142 Props: 54523116 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.137 Prop: 39595.791 PropClause: 38225.98 Set: 5645.979 Check: 1.268 Back: 1250.658 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21143 Props: 54587074 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.142 Prop: 39664.499 PropClause: 38293.118 Set: 5658.144 Check: 1.268 Back: 1252.123 INFO - Atoms: 63958/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21144 Props: 54650411 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.148 Prop: 39733.142 PropClause: 38360.213 Set: 5670.156 Check: 1.268 Back: 1253.6 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21145 Props: 54714245 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.152 Prop: 39800.996 PropClause: 38426.504 Set: 5682.151 Check: 1.268 Back: 1255.071 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21146 Props: 54777582 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.158 Prop: 39867.286 PropClause: 38491.246 Set: 5694.096 Check: 1.268 Back: 1256.549 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21147 Props: 54841429 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.164 Prop: 39935.736 PropClause: 38558.135 Set: 5706.133 Check: 1.268 Back: 1257.998 INFO - Atoms: 63847/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21148 Props: 54904890 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.169 Prop: 40005.046 PropClause: 38625.897 Set: 5718.194 Check: 1.268 Back: 1259.463 INFO - Atoms: 63461/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21149 Props: 54968724 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.174 Prop: 40075.801 PropClause: 38695.091 Set: 5730.337 Check: 1.268 Back: 1260.914 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21150 Props: 55032061 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.18 Prop: 40145.956 PropClause: 38763.697 Set: 5742.414 Check: 1.268 Back: 1262.376 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21151 Props: 55095895 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.186 Prop: 40216.669 PropClause: 38832.844 Set: 5754.58 Check: 1.268 Back: 1263.822 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21152 Props: 55159232 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.191 Prop: 40283.585 PropClause: 38898.205 Set: 5766.63 Check: 1.268 Back: 1265.288 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21153 Props: 55223066 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.196 Prop: 40349.741 PropClause: 38962.793 Set: 5778.675 Check: 1.268 Back: 1266.735 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21154 Props: 55286408 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.201 Prop: 40415.926 PropClause: 39027.432 Set: 5790.595 Check: 1.268 Back: 1268.197 INFO - Atoms: 63342/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21155 Props: 55350242 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.206 Prop: 40485.998 PropClause: 39095.945 Set: 5802.663 Check: 1.268 Back: 1269.644 INFO - Atoms: 63834/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21156 Props: 55414144 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.211 Prop: 40556.231 PropClause: 39164.614 Set: 5814.853 Check: 1.268 Back: 1271.113 INFO - Atoms: 63902/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21157 Props: 55477481 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.216 Prop: 40626.134 PropClause: 39232.971 Set: 5826.815 Check: 1.268 Back: 1272.612 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21158 Props: 55541079 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.222 Prop: 40693.095 PropClause: 39298.377 Set: 5838.85 Check: 1.268 Back: 1274.07 INFO - Atoms: 63598/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21159 Props: 55604416 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.227 Prop: 40757.879 PropClause: 39361.626 Set: 5850.728 Check: 1.268 Back: 1275.531 INFO - Atoms: 63337/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21160 Props: 55667499 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.232 Prop: 40825.716 PropClause: 39427.929 Set: 5862.467 Check: 1.268 Back: 1276.973 INFO - Atoms: 63083/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21161 Props: 55730331 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.236 Prop: 40894.951 PropClause: 39495.625 Set: 5874.403 Check: 1.268 Back: 1278.405 INFO - Atoms: 62832/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21162 Props: 55793533 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.243 Prop: 40964.869 PropClause: 39564.01 Set: 5886.349 Check: 1.268 Back: 1279.832 INFO - Atoms: 63202/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21163 Props: 55856990 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.249 Prop: 41031.498 PropClause: 39629.091 Set: 5898.276 Check: 1.268 Back: 1281.269 INFO - Atoms: 63457/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Bitblasting DPLL: INFO - Confl: 21164 Props: 55920455 Tprops: 0 Decides: 46697 RSplits: 0 INFO - Times: Expl: 12229.255 Prop: 41099.96 PropClause: 39696.012 Set: 5910.204 Check: 1.268 Back: 1282.712 INFO - Atoms: 63465/76542 Clauses: 1183 Axioms: 252354 INFO - Formula is unsat INFO - Bitblasting DPLL finished INFO - Confl: 617 Props: 66500 Tprops: 2071 Decides: 101880 RSplits: 0 INFO - Times: Expl: 617.383 Prop: 101523.517 PropClause: 32.993 Set: 27831.2 Check: 646.487 Back: 222.071 INFO - Atoms: 281/1651 Clauses: 617 Axioms: 1651 INFO - CCTimes: iE 1658970 eq 73288275 cc 381332597 setRep 140448871 INFO - Merges: 1206805, cc:3753733 INFO - BVTimes: BB 247814286 BB_DPLL 93355219501 Graph 3852436 INFO - BitBlastingClauses: 888914 BvultGraphCircles: 0 TrivialConflicts: 0 INFO - Formula is unsat unsat