/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/bruttomesso/lfsr/lfsr_002_079_112.smt2


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 159848513
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 55134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.555 Prop: 155.759 PropClause: 152.368 Set: 49.979 Check: 0.0 Back: 0.0
INFO - Atoms: 55134/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 109952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.624 Prop: 224.648 PropClause: 219.145 Set: 60.715 Check: 0.0 Back: 1.307
INFO - Atoms: 54818/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 164770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.693 Prop: 288.508 PropClause: 280.84 Set: 71.653 Check: 0.0 Back: 2.571
INFO - Atoms: 54818/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 219588 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.741 Prop: 355.602 PropClause: 346.12 Set: 82.909 Check: 0.0 Back: 3.853
INFO - Atoms: 54818/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 274399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.796 Prop: 419.464 PropClause: 408.434 Set: 99.3 Check: 0.0 Back: 5.084
INFO - Atoms: 54811/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 329212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.858 Prop: 485.851 PropClause: 473.283 Set: 110.524 Check: 0.0 Back: 6.339
INFO - Atoms: 54813/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 383866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.902 Prop: 547.723 PropClause: 533.662 Set: 121.495 Check: 0.0 Back: 7.594
INFO - Atoms: 54654/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 438370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.971 Prop: 609.539 PropClause: 593.977 Set: 132.532 Check: 0.0 Back: 8.847
INFO - Atoms: 54504/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 492698 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.015 Prop: 670.217 PropClause: 653.148 Set: 143.382 Check: 0.0 Back: 10.087
INFO - Atoms: 54328/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 546875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.058 Prop: 731.116 PropClause: 712.541 Set: 154.365 Check: 0.0 Back: 11.338
INFO - Atoms: 54177/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 601690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.154 Prop: 794.018 PropClause: 773.935 Set: 170.675 Check: 0.0 Back: 12.573
INFO - Atoms: 54815/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 656506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.197 Prop: 857.449 PropClause: 835.859 Set: 186.675 Check: 0.0 Back: 13.861
INFO - Atoms: 54816/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 711322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.241 Prop: 918.535 PropClause: 895.433 Set: 197.72 Check: 0.0 Back: 15.107
INFO - Atoms: 54816/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 765812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.284 Prop: 983.746 PropClause: 959.14 Set: 208.761 Check: 0.0 Back: 16.378
INFO - Atoms: 54490/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 820140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.345 Prop: 1046.166 PropClause: 1020.066 Set: 219.634 Check: 0.0 Back: 17.613
INFO - Atoms: 54328/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 874303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.386 Prop: 1109.567 PropClause: 1081.978 Set: 230.61 Check: 0.0 Back: 18.862
INFO - Atoms: 54163/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 928954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.446 Prop: 1172.481 PropClause: 1143.38 Set: 241.568 Check: 0.0 Back: 20.102
INFO - Atoms: 54651/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 983766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.494 Prop: 1236.297 PropClause: 1205.683 Set: 252.718 Check: 0.0 Back: 21.358
INFO - Atoms: 54812/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1037768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.542 Prop: 1301.805 PropClause: 1269.699 Set: 263.653 Check: 0.0 Back: 22.622
INFO - Atoms: 54002/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1091606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.586 Prop: 1364.171 PropClause: 1330.576 Set: 274.622 Check: 0.0 Back: 23.875
INFO - Atoms: 53838/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1145282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.632 Prop: 1427.839 PropClause: 1392.768 Set: 285.674 Check: 0.0 Back: 25.116
INFO - Atoms: 53676/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 1198794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.678 Prop: 1497.226 PropClause: 1460.642 Set: 298.915 Check: 0.0 Back: 26.361
INFO - Atoms: 53512/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 1252144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.726 Prop: 1559.226 PropClause: 1521.167 Set: 314.531 Check: 0.0 Back: 27.613
INFO - Atoms: 53350/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 1305345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.77 Prop: 1623.907 PropClause: 1584.373 Set: 330.085 Check: 0.0 Back: 28.852
INFO - Atoms: 53201/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 1358369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.812 Prop: 1688.681 PropClause: 1647.683 Set: 345.298 Check: 0.0 Back: 30.08
INFO - Atoms: 53024/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 1411229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.851 Prop: 1757.372 PropClause: 1714.909 Set: 377.617 Check: 0.0 Back: 31.325
INFO - Atoms: 52860/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 1463927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.89 Prop: 1817.248 PropClause: 1773.339 Set: 388.084 Check: 0.0 Back: 32.537
INFO - Atoms: 52698/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 1516461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.929 Prop: 1877.926 PropClause: 1832.537 Set: 398.641 Check: 0.0 Back: 33.776
INFO - Atoms: 52534/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 1568833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.968 Prop: 1938.882 PropClause: 1892.033 Set: 409.108 Check: 0.0 Back: 34.978
INFO - Atoms: 52372/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 1621055 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.007 Prop: 2003.138 PropClause: 1954.807 Set: 419.691 Check: 0.0 Back: 36.193
INFO - Atoms: 52222/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 1673101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.049 Prop: 2066.008 PropClause: 2016.209 Set: 430.171 Check: 0.0 Back: 37.4
INFO - Atoms: 52046/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 1724996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.328 Prop: 2129.499 PropClause: 2078.241 Set: 440.7 Check: 0.0 Back: 38.61
INFO - Atoms: 51895/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 1776716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.365 Prop: 2191.233 PropClause: 2138.523 Set: 451.095 Check: 0.0 Back: 39.829
INFO - Atoms: 51720/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 1828286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.404 Prop: 2250.063 PropClause: 2195.934 Set: 461.468 Check: 0.0 Back: 41.053
INFO - Atoms: 51570/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 1879680 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.448 Prop: 2309.051 PropClause: 2253.48 Set: 471.694 Check: 0.0 Back: 42.243
INFO - Atoms: 51394/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 1930910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.491 Prop: 2371.745 PropClause: 2314.756 Set: 482.071 Check: 0.0 Back: 43.447
INFO - Atoms: 51230/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 1981978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.54 Prop: 2433.901 PropClause: 2375.463 Set: 492.346 Check: 0.0 Back: 44.641
INFO - Atoms: 51068/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 2032882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.581 Prop: 2499.397 PropClause: 2439.559 Set: 502.66 Check: 0.0 Back: 45.841
INFO - Atoms: 50904/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 2083624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.625 Prop: 2563.013 PropClause: 2501.776 Set: 512.82 Check: 0.0 Back: 47.013
INFO - Atoms: 50742/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 2134202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.67 Prop: 2623.489 PropClause: 2560.857 Set: 523.204 Check: 0.0 Back: 48.201
INFO - Atoms: 50578/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 2184618 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.71 Prop: 2683.082 PropClause: 2619.023 Set: 533.229 Check: 0.0 Back: 49.363
INFO - Atoms: 50416/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 2234885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.752 Prop: 2746.779 PropClause: 2681.309 Set: 543.435 Check: 0.0 Back: 50.555
INFO - Atoms: 50267/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 2284975 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.794 Prop: 2806.096 PropClause: 2739.233 Set: 553.381 Check: 0.0 Back: 51.713
INFO - Atoms: 50090/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 2334901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.838 Prop: 2867.595 PropClause: 2799.352 Set: 567.427 Check: 0.0 Back: 52.878
INFO - Atoms: 49926/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 2384665 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.881 Prop: 2928.509 PropClause: 2858.868 Set: 581.274 Check: 0.0 Back: 54.033
INFO - Atoms: 49764/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 2434279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.922 Prop: 2992.479 PropClause: 2921.474 Set: 591.317 Check: 0.0 Back: 55.191
INFO - Atoms: 49614/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 2483717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.966 Prop: 3052.965 PropClause: 2980.602 Set: 601.104 Check: 0.0 Back: 56.339
INFO - Atoms: 49438/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 2532991 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.011 Prop: 3108.039 PropClause: 3034.312 Set: 610.879 Check: 0.0 Back: 57.481
INFO - Atoms: 49274/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 2582103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.076 Prop: 3163.572 PropClause: 3088.472 Set: 620.452 Check: 0.0 Back: 58.614
INFO - Atoms: 49112/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 2631066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.123 Prop: 3221.402 PropClause: 3144.956 Set: 630.51 Check: 0.0 Back: 59.754
INFO - Atoms: 48963/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 2679852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.166 Prop: 3273.809 PropClause: 3196.024 Set: 640.065 Check: 0.0 Back: 60.868
INFO - Atoms: 48786/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 2728474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.306 Prop: 3328.281 PropClause: 3249.161 Set: 649.628 Check: 0.0 Back: 62.009
INFO - Atoms: 48622/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 2776934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.323 Prop: 3381.105 PropClause: 3300.624 Set: 659.0 Check: 0.0 Back: 63.131
INFO - Atoms: 48460/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 2825244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.343 Prop: 3437.552 PropClause: 3355.72 Set: 668.556 Check: 0.0 Back: 64.247
INFO - Atoms: 48310/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 2873378 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.362 Prop: 3488.849 PropClause: 3405.695 Set: 677.87 Check: 0.0 Back: 65.349
INFO - Atoms: 48134/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 2921361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.382 Prop: 3543.899 PropClause: 3459.418 Set: 687.295 Check: 0.0 Back: 66.456
INFO - Atoms: 47983/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 2969169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.405 Prop: 3597.241 PropClause: 3511.445 Set: 696.553 Check: 0.0 Back: 67.553
INFO - Atoms: 47808/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 3016826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 3653.452 PropClause: 3566.343 Set: 706.099 Check: 0.0 Back: 68.672
INFO - Atoms: 47657/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 3064308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.454 Prop: 3703.256 PropClause: 3614.845 Set: 715.23 Check: 0.0 Back: 69.767
INFO - Atoms: 47482/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 3111639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.473 Prop: 3750.862 PropClause: 3661.156 Set: 724.436 Check: 0.0 Back: 70.865
INFO - Atoms: 47331/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 3158795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.49 Prop: 3801.667 PropClause: 3710.648 Set: 733.548 Check: 0.0 Back: 71.949
INFO - Atoms: 47156/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 3205787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.508 Prop: 3849.545 PropClause: 3757.214 Set: 742.61 Check: 0.0 Back: 73.033
INFO - Atoms: 46992/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 3252617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.527 Prop: 3901.701 PropClause: 3808.071 Set: 751.688 Check: 0.0 Back: 74.108
INFO - Atoms: 46830/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 3299298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.553 Prop: 3954.402 PropClause: 3859.465 Set: 760.892 Check: 0.0 Back: 75.193
INFO - Atoms: 46681/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 3345802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.57 Prop: 4003.882 PropClause: 3907.645 Set: 769.858 Check: 0.0 Back: 76.274
INFO - Atoms: 46504/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 3392156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.592 Prop: 4055.005 PropClause: 3957.463 Set: 779.015 Check: 0.0 Back: 77.354
INFO - Atoms: 46354/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 3438334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.615 Prop: 4107.185 PropClause: 4008.356 Set: 787.917 Check: 0.0 Back: 78.426
INFO - Atoms: 46178/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 3484361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.631 Prop: 4155.915 PropClause: 4055.822 Set: 796.871 Check: 0.0 Back: 79.497
INFO - Atoms: 46027/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 3530213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.649 Prop: 4204.365 PropClause: 4103.005 Set: 805.672 Check: 0.0 Back: 80.55
INFO - Atoms: 45852/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 3575901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.669 Prop: 4256.181 PropClause: 4153.546 Set: 814.62 Check: 0.0 Back: 81.606
INFO - Atoms: 45688/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 3621427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.688 Prop: 4306.634 PropClause: 4202.743 Set: 823.489 Check: 0.0 Back: 82.654
INFO - Atoms: 45526/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 3666803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.706 Prop: 4358.378 PropClause: 4253.238 Set: 832.375 Check: 0.0 Back: 83.71
INFO - Atoms: 45376/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 3712003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.724 Prop: 4409.147 PropClause: 4302.762 Set: 841.141 Check: 0.0 Back: 84.748
INFO - Atoms: 45200/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 3757052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.743 Prop: 4455.022 PropClause: 4347.4 Set: 849.838 Check: 0.0 Back: 85.8
INFO - Atoms: 45049/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 3801926 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.759 Prop: 4500.86 PropClause: 4392.007 Set: 858.419 Check: 0.0 Back: 86.835
INFO - Atoms: 44874/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 3846636 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.777 Prop: 4548.352 PropClause: 4438.275 Set: 867.142 Check: 0.0 Back: 87.87
INFO - Atoms: 44710/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 3891184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.794 Prop: 4599.907 PropClause: 4488.607 Set: 875.742 Check: 0.0 Back: 88.892
INFO - Atoms: 44548/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 3935582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.88 Prop: 4649.292 PropClause: 4536.771 Set: 884.427 Check: 0.0 Back: 89.921
INFO - Atoms: 44398/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 3979804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.89 Prop: 4700.969 PropClause: 4587.21 Set: 893.129 Check: 0.0 Back: 90.937
INFO - Atoms: 44222/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 4023875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.901 Prop: 4750.138 PropClause: 4635.168 Set: 901.731 Check: 0.0 Back: 91.953
INFO - Atoms: 44071/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 4067771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 4795.636 PropClause: 4679.462 Set: 910.069 Check: 0.0 Back: 92.958
INFO - Atoms: 43896/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 4111517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.921 Prop: 4843.565 PropClause: 4726.181 Set: 918.555 Check: 0.0 Back: 93.968
INFO - Atoms: 43746/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 4155087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.932 Prop: 4891.361 PropClause: 4772.781 Set: 926.839 Check: 0.0 Back: 94.973
INFO - Atoms: 43570/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 4198507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.942 Prop: 4937.551 PropClause: 4817.777 Set: 935.271 Check: 0.0 Back: 95.982
INFO - Atoms: 43420/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 4241751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.952 Prop: 4981.6 PropClause: 4860.626 Set: 943.516 Check: 0.0 Back: 96.979
INFO - Atoms: 43244/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 4284845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.964 Prop: 5027.186 PropClause: 4905.028 Set: 951.887 Check: 0.0 Back: 97.989
INFO - Atoms: 43094/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 4327763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.975 Prop: 5073.154 PropClause: 4949.805 Set: 960.141 Check: 0.0 Back: 98.976
INFO - Atoms: 42918/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 4370530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.985 Prop: 5119.733 PropClause: 4995.203 Set: 968.531 Check: 0.0 Back: 99.978
INFO - Atoms: 42767/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 4413122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.007 Prop: 5163.538 PropClause: 5037.84 Set: 976.665 Check: 0.0 Back: 100.973
INFO - Atoms: 42592/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 4455550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.029 Prop: 5207.908 PropClause: 5081.041 Set: 984.844 Check: 0.0 Back: 101.97
INFO - Atoms: 42428/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 4497816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.041 Prop: 5246.871 PropClause: 5118.843 Set: 992.78 Check: 0.0 Back: 102.95
INFO - Atoms: 42266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 4539918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.051 Prop: 5291.609 PropClause: 5162.415 Set: 1000.911 Check: 0.0 Back: 103.929
INFO - Atoms: 42102/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 4581858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.064 Prop: 5335.928 PropClause: 5205.575 Set: 1016.909 Check: 0.0 Back: 104.896
INFO - Atoms: 41940/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 4623649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.074 Prop: 5381.965 PropClause: 5250.444 Set: 1024.925 Check: 0.0 Back: 105.867
INFO - Atoms: 41791/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 4665263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.084 Prop: 5427.373 PropClause: 5294.702 Set: 1032.932 Check: 0.0 Back: 106.828
INFO - Atoms: 41614/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 4706713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.094 Prop: 5472.154 PropClause: 5338.338 Set: 1041.11 Check: 0.0 Back: 107.79
INFO - Atoms: 41450/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 4748001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.104 Prop: 5515.409 PropClause: 5380.453 Set: 1048.991 Check: 0.0 Back: 108.75
INFO - Atoms: 41288/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 4789139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.116 Prop: 5560.455 PropClause: 5424.362 Set: 1056.968 Check: 0.0 Back: 109.715
INFO - Atoms: 41138/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 4830101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.127 Prop: 5602.498 PropClause: 5465.272 Set: 1064.785 Check: 0.0 Back: 110.658
INFO - Atoms: 40962/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 4870913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.139 Prop: 5649.814 PropClause: 5511.445 Set: 1072.741 Check: 0.0 Back: 111.613
INFO - Atoms: 40812/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 4911549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.149 Prop: 5689.366 PropClause: 5549.877 Set: 1080.445 Check: 0.0 Back: 112.558
INFO - Atoms: 40636/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 4952021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 5732.212 PropClause: 5591.606 Set: 1088.183 Check: 0.0 Back: 113.497
INFO - Atoms: 40472/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 4992331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.169 Prop: 5776.068 PropClause: 5634.348 Set: 1096.034 Check: 0.0 Back: 114.421
INFO - Atoms: 40310/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 5032492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.179 Prop: 5818.573 PropClause: 5675.746 Set: 1103.761 Check: 0.0 Back: 115.351
INFO - Atoms: 40161/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 5072476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 5860.242 PropClause: 5716.297 Set: 1111.375 Check: 0.0 Back: 116.283
INFO - Atoms: 39984/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 5112310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.199 Prop: 5902.512 PropClause: 5757.468 Set: 1118.973 Check: 0.0 Back: 117.213
INFO - Atoms: 39834/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 5151968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.208 Prop: 5942.745 PropClause: 5796.59 Set: 1126.474 Check: 0.0 Back: 118.127
INFO - Atoms: 39658/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 5191462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.218 Prop: 5984.265 PropClause: 5837.02 Set: 1134.011 Check: 0.0 Back: 119.055
INFO - Atoms: 39494/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 5230794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.228 Prop: 6025.74 PropClause: 5877.408 Set: 1141.375 Check: 0.0 Back: 119.969
INFO - Atoms: 39332/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 5269962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.237 Prop: 6062.216 PropClause: 5912.797 Set: 1148.728 Check: 0.0 Back: 120.873
INFO - Atoms: 39168/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 5308968 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 6097.261 PropClause: 5946.755 Set: 1156.117 Check: 0.0 Back: 121.772
INFO - Atoms: 39006/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 5347824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.258 Prop: 6132.424 PropClause: 5980.846 Set: 1163.382 Check: 0.0 Back: 122.674
INFO - Atoms: 38856/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 5386504 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.268 Prop: 6171.011 PropClause: 6018.366 Set: 1170.664 Check: 0.0 Back: 123.567
INFO - Atoms: 38680/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 5425033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.281 Prop: 6209.491 PropClause: 6055.74 Set: 1178.238 Check: 0.0 Back: 124.46
INFO - Atoms: 38529/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 5463387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.291 Prop: 6244.954 PropClause: 6090.145 Set: 1185.39 Check: 0.0 Back: 125.4
INFO - Atoms: 38354/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 5501577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.304 Prop: 6286.78 PropClause: 6130.91 Set: 1192.73 Check: 0.0 Back: 126.278
INFO - Atoms: 38190/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 5539605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.315 Prop: 6322.879 PropClause: 6165.952 Set: 1211.283 Check: 0.0 Back: 127.174
INFO - Atoms: 38028/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 5577469 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.323 Prop: 6359.653 PropClause: 6201.681 Set: 1218.419 Check: 0.0 Back: 128.05
INFO - Atoms: 37864/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 5615171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.335 Prop: 6396.164 PropClause: 6237.134 Set: 1225.459 Check: 0.0 Back: 128.918
INFO - Atoms: 37702/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 5652709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.347 Prop: 6435.933 PropClause: 6275.857 Set: 1232.484 Check: 0.0 Back: 129.786
INFO - Atoms: 37538/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 5690085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 6471.198 PropClause: 6310.082 Set: 1239.52 Check: 0.0 Back: 130.652
INFO - Atoms: 37376/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 5727311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.368 Prop: 6507.717 PropClause: 6345.569 Set: 1246.551 Check: 0.0 Back: 131.527
INFO - Atoms: 37226/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 5764360 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.376 Prop: 6541.168 PropClause: 6377.996 Set: 1253.461 Check: 0.0 Back: 132.382
INFO - Atoms: 37049/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 5801388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 6575.944 PropClause: 6411.749 Set: 1260.445 Check: 0.0 Back: 133.256
INFO - Atoms: 37028/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 5838717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.448 Prop: 6609.841 PropClause: 6444.616 Set: 1267.44 Check: 0.0 Back: 134.105
INFO - Atoms: 37329/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 5876209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.487 Prop: 6644.512 PropClause: 6478.252 Set: 1274.571 Check: 0.0 Back: 134.968
INFO - Atoms: 37492/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 5913862 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 6680.344 PropClause: 6511.977 Set: 1281.668 Check: 0.0 Back: 135.837
INFO - Atoms: 37653/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 5951540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.689 Prop: 6715.63 PropClause: 6546.213 Set: 1288.663 Check: 0.0 Back: 136.721
INFO - Atoms: 37678/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 5989381 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.712 Prop: 6751.812 PropClause: 6581.353 Set: 1295.767 Check: 0.0 Back: 137.587
INFO - Atoms: 37841/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 6027407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.765 Prop: 6789.55 PropClause: 6618.044 Set: 1303.019 Check: 0.0 Back: 138.475
INFO - Atoms: 38026/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 6065411 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 6822.81 PropClause: 6650.253 Set: 1310.139 Check: 0.0 Back: 139.347
INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 6102958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.801 Prop: 6856.397 PropClause: 6682.801 Set: 1317.096 Check: 0.0 Back: 140.224
INFO - Atoms: 37547/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 6140979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.821 Prop: 6892.939 PropClause: 6718.287 Set: 1336.439 Check: 0.0 Back: 141.095
INFO - Atoms: 38021/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 6178983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 6933.749 PropClause: 6758.048 Set: 1343.815 Check: 0.0 Back: 141.967
INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 6217145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.851 Prop: 6972.596 PropClause: 6795.84 Set: 1351.118 Check: 0.0 Back: 142.837
INFO - Atoms: 38162/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 6255149 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.867 Prop: 7009.252 PropClause: 6831.436 Set: 1358.374 Check: 0.0 Back: 143.735
INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 6293292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 7044.419 PropClause: 6865.55 Set: 1365.569 Check: 0.0 Back: 144.613
INFO - Atoms: 38143/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 6330825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.897 Prop: 7079.205 PropClause: 6899.299 Set: 1372.647 Check: 0.0 Back: 145.498
INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 6368847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.918 Prop: 7127.576 PropClause: 6946.618 Set: 1380.458 Check: 0.0 Back: 146.372
INFO - Atoms: 38022/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 6406990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 7165.825 PropClause: 6983.81 Set: 1387.804 Check: 0.0 Back: 147.248
INFO - Atoms: 38143/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 6445154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.039 Prop: 7204.302 PropClause: 7021.219 Set: 1395.109 Check: 0.0 Back: 148.123
INFO - Atoms: 38164/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 6483158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.052 Prop: 7243.386 PropClause: 7059.238 Set: 1402.424 Check: 0.0 Back: 149.027
INFO - Atoms: 38004/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 6521299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 7281.025 PropClause: 7095.817 Set: 1409.703 Check: 0.0 Back: 149.901
INFO - Atoms: 38141/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 6558832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.074 Prop: 7318.143 PropClause: 7131.899 Set: 1416.852 Check: 0.0 Back: 150.792
INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 6596854 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.083 Prop: 7356.229 PropClause: 7168.924 Set: 1424.158 Check: 0.0 Back: 151.654
INFO - Atoms: 38022/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 6635043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.094 Prop: 7396.78 PropClause: 7208.4 Set: 1431.603 Check: 0.0 Back: 152.543
INFO - Atoms: 38189/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 6673210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.105 Prop: 7434.769 PropClause: 7245.33 Set: 1438.982 Check: 0.0 Back: 153.431
INFO - Atoms: 38167/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 6710921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 7468.855 PropClause: 7278.371 Set: 1446.063 Check: 0.0 Back: 154.317
INFO - Atoms: 37711/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 6748129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.125 Prop: 7505.23 PropClause: 7313.716 Set: 1453.029 Check: 0.0 Back: 155.198
INFO - Atoms: 37208/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 6785188 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.135 Prop: 7547.106 PropClause: 7354.567 Set: 1460.129 Check: 0.0 Back: 156.063
INFO - Atoms: 37059/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 6822722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 7582.658 PropClause: 7389.084 Set: 1467.236 Check: 0.0 Back: 156.915
INFO - Atoms: 37534/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 6860237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 7619.789 PropClause: 7425.181 Set: 1474.344 Check: 0.0 Back: 157.781
INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 6897912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.169 Prop: 7656.046 PropClause: 7460.388 Set: 1481.463 Check: 0.0 Back: 158.66
INFO - Atoms: 37675/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 6935427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.181 Prop: 7694.253 PropClause: 7497.549 Set: 1488.803 Check: 0.0 Back: 159.547
INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 6973081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.191 Prop: 7729.896 PropClause: 7532.136 Set: 1495.913 Check: 0.0 Back: 160.447
INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 7010138 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.199 Prop: 7765.208 PropClause: 7566.425 Set: 1502.891 Check: 0.0 Back: 161.313
INFO - Atoms: 37057/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 7047670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 7802.885 PropClause: 7603.053 Set: 1510.089 Check: 0.0 Back: 162.162
INFO - Atoms: 37532/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 7085325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.219 Prop: 7842.356 PropClause: 7641.487 Set: 1517.364 Check: 0.0 Back: 163.025
INFO - Atoms: 37655/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 7122998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.228 Prop: 7878.881 PropClause: 7676.968 Set: 1524.582 Check: 0.0 Back: 163.901
INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 7160513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.237 Prop: 7915.619 PropClause: 7712.673 Set: 1531.738 Check: 0.0 Back: 164.769
INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 7198165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.248 Prop: 7951.325 PropClause: 7747.34 Set: 1538.863 Check: 0.0 Back: 165.645
INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 7235223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.257 Prop: 7988.354 PropClause: 7783.352 Set: 1545.849 Check: 0.0 Back: 166.511
INFO - Atoms: 37058/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 7272755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.3 Prop: 8026.012 PropClause: 7819.974 Set: 1553.013 Check: 0.0 Back: 167.358
INFO - Atoms: 37532/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 7310410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.339 Prop: 8063.317 PropClause: 7856.24 Set: 1560.252 Check: 0.0 Back: 168.229
INFO - Atoms: 37655/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 7348083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.349 Prop: 8101.08 PropClause: 7892.964 Set: 1567.484 Check: 0.0 Back: 169.111
INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 7385598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.361 Prop: 8138.334 PropClause: 7929.178 Set: 1574.72 Check: 0.0 Back: 170.011
INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 7423250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.369 Prop: 8174.929 PropClause: 7964.731 Set: 1581.964 Check: 0.0 Back: 170.872
INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 7460308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.379 Prop: 8214.121 PropClause: 8002.898 Set: 1589.064 Check: 0.0 Back: 171.742
INFO - Atoms: 37058/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 7497841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 8249.306 PropClause: 8037.046 Set: 1596.261 Check: 0.0 Back: 172.591
INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 7535495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.404 Prop: 8284.649 PropClause: 8071.346 Set: 1603.46 Check: 0.0 Back: 173.476
INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 7572540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 8321.319 PropClause: 8106.99 Set: 1610.538 Check: 0.0 Back: 174.338
INFO - Atoms: 37045/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 7610192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 8357.128 PropClause: 8141.76 Set: 1617.741 Check: 0.0 Back: 175.193
INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 7647727 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.437 Prop: 8392.502 PropClause: 8176.1 Set: 1624.829 Check: 0.0 Back: 176.062
INFO - Atoms: 37535/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 7684784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 8430.511 PropClause: 8213.082 Set: 1631.941 Check: 0.0 Back: 176.957
INFO - Atoms: 37057/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 7722319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.457 Prop: 8469.665 PropClause: 8251.197 Set: 1639.179 Check: 0.0 Back: 177.82
INFO - Atoms: 37535/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 7759971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.466 Prop: 8510.104 PropClause: 8290.595 Set: 1646.507 Check: 0.0 Back: 178.686
INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 7797644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.475 Prop: 8546.914 PropClause: 8326.368 Set: 1653.718 Check: 0.0 Back: 179.55
INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 7835159 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.484 Prop: 8584.548 PropClause: 8362.964 Set: 1660.933 Check: 0.0 Back: 180.424
INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 7872813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.494 Prop: 8624.088 PropClause: 8401.466 Set: 1668.152 Check: 0.0 Back: 181.285
INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 7909857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.505 Prop: 8660.484 PropClause: 8436.842 Set: 1675.187 Check: 0.0 Back: 182.154
INFO - Atoms: 37044/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 7947390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.517 Prop: 8696.578 PropClause: 8471.872 Set: 1682.385 Check: 0.0 Back: 182.996
INFO - Atoms: 37533/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 7985044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 8735.529 PropClause: 8509.78 Set: 1714.465 Check: 0.0 Back: 183.87
INFO - Atoms: 37654/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 8022717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.539 Prop: 8772.958 PropClause: 8546.165 Set: 1721.743 Check: 0.0 Back: 184.733
INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 8060232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 8813.982 PropClause: 8586.153 Set: 1728.997 Check: 0.0 Back: 185.606
INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 8097884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.564 Prop: 8851.365 PropClause: 8622.478 Set: 1736.179 Check: 0.0 Back: 186.465
INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 8134942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.576 Prop: 8889.351 PropClause: 8659.437 Set: 1743.297 Check: 0.0 Back: 187.331
INFO - Atoms: 37058/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 8172474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 8926.01 PropClause: 8695.061 Set: 1750.5 Check: 0.0 Back: 188.177
INFO - Atoms: 37532/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 8210129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.626 Prop: 8963.769 PropClause: 8731.781 Set: 1757.76 Check: 0.0 Back: 189.044
INFO - Atoms: 37655/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 8247802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 9000.022 PropClause: 8766.985 Set: 1764.932 Check: 0.0 Back: 189.91
INFO - Atoms: 37673/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 8285317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.707 Prop: 9039.483 PropClause: 8805.327 Set: 1772.197 Check: 0.0 Back: 190.779
INFO - Atoms: 37515/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 8322969 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.757 Prop: 9075.859 PropClause: 8840.668 Set: 1779.319 Check: 0.0 Back: 191.641
INFO - Atoms: 37652/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 8360026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.819 Prop: 9112.479 PropClause: 8876.263 Set: 1786.365 Check: 0.0 Back: 192.511
INFO - Atoms: 37057/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 8397724 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.861 Prop: 9148.948 PropClause: 8911.685 Set: 1793.597 Check: 0.0 Back: 193.368
INFO - Atoms: 37698/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 8435402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.868 Prop: 9186.789 PropClause: 8948.477 Set: 1800.873 Check: 0.0 Back: 194.248
INFO - Atoms: 37678/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 8473237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.875 Prop: 9224.496 PropClause: 8985.141 Set: 1808.12 Check: 0.0 Back: 195.119
INFO - Atoms: 37835/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 8510999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.882 Prop: 9262.343 PropClause: 9021.936 Set: 1815.436 Check: 0.0 Back: 195.996
INFO - Atoms: 37762/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 8548586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.887 Prop: 9298.179 PropClause: 9056.741 Set: 1822.534 Check: 0.0 Back: 196.862
INFO - Atoms: 37587/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 8585852 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.894 Prop: 9334.681 PropClause: 9092.211 Set: 1829.627 Check: 0.0 Back: 197.733
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 8623254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.899 Prop: 9372.533 PropClause: 9129.031 Set: 1836.796 Check: 0.0 Back: 198.581
INFO - Atoms: 37402/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 8660522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.904 Prop: 9405.632 PropClause: 9161.102 Set: 1843.828 Check: 0.0 Back: 199.444
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 8697946 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.91 Prop: 9442.427 PropClause: 9196.867 Set: 1851.011 Check: 0.0 Back: 200.293
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 8735212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.916 Prop: 9476.543 PropClause: 9229.949 Set: 1858.113 Check: 0.0 Back: 201.161
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 8772615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.921 Prop: 9510.918 PropClause: 9263.273 Set: 1865.184 Check: 0.0 Back: 202.016
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 8809410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.927 Prop: 9547.183 PropClause: 9298.528 Set: 1872.173 Check: 0.0 Back: 202.879
INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 8846815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.932 Prop: 9583.89 PropClause: 9334.209 Set: 1879.312 Check: 0.0 Back: 203.72
INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 8884083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 9619.202 PropClause: 9368.494 Set: 1886.385 Check: 0.0 Back: 204.584
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 8921507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 9651.974 PropClause: 9400.228 Set: 1893.43 Check: 0.0 Back: 205.448
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 8958773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.949 Prop: 9685.084 PropClause: 9432.311 Set: 1900.508 Check: 0.0 Back: 206.32
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 8996176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 9718.615 PropClause: 9464.812 Set: 1907.62 Check: 0.0 Back: 207.18
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 9032986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.96 Prop: 9748.629 PropClause: 9493.804 Set: 1914.455 Check: 0.0 Back: 208.042
INFO - Atoms: 36810/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 9070390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.964 Prop: 9778.925 PropClause: 9523.061 Set: 1921.467 Check: 0.0 Back: 208.887
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 9107658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.971 Prop: 9809.239 PropClause: 9552.347 Set: 1928.446 Check: 0.0 Back: 209.747
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 9145082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.977 Prop: 9839.899 PropClause: 9581.974 Set: 1935.474 Check: 0.0 Back: 210.606
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 9182348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.982 Prop: 9871.535 PropClause: 9612.582 Set: 1942.46 Check: 0.0 Back: 211.471
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 9219751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.986 Prop: 9905.526 PropClause: 9645.538 Set: 1949.536 Check: 0.0 Back: 212.327
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 9256560 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.992 Prop: 9940.235 PropClause: 9679.23 Set: 1956.654 Check: 0.0 Back: 213.194
INFO - Atoms: 36809/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 9293965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.997 Prop: 9975.285 PropClause: 9713.251 Set: 1963.813 Check: 0.0 Back: 214.037
INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 9331233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 10011.591 PropClause: 9748.525 Set: 1970.918 Check: 0.0 Back: 214.904
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 9368657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.008 Prop: 10047.795 PropClause: 9783.696 Set: 1978.088 Check: 0.0 Back: 215.769
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 9405923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.012 Prop: 10081.414 PropClause: 9816.289 Set: 1985.148 Check: 0.0 Back: 216.636
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 9443326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.018 Prop: 10117.867 PropClause: 9851.697 Set: 1992.309 Check: 0.0 Back: 217.488
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 9480134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 10150.536 PropClause: 9883.351 Set: 1999.19 Check: 0.0 Back: 218.349
INFO - Atoms: 36808/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 9517538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.028 Prop: 10182.782 PropClause: 9914.568 Set: 2006.24 Check: 0.0 Back: 219.196
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 9554806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.034 Prop: 10216.289 PropClause: 9947.041 Set: 2013.299 Check: 0.0 Back: 220.056
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 9592230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.039 Prop: 10251.888 PropClause: 9981.601 Set: 2020.402 Check: 0.0 Back: 220.911
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 9629496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.044 Prop: 10286.059 PropClause: 10014.741 Set: 2027.486 Check: 0.0 Back: 221.777
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 9666899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.05 Prop: 10319.495 PropClause: 10047.143 Set: 2034.584 Check: 0.0 Back: 222.641
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 9703707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.056 Prop: 10357.147 PropClause: 10083.786 Set: 2041.632 Check: 0.0 Back: 223.505
INFO - Atoms: 36808/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 9741111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.063 Prop: 10391.377 PropClause: 10116.98 Set: 2048.722 Check: 0.0 Back: 224.343
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 9778379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.067 Prop: 10425.485 PropClause: 10150.067 Set: 2055.884 Check: 0.0 Back: 225.201
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 9815803 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.072 Prop: 10458.436 PropClause: 10181.99 Set: 2062.905 Check: 0.0 Back: 226.051
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 9853069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.078 Prop: 10490.217 PropClause: 10212.749 Set: 2069.887 Check: 0.0 Back: 226.907
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 9890472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.083 Prop: 10521.311 PropClause: 10242.816 Set: 2076.843 Check: 0.0 Back: 227.757
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 9927267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 10553.194 PropClause: 10273.688 Set: 2083.742 Check: 0.0 Back: 228.62
INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 9964671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.092 Prop: 10586.568 PropClause: 10306.024 Set: 2090.82 Check: 0.0 Back: 229.458
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 10001939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.097 Prop: 10620.725 PropClause: 10339.146 Set: 2097.986 Check: 0.0 Back: 230.326
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 10039363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.103 Prop: 10653.771 PropClause: 10371.157 Set: 2105.053 Check: 0.0 Back: 231.179
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 10076629 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.108 Prop: 10688.569 PropClause: 10404.932 Set: 2112.168 Check: 0.0 Back: 232.055
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 10114032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.113 Prop: 10722.722 PropClause: 10438.055 Set: 2119.257 Check: 0.0 Back: 232.906
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 10150841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 10756.706 PropClause: 10471.015 Set: 2126.252 Check: 0.0 Back: 233.767
INFO - Atoms: 36809/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 10188245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.125 Prop: 10790.752 PropClause: 10504.028 Set: 2141.548 Check: 0.0 Back: 234.611
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 10225513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.13 Prop: 10829.235 PropClause: 10541.473 Set: 2148.835 Check: 0.0 Back: 235.477
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 10262937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.135 Prop: 10863.776 PropClause: 10574.985 Set: 2155.981 Check: 0.0 Back: 236.324
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 10300203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 10898.245 PropClause: 10608.43 Set: 2163.071 Check: 0.0 Back: 237.194
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 10337606 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.145 Prop: 10932.476 PropClause: 10641.633 Set: 2170.12 Check: 0.0 Back: 238.046
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 10374401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.151 Prop: 10966.811 PropClause: 10674.953 Set: 2177.087 Check: 0.0 Back: 238.912
INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 10411806 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.156 Prop: 11000.868 PropClause: 10707.98 Set: 2184.203 Check: 0.0 Back: 239.758
INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 10449074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 11035.704 PropClause: 10741.796 Set: 2191.273 Check: 0.0 Back: 240.636
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 10486498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.167 Prop: 11069.571 PropClause: 10774.629 Set: 2198.392 Check: 0.0 Back: 241.491
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 10523764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.171 Prop: 11104.126 PropClause: 10808.152 Set: 2205.499 Check: 0.0 Back: 242.352
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 10561167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.176 Prop: 11138.944 PropClause: 10841.937 Set: 2212.573 Check: 0.0 Back: 243.208
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 10597976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.181 Prop: 11172.436 PropClause: 10874.409 Set: 2219.545 Check: 0.0 Back: 244.065
INFO - Atoms: 36809/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 10635380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.186 Prop: 11206.861 PropClause: 10907.803 Set: 2226.715 Check: 0.0 Back: 244.914
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 10672648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.191 Prop: 11239.65 PropClause: 10939.563 Set: 2233.752 Check: 0.0 Back: 245.783
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 10710072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.195 Prop: 11271.519 PropClause: 10970.401 Set: 2240.818 Check: 0.0 Back: 246.638
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 10747338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.201 Prop: 11304.623 PropClause: 11002.475 Set: 2247.894 Check: 0.0 Back: 247.504
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 10784741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 11338.943 PropClause: 11035.765 Set: 2255.041 Check: 0.0 Back: 248.368
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 10821549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.213 Prop: 11374.719 PropClause: 11070.525 Set: 2262.091 Check: 0.0 Back: 249.246
INFO - Atoms: 36808/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 10858953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.219 Prop: 11407.696 PropClause: 11102.476 Set: 2269.213 Check: 0.0 Back: 250.094
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 10896221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.224 Prop: 11444.425 PropClause: 11138.175 Set: 2276.365 Check: 0.0 Back: 250.954
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 10933645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.23 Prop: 11479.376 PropClause: 11172.099 Set: 2283.557 Check: 0.0 Back: 251.813
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 10970911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 11514.674 PropClause: 11206.368 Set: 2290.681 Check: 0.0 Back: 252.685
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 11008314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.24 Prop: 11550.6 PropClause: 11241.263 Set: 2297.833 Check: 0.0 Back: 253.558
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 11045109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.245 Prop: 11588.467 PropClause: 11278.115 Set: 2304.846 Check: 0.0 Back: 254.436
INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 11082513 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.252 Prop: 11624.058 PropClause: 11312.626 Set: 2312.007 Check: 0.0 Back: 255.283
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 11119781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.258 Prop: 11660.208 PropClause: 11347.748 Set: 2319.178 Check: 0.0 Back: 256.147
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 11157205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.263 Prop: 11695.259 PropClause: 11381.766 Set: 2326.366 Check: 0.0 Back: 257.002
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 11194471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.269 Prop: 11730.563 PropClause: 11416.043 Set: 2333.493 Check: 0.0 Back: 257.869
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 11231874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.276 Prop: 11767.27 PropClause: 11451.706 Set: 2340.719 Check: 0.0 Back: 258.727
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 11268684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.281 Prop: 11804.066 PropClause: 11487.486 Set: 2347.753 Check: 0.0 Back: 259.603
INFO - Atoms: 36810/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 11306089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.286 Prop: 11838.994 PropClause: 11521.387 Set: 2354.902 Check: 0.0 Back: 260.448
INFO - Atoms: 37405/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 11343357 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 11874.704 PropClause: 11556.077 Set: 2361.993 Check: 0.0 Back: 261.307
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 11380781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.297 Prop: 11910.484 PropClause: 11590.824 Set: 2369.148 Check: 0.0 Back: 262.164
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 11418047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.303 Prop: 11943.102 PropClause: 11622.416 Set: 2376.129 Check: 0.0 Back: 263.026
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 11455450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.309 Prop: 11979.21 PropClause: 11657.493 Set: 2383.321 Check: 0.0 Back: 263.895
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 11492245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.315 Prop: 12011.732 PropClause: 11689.001 Set: 2390.299 Check: 0.0 Back: 264.758
INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 11529649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.323 Prop: 12046.478 PropClause: 11722.716 Set: 2397.408 Check: 0.0 Back: 265.599
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 11566917 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 12082.89 PropClause: 11758.102 Set: 2404.551 Check: 0.0 Back: 266.462
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 11604341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.338 Prop: 12118.182 PropClause: 11792.366 Set: 2411.628 Check: 0.0 Back: 267.313
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 11641607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.345 Prop: 12154.327 PropClause: 11827.482 Set: 2418.82 Check: 0.0 Back: 268.17
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 11679010 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.352 Prop: 12189.762 PropClause: 11861.883 Set: 2425.962 Check: 0.0 Back: 269.022
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 11715805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.359 Prop: 12226.045 PropClause: 11897.132 Set: 2433.003 Check: 0.0 Back: 269.881
INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 11753209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.366 Prop: 12258.835 PropClause: 11928.889 Set: 2440.133 Check: 0.0 Back: 270.722
INFO - Atoms: 37404/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 11790477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.373 Prop: 12294.589 PropClause: 11963.616 Set: 2447.537 Check: 0.0 Back: 271.582
INFO - Atoms: 37268/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 11827901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.379 Prop: 12328.238 PropClause: 11996.224 Set: 2454.604 Check: 0.0 Back: 272.431
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 11865167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.386 Prop: 12360.999 PropClause: 12027.95 Set: 2461.666 Check: 0.0 Back: 273.29
INFO - Atoms: 37266/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 11902570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.393 Prop: 12394.215 PropClause: 12060.078 Set: 2468.769 Check: 0.0 Back: 274.138
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 11939365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.399 Prop: 12427.933 PropClause: 12092.779 Set: 2475.735 Check: 0.0 Back: 275.007
INFO - Atoms: 36795/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 11976814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.407 Prop: 12460.984 PropClause: 12124.798 Set: 2482.802 Check: 0.0 Back: 275.862
INFO - Atoms: 37449/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 12014243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.415 Prop: 12495.289 PropClause: 12158.068 Set: 2489.905 Check: 0.0 Back: 276.729
INFO - Atoms: 37429/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 12051830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.42 Prop: 12531.121 PropClause: 12192.862 Set: 2497.023 Check: 0.0 Back: 277.606
INFO - Atoms: 37587/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 12089270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 12565.715 PropClause: 12226.416 Set: 2504.2 Check: 0.0 Back: 278.488
INFO - Atoms: 37440/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 12126374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.432 Prop: 12600.098 PropClause: 12259.778 Set: 2511.241 Check: 0.0 Back: 279.348
INFO - Atoms: 37104/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 12163615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.438 Prop: 12634.65 PropClause: 12293.299 Set: 2518.375 Check: 0.0 Back: 280.208
INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 12200720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.445 Prop: 12665.059 PropClause: 12322.683 Set: 2525.284 Check: 0.0 Back: 281.064
INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 12237994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.452 Prop: 12699.127 PropClause: 12355.719 Set: 2532.401 Check: 0.0 Back: 281.923
INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 12275097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.458 Prop: 12734.598 PropClause: 12390.157 Set: 2539.486 Check: 0.0 Back: 282.775
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 12312339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 12767.799 PropClause: 12422.318 Set: 2546.513 Check: 0.0 Back: 283.636
INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 12348972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.47 Prop: 12798.625 PropClause: 12452.116 Set: 2553.399 Check: 0.0 Back: 284.496
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 12386213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.477 Prop: 12829.468 PropClause: 12481.909 Set: 2560.457 Check: 0.0 Back: 285.343
INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 12423335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.483 Prop: 12864.214 PropClause: 12515.625 Set: 2567.587 Check: 0.0 Back: 286.198
INFO - Atoms: 37122/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 12460609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.489 Prop: 12898.071 PropClause: 12548.447 Set: 2574.727 Check: 0.0 Back: 287.057
INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 12497712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.494 Prop: 12931.825 PropClause: 12581.174 Set: 2581.792 Check: 0.0 Back: 287.913
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 12534952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.5 Prop: 12966.047 PropClause: 12614.355 Set: 2588.903 Check: 0.0 Back: 288.775
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 12572213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 13000.854 PropClause: 12648.112 Set: 2596.028 Check: 0.0 Back: 289.629
INFO - Atoms: 37261/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 12609454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.51 Prop: 13035.004 PropClause: 12681.229 Set: 2603.146 Check: 0.0 Back: 290.503
INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 12646559 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.516 Prop: 13071.434 PropClause: 12716.633 Set: 2610.242 Check: 0.0 Back: 291.359
INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 12683833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.522 Prop: 13104.857 PropClause: 12749.02 Set: 2617.357 Check: 0.0 Back: 292.219
INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 12720936 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.529 Prop: 13138.592 PropClause: 12781.727 Set: 2624.429 Check: 0.0 Back: 293.086
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 12758178 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.534 Prop: 13172.081 PropClause: 12814.184 Set: 2631.559 Check: 0.0 Back: 293.951
INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 12794811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.541 Prop: 13204.95 PropClause: 12846.032 Set: 2638.552 Check: 0.0 Back: 294.811
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 12832052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.546 Prop: 13238.009 PropClause: 12878.047 Set: 2645.711 Check: 0.0 Back: 295.659
INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 12869174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.551 Prop: 13272.59 PropClause: 12911.595 Set: 2652.811 Check: 0.0 Back: 296.539
INFO - Atoms: 37122/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 12906434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.556 Prop: 13307.226 PropClause: 12945.194 Set: 2659.908 Check: 0.0 Back: 297.4
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 12943537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.563 Prop: 13342.518 PropClause: 12979.432 Set: 2667.109 Check: 0.0 Back: 298.263
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 12980777 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.569 Prop: 13378.047 PropClause: 13013.929 Set: 2674.33 Check: 0.0 Back: 299.126
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 13017410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.574 Prop: 13409.266 PropClause: 13044.137 Set: 2681.202 Check: 0.0 Back: 299.986
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 13054649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 13440.709 PropClause: 13074.551 Set: 2688.3 Check: 0.0 Back: 300.833
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 13091773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.588 Prop: 13475.264 PropClause: 13108.062 Set: 2705.285 Check: 0.0 Back: 301.689
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 13129033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.594 Prop: 13507.351 PropClause: 13139.125 Set: 2712.358 Check: 0.0 Back: 302.564
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 13166136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.599 Prop: 13539.671 PropClause: 13170.422 Set: 2719.369 Check: 0.0 Back: 303.429
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 13203376 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.604 Prop: 13572.123 PropClause: 13201.851 Set: 2726.419 Check: 0.0 Back: 304.282
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 13240009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.61 Prop: 13605.576 PropClause: 13234.299 Set: 2733.316 Check: 0.0 Back: 305.129
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 13277248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.615 Prop: 13640.295 PropClause: 13267.987 Set: 2740.488 Check: 0.0 Back: 305.978
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 13314372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.621 Prop: 13675.828 PropClause: 13302.501 Set: 2747.559 Check: 0.0 Back: 306.827
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 13351647 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.626 Prop: 13712.764 PropClause: 13338.409 Set: 2754.802 Check: 0.0 Back: 307.681
INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 13388750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.631 Prop: 13748.404 PropClause: 13373.029 Set: 2761.921 Check: 0.0 Back: 308.543
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 13425990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.635 Prop: 13784.797 PropClause: 13408.397 Set: 2769.12 Check: 0.0 Back: 309.403
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 13462623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.64 Prop: 13821.721 PropClause: 13444.312 Set: 2776.128 Check: 0.0 Back: 310.254
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 13499863 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.646 Prop: 13857.206 PropClause: 13478.771 Set: 2783.395 Check: 0.0 Back: 311.093
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 13536986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.651 Prop: 13892.518 PropClause: 13513.061 Set: 2790.534 Check: 0.0 Back: 311.95
INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 13574246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.658 Prop: 13928.618 PropClause: 13548.107 Set: 2797.772 Check: 0.0 Back: 312.809
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 13611349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.664 Prop: 13964.276 PropClause: 13582.739 Set: 2804.916 Check: 0.0 Back: 313.674
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 13648589 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.669 Prop: 14000.876 PropClause: 13618.311 Set: 2812.155 Check: 0.0 Back: 314.533
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 13685222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.674 Prop: 14037.475 PropClause: 13653.901 Set: 2819.177 Check: 0.0 Back: 315.403
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 13722462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.679 Prop: 14073.174 PropClause: 13688.576 Set: 2826.402 Check: 0.0 Back: 316.254
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 13759585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.683 Prop: 14108.536 PropClause: 13722.914 Set: 2833.545 Check: 0.0 Back: 317.102
INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 13796860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.689 Prop: 14145.467 PropClause: 13758.808 Set: 2840.716 Check: 0.0 Back: 317.959
INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 13833963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.694 Prop: 14181.693 PropClause: 13794.017 Set: 2847.814 Check: 0.0 Back: 318.819
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 13871203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.7 Prop: 14217.1 PropClause: 13828.355 Set: 2855.011 Check: 0.0 Back: 319.673
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 13907836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.705 Prop: 14252.722 PropClause: 13862.972 Set: 2861.987 Check: 0.0 Back: 320.528
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 13945075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.71 Prop: 14289.049 PropClause: 13898.272 Set: 2869.22 Check: 0.0 Back: 321.372
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 13982199 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.715 Prop: 14325.867 PropClause: 13934.062 Set: 2876.383 Check: 0.0 Back: 322.228
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 14019459 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.721 Prop: 14361.829 PropClause: 13968.995 Set: 2891.441 Check: 0.0 Back: 323.084
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 14056562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.727 Prop: 14398.289 PropClause: 14004.413 Set: 2898.608 Check: 0.0 Back: 323.942
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 14093802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.733 Prop: 14434.819 PropClause: 14039.904 Set: 2905.875 Check: 0.0 Back: 324.811
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 14130435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.737 Prop: 14472.196 PropClause: 14076.274 Set: 2912.922 Check: 0.0 Back: 325.665
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 14167675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.742 Prop: 14509.126 PropClause: 14112.176 Set: 2920.198 Check: 0.0 Back: 326.525
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 14204798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.747 Prop: 14545.481 PropClause: 14147.507 Set: 2927.375 Check: 0.0 Back: 327.381
INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 14242073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.754 Prop: 14583.469 PropClause: 14184.46 Set: 2934.661 Check: 0.0 Back: 328.234
INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 14279176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.759 Prop: 14621.751 PropClause: 14221.713 Set: 2941.856 Check: 0.0 Back: 329.1
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 14316416 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.765 Prop: 14658.797 PropClause: 14257.716 Set: 2949.095 Check: 0.0 Back: 329.964
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 14353049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.77 Prop: 14694.883 PropClause: 14292.785 Set: 2956.111 Check: 0.0 Back: 330.831
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 14390288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.776 Prop: 14730.592 PropClause: 14327.462 Set: 2963.366 Check: 0.0 Back: 331.693
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 14427412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.782 Prop: 14768.278 PropClause: 14364.114 Set: 2970.629 Check: 0.0 Back: 332.567
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 14464672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.789 Prop: 14805.801 PropClause: 14400.601 Set: 2986.351 Check: 0.0 Back: 333.425
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 14501775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.794 Prop: 14843.303 PropClause: 14437.076 Set: 2993.562 Check: 0.0 Back: 334.289
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 14539015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.799 Prop: 14880.015 PropClause: 14472.753 Set: 3000.803 Check: 0.0 Back: 335.152
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 14575648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.805 Prop: 14917.103 PropClause: 14508.83 Set: 3007.817 Check: 0.0 Back: 336.019
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 14612887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.811 Prop: 14954.162 PropClause: 14544.86 Set: 3015.081 Check: 0.0 Back: 336.863
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 14650011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.816 Prop: 14991.069 PropClause: 14580.735 Set: 3022.219 Check: 0.0 Back: 337.72
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 14687271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.821 Prop: 15026.438 PropClause: 14615.079 Set: 3029.447 Check: 0.0 Back: 338.587
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 14724374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.827 Prop: 15061.642 PropClause: 14649.26 Set: 3036.597 Check: 0.0 Back: 339.444
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 14761614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.833 Prop: 15097.792 PropClause: 14684.386 Set: 3043.749 Check: 0.0 Back: 340.294
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 14798247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.838 Prop: 15133.058 PropClause: 14718.645 Set: 3050.779 Check: 0.0 Back: 341.163
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 14835487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.844 Prop: 15168.892 PropClause: 14753.456 Set: 3058.003 Check: 0.0 Back: 342.008
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 14872610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.849 Prop: 15203.817 PropClause: 14787.358 Set: 3065.173 Check: 0.0 Back: 342.863
INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 14909884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.855 Prop: 15239.944 PropClause: 14822.456 Set: 3080.384 Check: 0.0 Back: 343.715
INFO - Atoms: 37274/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 14946987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.862 Prop: 15276.702 PropClause: 14858.188 Set: 3087.582 Check: 0.0 Back: 344.57
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 14984227 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.867 Prop: 15314.425 PropClause: 14894.882 Set: 3094.85 Check: 0.0 Back: 345.427
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 15020860 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.876 Prop: 15352.039 PropClause: 14931.471 Set: 3101.942 Check: 0.0 Back: 346.286
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 15058099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.881 Prop: 15388.374 PropClause: 14966.77 Set: 3109.238 Check: 0.0 Back: 347.131
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 15095223 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.889 Prop: 15425.646 PropClause: 15003.003 Set: 3116.531 Check: 0.0 Back: 348.0
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 15132496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.894 Prop: 15463.596 PropClause: 15039.897 Set: 3123.806 Check: 0.0 Back: 348.858
INFO - Atoms: 37273/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 15169599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.899 Prop: 15496.821 PropClause: 15072.101 Set: 3130.825 Check: 0.0 Back: 349.72
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 15206839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.904 Prop: 15530.229 PropClause: 15104.474 Set: 3137.962 Check: 0.0 Back: 350.579
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 15244102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.908 Prop: 15563.254 PropClause: 15136.475 Set: 3145.052 Check: 0.0 Back: 351.425
INFO - Atoms: 37263/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 15281343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.913 Prop: 15596.865 PropClause: 15169.06 Set: 3152.13 Check: 0.0 Back: 352.286
INFO - Atoms: 37241/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 15318448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.919 Prop: 15630.12 PropClause: 15201.295 Set: 3159.211 Check: 0.0 Back: 353.134
INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 15355708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.927 Prop: 15667.315 PropClause: 15237.443 Set: 3166.571 Check: 0.0 Back: 353.989
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 15392811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.933 Prop: 15701.476 PropClause: 15270.57 Set: 3173.637 Check: 0.0 Back: 354.856
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 15430053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.937 Prop: 15734.941 PropClause: 15302.997 Set: 3180.77 Check: 0.0 Back: 355.708
INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 15466686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.941 Prop: 15769.226 PropClause: 15336.278 Set: 3187.704 Check: 0.0 Back: 356.568
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 15503928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.946 Prop: 15799.975 PropClause: 15366.001 Set: 3194.777 Check: 0.0 Back: 357.414
INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 15541049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.951 Prop: 15831.536 PropClause: 15396.546 Set: 3201.78 Check: 0.0 Back: 358.265
INFO - Atoms: 37121/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 15578309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.957 Prop: 15862.827 PropClause: 15426.808 Set: 3208.822 Check: 0.0 Back: 359.114
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 15615412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.964 Prop: 15894.466 PropClause: 15457.422 Set: 3215.867 Check: 0.0 Back: 359.973
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 15652652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.972 Prop: 15930.172 PropClause: 15492.086 Set: 3223.029 Check: 0.0 Back: 360.825
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 15689285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.977 Prop: 15962.349 PropClause: 15523.25 Set: 3230.012 Check: 0.0 Back: 361.681
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 15726525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.985 Prop: 15997.627 PropClause: 15557.499 Set: 3237.241 Check: 0.0 Back: 362.524
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 15763648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.989 Prop: 16031.992 PropClause: 15590.84 Set: 3244.403 Check: 0.0 Back: 363.376
INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 15800908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.995 Prop: 16065.463 PropClause: 15623.285 Set: 3251.571 Check: 0.0 Back: 364.23
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 15838011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.002 Prop: 16100.205 PropClause: 15657.001 Set: 3258.728 Check: 0.0 Back: 365.09
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 15875251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.008 Prop: 16134.882 PropClause: 15690.641 Set: 3265.941 Check: 0.0 Back: 365.945
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 15911884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.013 Prop: 16169.32 PropClause: 15724.069 Set: 3272.956 Check: 0.0 Back: 366.798
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 15949123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.017 Prop: 16204.177 PropClause: 15757.887 Set: 3280.18 Check: 0.0 Back: 367.642
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 15986247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.024 Prop: 16241.616 PropClause: 15794.302 Set: 3287.453 Check: 0.0 Back: 368.497
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 16023507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.03 Prop: 16275.907 PropClause: 15827.567 Set: 3294.672 Check: 0.0 Back: 369.354
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 16060610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.036 Prop: 16310.278 PropClause: 15860.917 Set: 3301.756 Check: 0.0 Back: 370.208
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 16097850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.041 Prop: 16344.492 PropClause: 15894.102 Set: 3308.906 Check: 0.0 Back: 371.061
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 16134483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.048 Prop: 16378.715 PropClause: 15927.314 Set: 3315.924 Check: 0.0 Back: 371.926
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 16171722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.054 Prop: 16412.822 PropClause: 15960.394 Set: 3323.117 Check: 0.0 Back: 372.768
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 16208846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.06 Prop: 16449.258 PropClause: 15995.804 Set: 3346.76 Check: 0.0 Back: 373.626
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 16246121 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.066 Prop: 16485.146 PropClause: 16030.658 Set: 3353.941 Check: 0.0 Back: 374.48
INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 16283224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.072 Prop: 16521.75 PropClause: 16066.241 Set: 3361.162 Check: 0.0 Back: 375.333
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 16320464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.077 Prop: 16558.612 PropClause: 16102.08 Set: 3368.37 Check: 0.0 Back: 376.176
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 16357097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.081 Prop: 16595.632 PropClause: 16138.096 Set: 3375.401 Check: 0.0 Back: 377.029
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 16394337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.086 Prop: 16626.547 PropClause: 16167.99 Set: 3382.484 Check: 0.0 Back: 377.873
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 16431460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.091 Prop: 16658.349 PropClause: 16198.773 Set: 3389.543 Check: 0.0 Back: 378.731
INFO - Atoms: 37123/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 16468720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.095 Prop: 16689.144 PropClause: 16228.548 Set: 3396.612 Check: 0.0 Back: 379.579
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 16505823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.102 Prop: 16722.475 PropClause: 16260.851 Set: 3403.74 Check: 0.0 Back: 380.432
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 16543063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.107 Prop: 16755.66 PropClause: 16293.014 Set: 3410.844 Check: 0.0 Back: 381.31
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 16580324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.113 Prop: 16792.029 PropClause: 16328.343 Set: 3418.092 Check: 0.0 Back: 382.164
INFO - Atoms: 37261/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 16617566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.12 Prop: 16824.774 PropClause: 16360.067 Set: 3425.22 Check: 0.0 Back: 383.02
INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 16654671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.126 Prop: 16859.273 PropClause: 16393.549 Set: 3432.422 Check: 0.0 Back: 383.874
INFO - Atoms: 37105/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 16691931 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.131 Prop: 16893.452 PropClause: 16426.705 Set: 3439.552 Check: 0.0 Back: 384.72
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 16729034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.138 Prop: 16928.264 PropClause: 16460.492 Set: 3446.678 Check: 0.0 Back: 385.571
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 16766276 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.144 Prop: 16963.277 PropClause: 16494.474 Set: 3453.894 Check: 0.0 Back: 386.424
INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 16802909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.15 Prop: 16997.424 PropClause: 16527.611 Set: 3460.892 Check: 0.0 Back: 387.289
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 16840151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.155 Prop: 17031.967 PropClause: 16561.117 Set: 3468.126 Check: 0.0 Back: 388.135
INFO - Atoms: 37242/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 16877272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.16 Prop: 17069.084 PropClause: 16597.212 Set: 3475.426 Check: 0.0 Back: 388.991
INFO - Atoms: 37121/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 16914547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.165 Prop: 17104.535 PropClause: 16631.635 Set: 3482.613 Check: 0.0 Back: 389.848
INFO - Atoms: 37275/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 16951650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.17 Prop: 17139.721 PropClause: 16665.803 Set: 3489.711 Check: 0.0 Back: 390.702
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 16988890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.175 Prop: 17175.28 PropClause: 16700.333 Set: 3496.85 Check: 0.0 Back: 391.559
INFO - Atoms: 37240/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 17025523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.18 Prop: 17210.779 PropClause: 16734.812 Set: 3503.824 Check: 0.0 Back: 392.407
INFO - Atoms: 36633/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 17062762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.185 Prop: 17246.482 PropClause: 16769.494 Set: 3511.033 Check: 0.0 Back: 393.249
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 17099886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.191 Prop: 17283.06 PropClause: 16805.053 Set: 3518.236 Check: 0.0 Back: 394.098
INFO - Atoms: 37124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 17137146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.197 Prop: 17318.531 PropClause: 16839.503 Set: 3525.406 Check: 0.0 Back: 394.945
INFO - Atoms: 37260/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 17174249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.203 Prop: 17354.988 PropClause: 16874.923 Set: 3532.637 Check: 0.0 Back: 395.814
INFO - Atoms: 37103/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 17211488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.208 Prop: 17389.984 PropClause: 16908.898 Set: 3539.808 Check: 0.0 Back: 396.665
INFO - Atoms: 37239/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 17248751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.212 Prop: 17426.416 PropClause: 16944.31 Set: 3547.022 Check: 0.0 Back: 397.522
INFO - Atoms: 37263/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 17286154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.22 Prop: 17460.479 PropClause: 16977.322 Set: 3554.272 Check: 0.0 Back: 398.376
INFO - Atoms: 37403/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 17323421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.228 Prop: 17493.729 PropClause: 17009.546 Set: 3561.398 Check: 0.0 Back: 399.234
INFO - Atoms: 37267/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 17360845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.233 Prop: 17526.435 PropClause: 17041.213 Set: 3568.585 Check: 0.0 Back: 400.088
INFO - Atoms: 37424/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 17397802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.238 Prop: 17558.986 PropClause: 17072.744 Set: 3575.659 Check: 0.0 Back: 400.95
INFO - Atoms: 36957/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 17434830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.243 Prop: 17591.509 PropClause: 17104.239 Set: 3582.704 Check: 0.0 Back: 401.805
INFO - Atoms: 37028/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 17471472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.25 Prop: 17627.294 PropClause: 17139.013 Set: 3589.735 Check: 0.0 Back: 402.657
INFO - Atoms: 36642/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 17508660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.257 Prop: 17663.613 PropClause: 17174.294 Set: 3610.605 Check: 0.0 Back: 403.499
INFO - Atoms: 37188/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 17545889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.262 Prop: 17700.082 PropClause: 17209.732 Set: 3617.753 Check: 0.0 Back: 404.364
INFO - Atoms: 37229/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 17583752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.317 Prop: 17741.486 PropClause: 17250.071 Set: 3631.929 Check: 0.0 Back: 405.231
INFO - Atoms: 37863/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 17621761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.373 Prop: 17780.313 PropClause: 17287.847 Set: 3638.505 Check: 0.0 Back: 406.104
INFO - Atoms: 38009/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 17659951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.404 Prop: 17816.954 PropClause: 17323.436 Set: 3645.062 Check: 0.0 Back: 406.989
INFO - Atoms: 38190/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 17698286 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.432 Prop: 17854.068 PropClause: 17359.493 Set: 3651.645 Check: 0.0 Back: 407.868
INFO - Atoms: 38335/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 17736802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.465 Prop: 17894.233 PropClause: 17398.586 Set: 3658.296 Check: 0.0 Back: 408.744
INFO - Atoms: 38516/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 17775463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.503 Prop: 17931.558 PropClause: 17434.849 Set: 3665.015 Check: 0.0 Back: 409.631
INFO - Atoms: 38661/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 17814305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.542 Prop: 17969.557 PropClause: 17471.779 Set: 3671.7 Check: 0.0 Back: 410.522
INFO - Atoms: 38842/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 17853292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.674 Prop: 18008.694 PropClause: 17509.835 Set: 3678.516 Check: 0.0 Back: 411.414
INFO - Atoms: 38987/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 17892460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.684 Prop: 18047.332 PropClause: 17547.394 Set: 3685.25 Check: 0.0 Back: 412.311
INFO - Atoms: 39168/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 17931773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.692 Prop: 18086.724 PropClause: 17585.702 Set: 3692.066 Check: 0.0 Back: 413.213
INFO - Atoms: 39313/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 17971267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.701 Prop: 18127.48 PropClause: 17625.37 Set: 3698.906 Check: 0.0 Back: 414.115
INFO - Atoms: 39494/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 18010906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.709 Prop: 18168.62 PropClause: 17665.414 Set: 3705.8 Check: 0.0 Back: 415.022
INFO - Atoms: 39639/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 18050726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.718 Prop: 18209.968 PropClause: 17705.668 Set: 3712.699 Check: 0.0 Back: 415.935
INFO - Atoms: 39820/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 18090691 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.727 Prop: 18251.118 PropClause: 17745.713 Set: 3719.686 Check: 0.0 Back: 416.847
INFO - Atoms: 39965/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 18130837 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.737 Prop: 18288.152 PropClause: 17781.648 Set: 3726.499 Check: 0.0 Back: 417.768
INFO - Atoms: 40146/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 18171128 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.747 Prop: 18325.723 PropClause: 17818.114 Set: 3733.368 Check: 0.0 Back: 418.695
INFO - Atoms: 40291/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 18211600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.757 Prop: 18366.801 PropClause: 17858.081 Set: 3740.268 Check: 0.0 Back: 419.618
INFO - Atoms: 40472/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 18252217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.763 Prop: 18407.262 PropClause: 17897.429 Set: 3747.253 Check: 0.0 Back: 420.55
INFO - Atoms: 40617/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 18293015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.771 Prop: 18445.772 PropClause: 17934.821 Set: 3754.22 Check: 0.0 Back: 421.491
INFO - Atoms: 40798/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 18333958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.781 Prop: 18488.208 PropClause: 17976.103 Set: 3761.376 Check: 0.0 Back: 422.458
INFO - Atoms: 40943/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 18375082 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.788 Prop: 18530.717 PropClause: 18017.485 Set: 3768.524 Check: 0.0 Back: 423.396
INFO - Atoms: 41124/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 18416351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.795 Prop: 18571.517 PropClause: 18057.156 Set: 3775.631 Check: 0.0 Back: 424.334
INFO - Atoms: 41269/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 18457801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.804 Prop: 18614.415 PropClause: 18098.916 Set: 3782.817 Check: 0.0 Back: 425.289
INFO - Atoms: 41450/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 18499396 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.811 Prop: 18657.519 PropClause: 18140.881 Set: 3790.244 Check: 0.0 Back: 426.233
INFO - Atoms: 41595/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 18541172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.818 Prop: 18701.623 PropClause: 18183.833 Set: 3797.49 Check: 0.0 Back: 427.194
INFO - Atoms: 41776/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 18583093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.827 Prop: 18746.83 PropClause: 18227.876 Set: 3804.85 Check: 0.0 Back: 428.147
INFO - Atoms: 41921/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 18625195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.837 Prop: 18793.574 PropClause: 18273.454 Set: 3812.139 Check: 0.0 Back: 429.118
INFO - Atoms: 42102/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 18667442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.844 Prop: 18835.914 PropClause: 18314.634 Set: 3819.451 Check: 0.0 Back: 430.089
INFO - Atoms: 42247/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 18709870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.852 Prop: 18879.249 PropClause: 18356.804 Set: 3826.807 Check: 0.0 Back: 431.062
INFO - Atoms: 42428/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 18752443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.86 Prop: 18924.224 PropClause: 18400.61 Set: 3834.25 Check: 0.0 Back: 432.033
INFO - Atoms: 42573/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 18795197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.869 Prop: 18971.89 PropClause: 18447.1 Set: 3841.745 Check: 0.0 Back: 433.017
INFO - Atoms: 42754/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 18838096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.877 Prop: 19014.998 PropClause: 18489.035 Set: 3849.155 Check: 0.0 Back: 434.0
INFO - Atoms: 42899/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 18881176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.885 Prop: 19059.08 PropClause: 18531.937 Set: 3856.547 Check: 0.0 Back: 434.984
INFO - Atoms: 43080/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 18924401 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.893 Prop: 19102.396 PropClause: 18574.07 Set: 3863.979 Check: 0.0 Back: 435.966
INFO - Atoms: 43225/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 18967807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.904 Prop: 19151.112 PropClause: 18621.592 Set: 3871.707 Check: 0.0 Back: 436.952
INFO - Atoms: 43406/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 19011358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.912 Prop: 19192.386 PropClause: 18661.674 Set: 3879.202 Check: 0.0 Back: 437.962
INFO - Atoms: 43551/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 19055090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.923 Prop: 19233.73 PropClause: 18701.808 Set: 3886.85 Check: 0.0 Back: 438.959
INFO - Atoms: 43732/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 19098967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.934 Prop: 19277.38 PropClause: 18744.242 Set: 3894.486 Check: 0.0 Back: 439.976
INFO - Atoms: 43877/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 19143025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.944 Prop: 19321.477 PropClause: 18787.124 Set: 3902.112 Check: 0.0 Back: 441.014
INFO - Atoms: 44058/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 19187228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.952 Prop: 19363.487 PropClause: 18827.922 Set: 3909.713 Check: 0.0 Back: 442.029
INFO - Atoms: 44203/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 19231612 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.96 Prop: 19408.665 PropClause: 18871.88 Set: 3917.457 Check: 0.0 Back: 443.063
INFO - Atoms: 44384/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 19276141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.97 Prop: 19456.241 PropClause: 18918.198 Set: 3925.367 Check: 0.0 Back: 444.082
INFO - Atoms: 44529/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 19320851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.98 Prop: 19503.469 PropClause: 18964.199 Set: 3933.193 Check: 0.0 Back: 445.117
INFO - Atoms: 44710/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 19365706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.987 Prop: 19552.05 PropClause: 19011.543 Set: 3941.102 Check: 0.0 Back: 446.16
INFO - Atoms: 44855/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 19410742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.996 Prop: 19599.471 PropClause: 19057.715 Set: 3948.963 Check: 0.0 Back: 447.196
INFO - Atoms: 45036/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 19455923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.005 Prop: 19649.302 PropClause: 19106.303 Set: 3956.885 Check: 0.0 Back: 448.231
INFO - Atoms: 45181/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 19501285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.015 Prop: 19696.564 PropClause: 19152.32 Set: 3964.822 Check: 0.0 Back: 449.27
INFO - Atoms: 45362/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 19546792 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.025 Prop: 19744.722 PropClause: 19199.228 Set: 3972.878 Check: 0.0 Back: 450.327
INFO - Atoms: 45507/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 19592480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.034 Prop: 19796.332 PropClause: 19249.584 Set: 3980.912 Check: 0.0 Back: 451.38
INFO - Atoms: 45688/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 19638313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.043 Prop: 19845.584 PropClause: 19297.573 Set: 3988.902 Check: 0.0 Back: 452.434
INFO - Atoms: 45833/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 19684327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.052 Prop: 19896.022 PropClause: 19346.741 Set: 3997.051 Check: 0.0 Back: 453.485
INFO - Atoms: 46014/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 19730486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.06 Prop: 19944.985 PropClause: 19394.43 Set: 4005.137 Check: 0.0 Back: 454.538
INFO - Atoms: 46159/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 70812 Tprops: 15413 Decides: 61724 RSplits: 0
INFO - Times: Expl: 338.038 Prop: 51422.683 PropClause: 31.215 Set: 10865.234 Check: 506.928 Back: 294.308
INFO - Atoms: 795/1014 Clauses: 500 Axioms: 1014
INFO - CCTimes: iE 660334 eq 32805083 cc 131334857 setRep 85942235
INFO - Merges: 532656, cc:1226418
INFO - BVTimes: BB 159827002 BB_DPLL 46387266457 Graph 227624778
INFO - BitBlastingClauses: 513598 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 19776825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.069 Prop: 19994.083 PropClause: 19442.256 Set: 4013.285 Check: 0.0 Back: 455.598
INFO - Atoms: 46339/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 19823310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.078 Prop: 20043.305 PropClause: 19490.201 Set: 4021.473 Check: 0.0 Back: 456.656
INFO - Atoms: 46485/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 19869976 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.088 Prop: 20090.622 PropClause: 19536.237 Set: 4029.657 Check: 0.0 Back: 457.725
INFO - Atoms: 46666/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 19916787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.098 Prop: 20138.126 PropClause: 19582.458 Set: 4037.82 Check: 0.0 Back: 458.789
INFO - Atoms: 46811/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 19963895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.107 Prop: 20186.391 PropClause: 19629.428 Set: 4046.046 Check: 0.0 Back: 459.863
INFO - Atoms: 47108/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 20011030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.114 Prop: 20234.68 PropClause: 19676.421 Set: 4054.33 Check: 0.0 Back: 460.97
INFO - Atoms: 47135/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 20058328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.124 Prop: 20286.365 PropClause: 19726.816 Set: 4062.646 Check: 0.0 Back: 462.053
INFO - Atoms: 47298/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 20105811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.132 Prop: 20338.615 PropClause: 19777.771 Set: 4071.006 Check: 0.0 Back: 463.135
INFO - Atoms: 47483/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 20153437 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.142 Prop: 20393.34 PropClause: 19831.18 Set: 4079.479 Check: 0.0 Back: 464.229
INFO - Atoms: 47626/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 20201244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.152 Prop: 20445.725 PropClause: 19882.252 Set: 4087.925 Check: 0.0 Back: 465.318
INFO - Atoms: 47807/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 20249196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.159 Prop: 20499.446 PropClause: 19934.655 Set: 4096.46 Check: 0.0 Back: 466.421
INFO - Atoms: 47952/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 20297329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.169 Prop: 20552.598 PropClause: 19986.475 Set: 4105.076 Check: 0.0 Back: 467.522
INFO - Atoms: 48133/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 20345607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.178 Prop: 20607.791 PropClause: 20040.337 Set: 4113.681 Check: 0.0 Back: 468.626
INFO - Atoms: 48278/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 20394066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.19 Prop: 20661.636 PropClause: 20092.844 Set: 4122.284 Check: 0.0 Back: 469.738
INFO - Atoms: 48459/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 506 Props: 20442670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.2 Prop: 20714.902 PropClause: 20144.773 Set: 4130.894 Check: 0.0 Back: 470.853
INFO - Atoms: 48604/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 507 Props: 20491455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.208 Prop: 20770.161 PropClause: 20198.699 Set: 4139.583 Check: 0.0 Back: 471.967
INFO - Atoms: 48785/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 508 Props: 20540385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.218 Prop: 20826.955 PropClause: 20254.146 Set: 4148.353 Check: 0.0 Back: 473.087
INFO - Atoms: 48930/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 509 Props: 20589496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.226 Prop: 20884.488 PropClause: 20310.313 Set: 4157.122 Check: 0.0 Back: 474.206
INFO - Atoms: 49111/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 510 Props: 20638752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.237 Prop: 20940.005 PropClause: 20364.473 Set: 4174.034 Check: 0.0 Back: 475.336
INFO - Atoms: 49256/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 511 Props: 20688189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.245 Prop: 20995.376 PropClause: 20418.488 Set: 4182.812 Check: 0.0 Back: 476.474
INFO - Atoms: 49437/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 512 Props: 20737771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.254 Prop: 21051.013 PropClause: 20472.769 Set: 4191.618 Check: 0.0 Back: 477.615
INFO - Atoms: 49582/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 513 Props: 20787534 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.262 Prop: 21106.996 PropClause: 20527.381 Set: 4200.475 Check: 0.0 Back: 478.749
INFO - Atoms: 49763/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 514 Props: 20837442 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.273 Prop: 21160.894 PropClause: 20579.907 Set: 4209.324 Check: 0.0 Back: 479.897
INFO - Atoms: 49908/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 515 Props: 20887531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.28 Prop: 21215.942 PropClause: 20633.578 Set: 4218.271 Check: 0.0 Back: 481.048
INFO - Atoms: 50089/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 516 Props: 20937765 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.29 Prop: 21270.546 PropClause: 20686.797 Set: 4227.199 Check: 0.0 Back: 482.204
INFO - Atoms: 50234/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 517 Props: 20988180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.302 Prop: 21327.644 PropClause: 20742.5 Set: 4247.085 Check: 0.0 Back: 483.359
INFO - Atoms: 50415/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 518 Props: 21038740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.311 Prop: 21387.159 PropClause: 20800.626 Set: 4256.15 Check: 0.0 Back: 484.526
INFO - Atoms: 50560/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 519 Props: 21089481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.322 Prop: 21451.328 PropClause: 20863.385 Set: 4265.729 Check: 0.0 Back: 485.688
INFO - Atoms: 50741/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 520 Props: 21140367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.331 Prop: 21514.069 PropClause: 20924.724 Set: 4274.921 Check: 0.0 Back: 486.872
INFO - Atoms: 50886/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 521 Props: 21191434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.343 Prop: 21574.612 PropClause: 20983.86 Set: 4284.138 Check: 0.0 Back: 488.048
INFO - Atoms: 51067/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 522 Props: 21242646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.352 Prop: 21636.985 PropClause: 21044.825 Set: 4293.389 Check: 0.0 Back: 489.243
INFO - Atoms: 51212/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 523 Props: 21294039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.361 Prop: 21695.697 PropClause: 21102.12 Set: 4302.643 Check: 0.0 Back: 490.424
INFO - Atoms: 51393/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 524 Props: 21345577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.372 Prop: 21756.108 PropClause: 21161.114 Set: 4311.917 Check: 0.0 Back: 491.61
INFO - Atoms: 51538/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 525 Props: 21397296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.381 Prop: 21817.791 PropClause: 21221.37 Set: 4321.281 Check: 0.0 Back: 492.795
INFO - Atoms: 51719/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 526 Props: 21449160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.39 Prop: 21879.438 PropClause: 21281.574 Set: 4330.622 Check: 0.0 Back: 494.04
INFO - Atoms: 51864/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 527 Props: 21501205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.399 Prop: 21940.107 PropClause: 21340.813 Set: 4339.97 Check: 0.0 Back: 495.236
INFO - Atoms: 52045/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 528 Props: 21553395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.407 Prop: 22002.86 PropClause: 21402.134 Set: 4349.379 Check: 0.0 Back: 496.43
INFO - Atoms: 52190/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 529 Props: 21605766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.416 Prop: 22067.4 PropClause: 21465.23 Set: 4358.871 Check: 0.0 Back: 497.643
INFO - Atoms: 52371/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 530 Props: 21658282 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.428 Prop: 22143.471 PropClause: 21539.856 Set: 4368.629 Check: 0.0 Back: 498.857
INFO - Atoms: 52516/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 531 Props: 21710979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.438 Prop: 22203.479 PropClause: 21598.388 Set: 4378.104 Check: 0.0 Back: 500.089
INFO - Atoms: 52697/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 532 Props: 21763821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.447 Prop: 22264.794 PropClause: 21658.233 Set: 4387.626 Check: 0.0 Back: 501.328
INFO - Atoms: 52842/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 533 Props: 21816844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.455 Prop: 22326.227 PropClause: 21718.203 Set: 4397.224 Check: 0.0 Back: 502.548
INFO - Atoms: 53023/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 534 Props: 21870012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.466 Prop: 22391.58 PropClause: 21782.092 Set: 4406.854 Check: 0.0 Back: 503.787
INFO - Atoms: 53168/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 535 Props: 21923361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.475 Prop: 22453.572 PropClause: 21842.609 Set: 4416.46 Check: 0.0 Back: 505.015
INFO - Atoms: 53349/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 536 Props: 21976855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.483 Prop: 22518.296 PropClause: 21905.852 Set: 4426.226 Check: 0.0 Back: 506.253
INFO - Atoms: 53494/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 537 Props: 22030530 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.494 Prop: 22582.404 PropClause: 21968.477 Set: 4435.928 Check: 0.0 Back: 507.485
INFO - Atoms: 53675/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 538 Props: 22084350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.505 Prop: 22647.255 PropClause: 22031.847 Set: 4445.69 Check: 0.0 Back: 508.754
INFO - Atoms: 53820/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 539 Props: 22138351 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.514 Prop: 22713.281 PropClause: 22096.384 Set: 4455.477 Check: 0.0 Back: 509.99
INFO - Atoms: 54001/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 540 Props: 22192497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.521 Prop: 22775.918 PropClause: 22157.523 Set: 4465.222 Check: 0.0 Back: 511.243
INFO - Atoms: 54146/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 541 Props: 22246823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.53 Prop: 22839.372 PropClause: 22219.469 Set: 4475.063 Check: 0.0 Back: 512.49
INFO - Atoms: 54326/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 542 Props: 22301295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.538 Prop: 22903.087 PropClause: 22281.679 Set: 4484.892 Check: 0.0 Back: 513.744
INFO - Atoms: 54472/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 543 Props: 22355947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.546 Prop: 22970.409 PropClause: 22347.497 Set: 4494.816 Check: 0.0 Back: 515.005
INFO - Atoms: 54652/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 544 Props: 22393630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.555 Prop: 23020.004 PropClause: 22396.047 Set: 4501.327 Check: 0.0 Back: 516.276
INFO - Atoms: 37683/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 545 Props: 22431150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.563 Prop: 23054.594 PropClause: 22429.601 Set: 4507.687 Check: 0.0 Back: 517.144
INFO - Atoms: 37520/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 546 Props: 22468528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.572 Prop: 23090.104 PropClause: 22464.087 Set: 4514.069 Check: 0.0 Back: 518.0
INFO - Atoms: 37378/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 547 Props: 22505722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.579 Prop: 23121.292 PropClause: 22494.26 Set: 4520.256 Check: 0.0 Back: 518.848
INFO - Atoms: 37194/55136 Clauses: 677 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1047 Props: 23729170 Tprops: 0 Decides: 3712 RSplits: 0
INFO - Times: Expl: 792.72 Prop: 24140.604 PropClause: 23477.627 Set: 4561.915 Check: 0.088 Back: 547.782
INFO - Atoms: 18232/55136 Clauses: 1176 Axioms: 181682
INFO - Restart
INFO - Confl: 1547 Props: 24903834 Tprops: 0 Decides: 6703 RSplits: 0
INFO - Times: Expl: 1349.714 Prop: 25042.83 PropClause: 24345.491 Set: 4589.512 Check: 0.16 Back: 575.015
INFO - Atoms: 18232/55136 Clauses: 1676 Axioms: 181682
INFO - Confl: 2207 Props: 26313571 Tprops: 0 Decides: 9703 RSplits: 0
INFO - Times: Expl: 1937.318 Prop: 26100.857 PropClause: 25362.76 Set: 4622.944 Check: 0.237 Back: 607.643
INFO - Atoms: 19994/55136 Clauses: 2336 Axioms: 181682
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 557 Props: 77371 Tprops: 15419 Decides: 62987 RSplits: 0
INFO - Times: Expl: 372.09 Prop: 63438.408 PropClause: 35.186 Set: 11829.557 Check: 551.045 Back: 312.415
INFO - Atoms: 1014/1014 Clauses: 557 Axioms: 1014
INFO - CCTimes: iE 672563 eq 35633185 cc 150595388 setRep 98539800
INFO - Merges: 607857, cc:1739621
INFO - BVTimes: BB 159827002 BB_DPLL 57709359248 Graph 235021858
INFO - BitBlastingClauses: 552130 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat