/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: 460157814
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 151546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.629 Prop: 261.926 PropClause: 254.649 Set: 1300.754 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.713 Prop: 557.357 PropClause: 545.324 Set: 1339.507 Check: 0.0 Back: 3.763
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.761 Prop: 844.718 PropClause: 826.459 Set: 1378.034 Check: 0.0 Back: 7.377
INFO - Atoms: 151534/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 606156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.846 Prop: 1069.847 PropClause: 1047.642 Set: 1407.489 Check: 0.0 Back: 11.245
INFO - Atoms: 151530/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 757676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.919 Prop: 1290.741 PropClause: 1264.796 Set: 1436.206 Check: 0.0 Back: 14.811
INFO - Atoms: 151520/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 908687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.967 Prop: 1506.969 PropClause: 1477.278 Set: 1463.245 Check: 0.0 Back: 18.385
INFO - Atoms: 151011/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 1059691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.041 Prop: 1720.231 PropClause: 1686.777 Set: 1493.278 Check: 0.0 Back: 21.947
INFO - Atoms: 151004/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1210690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.123 Prop: 1940.128 PropClause: 1902.96 Set: 1520.43 Check: 0.0 Back: 25.548
INFO - Atoms: 150999/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1361181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.175 Prop: 2169.858 PropClause: 2128.945 Set: 1594.687 Check: 0.0 Back: 29.097
INFO - Atoms: 150491/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1511415 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.226 Prop: 2408.906 PropClause: 2364.264 Set: 1621.835 Check: 0.0 Back: 32.668
INFO - Atoms: 150234/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1661390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.274 Prop: 2629.273 PropClause: 2580.906 Set: 1691.1 Check: 0.0 Back: 36.242
INFO - Atoms: 149975/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1811108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.324 Prop: 2843.764 PropClause: 2791.701 Set: 1717.784 Check: 0.0 Back: 39.772
INFO - Atoms: 149718/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1960563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.375 Prop: 3064.502 PropClause: 3008.696 Set: 1779.203 Check: 0.0 Back: 43.299
INFO - Atoms: 149455/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 2110012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.425 Prop: 3288.839 PropClause: 3229.323 Set: 1806.234 Check: 0.0 Back: 46.909
INFO - Atoms: 149449/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 2259201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.474 Prop: 3508.948 PropClause: 3445.748 Set: 1895.94 Check: 0.0 Back: 50.594
INFO - Atoms: 149189/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 2408009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.525 Prop: 3736.582 PropClause: 3669.702 Set: 1922.764 Check: 0.0 Back: 54.264
INFO - Atoms: 148808/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 2556556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.57 Prop: 3958.05 PropClause: 3887.518 Set: 1949.491 Check: 0.0 Back: 58.002
INFO - Atoms: 148547/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 2704844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.615 Prop: 4180.332 PropClause: 4106.088 Set: 1976.275 Check: 0.0 Back: 61.498
INFO - Atoms: 148288/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2852873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.66 Prop: 4392.503 PropClause: 4314.595 Set: 2002.89 Check: 0.0 Back: 64.97
INFO - Atoms: 148029/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 3000645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.708 Prop: 4616.174 PropClause: 4534.621 Set: 2029.27 Check: 0.0 Back: 68.437
INFO - Atoms: 147772/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 3148156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.754 Prop: 4836.368 PropClause: 4751.173 Set: 2055.683 Check: 0.0 Back: 71.914
INFO - Atoms: 147511/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 3295407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.798 Prop: 5051.117 PropClause: 4962.288 Set: 2082.122 Check: 0.0 Back: 75.364
INFO - Atoms: 147251/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 3442400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.844 Prop: 5254.664 PropClause: 5162.221 Set: 2107.982 Check: 0.0 Back: 78.82
INFO - Atoms: 146993/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 3589136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.888 Prop: 5459.77 PropClause: 5363.689 Set: 2134.001 Check: 0.0 Back: 82.273
INFO - Atoms: 146736/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 3735609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.931 Prop: 5665.215 PropClause: 5565.515 Set: 2160.133 Check: 0.0 Back: 85.715
INFO - Atoms: 146473/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 3882078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.975 Prop: 5880.369 PropClause: 5777.042 Set: 2186.678 Check: 0.0 Back: 89.337
INFO - Atoms: 146469/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 4028286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.022 Prop: 6097.413 PropClause: 5990.451 Set: 2250.068 Check: 0.0 Back: 92.788
INFO - Atoms: 146208/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 4174362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.138 Prop: 6319.399 PropClause: 6208.828 Set: 2276.57 Check: 0.0 Back: 96.305
INFO - Atoms: 146076/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 4320055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.16 Prop: 6531.788 PropClause: 6417.621 Set: 2302.539 Check: 0.0 Back: 99.758
INFO - Atoms: 145693/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 4465491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.181 Prop: 6738.983 PropClause: 6621.226 Set: 2328.69 Check: 0.0 Back: 103.196
INFO - Atoms: 145436/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 4610666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.201 Prop: 6947.807 PropClause: 6826.47 Set: 2354.534 Check: 0.0 Back: 106.612
INFO - Atoms: 145175/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 4755584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.223 Prop: 7159.9 PropClause: 7034.969 Set: 2380.529 Check: 0.0 Back: 110.015
INFO - Atoms: 144918/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 4900244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.241 Prop: 7371.652 PropClause: 7243.137 Set: 2406.707 Check: 0.0 Back: 113.496
INFO - Atoms: 144660/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 5044643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.261 Prop: 7590.454 PropClause: 7458.371 Set: 2432.955 Check: 0.0 Back: 116.909
INFO - Atoms: 144399/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 5188784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.282 Prop: 7808.049 PropClause: 7672.405 Set: 2522.002 Check: 0.0 Back: 120.313
INFO - Atoms: 144141/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 5332666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.304 Prop: 8021.876 PropClause: 7882.684 Set: 2547.958 Check: 0.0 Back: 123.681
INFO - Atoms: 143882/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 5476287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.325 Prop: 8228.238 PropClause: 8085.496 Set: 2573.386 Check: 0.0 Back: 127.101
INFO - Atoms: 143621/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 5619650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.346 Prop: 8429.036 PropClause: 8282.755 Set: 2598.788 Check: 0.0 Back: 130.482
INFO - Atoms: 143363/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 5762755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.366 Prop: 8628.439 PropClause: 8478.611 Set: 2624.217 Check: 0.0 Back: 133.825
INFO - Atoms: 143105/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 5905603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.387 Prop: 8829.929 PropClause: 8676.587 Set: 2649.747 Check: 0.0 Back: 137.199
INFO - Atoms: 142848/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 6048190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.408 Prop: 9032.272 PropClause: 8875.419 Set: 2675.53 Check: 0.0 Back: 140.556
INFO - Atoms: 142587/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 6190517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.437 Prop: 9233.851 PropClause: 9073.494 Set: 2700.908 Check: 0.0 Back: 143.893
INFO - Atoms: 142327/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 6332584 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.456 Prop: 9424.295 PropClause: 9260.444 Set: 2725.926 Check: 0.0 Back: 147.283
INFO - Atoms: 142067/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 6474393 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.475 Prop: 9618.962 PropClause: 9451.609 Set: 2751.096 Check: 0.0 Back: 150.584
INFO - Atoms: 141809/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 6615942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 9811.801 PropClause: 9640.963 Set: 2776.025 Check: 0.0 Back: 153.892
INFO - Atoms: 141549/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 6757233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.512 Prop: 10016.474 PropClause: 9842.128 Set: 2801.665 Check: 0.0 Back: 157.183
INFO - Atoms: 141291/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 6898266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.535 Prop: 10222.881 PropClause: 10045.023 Set: 2867.706 Check: 0.0 Back: 160.508
INFO - Atoms: 141033/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 7039039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.557 Prop: 10425.974 PropClause: 10244.655 Set: 2892.84 Check: 0.0 Back: 163.846
INFO - Atoms: 140773/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 7179552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.576 Prop: 10631.288 PropClause: 10446.497 Set: 2918.137 Check: 0.0 Back: 167.172
INFO - Atoms: 140513/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 7319808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.599 Prop: 10829.407 PropClause: 10641.148 Set: 3002.863 Check: 0.0 Back: 170.488
INFO - Atoms: 140256/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 7459803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.621 Prop: 11032.67 PropClause: 10840.951 Set: 3027.759 Check: 0.0 Back: 173.753
INFO - Atoms: 139995/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 7599543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.641 Prop: 11238.85 PropClause: 11043.664 Set: 3053.07 Check: 0.0 Back: 177.056
INFO - Atoms: 139740/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 7739020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.663 Prop: 11444.928 PropClause: 11246.285 Set: 3078.208 Check: 0.0 Back: 180.369
INFO - Atoms: 139477/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 7878240 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.683 Prop: 11651.662 PropClause: 11449.575 Set: 3103.125 Check: 0.0 Back: 183.675
INFO - Atoms: 139220/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 8017201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.702 Prop: 11852.962 PropClause: 11647.432 Set: 3128.091 Check: 0.0 Back: 186.977
INFO - Atoms: 138961/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 8155905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.721 Prop: 12055.26 PropClause: 11846.285 Set: 3153.7 Check: 0.0 Back: 190.259
INFO - Atoms: 138704/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 8294348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.744 Prop: 12246.735 PropClause: 12034.313 Set: 3178.569 Check: 0.0 Back: 193.52
INFO - Atoms: 138443/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 8432531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.761 Prop: 12441.972 PropClause: 12226.143 Set: 3203.061 Check: 0.0 Back: 196.783
INFO - Atoms: 138183/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 8570456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.781 Prop: 12635.302 PropClause: 12416.067 Set: 3227.515 Check: 0.0 Back: 200.04
INFO - Atoms: 137925/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 8708121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.803 Prop: 12831.615 PropClause: 12608.974 Set: 3313.97 Check: 0.0 Back: 203.292
INFO - Atoms: 137665/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 8845526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.823 Prop: 13029.693 PropClause: 12803.649 Set: 3338.679 Check: 0.0 Back: 206.502
INFO - Atoms: 137405/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 8982674 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.845 Prop: 13222.285 PropClause: 12992.809 Set: 3363.534 Check: 0.0 Back: 209.718
INFO - Atoms: 137148/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 9119563 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.863 Prop: 13411.258 PropClause: 13178.375 Set: 3387.602 Check: 0.0 Back: 212.942
INFO - Atoms: 136889/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 9256195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.882 Prop: 13597.869 PropClause: 13361.623 Set: 3411.851 Check: 0.0 Back: 216.143
INFO - Atoms: 136632/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 9392566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.906 Prop: 13796.987 PropClause: 13557.365 Set: 3436.243 Check: 0.0 Back: 219.363
INFO - Atoms: 136371/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 9528677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.924 Prop: 13993.805 PropClause: 13750.824 Set: 3460.706 Check: 0.0 Back: 222.591
INFO - Atoms: 136111/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 9664530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.941 Prop: 14194.04 PropClause: 13947.682 Set: 3485.221 Check: 0.0 Back: 225.823
INFO - Atoms: 135853/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 9800123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.958 Prop: 14385.564 PropClause: 14135.85 Set: 3509.353 Check: 0.0 Back: 229.029
INFO - Atoms: 135593/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 9935458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.975 Prop: 14569.875 PropClause: 14316.838 Set: 3533.288 Check: 0.0 Back: 232.219
INFO - Atoms: 135335/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 10070536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.994 Prop: 14756.088 PropClause: 14499.714 Set: 3557.318 Check: 0.0 Back: 235.387
INFO - Atoms: 135078/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 10205353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.013 Prop: 14945.243 PropClause: 14685.55 Set: 3581.412 Check: 0.0 Back: 238.555
INFO - Atoms: 134817/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 10339913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.033 Prop: 15143.902 PropClause: 14880.874 Set: 3605.608 Check: 0.0 Back: 241.722
INFO - Atoms: 134560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 10474212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.052 Prop: 15334.701 PropClause: 15068.346 Set: 3629.573 Check: 0.0 Back: 244.906
INFO - Atoms: 134299/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 10608252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.067 Prop: 15534.75 PropClause: 15265.092 Set: 3653.655 Check: 0.0 Back: 248.081
INFO - Atoms: 134040/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 10742033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.085 Prop: 15726.246 PropClause: 15453.277 Set: 3677.587 Check: 0.0 Back: 251.264
INFO - Atoms: 133781/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 10875557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.104 Prop: 15909.8 PropClause: 15633.534 Set: 3701.345 Check: 0.0 Back: 254.451
INFO - Atoms: 133524/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 11008820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.122 Prop: 16098.394 PropClause: 15818.833 Set: 3724.973 Check: 0.0 Back: 257.623
INFO - Atoms: 133263/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 11141826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.141 Prop: 16288.487 PropClause: 16005.599 Set: 3748.858 Check: 0.0 Back: 260.763
INFO - Atoms: 133006/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 11274569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.16 Prop: 16478.496 PropClause: 16192.195 Set: 3773.654 Check: 0.0 Back: 263.918
INFO - Atoms: 132743/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 11407054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.177 Prop: 16665.98 PropClause: 16376.405 Set: 3797.291 Check: 0.0 Back: 267.058
INFO - Atoms: 132485/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 11539281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.196 Prop: 16856.374 PropClause: 16563.488 Set: 3821.121 Check: 0.0 Back: 270.187
INFO - Atoms: 132227/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 11671251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.214 Prop: 17038.691 PropClause: 16742.56 Set: 3905.671 Check: 0.0 Back: 273.448
INFO - Atoms: 131970/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 11802960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.233 Prop: 17220.982 PropClause: 16921.485 Set: 3929.999 Check: 0.0 Back: 276.522
INFO - Atoms: 131709/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 11934412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.281 Prop: 17396.33 PropClause: 17093.535 Set: 3953.493 Check: 0.0 Back: 279.736
INFO - Atoms: 131452/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 12065601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.341 Prop: 17568.467 PropClause: 17262.44 Set: 3976.386 Check: 0.0 Back: 282.888
INFO - Atoms: 131189/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 12196532 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.355 Prop: 17757.601 PropClause: 17448.322 Set: 4045.156 Check: 0.0 Back: 285.967
INFO - Atoms: 130931/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 12327205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.368 Prop: 17942.634 PropClause: 17630.079 Set: 4068.339 Check: 0.0 Back: 289.081
INFO - Atoms: 130673/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 12457618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.384 Prop: 18133.182 PropClause: 17817.38 Set: 4091.542 Check: 0.0 Back: 292.153
INFO - Atoms: 130413/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 12587773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.399 Prop: 18312.549 PropClause: 17993.524 Set: 4114.604 Check: 0.0 Back: 295.295
INFO - Atoms: 130155/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 12717671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.413 Prop: 18495.801 PropClause: 18173.491 Set: 4184.3 Check: 0.0 Back: 298.412
INFO - Atoms: 129898/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 12847308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.426 Prop: 18676.274 PropClause: 18350.769 Set: 4207.276 Check: 0.0 Back: 301.456
INFO - Atoms: 129637/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 12976688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.439 Prop: 18858.583 PropClause: 18529.878 Set: 4230.258 Check: 0.0 Back: 304.524
INFO - Atoms: 129380/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 13105807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.452 Prop: 19046.348 PropClause: 18714.428 Set: 4253.716 Check: 0.0 Back: 307.594
INFO - Atoms: 129119/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 13234669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 19237.167 PropClause: 18902.052 Set: 4336.345 Check: 0.0 Back: 310.699
INFO - Atoms: 128862/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 13363270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.48 Prop: 19424.418 PropClause: 19086.113 Set: 4359.433 Check: 0.0 Back: 313.775
INFO - Atoms: 128601/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 13491614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.492 Prop: 19609.479 PropClause: 19268.001 Set: 4382.117 Check: 0.0 Back: 316.848
INFO - Atoms: 128344/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 13619697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.504 Prop: 19788.065 PropClause: 19443.43 Set: 4404.726 Check: 0.0 Back: 319.883
INFO - Atoms: 128083/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 13747521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.515 Prop: 19963.195 PropClause: 19615.407 Set: 4427.257 Check: 0.0 Back: 322.91
INFO - Atoms: 127824/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 13875084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.526 Prop: 20144.922 PropClause: 19793.974 Set: 4450.001 Check: 0.0 Back: 325.917
INFO - Atoms: 127563/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 14002389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.54 Prop: 20322.954 PropClause: 19968.852 Set: 4472.447 Check: 0.0 Back: 328.988
INFO - Atoms: 127305/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 14129434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 20491.203 PropClause: 20133.974 Set: 4494.609 Check: 0.0 Back: 331.997
INFO - Atoms: 127045/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 14256222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.566 Prop: 20664.133 PropClause: 20303.733 Set: 4516.917 Check: 0.0 Back: 334.991
INFO - Atoms: 126788/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 14382751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.579 Prop: 20827.283 PropClause: 20463.775 Set: 4538.802 Check: 0.0 Back: 337.979
INFO - Atoms: 126529/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 14509021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.592 Prop: 20993.718 PropClause: 20627.097 Set: 4560.804 Check: 0.0 Back: 340.951
INFO - Atoms: 126270/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 14635030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.603 Prop: 21160.013 PropClause: 20790.27 Set: 4582.822 Check: 0.0 Back: 343.917
INFO - Atoms: 126009/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 14760781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 21319.631 PropClause: 20946.8 Set: 4604.655 Check: 0.0 Back: 346.857
INFO - Atoms: 125751/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 14886274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.628 Prop: 21487.238 PropClause: 21111.326 Set: 4626.653 Check: 0.0 Back: 349.795
INFO - Atoms: 125493/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 15011507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.639 Prop: 21663.026 PropClause: 21284.016 Set: 4648.692 Check: 0.0 Back: 352.736
INFO - Atoms: 125233/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 15136482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 21832.534 PropClause: 21450.447 Set: 4670.794 Check: 0.0 Back: 355.741
INFO - Atoms: 124975/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 15261198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.663 Prop: 22009.202 PropClause: 21624.032 Set: 4693.051 Check: 0.0 Back: 358.7
INFO - Atoms: 124716/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 15385655 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.676 Prop: 22183.783 PropClause: 21795.55 Set: 4714.952 Check: 0.0 Back: 361.672
INFO - Atoms: 124457/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 15509855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.689 Prop: 22350.013 PropClause: 21958.713 Set: 4736.823 Check: 0.0 Back: 364.629
INFO - Atoms: 124200/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 15633794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.701 Prop: 22516.944 PropClause: 22122.576 Set: 4758.648 Check: 0.0 Back: 367.571
INFO - Atoms: 123939/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 15757474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.714 Prop: 22682.058 PropClause: 22284.62 Set: 4780.6 Check: 0.0 Back: 370.489
INFO - Atoms: 123680/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 15880895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.727 Prop: 22853.503 PropClause: 22453.024 Set: 4802.306 Check: 0.0 Back: 373.421
INFO - Atoms: 123421/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 16004059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 23029.486 PropClause: 22625.931 Set: 4824.35 Check: 0.0 Back: 376.336
INFO - Atoms: 123164/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 16126962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.754 Prop: 23198.94 PropClause: 22792.335 Set: 4846.139 Check: 0.0 Back: 379.253
INFO - Atoms: 122903/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 16249605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.766 Prop: 23367.385 PropClause: 22957.751 Set: 4867.782 Check: 0.0 Back: 382.182
INFO - Atoms: 122643/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 16371988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.778 Prop: 23540.105 PropClause: 23127.451 Set: 4889.522 Check: 0.0 Back: 385.084
INFO - Atoms: 122383/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 16494113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.792 Prop: 23709.167 PropClause: 23293.361 Set: 4912.209 Check: 0.0 Back: 387.975
INFO - Atoms: 122125/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 16615980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.805 Prop: 23877.752 PropClause: 23458.935 Set: 4933.693 Check: 0.0 Back: 390.896
INFO - Atoms: 121867/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 16737587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 24037.566 PropClause: 23615.729 Set: 4955.319 Check: 0.0 Back: 393.761
INFO - Atoms: 121607/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 16858936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.829 Prop: 24196.912 PropClause: 23772.09 Set: 4976.399 Check: 0.0 Back: 396.642
INFO - Atoms: 121349/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 16980026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.841 Prop: 24364.695 PropClause: 23936.889 Set: 4997.77 Check: 0.0 Back: 399.509
INFO - Atoms: 121090/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 17100857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.854 Prop: 24520.602 PropClause: 24089.805 Set: 5063.481 Check: 0.0 Back: 402.386
INFO - Atoms: 120831/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 17221428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.867 Prop: 24678.155 PropClause: 24244.395 Set: 5084.501 Check: 0.0 Back: 405.253
INFO - Atoms: 120571/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 17341741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 24834.989 PropClause: 24398.242 Set: 5105.665 Check: 0.0 Back: 408.109
INFO - Atoms: 120313/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 17461797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.894 Prop: 24987.906 PropClause: 24548.21 Set: 5126.35 Check: 0.0 Back: 410.953
INFO - Atoms: 120056/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 17581592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.906 Prop: 25143.404 PropClause: 24700.76 Set: 5147.172 Check: 0.0 Back: 413.815
INFO - Atoms: 119795/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 17701127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.919 Prop: 25305.397 PropClause: 24859.809 Set: 5168.184 Check: 0.0 Back: 416.64
INFO - Atoms: 119535/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 17820404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 25469.293 PropClause: 25020.756 Set: 5189.184 Check: 0.0 Back: 419.459
INFO - Atoms: 119277/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 17939421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.951 Prop: 25634.834 PropClause: 25183.363 Set: 5210.39 Check: 0.0 Back: 422.285
INFO - Atoms: 119017/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 18058178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.963 Prop: 25788.503 PropClause: 25334.112 Set: 5230.992 Check: 0.0 Back: 425.15
INFO - Atoms: 118757/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 18176677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.976 Prop: 25955.91 PropClause: 25498.585 Set: 5252.035 Check: 0.0 Back: 427.953
INFO - Atoms: 118499/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 18294918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.988 Prop: 26113.864 PropClause: 25653.625 Set: 5272.647 Check: 0.0 Back: 430.778
INFO - Atoms: 118241/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 18412902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.001 Prop: 26269.07 PropClause: 25805.922 Set: 5293.35 Check: 0.0 Back: 433.578
INFO - Atoms: 117984/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 18530625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.012 Prop: 26426.84 PropClause: 25960.788 Set: 5313.781 Check: 0.0 Back: 436.375
INFO - Atoms: 117723/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 18648089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.027 Prop: 26586.571 PropClause: 26117.627 Set: 5334.442 Check: 0.0 Back: 439.166
INFO - Atoms: 117464/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 18765294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.04 Prop: 26751.515 PropClause: 26279.664 Set: 5355.324 Check: 0.0 Back: 441.955
INFO - Atoms: 117205/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 18882242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.054 Prop: 26913.418 PropClause: 26438.666 Set: 5376.171 Check: 0.0 Back: 444.749
INFO - Atoms: 116948/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 18998927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.069 Prop: 27066.848 PropClause: 26589.204 Set: 5396.701 Check: 0.0 Back: 447.559
INFO - Atoms: 116685/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 19115355 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.081 Prop: 27222.947 PropClause: 26742.414 Set: 5417.103 Check: 0.0 Back: 450.367
INFO - Atoms: 116428/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 19231522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.092 Prop: 27371.756 PropClause: 26888.353 Set: 5437.363 Check: 0.0 Back: 453.141
INFO - Atoms: 116167/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 19347431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.105 Prop: 27527.28 PropClause: 27041.01 Set: 5457.719 Check: 0.0 Back: 455.881
INFO - Atoms: 115909/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 19463082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.117 Prop: 27677.766 PropClause: 27188.642 Set: 5477.783 Check: 0.0 Back: 458.654
INFO - Atoms: 115651/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 19578473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.13 Prop: 27834.68 PropClause: 27342.452 Set: 5500.003 Check: 0.0 Back: 461.373
INFO - Atoms: 115391/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 19693606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.143 Prop: 27985.962 PropClause: 27490.886 Set: 5520.156 Check: 0.0 Back: 464.158
INFO - Atoms: 115133/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 19808479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.156 Prop: 28134.131 PropClause: 27636.224 Set: 5540.27 Check: 0.0 Back: 466.887
INFO - Atoms: 114873/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 19923092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.169 Prop: 28275.889 PropClause: 27775.165 Set: 5559.982 Check: 0.0 Back: 469.621
INFO - Atoms: 114613/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 20037448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 28422.914 PropClause: 27919.363 Set: 5613.724 Check: 0.0 Back: 472.332
INFO - Atoms: 114356/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 20151545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.194 Prop: 28566.229 PropClause: 28059.845 Set: 5633.532 Check: 0.0 Back: 475.029
INFO - Atoms: 114097/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 20265385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.206 Prop: 28706.456 PropClause: 28197.264 Set: 5653.181 Check: 0.0 Back: 477.727
INFO - Atoms: 113840/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 20378964 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 28849.018 PropClause: 28337.024 Set: 5672.971 Check: 0.0 Back: 480.438
INFO - Atoms: 113579/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 20492286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.231 Prop: 29000.24 PropClause: 28485.453 Set: 5692.958 Check: 0.0 Back: 483.105
INFO - Atoms: 113322/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 20605347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.242 Prop: 29159.735 PropClause: 28642.153 Set: 5712.94 Check: 0.0 Back: 485.815
INFO - Atoms: 113061/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 20718148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.255 Prop: 29310.86 PropClause: 28790.488 Set: 5732.896 Check: 0.0 Back: 488.525
INFO - Atoms: 112801/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 20830689 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.266 Prop: 29461.542 PropClause: 28938.39 Set: 5752.56 Check: 0.0 Back: 491.196
INFO - Atoms: 112541/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 20942975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.278 Prop: 29606.96 PropClause: 29081.033 Set: 5772.212 Check: 0.0 Back: 493.867
INFO - Atoms: 112286/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 21054998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.292 Prop: 29756.054 PropClause: 29227.35 Set: 5791.778 Check: 0.0 Back: 496.538
INFO - Atoms: 112023/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 21166763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.306 Prop: 29897.813 PropClause: 29366.351 Set: 5811.108 Check: 0.0 Back: 499.189
INFO - Atoms: 111765/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 21278270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.318 Prop: 30042.104 PropClause: 29507.886 Set: 5830.647 Check: 0.0 Back: 501.836
INFO - Atoms: 111507/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 21389517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.33 Prop: 30187.854 PropClause: 29650.884 Set: 5850.225 Check: 0.0 Back: 504.478
INFO - Atoms: 111247/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 21500504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.342 Prop: 30332.274 PropClause: 29792.543 Set: 5869.597 Check: 0.0 Back: 507.117
INFO - Atoms: 110987/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 21611234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.355 Prop: 30482.358 PropClause: 29939.897 Set: 5888.98 Check: 0.0 Back: 509.775
INFO - Atoms: 110730/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 21721705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 30625.589 PropClause: 30080.416 Set: 5908.18 Check: 0.0 Back: 512.422
INFO - Atoms: 110471/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 21831917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.378 Prop: 30766.495 PropClause: 30218.601 Set: 5927.734 Check: 0.0 Back: 515.046
INFO - Atoms: 110212/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 21941868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.391 Prop: 30906.318 PropClause: 30355.717 Set: 5946.654 Check: 0.0 Back: 517.676
INFO - Atoms: 109951/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 22051562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 31050.019 PropClause: 30496.679 Set: 5965.851 Check: 0.0 Back: 520.271
INFO - Atoms: 109694/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 22160997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 31185.957 PropClause: 30629.93 Set: 5984.775 Check: 0.0 Back: 522.896
INFO - Atoms: 109435/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 22270173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.432 Prop: 31327.85 PropClause: 30769.136 Set: 6003.76 Check: 0.0 Back: 525.498
INFO - Atoms: 109176/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 22379088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 31460.939 PropClause: 30899.538 Set: 6022.29 Check: 0.0 Back: 528.106
INFO - Atoms: 108915/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 22487748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.454 Prop: 31593.568 PropClause: 31029.491 Set: 6041.08 Check: 0.0 Back: 530.672
INFO - Atoms: 108660/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 22596145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.466 Prop: 31720.313 PropClause: 31153.579 Set: 6059.594 Check: 0.0 Back: 533.272
INFO - Atoms: 108397/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 22704287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.478 Prop: 31854.75 PropClause: 31285.341 Set: 6078.155 Check: 0.0 Back: 535.83
INFO - Atoms: 108142/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 22812168 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.49 Prop: 31981.288 PropClause: 31409.223 Set: 6096.613 Check: 0.0 Back: 538.412
INFO - Atoms: 107881/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 22919789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.502 Prop: 32108.98 PropClause: 31534.271 Set: 6115.107 Check: 0.0 Back: 540.96
INFO - Atoms: 107621/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 23027152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 32242.208 PropClause: 31664.827 Set: 6133.427 Check: 0.0 Back: 543.527
INFO - Atoms: 107363/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 23134256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.526 Prop: 32367.272 PropClause: 31787.241 Set: 6151.726 Check: 0.0 Back: 546.074
INFO - Atoms: 107104/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 23241099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.539 Prop: 32495.639 PropClause: 31912.981 Set: 6170.138 Check: 0.0 Back: 548.61
INFO - Atoms: 106843/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 23347687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.55 Prop: 32628.726 PropClause: 32043.446 Set: 6188.567 Check: 0.0 Back: 551.182
INFO - Atoms: 106588/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 23454014 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.561 Prop: 32757.289 PropClause: 32169.391 Set: 6206.885 Check: 0.0 Back: 553.718
INFO - Atoms: 106327/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 23560082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.574 Prop: 32890.778 PropClause: 32300.258 Set: 6225.294 Check: 0.0 Back: 556.23
INFO - Atoms: 106068/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 23665891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.586 Prop: 33027.462 PropClause: 32434.328 Set: 6243.737 Check: 0.0 Back: 558.739
INFO - Atoms: 105809/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 23771443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.602 Prop: 33179.257 PropClause: 32583.115 Set: 6265.841 Check: 0.0 Back: 561.28
INFO - Atoms: 105552/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 23876734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.614 Prop: 33312.927 PropClause: 32714.181 Set: 6284.006 Check: 0.0 Back: 563.823
INFO - Atoms: 105291/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 23981766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.627 Prop: 33453.791 PropClause: 32852.439 Set: 6302.234 Check: 0.0 Back: 566.371
INFO - Atoms: 105032/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 24086537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.642 Prop: 33584.155 PropClause: 32980.018 Set: 6321.924 Check: 0.0 Back: 568.89
INFO - Atoms: 104771/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 24191050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.655 Prop: 33714.49 PropClause: 33107.778 Set: 6339.992 Check: 0.0 Back: 571.432
INFO - Atoms: 104513/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 24295305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.667 Prop: 33845.302 PropClause: 33236.007 Set: 6358.123 Check: 0.0 Back: 573.927
INFO - Atoms: 104255/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 24399303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.681 Prop: 33977.691 PropClause: 33365.8 Set: 6376.361 Check: 0.0 Back: 576.452
INFO - Atoms: 103998/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 24503040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.695 Prop: 34111.288 PropClause: 33496.832 Set: 6394.374 Check: 0.0 Back: 578.965
INFO - Atoms: 103737/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 24606520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.707 Prop: 34243.327 PropClause: 33626.306 Set: 6412.376 Check: 0.0 Back: 581.467
INFO - Atoms: 103480/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 24709737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.719 Prop: 34379.207 PropClause: 33759.624 Set: 6430.344 Check: 0.0 Back: 583.964
INFO - Atoms: 103217/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 24812697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.732 Prop: 34519.852 PropClause: 33897.707 Set: 6448.409 Check: 0.0 Back: 586.447
INFO - Atoms: 102960/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 24915398 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.746 Prop: 34644.081 PropClause: 34019.394 Set: 6466.237 Check: 0.0 Back: 588.92
INFO - Atoms: 102701/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 25017842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.759 Prop: 34773.614 PropClause: 34146.392 Set: 6483.926 Check: 0.0 Back: 591.428
INFO - Atoms: 102444/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 25120023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.773 Prop: 34895.664 PropClause: 34265.918 Set: 6501.383 Check: 0.0 Back: 593.886
INFO - Atoms: 102181/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 25221946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 35013.642 PropClause: 34381.366 Set: 6518.94 Check: 0.0 Back: 596.328
INFO - Atoms: 101923/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 25323609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.868 Prop: 35136.281 PropClause: 34501.486 Set: 6536.379 Check: 0.0 Back: 598.766
INFO - Atoms: 101663/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 25425015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.912 Prop: 35259.295 PropClause: 34621.956 Set: 6554.259 Check: 0.0 Back: 601.209
INFO - Atoms: 101406/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 25526162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.952 Prop: 35381.586 PropClause: 34741.72 Set: 6571.889 Check: 0.0 Back: 603.656
INFO - Atoms: 101147/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 25627050 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.959 Prop: 35520.104 PropClause: 34877.487 Set: 6591.582 Check: 0.0 Back: 606.102
INFO - Atoms: 100888/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 25727677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.969 Prop: 35644.428 PropClause: 34999.319 Set: 6608.975 Check: 0.0 Back: 608.591
INFO - Atoms: 100627/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 25828047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 35758.228 PropClause: 35110.652 Set: 6626.069 Check: 0.0 Back: 611.015
INFO - Atoms: 100370/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 25928158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.021 Prop: 35878.045 PropClause: 35227.989 Set: 6643.257 Check: 0.0 Back: 613.407
INFO - Atoms: 100111/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 26028010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 35999.432 PropClause: 35346.901 Set: 6660.438 Check: 0.0 Back: 615.795
INFO - Atoms: 99852/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 26127601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.082 Prop: 36112.553 PropClause: 35457.56 Set: 6677.501 Check: 0.0 Back: 618.184
INFO - Atoms: 99591/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 26226937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.089 Prop: 36234.36 PropClause: 35576.91 Set: 6694.732 Check: 0.0 Back: 620.573
INFO - Atoms: 99336/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 26326012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.097 Prop: 36353.993 PropClause: 35694.094 Set: 6711.768 Check: 0.0 Back: 622.976
INFO - Atoms: 99075/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 26424828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 36479.427 PropClause: 35817.087 Set: 6728.949 Check: 0.0 Back: 625.368
INFO - Atoms: 98816/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 26523383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.113 Prop: 36597.55 PropClause: 35932.775 Set: 6745.9 Check: 0.0 Back: 627.776
INFO - Atoms: 98555/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 26621680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.122 Prop: 36710.903 PropClause: 36043.703 Set: 6762.736 Check: 0.0 Back: 630.127
INFO - Atoms: 98297/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 26719719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.131 Prop: 36833.386 PropClause: 36163.763 Set: 6779.648 Check: 0.0 Back: 632.496
INFO - Atoms: 98039/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 26817501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.138 Prop: 36948.315 PropClause: 36276.268 Set: 6796.713 Check: 0.0 Back: 634.896
INFO - Atoms: 97782/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 26915020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.147 Prop: 37056.017 PropClause: 36381.565 Set: 6813.283 Check: 0.0 Back: 637.319
INFO - Atoms: 97519/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 27012281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.155 Prop: 37172.929 PropClause: 36496.084 Set: 6830.019 Check: 0.0 Back: 639.657
INFO - Atoms: 97261/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 27109284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.163 Prop: 37279.83 PropClause: 36600.6 Set: 6846.506 Check: 0.0 Back: 641.992
INFO - Atoms: 97003/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 27206027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.17 Prop: 37388.004 PropClause: 36706.377 Set: 6862.931 Check: 0.0 Back: 644.309
INFO - Atoms: 96743/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 27302512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 37503.845 PropClause: 36819.834 Set: 6879.642 Check: 0.0 Back: 646.632
INFO - Atoms: 96485/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 27398738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.186 Prop: 37619.569 PropClause: 36933.176 Set: 6896.41 Check: 0.0 Back: 648.987
INFO - Atoms: 96226/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 27494703 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.194 Prop: 37736.155 PropClause: 37047.36 Set: 6912.933 Check: 0.0 Back: 651.334
INFO - Atoms: 95965/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 27590413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.201 Prop: 37847.0 PropClause: 37155.846 Set: 6929.436 Check: 0.0 Back: 653.655
INFO - Atoms: 95710/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 27685860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.211 Prop: 37960.316 PropClause: 37266.809 Set: 6945.776 Check: 0.0 Back: 655.977
INFO - Atoms: 95447/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 27781049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.22 Prop: 38067.202 PropClause: 37371.323 Set: 6962.188 Check: 0.0 Back: 658.277
INFO - Atoms: 95189/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 27875980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 38171.011 PropClause: 37472.744 Set: 6978.573 Check: 0.0 Back: 660.637
INFO - Atoms: 94931/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 27970652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.238 Prop: 38279.664 PropClause: 37579.053 Set: 6994.653 Check: 0.0 Back: 663.233
INFO - Atoms: 94672/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 28065065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.246 Prop: 38380.442 PropClause: 37677.505 Set: 7010.532 Check: 0.0 Back: 665.517
INFO - Atoms: 94413/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 28159219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.254 Prop: 38484.605 PropClause: 37779.344 Set: 7026.586 Check: 0.0 Back: 667.782
INFO - Atoms: 94154/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 28253112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.263 Prop: 38597.935 PropClause: 37890.333 Set: 7042.827 Check: 0.0 Back: 670.073
INFO - Atoms: 93893/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 28346750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.27 Prop: 38698.109 PropClause: 37988.2 Set: 7058.707 Check: 0.0 Back: 672.324
INFO - Atoms: 93638/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 28440125 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.278 Prop: 38799.132 PropClause: 38086.928 Set: 7074.516 Check: 0.0 Back: 674.571
INFO - Atoms: 93375/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 28533243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 38910.988 PropClause: 38196.483 Set: 7090.395 Check: 0.0 Back: 676.81
INFO - Atoms: 93118/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 28626102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.295 Prop: 39007.432 PropClause: 38290.633 Set: 7105.804 Check: 0.0 Back: 679.026
INFO - Atoms: 92859/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 28718702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.302 Prop: 39103.688 PropClause: 38384.612 Set: 7121.247 Check: 0.0 Back: 681.227
INFO - Atoms: 92600/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 28811041 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.31 Prop: 39206.097 PropClause: 38484.751 Set: 7136.82 Check: 0.0 Back: 683.447
INFO - Atoms: 92339/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 28903122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.317 Prop: 39304.405 PropClause: 38580.794 Set: 7152.277 Check: 0.0 Back: 685.653
INFO - Atoms: 92081/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 28994945 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.325 Prop: 39400.947 PropClause: 38675.082 Set: 7167.723 Check: 0.0 Back: 687.877
INFO - Atoms: 91823/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 29086511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.333 Prop: 39504.407 PropClause: 38776.27 Set: 7183.324 Check: 0.0 Back: 690.071
INFO - Atoms: 91566/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 29177814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.341 Prop: 39606.651 PropClause: 38876.258 Set: 7198.875 Check: 0.0 Back: 692.267
INFO - Atoms: 91303/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 29268860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 39712.674 PropClause: 38980.028 Set: 7214.457 Check: 0.0 Back: 694.498
INFO - Atoms: 91046/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 29359645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.358 Prop: 39814.581 PropClause: 39079.693 Set: 7229.876 Check: 0.0 Back: 696.72
INFO - Atoms: 90785/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 29450172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.365 Prop: 39912.765 PropClause: 39175.648 Set: 7245.22 Check: 0.0 Back: 698.913
INFO - Atoms: 90527/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 29540441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.371 Prop: 40010.083 PropClause: 39270.739 Set: 7260.436 Check: 0.0 Back: 701.107
INFO - Atoms: 90269/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 29630453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.38 Prop: 40107.993 PropClause: 39366.426 Set: 7311.909 Check: 0.0 Back: 703.287
INFO - Atoms: 90012/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 29720204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.388 Prop: 40204.871 PropClause: 39461.084 Set: 7327.108 Check: 0.0 Back: 705.455
INFO - Atoms: 89751/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 29809698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.396 Prop: 40302.308 PropClause: 39556.306 Set: 7342.19 Check: 0.0 Back: 707.625
INFO - Atoms: 89494/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 29898931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 40399.556 PropClause: 39651.34 Set: 7357.245 Check: 0.0 Back: 709.799
INFO - Atoms: 89233/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 29987907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 40489.635 PropClause: 39739.219 Set: 7372.174 Check: 0.0 Back: 711.963
INFO - Atoms: 88976/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 30076620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.42 Prop: 40586.183 PropClause: 39833.566 Set: 7387.298 Check: 0.0 Back: 714.108
INFO - Atoms: 88713/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 30165076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.428 Prop: 40690.359 PropClause: 39935.551 Set: 7402.408 Check: 0.0 Back: 716.269
INFO - Atoms: 88456/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 30253273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 40779.812 PropClause: 40022.817 Set: 7417.238 Check: 0.0 Back: 718.419
INFO - Atoms: 88197/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 30341210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.447 Prop: 40871.023 PropClause: 40111.862 Set: 7432.168 Check: 0.0 Back: 720.541
INFO - Atoms: 87937/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 30428889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.456 Prop: 40968.72 PropClause: 40207.378 Set: 7447.044 Check: 0.0 Back: 722.677
INFO - Atoms: 87679/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 30516311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.465 Prop: 41057.319 PropClause: 40293.809 Set: 7461.721 Check: 0.0 Back: 724.79
INFO - Atoms: 87422/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 30603472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.474 Prop: 41149.592 PropClause: 40383.915 Set: 7476.427 Check: 0.0 Back: 726.914
INFO - Atoms: 87161/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 30690374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 41230.844 PropClause: 40463.026 Set: 7490.663 Check: 0.0 Back: 729.004
INFO - Atoms: 86902/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 30777015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.49 Prop: 41315.5 PropClause: 40545.552 Set: 7504.934 Check: 0.0 Back: 731.1
INFO - Atoms: 86641/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 30863401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.497 Prop: 41401.609 PropClause: 40629.535 Set: 7519.209 Check: 0.0 Back: 733.172
INFO - Atoms: 86386/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 30949524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 41487.999 PropClause: 40713.808 Set: 7533.54 Check: 0.0 Back: 735.238
INFO - Atoms: 86123/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 31035390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.514 Prop: 41576.344 PropClause: 40800.04 Set: 7547.996 Check: 0.0 Back: 737.291
INFO - Atoms: 85866/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 31120997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.523 Prop: 41660.552 PropClause: 40882.125 Set: 7562.343 Check: 0.0 Back: 739.368
INFO - Atoms: 85607/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 31206347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.531 Prop: 41749.266 PropClause: 40968.704 Set: 7576.653 Check: 0.0 Back: 741.478
INFO - Atoms: 85350/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 31291434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 41828.804 PropClause: 41046.131 Set: 7590.773 Check: 0.0 Back: 743.551
INFO - Atoms: 85087/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 31376266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.546 Prop: 41908.827 PropClause: 41124.063 Set: 7604.817 Check: 0.0 Back: 745.605
INFO - Atoms: 84832/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 31460837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.554 Prop: 41993.548 PropClause: 41206.672 Set: 7618.809 Check: 0.0 Back: 747.683
INFO - Atoms: 84571/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 31545149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.562 Prop: 42071.637 PropClause: 41282.685 Set: 7632.615 Check: 0.0 Back: 749.73
INFO - Atoms: 84312/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 31629202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.57 Prop: 42149.475 PropClause: 41358.451 Set: 7646.487 Check: 0.0 Back: 751.791
INFO - Atoms: 84053/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 31712998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 42233.599 PropClause: 41440.511 Set: 7660.472 Check: 0.0 Back: 753.839
INFO - Atoms: 83796/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 31796533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 42315.004 PropClause: 41519.836 Set: 7674.392 Check: 0.0 Back: 755.867
INFO - Atoms: 83535/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 31879809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 42391.92 PropClause: 41594.688 Set: 7688.123 Check: 0.0 Back: 757.91
INFO - Atoms: 83276/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 31962824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.603 Prop: 42480.696 PropClause: 41681.407 Set: 7702.107 Check: 0.0 Back: 759.949
INFO - Atoms: 83015/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 32045582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.612 Prop: 42570.423 PropClause: 41769.082 Set: 7715.954 Check: 0.0 Back: 761.99
INFO - Atoms: 82758/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 32128081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 42657.152 PropClause: 41853.559 Set: 7731.866 Check: 0.0 Back: 764.008
INFO - Atoms: 82499/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 32210321 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.63 Prop: 42752.808 PropClause: 41946.578 Set: 7751.729 Check: 0.0 Back: 766.108
INFO - Atoms: 82240/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 32292302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.638 Prop: 42834.902 PropClause: 42026.648 Set: 7765.319 Check: 0.0 Back: 768.376
INFO - Atoms: 81981/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 32374023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.646 Prop: 42911.704 PropClause: 42101.423 Set: 7778.974 Check: 0.0 Back: 770.391
INFO - Atoms: 81721/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 32454213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.655 Prop: 42984.453 PropClause: 42172.19 Set: 7792.011 Check: 0.0 Back: 772.365
INFO - Atoms: 80190/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 32534144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 43061.582 PropClause: 42247.34 Set: 7805.243 Check: 0.0 Back: 774.29
INFO - Atoms: 79931/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 32613816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.674 Prop: 43139.554 PropClause: 42323.339 Set: 7818.266 Check: 0.0 Back: 776.241
INFO - Atoms: 79672/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 32693231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.68 Prop: 43214.633 PropClause: 42396.457 Set: 7831.315 Check: 0.0 Back: 778.18
INFO - Atoms: 79415/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 32772383 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.688 Prop: 43287.252 PropClause: 42467.122 Set: 7844.257 Check: 0.0 Back: 780.1
INFO - Atoms: 79152/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 32851278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.696 Prop: 43368.927 PropClause: 42546.838 Set: 7857.291 Check: 0.0 Back: 782.022
INFO - Atoms: 78895/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 32929912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 43440.748 PropClause: 42616.71 Set: 7870.172 Check: 0.0 Back: 783.953
INFO - Atoms: 78634/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 33008291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.714 Prop: 43514.599 PropClause: 42688.628 Set: 7883.019 Check: 0.0 Back: 785.897
INFO - Atoms: 78379/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 33086407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.722 Prop: 43594.358 PropClause: 42766.446 Set: 7896.056 Check: 0.0 Back: 787.829
INFO - Atoms: 78116/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 33164265 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.731 Prop: 43672.723 PropClause: 42842.89 Set: 7908.855 Check: 0.0 Back: 789.756
INFO - Atoms: 77858/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 33241863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.739 Prop: 43744.216 PropClause: 42912.472 Set: 7921.54 Check: 0.0 Back: 791.655
INFO - Atoms: 77598/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 33319206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.747 Prop: 43817.009 PropClause: 42983.354 Set: 7934.166 Check: 0.0 Back: 793.565
INFO - Atoms: 77343/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 33396288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.756 Prop: 43887.306 PropClause: 43051.755 Set: 7946.647 Check: 0.0 Back: 795.438
INFO - Atoms: 77082/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 33473111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.762 Prop: 43954.749 PropClause: 43117.31 Set: 7959.03 Check: 0.0 Back: 797.312
INFO - Atoms: 76823/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 33549673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.779 Prop: 44021.683 PropClause: 43182.351 Set: 7971.402 Check: 0.0 Back: 799.16
INFO - Atoms: 76562/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 33625978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.786 Prop: 44088.032 PropClause: 43246.821 Set: 7983.676 Check: 0.0 Back: 801.036
INFO - Atoms: 76305/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 33702024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.794 Prop: 44150.241 PropClause: 43307.155 Set: 7995.8 Check: 0.0 Back: 802.899
INFO - Atoms: 76046/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 33777813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.801 Prop: 44212.895 PropClause: 43367.939 Set: 8007.971 Check: 0.0 Back: 804.746
INFO - Atoms: 75789/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 33853339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.809 Prop: 44284.407 PropClause: 43437.581 Set: 8020.358 Check: 0.0 Back: 806.606
INFO - Atoms: 75526/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 33928608 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.818 Prop: 44348.557 PropClause: 43499.857 Set: 8032.557 Check: 0.0 Back: 808.449
INFO - Atoms: 75269/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 34003618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.827 Prop: 44411.598 PropClause: 43561.028 Set: 8044.779 Check: 0.0 Back: 810.3
INFO - Atoms: 75010/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 34078368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.835 Prop: 44474.764 PropClause: 43622.352 Set: 8056.813 Check: 0.0 Back: 812.148
INFO - Atoms: 74750/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 34152860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.841 Prop: 44537.402 PropClause: 43683.137 Set: 8068.728 Check: 0.0 Back: 813.97
INFO - Atoms: 74492/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 34227095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.85 Prop: 44596.163 PropClause: 43740.066 Set: 8080.508 Check: 0.0 Back: 815.806
INFO - Atoms: 74235/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 34301067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.859 Prop: 44659.808 PropClause: 43801.895 Set: 8092.425 Check: 0.0 Back: 817.615
INFO - Atoms: 73972/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 34374782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.866 Prop: 44725.004 PropClause: 43865.25 Set: 8104.234 Check: 0.0 Back: 819.404
INFO - Atoms: 73715/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 34448238 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.874 Prop: 44781.636 PropClause: 43920.076 Set: 8115.923 Check: 0.0 Back: 821.174
INFO - Atoms: 73456/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 34521435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.882 Prop: 44845.092 PropClause: 43981.718 Set: 8161.717 Check: 0.0 Back: 822.955
INFO - Atoms: 73197/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 34594371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.892 Prop: 44910.262 PropClause: 44045.093 Set: 8173.536 Check: 0.0 Back: 824.729
INFO - Atoms: 72936/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 34665777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.9 Prop: 44973.244 PropClause: 44106.31 Set: 8184.847 Check: 0.0 Back: 826.526
INFO - Atoms: 71406/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 34736924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.909 Prop: 45031.437 PropClause: 44162.749 Set: 8196.109 Check: 0.0 Back: 828.287
INFO - Atoms: 71147/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 34807814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.916 Prop: 45089.373 PropClause: 44218.925 Set: 8207.409 Check: 0.0 Back: 830.033
INFO - Atoms: 70890/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 34878443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 45152.344 PropClause: 44280.15 Set: 8218.732 Check: 0.0 Back: 831.792
INFO - Atoms: 70629/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 34948815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 45205.828 PropClause: 44331.895 Set: 8229.73 Check: 0.0 Back: 833.549
INFO - Atoms: 70372/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 35018926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 45258.066 PropClause: 44382.416 Set: 8240.681 Check: 0.0 Back: 835.293
INFO - Atoms: 70111/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 35088780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.945 Prop: 45312.741 PropClause: 44435.373 Set: 8251.7 Check: 0.0 Back: 837.023
INFO - Atoms: 69854/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 35158373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.952 Prop: 45368.522 PropClause: 44489.444 Set: 8262.652 Check: 0.0 Back: 838.761
INFO - Atoms: 69593/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 35227709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.959 Prop: 45417.916 PropClause: 44537.114 Set: 8311.636 Check: 0.0 Back: 840.471
INFO - Atoms: 69336/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 35296784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 45466.873 PropClause: 44584.369 Set: 8322.341 Check: 0.0 Back: 842.174
INFO - Atoms: 69075/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 35365602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.976 Prop: 45518.848 PropClause: 44634.637 Set: 8333.124 Check: 0.0 Back: 843.889
INFO - Atoms: 68818/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 35434159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 45574.106 PropClause: 44688.195 Set: 8343.927 Check: 0.0 Back: 845.582
INFO - Atoms: 68557/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 35502459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 45625.118 PropClause: 44737.522 Set: 8354.516 Check: 0.0 Back: 847.269
INFO - Atoms: 68300/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 35570498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 45673.621 PropClause: 44784.346 Set: 8365.101 Check: 0.0 Back: 848.955
INFO - Atoms: 68039/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 35638280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.008 Prop: 45725.31 PropClause: 44834.355 Set: 8375.738 Check: 0.0 Back: 850.628
INFO - Atoms: 67782/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 35705801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 45778.282 PropClause: 44885.662 Set: 8386.302 Check: 0.0 Back: 852.3
INFO - Atoms: 67521/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 35773065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 45831.314 PropClause: 44937.008 Set: 8397.108 Check: 0.0 Back: 853.982
INFO - Atoms: 67264/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 35840068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.032 Prop: 45878.09 PropClause: 44982.127 Set: 8407.511 Check: 0.0 Back: 855.644
INFO - Atoms: 67003/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 35906812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.04 Prop: 45927.456 PropClause: 45029.841 Set: 8417.863 Check: 0.0 Back: 857.294
INFO - Atoms: 66744/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 35973297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.048 Prop: 45977.573 PropClause: 45078.334 Set: 8428.105 Check: 0.0 Back: 858.956
INFO - Atoms: 66485/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 36039525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.056 Prop: 46023.225 PropClause: 45122.349 Set: 8438.405 Check: 0.0 Back: 860.588
INFO - Atoms: 66228/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 36105490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.066 Prop: 46066.606 PropClause: 45164.106 Set: 8448.455 Check: 0.0 Back: 862.224
INFO - Atoms: 65965/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 36171198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.073 Prop: 46110.405 PropClause: 45206.293 Set: 8458.492 Check: 0.0 Back: 863.817
INFO - Atoms: 65708/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 36236647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 46160.465 PropClause: 45254.736 Set: 8468.754 Check: 0.0 Back: 865.462
INFO - Atoms: 65449/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 36301839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.089 Prop: 46207.049 PropClause: 45299.718 Set: 8478.799 Check: 0.0 Back: 867.079
INFO - Atoms: 65192/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 36366770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 46248.993 PropClause: 45340.057 Set: 8488.769 Check: 0.0 Back: 868.704
INFO - Atoms: 64931/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 36431444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.102 Prop: 46291.512 PropClause: 45380.979 Set: 8498.651 Check: 0.0 Back: 870.323
INFO - Atoms: 64674/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 36495857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.109 Prop: 46337.594 PropClause: 45425.478 Set: 8508.598 Check: 0.0 Back: 871.919
INFO - Atoms: 64413/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 36560013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.118 Prop: 46383.598 PropClause: 45469.897 Set: 8518.466 Check: 0.0 Back: 873.521
INFO - Atoms: 64156/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 36623908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.126 Prop: 46424.422 PropClause: 45509.146 Set: 8528.182 Check: 0.0 Back: 875.142
INFO - Atoms: 63895/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 36687544 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 46466.587 PropClause: 45549.741 Set: 8537.911 Check: 0.0 Back: 876.748
INFO - Atoms: 63636/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 36750919 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 46510.885 PropClause: 45592.483 Set: 8547.68 Check: 0.0 Back: 878.326
INFO - Atoms: 63375/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 36814039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.151 Prop: 46555.792 PropClause: 45635.84 Set: 8557.452 Check: 0.0 Back: 879.904
INFO - Atoms: 63120/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 36876898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.158 Prop: 46595.063 PropClause: 45673.562 Set: 8567.001 Check: 0.0 Back: 881.462
INFO - Atoms: 62859/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 36939500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.165 Prop: 46634.556 PropClause: 45711.512 Set: 8576.501 Check: 0.0 Back: 883.038
INFO - Atoms: 62602/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 37001841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.171 Prop: 46675.579 PropClause: 45751.005 Set: 8585.98 Check: 0.0 Back: 884.582
INFO - Atoms: 62341/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 37063925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.179 Prop: 46715.981 PropClause: 45789.879 Set: 8595.362 Check: 0.0 Back: 886.124
INFO - Atoms: 62084/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 37125746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.188 Prop: 46755.253 PropClause: 45827.629 Set: 8604.732 Check: 0.0 Back: 887.681
INFO - Atoms: 61821/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 37187310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.195 Prop: 46795.733 PropClause: 45866.597 Set: 8614.07 Check: 0.0 Back: 889.248
INFO - Atoms: 61564/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 37248613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.205 Prop: 46839.023 PropClause: 45908.354 Set: 8623.602 Check: 0.0 Back: 890.808
INFO - Atoms: 61303/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 37309661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.213 Prop: 46880.595 PropClause: 45948.419 Set: 8632.929 Check: 0.0 Back: 892.357
INFO - Atoms: 61048/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 37370446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.221 Prop: 46920.73 PropClause: 45987.046 Set: 8642.249 Check: 0.0 Back: 893.881
INFO - Atoms: 60785/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 37430976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.269 Prop: 46960.438 PropClause: 46025.254 Set: 8651.511 Check: 0.0 Back: 895.391
INFO - Atoms: 60530/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 37491245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.314 Prop: 46998.784 PropClause: 46062.116 Set: 8660.616 Check: 0.0 Back: 896.918
INFO - Atoms: 60269/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 37551255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.356 Prop: 47035.48 PropClause: 46097.335 Set: 8669.659 Check: 0.0 Back: 898.451
INFO - Atoms: 60010/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 37611006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.365 Prop: 47072.072 PropClause: 46132.467 Set: 8678.65 Check: 0.0 Back: 899.961
INFO - Atoms: 59751/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 37670500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.373 Prop: 47110.938 PropClause: 46169.862 Set: 8687.654 Check: 0.0 Back: 901.456
INFO - Atoms: 59494/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 37729733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.382 Prop: 47149.234 PropClause: 46206.701 Set: 8696.598 Check: 0.0 Back: 902.959
INFO - Atoms: 59233/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 37788709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.39 Prop: 47185.958 PropClause: 46241.962 Set: 8705.427 Check: 0.0 Back: 904.45
INFO - Atoms: 58976/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 37847424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 47220.733 PropClause: 46275.293 Set: 8714.252 Check: 0.0 Back: 905.939
INFO - Atoms: 58715/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 37905882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.404 Prop: 47255.634 PropClause: 46308.753 Set: 8723.018 Check: 0.0 Back: 907.413
INFO - Atoms: 58458/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 37964077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 47292.147 PropClause: 46343.844 Set: 8731.669 Check: 0.0 Back: 908.887
INFO - Atoms: 58195/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 38022015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.419 Prop: 47327.887 PropClause: 46378.163 Set: 8740.308 Check: 0.0 Back: 910.364
INFO - Atoms: 57938/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 38079692 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 47361.55 PropClause: 46410.401 Set: 8748.954 Check: 0.0 Back: 911.826
INFO - Atoms: 57677/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 38137112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.433 Prop: 47395.155 PropClause: 46442.591 Set: 8757.509 Check: 0.0 Back: 913.266
INFO - Atoms: 57420/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 38194273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 47428.521 PropClause: 46474.548 Set: 8766.029 Check: 0.0 Back: 914.688
INFO - Atoms: 57161/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 38251177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.447 Prop: 47463.49 PropClause: 46508.126 Set: 8774.459 Check: 0.0 Back: 916.11
INFO - Atoms: 56904/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 38307820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.454 Prop: 47497.952 PropClause: 46541.177 Set: 8782.905 Check: 0.0 Back: 917.531
INFO - Atoms: 56643/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 38364204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.461 Prop: 47532.718 PropClause: 46574.554 Set: 8791.315 Check: 0.0 Back: 918.94
INFO - Atoms: 56384/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 38420329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.469 Prop: 47564.866 PropClause: 46605.314 Set: 8799.663 Check: 0.0 Back: 920.382
INFO - Atoms: 56125/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 38476197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.477 Prop: 47598.563 PropClause: 46637.639 Set: 8807.94 Check: 0.0 Back: 921.776
INFO - Atoms: 55868/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 38531549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.485 Prop: 47631.108 PropClause: 46668.823 Set: 8816.11 Check: 0.0 Back: 923.184
INFO - Atoms: 55352/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 38586527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.491 Prop: 47663.079 PropClause: 46699.442 Set: 8824.09 Check: 0.0 Back: 924.561
INFO - Atoms: 54978/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 38641244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.5 Prop: 47694.992 PropClause: 46729.991 Set: 8832.144 Check: 0.0 Back: 925.923
INFO - Atoms: 54717/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 38695704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.507 Prop: 47725.655 PropClause: 46759.309 Set: 8840.122 Check: 0.0 Back: 927.329
INFO - Atoms: 54460/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 38749903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.515 Prop: 47757.404 PropClause: 46789.726 Set: 8848.093 Check: 0.0 Back: 928.713
INFO - Atoms: 54199/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 38803845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.523 Prop: 47788.63 PropClause: 46819.626 Set: 8855.958 Check: 0.0 Back: 930.117
INFO - Atoms: 53942/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 38857526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.53 Prop: 47819.271 PropClause: 46848.952 Set: 8863.74 Check: 0.0 Back: 931.471
INFO - Atoms: 53681/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 38910950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.538 Prop: 47850.213 PropClause: 46878.581 Set: 8871.533 Check: 0.0 Back: 932.861
INFO - Atoms: 53424/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 38964113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.545 Prop: 47878.563 PropClause: 46905.627 Set: 8879.255 Check: 0.0 Back: 934.24
INFO - Atoms: 53163/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 39017019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.551 Prop: 47905.62 PropClause: 46931.38 Set: 8886.874 Check: 0.0 Back: 935.586
INFO - Atoms: 52906/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 39069664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.557 Prop: 47933.434 PropClause: 46957.899 Set: 8894.493 Check: 0.0 Back: 936.894
INFO - Atoms: 52645/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 39122052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.564 Prop: 47961.786 PropClause: 46984.955 Set: 8902.048 Check: 0.0 Back: 938.198
INFO - Atoms: 52388/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 39174179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.571 Prop: 47989.669 PropClause: 47011.564 Set: 8909.541 Check: 0.0 Back: 939.529
INFO - Atoms: 52127/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 39226049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.577 Prop: 48016.034 PropClause: 47036.649 Set: 8916.952 Check: 0.0 Back: 940.835
INFO - Atoms: 51870/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 39277658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.585 Prop: 48042.505 PropClause: 47061.845 Set: 8924.383 Check: 0.0 Back: 942.124
INFO - Atoms: 51609/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 39329010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.592 Prop: 48068.64 PropClause: 47086.713 Set: 8931.739 Check: 0.0 Back: 943.405
INFO - Atoms: 51352/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 39380101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 48097.145 PropClause: 47113.952 Set: 8939.073 Check: 0.0 Back: 944.672
INFO - Atoms: 51091/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 39430935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.607 Prop: 48123.618 PropClause: 47139.164 Set: 8946.391 Check: 0.0 Back: 945.956
INFO - Atoms: 50834/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 39481510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.614 Prop: 48150.614 PropClause: 47164.93 Set: 8953.568 Check: 0.0 Back: 947.263
INFO - Atoms: 50575/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 885 Props: 42914331 Tprops: 0 Decides: 11970 RSplits: 0
INFO - Times: Expl: 3869.391 Prop: 51802.876 PropClause: 50720.709 Set: 9043.772 Check: 0.309 Back: 1031.347
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 1385 Props: 44969496 Tprops: 0 Decides: 18814 RSplits: 0
INFO - Times: Expl: 4603.516 Prop: 53517.386 PropClause: 52379.226 Set: 9093.138 Check: 0.477 Back: 1080.196
INFO - Atoms: 49719/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 1603 Props: 45332571 Tprops: 0 Decides: 19648 RSplits: 0
INFO - Times: Expl: 4734.577 Prop: 53732.954 PropClause: 52584.761 Set: 9101.999 Check: 0.499 Back: 1088.701
INFO - Atoms: 50922/151550 Clauses: 2386 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2103 Props: 48245332 Tprops: 0 Decides: 28780 RSplits: 0
INFO - Times: Expl: 6987.702 Prop: 56812.924 PropClause: 55585.481 Set: 9178.741 Check: 0.729 Back: 1158.2
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 2603 Props: 50710688 Tprops: 0 Decides: 36840 RSplits: 0
INFO - Times: Expl: 7928.402 Prop: 59175.903 PropClause: 57877.036 Set: 9239.864 Check: 0.937 Back: 1218.403
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 2849 Props: 51194749 Tprops: 0 Decides: 38075 RSplits: 0
INFO - Times: Expl: 8172.815 Prop: 59557.917 PropClause: 58244.305 Set: 9252.277 Check: 0.972 Back: 1230.523
INFO - Atoms: 50446/151550 Clauses: 2414 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3349 Props: 54384319 Tprops: 0 Decides: 48022 RSplits: 0
INFO - Times: Expl: 10244.564 Prop: 62913.602 PropClause: 61513.304 Set: 9336.269 Check: 1.223 Back: 1307.246
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 3849 Props: 55526196 Tprops: 0 Decides: 51469 RSplits: 0
INFO - Times: Expl: 10758.823 Prop: 63745.398 PropClause: 62314.565 Set: 9363.607 Check: 1.307 Back: 1334.102
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 4442 Props: 56612361 Tprops: 0 Decides: 54511 RSplits: 0
INFO - Times: Expl: 11072.407 Prop: 64364.321 PropClause: 62904.89 Set: 9389.26 Check: 1.381 Back: 1359.466
INFO - Atoms: 50285/151550 Clauses: 2761 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4942 Props: 59580077 Tprops: 0 Decides: 63436 RSplits: 0
INFO - Times: Expl: 13407.367 Prop: 67471.239 PropClause: 65931.089 Set: 9467.727 Check: 1.603 Back: 1430.215
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 5442 Props: 61800960 Tprops: 0 Decides: 71746 RSplits: 0
INFO - Times: Expl: 14384.389 Prop: 69662.207 PropClause: 68061.088 Set: 9521.93 Check: 1.809 Back: 1483.411
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 5895 Props: 62669052 Tprops: 0 Decides: 74052 RSplits: 0
INFO - Times: Expl: 14654.302 Prop: 70174.965 PropClause: 68550.991 Set: 9542.847 Check: 1.868 Back: 1503.787
INFO - Atoms: 50819/151550 Clauses: 2621 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6395 Props: 65613665 Tprops: 0 Decides: 83051 RSplits: 0
INFO - Times: Expl: 17255.332 Prop: 73321.522 PropClause: 71613.657 Set: 9621.097 Check: 2.099 Back: 1574.644
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 6895 Props: 67812524 Tprops: 0 Decides: 90147 RSplits: 0
INFO - Times: Expl: 18236.609 Prop: 75456.076 PropClause: 73688.533 Set: 9674.58 Check: 2.276 Back: 1627.022
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 7182 Props: 68289253 Tprops: 0 Decides: 91472 RSplits: 0
INFO - Times: Expl: 18360.089 Prop: 75715.227 PropClause: 73935.201 Set: 9685.894 Check: 2.309 Back: 1638.138
INFO - Atoms: 50177/151550 Clauses: 2455 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7682 Props: 71292651 Tprops: 0 Decides: 100658 RSplits: 0
INFO - Times: Expl: 20609.493 Prop: 78826.322 PropClause: 76964.708 Set: 9764.944 Check: 2.543 Back: 1709.562
INFO - Atoms: 49711/151550 Clauses: 1668 Axioms: 503234
INFO - Restart
INFO - Confl: 8182 Props: 73639680 Tprops: 0 Decides: 109176 RSplits: 0
INFO - Times: Expl: 21584.005 Prop: 81064.909 PropClause: 79139.722 Set: 9821.875 Check: 2.755 Back: 1765.311
INFO - Atoms: 49712/151550 Clauses: 2168 Axioms: 503234
INFO - Confl: 8534 Props: 74377025 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.014 Prop: 81478.818 PropClause: 79534.235 Set: 9839.294 Check: 2.808 Back: 1782.561
INFO - Atoms: 49738/151550 Clauses: 2520 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8535 Props: 74441146 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.019 Prop: 81576.504 PropClause: 79629.808 Set: 9874.998 Check: 2.808 Back: 1783.75
INFO - Atoms: 64121/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8536 Props: 74505525 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.025 Prop: 81624.515 PropClause: 79676.215 Set: 9886.695 Check: 2.808 Back: 1785.287
INFO - Atoms: 64379/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8537 Props: 74570184 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.032 Prop: 81674.198 PropClause: 79724.295 Set: 9898.497 Check: 2.808 Back: 1786.836
INFO - Atoms: 64659/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8538 Props: 74635086 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.038 Prop: 81719.963 PropClause: 79768.445 Set: 9910.393 Check: 2.808 Back: 1788.379
INFO - Atoms: 64902/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8539 Props: 74700492 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.044 Prop: 81769.489 PropClause: 79816.341 Set: 9922.479 Check: 2.808 Back: 1789.919
INFO - Atoms: 65406/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8540 Props: 74785815 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.05 Prop: 81844.673 PropClause: 79889.389 Set: 9939.737 Check: 2.808 Back: 1791.473
INFO - Atoms: 85323/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8541 Props: 74871153 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.055 Prop: 81933.898 PropClause: 79976.439 Set: 9957.099 Check: 2.808 Back: 1793.501
INFO - Atoms: 85338/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8542 Props: 74957252 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.061 Prop: 82031.708 PropClause: 80072.053 Set: 9974.787 Check: 2.808 Back: 1795.549
INFO - Atoms: 86099/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8543 Props: 75047727 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.066 Prop: 82131.768 PropClause: 80169.849 Set: 9993.061 Check: 2.808 Back: 1797.598
INFO - Atoms: 90475/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8544 Props: 75138247 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.073 Prop: 82237.809 PropClause: 80273.604 Set: 10088.518 Check: 2.808 Back: 1799.747
INFO - Atoms: 90520/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8545 Props: 75221241 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.079 Prop: 82327.007 PropClause: 80360.721 Set: 10104.802 Check: 2.808 Back: 1801.898
INFO - Atoms: 82994/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8546 Props: 75317716 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.23 Prop: 82427.712 PropClause: 80458.986 Set: 10125.103 Check: 2.808 Back: 1803.88
INFO - Atoms: 96475/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8547 Props: 75406165 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.272 Prop: 82535.847 PropClause: 80564.869 Set: 10143.408 Check: 2.808 Back: 1806.205
INFO - Atoms: 88449/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8548 Props: 75495124 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.283 Prop: 82640.805 PropClause: 80667.588 Set: 10161.596 Check: 2.808 Back: 1808.301
INFO - Atoms: 88959/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8549 Props: 75584839 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.294 Prop: 82747.588 PropClause: 80772.079 Set: 10180.424 Check: 2.808 Back: 1810.403
INFO - Atoms: 89715/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8550 Props: 75674823 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.307 Prop: 82853.609 PropClause: 80875.824 Set: 10271.675 Check: 2.808 Back: 1812.532
INFO - Atoms: 89984/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8551 Props: 75765057 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.321 Prop: 82961.542 PropClause: 80981.472 Set: 10290.144 Check: 2.808 Back: 1814.659
INFO - Atoms: 90234/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8552 Props: 75855550 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.33 Prop: 83068.34 PropClause: 81086.001 Set: 10308.622 Check: 2.808 Back: 1816.797
INFO - Atoms: 90493/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8553 Props: 75946302 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.342 Prop: 83176.97 PropClause: 81192.359 Set: 10326.995 Check: 2.808 Back: 1818.94
INFO - Atoms: 90752/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8554 Props: 76037314 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.353 Prop: 83281.106 PropClause: 81294.233 Set: 10345.466 Check: 2.808 Back: 1821.098
INFO - Atoms: 91012/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8555 Props: 76128583 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.365 Prop: 83384.904 PropClause: 81395.746 Set: 10363.876 Check: 2.808 Back: 1823.249
INFO - Atoms: 91269/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8556 Props: 76220113 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.376 Prop: 83494.6 PropClause: 81503.129 Set: 10382.5 Check: 2.808 Back: 1825.413
INFO - Atoms: 91530/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8557 Props: 76311901 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.387 Prop: 83602.972 PropClause: 81609.169 Set: 10401.142 Check: 2.808 Back: 1827.569
INFO - Atoms: 91788/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8558 Props: 76403947 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.399 Prop: 83714.069 PropClause: 81717.973 Set: 10419.887 Check: 2.808 Back: 1829.748
INFO - Atoms: 92046/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8559 Props: 76496256 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.41 Prop: 83824.856 PropClause: 81826.444 Set: 10438.583 Check: 2.808 Back: 1831.943
INFO - Atoms: 92309/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8560 Props: 76588828 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.422 Prop: 83933.489 PropClause: 81932.721 Set: 10457.789 Check: 2.808 Back: 1834.144
INFO - Atoms: 92572/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8561 Props: 76681657 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.433 Prop: 84045.466 PropClause: 82042.379 Set: 10476.7 Check: 2.808 Back: 1836.351
INFO - Atoms: 92829/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8562 Props: 76774740 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.443 Prop: 84150.389 PropClause: 82144.982 Set: 10495.306 Check: 2.808 Back: 1838.535
INFO - Atoms: 93083/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8563 Props: 76868082 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.455 Prop: 84257.612 PropClause: 82249.868 Set: 10514.243 Check: 2.808 Back: 1840.736
INFO - Atoms: 93342/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8564 Props: 76961682 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.466 Prop: 84363.285 PropClause: 82353.185 Set: 10533.262 Check: 2.808 Back: 1842.934
INFO - Atoms: 93600/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8565 Props: 77055551 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.477 Prop: 84466.883 PropClause: 82454.445 Set: 10552.129 Check: 2.808 Back: 1845.145
INFO - Atoms: 93869/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8566 Props: 77149670 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.488 Prop: 84578.763 PropClause: 82563.89 Set: 10571.738 Check: 2.808 Back: 1847.371
INFO - Atoms: 94119/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8567 Props: 77244059 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.501 Prop: 84684.901 PropClause: 82667.672 Set: 10590.768 Check: 2.808 Back: 1849.623
INFO - Atoms: 94389/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8568 Props: 77338695 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.512 Prop: 84788.039 PropClause: 82768.441 Set: 10609.538 Check: 2.808 Back: 1851.859
INFO - Atoms: 94636/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8569 Props: 77433608 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.523 Prop: 84894.829 PropClause: 82872.866 Set: 10628.54 Check: 2.808 Back: 1854.096
INFO - Atoms: 94913/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8570 Props: 77528770 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.535 Prop: 85005.7 PropClause: 82981.361 Set: 10647.845 Check: 2.808 Back: 1856.33
INFO - Atoms: 95162/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8571 Props: 77624183 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.547 Prop: 85118.711 PropClause: 83091.98 Set: 10667.161 Check: 2.808 Back: 1858.573
INFO - Atoms: 95413/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8572 Props: 77719855 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.558 Prop: 85230.869 PropClause: 83201.752 Set: 10686.586 Check: 2.808 Back: 1860.827
INFO - Atoms: 95672/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8573 Props: 77815786 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.568 Prop: 85347.619 PropClause: 83316.091 Set: 10706.051 Check: 2.808 Back: 1863.101
INFO - Atoms: 95931/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8574 Props: 77923924 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.578 Prop: 85479.337 PropClause: 83445.09 Set: 10728.814 Check: 2.808 Back: 1865.373
INFO - Atoms: 108138/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8575 Props: 78032310 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.59 Prop: 85617.11 PropClause: 83580.167 Set: 10751.031 Check: 2.808 Back: 1867.939
INFO - Atoms: 108386/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8576 Props: 78140954 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.601 Prop: 85760.934 PropClause: 83721.283 Set: 10773.461 Check: 2.808 Back: 1870.496
INFO - Atoms: 108644/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8577 Props: 78249858 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.612 Prop: 85902.335 PropClause: 83859.97 Set: 10795.704 Check: 2.808 Back: 1873.065
INFO - Atoms: 108904/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8578 Props: 78359034 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.694 Prop: 86046.532 PropClause: 84001.395 Set: 10818.137 Check: 2.808 Back: 1875.628
INFO - Atoms: 109176/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8579 Props: 78468456 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.73 Prop: 86188.206 PropClause: 84140.337 Set: 10840.713 Check: 2.808 Back: 1878.209
INFO - Atoms: 109422/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8580 Props: 78578136 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.736 Prop: 86331.723 PropClause: 84281.115 Set: 10863.313 Check: 2.808 Back: 1880.804
INFO - Atoms: 109680/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8581 Props: 78688327 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.741 Prop: 86473.649 PropClause: 84420.287 Set: 10885.677 Check: 2.808 Back: 1883.388
INFO - Atoms: 110191/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8582 Props: 78798525 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.747 Prop: 86612.601 PropClause: 84556.481 Set: 10982.498 Check: 2.808 Back: 1886.0
INFO - Atoms: 110198/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8583 Props: 78901793 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.752 Prop: 86753.753 PropClause: 84695.052 Set: 11003.322 Check: 2.808 Back: 1888.58
INFO - Atoms: 103268/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8584 Props: 79022149 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.757 Prop: 86906.041 PropClause: 84844.281 Set: 11029.038 Check: 2.808 Back: 1891.002
INFO - Atoms: 120356/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8585 Props: 79143253 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.762 Prop: 87063.405 PropClause: 84998.619 Set: 11053.677 Check: 2.808 Back: 1893.843
INFO - Atoms: 121104/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8586 Props: 79264868 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.767 Prop: 87227.051 PropClause: 85159.231 Set: 11078.62 Check: 2.808 Back: 1896.684
INFO - Atoms: 121615/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8587 Props: 79386490 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.772 Prop: 87382.653 PropClause: 85311.794 Set: 11103.547 Check: 2.808 Back: 1899.529
INFO - Atoms: 121622/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8588 Props: 79508384 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.779 Prop: 87539.37 PropClause: 85465.475 Set: 11192.193 Check: 2.808 Back: 1902.387
INFO - Atoms: 121894/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8589 Props: 79630776 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.784 Prop: 87697.651 PropClause: 85620.695 Set: 11217.26 Check: 2.808 Back: 1905.226
INFO - Atoms: 122392/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8590 Props: 79753176 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.79 Prop: 87855.099 PropClause: 85775.08 Set: 11242.566 Check: 2.808 Back: 1908.104
INFO - Atoms: 122400/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8591 Props: 79875834 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.795 Prop: 88008.828 PropClause: 85925.749 Set: 11267.252 Check: 2.808 Back: 1911.001
INFO - Atoms: 122658/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8592 Props: 79999003 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.8 Prop: 88169.57 PropClause: 86083.388 Set: 11292.954 Check: 2.808 Back: 1913.862
INFO - Atoms: 123169/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8593 Props: 80122179 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.805 Prop: 88332.219 PropClause: 86242.996 Set: 11318.107 Check: 2.808 Back: 1916.787
INFO - Atoms: 123176/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8594 Props: 80245865 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.809 Prop: 88484.673 PropClause: 86392.351 Set: 11343.124 Check: 2.808 Back: 1919.672
INFO - Atoms: 123686/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8595 Props: 80369558 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.815 Prop: 88651.103 PropClause: 86555.694 Set: 11432.877 Check: 2.808 Back: 1922.567
INFO - Atoms: 123693/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8596 Props: 80493510 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.82 Prop: 88817.03 PropClause: 86718.528 Set: 11458.117 Check: 2.808 Back: 1925.449
INFO - Atoms: 123952/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8597 Props: 80617973 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.826 Prop: 88987.231 PropClause: 86885.6 Set: 11483.761 Check: 2.808 Back: 1928.375
INFO - Atoms: 124463/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8598 Props: 80742443 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.831 Prop: 89152.373 PropClause: 87047.603 Set: 11509.236 Check: 2.808 Back: 1931.269
INFO - Atoms: 124470/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8599 Props: 80867173 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.836 Prop: 89323.586 PropClause: 87215.708 Set: 11535.341 Check: 2.808 Back: 1934.188
INFO - Atoms: 124730/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8600 Props: 80992169 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.84 Prop: 89489.414 PropClause: 87378.393 Set: 11560.997 Check: 2.808 Back: 1937.143
INFO - Atoms: 124996/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8601 Props: 81117418 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.844 Prop: 89658.792 PropClause: 87544.631 Set: 11586.891 Check: 2.808 Back: 1940.063
INFO - Atoms: 125249/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8602 Props: 81242924 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.849 Prop: 89830.043 PropClause: 87712.737 Set: 11679.352 Check: 2.808 Back: 1943.039
INFO - Atoms: 125506/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8603 Props: 81368689 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.854 Prop: 90001.718 PropClause: 87881.264 Set: 11705.073 Check: 2.808 Back: 1945.985
INFO - Atoms: 125765/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8604 Props: 81494966 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.861 Prop: 90170.911 PropClause: 88047.293 Set: 11731.281 Check: 2.808 Back: 1948.943
INFO - Atoms: 126277/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8605 Props: 81619087 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.866 Prop: 90347.279 PropClause: 88220.572 Set: 11757.328 Check: 2.808 Back: 1951.889
INFO - Atoms: 124121/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8606 Props: 81743468 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.872 Prop: 90514.853 PropClause: 88385.036 Set: 11782.909 Check: 2.808 Back: 1954.806
INFO - Atoms: 124381/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8607 Props: 81868118 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.876 Prop: 90684.781 PropClause: 88551.856 Set: 11808.233 Check: 2.808 Back: 1957.71
INFO - Atoms: 124650/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8608 Props: 81993017 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.881 Prop: 90854.495 PropClause: 88718.438 Set: 11833.935 Check: 2.808 Back: 1960.624
INFO - Atoms: 124899/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8609 Props: 82118175 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.887 Prop: 91018.893 PropClause: 88879.72 Set: 11859.19 Check: 2.808 Back: 1963.539
INFO - Atoms: 125158/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8610 Props: 82243593 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.891 Prop: 91184.632 PropClause: 89042.338 Set: 11884.735 Check: 2.808 Back: 1966.453
INFO - Atoms: 125418/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8611 Props: 82369633 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.896 Prop: 91358.606 PropClause: 89213.136 Set: 11910.529 Check: 2.808 Back: 1969.379
INFO - Atoms: 126040/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8612 Props: 82479859 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.901 Prop: 91511.324 PropClause: 89363.1 Set: 11932.819 Check: 2.808 Back: 1972.318
INFO - Atoms: 110226/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8613 Props: 82590364 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.906 Prop: 91648.464 PropClause: 89497.484 Set: 11955.379 Check: 2.808 Back: 1974.922
INFO - Atoms: 110505/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8614 Props: 82701108 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.911 Prop: 91788.523 PropClause: 89634.772 Set: 11978.073 Check: 2.808 Back: 1977.501
INFO - Atoms: 110744/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8615 Props: 82812127 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.916 Prop: 91927.622 PropClause: 89771.086 Set: 12000.764 Check: 2.808 Back: 1980.081
INFO - Atoms: 111019/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8616 Props: 82923389 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.922 Prop: 92070.558 PropClause: 89911.238 Set: 12023.658 Check: 2.808 Back: 1982.693
INFO - Atoms: 111262/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8617 Props: 83034922 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.927 Prop: 92212.391 PropClause: 90050.276 Set: 12046.564 Check: 2.808 Back: 1985.327
INFO - Atoms: 111533/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8618 Props: 83146950 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.934 Prop: 92365.468 PropClause: 90200.538 Set: 12070.066 Check: 2.808 Back: 1987.938
INFO - Atoms: 112028/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8619 Props: 83258989 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.94 Prop: 92511.814 PropClause: 90344.09 Set: 12093.357 Check: 2.808 Back: 1990.588
INFO - Atoms: 112039/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8620 Props: 83371287 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.945 Prop: 92664.194 PropClause: 90493.652 Set: 12116.601 Check: 2.808 Back: 1993.231
INFO - Atoms: 112298/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8621 Props: 83483848 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.949 Prop: 92808.705 PropClause: 90635.36 Set: 12139.676 Check: 2.808 Back: 1995.886
INFO - Atoms: 112561/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8622 Props: 83596664 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.954 Prop: 92955.413 PropClause: 90779.242 Set: 12162.936 Check: 2.808 Back: 1998.496
INFO - Atoms: 112816/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8623 Props: 83709987 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.959 Prop: 93101.987 PropClause: 90922.964 Set: 12186.034 Check: 2.808 Back: 2001.152
INFO - Atoms: 113323/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8624 Props: 83823569 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.964 Prop: 93250.607 PropClause: 91068.751 Set: 12209.435 Check: 2.808 Back: 2003.815
INFO - Atoms: 113582/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8625 Props: 83937162 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.97 Prop: 93402.628 PropClause: 91217.941 Set: 12233.154 Check: 2.808 Back: 2006.485
INFO - Atoms: 113593/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8626 Props: 84051218 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.976 Prop: 93552.91 PropClause: 91365.348 Set: 12257.013 Check: 2.808 Back: 2009.177
INFO - Atoms: 114056/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8627 Props: 84165577 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.982 Prop: 93703.431 PropClause: 91513.021 Set: 12280.603 Check: 2.808 Back: 2011.902
INFO - Atoms: 114359/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8628 Props: 84279947 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.986 Prop: 93856.49 PropClause: 91663.217 Set: 12304.451 Check: 2.808 Back: 2014.578
INFO - Atoms: 114370/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8629 Props: 84394626 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.993 Prop: 94008.389 PropClause: 91812.241 Set: 12328.39 Check: 2.808 Back: 2017.285
INFO - Atoms: 114679/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8630 Props: 84509762 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21779.998 Prop: 94162.339 PropClause: 91963.266 Set: 12352.815 Check: 2.808 Back: 2019.978
INFO - Atoms: 115136/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8631 Props: 84625210 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.003 Prop: 94317.91 PropClause: 92115.9 Set: 12377.391 Check: 2.808 Back: 2022.719
INFO - Atoms: 115448/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8632 Props: 84741123 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.009 Prop: 94464.471 PropClause: 92259.569 Set: 12401.345 Check: 2.808 Back: 2025.47
INFO - Atoms: 115913/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8633 Props: 84857047 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.014 Prop: 94616.071 PropClause: 92408.269 Set: 12425.125 Check: 2.808 Back: 2028.166
INFO - Atoms: 115924/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 35793 Tprops: 1948 Decides: 100793 RSplits: 0
INFO - Times: Expl: 586.061 Prop: 220766.143 PropClause: 22.326 Set: 23289.636 Check: 613.822 Back: 257.442
INFO - Atoms: 32/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1154393 eq 61056211 cc 305072144 setRep 185685940
INFO - Merges: 1061266, cc:2930371
INFO - BVTimes: BB 460132385 BB_DPLL 206313973729 Graph 2310067
INFO - BitBlastingClauses: 1075554 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 8634 Props: 84973230 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.019 Prop: 94758.785 PropClause: 92547.795 Set: 12449.022 Check: 2.808 Back: 2030.916
INFO - Atoms: 116183/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8635 Props: 85089672 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.024 Prop: 94906.995 PropClause: 92692.86 Set: 12472.744 Check: 2.808 Back: 2033.643
INFO - Atoms: 116442/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8636 Props: 85206373 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.028 Prop: 95048.009 PropClause: 92830.7 Set: 12496.271 Check: 2.808 Back: 2036.35
INFO - Atoms: 116701/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8637 Props: 85323559 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.033 Prop: 95193.033 PropClause: 92972.568 Set: 12519.918 Check: 2.808 Back: 2039.083
INFO - Atoms: 117186/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8638 Props: 85440778 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.039 Prop: 95350.075 PropClause: 93126.203 Set: 12546.855 Check: 2.808 Back: 2041.806
INFO - Atoms: 117219/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8639 Props: 85558256 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.044 Prop: 95500.827 PropClause: 93274.001 Set: 12571.042 Check: 2.808 Back: 2044.546
INFO - Atoms: 117478/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8640 Props: 85676035 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.049 Prop: 95652.419 PropClause: 93422.643 Set: 12595.288 Check: 2.808 Back: 2047.291
INFO - Atoms: 117779/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8641 Props: 85794031 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.054 Prop: 95803.674 PropClause: 93570.947 Set: 12619.784 Check: 2.808 Back: 2050.044
INFO - Atoms: 117996/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8642 Props: 85912324 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.059 Prop: 95961.077 PropClause: 93725.4 Set: 12644.313 Check: 2.808 Back: 2052.827
INFO - Atoms: 118293/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8643 Props: 86031086 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.064 Prop: 96119.19 PropClause: 93880.538 Set: 12668.969 Check: 2.808 Back: 2055.631
INFO - Atoms: 118762/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8644 Props: 86150107 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.069 Prop: 96275.797 PropClause: 94034.186 Set: 12693.612 Check: 2.808 Back: 2058.421
INFO - Atoms: 119021/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8645 Props: 86269139 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.074 Prop: 96435.554 PropClause: 94190.976 Set: 12718.518 Check: 2.808 Back: 2061.216
INFO - Atoms: 119032/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8646 Props: 86388430 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.079 Prop: 96592.127 PropClause: 94344.602 Set: 12743.17 Check: 2.808 Back: 2064.02
INFO - Atoms: 119291/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8647 Props: 86507980 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.084 Prop: 96755.219 PropClause: 94504.714 Set: 12767.79 Check: 2.808 Back: 2066.813
INFO - Atoms: 119550/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8648 Props: 86627803 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.089 Prop: 96909.567 PropClause: 94656.069 Set: 12792.803 Check: 2.808 Back: 2069.611
INFO - Atoms: 119823/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8649 Props: 86748130 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.095 Prop: 97074.882 PropClause: 94818.343 Set: 12818.043 Check: 2.808 Back: 2072.4
INFO - Atoms: 120327/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8650 Props: 86868760 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.099 Prop: 97234.723 PropClause: 94975.179 Set: 12843.051 Check: 2.808 Back: 2075.222
INFO - Atoms: 120630/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8651 Props: 86989604 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.104 Prop: 97393.221 PropClause: 95130.672 Set: 12867.879 Check: 2.808 Back: 2078.089
INFO - Atoms: 120844/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8652 Props: 87110707 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.109 Prop: 97558.024 PropClause: 95292.405 Set: 12893.699 Check: 2.808 Back: 2080.882
INFO - Atoms: 121103/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8653 Props: 87237266 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.114 Prop: 97728.174 PropClause: 95459.275 Set: 12921.21 Check: 2.808 Back: 2083.786
INFO - Atoms: 126559/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8654 Props: 87364835 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.119 Prop: 97894.825 PropClause: 95622.758 Set: 12947.127 Check: 2.808 Back: 2086.736
INFO - Atoms: 127569/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8655 Props: 87491395 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.123 Prop: 98056.935 PropClause: 95781.707 Set: 12972.624 Check: 2.808 Back: 2089.685
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8656 Props: 87619216 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.128 Prop: 98221.066 PropClause: 95942.65 Set: 12998.841 Check: 2.808 Back: 2092.623
INFO - Atoms: 127821/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8657 Props: 87746029 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.134 Prop: 98391.728 PropClause: 96110.172 Set: 13024.816 Check: 2.808 Back: 2095.59
INFO - Atoms: 126813/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8658 Props: 87873598 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.138 Prop: 98551.98 PropClause: 96267.255 Set: 13050.812 Check: 2.808 Back: 2098.555
INFO - Atoms: 127569/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8659 Props: 88000158 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.144 Prop: 98715.341 PropClause: 96427.472 Set: 13076.4 Check: 2.808 Back: 2101.526
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8660 Props: 88127727 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.148 Prop: 98885.421 PropClause: 96594.384 Set: 13102.833 Check: 2.808 Back: 2104.478
INFO - Atoms: 127569/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8661 Props: 88254290 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.153 Prop: 99052.738 PropClause: 96758.562 Set: 13128.964 Check: 2.808 Back: 2107.43
INFO - Atoms: 126563/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8662 Props: 88381859 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.158 Prop: 99218.965 PropClause: 96921.638 Set: 13155.377 Check: 2.808 Back: 2110.362
INFO - Atoms: 127569/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8663 Props: 88508419 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.163 Prop: 99384.688 PropClause: 97084.217 Set: 13181.101 Check: 2.808 Back: 2113.313
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8664 Props: 88635988 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.169 Prop: 99556.651 PropClause: 97253.007 Set: 13207.573 Check: 2.808 Back: 2116.254
INFO - Atoms: 127569/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8665 Props: 88762553 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.173 Prop: 99726.319 PropClause: 97419.539 Set: 13233.499 Check: 2.808 Back: 2119.224
INFO - Atoms: 126565/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8666 Props: 88890139 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.18 Prop: 99901.708 PropClause: 97591.743 Set: 13260.279 Check: 2.808 Back: 2122.174
INFO - Atoms: 127586/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8667 Props: 89016699 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.185 Prop: 100070.115 PropClause: 97756.975 Set: 13287.045 Check: 2.808 Back: 2125.204
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8668 Props: 89144268 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.19 Prop: 100241.633 PropClause: 97925.298 Set: 13313.546 Check: 2.808 Back: 2128.192
INFO - Atoms: 127569/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8669 Props: 89270828 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.195 Prop: 100409.899 PropClause: 98090.38 Set: 13380.082 Check: 2.808 Back: 2131.168
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8670 Props: 89398397 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.201 Prop: 100579.492 PropClause: 98256.821 Set: 13406.453 Check: 2.808 Back: 2134.123
INFO - Atoms: 127569/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8671 Props: 89524957 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.206 Prop: 100751.724 PropClause: 98425.923 Set: 13432.545 Check: 2.808 Back: 2137.072
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8672 Props: 89652778 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.211 Prop: 100919.966 PropClause: 98590.994 Set: 13458.904 Check: 2.808 Back: 2140.021
INFO - Atoms: 127821/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8673 Props: 89779338 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.216 Prop: 101093.341 PropClause: 98761.251 Set: 13485.032 Check: 2.808 Back: 2143.001
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8674 Props: 89906150 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.222 Prop: 101254.45 PropClause: 98919.199 Set: 13510.724 Check: 2.808 Back: 2145.92
INFO - Atoms: 126812/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8675 Props: 90033477 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.228 Prop: 101416.2 PropClause: 99077.794 Set: 13579.054 Check: 2.808 Back: 2148.848
INFO - Atoms: 127327/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8676 Props: 90160037 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.232 Prop: 101576.732 PropClause: 99235.192 Set: 13604.708 Check: 2.808 Back: 2151.786
INFO - Atoms: 126560/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8677 Props: 90286858 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.255 Prop: 101735.806 PropClause: 99391.123 Set: 13630.55 Check: 2.808 Back: 2154.708
INFO - Atoms: 126821/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8678 Props: 90410548 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.26 Prop: 101890.999 PropClause: 99543.245 Set: 13655.648 Check: 2.808 Back: 2157.618
INFO - Atoms: 123690/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8679 Props: 90511199 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.265 Prop: 102024.04 PropClause: 99673.792 Set: 13675.389 Check: 2.808 Back: 2160.491
INFO - Atoms: 100651/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8680 Props: 90613302 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.271 Prop: 102140.07 PropClause: 99787.278 Set: 13695.76 Check: 2.808 Back: 2162.817
INFO - Atoms: 102103/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8681 Props: 90715663 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.276 Prop: 102259.645 PropClause: 99904.299 Set: 13715.979 Check: 2.808 Back: 2165.213
INFO - Atoms: 102361/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8682 Props: 90818534 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.281 Prop: 102383.285 PropClause: 100025.352 Set: 13737.159 Check: 2.808 Back: 2167.622
INFO - Atoms: 102871/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8683 Props: 90921414 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.286 Prop: 102505.291 PropClause: 100144.809 Set: 13757.732 Check: 2.808 Back: 2170.082
INFO - Atoms: 102880/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8684 Props: 91024563 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.292 Prop: 102624.071 PropClause: 100261.032 Set: 13778.121 Check: 2.808 Back: 2172.475
INFO - Atoms: 103149/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8685 Props: 91127961 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.299 Prop: 102748.258 PropClause: 100382.645 Set: 13798.897 Check: 2.808 Back: 2174.876
INFO - Atoms: 103398/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8686 Props: 91231632 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.305 Prop: 102874.615 PropClause: 100506.338 Set: 13820.404 Check: 2.808 Back: 2177.314
INFO - Atoms: 103671/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8687 Props: 91335548 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.309 Prop: 103011.443 PropClause: 100640.188 Set: 13844.25 Check: 2.808 Back: 2179.712
INFO - Atoms: 103916/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8688 Props: 91439741 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.315 Prop: 103139.772 PropClause: 100765.896 Set: 13865.374 Check: 2.808 Back: 2182.156
INFO - Atoms: 104193/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8689 Props: 91544174 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.32 Prop: 103265.963 PropClause: 100889.499 Set: 13886.199 Check: 2.808 Back: 2184.603
INFO - Atoms: 104433/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8690 Props: 91648889 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.325 Prop: 103398.973 PropClause: 101019.654 Set: 13909.697 Check: 2.808 Back: 2187.026
INFO - Atoms: 104715/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8691 Props: 91753840 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.331 Prop: 103528.138 PropClause: 101146.22 Set: 13930.925 Check: 2.808 Back: 2189.478
INFO - Atoms: 104951/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8692 Props: 91859051 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.336 Prop: 103662.104 PropClause: 101277.581 Set: 13993.911 Check: 2.808 Back: 2191.95
INFO - Atoms: 105211/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8693 Props: 91964520 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.341 Prop: 103796.399 PropClause: 101409.252 Set: 14015.081 Check: 2.808 Back: 2194.403
INFO - Atoms: 105469/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8694 Props: 92070253 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.346 Prop: 103931.531 PropClause: 101541.761 Set: 14036.655 Check: 2.808 Back: 2196.873
INFO - Atoms: 105733/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8695 Props: 92176240 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.352 Prop: 104061.13 PropClause: 101668.718 Set: 14058.031 Check: 2.808 Back: 2199.344
INFO - Atoms: 105987/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8696 Props: 92282487 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.358 Prop: 104198.249 PropClause: 101803.199 Set: 14079.487 Check: 2.808 Back: 2201.81
INFO - Atoms: 106247/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8697 Props: 92388997 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.363 Prop: 104334.565 PropClause: 101936.859 Set: 14100.872 Check: 2.808 Back: 2204.285
INFO - Atoms: 106510/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8698 Props: 92495761 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.368 Prop: 104467.991 PropClause: 102067.608 Set: 14122.435 Check: 2.808 Back: 2206.783
INFO - Atoms: 106764/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8699 Props: 92602791 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.372 Prop: 104600.017 PropClause: 102196.969 Set: 14143.934 Check: 2.808 Back: 2209.315
INFO - Atoms: 107030/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8700 Props: 92710073 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.378 Prop: 104731.214 PropClause: 102325.481 Set: 14165.32 Check: 2.808 Back: 2211.841
INFO - Atoms: 107282/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8701 Props: 92817621 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.383 Prop: 104863.196 PropClause: 102454.794 Set: 14237.402 Check: 2.808 Back: 2214.337
INFO - Atoms: 107548/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8702 Props: 92925421 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.388 Prop: 104994.673 PropClause: 102583.586 Set: 14259.095 Check: 2.808 Back: 2216.827
INFO - Atoms: 107800/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8703 Props: 93033480 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.393 Prop: 105131.082 PropClause: 102717.255 Set: 14281.587 Check: 2.808 Back: 2219.341
INFO - Atoms: 108059/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8704 Props: 93141798 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.399 Prop: 105265.492 PropClause: 102848.944 Set: 14303.415 Check: 2.808 Back: 2221.893
INFO - Atoms: 108318/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8705 Props: 93250376 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.404 Prop: 105403.134 PropClause: 102983.721 Set: 14327.544 Check: 2.808 Back: 2224.43
INFO - Atoms: 108578/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8706 Props: 93359212 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.41 Prop: 105536.1 PropClause: 103113.976 Set: 14349.365 Check: 2.808 Back: 2227.028
INFO - Atoms: 108836/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8707 Props: 93468312 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.415 Prop: 105668.737 PropClause: 103243.911 Set: 14371.129 Check: 2.808 Back: 2229.637
INFO - Atoms: 109100/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8708 Props: 93577666 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.421 Prop: 105802.496 PropClause: 103374.95 Set: 14393.225 Check: 2.808 Back: 2232.18
INFO - Atoms: 109354/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8709 Props: 93687279 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.426 Prop: 105941.507 PropClause: 103511.233 Set: 14415.243 Check: 2.808 Back: 2234.742
INFO - Atoms: 109613/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8710 Props: 93797152 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.431 Prop: 106079.906 PropClause: 103646.914 Set: 14437.493 Check: 2.808 Back: 2237.313
INFO - Atoms: 109873/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8711 Props: 93907283 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.437 Prop: 106219.88 PropClause: 103784.164 Set: 14459.936 Check: 2.808 Back: 2239.864
INFO - Atoms: 110131/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8712 Props: 94017678 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.441 Prop: 106353.75 PropClause: 103915.297 Set: 14482.461 Check: 2.808 Back: 2242.439
INFO - Atoms: 110395/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8713 Props: 94128328 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.447 Prop: 106487.272 PropClause: 104046.073 Set: 14504.452 Check: 2.808 Back: 2245.004
INFO - Atoms: 110650/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8714 Props: 94239236 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.453 Prop: 106626.194 PropClause: 104182.233 Set: 14526.741 Check: 2.808 Back: 2247.562
INFO - Atoms: 110908/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8715 Props: 94350412 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.457 Prop: 106761.698 PropClause: 104314.966 Set: 14549.17 Check: 2.808 Back: 2250.164
INFO - Atoms: 111176/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8716 Props: 94461838 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.463 Prop: 106896.318 PropClause: 104446.821 Set: 14571.363 Check: 2.808 Back: 2252.743
INFO - Atoms: 111426/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8717 Props: 94573532 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.467 Prop: 107034.882 PropClause: 104582.606 Set: 14593.816 Check: 2.808 Back: 2255.335
INFO - Atoms: 111694/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8718 Props: 94685477 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.473 Prop: 107174.033 PropClause: 104718.973 Set: 14616.217 Check: 2.808 Back: 2257.926
INFO - Atoms: 111945/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8719 Props: 94797693 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.478 Prop: 107310.292 PropClause: 104852.446 Set: 14638.563 Check: 2.808 Back: 2260.523
INFO - Atoms: 112216/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8720 Props: 94910155 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.483 Prop: 107459.889 PropClause: 104999.238 Set: 14661.996 Check: 2.808 Back: 2263.144
INFO - Atoms: 112462/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8721 Props: 95022893 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.488 Prop: 107599.981 PropClause: 105136.527 Set: 14684.675 Check: 2.808 Back: 2265.769
INFO - Atoms: 112738/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8722 Props: 95135874 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.493 Prop: 107747.903 PropClause: 105281.616 Set: 14707.596 Check: 2.808 Back: 2268.381
INFO - Atoms: 112981/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8723 Props: 95249113 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.499 Prop: 107891.494 PropClause: 105422.399 Set: 14730.428 Check: 2.808 Back: 2271.014
INFO - Atoms: 113239/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8724 Props: 95362612 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.505 Prop: 108043.358 PropClause: 105571.418 Set: 14753.6 Check: 2.808 Back: 2273.648
INFO - Atoms: 113499/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8725 Props: 95476374 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.51 Prop: 108188.935 PropClause: 105714.149 Set: 14776.629 Check: 2.808 Back: 2276.289
INFO - Atoms: 113762/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8726 Props: 95590641 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.516 Prop: 108336.043 PropClause: 105858.424 Set: 14799.907 Check: 2.808 Back: 2279.034
INFO - Atoms: 114267/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8727 Props: 95704917 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.521 Prop: 108478.697 PropClause: 105998.235 Set: 14822.856 Check: 2.808 Back: 2281.681
INFO - Atoms: 114276/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8728 Props: 95819451 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.526 Prop: 108619.559 PropClause: 106136.258 Set: 14845.792 Check: 2.808 Back: 2284.323
INFO - Atoms: 114534/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8729 Props: 95934251 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.531 Prop: 108753.52 PropClause: 106267.378 Set: 14868.632 Check: 2.808 Back: 2286.973
INFO - Atoms: 114800/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8730 Props: 96049303 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.536 Prop: 108893.183 PropClause: 106404.217 Set: 14891.681 Check: 2.808 Back: 2289.637
INFO - Atoms: 115052/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8731 Props: 96164866 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.541 Prop: 109032.133 PropClause: 106540.292 Set: 14914.792 Check: 2.808 Back: 2292.303
INFO - Atoms: 115563/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8732 Props: 96280437 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.546 Prop: 109180.833 PropClause: 106686.099 Set: 14938.784 Check: 2.808 Back: 2294.986
INFO - Atoms: 115571/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8733 Props: 96396518 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.551 Prop: 109323.656 PropClause: 106826.014 Set: 14962.154 Check: 2.808 Back: 2297.674
INFO - Atoms: 116081/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8734 Props: 96512606 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.556 Prop: 109463.226 PropClause: 106962.713 Set: 14985.254 Check: 2.808 Back: 2300.367
INFO - Atoms: 116088/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8735 Props: 96628982 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.56 Prop: 109602.465 PropClause: 107099.06 Set: 15008.502 Check: 2.808 Back: 2303.072
INFO - Atoms: 116376/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8736 Props: 96745589 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.566 Prop: 109758.174 PropClause: 107251.885 Set: 15032.423 Check: 2.808 Back: 2305.777
INFO - Atoms: 116607/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8737 Props: 96862454 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.571 Prop: 109907.333 PropClause: 107398.151 Set: 15055.915 Check: 2.808 Back: 2308.484
INFO - Atoms: 116865/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8738 Props: 96979585 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.576 Prop: 110057.141 PropClause: 107545.047 Set: 15079.515 Check: 2.808 Back: 2311.18
INFO - Atoms: 117131/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8739 Props: 97096968 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.58 Prop: 110214.667 PropClause: 107699.646 Set: 15103.247 Check: 2.808 Back: 2313.905
INFO - Atoms: 117383/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8740 Props: 97214862 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.586 Prop: 110367.857 PropClause: 107849.895 Set: 15126.991 Check: 2.808 Back: 2316.644
INFO - Atoms: 117894/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8741 Props: 97332763 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.591 Prop: 110516.893 PropClause: 107995.987 Set: 15150.735 Check: 2.808 Back: 2319.367
INFO - Atoms: 117901/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8742 Props: 97451176 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.595 Prop: 110667.686 PropClause: 108143.824 Set: 15174.662 Check: 2.808 Back: 2322.096
INFO - Atoms: 118413/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8743 Props: 97569596 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.6 Prop: 110819.191 PropClause: 108292.382 Set: 15198.847 Check: 2.808 Back: 2324.84
INFO - Atoms: 118420/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8744 Props: 97688283 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.606 Prop: 110973.032 PropClause: 108443.28 Set: 15223.029 Check: 2.808 Back: 2327.618
INFO - Atoms: 118687/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8745 Props: 97807233 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.611 Prop: 111124.259 PropClause: 108591.546 Set: 15247.302 Check: 2.808 Back: 2330.392
INFO - Atoms: 118950/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8746 Props: 97926679 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.616 Prop: 111279.649 PropClause: 108743.958 Set: 15324.959 Check: 2.808 Back: 2333.178
INFO - Atoms: 119446/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8747 Props: 98046385 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.62 Prop: 111434.138 PropClause: 108895.465 Set: 15349.323 Check: 2.808 Back: 2335.949
INFO - Atoms: 119706/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8748 Props: 98166099 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.626 Prop: 111588.693 PropClause: 109047.016 Set: 15373.683 Check: 2.808 Back: 2338.804
INFO - Atoms: 119714/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8749 Props: 98286324 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.633 Prop: 111741.834 PropClause: 109197.179 Set: 15398.249 Check: 2.808 Back: 2341.589
INFO - Atoms: 120225/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8750 Props: 98406557 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.637 Prop: 111900.132 PropClause: 109352.51 Set: 15422.736 Check: 2.808 Back: 2344.414
INFO - Atoms: 120233/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8751 Props: 98527048 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.642 Prop: 112053.562 PropClause: 109502.928 Set: 15447.175 Check: 2.808 Back: 2347.199
INFO - Atoms: 120491/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8752 Props: 98648309 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.646 Prop: 112204.557 PropClause: 109650.827 Set: 15471.516 Check: 2.808 Back: 2350.02
INFO - Atoms: 121261/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8753 Props: 98769578 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.651 Prop: 112351.271 PropClause: 109794.569 Set: 15495.718 Check: 2.808 Back: 2352.819
INFO - Atoms: 121269/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8754 Props: 98891105 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.656 Prop: 112498.371 PropClause: 109938.655 Set: 15520.138 Check: 2.808 Back: 2355.605
INFO - Atoms: 121527/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8755 Props: 99012900 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.661 Prop: 112642.496 PropClause: 110079.764 Set: 15580.869 Check: 2.808 Back: 2358.412
INFO - Atoms: 121795/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8756 Props: 99134945 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.666 Prop: 112791.727 PropClause: 110226.009 Set: 15605.142 Check: 2.808 Back: 2361.23
INFO - Atoms: 122045/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8757 Props: 99257264 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.671 Prop: 112938.725 PropClause: 110369.982 Set: 15629.783 Check: 2.808 Back: 2364.043
INFO - Atoms: 122319/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8758 Props: 99379827 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.675 Prop: 113090.414 PropClause: 110518.625 Set: 15654.383 Check: 2.808 Back: 2366.867
INFO - Atoms: 122563/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8759 Props: 99502900 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.681 Prop: 113241.461 PropClause: 110666.619 Set: 15679.165 Check: 2.808 Back: 2369.697
INFO - Atoms: 123073/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8760 Props: 99625981 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.685 Prop: 113388.127 PropClause: 110810.234 Set: 15703.861 Check: 2.808 Back: 2372.543
INFO - Atoms: 123081/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8761 Props: 99749330 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.69 Prop: 113542.845 PropClause: 110961.891 Set: 15728.642 Check: 2.808 Back: 2375.383
INFO - Atoms: 123349/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8762 Props: 99872929 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.694 Prop: 113700.165 PropClause: 111116.149 Set: 15753.854 Check: 2.808 Back: 2378.266
INFO - Atoms: 123599/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8763 Props: 99996838 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.699 Prop: 113860.62 PropClause: 111273.532 Set: 15778.999 Check: 2.808 Back: 2381.134
INFO - Atoms: 123909/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8764 Props: 100120955 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.704 Prop: 114019.284 PropClause: 111429.125 Set: 15804.376 Check: 2.808 Back: 2384.029
INFO - Atoms: 124117/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8765 Props: 100245344 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.709 Prop: 114182.549 PropClause: 111589.297 Set: 15829.845 Check: 2.808 Back: 2386.91
INFO - Atoms: 124389/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8766 Props: 100369979 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.714 Prop: 114342.227 PropClause: 111745.884 Set: 15855.321 Check: 2.808 Back: 2389.807
INFO - Atoms: 124635/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8767 Props: 100495126 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.718 Prop: 114500.711 PropClause: 111901.26 Set: 15880.895 Check: 2.808 Back: 2392.699
INFO - Atoms: 125147/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8768 Props: 100620279 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.723 Prop: 114662.895 PropClause: 112060.316 Set: 15906.302 Check: 2.808 Back: 2395.605
INFO - Atoms: 125153/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8769 Props: 100745688 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.727 Prop: 114825.257 PropClause: 112219.585 Set: 15931.616 Check: 2.808 Back: 2398.512
INFO - Atoms: 125409/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8770 Props: 100847783 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.732 Prop: 114970.135 PropClause: 112361.923 Set: 15951.945 Check: 2.808 Back: 2401.434
INFO - Atoms: 102095/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8771 Props: 100949367 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.736 Prop: 115090.107 PropClause: 112479.328 Set: 15972.026 Check: 2.808 Back: 2403.82
INFO - Atoms: 101584/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8772 Props: 101051212 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.742 Prop: 115210.447 PropClause: 112597.142 Set: 15992.286 Check: 2.808 Back: 2406.199
INFO - Atoms: 101845/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8773 Props: 101153567 Tprops: 0 Decides: 111332 RSplits: 0
INFO - Times: Expl: 21780.747 Prop: 115331.905 PropClause: 112716.05 Set: 16048.398 Check: 2.808 Back: 2408.569
INFO - Atoms: 102355/151550 Clauses: 1169 Axioms: 503234
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 703 Props: 79369 Tprops: 2066 Decides: 104794 RSplits: 0
INFO - Times: Expl: 723.809 Prop: 271210.211 PropClause: 38.191 Set: 30088.716 Check: 743.492 Back: 413.442
INFO - Atoms: 290/1651 Clauses: 703 Axioms: 1651
INFO - CCTimes: iE 1437721 eq 72773527 cc 372034625 setRep 230290650
INFO - Merges: 1301704, cc:4270731
INFO - BVTimes: BB 460132385 BB_DPLL 252227005065 Graph 2405945
INFO - BitBlastingClauses: 1239074 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat