/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_127_096.smt2


--------------------------------------------------------------------------------


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 374159212
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 151546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.594 Prop: 219.714 PropClause: 213.566 Set: 67.218 Check: 0.0 Back: 0.0
INFO - Atoms: 151546/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 303092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.64 Prop: 456.882 PropClause: 443.301 Set: 93.064 Check: 0.0 Back: 3.544
INFO - Atoms: 151546/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 454626 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.72 Prop: 663.757 PropClause: 646.06 Set: 120.48 Check: 0.0 Back: 7.067
INFO - Atoms: 151534/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 606150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.754 Prop: 875.981 PropClause: 854.448 Set: 147.963 Check: 0.0 Back: 10.537
INFO - Atoms: 151524/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 757666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.824 Prop: 1088.634 PropClause: 1063.286 Set: 175.263 Check: 0.0 Back: 14.091
INFO - Atoms: 151516/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 909182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.892 Prop: 1294.278 PropClause: 1265.148 Set: 202.595 Check: 0.0 Back: 17.613
INFO - Atoms: 151516/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1060688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.96 Prop: 1487.087 PropClause: 1454.145 Set: 229.785 Check: 0.0 Back: 21.143
INFO - Atoms: 151506/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1211685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.009 Prop: 1681.834 PropClause: 1645.13 Set: 256.652 Check: 0.0 Back: 24.628
INFO - Atoms: 150997/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1362676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.051 Prop: 1871.463 PropClause: 1830.983 Set: 321.186 Check: 0.0 Back: 28.085
INFO - Atoms: 150991/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1513411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.087 Prop: 2067.301 PropClause: 2023.077 Set: 347.872 Check: 0.0 Back: 31.524
INFO - Atoms: 150735/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1663761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.13 Prop: 2261.42 PropClause: 2213.419 Set: 420.292 Check: 0.0 Back: 34.95
INFO - Atoms: 150350/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1813854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.167 Prop: 2447.144 PropClause: 2395.409 Set: 446.784 Check: 0.0 Back: 38.389
INFO - Atoms: 150093/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1963686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.214 Prop: 2635.127 PropClause: 2579.63 Set: 510.303 Check: 0.0 Back: 41.799
INFO - Atoms: 149832/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 2113257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.255 Prop: 2835.857 PropClause: 2776.645 Set: 537.335 Check: 0.0 Back: 45.205
INFO - Atoms: 149571/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 2262820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.305 Prop: 3028.251 PropClause: 2965.328 Set: 564.326 Check: 0.0 Back: 48.64
INFO - Atoms: 149563/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 2412126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.364 Prop: 3226.069 PropClause: 3159.443 Set: 591.055 Check: 0.0 Back: 52.068
INFO - Atoms: 149306/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 2561173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.409 Prop: 3424.426 PropClause: 3354.016 Set: 617.855 Check: 0.0 Back: 55.5
INFO - Atoms: 149047/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 2709960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.452 Prop: 3624.338 PropClause: 3550.22 Set: 644.599 Check: 0.0 Back: 58.936
INFO - Atoms: 148787/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2858367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.499 Prop: 3823.248 PropClause: 3745.417 Set: 672.19 Check: 0.0 Back: 62.363
INFO - Atoms: 148407/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 3006389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.546 Prop: 4026.109 PropClause: 3944.566 Set: 731.55 Check: 0.0 Back: 65.774
INFO - Atoms: 148022/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 3154151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.587 Prop: 4223.3 PropClause: 4138.038 Set: 758.924 Check: 0.0 Back: 69.204
INFO - Atoms: 147762/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 3301656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.626 Prop: 4424.527 PropClause: 4335.56 Set: 786.377 Check: 0.0 Back: 72.603
INFO - Atoms: 147505/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 3448900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.673 Prop: 4621.912 PropClause: 4529.254 Set: 813.565 Check: 0.0 Back: 76.011
INFO - Atoms: 147244/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 3595887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.719 Prop: 4824.953 PropClause: 4728.643 Set: 840.574 Check: 0.0 Back: 79.425
INFO - Atoms: 146987/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 3742615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.763 Prop: 5023.342 PropClause: 4923.347 Set: 895.572 Check: 0.0 Back: 82.817
INFO - Atoms: 146728/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 3889086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.803 Prop: 5225.506 PropClause: 5121.85 Set: 922.352 Check: 0.0 Back: 86.197
INFO - Atoms: 146471/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 4035294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.845 Prop: 5409.895 PropClause: 5302.551 Set: 948.305 Check: 0.0 Back: 89.598
INFO - Atoms: 146208/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 4181370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.888 Prop: 5603.267 PropClause: 5492.249 Set: 974.684 Check: 0.0 Back: 92.95
INFO - Atoms: 146076/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 4327062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.991 Prop: 5786.547 PropClause: 5671.84 Set: 1000.296 Check: 0.0 Back: 96.325
INFO - Atoms: 145692/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 4472497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.007 Prop: 5973.239 PropClause: 5854.891 Set: 1026.216 Check: 0.0 Back: 99.685
INFO - Atoms: 145435/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 4617671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.026 Prop: 6162.292 PropClause: 6040.317 Set: 1053.654 Check: 0.0 Back: 103.018
INFO - Atoms: 145174/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 4762588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.047 Prop: 6342.933 PropClause: 6217.355 Set: 1079.135 Check: 0.0 Back: 106.405
INFO - Atoms: 144917/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 4907244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.068 Prop: 6525.986 PropClause: 6396.814 Set: 1130.214 Check: 0.0 Back: 109.762
INFO - Atoms: 144656/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 5051643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.087 Prop: 6714.671 PropClause: 6581.914 Set: 1156.122 Check: 0.0 Back: 113.089
INFO - Atoms: 144399/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 5195779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.102 Prop: 6899.873 PropClause: 6763.53 Set: 1181.665 Check: 0.0 Back: 116.46
INFO - Atoms: 144136/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 5339536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.124 Prop: 7091.152 PropClause: 6951.233 Set: 1207.591 Check: 0.0 Back: 119.755
INFO - Atoms: 143757/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 5483032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.14 Prop: 7279.558 PropClause: 7136.049 Set: 1233.498 Check: 0.0 Back: 123.076
INFO - Atoms: 143496/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 5626395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.157 Prop: 7473.85 PropClause: 7326.723 Set: 1260.351 Check: 0.0 Back: 126.354
INFO - Atoms: 143363/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 5769498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.177 Prop: 7660.251 PropClause: 7509.556 Set: 1286.854 Check: 0.0 Back: 129.665
INFO - Atoms: 143103/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 5912343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.193 Prop: 7851.759 PropClause: 7697.476 Set: 1312.431 Check: 0.0 Back: 132.935
INFO - Atoms: 142845/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 6054930 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.21 Prop: 8037.07 PropClause: 7879.236 Set: 1338.13 Check: 0.0 Back: 136.215
INFO - Atoms: 142587/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 6197258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.235 Prop: 8225.589 PropClause: 8064.219 Set: 1364.42 Check: 0.0 Back: 139.501
INFO - Atoms: 142328/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 6339327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.256 Prop: 8412.783 PropClause: 8247.874 Set: 1389.793 Check: 0.0 Back: 142.764
INFO - Atoms: 142069/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 6481139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.274 Prop: 8599.938 PropClause: 8431.498 Set: 1415.378 Check: 0.0 Back: 146.085
INFO - Atoms: 141812/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 6622690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.294 Prop: 8786.419 PropClause: 8614.452 Set: 1440.606 Check: 0.0 Back: 149.342
INFO - Atoms: 141551/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 6763982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.309 Prop: 8973.015 PropClause: 8797.514 Set: 1465.914 Check: 0.0 Back: 152.573
INFO - Atoms: 141292/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 6905015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.329 Prop: 9152.748 PropClause: 8973.721 Set: 1492.017 Check: 0.0 Back: 155.821
INFO - Atoms: 141033/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 7045788 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.347 Prop: 9337.166 PropClause: 9154.635 Set: 1517.015 Check: 0.0 Back: 159.057
INFO - Atoms: 140773/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 7186301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.363 Prop: 9517.623 PropClause: 9331.586 Set: 1542.505 Check: 0.0 Back: 162.284
INFO - Atoms: 140513/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 7326557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.379 Prop: 9705.042 PropClause: 9515.499 Set: 1567.712 Check: 0.0 Back: 165.485
INFO - Atoms: 140256/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 7466554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.396 Prop: 9884.816 PropClause: 9691.79 Set: 1592.532 Check: 0.0 Back: 168.749
INFO - Atoms: 139997/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 7606294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.414 Prop: 10066.506 PropClause: 9869.992 Set: 1617.627 Check: 0.0 Back: 171.955
INFO - Atoms: 139740/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 7745773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.431 Prop: 10252.14 PropClause: 10052.147 Set: 1642.584 Check: 0.0 Back: 175.181
INFO - Atoms: 139479/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 7884993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.451 Prop: 10436.925 PropClause: 10233.455 Set: 1667.698 Check: 0.0 Back: 178.394
INFO - Atoms: 139220/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 8023954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.473 Prop: 10620.019 PropClause: 10413.08 Set: 1692.527 Check: 0.0 Back: 181.592
INFO - Atoms: 138961/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 8162655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.492 Prop: 10800.718 PropClause: 10590.321 Set: 1717.242 Check: 0.0 Back: 184.871
INFO - Atoms: 138701/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 8301096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.513 Prop: 10981.278 PropClause: 10767.405 Set: 1742.067 Check: 0.0 Back: 188.04
INFO - Atoms: 138441/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 8439280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.531 Prop: 11157.103 PropClause: 10939.783 Set: 1766.741 Check: 0.0 Back: 191.244
INFO - Atoms: 138184/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 8577203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.549 Prop: 11341.151 PropClause: 11120.375 Set: 1792.094 Check: 0.0 Back: 194.407
INFO - Atoms: 137923/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 8714871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.569 Prop: 11525.011 PropClause: 11300.793 Set: 1848.324 Check: 0.0 Back: 197.601
INFO - Atoms: 137668/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 8852278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.584 Prop: 11703.207 PropClause: 11475.552 Set: 1873.173 Check: 0.0 Back: 200.758
INFO - Atoms: 137407/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 8989428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.603 Prop: 11885.628 PropClause: 11654.52 Set: 1898.146 Check: 0.0 Back: 203.905
INFO - Atoms: 137150/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 9126315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.62 Prop: 12062.128 PropClause: 11827.565 Set: 1922.877 Check: 0.0 Back: 207.05
INFO - Atoms: 136887/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 9262945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.637 Prop: 12238.353 PropClause: 12000.378 Set: 1947.295 Check: 0.0 Back: 210.206
INFO - Atoms: 136630/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 9399316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.658 Prop: 12417.829 PropClause: 12176.414 Set: 1971.914 Check: 0.0 Back: 213.357
INFO - Atoms: 136371/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 9535430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.673 Prop: 12598.015 PropClause: 12353.21 Set: 1996.471 Check: 0.0 Back: 216.495
INFO - Atoms: 136114/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 9671283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.691 Prop: 12775.078 PropClause: 12526.878 Set: 2020.835 Check: 0.0 Back: 219.62
INFO - Atoms: 135853/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 9806879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.705 Prop: 12953.863 PropClause: 12702.254 Set: 2045.171 Check: 0.0 Back: 222.771
INFO - Atoms: 135596/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 9942214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 13125.261 PropClause: 12870.272 Set: 2069.857 Check: 0.0 Back: 225.888
INFO - Atoms: 135335/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 10077289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.736 Prop: 13295.073 PropClause: 13036.711 Set: 2122.434 Check: 0.0 Back: 228.994
INFO - Atoms: 135075/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 10212106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.752 Prop: 13461.898 PropClause: 13200.177 Set: 2146.191 Check: 0.0 Back: 232.124
INFO - Atoms: 134817/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 10346663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.765 Prop: 13631.18 PropClause: 13366.099 Set: 2170.168 Check: 0.0 Back: 235.225
INFO - Atoms: 134557/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 10480960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.781 Prop: 13795.271 PropClause: 13526.849 Set: 2193.806 Check: 0.0 Back: 238.323
INFO - Atoms: 134297/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 10614999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.798 Prop: 13961.124 PropClause: 13689.353 Set: 2217.479 Check: 0.0 Back: 241.417
INFO - Atoms: 134039/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 10748780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.813 Prop: 14123.964 PropClause: 13848.862 Set: 2242.357 Check: 0.0 Back: 244.52
INFO - Atoms: 133781/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 10882301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.827 Prop: 14298.311 PropClause: 14019.863 Set: 2266.376 Check: 0.0 Back: 247.59
INFO - Atoms: 133521/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 11015564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 14469.31 PropClause: 14187.51 Set: 2314.581 Check: 0.0 Back: 250.713
INFO - Atoms: 133263/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 11148568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.861 Prop: 14643.521 PropClause: 14358.418 Set: 2338.531 Check: 0.0 Back: 253.774
INFO - Atoms: 133004/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 11281311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.879 Prop: 14816.027 PropClause: 14527.62 Set: 2362.157 Check: 0.0 Back: 256.827
INFO - Atoms: 132743/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 11413796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.895 Prop: 14986.967 PropClause: 14695.257 Set: 2385.765 Check: 0.0 Back: 259.874
INFO - Atoms: 132485/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 11546021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.911 Prop: 15156.164 PropClause: 14861.16 Set: 2409.354 Check: 0.0 Back: 262.914
INFO - Atoms: 132225/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 11677991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.926 Prop: 15326.559 PropClause: 15028.269 Set: 2432.453 Check: 0.0 Back: 265.946
INFO - Atoms: 131970/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 11809698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.94 Prop: 15494.553 PropClause: 15192.948 Set: 2456.057 Check: 0.0 Back: 268.979
INFO - Atoms: 131707/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 11941147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.991 Prop: 15664.721 PropClause: 15359.83 Set: 2479.619 Check: 0.0 Back: 272.009
INFO - Atoms: 131449/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 12072338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 15829.144 PropClause: 15520.992 Set: 2502.736 Check: 0.0 Back: 275.046
INFO - Atoms: 131191/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 12203272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.059 Prop: 16004.207 PropClause: 15692.77 Set: 2526.286 Check: 0.0 Back: 278.045
INFO - Atoms: 130934/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 12333945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.07 Prop: 16171.395 PropClause: 15856.685 Set: 2549.522 Check: 0.0 Back: 281.053
INFO - Atoms: 130673/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 12464358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.085 Prop: 16341.847 PropClause: 16023.878 Set: 2589.733 Check: 0.0 Back: 284.054
INFO - Atoms: 130413/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 12594511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.097 Prop: 16507.156 PropClause: 16185.938 Set: 2612.8 Check: 0.0 Back: 287.038
INFO - Atoms: 130153/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 12724409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.107 Prop: 16677.616 PropClause: 16353.148 Set: 2636.004 Check: 0.0 Back: 290.087
INFO - Atoms: 129898/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 12854044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.12 Prop: 16837.569 PropClause: 16509.825 Set: 2658.988 Check: 0.0 Back: 293.078
INFO - Atoms: 129635/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 12983422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.131 Prop: 16997.235 PropClause: 16666.268 Set: 2682.019 Check: 0.0 Back: 296.042
INFO - Atoms: 129378/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 13112539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.144 Prop: 17154.42 PropClause: 16820.254 Set: 2704.75 Check: 0.0 Back: 299.02
INFO - Atoms: 129117/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 13241399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.155 Prop: 17307.674 PropClause: 16970.307 Set: 2727.889 Check: 0.0 Back: 301.969
INFO - Atoms: 128860/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 13370000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.165 Prop: 17463.145 PropClause: 17122.549 Set: 2750.588 Check: 0.0 Back: 304.916
INFO - Atoms: 128601/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 13498342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.176 Prop: 17619.328 PropClause: 17275.549 Set: 2772.888 Check: 0.0 Back: 307.856
INFO - Atoms: 128342/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 13626425 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.19 Prop: 17772.89 PropClause: 17425.942 Set: 2794.986 Check: 0.0 Back: 310.797
INFO - Atoms: 128083/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 13754251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.203 Prop: 17926.325 PropClause: 17576.19 Set: 2817.571 Check: 0.0 Back: 313.717
INFO - Atoms: 127826/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 13881816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.213 Prop: 18080.889 PropClause: 17727.579 Set: 2840.007 Check: 0.0 Back: 316.644
INFO - Atoms: 127565/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 14009121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.225 Prop: 18238.387 PropClause: 17881.894 Set: 2862.467 Check: 0.0 Back: 319.576
INFO - Atoms: 127305/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 14136166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.237 Prop: 18398.033 PropClause: 18038.359 Set: 2885.039 Check: 0.0 Back: 322.493
INFO - Atoms: 127045/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 14262956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.249 Prop: 18557.851 PropClause: 18195.008 Set: 2907.337 Check: 0.0 Back: 325.432
INFO - Atoms: 126790/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 14389483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.262 Prop: 18721.109 PropClause: 18355.076 Set: 2930.053 Check: 0.0 Back: 328.377
INFO - Atoms: 126527/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 14515753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 18882.129 PropClause: 18512.931 Set: 2952.386 Check: 0.0 Back: 331.306
INFO - Atoms: 126270/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 14641764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.287 Prop: 19041.395 PropClause: 18669.004 Set: 2974.74 Check: 0.0 Back: 334.241
INFO - Atoms: 126011/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 14767518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.3 Prop: 19201.869 PropClause: 18826.311 Set: 2997.225 Check: 0.0 Back: 337.185
INFO - Atoms: 125754/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 14893009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.31 Prop: 19359.29 PropClause: 18980.56 Set: 3019.75 Check: 0.0 Back: 340.09
INFO - Atoms: 125491/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 15018243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.322 Prop: 19518.758 PropClause: 19136.855 Set: 3042.072 Check: 0.0 Back: 343.001
INFO - Atoms: 125234/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 15143218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.336 Prop: 19676.965 PropClause: 19291.901 Set: 3064.271 Check: 0.0 Back: 345.917
INFO - Atoms: 124975/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 15267933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.349 Prop: 19838.687 PropClause: 19450.449 Set: 3086.742 Check: 0.0 Back: 348.828
INFO - Atoms: 124715/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 15392390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.36 Prop: 19993.855 PropClause: 19602.466 Set: 3109.157 Check: 0.0 Back: 351.726
INFO - Atoms: 124457/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 15516588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.374 Prop: 20151.044 PropClause: 19756.517 Set: 3131.344 Check: 0.0 Back: 354.613
INFO - Atoms: 124198/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 15640527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.386 Prop: 20309.079 PropClause: 19911.353 Set: 3153.577 Check: 0.0 Back: 357.508
INFO - Atoms: 123939/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 15764209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.397 Prop: 20459.407 PropClause: 20058.572 Set: 3175.331 Check: 0.0 Back: 360.432
INFO - Atoms: 123682/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 15887630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.41 Prop: 20605.599 PropClause: 20201.613 Set: 3197.04 Check: 0.0 Back: 363.291
INFO - Atoms: 123421/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 16010794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.421 Prop: 20749.624 PropClause: 20342.539 Set: 3218.686 Check: 0.0 Back: 366.186
INFO - Atoms: 123164/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 16133695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 20893.792 PropClause: 20483.628 Set: 3239.934 Check: 0.0 Back: 369.029
INFO - Atoms: 122901/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 16256339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 21041.977 PropClause: 20628.756 Set: 3261.412 Check: 0.0 Back: 371.876
INFO - Atoms: 122644/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 16378724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.454 Prop: 21186.942 PropClause: 20770.602 Set: 3282.911 Check: 0.0 Back: 374.692
INFO - Atoms: 122385/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 16500850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 21329.499 PropClause: 20910.126 Set: 3304.068 Check: 0.0 Back: 377.501
INFO - Atoms: 122126/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 16622717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.476 Prop: 21479.3 PropClause: 21056.874 Set: 3325.596 Check: 0.0 Back: 380.287
INFO - Atoms: 121867/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 16744327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.485 Prop: 21622.523 PropClause: 21197.059 Set: 3346.922 Check: 0.0 Back: 383.074
INFO - Atoms: 121610/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 16865676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.497 Prop: 21770.886 PropClause: 21342.37 Set: 3368.171 Check: 0.0 Back: 385.861
INFO - Atoms: 121349/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 16986766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.508 Prop: 21922.403 PropClause: 21490.876 Set: 3389.499 Check: 0.0 Back: 388.64
INFO - Atoms: 121090/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 17107595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.52 Prop: 22066.202 PropClause: 21631.663 Set: 3410.728 Check: 0.0 Back: 391.427
INFO - Atoms: 120829/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 17228166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.531 Prop: 22215.519 PropClause: 21777.959 Set: 3432.037 Check: 0.0 Back: 394.246
INFO - Atoms: 120571/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 17348479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.543 Prop: 22362.364 PropClause: 21921.808 Set: 3453.396 Check: 0.0 Back: 397.011
INFO - Atoms: 120313/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 17468535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.555 Prop: 22513.795 PropClause: 22070.209 Set: 3503.847 Check: 0.0 Back: 399.811
INFO - Atoms: 120056/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 17588328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.568 Prop: 22664.481 PropClause: 22217.905 Set: 3525.051 Check: 0.0 Back: 402.571
INFO - Atoms: 119793/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 17707866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.579 Prop: 22811.103 PropClause: 22361.433 Set: 3546.072 Check: 0.0 Back: 405.337
INFO - Atoms: 119538/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 17827143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.59 Prop: 22955.458 PropClause: 22502.819 Set: 3567.203 Check: 0.0 Back: 408.199
INFO - Atoms: 119277/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 17946161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.6 Prop: 23103.804 PropClause: 22648.183 Set: 3588.281 Check: 0.0 Back: 410.967
INFO - Atoms: 119018/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 18064920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.61 Prop: 23247.542 PropClause: 22788.964 Set: 3609.244 Check: 0.0 Back: 413.718
INFO - Atoms: 118759/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 18183420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.621 Prop: 23393.194 PropClause: 22931.648 Set: 3630.258 Check: 0.0 Back: 416.452
INFO - Atoms: 118500/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 18301659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.632 Prop: 23537.786 PropClause: 23073.284 Set: 3651.955 Check: 0.0 Back: 419.173
INFO - Atoms: 118239/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 18419641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.642 Prop: 23681.996 PropClause: 23214.557 Set: 3672.768 Check: 0.0 Back: 421.908
INFO - Atoms: 117982/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 18537362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.655 Prop: 23821.905 PropClause: 23351.535 Set: 3693.342 Check: 0.0 Back: 424.627
INFO - Atoms: 117721/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 18654828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.669 Prop: 23964.078 PropClause: 23490.786 Set: 3714.264 Check: 0.0 Back: 427.355
INFO - Atoms: 117466/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 18772033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.681 Prop: 24097.698 PropClause: 23621.396 Set: 3734.65 Check: 0.0 Back: 430.04
INFO - Atoms: 117205/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 18888979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.693 Prop: 24235.228 PropClause: 23756.045 Set: 3755.884 Check: 0.0 Back: 432.717
INFO - Atoms: 116946/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 19005664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 24367.597 PropClause: 23885.522 Set: 3776.165 Check: 0.0 Back: 435.399
INFO - Atoms: 116685/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 19122094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.714 Prop: 24500.201 PropClause: 24015.223 Set: 3796.583 Check: 0.0 Back: 438.056
INFO - Atoms: 116430/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 19238261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.725 Prop: 24636.066 PropClause: 24148.193 Set: 3817.008 Check: 0.0 Back: 440.709
INFO - Atoms: 116167/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 19354171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.738 Prop: 24766.422 PropClause: 24275.657 Set: 3837.064 Check: 0.0 Back: 443.389
INFO - Atoms: 115910/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 19469822 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.749 Prop: 24896.548 PropClause: 24402.918 Set: 3857.79 Check: 0.0 Back: 446.036
INFO - Atoms: 115651/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 19585214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.76 Prop: 25028.991 PropClause: 24532.474 Set: 3897.678 Check: 0.0 Back: 448.695
INFO - Atoms: 115392/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 19700345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.773 Prop: 25158.248 PropClause: 24658.861 Set: 3917.708 Check: 0.0 Back: 451.325
INFO - Atoms: 115131/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 19815219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.783 Prop: 25290.275 PropClause: 24788.023 Set: 3938.3 Check: 0.0 Back: 453.96
INFO - Atoms: 114874/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 19929834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.795 Prop: 25426.437 PropClause: 24921.34 Set: 3958.407 Check: 0.0 Back: 456.584
INFO - Atoms: 114615/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 20044192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.809 Prop: 25562.076 PropClause: 25054.123 Set: 3978.534 Check: 0.0 Back: 459.219
INFO - Atoms: 114358/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 20158289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.821 Prop: 25697.051 PropClause: 25186.234 Set: 3998.597 Check: 0.0 Back: 461.849
INFO - Atoms: 114097/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 20272129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.833 Prop: 25831.065 PropClause: 25317.387 Set: 4019.561 Check: 0.0 Back: 464.464
INFO - Atoms: 113840/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 20385706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.842 Prop: 25962.608 PropClause: 25446.083 Set: 4039.231 Check: 0.0 Back: 467.081
INFO - Atoms: 113577/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 20499025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.853 Prop: 26094.806 PropClause: 25575.474 Set: 4058.961 Check: 0.0 Back: 469.695
INFO - Atoms: 113319/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 20612084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.864 Prop: 26227.203 PropClause: 25705.065 Set: 4079.137 Check: 0.0 Back: 472.304
INFO - Atoms: 113059/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 20724888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.875 Prop: 26364.726 PropClause: 25839.763 Set: 4098.73 Check: 0.0 Back: 474.893
INFO - Atoms: 112804/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 20837429 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.886 Prop: 26497.255 PropClause: 25969.489 Set: 4118.327 Check: 0.0 Back: 477.476
INFO - Atoms: 112541/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 20949715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.898 Prop: 26630.522 PropClause: 26099.927 Set: 4138.475 Check: 0.0 Back: 480.06
INFO - Atoms: 112286/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 21061738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.91 Prop: 26762.493 PropClause: 26229.116 Set: 4158.095 Check: 0.0 Back: 482.651
INFO - Atoms: 112023/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 21173504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.923 Prop: 26898.582 PropClause: 26362.405 Set: 4177.727 Check: 0.0 Back: 485.251
INFO - Atoms: 111766/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 21285011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 27034.5 PropClause: 26495.539 Set: 4197.398 Check: 0.0 Back: 487.83
INFO - Atoms: 111507/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 21396261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.946 Prop: 27167.152 PropClause: 26625.425 Set: 4216.887 Check: 0.0 Back: 490.399
INFO - Atoms: 111250/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 21507250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.955 Prop: 27298.901 PropClause: 26754.365 Set: 4236.378 Check: 0.0 Back: 492.944
INFO - Atoms: 110989/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 21617982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 27430.839 PropClause: 26883.547 Set: 4255.831 Check: 0.0 Back: 495.504
INFO - Atoms: 110732/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 21728451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.976 Prop: 27554.267 PropClause: 27004.195 Set: 4275.092 Check: 0.0 Back: 498.035
INFO - Atoms: 110469/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 21838665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.987 Prop: 27675.705 PropClause: 27122.899 Set: 4293.857 Check: 0.0 Back: 500.593
INFO - Atoms: 110214/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 21948618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.0 Prop: 27804.732 PropClause: 27249.225 Set: 4312.982 Check: 0.0 Back: 503.109
INFO - Atoms: 109953/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 22058314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.01 Prop: 27924.867 PropClause: 27366.634 Set: 4331.924 Check: 0.0 Back: 505.658
INFO - Atoms: 109696/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 22167747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.02 Prop: 28045.189 PropClause: 27484.237 Set: 4350.662 Check: 0.0 Back: 508.159
INFO - Atoms: 109433/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 22276922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.031 Prop: 28169.301 PropClause: 27605.612 Set: 4370.439 Check: 0.0 Back: 510.659
INFO - Atoms: 109175/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 22385839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.043 Prop: 28290.784 PropClause: 27724.391 Set: 4389.25 Check: 0.0 Back: 513.185
INFO - Atoms: 108917/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 22494497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.055 Prop: 28410.091 PropClause: 27840.947 Set: 4408.048 Check: 0.0 Back: 515.751
INFO - Atoms: 108658/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 22602894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 28529.168 PropClause: 27957.3 Set: 4426.802 Check: 0.0 Back: 518.307
INFO - Atoms: 108397/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 22711036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.076 Prop: 28650.526 PropClause: 28075.94 Set: 4445.698 Check: 0.0 Back: 520.81
INFO - Atoms: 108142/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 22818917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 28771.851 PropClause: 28194.535 Set: 4464.551 Check: 0.0 Back: 523.326
INFO - Atoms: 107881/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 22926539 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.096 Prop: 28895.886 PropClause: 28315.842 Set: 4483.407 Check: 0.0 Back: 525.814
INFO - Atoms: 107622/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 23033900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 29017.912 PropClause: 28435.176 Set: 4502.142 Check: 0.0 Back: 528.326
INFO - Atoms: 107361/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 23141004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 29143.398 PropClause: 28557.954 Set: 4520.821 Check: 0.0 Back: 530.835
INFO - Atoms: 107104/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 23247847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.128 Prop: 29267.371 PropClause: 28679.203 Set: 4539.796 Check: 0.0 Back: 533.321
INFO - Atoms: 106843/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 23354435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.138 Prop: 29391.295 PropClause: 28800.469 Set: 4559.213 Check: 0.0 Back: 535.814
INFO - Atoms: 106588/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 23460762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.151 Prop: 29514.801 PropClause: 28921.296 Set: 4577.754 Check: 0.0 Back: 538.309
INFO - Atoms: 106327/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 23566832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.164 Prop: 29640.096 PropClause: 29043.918 Set: 4596.476 Check: 0.0 Back: 540.808
INFO - Atoms: 106070/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 23672639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.175 Prop: 29762.893 PropClause: 29163.954 Set: 4615.003 Check: 0.0 Back: 543.286
INFO - Atoms: 105807/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 23778188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 29884.906 PropClause: 29283.326 Set: 4633.221 Check: 0.0 Back: 545.72
INFO - Atoms: 105549/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 23883479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 30004.774 PropClause: 29400.594 Set: 4651.483 Check: 0.0 Back: 548.139
INFO - Atoms: 105291/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 23988513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.211 Prop: 30125.8 PropClause: 29519.0 Set: 4691.989 Check: 0.0 Back: 550.588
INFO - Atoms: 105034/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 24093286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.222 Prop: 30243.754 PropClause: 29634.33 Set: 4710.122 Check: 0.0 Back: 553.006
INFO - Atoms: 104773/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 24197800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.234 Prop: 30365.796 PropClause: 29753.762 Set: 4728.74 Check: 0.0 Back: 555.424
INFO - Atoms: 104514/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 24302053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.244 Prop: 30484.57 PropClause: 29869.929 Set: 4746.706 Check: 0.0 Back: 557.843
INFO - Atoms: 104253/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 24406048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.255 Prop: 30602.561 PropClause: 29985.296 Set: 4764.819 Check: 0.0 Back: 560.243
INFO - Atoms: 103995/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 24509785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.265 Prop: 30721.64 PropClause: 30101.796 Set: 4782.737 Check: 0.0 Back: 562.635
INFO - Atoms: 103737/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 24613263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.28 Prop: 30841.228 PropClause: 30218.792 Set: 4800.776 Check: 0.0 Back: 565.031
INFO - Atoms: 103478/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 24716482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.293 Prop: 30952.364 PropClause: 30327.329 Set: 4818.609 Check: 0.0 Back: 567.43
INFO - Atoms: 103219/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 24819444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.303 Prop: 31064.535 PropClause: 30436.93 Set: 4836.32 Check: 0.0 Back: 569.792
INFO - Atoms: 102962/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 24922145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.314 Prop: 31173.688 PropClause: 30543.522 Set: 4853.753 Check: 0.0 Back: 572.204
INFO - Atoms: 102701/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 25024589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.327 Prop: 31285.839 PropClause: 30653.105 Set: 4871.341 Check: 0.0 Back: 574.543
INFO - Atoms: 102444/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 25126772 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.37 Prop: 31396.6 PropClause: 30761.327 Set: 4911.015 Check: 0.0 Back: 576.894
INFO - Atoms: 102183/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 25228698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.408 Prop: 31508.743 PropClause: 30870.924 Set: 4928.581 Check: 0.0 Back: 579.243
INFO - Atoms: 101926/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 25330363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 31618.401 PropClause: 30978.045 Set: 4945.895 Check: 0.0 Back: 581.578
INFO - Atoms: 101665/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 25431768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.431 Prop: 31725.439 PropClause: 31082.561 Set: 4963.216 Check: 0.0 Back: 583.931
INFO - Atoms: 101405/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 25532915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.443 Prop: 31836.271 PropClause: 31190.807 Set: 4980.796 Check: 0.0 Back: 586.258
INFO - Atoms: 101147/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 25633803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 31947.74 PropClause: 31299.752 Set: 4998.506 Check: 0.0 Back: 588.584
INFO - Atoms: 100888/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 25734432 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 32055.429 PropClause: 31404.947 Set: 5015.684 Check: 0.0 Back: 590.924
INFO - Atoms: 100629/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 25834804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.479 Prop: 32164.84 PropClause: 31511.852 Set: 5033.157 Check: 0.0 Back: 593.227
INFO - Atoms: 100372/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 25934915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.491 Prop: 32270.038 PropClause: 31614.563 Set: 5050.55 Check: 0.0 Back: 595.533
INFO - Atoms: 100111/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 26034769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.503 Prop: 32374.896 PropClause: 31716.933 Set: 5067.77 Check: 0.0 Back: 597.831
INFO - Atoms: 99854/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 26134360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 32483.253 PropClause: 31822.822 Set: 5084.806 Check: 0.0 Back: 600.14
INFO - Atoms: 99591/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 26233696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.526 Prop: 32589.457 PropClause: 31926.556 Set: 5101.823 Check: 0.0 Back: 602.427
INFO - Atoms: 99336/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 26332771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.54 Prop: 32696.48 PropClause: 32031.108 Set: 5119.678 Check: 0.0 Back: 604.724
INFO - Atoms: 99075/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 26431586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.553 Prop: 32805.055 PropClause: 32137.208 Set: 5136.757 Check: 0.0 Back: 607.034
INFO - Atoms: 98815/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 26530143 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.596 Prop: 32910.762 PropClause: 32240.447 Set: 5154.431 Check: 0.0 Back: 609.346
INFO - Atoms: 98557/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 26628443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.612 Prop: 33017.038 PropClause: 32344.27 Set: 5171.138 Check: 0.0 Back: 611.621
INFO - Atoms: 98300/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 26726480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 33121.534 PropClause: 32446.322 Set: 5188.596 Check: 0.0 Back: 613.877
INFO - Atoms: 98037/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 26824262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.66 Prop: 33228.99 PropClause: 32551.341 Set: 5205.376 Check: 0.0 Back: 616.124
INFO - Atoms: 97782/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 26921781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 33335.985 PropClause: 32655.87 Set: 5222.961 Check: 0.0 Back: 618.372
INFO - Atoms: 97519/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 27019043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.673 Prop: 33442.064 PropClause: 32759.504 Set: 5239.822 Check: 0.0 Back: 620.636
INFO - Atoms: 97262/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 27116046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.681 Prop: 33546.849 PropClause: 32861.841 Set: 5256.712 Check: 0.0 Back: 622.898
INFO - Atoms: 97003/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 27212789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 33655.002 PropClause: 32967.544 Set: 5273.44 Check: 0.0 Back: 625.139
INFO - Atoms: 96743/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 27309272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.694 Prop: 33758.838 PropClause: 33068.929 Set: 5290.212 Check: 0.0 Back: 627.429
INFO - Atoms: 96483/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 27405498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 33863.09 PropClause: 33170.764 Set: 5306.879 Check: 0.0 Back: 629.668
INFO - Atoms: 96226/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 27501465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 33969.737 PropClause: 33274.979 Set: 5323.559 Check: 0.0 Back: 631.895
INFO - Atoms: 95967/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 27597175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.716 Prop: 34074.778 PropClause: 33377.578 Set: 5340.179 Check: 0.0 Back: 634.149
INFO - Atoms: 95710/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 27692624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.722 Prop: 34175.487 PropClause: 33475.879 Set: 5356.765 Check: 0.0 Back: 636.389
INFO - Atoms: 95449/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 27787813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.727 Prop: 34273.79 PropClause: 33571.789 Set: 5372.908 Check: 0.0 Back: 638.62
INFO - Atoms: 95189/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 27882744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.735 Prop: 34370.358 PropClause: 33665.949 Set: 5389.045 Check: 0.0 Back: 640.844
INFO - Atoms: 94931/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 27977416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.747 Prop: 34470.183 PropClause: 33763.354 Set: 5405.376 Check: 0.0 Back: 643.051
INFO - Atoms: 94672/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 28071827 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.754 Prop: 34565.761 PropClause: 33856.546 Set: 5421.413 Check: 0.0 Back: 645.272
INFO - Atoms: 94411/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 28165981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.76 Prop: 34660.775 PropClause: 33949.189 Set: 5437.455 Check: 0.0 Back: 647.464
INFO - Atoms: 94154/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 28259876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.767 Prop: 34755.267 PropClause: 34041.338 Set: 5453.391 Check: 0.0 Back: 649.657
INFO - Atoms: 93895/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 28353512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.773 Prop: 34849.057 PropClause: 34132.803 Set: 5469.793 Check: 0.0 Back: 651.804
INFO - Atoms: 93636/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 28446887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.78 Prop: 34940.779 PropClause: 34222.179 Set: 5485.472 Check: 0.0 Back: 654.069
INFO - Atoms: 93375/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 28540005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.787 Prop: 35032.654 PropClause: 34311.741 Set: 5501.562 Check: 0.0 Back: 656.198
INFO - Atoms: 93118/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 28632862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 35125.308 PropClause: 34402.089 Set: 5542.489 Check: 0.0 Back: 658.329
INFO - Atoms: 92857/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 28725464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 35221.989 PropClause: 34496.449 Set: 5558.292 Check: 0.0 Back: 660.441
INFO - Atoms: 92602/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 28817803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.807 Prop: 35315.24 PropClause: 34587.396 Set: 5573.699 Check: 0.0 Back: 662.572
INFO - Atoms: 92339/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 28909885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.813 Prop: 35414.745 PropClause: 34684.611 Set: 5589.328 Check: 0.0 Back: 664.695
INFO - Atoms: 92082/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 29001708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.819 Prop: 35511.254 PropClause: 34778.809 Set: 5604.999 Check: 0.0 Back: 666.82
INFO - Atoms: 91823/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 29093274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.825 Prop: 35607.894 PropClause: 34873.17 Set: 5620.602 Check: 0.0 Back: 668.941
INFO - Atoms: 91566/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 29184577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 35704.016 PropClause: 34967.016 Set: 5636.035 Check: 0.0 Back: 671.044
INFO - Atoms: 91303/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 29275622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.839 Prop: 35803.95 PropClause: 35064.673 Set: 5651.595 Check: 0.0 Back: 673.176
INFO - Atoms: 91045/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 29366409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 35898.838 PropClause: 35157.3 Set: 5667.482 Check: 0.0 Back: 675.297
INFO - Atoms: 90787/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 29456939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.853 Prop: 35993.774 PropClause: 35249.956 Set: 5682.928 Check: 0.0 Back: 677.39
INFO - Atoms: 90530/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 29547208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.861 Prop: 36090.278 PropClause: 35344.234 Set: 5698.413 Check: 0.0 Back: 679.483
INFO - Atoms: 90269/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 29637220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.867 Prop: 36186.446 PropClause: 35438.112 Set: 5713.593 Check: 0.0 Back: 681.632
INFO - Atoms: 90012/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 29726969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 36280.835 PropClause: 35530.255 Set: 5728.795 Check: 0.0 Back: 683.709
INFO - Atoms: 89749/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 29816460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 36373.392 PropClause: 35620.593 Set: 5743.93 Check: 0.0 Back: 685.771
INFO - Atoms: 89491/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 29905693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.889 Prop: 36466.085 PropClause: 35711.066 Set: 5759.092 Check: 0.0 Back: 687.821
INFO - Atoms: 89233/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 29994669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 36561.044 PropClause: 35803.8 Set: 5774.11 Check: 0.0 Back: 689.887
INFO - Atoms: 88976/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 30083382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.903 Prop: 36652.679 PropClause: 35893.234 Set: 5789.199 Check: 0.0 Back: 691.926
INFO - Atoms: 88713/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 30171837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.911 Prop: 36744.628 PropClause: 35982.981 Set: 5804.046 Check: 0.0 Back: 693.963
INFO - Atoms: 88455/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 30260034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.917 Prop: 36836.406 PropClause: 36072.56 Set: 5818.993 Check: 0.0 Back: 695.997
INFO - Atoms: 88197/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 30347972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.925 Prop: 36927.475 PropClause: 36161.424 Set: 5833.968 Check: 0.0 Back: 698.025
INFO - Atoms: 87938/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 30435649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.932 Prop: 37019.627 PropClause: 36251.379 Set: 5849.052 Check: 0.0 Back: 700.063
INFO - Atoms: 87677/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 30523068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.939 Prop: 37107.293 PropClause: 36336.857 Set: 5863.807 Check: 0.0 Back: 702.091
INFO - Atoms: 87419/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 30610229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.946 Prop: 37188.595 PropClause: 36415.97 Set: 5878.366 Check: 0.0 Back: 704.125
INFO - Atoms: 87161/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 30697130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.951 Prop: 37269.149 PropClause: 36494.358 Set: 5892.662 Check: 0.0 Back: 706.123
INFO - Atoms: 86901/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 30783773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.957 Prop: 37350.947 PropClause: 36573.993 Set: 5907.075 Check: 0.0 Back: 708.12
INFO - Atoms: 86643/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 30870157 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.964 Prop: 37433.295 PropClause: 36654.192 Set: 5921.54 Check: 0.0 Back: 710.158
INFO - Atoms: 86384/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 30956280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.972 Prop: 37514.666 PropClause: 36733.395 Set: 5936.489 Check: 0.0 Back: 712.128
INFO - Atoms: 86123/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 31042146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.977 Prop: 37594.013 PropClause: 36810.601 Set: 5950.602 Check: 0.0 Back: 714.107
INFO - Atoms: 85866/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 31127753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.984 Prop: 37673.137 PropClause: 36887.591 Set: 5964.805 Check: 0.0 Back: 716.072
INFO - Atoms: 85607/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 31213100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.991 Prop: 37752.74 PropClause: 36965.048 Set: 5979.248 Check: 0.0 Back: 718.031
INFO - Atoms: 85347/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 31298189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.997 Prop: 37829.131 PropClause: 37039.234 Set: 5993.388 Check: 0.0 Back: 720.034
INFO - Atoms: 85089/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 31383019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.004 Prop: 37904.933 PropClause: 37112.906 Set: 6007.419 Check: 0.0 Back: 721.994
INFO - Atoms: 84830/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 31467590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.011 Prop: 37980.76 PropClause: 37186.589 Set: 6021.548 Check: 0.0 Back: 723.957
INFO - Atoms: 84571/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 31551904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 38060.573 PropClause: 37264.279 Set: 6035.905 Check: 0.0 Back: 725.916
INFO - Atoms: 84314/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 31635955 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.024 Prop: 38141.114 PropClause: 37342.703 Set: 6050.058 Check: 0.0 Back: 727.874
INFO - Atoms: 84051/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 31719751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.031 Prop: 38221.052 PropClause: 37420.523 Set: 6064.287 Check: 0.0 Back: 729.842
INFO - Atoms: 83796/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 31803284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.038 Prop: 38299.957 PropClause: 37497.338 Set: 6078.75 Check: 0.0 Back: 731.784
INFO - Atoms: 83533/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 31886560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.045 Prop: 38381.472 PropClause: 37576.756 Set: 6092.98 Check: 0.0 Back: 733.745
INFO - Atoms: 83276/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 31969577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.051 Prop: 38463.423 PropClause: 37656.539 Set: 6107.129 Check: 0.0 Back: 735.683
INFO - Atoms: 83017/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 32052337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.058 Prop: 38544.351 PropClause: 37735.374 Set: 6121.206 Check: 0.0 Back: 737.614
INFO - Atoms: 82760/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 32134834 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.064 Prop: 38624.278 PropClause: 37813.222 Set: 6135.136 Check: 0.0 Back: 739.552
INFO - Atoms: 82497/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 32217073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.07 Prop: 38705.1 PropClause: 37891.976 Set: 6149.171 Check: 0.0 Back: 741.478
INFO - Atoms: 82239/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 32299054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 38786.143 PropClause: 37970.923 Set: 6184.756 Check: 0.0 Back: 743.392
INFO - Atoms: 81981/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 32380775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.085 Prop: 38866.987 PropClause: 38049.703 Set: 6198.411 Check: 0.0 Back: 745.334
INFO - Atoms: 81721/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 32462236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 38943.786 PropClause: 38124.449 Set: 6212.142 Check: 0.0 Back: 747.229
INFO - Atoms: 81461/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 32543439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.098 Prop: 39022.155 PropClause: 38200.742 Set: 6225.799 Check: 0.0 Back: 749.119
INFO - Atoms: 81203/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 32624382 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.104 Prop: 39097.231 PropClause: 38273.807 Set: 6239.158 Check: 0.0 Back: 750.994
INFO - Atoms: 80943/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 32705070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.11 Prop: 39173.392 PropClause: 38347.948 Set: 6252.519 Check: 0.0 Back: 752.865
INFO - Atoms: 80688/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 32785497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 39248.092 PropClause: 38420.644 Set: 6266.011 Check: 0.0 Back: 754.721
INFO - Atoms: 80427/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 32864392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 39322.812 PropClause: 38493.391 Set: 6279.366 Check: 0.0 Back: 756.602
INFO - Atoms: 78895/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 32943028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.128 Prop: 39394.624 PropClause: 38563.252 Set: 6292.265 Check: 0.0 Back: 758.417
INFO - Atoms: 78636/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 33021405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.134 Prop: 39466.28 PropClause: 38632.959 Set: 6305.14 Check: 0.0 Back: 760.224
INFO - Atoms: 78377/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 33099521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.14 Prop: 39536.338 PropClause: 38701.071 Set: 6317.798 Check: 0.0 Back: 762.009
INFO - Atoms: 78116/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 33177380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 39606.866 PropClause: 38769.664 Set: 6330.501 Check: 0.0 Back: 763.8
INFO - Atoms: 77859/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 33254980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.15 Prop: 39677.786 PropClause: 38838.646 Set: 6343.452 Check: 0.0 Back: 765.588
INFO - Atoms: 77600/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 33331048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.157 Prop: 39746.638 PropClause: 38905.612 Set: 6355.774 Check: 0.0 Back: 767.371
INFO - Atoms: 76068/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 33406857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.165 Prop: 39811.074 PropClause: 38968.152 Set: 6367.963 Check: 0.0 Back: 769.111
INFO - Atoms: 75809/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 33482409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.172 Prop: 39872.295 PropClause: 39027.488 Set: 6380.015 Check: 0.0 Back: 770.855
INFO - Atoms: 75552/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 33557700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.179 Prop: 39935.089 PropClause: 39088.414 Set: 6391.975 Check: 0.0 Back: 772.587
INFO - Atoms: 75291/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 33632734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.184 Prop: 39995.307 PropClause: 39146.771 Set: 6403.788 Check: 0.0 Back: 774.305
INFO - Atoms: 75034/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 33707507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.191 Prop: 40055.223 PropClause: 39204.839 Set: 6415.621 Check: 0.0 Back: 776.021
INFO - Atoms: 74773/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 33782021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.197 Prop: 40115.969 PropClause: 39263.72 Set: 6427.769 Check: 0.0 Back: 777.724
INFO - Atoms: 74514/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 33856276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.203 Prop: 40177.114 PropClause: 39323.028 Set: 6439.549 Check: 0.0 Back: 779.437
INFO - Atoms: 74255/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 33930274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 40238.648 PropClause: 39382.725 Set: 6451.454 Check: 0.0 Back: 781.141
INFO - Atoms: 73998/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 34004011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.217 Prop: 40298.539 PropClause: 39440.781 Set: 6463.087 Check: 0.0 Back: 782.865
INFO - Atoms: 73737/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 34077491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.222 Prop: 40357.202 PropClause: 39497.608 Set: 6474.776 Check: 0.0 Back: 784.55
INFO - Atoms: 73480/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 34150708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 40416.806 PropClause: 39555.398 Set: 6514.565 Check: 0.0 Back: 786.231
INFO - Atoms: 73217/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 34223668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.237 Prop: 40476.672 PropClause: 39613.449 Set: 6526.417 Check: 0.0 Back: 787.909
INFO - Atoms: 72960/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 34296369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.244 Prop: 40534.877 PropClause: 39669.853 Set: 6537.876 Check: 0.0 Back: 789.59
INFO - Atoms: 72701/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 34368813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.251 Prop: 40591.381 PropClause: 39724.567 Set: 6549.283 Check: 0.0 Back: 791.246
INFO - Atoms: 72444/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 34440996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 40647.833 PropClause: 39779.222 Set: 6560.746 Check: 0.0 Back: 792.898
INFO - Atoms: 72183/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 34512920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.264 Prop: 40704.2 PropClause: 39833.763 Set: 6572.091 Check: 0.0 Back: 794.546
INFO - Atoms: 71924/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 34584583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.27 Prop: 40763.21 PropClause: 39890.981 Set: 6583.458 Check: 0.0 Back: 796.191
INFO - Atoms: 71663/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 34655991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.276 Prop: 40820.834 PropClause: 39946.82 Set: 6594.779 Check: 0.0 Back: 797.832
INFO - Atoms: 71408/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 34727136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.283 Prop: 40881.177 PropClause: 40005.37 Set: 6606.078 Check: 0.0 Back: 799.463
INFO - Atoms: 71145/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 34798024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.291 Prop: 40941.878 PropClause: 40064.268 Set: 6617.499 Check: 0.0 Back: 801.096
INFO - Atoms: 70888/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 34868653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.298 Prop: 41001.383 PropClause: 40121.992 Set: 6628.834 Check: 0.0 Back: 802.725
INFO - Atoms: 70629/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 34939025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.303 Prop: 41059.587 PropClause: 40178.419 Set: 6640.173 Check: 0.0 Back: 804.36
INFO - Atoms: 70372/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 35009136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.309 Prop: 41118.4 PropClause: 40235.458 Set: 6651.47 Check: 0.0 Back: 806.018
INFO - Atoms: 70111/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 35078988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.316 Prop: 41175.544 PropClause: 40290.815 Set: 6662.714 Check: 0.0 Back: 807.646
INFO - Atoms: 69852/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 35148579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.322 Prop: 41232.444 PropClause: 40345.967 Set: 6674.084 Check: 0.0 Back: 809.27
INFO - Atoms: 69591/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 35217913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 41288.726 PropClause: 40400.491 Set: 6685.287 Check: 0.0 Back: 810.896
INFO - Atoms: 69334/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 35286988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.336 Prop: 41344.687 PropClause: 40454.685 Set: 6696.614 Check: 0.0 Back: 812.497
INFO - Atoms: 69075/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 35355806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 41400.618 PropClause: 40508.872 Set: 6707.789 Check: 0.0 Back: 814.097
INFO - Atoms: 68818/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 35424363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.35 Prop: 41455.825 PropClause: 40562.339 Set: 6718.793 Check: 0.0 Back: 815.711
INFO - Atoms: 68557/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 35492663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.357 Prop: 41506.759 PropClause: 40611.514 Set: 6729.506 Check: 0.0 Back: 817.309
INFO - Atoms: 68300/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 35560702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 41557.598 PropClause: 40660.631 Set: 6740.247 Check: 0.0 Back: 818.908
INFO - Atoms: 68039/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 35628484 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 41609.698 PropClause: 40711.005 Set: 6751.158 Check: 0.0 Back: 820.498
INFO - Atoms: 67782/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 35696005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.377 Prop: 41660.526 PropClause: 40760.13 Set: 6761.827 Check: 0.0 Back: 822.082
INFO - Atoms: 67521/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 35763267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 41712.178 PropClause: 40810.088 Set: 6772.54 Check: 0.0 Back: 823.669
INFO - Atoms: 67262/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 35830270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.391 Prop: 41762.265 PropClause: 40858.486 Set: 6783.238 Check: 0.0 Back: 825.248
INFO - Atoms: 67003/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 35897016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.396 Prop: 41811.484 PropClause: 40906.019 Set: 6793.736 Check: 0.0 Back: 826.82
INFO - Atoms: 66746/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 35963501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.403 Prop: 41857.436 PropClause: 40950.279 Set: 6804.215 Check: 0.0 Back: 828.374
INFO - Atoms: 66485/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 36029729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.41 Prop: 41906.968 PropClause: 40998.125 Set: 6814.729 Check: 0.0 Back: 829.93
INFO - Atoms: 66228/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 36095696 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 41952.529 PropClause: 41042.028 Set: 6825.037 Check: 0.0 Back: 831.473
INFO - Atoms: 65967/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 36161406 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 41999.551 PropClause: 41087.424 Set: 6835.266 Check: 0.0 Back: 833.003
INFO - Atoms: 65710/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 36226855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.431 Prop: 42041.84 PropClause: 41128.084 Set: 6845.423 Check: 0.0 Back: 834.516
INFO - Atoms: 65449/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 36292047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.438 Prop: 42084.59 PropClause: 41169.205 Set: 6855.315 Check: 0.0 Back: 836.019
INFO - Atoms: 65192/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 36356978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 42130.458 PropClause: 41213.458 Set: 6865.343 Check: 0.0 Back: 837.54
INFO - Atoms: 64931/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 36421652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.452 Prop: 42173.805 PropClause: 41255.198 Set: 6875.339 Check: 0.0 Back: 839.055
INFO - Atoms: 64674/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 36486065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.459 Prop: 42220.15 PropClause: 41299.937 Set: 6885.949 Check: 0.0 Back: 840.537
INFO - Atoms: 64413/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 36550221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.464 Prop: 42260.706 PropClause: 41338.899 Set: 6895.758 Check: 0.0 Back: 842.037
INFO - Atoms: 64156/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 36614116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.47 Prop: 42301.312 PropClause: 41377.911 Set: 6905.51 Check: 0.0 Back: 843.532
INFO - Atoms: 63895/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 36677754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.476 Prop: 42341.373 PropClause: 41416.393 Set: 6915.222 Check: 0.0 Back: 845.005
INFO - Atoms: 63638/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 36741129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 42383.112 PropClause: 41456.552 Set: 6925.082 Check: 0.0 Back: 846.465
INFO - Atoms: 63375/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 36804247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 42422.071 PropClause: 41493.938 Set: 6934.675 Check: 0.0 Back: 847.918
INFO - Atoms: 63118/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 36867104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 42460.658 PropClause: 41530.973 Set: 6944.2 Check: 0.0 Back: 849.359
INFO - Atoms: 62857/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 36929706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.501 Prop: 42499.112 PropClause: 41567.876 Set: 6953.63 Check: 0.0 Back: 850.795
INFO - Atoms: 62602/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 36992047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.508 Prop: 42536.65 PropClause: 41603.849 Set: 6963.142 Check: 0.0 Back: 852.245
INFO - Atoms: 62341/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 37054131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.514 Prop: 42574.408 PropClause: 41640.074 Set: 6972.476 Check: 0.0 Back: 853.67
INFO - Atoms: 62084/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 37115954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.52 Prop: 42611.622 PropClause: 41675.755 Set: 6981.841 Check: 0.0 Back: 855.097
INFO - Atoms: 61823/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 37177518 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.527 Prop: 42647.389 PropClause: 41709.997 Set: 6991.14 Check: 0.0 Back: 856.517
INFO - Atoms: 61564/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 37238821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.533 Prop: 42684.173 PropClause: 41745.26 Set: 7000.35 Check: 0.0 Back: 857.917
INFO - Atoms: 61303/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 37299867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.542 Prop: 42721.905 PropClause: 41781.488 Set: 7009.659 Check: 0.0 Back: 859.323
INFO - Atoms: 61046/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 37360654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.549 Prop: 42758.114 PropClause: 41816.19 Set: 7018.953 Check: 0.0 Back: 860.724
INFO - Atoms: 60787/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 37421182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.599 Prop: 42794.663 PropClause: 41851.22 Set: 7028.116 Check: 0.0 Back: 862.126
INFO - Atoms: 60528/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 37481451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.644 Prop: 42830.605 PropClause: 41885.656 Set: 7037.238 Check: 0.0 Back: 863.518
INFO - Atoms: 60269/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 37541463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 42863.523 PropClause: 41917.084 Set: 7046.208 Check: 0.0 Back: 864.904
INFO - Atoms: 60012/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 37601214 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 42897.389 PropClause: 41949.379 Set: 7055.257 Check: 0.0 Back: 866.314
INFO - Atoms: 59751/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 37660708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.701 Prop: 42932.177 PropClause: 41982.688 Set: 7064.169 Check: 0.0 Back: 867.697
INFO - Atoms: 59494/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 37719941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.708 Prop: 42965.393 PropClause: 42014.403 Set: 7073.099 Check: 0.0 Back: 869.053
INFO - Atoms: 59233/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 37778917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 42998.67 PropClause: 42046.194 Set: 7082.002 Check: 0.0 Back: 870.415
INFO - Atoms: 58976/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 37837632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.719 Prop: 43031.039 PropClause: 42077.08 Set: 7090.905 Check: 0.0 Back: 871.777
INFO - Atoms: 58715/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 37896090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.725 Prop: 43063.986 PropClause: 42108.56 Set: 7099.704 Check: 0.0 Back: 873.149
INFO - Atoms: 58458/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 37954285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.731 Prop: 43096.437 PropClause: 42139.518 Set: 7108.559 Check: 0.0 Back: 874.518
INFO - Atoms: 58195/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 38012223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.739 Prop: 43131.497 PropClause: 42173.095 Set: 7117.621 Check: 0.0 Back: 875.9
INFO - Atoms: 57938/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 38069900 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.745 Prop: 43164.537 PropClause: 42204.675 Set: 7126.473 Check: 0.0 Back: 877.286
INFO - Atoms: 57677/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 38127322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 43195.943 PropClause: 42234.59 Set: 7135.141 Check: 0.0 Back: 878.643
INFO - Atoms: 57422/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 38184481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 43228.409 PropClause: 42265.593 Set: 7143.881 Check: 0.0 Back: 879.985
INFO - Atoms: 57159/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 38241385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.765 Prop: 43259.492 PropClause: 42295.216 Set: 7152.631 Check: 0.0 Back: 881.336
INFO - Atoms: 56904/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 38298028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.773 Prop: 43290.071 PropClause: 42324.366 Set: 7161.218 Check: 0.0 Back: 882.681
INFO - Atoms: 56643/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 38354414 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.779 Prop: 43320.129 PropClause: 42352.992 Set: 7169.734 Check: 0.0 Back: 884.027
INFO - Atoms: 56386/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 38410537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.786 Prop: 43350.224 PropClause: 42381.666 Set: 7178.261 Check: 0.0 Back: 885.339
INFO - Atoms: 56123/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 38466403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.793 Prop: 43380.753 PropClause: 42410.789 Set: 7186.833 Check: 0.0 Back: 886.648
INFO - Atoms: 55866/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 38522010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.8 Prop: 43411.563 PropClause: 42440.188 Set: 7195.273 Check: 0.0 Back: 887.962
INFO - Atoms: 55607/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 38577360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.807 Prop: 43441.065 PropClause: 42468.298 Set: 7203.562 Check: 0.0 Back: 889.261
INFO - Atoms: 55350/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 38632447 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.814 Prop: 43470.199 PropClause: 42496.047 Set: 7211.802 Check: 0.0 Back: 890.554
INFO - Atoms: 55087/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 38687277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 43499.533 PropClause: 42524.001 Set: 7220.038 Check: 0.0 Back: 891.84
INFO - Atoms: 54830/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 38741848 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.827 Prop: 43527.893 PropClause: 42550.991 Set: 7228.145 Check: 0.0 Back: 893.116
INFO - Atoms: 54571/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 38796162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.833 Prop: 43555.817 PropClause: 42577.56 Set: 7236.216 Check: 0.0 Back: 894.396
INFO - Atoms: 54314/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 38850215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.84 Prop: 43583.261 PropClause: 42603.648 Set: 7244.284 Check: 0.0 Back: 895.648
INFO - Atoms: 54053/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 38904009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.846 Prop: 43610.34 PropClause: 42629.382 Set: 7252.23 Check: 0.0 Back: 896.892
INFO - Atoms: 53794/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 38957542 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.851 Prop: 43636.811 PropClause: 42654.503 Set: 7260.126 Check: 0.0 Back: 898.142
INFO - Atoms: 53533/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 39010818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.857 Prop: 43662.601 PropClause: 42678.952 Set: 7267.953 Check: 0.0 Back: 899.375
INFO - Atoms: 53276/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 39063835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.863 Prop: 43688.484 PropClause: 42703.509 Set: 7275.763 Check: 0.0 Back: 900.597
INFO - Atoms: 53017/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 39115964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 43713.157 PropClause: 42726.88 Set: 7283.296 Check: 0.0 Back: 901.818
INFO - Atoms: 52129/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 39167832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.875 Prop: 43737.659 PropClause: 42750.072 Set: 7290.864 Check: 0.0 Back: 903.023
INFO - Atoms: 51868/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 39219443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.881 Prop: 43760.889 PropClause: 42772.006 Set: 7298.316 Check: 0.0 Back: 904.246
INFO - Atoms: 51611/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 39270793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.889 Prop: 43784.406 PropClause: 42794.248 Set: 7305.686 Check: 0.0 Back: 905.449
INFO - Atoms: 51350/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 39321886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.895 Prop: 43806.974 PropClause: 42815.549 Set: 7331.794 Check: 0.0 Back: 906.62
INFO - Atoms: 51093/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 39372718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 43829.225 PropClause: 42836.551 Set: 7339.017 Check: 0.0 Back: 907.79
INFO - Atoms: 50832/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 39423291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.908 Prop: 43851.021 PropClause: 42857.092 Set: 7346.157 Check: 0.0 Back: 908.951
INFO - Atoms: 50573/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 884 Props: 42877877 Tprops: 0 Decides: 11930 RSplits: 0
INFO - Times: Expl: 3046.317 Prop: 47314.09 PropClause: 46226.661 Set: 7435.225 Check: 0.301 Back: 990.636
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 1384 Props: 44723061 Tprops: 0 Decides: 17991 RSplits: 0
INFO - Times: Expl: 3772.825 Prop: 48915.28 PropClause: 47776.465 Set: 7480.219 Check: 0.448 Back: 1033.946
INFO - Atoms: 49711/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 1683 Props: 45491485 Tprops: 0 Decides: 19962 RSplits: 0
INFO - Times: Expl: 4036.801 Prop: 49446.32 PropClause: 48286.986 Set: 7498.801 Check: 0.499 Back: 1051.887
INFO - Atoms: 50268/151550 Clauses: 2467 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2183 Props: 48570763 Tprops: 0 Decides: 28859 RSplits: 0
INFO - Times: Expl: 6424.546 Prop: 52671.823 PropClause: 51426.916 Set: 7580.115 Check: 0.729 Back: 1126.05
INFO - Atoms: 49712/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 2683 Props: 49304730 Tprops: 0 Decides: 29985 RSplits: 0
INFO - Times: Expl: 6637.557 Prop: 53069.312 PropClause: 51805.273 Set: 7597.872 Check: 0.757 Back: 1143.317
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Restart
INFO - Confl: 3683 Props: 51129152 Tprops: 0 Decides: 35011 RSplits: 0
INFO - Times: Expl: 7405.652 Prop: 54125.965 PropClause: 52813.36 Set: 7641.69 Check: 0.886 Back: 1186.536
INFO - Atoms: 49721/151550 Clauses: 3168 Axioms: 503234
INFO - Confl: 3789 Props: 51264005 Tprops: 0 Decides: 35257 RSplits: 0
INFO - Times: Expl: 7448.268 Prop: 54178.686 PropClause: 52862.569 Set: 7645.017 Check: 0.892 Back: 1189.652
INFO - Atoms: 50533/151550 Clauses: 3274 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4289 Props: 54154787 Tprops: 0 Decides: 44207 RSplits: 0
INFO - Times: Expl: 9587.641 Prop: 57153.672 PropClause: 55757.572 Set: 7721.492 Check: 1.112 Back: 1257.309
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 4789 Props: 55257099 Tprops: 0 Decides: 47348 RSplits: 0
INFO - Times: Expl: 9997.624 Prop: 57758.536 PropClause: 56332.946 Set: 7748.17 Check: 1.188 Back: 1283.079
INFO - Atoms: 49711/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 5546 Props: 56698187 Tprops: 0 Decides: 51632 RSplits: 0
INFO - Times: Expl: 10469.131 Prop: 58593.109 PropClause: 57129.318 Set: 7782.981 Check: 1.292 Back: 1316.507
INFO - Atoms: 50753/151550 Clauses: 2925 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6046 Props: 59747691 Tprops: 0 Decides: 60282 RSplits: 0
INFO - Times: Expl: 13451.601 Prop: 61926.377 PropClause: 60379.382 Set: 7863.424 Check: 1.51 Back: 1388.168
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 6546 Props: 60401780 Tprops: 0 Decides: 61081 RSplits: 0
INFO - Times: Expl: 14205.247 Prop: 62230.086 PropClause: 60666.211 Set: 7878.865 Check: 1.534 Back: 1403.246
INFO - Atoms: 49711/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 7386 Props: 62622503 Tprops: 0 Decides: 67346 RSplits: 0
INFO - Times: Expl: 14997.093 Prop: 64063.526 PropClause: 62439.98 Set: 7933.722 Check: 1.694 Back: 1455.515
INFO - Atoms: 51253/151550 Clauses: 3008 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7886 Props: 65756702 Tprops: 0 Decides: 76027 RSplits: 0
INFO - Times: Expl: 17801.103 Prop: 67504.226 PropClause: 65794.824 Set: 8017.171 Check: 1.917 Back: 1529.517
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 8386 Props: 67017991 Tprops: 0 Decides: 79803 RSplits: 0
INFO - Times: Expl: 18616.806 Prop: 68558.226 PropClause: 66814.397 Set: 8048.461 Check: 2.016 Back: 1559.432
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 9052 Props: 68528280 Tprops: 0 Decides: 83772 RSplits: 0
INFO - Times: Expl: 19125.382 Prop: 69718.249 PropClause: 67934.049 Set: 8085.537 Check: 2.116 Back: 1594.913
INFO - Atoms: 50485/151550 Clauses: 2834 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 9552 Props: 71653366 Tprops: 0 Decides: 92410 RSplits: 0
INFO - Times: Expl: 22003.432 Prop: 73126.187 PropClause: 71256.449 Set: 8169.026 Check: 2.333 Back: 1668.938
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 10052 Props: 72941358 Tprops: 0 Decides: 96163 RSplits: 0
INFO - Times: Expl: 22519.083 Prop: 74209.996 PropClause: 72305.309 Set: 8200.614 Check: 2.428 Back: 1699.281
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 10784 Props: 74238605 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.91 Prop: 75050.527 PropClause: 73111.06 Set: 8232.398 Check: 2.529 Back: 1729.697
INFO - Atoms: 50640/151550 Clauses: 2900 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10785 Props: 74317491 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.915 Prop: 75164.313 PropClause: 73222.852 Set: 8250.225 Check: 2.529 Back: 1730.894
INFO - Atoms: 78886/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10786 Props: 74396932 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.92 Prop: 75238.323 PropClause: 73294.864 Set: 8263.866 Check: 2.529 Back: 1732.741
INFO - Atoms: 79441/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10787 Props: 74488622 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.925 Prop: 75325.458 PropClause: 73379.697 Set: 8280.144 Check: 2.529 Back: 1734.636
INFO - Atoms: 91690/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10788 Props: 74580368 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.931 Prop: 75420.789 PropClause: 73472.724 Set: 8296.654 Check: 2.529 Back: 1736.762
INFO - Atoms: 91746/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10789 Props: 74672575 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.936 Prop: 75511.432 PropClause: 73561.056 Set: 8312.935 Check: 2.529 Back: 1738.922
INFO - Atoms: 92207/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10790 Props: 74763000 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.941 Prop: 75604.015 PropClause: 73651.343 Set: 8328.869 Check: 2.529 Back: 1741.06
INFO - Atoms: 90425/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10791 Props: 74853684 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.946 Prop: 75694.002 PropClause: 73739.042 Set: 8344.601 Check: 2.529 Back: 1743.15
INFO - Atoms: 90684/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10792 Props: 74944869 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.951 Prop: 75785.701 PropClause: 73828.458 Set: 8361.011 Check: 2.529 Back: 1745.259
INFO - Atoms: 91185/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10793 Props: 75036071 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.956 Prop: 75877.209 PropClause: 73917.683 Set: 8376.987 Check: 2.529 Back: 1747.374
INFO - Atoms: 91202/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10794 Props: 75134735 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.961 Prop: 75979.053 PropClause: 74017.057 Set: 8394.545 Check: 2.529 Back: 1749.513
INFO - Atoms: 98664/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10795 Props: 75233908 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.966 Prop: 76083.614 PropClause: 74119.129 Set: 8412.146 Check: 2.529 Back: 1751.828
INFO - Atoms: 99173/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10796 Props: 75309532 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.971 Prop: 76172.744 PropClause: 74206.38 Set: 8425.152 Check: 2.529 Back: 1754.12
INFO - Atoms: 75624/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10797 Props: 75385162 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.977 Prop: 76237.046 PropClause: 74268.79 Set: 8438.034 Check: 2.529 Back: 1755.865
INFO - Atoms: 75630/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10798 Props: 75461056 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.982 Prop: 76300.995 PropClause: 74330.845 Set: 8450.979 Check: 2.529 Back: 1757.615
INFO - Atoms: 75894/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10799 Props: 75537205 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.987 Prop: 76365.293 PropClause: 74393.24 Set: 8464.074 Check: 2.529 Back: 1759.359
INFO - Atoms: 76149/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10800 Props: 75613612 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.992 Prop: 76430.011 PropClause: 74456.047 Set: 8546.66 Check: 2.529 Back: 1761.116
INFO - Atoms: 76407/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10801 Props: 75690282 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23010.997 Prop: 76500.271 PropClause: 74524.387 Set: 8559.901 Check: 2.529 Back: 1762.876
INFO - Atoms: 76670/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10802 Props: 75767208 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.002 Prop: 76570.756 PropClause: 74592.95 Set: 8573.171 Check: 2.529 Back: 1764.685
INFO - Atoms: 76926/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10803 Props: 75844646 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.008 Prop: 76642.078 PropClause: 74662.323 Set: 8586.629 Check: 2.529 Back: 1766.484
INFO - Atoms: 77438/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10804 Props: 75922090 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.013 Prop: 76712.813 PropClause: 74731.116 Set: 8600.109 Check: 2.529 Back: 1768.326
INFO - Atoms: 77444/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10805 Props: 76000046 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.019 Prop: 76785.48 PropClause: 74801.82 Set: 8613.797 Check: 2.529 Back: 1770.162
INFO - Atoms: 77956/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10806 Props: 76078009 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.023 Prop: 76857.304 PropClause: 74871.661 Set: 8627.555 Check: 2.529 Back: 1771.989
INFO - Atoms: 77963/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10807 Props: 76156239 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.03 Prop: 76933.285 PropClause: 74945.681 Set: 8641.451 Check: 2.529 Back: 1773.814
INFO - Atoms: 78230/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10808 Props: 76234720 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.035 Prop: 77005.192 PropClause: 75015.582 Set: 8655.149 Check: 2.529 Back: 1775.631
INFO - Atoms: 78481/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10809 Props: 76313472 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.042 Prop: 77078.59 PropClause: 75087.0 Set: 8669.035 Check: 2.529 Back: 1777.472
INFO - Atoms: 78752/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10810 Props: 76392470 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.047 Prop: 77153.43 PropClause: 75159.851 Set: 8683.214 Check: 2.529 Back: 1779.307
INFO - Atoms: 78998/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10811 Props: 76471979 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.053 Prop: 77227.806 PropClause: 75232.231 Set: 8697.521 Check: 2.529 Back: 1781.156
INFO - Atoms: 79509/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10812 Props: 76551496 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.057 Prop: 77300.603 PropClause: 75303.018 Set: 8711.472 Check: 2.529 Back: 1783.009
INFO - Atoms: 79517/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10813 Props: 76631271 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.062 Prop: 77376.007 PropClause: 75376.422 Set: 8725.445 Check: 2.529 Back: 1784.856
INFO - Atoms: 79775/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10814 Props: 76711310 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.067 Prop: 77452.368 PropClause: 75450.77 Set: 8739.758 Check: 2.529 Back: 1786.711
INFO - Atoms: 80039/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10815 Props: 76791603 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.072 Prop: 77527.508 PropClause: 75523.897 Set: 8753.826 Check: 2.529 Back: 1788.638
INFO - Atoms: 80293/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10816 Props: 76872407 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.077 Prop: 77596.22 PropClause: 75590.578 Set: 8767.73 Check: 2.529 Back: 1790.508
INFO - Atoms: 80804/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10817 Props: 76953219 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.084 Prop: 77667.073 PropClause: 75659.404 Set: 8781.831 Check: 2.529 Back: 1792.378
INFO - Atoms: 80812/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10818 Props: 77034289 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.089 Prop: 77741.893 PropClause: 75732.184 Set: 8796.033 Check: 2.529 Back: 1794.253
INFO - Atoms: 81070/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10819 Props: 77115618 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.094 Prop: 77813.445 PropClause: 75801.689 Set: 8810.041 Check: 2.529 Back: 1796.154
INFO - Atoms: 81329/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10820 Props: 77197207 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.099 Prop: 77888.949 PropClause: 75875.152 Set: 8824.367 Check: 2.529 Back: 1798.037
INFO - Atoms: 81589/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10821 Props: 77279057 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.105 Prop: 77963.395 PropClause: 75947.54 Set: 8838.606 Check: 2.529 Back: 1799.946
INFO - Atoms: 81850/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10822 Props: 77361163 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.11 Prop: 78041.392 PropClause: 76023.442 Set: 8853.465 Check: 2.529 Back: 1801.838
INFO - Atoms: 82106/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10823 Props: 77443528 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.115 Prop: 78117.35 PropClause: 76097.353 Set: 8867.776 Check: 2.529 Back: 1803.755
INFO - Atoms: 82365/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10824 Props: 77526404 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.12 Prop: 78204.028 PropClause: 76181.956 Set: 8882.545 Check: 2.529 Back: 1805.699
INFO - Atoms: 82876/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10825 Props: 77609288 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.125 Prop: 78284.55 PropClause: 76260.405 Set: 8897.176 Check: 2.529 Back: 1807.635
INFO - Atoms: 82884/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10826 Props: 77692430 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.129 Prop: 78362.829 PropClause: 76336.598 Set: 8911.796 Check: 2.529 Back: 1809.563
INFO - Atoms: 83142/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10827 Props: 77775832 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.135 Prop: 78444.746 PropClause: 76416.413 Set: 8926.653 Check: 2.529 Back: 1811.504
INFO - Atoms: 83402/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10828 Props: 77859492 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.14 Prop: 78526.088 PropClause: 76495.633 Set: 8941.547 Check: 2.529 Back: 1813.448
INFO - Atoms: 83660/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10829 Props: 77943411 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.145 Prop: 78608.046 PropClause: 76575.474 Set: 8956.476 Check: 2.529 Back: 1815.395
INFO - Atoms: 83919/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10830 Props: 78027589 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.15 Prop: 78688.495 PropClause: 76653.81 Set: 8971.236 Check: 2.529 Back: 1817.343
INFO - Atoms: 84178/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10831 Props: 78112026 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.155 Prop: 78773.542 PropClause: 76736.735 Set: 8986.191 Check: 2.529 Back: 1819.461
INFO - Atoms: 84437/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10832 Props: 78196727 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.161 Prop: 78860.481 PropClause: 76821.542 Set: 9001.4 Check: 2.529 Back: 1821.443
INFO - Atoms: 84701/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10833 Props: 78281682 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.167 Prop: 78946.92 PropClause: 76905.831 Set: 9016.586 Check: 2.529 Back: 1823.425
INFO - Atoms: 84955/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10834 Props: 78366905 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.173 Prop: 79036.662 PropClause: 76993.434 Set: 9032.005 Check: 2.529 Back: 1825.426
INFO - Atoms: 85223/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10835 Props: 78452378 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.177 Prop: 79120.397 PropClause: 77075.024 Set: 9047.194 Check: 2.529 Back: 1827.423
INFO - Atoms: 85473/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10836 Props: 78538123 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.183 Prop: 79203.378 PropClause: 77155.852 Set: 9062.377 Check: 2.529 Back: 1829.409
INFO - Atoms: 85745/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10837 Props: 78624115 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.188 Prop: 79287.05 PropClause: 77237.369 Set: 9077.805 Check: 2.529 Back: 1831.405
INFO - Atoms: 85992/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10838 Props: 78710382 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.193 Prop: 79371.495 PropClause: 77319.657 Set: 9093.1 Check: 2.529 Back: 1833.4
INFO - Atoms: 86267/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10839 Props: 78796891 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.197 Prop: 79457.807 PropClause: 77403.802 Set: 9108.667 Check: 2.529 Back: 1835.4
INFO - Atoms: 86509/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10840 Props: 78883659 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.202 Prop: 79540.383 PropClause: 77484.209 Set: 9123.802 Check: 2.529 Back: 1837.428
INFO - Atoms: 86768/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10841 Props: 78970686 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.207 Prop: 79629.894 PropClause: 77571.538 Set: 9139.643 Check: 2.529 Back: 1839.438
INFO - Atoms: 87027/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10842 Props: 79057972 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.212 Prop: 79716.47 PropClause: 77655.929 Set: 9155.173 Check: 2.529 Back: 1841.46
INFO - Atoms: 87286/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10843 Props: 79145769 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.219 Prop: 79802.174 PropClause: 77739.436 Set: 9170.723 Check: 2.529 Back: 1843.505
INFO - Atoms: 87797/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10844 Props: 79233832 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.223 Prop: 79889.675 PropClause: 77824.711 Set: 9186.273 Check: 2.529 Back: 1846.415
INFO - Atoms: 88063/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10845 Props: 79322406 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.229 Prop: 79979.153 PropClause: 77911.964 Set: 9202.001 Check: 2.529 Back: 1848.459
INFO - Atoms: 88574/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10846 Props: 79410987 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.234 Prop: 80069.872 PropClause: 78000.444 Set: 9217.814 Check: 2.529 Back: 1850.513
INFO - Atoms: 88581/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10847 Props: 79499832 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.239 Prop: 80159.299 PropClause: 78087.642 Set: 9233.593 Check: 2.529 Back: 1852.589
INFO - Atoms: 88845/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10848 Props: 79589182 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.245 Prop: 80248.555 PropClause: 78174.685 Set: 9249.399 Check: 2.529 Back: 1854.667
INFO - Atoms: 89350/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10849 Props: 79678540 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.249 Prop: 80338.699 PropClause: 78262.595 Set: 9265.284 Check: 2.529 Back: 1856.763
INFO - Atoms: 89358/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10850 Props: 79768168 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.255 Prop: 80429.94 PropClause: 78351.573 Set: 9281.431 Check: 2.529 Back: 1858.828
INFO - Atoms: 89628/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10851 Props: 79858044 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.26 Prop: 80524.165 PropClause: 78443.535 Set: 9297.584 Check: 2.529 Back: 1860.903
INFO - Atoms: 89876/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10852 Props: 79948194 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.266 Prop: 80615.86 PropClause: 78532.967 Set: 9313.651 Check: 2.529 Back: 1863.011
INFO - Atoms: 90150/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10853 Props: 80038588 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.271 Prop: 80708.456 PropClause: 78623.287 Set: 9330.127 Check: 2.529 Back: 1865.125
INFO - Atoms: 90394/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10854 Props: 80129493 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.276 Prop: 80799.878 PropClause: 78712.359 Set: 9346.206 Check: 2.529 Back: 1867.237
INFO - Atoms: 90905/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10855 Props: 80220405 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.281 Prop: 80893.029 PropClause: 78803.234 Set: 9362.636 Check: 2.529 Back: 1869.353
INFO - Atoms: 90912/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10856 Props: 80311576 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.287 Prop: 80987.491 PropClause: 78895.405 Set: 9379.0 Check: 2.529 Back: 1871.484
INFO - Atoms: 91171/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10857 Props: 80403007 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.292 Prop: 81086.114 PropClause: 78991.731 Set: 9395.469 Check: 2.529 Back: 1873.611
INFO - Atoms: 91431/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10858 Props: 80494948 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.297 Prop: 81179.137 PropClause: 79082.438 Set: 9412.03 Check: 2.529 Back: 1875.745
INFO - Atoms: 91941/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10859 Props: 80586896 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.303 Prop: 81278.961 PropClause: 79179.952 Set: 9428.454 Check: 2.529 Back: 1877.905
INFO - Atoms: 91948/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10860 Props: 80679355 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.307 Prop: 81373.678 PropClause: 79272.351 Set: 9445.116 Check: 2.529 Back: 1880.056
INFO - Atoms: 92459/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10861 Props: 80771822 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.313 Prop: 81470.306 PropClause: 79366.66 Set: 9461.685 Check: 2.529 Back: 1882.216
INFO - Atoms: 92467/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10862 Props: 80864547 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.318 Prop: 81566.23 PropClause: 79460.259 Set: 9478.528 Check: 2.529 Back: 1884.383
INFO - Atoms: 92725/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10863 Props: 80957783 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.324 Prop: 81659.729 PropClause: 79551.417 Set: 9495.267 Check: 2.529 Back: 1886.573
INFO - Atoms: 93236/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10864 Props: 81051026 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.329 Prop: 81753.059 PropClause: 79642.411 Set: 9512.285 Check: 2.529 Back: 1888.734
INFO - Atoms: 93243/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10865 Props: 81144780 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.334 Prop: 81851.987 PropClause: 79738.994 Set: 9529.203 Check: 2.529 Back: 1890.901
INFO - Atoms: 93754/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10866 Props: 81238800 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.338 Prop: 81951.25 PropClause: 79835.904 Set: 9545.94 Check: 2.529 Back: 1893.07
INFO - Atoms: 94020/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10867 Props: 81333331 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.344 Prop: 82050.706 PropClause: 79932.991 Set: 9563.233 Check: 2.529 Back: 1895.26
INFO - Atoms: 94531/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10868 Props: 81427869 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.349 Prop: 82144.575 PropClause: 80024.484 Set: 9579.902 Check: 2.529 Back: 1897.453
INFO - Atoms: 94538/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10869 Props: 81522679 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.354 Prop: 82242.415 PropClause: 80119.949 Set: 9597.274 Check: 2.529 Back: 1899.65
INFO - Atoms: 94810/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10870 Props: 81617735 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.359 Prop: 82339.311 PropClause: 80214.456 Set: 9614.256 Check: 2.529 Back: 1901.882
INFO - Atoms: 95056/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10871 Props: 81713302 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.364 Prop: 82436.379 PropClause: 80309.13 Set: 9631.475 Check: 2.529 Back: 1904.111
INFO - Atoms: 95567/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10872 Props: 81808877 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.369 Prop: 82533.863 PropClause: 80404.221 Set: 9648.495 Check: 2.529 Back: 1906.318
INFO - Atoms: 95575/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10873 Props: 81904715 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.374 Prop: 82633.525 PropClause: 80501.472 Set: 9692.079 Check: 2.529 Back: 1908.543
INFO - Atoms: 95838/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10874 Props: 82000806 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.38 Prop: 82730.595 PropClause: 80596.12 Set: 9709.212 Check: 2.529 Back: 1910.785
INFO - Atoms: 96091/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10875 Props: 82097166 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.384 Prop: 82831.682 PropClause: 80694.795 Set: 9726.723 Check: 2.529 Back: 1913.027
INFO - Atoms: 96360/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10876 Props: 82193776 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.389 Prop: 82931.86 PropClause: 80792.55 Set: 9744.13 Check: 2.529 Back: 1915.268
INFO - Atoms: 96610/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10877 Props: 82290644 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.393 Prop: 83031.301 PropClause: 80889.563 Set: 9761.549 Check: 2.529 Back: 1917.521
INFO - Atoms: 96868/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10878 Props: 82388024 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.398 Prop: 83130.868 PropClause: 80986.691 Set: 9779.137 Check: 2.529 Back: 1919.772
INFO - Atoms: 97380/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10879 Props: 82485411 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.403 Prop: 83232.774 PropClause: 81086.142 Set: 9796.827 Check: 2.529 Back: 1922.047
INFO - Atoms: 97387/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10880 Props: 82583057 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.407 Prop: 83336.001 PropClause: 81186.915 Set: 9814.675 Check: 2.529 Back: 1924.311
INFO - Atoms: 97646/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10881 Props: 82680961 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.412 Prop: 83442.309 PropClause: 81290.762 Set: 9832.366 Check: 2.529 Back: 1926.591
INFO - Atoms: 97904/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10882 Props: 82779124 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.418 Prop: 83549.106 PropClause: 81395.094 Set: 9850.213 Check: 2.529 Back: 1928.879
INFO - Atoms: 98163/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10883 Props: 82877547 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.422 Prop: 83654.621 PropClause: 81498.146 Set: 9867.858 Check: 2.529 Back: 1931.196
INFO - Atoms: 98423/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10884 Props: 82976230 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.427 Prop: 83760.366 PropClause: 81601.42 Set: 9885.749 Check: 2.529 Back: 1933.478
INFO - Atoms: 98683/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10885 Props: 83075180 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.434 Prop: 83866.456 PropClause: 81705.036 Set: 9903.937 Check: 2.529 Back: 1935.772
INFO - Atoms: 98950/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10886 Props: 83174380 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.439 Prop: 83973.281 PropClause: 81809.357 Set: 9921.698 Check: 2.529 Back: 1938.07
INFO - Atoms: 99200/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10887 Props: 83273852 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.446 Prop: 84082.739 PropClause: 81916.293 Set: 9940.066 Check: 2.529 Back: 1940.402
INFO - Atoms: 99472/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10888 Props: 83373569 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.451 Prop: 84189.617 PropClause: 82020.629 Set: 9957.896 Check: 2.529 Back: 1942.724
INFO - Atoms: 99717/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10889 Props: 83473668 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.457 Prop: 84294.174 PropClause: 82122.676 Set: 9976.278 Check: 2.529 Back: 1945.031
INFO - Atoms: 100099/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10890 Props: 83573774 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.462 Prop: 84401.659 PropClause: 82227.642 Set: 9994.394 Check: 2.529 Back: 1947.35
INFO - Atoms: 100106/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10891 Props: 83660557 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.467 Prop: 84497.851 PropClause: 82321.654 Set: 10009.978 Check: 2.529 Back: 1949.677
INFO - Atoms: 86783/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10892 Props: 83747354 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.472 Prop: 84582.948 PropClause: 82404.554 Set: 10026.011 Check: 2.529 Back: 1951.739
INFO - Atoms: 86797/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10893 Props: 83834402 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.477 Prop: 84666.983 PropClause: 82486.396 Set: 10041.315 Check: 2.529 Back: 1953.766
INFO - Atoms: 87048/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 110820 Tprops: 1991 Decides: 145124 RSplits: 0
INFO - Times: Expl: 579.425 Prop: 207405.159 PropClause: 56.868 Set: 28272.853 Check: 1642.0 Back: 441.055
INFO - Atoms: 19/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1487980 eq 64591712 cc 301964241 setRep 149084659
INFO - Merges: 1023429, cc:2292992
INFO - BVTimes: BB 374144134 BB_DPLL 193351394439 Graph 1079268284
INFO - BitBlastingClauses: 1086066 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 10894 Props: 83921707 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.482 Prop: 84753.833 PropClause: 82570.773 Set: 10056.554 Check: 2.529 Back: 1955.769
INFO - Atoms: 87305/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10895 Props: 84009272 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.487 Prop: 84839.26 PropClause: 82653.753 Set: 10071.922 Check: 2.529 Back: 1957.808
INFO - Atoms: 87565/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10896 Props: 84097096 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.492 Prop: 84921.07 PropClause: 82733.159 Set: 10087.101 Check: 2.529 Back: 1959.836
INFO - Atoms: 87824/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10897 Props: 84185184 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.497 Prop: 85009.666 PropClause: 82819.327 Set: 10102.562 Check: 2.529 Back: 1961.823
INFO - Atoms: 88088/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10898 Props: 84273537 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.502 Prop: 85092.957 PropClause: 82900.416 Set: 10118.022 Check: 2.529 Back: 1963.829
INFO - Atoms: 88353/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10899 Props: 84362147 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.507 Prop: 85178.211 PropClause: 82983.401 Set: 10133.534 Check: 2.529 Back: 1965.847
INFO - Atoms: 88610/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10900 Props: 84451008 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.512 Prop: 85266.288 PropClause: 83069.282 Set: 10149.299 Check: 2.529 Back: 1967.883
INFO - Atoms: 88861/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10901 Props: 84540129 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.517 Prop: 85355.731 PropClause: 83156.516 Set: 10164.86 Check: 2.529 Back: 1969.928
INFO - Atoms: 89121/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10902 Props: 84629509 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.522 Prop: 85446.168 PropClause: 83244.74 Set: 10180.807 Check: 2.529 Back: 1972.0
INFO - Atoms: 89380/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10903 Props: 84719148 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.528 Prop: 85535.961 PropClause: 83332.337 Set: 10196.669 Check: 2.529 Back: 1974.059
INFO - Atoms: 89639/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10904 Props: 84809045 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.534 Prop: 85628.848 PropClause: 83423.009 Set: 10212.563 Check: 2.529 Back: 1976.11
INFO - Atoms: 89897/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10905 Props: 84899455 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.539 Prop: 85718.927 PropClause: 83510.878 Set: 10228.456 Check: 2.529 Back: 1978.168
INFO - Atoms: 90410/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10906 Props: 84990123 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.544 Prop: 85810.716 PropClause: 83600.447 Set: 10244.379 Check: 2.529 Back: 1980.255
INFO - Atoms: 90668/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10907 Props: 85080807 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.549 Prop: 85902.704 PropClause: 83690.214 Set: 10260.429 Check: 2.529 Back: 1982.412
INFO - Atoms: 90684/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10908 Props: 85171742 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.556 Prop: 85998.419 PropClause: 83783.665 Set: 10276.701 Check: 2.529 Back: 1984.502
INFO - Atoms: 90935/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10909 Props: 85262936 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.562 Prop: 86091.118 PropClause: 83874.131 Set: 10292.573 Check: 2.529 Back: 1986.603
INFO - Atoms: 91194/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10910 Props: 85354388 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.569 Prop: 86183.289 PropClause: 83964.061 Set: 10308.757 Check: 2.529 Back: 1988.697
INFO - Atoms: 91452/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10911 Props: 85446352 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.575 Prop: 86278.736 PropClause: 84057.258 Set: 10325.079 Check: 2.529 Back: 1990.787
INFO - Atoms: 91964/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10912 Props: 85538321 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.581 Prop: 86375.782 PropClause: 84152.018 Set: 10341.872 Check: 2.529 Back: 1992.889
INFO - Atoms: 91969/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10913 Props: 85630551 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.585 Prop: 86472.28 PropClause: 84246.257 Set: 10358.309 Check: 2.529 Back: 1995.017
INFO - Atoms: 92230/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10914 Props: 85723040 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.591 Prop: 86566.276 PropClause: 84337.99 Set: 10374.685 Check: 2.529 Back: 1997.134
INFO - Atoms: 92489/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10915 Props: 85815786 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.596 Prop: 86661.488 PropClause: 84430.923 Set: 10390.816 Check: 2.529 Back: 1999.24
INFO - Atoms: 92746/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10916 Props: 85908792 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.602 Prop: 86756.825 PropClause: 84523.979 Set: 10407.261 Check: 2.529 Back: 2001.36
INFO - Atoms: 93006/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10917 Props: 86002310 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.606 Prop: 86851.915 PropClause: 84616.771 Set: 10423.756 Check: 2.529 Back: 2003.493
INFO - Atoms: 93518/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10918 Props: 86095834 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.612 Prop: 86949.991 PropClause: 84712.535 Set: 10439.995 Check: 2.529 Back: 2005.631
INFO - Atoms: 93524/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10919 Props: 86189622 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.617 Prop: 87048.578 PropClause: 84808.831 Set: 10456.549 Check: 2.529 Back: 2007.78
INFO - Atoms: 93788/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10920 Props: 86283665 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.623 Prop: 87144.34 PropClause: 84902.294 Set: 10473.15 Check: 2.529 Back: 2009.936
INFO - Atoms: 94043/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10921 Props: 86377975 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.627 Prop: 87241.591 PropClause: 84997.246 Set: 10489.656 Check: 2.529 Back: 2012.088
INFO - Atoms: 94310/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10922 Props: 86472535 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.632 Prop: 87334.995 PropClause: 85088.318 Set: 10506.052 Check: 2.529 Back: 2014.259
INFO - Atoms: 94560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10923 Props: 86567361 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.636 Prop: 87427.641 PropClause: 85178.638 Set: 10522.368 Check: 2.529 Back: 2016.425
INFO - Atoms: 94826/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10924 Props: 86662439 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.642 Prop: 87521.308 PropClause: 85269.994 Set: 10538.923 Check: 2.529 Back: 2018.592
INFO - Atoms: 95078/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10925 Props: 86758027 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.648 Prop: 87617.91 PropClause: 85364.197 Set: 10555.969 Check: 2.529 Back: 2020.764
INFO - Atoms: 95588/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10926 Props: 86853624 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.652 Prop: 87716.958 PropClause: 85460.927 Set: 10596.83 Check: 2.529 Back: 2022.941
INFO - Atoms: 95597/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10927 Props: 86949730 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.657 Prop: 87810.996 PropClause: 85552.637 Set: 10613.754 Check: 2.529 Back: 2025.124
INFO - Atoms: 96106/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10928 Props: 87045844 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.662 Prop: 87908.094 PropClause: 85647.396 Set: 10630.632 Check: 2.529 Back: 2027.314
INFO - Atoms: 96114/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10929 Props: 87142217 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.668 Prop: 88005.598 PropClause: 85742.541 Set: 10647.466 Check: 2.529 Back: 2029.509
INFO - Atoms: 96373/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10930 Props: 87238848 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.673 Prop: 88099.785 PropClause: 85834.387 Set: 10664.389 Check: 2.529 Back: 2031.739
INFO - Atoms: 96631/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10931 Props: 87335991 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.676 Prop: 88193.695 PropClause: 85925.944 Set: 10681.257 Check: 2.529 Back: 2033.93
INFO - Atoms: 97143/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10932 Props: 87433141 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.68 Prop: 88291.128 PropClause: 86021.011 Set: 10698.037 Check: 2.529 Back: 2036.134
INFO - Atoms: 97150/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10933 Props: 87530551 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.686 Prop: 88391.545 PropClause: 86119.053 Set: 10715.083 Check: 2.529 Back: 2038.334
INFO - Atoms: 97410/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10934 Props: 87628218 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.691 Prop: 88494.586 PropClause: 86219.712 Set: 10732.484 Check: 2.529 Back: 2040.545
INFO - Atoms: 97667/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10935 Props: 87726145 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.696 Prop: 88595.437 PropClause: 86318.172 Set: 10749.601 Check: 2.529 Back: 2042.767
INFO - Atoms: 97927/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10936 Props: 87824331 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.701 Prop: 88699.166 PropClause: 86419.504 Set: 10767.021 Check: 2.529 Back: 2045.04
INFO - Atoms: 98186/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10937 Props: 87923028 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.706 Prop: 88802.617 PropClause: 86520.546 Set: 10784.568 Check: 2.529 Back: 2047.308
INFO - Atoms: 98697/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10938 Props: 88021735 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.711 Prop: 88906.715 PropClause: 86622.194 Set: 10802.599 Check: 2.529 Back: 2049.554
INFO - Atoms: 98707/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10939 Props: 88120950 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.717 Prop: 89012.724 PropClause: 86725.775 Set: 10820.408 Check: 2.529 Back: 2051.82
INFO - Atoms: 99215/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10940 Props: 88220171 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.722 Prop: 89117.812 PropClause: 86828.433 Set: 10837.944 Check: 2.529 Back: 2054.122
INFO - Atoms: 99221/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10941 Props: 88319652 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.728 Prop: 89222.078 PropClause: 86930.267 Set: 10855.556 Check: 2.529 Back: 2056.381
INFO - Atoms: 99481/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10942 Props: 88419391 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.734 Prop: 89333.401 PropClause: 87039.109 Set: 10873.671 Check: 2.529 Back: 2058.639
INFO - Atoms: 99739/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10943 Props: 88519389 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.74 Prop: 89442.085 PropClause: 87145.322 Set: 10891.491 Check: 2.529 Back: 2060.944
INFO - Atoms: 99998/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10944 Props: 88619647 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.744 Prop: 89554.079 PropClause: 87254.868 Set: 10909.571 Check: 2.529 Back: 2063.251
INFO - Atoms: 100258/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10945 Props: 88720171 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.75 Prop: 89665.748 PropClause: 87364.076 Set: 10927.329 Check: 2.529 Back: 2065.565
INFO - Atoms: 100524/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10946 Props: 88820954 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.756 Prop: 89780.257 PropClause: 87476.114 Set: 10945.908 Check: 2.529 Back: 2067.886
INFO - Atoms: 100783/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10947 Props: 88921990 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.762 Prop: 89901.371 PropClause: 87594.726 Set: 10964.426 Check: 2.529 Back: 2070.201
INFO - Atoms: 101036/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10948 Props: 89023285 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.767 Prop: 90011.241 PropClause: 87702.096 Set: 10982.769 Check: 2.529 Back: 2072.573
INFO - Atoms: 101295/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10949 Props: 89124838 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.773 Prop: 90121.594 PropClause: 87809.954 Set: 11097.828 Check: 2.529 Back: 2074.904
INFO - Atoms: 101553/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10950 Props: 89226650 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.778 Prop: 90230.605 PropClause: 87916.445 Set: 11116.226 Check: 2.529 Back: 2077.231
INFO - Atoms: 101812/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10951 Props: 89328730 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.783 Prop: 90341.681 PropClause: 88024.98 Set: 11135.157 Check: 2.529 Back: 2079.62
INFO - Atoms: 102080/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10952 Props: 89431063 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.789 Prop: 90454.195 PropClause: 88134.963 Set: 11153.683 Check: 2.529 Back: 2082.012
INFO - Atoms: 102333/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10953 Props: 89533652 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.794 Prop: 90562.442 PropClause: 88240.696 Set: 11171.689 Check: 2.529 Back: 2084.393
INFO - Atoms: 102589/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10954 Props: 89636499 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.799 Prop: 90673.058 PropClause: 88348.744 Set: 11190.041 Check: 2.529 Back: 2086.732
INFO - Atoms: 102847/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10955 Props: 89739613 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.805 Prop: 90783.648 PropClause: 88456.753 Set: 11208.535 Check: 2.529 Back: 2089.109
INFO - Atoms: 103114/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10956 Props: 89842979 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.81 Prop: 90892.07 PropClause: 88562.627 Set: 11226.98 Check: 2.529 Back: 2091.505
INFO - Atoms: 103366/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10957 Props: 89946611 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.815 Prop: 91002.638 PropClause: 88670.595 Set: 11245.426 Check: 2.529 Back: 2093.883
INFO - Atoms: 103632/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10958 Props: 90050496 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.821 Prop: 91112.863 PropClause: 88778.258 Set: 11263.735 Check: 2.529 Back: 2096.287
INFO - Atoms: 103885/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10959 Props: 90154648 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.826 Prop: 91223.547 PropClause: 88886.36 Set: 11282.313 Check: 2.529 Back: 2098.733
INFO - Atoms: 104152/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10960 Props: 90259050 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.83 Prop: 91334.56 PropClause: 88994.814 Set: 11301.17 Check: 2.529 Back: 2101.13
INFO - Atoms: 104402/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10961 Props: 90363720 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.836 Prop: 91447.281 PropClause: 89104.964 Set: 11319.754 Check: 2.529 Back: 2103.527
INFO - Atoms: 104670/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10962 Props: 90468640 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.842 Prop: 91559.221 PropClause: 89214.343 Set: 11338.724 Check: 2.529 Back: 2105.979
INFO - Atoms: 104920/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10963 Props: 90573818 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.847 Prop: 91674.549 PropClause: 89327.098 Set: 11357.862 Check: 2.529 Back: 2108.385
INFO - Atoms: 105178/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10964 Props: 90679255 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.853 Prop: 91787.956 PropClause: 89437.886 Set: 11376.494 Check: 2.529 Back: 2110.804
INFO - Atoms: 105437/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10965 Props: 90784959 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.858 Prop: 91901.126 PropClause: 89548.444 Set: 11395.324 Check: 2.529 Back: 2113.253
INFO - Atoms: 105704/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10966 Props: 90890920 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.863 Prop: 92014.665 PropClause: 89659.349 Set: 11414.135 Check: 2.529 Back: 2115.696
INFO - Atoms: 105961/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10967 Props: 90997134 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.869 Prop: 92134.916 PropClause: 89776.945 Set: 11433.499 Check: 2.529 Back: 2118.146
INFO - Atoms: 106214/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10968 Props: 91103608 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.873 Prop: 92260.929 PropClause: 89900.348 Set: 11452.606 Check: 2.529 Back: 2120.624
INFO - Atoms: 106474/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10969 Props: 91210342 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.879 Prop: 92380.364 PropClause: 90017.184 Set: 11471.699 Check: 2.529 Back: 2123.079
INFO - Atoms: 106734/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10970 Props: 91317339 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.884 Prop: 92499.509 PropClause: 90133.708 Set: 11490.927 Check: 2.529 Back: 2125.529
INFO - Atoms: 106997/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10971 Props: 91424590 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.889 Prop: 92619.432 PropClause: 90250.958 Set: 11510.05 Check: 2.529 Back: 2127.992
INFO - Atoms: 107251/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10972 Props: 91532100 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.894 Prop: 92739.371 PropClause: 90368.286 Set: 11529.371 Check: 2.529 Back: 2130.467
INFO - Atoms: 107510/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10973 Props: 91639876 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.9 Prop: 92858.801 PropClause: 90485.063 Set: 11549.117 Check: 2.529 Back: 2132.98
INFO - Atoms: 107776/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10974 Props: 91747904 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.906 Prop: 92969.916 PropClause: 90593.512 Set: 11568.637 Check: 2.529 Back: 2135.496
INFO - Atoms: 108028/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10975 Props: 91856441 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.912 Prop: 93089.873 PropClause: 90710.783 Set: 11588.367 Check: 2.529 Back: 2137.983
INFO - Atoms: 108537/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10976 Props: 91964988 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.918 Prop: 93212.043 PropClause: 90830.292 Set: 11607.567 Check: 2.529 Back: 2140.466
INFO - Atoms: 108547/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10977 Props: 92073802 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.923 Prop: 93333.181 PropClause: 90948.734 Set: 11627.022 Check: 2.529 Back: 2142.963
INFO - Atoms: 108814/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10978 Props: 92182865 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.929 Prop: 93457.955 PropClause: 91070.842 Set: 11646.739 Check: 2.529 Back: 2145.463
INFO - Atoms: 109063/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10979 Props: 92292440 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.934 Prop: 93583.414 PropClause: 91193.628 Set: 11666.493 Check: 2.529 Back: 2148.039
INFO - Atoms: 109575/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10980 Props: 92402022 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.939 Prop: 93710.908 PropClause: 91318.451 Set: 11686.377 Check: 2.529 Back: 2150.581
INFO - Atoms: 109582/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10981 Props: 92511866 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.944 Prop: 93835.743 PropClause: 91440.577 Set: 11706.425 Check: 2.529 Back: 2153.149
INFO - Atoms: 109844/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10982 Props: 92621966 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.949 Prop: 93966.408 PropClause: 91568.533 Set: 11726.692 Check: 2.529 Back: 2155.654
INFO - Atoms: 110100/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10983 Props: 92732577 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.954 Prop: 94087.284 PropClause: 91686.706 Set: 11810.164 Check: 2.529 Back: 2158.192
INFO - Atoms: 110611/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10984 Props: 92843195 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.959 Prop: 94208.601 PropClause: 91805.315 Set: 11829.818 Check: 2.529 Back: 2160.713
INFO - Atoms: 110618/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10985 Props: 92954079 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.964 Prop: 94327.238 PropClause: 91921.228 Set: 11849.461 Check: 2.529 Back: 2163.235
INFO - Atoms: 110884/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10986 Props: 93065215 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.968 Prop: 94446.163 PropClause: 92037.438 Set: 11869.262 Check: 2.529 Back: 2165.762
INFO - Atoms: 111136/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10987 Props: 93176610 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.974 Prop: 94569.84 PropClause: 92158.4 Set: 11889.053 Check: 2.529 Back: 2168.333
INFO - Atoms: 111395/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10988 Props: 93288263 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.978 Prop: 94691.684 PropClause: 92277.498 Set: 11909.512 Check: 2.529 Back: 2170.861
INFO - Atoms: 111653/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10989 Props: 93400176 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.983 Prop: 94811.771 PropClause: 92394.842 Set: 11930.133 Check: 2.529 Back: 2173.442
INFO - Atoms: 111913/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10990 Props: 93512599 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.988 Prop: 94937.524 PropClause: 92517.865 Set: 11950.041 Check: 2.529 Back: 2176.0
INFO - Atoms: 112423/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10991 Props: 93625029 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.994 Prop: 95060.979 PropClause: 92638.599 Set: 11969.796 Check: 2.529 Back: 2178.559
INFO - Atoms: 112430/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10992 Props: 93737722 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23011.998 Prop: 95187.236 PropClause: 92762.086 Set: 11990.139 Check: 2.529 Back: 2181.097
INFO - Atoms: 112693/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10993 Props: 93850670 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.003 Prop: 95309.354 PropClause: 92881.438 Set: 12010.322 Check: 2.529 Back: 2183.675
INFO - Atoms: 112948/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10994 Props: 93963877 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.008 Prop: 95436.279 PropClause: 93005.602 Set: 12030.63 Check: 2.529 Back: 2186.229
INFO - Atoms: 113207/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10995 Props: 94077596 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.013 Prop: 95565.295 PropClause: 93131.819 Set: 12051.186 Check: 2.529 Back: 2188.814
INFO - Atoms: 113719/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10996 Props: 94191335 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.019 Prop: 95695.409 PropClause: 93259.139 Set: 12072.074 Check: 2.529 Back: 2191.434
INFO - Atoms: 113739/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10997 Props: 94305320 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.024 Prop: 95825.76 PropClause: 93386.712 Set: 12092.557 Check: 2.529 Back: 2194.046
INFO - Atoms: 113985/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10998 Props: 94419565 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.03 Prop: 95956.499 PropClause: 93514.655 Set: 12112.933 Check: 2.529 Back: 2196.642
INFO - Atoms: 114245/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10999 Props: 94534067 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.035 Prop: 96086.025 PropClause: 93641.369 Set: 12133.566 Check: 2.529 Back: 2199.274
INFO - Atoms: 114502/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11000 Props: 94648829 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.04 Prop: 96221.203 PropClause: 93773.696 Set: 12155.027 Check: 2.529 Back: 2201.9
INFO - Atoms: 114762/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11001 Props: 94763850 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.046 Prop: 96355.512 PropClause: 93905.154 Set: 12176.295 Check: 2.529 Back: 2204.524
INFO - Atoms: 115021/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11002 Props: 94879145 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.052 Prop: 96490.774 PropClause: 94037.567 Set: 12197.356 Check: 2.529 Back: 2207.133
INFO - Atoms: 115295/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11003 Props: 94994699 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.057 Prop: 96623.577 PropClause: 94167.536 Set: 12218.157 Check: 2.529 Back: 2209.777
INFO - Atoms: 115554/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11004 Props: 95110498 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.063 Prop: 96757.481 PropClause: 94298.616 Set: 12239.216 Check: 2.529 Back: 2212.44
INFO - Atoms: 115799/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11005 Props: 95226554 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.069 Prop: 96895.677 PropClause: 94433.969 Set: 12260.338 Check: 2.529 Back: 2215.11
INFO - Atoms: 116056/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11006 Props: 95342870 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.074 Prop: 97030.613 PropClause: 94566.039 Set: 12281.384 Check: 2.529 Back: 2217.804
INFO - Atoms: 116316/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11007 Props: 95459697 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.08 Prop: 97163.736 PropClause: 94696.303 Set: 12302.524 Check: 2.529 Back: 2220.46
INFO - Atoms: 116827/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11008 Props: 95576530 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.086 Prop: 97301.088 PropClause: 94830.787 Set: 12323.604 Check: 2.529 Back: 2223.122
INFO - Atoms: 116833/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11009 Props: 95693644 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.092 Prop: 97437.816 PropClause: 94964.637 Set: 12345.206 Check: 2.529 Back: 2225.814
INFO - Atoms: 117114/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11010 Props: 95810997 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.098 Prop: 97574.342 PropClause: 95098.293 Set: 12366.226 Check: 2.529 Back: 2228.512
INFO - Atoms: 117353/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11011 Props: 95928607 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.103 Prop: 97710.836 PropClause: 95231.918 Set: 12387.725 Check: 2.529 Back: 2231.2
INFO - Atoms: 117610/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11012 Props: 96046476 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.108 Prop: 97847.943 PropClause: 95366.13 Set: 12409.357 Check: 2.529 Back: 2233.901
INFO - Atoms: 117869/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11013 Props: 96164620 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.113 Prop: 97976.3 PropClause: 95491.578 Set: 12430.626 Check: 2.529 Back: 2236.604
INFO - Atoms: 118144/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11014 Props: 96283259 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.118 Prop: 98107.743 PropClause: 95620.139 Set: 12451.525 Check: 2.529 Back: 2239.283
INFO - Atoms: 118639/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11015 Props: 96402158 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.124 Prop: 98237.591 PropClause: 95747.052 Set: 12472.989 Check: 2.529 Back: 2242.014
INFO - Atoms: 118899/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11016 Props: 96521085 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.129 Prop: 98371.036 PropClause: 95877.583 Set: 12494.247 Check: 2.529 Back: 2244.722
INFO - Atoms: 118927/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11017 Props: 96640249 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.134 Prop: 98500.514 PropClause: 96004.142 Set: 12515.291 Check: 2.529 Back: 2247.439
INFO - Atoms: 119164/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11018 Props: 96759672 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.138 Prop: 98631.85 PropClause: 96132.542 Set: 12536.553 Check: 2.529 Back: 2250.123
INFO - Atoms: 119423/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11019 Props: 96879380 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.143 Prop: 98759.404 PropClause: 96257.155 Set: 12557.986 Check: 2.529 Back: 2252.834
INFO - Atoms: 119708/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11020 Props: 96999323 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.148 Prop: 98889.895 PropClause: 96384.721 Set: 12579.443 Check: 2.529 Back: 2255.568
INFO - Atoms: 119943/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11021 Props: 97119802 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.153 Prop: 99019.671 PropClause: 96511.558 Set: 12600.963 Check: 2.529 Back: 2258.335
INFO - Atoms: 120479/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11022 Props: 97240779 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.158 Prop: 99151.498 PropClause: 96640.403 Set: 12622.311 Check: 2.529 Back: 2261.102
INFO - Atoms: 120977/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11023 Props: 97350633 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.299 Prop: 99289.055 PropClause: 96775.263 Set: 12642.212 Check: 2.529 Back: 2263.89
INFO - Atoms: 109854/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11024 Props: 97436397 Tprops: 0 Decides: 100048 RSplits: 0
INFO - Times: Expl: 23012.336 Prop: 99395.751 PropClause: 96879.864 Set: 12657.111 Check: 2.529 Back: 2266.415
INFO - Atoms: 85764/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 697 Props: 171796 Tprops: 3389 Decides: 160591 RSplits: 0
INFO - Times: Expl: 650.065 Prop: 248172.168 PropClause: 80.111 Set: 32956.254 Check: 1766.362 Back: 594.329
INFO - Atoms: 1354/1651 Clauses: 697 Axioms: 1651
INFO - CCTimes: iE 1721414 eq 69824911 cc 330921991 setRep 163110445
INFO - Merges: 1127559, cc:2583179
INFO - BVTimes: BB 374144134 BB_DPLL 230586184319 Graph 1156407926
INFO - BitBlastingClauses: 1239074 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat