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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 520750435
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 115000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.588 Prop: 182.163 PropClause: 173.299 Set: 61.308 Check: 0.0 Back: 0.0
INFO - Atoms: 115000/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 229455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.626 Prop: 344.729 PropClause: 331.065 Set: 97.665 Check: 0.0 Back: 2.95
INFO - Atoms: 114455/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 343911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.668 Prop: 491.969 PropClause: 475.362 Set: 117.985 Check: 0.0 Back: 5.562
INFO - Atoms: 114456/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 458362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.775 Prop: 647.947 PropClause: 628.223 Set: 203.839 Check: 0.0 Back: 8.481
INFO - Atoms: 114451/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 572818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.86 Prop: 786.407 PropClause: 763.831 Set: 224.321 Check: 0.0 Back: 11.213
INFO - Atoms: 114456/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 687266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.952 Prop: 960.071 PropClause: 934.099 Set: 262.263 Check: 0.0 Back: 13.805
INFO - Atoms: 114448/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 801716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.004 Prop: 1097.532 PropClause: 1068.743 Set: 292.863 Check: 0.0 Back: 16.826
INFO - Atoms: 114450/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 916164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.07 Prop: 1238.472 PropClause: 1206.864 Set: 313.03 Check: 0.0 Back: 19.449
INFO - Atoms: 114448/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 1030614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.115 Prop: 1366.29 PropClause: 1331.846 Set: 333.149 Check: 0.0 Back: 22.08
INFO - Atoms: 114450/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1145051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.159 Prop: 1503.058 PropClause: 1465.784 Set: 353.249 Check: 0.0 Back: 24.713
INFO - Atoms: 114437/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1259475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.214 Prop: 1660.711 PropClause: 1620.285 Set: 376.696 Check: 0.0 Back: 27.665
INFO - Atoms: 114424/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1373603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.263 Prop: 1805.492 PropClause: 1762.242 Set: 396.978 Check: 0.0 Back: 30.533
INFO - Atoms: 114128/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1487434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.314 Prop: 1945.638 PropClause: 1899.589 Set: 428.397 Check: 0.0 Back: 33.448
INFO - Atoms: 113831/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1600960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.363 Prop: 2089.131 PropClause: 2040.287 Set: 459.044 Check: 0.0 Back: 36.01
INFO - Atoms: 113526/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1714189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.412 Prop: 2229.191 PropClause: 2177.553 Set: 507.073 Check: 0.0 Back: 38.578
INFO - Atoms: 113229/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1827113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.467 Prop: 2372.54 PropClause: 2318.125 Set: 527.118 Check: 0.0 Back: 41.131
INFO - Atoms: 112924/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1939740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.555 Prop: 2507.162 PropClause: 2449.962 Set: 547.09 Check: 0.0 Back: 43.697
INFO - Atoms: 112627/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 2052062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.603 Prop: 2638.476 PropClause: 2578.497 Set: 566.776 Check: 0.0 Back: 46.247
INFO - Atoms: 112322/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2164087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.649 Prop: 2770.14 PropClause: 2707.376 Set: 586.441 Check: 0.0 Back: 48.799
INFO - Atoms: 112025/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 2275807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.705 Prop: 2901.553 PropClause: 2836.035 Set: 605.943 Check: 0.0 Back: 51.328
INFO - Atoms: 111720/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 2387230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.753 Prop: 3033.217 PropClause: 2964.955 Set: 625.478 Check: 0.0 Back: 53.863
INFO - Atoms: 111423/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2498348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.799 Prop: 3165.939 PropClause: 3094.944 Set: 644.926 Check: 0.0 Back: 56.377
INFO - Atoms: 111118/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2609169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.843 Prop: 3298.308 PropClause: 3224.591 Set: 664.29 Check: 0.0 Back: 58.893
INFO - Atoms: 110821/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2719685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.889 Prop: 3427.177 PropClause: 3350.715 Set: 683.717 Check: 0.0 Back: 61.393
INFO - Atoms: 110516/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2829904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.931 Prop: 3556.355 PropClause: 3477.206 Set: 702.799 Check: 0.0 Back: 63.918
INFO - Atoms: 110219/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2939818 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.974 Prop: 3688.754 PropClause: 3606.888 Set: 731.162 Check: 0.0 Back: 66.402
INFO - Atoms: 109914/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 3049435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.018 Prop: 3819.451 PropClause: 3734.881 Set: 750.444 Check: 0.0 Back: 68.901
INFO - Atoms: 109617/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 3158747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.055 Prop: 3948.237 PropClause: 3861.01 Set: 769.413 Check: 0.0 Back: 71.408
INFO - Atoms: 109312/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 3267762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.096 Prop: 4079.07 PropClause: 3989.166 Set: 788.536 Check: 0.0 Back: 73.852
INFO - Atoms: 109015/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 3376472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.152 Prop: 4212.057 PropClause: 4119.454 Set: 807.868 Check: 0.0 Back: 76.357
INFO - Atoms: 108710/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 3484885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.192 Prop: 4341.25 PropClause: 4245.977 Set: 826.925 Check: 0.0 Back: 78.853
INFO - Atoms: 108413/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 3592993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.239 Prop: 4473.896 PropClause: 4375.977 Set: 845.771 Check: 0.0 Back: 81.312
INFO - Atoms: 108108/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3700804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.287 Prop: 4602.927 PropClause: 4502.33 Set: 891.287 Check: 0.0 Back: 83.802
INFO - Atoms: 107811/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3808310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.334 Prop: 4733.438 PropClause: 4630.193 Set: 910.294 Check: 0.0 Back: 86.244
INFO - Atoms: 107506/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3915519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.379 Prop: 4860.69 PropClause: 4754.82 Set: 929.022 Check: 0.0 Back: 88.663
INFO - Atoms: 107209/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 4022423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.423 Prop: 4989.827 PropClause: 4881.328 Set: 947.678 Check: 0.0 Back: 91.064
INFO - Atoms: 106904/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 4129030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.463 Prop: 5119.512 PropClause: 5008.391 Set: 966.367 Check: 0.0 Back: 93.475
INFO - Atoms: 106607/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 4235332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.509 Prop: 5251.319 PropClause: 5137.577 Set: 985.003 Check: 0.0 Back: 95.875
INFO - Atoms: 106302/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 4341337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.555 Prop: 5381.39 PropClause: 5265.025 Set: 1003.64 Check: 0.0 Back: 98.285
INFO - Atoms: 106005/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 4447037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.603 Prop: 5512.773 PropClause: 5393.81 Set: 1022.116 Check: 0.0 Back: 101.085
INFO - Atoms: 105700/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 4552440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.648 Prop: 5639.004 PropClause: 5517.437 Set: 1040.51 Check: 0.0 Back: 103.467
INFO - Atoms: 105403/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 4657538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.697 Prop: 5771.825 PropClause: 5647.686 Set: 1058.76 Check: 0.0 Back: 105.849
INFO - Atoms: 105098/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 4762339 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.742 Prop: 5896.405 PropClause: 5769.687 Set: 1077.095 Check: 0.0 Back: 108.22
INFO - Atoms: 104801/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4866835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.786 Prop: 6021.111 PropClause: 5891.82 Set: 1095.103 Check: 0.0 Back: 110.612
INFO - Atoms: 104496/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4971034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.829 Prop: 6143.656 PropClause: 6011.803 Set: 1113.277 Check: 0.0 Back: 112.969
INFO - Atoms: 104199/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 5074928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.875 Prop: 6267.488 PropClause: 6133.046 Set: 1131.236 Check: 0.0 Back: 115.335
INFO - Atoms: 103894/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 5178525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.919 Prop: 6387.985 PropClause: 6250.984 Set: 1149.202 Check: 0.0 Back: 117.717
INFO - Atoms: 103597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 5281817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.964 Prop: 6515.452 PropClause: 6375.585 Set: 1170.174 Check: 0.0 Back: 120.054
INFO - Atoms: 103292/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 5384812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.058 Prop: 6652.922 PropClause: 6510.09 Set: 1192.465 Check: 0.0 Back: 122.377
INFO - Atoms: 102995/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 5487502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.077 Prop: 6774.992 PropClause: 6629.635 Set: 1210.124 Check: 0.0 Back: 124.701
INFO - Atoms: 102690/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 5589895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.098 Prop: 6892.511 PropClause: 6744.636 Set: 1227.727 Check: 0.0 Back: 127.014
INFO - Atoms: 102393/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 5691983 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.121 Prop: 7020.233 PropClause: 6869.79 Set: 1246.044 Check: 0.0 Back: 129.345
INFO - Atoms: 102088/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 5793774 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.137 Prop: 7136.126 PropClause: 6983.172 Set: 1263.534 Check: 0.0 Back: 131.802
INFO - Atoms: 101791/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 5895260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.156 Prop: 7258.005 PropClause: 7102.547 Set: 1280.966 Check: 0.0 Back: 134.1
INFO - Atoms: 101486/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 5996449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.175 Prop: 7377.706 PropClause: 7219.698 Set: 1298.361 Check: 0.0 Back: 136.459
INFO - Atoms: 101189/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 6097333 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.193 Prop: 7501.747 PropClause: 7341.283 Set: 1315.689 Check: 0.0 Back: 138.75
INFO - Atoms: 100884/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 6197920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.211 Prop: 7625.796 PropClause: 7462.86 Set: 1333.227 Check: 0.0 Back: 141.034
INFO - Atoms: 100587/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 6298202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.234 Prop: 7754.464 PropClause: 7589.058 Set: 1350.713 Check: 0.0 Back: 143.298
INFO - Atoms: 100282/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 6398187 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.253 Prop: 7877.337 PropClause: 7709.418 Set: 1368.134 Check: 0.0 Back: 145.56
INFO - Atoms: 99985/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 6497867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.273 Prop: 8001.149 PropClause: 7830.772 Set: 1385.402 Check: 0.0 Back: 147.802
INFO - Atoms: 99680/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 6597250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.291 Prop: 8113.694 PropClause: 7940.868 Set: 1402.47 Check: 0.0 Back: 150.052
INFO - Atoms: 99383/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 6696328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.309 Prop: 8231.381 PropClause: 8056.109 Set: 1419.501 Check: 0.0 Back: 152.288
INFO - Atoms: 99078/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 6795109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.329 Prop: 8349.762 PropClause: 8172.064 Set: 1436.604 Check: 0.0 Back: 154.538
INFO - Atoms: 98781/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 6893585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.35 Prop: 8472.094 PropClause: 8291.961 Set: 1453.515 Check: 0.0 Back: 156.761
INFO - Atoms: 98476/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 6991764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.376 Prop: 8589.489 PropClause: 8406.926 Set: 1470.483 Check: 0.0 Back: 158.997
INFO - Atoms: 98179/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 7089638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.393 Prop: 8710.576 PropClause: 8525.582 Set: 1487.33 Check: 0.0 Back: 161.228
INFO - Atoms: 97874/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 7187215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 8825.909 PropClause: 8638.524 Set: 1504.096 Check: 0.0 Back: 163.438
INFO - Atoms: 97577/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 7284487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.432 Prop: 8946.757 PropClause: 8756.98 Set: 1551.686 Check: 0.0 Back: 165.628
INFO - Atoms: 97272/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 7381462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.447 Prop: 9063.211 PropClause: 8871.04 Set: 1568.473 Check: 0.0 Back: 167.832
INFO - Atoms: 96975/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 7478132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.466 Prop: 9183.162 PropClause: 8988.615 Set: 1585.09 Check: 0.0 Back: 170.018
INFO - Atoms: 96670/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 7574505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.485 Prop: 9299.523 PropClause: 9102.594 Set: 1601.72 Check: 0.0 Back: 172.196
INFO - Atoms: 96373/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 7670573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.5 Prop: 9417.391 PropClause: 9218.099 Set: 1618.197 Check: 0.0 Back: 174.372
INFO - Atoms: 96068/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 7766344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.518 Prop: 9532.612 PropClause: 9330.938 Set: 1634.757 Check: 0.0 Back: 176.538
INFO - Atoms: 95771/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 7861810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.535 Prop: 9650.702 PropClause: 9446.671 Set: 1651.205 Check: 0.0 Back: 178.698
INFO - Atoms: 95466/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 7956979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.554 Prop: 9763.116 PropClause: 9556.754 Set: 1667.389 Check: 0.0 Back: 180.847
INFO - Atoms: 95169/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 8051843 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.571 Prop: 9872.794 PropClause: 9664.099 Set: 1683.598 Check: 0.0 Back: 183.001
INFO - Atoms: 94864/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 8146410 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.59 Prop: 9983.391 PropClause: 9772.283 Set: 1699.996 Check: 0.0 Back: 185.149
INFO - Atoms: 94567/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 8240672 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.607 Prop: 10093.753 PropClause: 9880.314 Set: 1716.186 Check: 0.0 Back: 187.309
INFO - Atoms: 94262/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 8334637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.624 Prop: 10202.236 PropClause: 9986.496 Set: 1732.164 Check: 0.0 Back: 189.453
INFO - Atoms: 93965/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 8428297 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.642 Prop: 10309.796 PropClause: 10091.75 Set: 1748.151 Check: 0.0 Back: 191.582
INFO - Atoms: 93660/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 8521660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.66 Prop: 10411.74 PropClause: 10191.396 Set: 1764.043 Check: 0.0 Back: 193.702
INFO - Atoms: 93363/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 8614718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.678 Prop: 10517.73 PropClause: 10295.089 Set: 1779.968 Check: 0.0 Back: 195.812
INFO - Atoms: 93058/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 8707479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 10626.062 PropClause: 10401.157 Set: 1795.68 Check: 0.0 Back: 197.915
INFO - Atoms: 92761/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 8799935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.714 Prop: 10734.291 PropClause: 10507.09 Set: 1832.569 Check: 0.0 Back: 200.009
INFO - Atoms: 92456/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 8892094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.767 Prop: 10834.644 PropClause: 10605.175 Set: 1848.283 Check: 0.0 Back: 202.094
INFO - Atoms: 92159/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 8983948 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.819 Prop: 10941.425 PropClause: 10709.688 Set: 1863.811 Check: 0.0 Back: 204.228
INFO - Atoms: 91854/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 9075505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.831 Prop: 11046.136 PropClause: 10812.166 Set: 1879.341 Check: 0.0 Back: 206.326
INFO - Atoms: 91557/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 9166757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.845 Prop: 11158.103 PropClause: 10921.885 Set: 1894.906 Check: 0.0 Back: 208.393
INFO - Atoms: 91252/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 9257712 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.857 Prop: 11259.691 PropClause: 11021.241 Set: 1910.485 Check: 0.0 Back: 210.463
INFO - Atoms: 90955/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 9348362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.871 Prop: 11365.19 PropClause: 11124.504 Set: 1925.929 Check: 0.0 Back: 212.505
INFO - Atoms: 90650/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 9438715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.883 Prop: 11468.166 PropClause: 11225.276 Set: 1941.128 Check: 0.0 Back: 214.552
INFO - Atoms: 90353/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 9528763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.895 Prop: 11574.716 PropClause: 11329.616 Set: 1956.541 Check: 0.0 Back: 216.566
INFO - Atoms: 90048/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 9618514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.907 Prop: 11673.13 PropClause: 11425.814 Set: 1971.819 Check: 0.0 Back: 218.593
INFO - Atoms: 89751/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 9707960 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.92 Prop: 11777.662 PropClause: 11528.117 Set: 1987.131 Check: 0.0 Back: 220.618
INFO - Atoms: 89446/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 9797109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.933 Prop: 11882.677 PropClause: 11630.931 Set: 2002.283 Check: 0.0 Back: 222.633
INFO - Atoms: 89149/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 9885953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.946 Prop: 11983.819 PropClause: 11729.886 Set: 2017.238 Check: 0.0 Back: 224.646
INFO - Atoms: 88844/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 9974500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.958 Prop: 12079.671 PropClause: 11823.561 Set: 2032.207 Check: 0.0 Back: 226.678
INFO - Atoms: 88547/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 10062742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.971 Prop: 12183.071 PropClause: 11924.791 Set: 2047.204 Check: 0.0 Back: 228.677
INFO - Atoms: 88242/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 10150687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.98 Prop: 12280.769 PropClause: 12020.323 Set: 2062.13 Check: 0.0 Back: 230.666
INFO - Atoms: 87945/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 10238327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.99 Prop: 12381.333 PropClause: 12118.741 Set: 2076.91 Check: 0.0 Back: 232.653
INFO - Atoms: 87640/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 10325670 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.003 Prop: 12474.997 PropClause: 12210.254 Set: 2091.772 Check: 0.0 Back: 234.626
INFO - Atoms: 87343/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 10412708 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.016 Prop: 12577.996 PropClause: 12311.113 Set: 2106.534 Check: 0.0 Back: 236.599
INFO - Atoms: 87038/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 10499449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.03 Prop: 12675.082 PropClause: 12406.068 Set: 2121.238 Check: 0.0 Back: 238.562
INFO - Atoms: 86741/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 10585885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 12777.643 PropClause: 12506.518 Set: 2135.796 Check: 0.0 Back: 240.53
INFO - Atoms: 86436/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 10672024 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 12871.65 PropClause: 12598.393 Set: 2150.406 Check: 0.0 Back: 242.508
INFO - Atoms: 86139/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 10757858 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.073 Prop: 12969.542 PropClause: 12694.155 Set: 2165.022 Check: 0.0 Back: 244.46
INFO - Atoms: 85834/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 10843395 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.084 Prop: 13066.157 PropClause: 12788.663 Set: 2179.467 Check: 0.0 Back: 246.422
INFO - Atoms: 85537/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 10928627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.098 Prop: 13168.856 PropClause: 12889.266 Set: 2193.866 Check: 0.0 Back: 248.36
INFO - Atoms: 85232/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 11013562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.113 Prop: 13264.362 PropClause: 12982.661 Set: 2208.578 Check: 0.0 Back: 250.285
INFO - Atoms: 84935/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 11098192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.127 Prop: 13361.215 PropClause: 13077.425 Set: 2222.854 Check: 0.0 Back: 252.393
INFO - Atoms: 84630/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 11182525 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.138 Prop: 13456.546 PropClause: 13170.682 Set: 2237.144 Check: 0.0 Back: 254.306
INFO - Atoms: 84333/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 11266553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.151 Prop: 13551.484 PropClause: 13263.528 Set: 2251.246 Check: 0.0 Back: 256.209
INFO - Atoms: 84028/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 11350284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.163 Prop: 13637.827 PropClause: 13347.828 Set: 2265.227 Check: 0.0 Back: 258.109
INFO - Atoms: 83731/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 11433710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.175 Prop: 13728.246 PropClause: 13436.192 Set: 2279.287 Check: 0.0 Back: 259.985
INFO - Atoms: 83426/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 11516839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 13817.759 PropClause: 13523.635 Set: 2293.305 Check: 0.0 Back: 261.866
INFO - Atoms: 83129/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 11599663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.2 Prop: 13912.353 PropClause: 13616.166 Set: 2307.234 Check: 0.0 Back: 263.753
INFO - Atoms: 82824/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 11682190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.213 Prop: 13999.429 PropClause: 13701.206 Set: 2321.145 Check: 0.0 Back: 265.631
INFO - Atoms: 82527/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 11764412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.223 Prop: 14091.697 PropClause: 13791.461 Set: 2334.851 Check: 0.0 Back: 267.497
INFO - Atoms: 82222/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 11846337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.235 Prop: 14180.043 PropClause: 13877.792 Set: 2348.559 Check: 0.0 Back: 269.347
INFO - Atoms: 81925/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 11927957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.248 Prop: 14271.708 PropClause: 13967.447 Set: 2362.273 Check: 0.0 Back: 271.199
INFO - Atoms: 81620/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 12009280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.259 Prop: 14354.336 PropClause: 14048.03 Set: 2375.949 Check: 0.0 Back: 273.047
INFO - Atoms: 81323/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 12090298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.272 Prop: 14442.496 PropClause: 14134.2 Set: 2389.474 Check: 0.0 Back: 274.88
INFO - Atoms: 81018/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 12171019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.284 Prop: 14524.157 PropClause: 14213.873 Set: 2402.85 Check: 0.0 Back: 276.708
INFO - Atoms: 80721/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 12251435 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 14608.664 PropClause: 14296.385 Set: 2416.261 Check: 0.0 Back: 278.526
INFO - Atoms: 80416/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 12331554 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.309 Prop: 14695.073 PropClause: 14380.79 Set: 2429.82 Check: 0.0 Back: 280.335
INFO - Atoms: 80119/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 12411368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.321 Prop: 14779.672 PropClause: 14463.426 Set: 2443.109 Check: 0.0 Back: 282.16
INFO - Atoms: 79814/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 12490885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.332 Prop: 14859.732 PropClause: 14541.533 Set: 2456.421 Check: 0.0 Back: 283.962
INFO - Atoms: 79517/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 12570097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.344 Prop: 14945.877 PropClause: 14625.701 Set: 2469.558 Check: 0.0 Back: 285.752
INFO - Atoms: 79212/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 12649012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.357 Prop: 15032.413 PropClause: 14710.297 Set: 2482.827 Check: 0.0 Back: 287.538
INFO - Atoms: 78915/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 12727622 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.369 Prop: 15116.814 PropClause: 14792.762 Set: 2495.843 Check: 0.0 Back: 289.376
INFO - Atoms: 78610/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 12805935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 15194.711 PropClause: 14868.731 Set: 2508.918 Check: 0.0 Back: 291.146
INFO - Atoms: 78313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 12883943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.394 Prop: 15276.024 PropClause: 14948.125 Set: 2521.851 Check: 0.0 Back: 292.919
INFO - Atoms: 78008/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 12961654 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.405 Prop: 15359.878 PropClause: 15030.08 Set: 2534.702 Check: 0.0 Back: 294.673
INFO - Atoms: 77711/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 13039059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.416 Prop: 15446.575 PropClause: 15114.868 Set: 2547.576 Check: 0.0 Back: 296.428
INFO - Atoms: 77405/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 13118478 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.428 Prop: 15524.258 PropClause: 15190.6 Set: 2561.035 Check: 0.0 Back: 298.169
INFO - Atoms: 79419/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 13198197 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.44 Prop: 15609.162 PropClause: 15273.516 Set: 2574.537 Check: 0.0 Back: 299.967
INFO - Atoms: 79719/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 13278218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.455 Prop: 15694.182 PropClause: 15356.571 Set: 2588.073 Check: 0.0 Back: 301.763
INFO - Atoms: 80021/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 13358243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.468 Prop: 15787.245 PropClause: 15447.657 Set: 2601.824 Check: 0.0 Back: 303.567
INFO - Atoms: 80025/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 13436824 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.481 Prop: 15870.164 PropClause: 15528.645 Set: 2615.019 Check: 0.0 Back: 305.372
INFO - Atoms: 78581/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 13517131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.493 Prop: 15954.44 PropClause: 15610.944 Set: 2628.812 Check: 0.0 Back: 307.145
INFO - Atoms: 80307/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 13597720 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.504 Prop: 16035.683 PropClause: 15690.204 Set: 2642.58 Check: 0.0 Back: 308.951
INFO - Atoms: 80589/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 13676585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.517 Prop: 16125.437 PropClause: 15778.018 Set: 2655.935 Check: 0.0 Back: 310.777
INFO - Atoms: 78865/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 13757182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.53 Prop: 16210.065 PropClause: 15860.672 Set: 2669.664 Check: 0.0 Back: 312.562
INFO - Atoms: 80597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 13837495 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.54 Prop: 16295.3 PropClause: 15943.945 Set: 2683.277 Check: 0.0 Back: 314.367
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 13916371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.551 Prop: 16377.018 PropClause: 16023.726 Set: 2696.538 Check: 0.0 Back: 316.176
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 13996685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.563 Prop: 16468.234 PropClause: 16112.947 Set: 2710.448 Check: 0.0 Back: 317.956
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 14077281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.575 Prop: 16555.172 PropClause: 16197.917 Set: 2724.187 Check: 0.0 Back: 319.8
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 14157882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.588 Prop: 16652.416 PropClause: 16293.177 Set: 2738.125 Check: 0.0 Back: 321.596
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 14238196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.6 Prop: 16734.993 PropClause: 16373.776 Set: 2751.836 Check: 0.0 Back: 323.41
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 14318514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.61 Prop: 16818.723 PropClause: 16455.53 Set: 2765.403 Check: 0.0 Back: 325.222
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 14397390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.621 Prop: 16905.036 PropClause: 16539.924 Set: 2778.662 Check: 0.0 Back: 327.038
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 14477704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.676 Prop: 16994.26 PropClause: 16627.156 Set: 2819.684 Check: 0.0 Back: 328.795
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 14558300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.714 Prop: 17074.059 PropClause: 16704.965 Set: 2833.395 Check: 0.0 Back: 330.655
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 14638901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.758 Prop: 17165.775 PropClause: 16794.577 Set: 2848.432 Check: 0.0 Back: 332.48
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 14719215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.771 Prop: 17249.573 PropClause: 16876.387 Set: 2862.089 Check: 0.0 Back: 334.53
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 14799533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.78 Prop: 17332.658 PropClause: 16957.521 Set: 2875.528 Check: 0.0 Back: 336.337
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 14878409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.793 Prop: 17413.892 PropClause: 17036.796 Set: 2888.763 Check: 0.0 Back: 338.136
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 14958723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.806 Prop: 17495.927 PropClause: 17116.85 Set: 2902.444 Check: 0.0 Back: 339.918
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 15039319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.818 Prop: 17575.412 PropClause: 17194.35 Set: 2916.139 Check: 0.0 Back: 341.941
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 15119920 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.829 Prop: 17660.673 PropClause: 17277.639 Set: 2929.68 Check: 0.0 Back: 343.762
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 15200234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 17743.488 PropClause: 17358.481 Set: 2943.285 Check: 0.0 Back: 345.56
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 15280552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.852 Prop: 17826.83 PropClause: 17439.852 Set: 2956.914 Check: 0.0 Back: 347.368
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 15359428 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.864 Prop: 17912.806 PropClause: 17523.881 Set: 2970.158 Check: 0.0 Back: 349.177
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 15439742 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.874 Prop: 17998.335 PropClause: 17607.422 Set: 2983.848 Check: 0.0 Back: 350.957
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 15520338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.886 Prop: 18076.686 PropClause: 17683.809 Set: 2997.472 Check: 0.0 Back: 352.767
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 15599210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 18156.11 PropClause: 17761.304 Set: 3010.621 Check: 0.0 Back: 354.564
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 15679807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.909 Prop: 18241.224 PropClause: 17844.428 Set: 3024.626 Check: 0.0 Back: 356.338
INFO - Atoms: 80597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 15760120 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.92 Prop: 18327.239 PropClause: 17928.477 Set: 3038.269 Check: 0.0 Back: 358.165
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 15838996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 18413.483 PropClause: 18012.768 Set: 3051.723 Check: 0.0 Back: 359.973
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 15919310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.943 Prop: 18503.987 PropClause: 18101.286 Set: 3086.375 Check: 0.0 Back: 361.752
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 15999906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.954 Prop: 18587.039 PropClause: 18182.36 Set: 3100.192 Check: 0.0 Back: 363.56
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 16080507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.964 Prop: 18675.736 PropClause: 18269.067 Set: 3114.039 Check: 0.0 Back: 365.378
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 16160821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.975 Prop: 18763.907 PropClause: 18355.251 Set: 3127.858 Check: 0.0 Back: 367.203
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 16241139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.985 Prop: 18847.461 PropClause: 18436.826 Set: 3141.638 Check: 0.0 Back: 369.027
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 16320015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.995 Prop: 18927.481 PropClause: 18514.908 Set: 3154.973 Check: 0.0 Back: 370.83
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 16400329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.006 Prop: 19015.691 PropClause: 18601.141 Set: 3168.875 Check: 0.0 Back: 372.608
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 16480925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 19099.806 PropClause: 18683.268 Set: 3182.616 Check: 0.0 Back: 374.416
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 16561526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.029 Prop: 19187.14 PropClause: 18768.612 Set: 3196.454 Check: 0.0 Back: 376.224
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 16641840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.042 Prop: 19268.282 PropClause: 18847.775 Set: 3210.164 Check: 0.0 Back: 378.049
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 16722158 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.052 Prop: 19352.547 PropClause: 18930.062 Set: 3223.857 Check: 0.0 Back: 379.869
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 16801034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.068 Prop: 19437.635 PropClause: 19013.213 Set: 3237.089 Check: 0.0 Back: 381.685
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 16881348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.079 Prop: 19524.398 PropClause: 19098.001 Set: 3250.774 Check: 0.0 Back: 383.472
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 16961944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.09 Prop: 19606.409 PropClause: 19178.034 Set: 3264.583 Check: 0.0 Back: 385.274
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 17042545 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 19690.782 PropClause: 19260.418 Set: 3278.367 Check: 0.0 Back: 387.091
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 17122859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.113 Prop: 19778.323 PropClause: 19345.985 Set: 3292.169 Check: 0.0 Back: 388.909
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 17203177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.126 Prop: 19865.944 PropClause: 19431.634 Set: 3305.912 Check: 0.0 Back: 390.72
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 17282053 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.141 Prop: 19951.401 PropClause: 19515.139 Set: 3319.421 Check: 0.0 Back: 392.54
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 17362367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.153 Prop: 20035.845 PropClause: 19597.59 Set: 3333.379 Check: 0.0 Back: 394.313
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 17442963 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.164 Prop: 20117.401 PropClause: 19677.163 Set: 3347.287 Check: 0.0 Back: 396.123
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 17523564 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.174 Prop: 20208.159 PropClause: 19765.919 Set: 3361.213 Check: 0.0 Back: 397.946
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 17603878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 20291.811 PropClause: 19847.582 Set: 3374.959 Check: 0.0 Back: 399.763
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 17684196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.196 Prop: 20372.676 PropClause: 19926.473 Set: 3388.625 Check: 0.0 Back: 401.569
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 17763072 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.213 Prop: 20452.824 PropClause: 20004.686 Set: 3401.939 Check: 0.0 Back: 403.398
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 17843386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.255 Prop: 20539.321 PropClause: 20089.19 Set: 3437.489 Check: 0.0 Back: 405.163
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 17923982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 20624.434 PropClause: 20172.321 Set: 3451.249 Check: 0.0 Back: 406.995
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 18004583 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.267 Prop: 20710.22 PropClause: 20256.119 Set: 3465.036 Check: 0.0 Back: 408.842
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 18084897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.273 Prop: 20788.893 PropClause: 20332.819 Set: 3478.718 Check: 0.0 Back: 410.666
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 18165215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.28 Prop: 20870.632 PropClause: 20412.594 Set: 3492.341 Check: 0.0 Back: 412.475
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 18244091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.288 Prop: 20957.035 PropClause: 20497.027 Set: 3505.944 Check: 0.0 Back: 414.303
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 18324405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.296 Prop: 21042.724 PropClause: 20580.72 Set: 3519.809 Check: 0.0 Back: 416.089
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 18405001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.303 Prop: 21122.957 PropClause: 20658.967 Set: 3533.636 Check: 0.0 Back: 417.923
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 18485602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.31 Prop: 21206.856 PropClause: 20740.871 Set: 3547.488 Check: 0.0 Back: 419.733
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 18565916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.316 Prop: 21293.318 PropClause: 20825.359 Set: 3561.339 Check: 0.0 Back: 421.548
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 18646234 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.323 Prop: 21381.042 PropClause: 20911.122 Set: 3575.205 Check: 0.0 Back: 423.362
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 18725110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.329 Prop: 21464.664 PropClause: 20992.804 Set: 3588.652 Check: 0.0 Back: 425.163
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 18805424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.337 Prop: 21551.497 PropClause: 21077.658 Set: 3602.6 Check: 0.0 Back: 426.945
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 18886020 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 21639.064 PropClause: 21163.219 Set: 3616.62 Check: 0.0 Back: 428.76
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 18966621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 21737.814 PropClause: 21259.93 Set: 3631.12 Check: 0.0 Back: 430.58
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 19046935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.358 Prop: 21829.033 PropClause: 21349.154 Set: 3645.014 Check: 0.0 Back: 432.433
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 19127253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 21921.906 PropClause: 21440.047 Set: 3659.034 Check: 0.0 Back: 434.263
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 19206129 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.372 Prop: 22006.926 PropClause: 21523.117 Set: 3672.637 Check: 0.0 Back: 436.082
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 19286443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.38 Prop: 22103.776 PropClause: 21617.985 Set: 3686.762 Check: 0.0 Back: 437.867
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 19367039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.387 Prop: 22192.895 PropClause: 21705.109 Set: 3700.821 Check: 0.0 Back: 439.691
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 19447640 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 22281.91 PropClause: 21792.137 Set: 3714.69 Check: 0.0 Back: 441.53
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 19527954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.401 Prop: 22378.478 PropClause: 21886.293 Set: 3732.351 Check: 0.0 Back: 443.347
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 19608272 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 22468.448 PropClause: 21974.271 Set: 3746.276 Check: 0.0 Back: 445.199
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 19687148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.418 Prop: 22558.364 PropClause: 22062.212 Set: 3759.925 Check: 0.0 Back: 447.028
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 19767462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.426 Prop: 22649.186 PropClause: 22151.033 Set: 3774.024 Check: 0.0 Back: 448.824
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 19848058 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 22738.15 PropClause: 22237.966 Set: 3788.18 Check: 0.0 Back: 450.675
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 19928659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.441 Prop: 22835.712 PropClause: 22333.462 Set: 3802.602 Check: 0.0 Back: 452.525
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 20008973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 22924.168 PropClause: 22419.914 Set: 3816.539 Check: 0.0 Back: 454.359
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 20089291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.455 Prop: 23012.225 PropClause: 22505.991 Set: 3830.387 Check: 0.0 Back: 456.176
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 20168167 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 23103.194 PropClause: 22595.002 Set: 3844.06 Check: 0.0 Back: 457.995
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 20248481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 23190.785 PropClause: 22680.604 Set: 3858.065 Check: 0.0 Back: 459.79
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 20329077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.477 Prop: 23274.404 PropClause: 22762.234 Set: 3871.969 Check: 0.0 Back: 461.643
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 20409678 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.483 Prop: 23366.282 PropClause: 22852.119 Set: 3886.234 Check: 0.0 Back: 463.455
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 20489992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.489 Prop: 23451.787 PropClause: 22935.644 Set: 3900.138 Check: 0.0 Back: 465.28
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 20570310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.498 Prop: 23543.06 PropClause: 23024.936 Set: 3914.099 Check: 0.0 Back: 467.097
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 20649186 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.506 Prop: 23631.868 PropClause: 23111.771 Set: 3927.855 Check: 0.0 Back: 468.909
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 20729500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 23723.781 PropClause: 23201.684 Set: 3941.879 Check: 0.0 Back: 470.725
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 20810096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 23810.032 PropClause: 23285.932 Set: 3955.967 Check: 0.0 Back: 472.553
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 20890697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.528 Prop: 23902.783 PropClause: 23376.675 Set: 3970.2 Check: 0.0 Back: 474.402
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 20971011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.535 Prop: 23990.123 PropClause: 23462.025 Set: 3984.323 Check: 0.0 Back: 476.227
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 21051329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.543 Prop: 24078.34 PropClause: 23548.247 Set: 3998.36 Check: 0.0 Back: 478.065
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 21130205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.55 Prop: 24166.262 PropClause: 23634.218 Set: 4011.956 Check: 0.0 Back: 479.878
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 21210519 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.557 Prop: 24249.835 PropClause: 23715.811 Set: 4025.82 Check: 0.0 Back: 481.666
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 21291115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.565 Prop: 24331.026 PropClause: 23794.992 Set: 4039.827 Check: 0.0 Back: 483.469
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 21371716 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.575 Prop: 24414.771 PropClause: 23876.745 Set: 4053.846 Check: 0.0 Back: 485.308
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 21452030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.582 Prop: 24498.289 PropClause: 23958.268 Set: 4067.807 Check: 0.0 Back: 487.123
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 21532348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.59 Prop: 24586.629 PropClause: 24044.593 Set: 4081.943 Check: 0.0 Back: 488.99
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 21611224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.598 Prop: 24669.946 PropClause: 24125.974 Set: 4095.455 Check: 0.0 Back: 490.851
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 21691538 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.605 Prop: 24754.68 PropClause: 24208.729 Set: 4109.307 Check: 0.0 Back: 492.619
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 21772134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.612 Prop: 24836.555 PropClause: 24288.611 Set: 4123.265 Check: 0.0 Back: 494.452
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 21852735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 24921.824 PropClause: 24371.896 Set: 4137.096 Check: 0.0 Back: 496.279
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 21933049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 25003.51 PropClause: 24451.599 Set: 4150.927 Check: 0.0 Back: 498.092
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 22013367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.634 Prop: 25084.988 PropClause: 24531.102 Set: 4164.656 Check: 0.0 Back: 499.896
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 22092243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.642 Prop: 25165.194 PropClause: 24609.368 Set: 4178.019 Check: 0.0 Back: 501.714
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 22172557 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.65 Prop: 25251.629 PropClause: 24693.822 Set: 4210.027 Check: 0.0 Back: 503.485
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 22253153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.657 Prop: 25336.352 PropClause: 24776.562 Set: 4224.09 Check: 0.0 Back: 505.303
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 22333754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.665 Prop: 25426.42 PropClause: 24864.452 Set: 4239.513 Check: 0.0 Back: 507.127
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 22414068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.672 Prop: 25513.336 PropClause: 24949.394 Set: 4253.556 Check: 0.0 Back: 508.94
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 22494386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 25602.735 PropClause: 25036.819 Set: 4267.434 Check: 0.0 Back: 510.747
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 22573262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.724 Prop: 25690.187 PropClause: 25122.332 Set: 4281.003 Check: 0.0 Back: 512.543
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 22653576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.766 Prop: 25777.528 PropClause: 25207.683 Set: 4295.043 Check: 0.0 Back: 514.327
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 22734172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.773 Prop: 25864.483 PropClause: 25292.649 Set: 4309.14 Check: 0.0 Back: 516.147
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 22814773 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.781 Prop: 25955.864 PropClause: 25382.015 Set: 4323.191 Check: 0.0 Back: 517.962
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 22895087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.789 Prop: 26046.693 PropClause: 25470.835 Set: 4337.215 Check: 0.0 Back: 519.822
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 22975405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.797 Prop: 26139.817 PropClause: 25561.989 Set: 4351.367 Check: 0.0 Back: 521.626
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 23054281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.806 Prop: 26229.109 PropClause: 25649.343 Set: 4365.128 Check: 0.0 Back: 523.434
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 23134595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.814 Prop: 26318.973 PropClause: 25737.225 Set: 4379.158 Check: 0.0 Back: 525.214
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 23215191 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.821 Prop: 26409.373 PropClause: 25825.598 Set: 4394.303 Check: 0.0 Back: 527.028
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 23294063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.829 Prop: 26498.392 PropClause: 25912.663 Set: 4407.988 Check: 0.0 Back: 528.862
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 23374660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 26582.427 PropClause: 25994.731 Set: 4422.006 Check: 0.0 Back: 530.717
INFO - Atoms: 80597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 23454973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.843 Prop: 26667.352 PropClause: 26077.669 Set: 4435.986 Check: 0.0 Back: 532.521
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 23535579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.852 Prop: 26750.854 PropClause: 26159.19 Set: 4450.119 Check: 0.0 Back: 534.332
INFO - Atoms: 80606/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 23615892 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.859 Prop: 26841.027 PropClause: 26247.387 Set: 4464.121 Check: 0.0 Back: 536.168
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 23696206 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.867 Prop: 26927.021 PropClause: 26331.388 Set: 4478.21 Check: 0.0 Back: 537.996
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 23775078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.875 Prop: 27017.429 PropClause: 26419.861 Set: 4491.888 Check: 0.0 Back: 539.824
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 23855675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.883 Prop: 27100.752 PropClause: 26501.194 Set: 4506.139 Check: 0.0 Back: 541.6
INFO - Atoms: 80597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 23935988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.893 Prop: 27188.388 PropClause: 26586.846 Set: 4527.365 Check: 0.0 Back: 543.414
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 24016594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.902 Prop: 27272.253 PropClause: 26668.729 Set: 4541.4 Check: 0.0 Back: 545.243
INFO - Atoms: 80606/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 24096907 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.91 Prop: 27358.681 PropClause: 26753.179 Set: 4555.352 Check: 0.0 Back: 547.072
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 24177221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.917 Prop: 27441.691 PropClause: 26834.209 Set: 4569.388 Check: 0.0 Back: 548.929
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 24257823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.924 Prop: 27525.959 PropClause: 26916.49 Set: 4583.504 Check: 0.0 Back: 550.759
INFO - Atoms: 80602/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 24338137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.931 Prop: 27609.544 PropClause: 26998.089 Set: 4597.567 Check: 0.0 Back: 552.583
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 24418455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.938 Prop: 27693.688 PropClause: 27080.244 Set: 4611.398 Check: 0.0 Back: 554.398
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 24497331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.946 Prop: 27777.228 PropClause: 27161.834 Set: 4625.063 Check: 0.0 Back: 556.21
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 24577645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.954 Prop: 27858.568 PropClause: 27241.197 Set: 4639.241 Check: 0.0 Back: 557.985
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 24658241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.96 Prop: 27939.329 PropClause: 27319.967 Set: 4653.26 Check: 0.0 Back: 559.793
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 24738842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.967 Prop: 28023.646 PropClause: 27402.292 Set: 4667.272 Check: 0.0 Back: 561.632
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 24819156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 28105.956 PropClause: 27482.604 Set: 4681.142 Check: 0.0 Back: 563.445
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 24899474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.981 Prop: 28183.931 PropClause: 27558.596 Set: 4694.898 Check: 0.0 Back: 565.283
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 24978350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 28265.055 PropClause: 27637.757 Set: 4731.332 Check: 0.0 Back: 567.095
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 25058664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.996 Prop: 28350.908 PropClause: 27721.613 Set: 4745.417 Check: 0.0 Back: 568.888
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 25139260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.005 Prop: 28432.615 PropClause: 27801.346 Set: 4759.37 Check: 0.0 Back: 570.747
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 25219861 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.013 Prop: 28521.36 PropClause: 27888.096 Set: 4773.543 Check: 0.0 Back: 572.579
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 25300175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.02 Prop: 28602.582 PropClause: 27967.315 Set: 4787.558 Check: 0.0 Back: 574.433
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 25380493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.028 Prop: 28682.938 PropClause: 28045.679 Set: 4801.578 Check: 0.0 Back: 576.265
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 25459369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.035 Prop: 28768.993 PropClause: 28129.778 Set: 4815.283 Check: 0.0 Back: 578.099
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 25539683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.043 Prop: 28853.393 PropClause: 28212.192 Set: 4829.33 Check: 0.0 Back: 579.914
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 25620279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.051 Prop: 28934.868 PropClause: 28291.678 Set: 4843.363 Check: 0.0 Back: 581.749
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 25700880 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.058 Prop: 29019.158 PropClause: 28373.971 Set: 4857.434 Check: 0.0 Back: 583.58
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 25781194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.066 Prop: 29103.694 PropClause: 28456.504 Set: 4871.629 Check: 0.0 Back: 585.434
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 25861512 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.073 Prop: 29189.039 PropClause: 28539.859 Set: 4885.708 Check: 0.0 Back: 587.281
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 25940388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 29273.029 PropClause: 28621.895 Set: 4899.384 Check: 0.0 Back: 589.113
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 26020702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.09 Prop: 29357.986 PropClause: 28704.867 Set: 4913.538 Check: 0.0 Back: 590.899
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 26101298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.096 Prop: 29441.147 PropClause: 28786.022 Set: 4927.889 Check: 0.0 Back: 592.735
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 26181899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.104 Prop: 29528.357 PropClause: 28871.221 Set: 4942.064 Check: 0.0 Back: 594.588
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 26262213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.112 Prop: 29611.392 PropClause: 28952.25 Set: 4956.287 Check: 0.0 Back: 596.479
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 26342531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.119 Prop: 29695.945 PropClause: 29034.817 Set: 4970.185 Check: 0.0 Back: 598.369
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 26421407 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.127 Prop: 29778.622 PropClause: 29115.557 Set: 4983.846 Check: 0.0 Back: 600.183
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 26501721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.134 Prop: 29865.648 PropClause: 29200.586 Set: 4998.041 Check: 0.0 Back: 601.959
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 26582317 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.14 Prop: 29951.892 PropClause: 29284.838 Set: 5012.379 Check: 0.0 Back: 603.784
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 26662918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.148 Prop: 30039.216 PropClause: 29370.181 Set: 5026.497 Check: 0.0 Back: 605.611
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 26743232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.155 Prop: 30121.523 PropClause: 29450.493 Set: 5040.814 Check: 0.0 Back: 607.471
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 26823550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 30205.906 PropClause: 29532.905 Set: 5054.825 Check: 0.0 Back: 609.285
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 26902426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 30289.877 PropClause: 29614.932 Set: 5068.5 Check: 0.0 Back: 611.091
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 26982740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.176 Prop: 30376.416 PropClause: 29699.494 Set: 5082.725 Check: 0.0 Back: 612.902
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 27063336 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.182 Prop: 30459.657 PropClause: 29780.756 Set: 5096.896 Check: 0.0 Back: 614.713
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 27142208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.188 Prop: 30545.09 PropClause: 29864.254 Set: 5110.78 Check: 0.0 Back: 616.527
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 27222805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.195 Prop: 30623.615 PropClause: 29940.796 Set: 5124.85 Check: 0.0 Back: 618.306
INFO - Atoms: 80597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 27303118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.203 Prop: 30709.5 PropClause: 30024.721 Set: 5138.823 Check: 0.0 Back: 620.12
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 27381994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.21 Prop: 30792.155 PropClause: 30105.423 Set: 5152.415 Check: 0.0 Back: 621.933
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 27462308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.215 Prop: 30878.292 PropClause: 30189.578 Set: 5166.388 Check: 0.0 Back: 623.716
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 27542904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.221 Prop: 30955.47 PropClause: 30264.779 Set: 5180.358 Check: 0.0 Back: 625.529
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 27623505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.228 Prop: 31039.347 PropClause: 30346.675 Set: 5194.377 Check: 0.0 Back: 627.346
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 27703819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.236 Prop: 31119.362 PropClause: 30424.717 Set: 5208.304 Check: 0.0 Back: 629.166
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 27784137 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.242 Prop: 31201.604 PropClause: 30504.985 Set: 5222.15 Check: 0.0 Back: 630.983
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 27863013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.25 Prop: 31284.535 PropClause: 30585.974 Set: 5235.846 Check: 0.0 Back: 632.793
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 27943327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 31363.527 PropClause: 30662.987 Set: 5249.79 Check: 0.0 Back: 634.576
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 28023923 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.264 Prop: 31446.129 PropClause: 30743.604 Set: 5263.888 Check: 0.0 Back: 636.393
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 28104524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.271 Prop: 31528.577 PropClause: 30824.062 Set: 5278.026 Check: 0.0 Back: 638.21
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 28184838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.277 Prop: 31608.359 PropClause: 30901.875 Set: 5292.042 Check: 0.0 Back: 640.038
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 28265156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.285 Prop: 31688.448 PropClause: 30979.99 Set: 5306.017 Check: 0.0 Back: 641.845
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 28344032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.291 Prop: 31767.245 PropClause: 31056.852 Set: 5319.631 Check: 0.0 Back: 643.653
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 28424346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.299 Prop: 31847.98 PropClause: 31135.589 Set: 5333.54 Check: 0.0 Back: 645.445
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 28504942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.307 Prop: 31931.938 PropClause: 31217.54 Set: 5347.875 Check: 0.0 Back: 647.261
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 28585543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.314 Prop: 32016.712 PropClause: 31300.328 Set: 5362.083 Check: 0.0 Back: 649.139
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 28665857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.322 Prop: 32097.852 PropClause: 31379.453 Set: 5376.232 Check: 0.0 Back: 650.969
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 28746175 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 32185.764 PropClause: 31465.386 Set: 5390.353 Check: 0.0 Back: 652.811
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 28825051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.338 Prop: 32270.327 PropClause: 31548.006 Set: 5404.141 Check: 0.0 Back: 654.638
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 28905365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.346 Prop: 32358.732 PropClause: 31634.345 Set: 5418.493 Check: 0.0 Back: 656.433
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 28985961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.355 Prop: 32444.437 PropClause: 31718.023 Set: 5432.88 Check: 0.0 Back: 658.267
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 29066562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.363 Prop: 32531.689 PropClause: 31803.283 Set: 5447.151 Check: 0.0 Back: 660.12
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 29146876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.371 Prop: 32617.139 PropClause: 31886.755 Set: 5461.605 Check: 0.0 Back: 661.988
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 29227194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.378 Prop: 32703.929 PropClause: 31971.561 Set: 5475.707 Check: 0.0 Back: 663.8
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 29306070 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.384 Prop: 32784.045 PropClause: 32049.742 Set: 5489.474 Check: 0.0 Back: 665.622
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 29386384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.39 Prop: 32864.719 PropClause: 32128.437 Set: 5503.651 Check: 0.0 Back: 667.398
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 29466980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 32946.962 PropClause: 32208.697 Set: 5517.807 Check: 0.0 Back: 669.196
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 29547581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.405 Prop: 33032.309 PropClause: 32292.049 Set: 5531.903 Check: 0.0 Back: 671.013
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 29627895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.411 Prop: 33114.443 PropClause: 32372.194 Set: 5545.846 Check: 0.0 Back: 672.853
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 29708213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.418 Prop: 33197.859 PropClause: 32453.634 Set: 5559.944 Check: 0.0 Back: 674.66
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 29787089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 33279.082 PropClause: 32532.908 Set: 5573.701 Check: 0.0 Back: 676.47
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 29867403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.433 Prop: 33362.912 PropClause: 32614.764 Set: 5587.798 Check: 0.0 Back: 678.269
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 29947999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.442 Prop: 33447.431 PropClause: 32697.297 Set: 5601.961 Check: 0.0 Back: 680.087
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 30028600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.449 Prop: 33534.614 PropClause: 32782.473 Set: 5616.133 Check: 0.0 Back: 681.948
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 30108914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.457 Prop: 33618.883 PropClause: 32864.728 Set: 5630.37 Check: 0.0 Back: 683.797
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 30189232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.464 Prop: 33701.928 PropClause: 32945.765 Set: 5644.52 Check: 0.0 Back: 685.643
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 30268108 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.472 Prop: 33784.478 PropClause: 33026.354 Set: 5658.309 Check: 0.0 Back: 687.506
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 30348422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.479 Prop: 33868.069 PropClause: 33107.962 Set: 5672.427 Check: 0.0 Back: 689.278
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 30429018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.486 Prop: 33948.349 PropClause: 33186.26 Set: 5686.609 Check: 0.0 Back: 691.083
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 30509619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.493 Prop: 34035.304 PropClause: 33271.237 Set: 5700.957 Check: 0.0 Back: 692.901
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 30589933 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.499 Prop: 34117.99 PropClause: 33351.939 Set: 5715.174 Check: 0.0 Back: 694.722
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 30670251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.506 Prop: 34202.369 PropClause: 33434.334 Set: 5729.407 Check: 0.0 Back: 696.541
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 30749127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.514 Prop: 34285.896 PropClause: 33515.875 Set: 5743.271 Check: 0.0 Back: 698.375
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 30829441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.523 Prop: 34373.241 PropClause: 33601.222 Set: 5757.556 Check: 0.0 Back: 700.18
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 30910037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.53 Prop: 34454.846 PropClause: 33680.834 Set: 5771.817 Check: 0.0 Back: 702.013
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 30990638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.538 Prop: 34541.745 PropClause: 33765.746 Set: 5786.099 Check: 0.0 Back: 703.845
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 31070952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.546 Prop: 34622.63 PropClause: 33844.656 Set: 5800.135 Check: 0.0 Back: 705.686
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 31151270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.553 Prop: 34705.021 PropClause: 33925.065 Set: 5814.191 Check: 0.0 Back: 707.512
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 31230146 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.56 Prop: 34784.912 PropClause: 34003.026 Set: 5827.834 Check: 0.0 Back: 709.316
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 31310460 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.566 Prop: 34867.038 PropClause: 34083.171 Set: 5842.029 Check: 0.0 Back: 711.098
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 31391056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.573 Prop: 34950.109 PropClause: 34164.254 Set: 5856.243 Check: 0.0 Back: 712.936
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 31471657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.581 Prop: 35029.483 PropClause: 34241.617 Set: 5870.594 Check: 0.0 Back: 714.78
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 31551971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.588 Prop: 35110.967 PropClause: 34321.101 Set: 5884.997 Check: 0.0 Back: 716.648
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 31632289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.597 Prop: 35189.435 PropClause: 34397.603 Set: 5898.814 Check: 0.0 Back: 718.492
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 31711165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.605 Prop: 35270.271 PropClause: 34476.499 Set: 5912.36 Check: 0.0 Back: 720.293
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 31791479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.613 Prop: 35346.376 PropClause: 34550.622 Set: 5926.402 Check: 0.0 Back: 722.104
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 31872075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.619 Prop: 35426.729 PropClause: 34628.996 Set: 5940.629 Check: 0.0 Back: 723.917
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 31952676 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.625 Prop: 35504.59 PropClause: 34704.875 Set: 5954.642 Check: 0.0 Back: 725.763
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 32032990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.63 Prop: 35581.627 PropClause: 34779.935 Set: 5968.663 Check: 0.0 Back: 727.579
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 32113308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.638 Prop: 35663.983 PropClause: 34860.306 Set: 5982.883 Check: 0.0 Back: 729.4
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 32192184 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.646 Prop: 35743.28 PropClause: 34937.656 Set: 5996.711 Check: 0.0 Back: 731.217
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 32272498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.653 Prop: 35825.014 PropClause: 35017.419 Set: 6010.981 Check: 0.0 Back: 732.999
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 32353094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.659 Prop: 35903.965 PropClause: 35094.39 Set: 6025.345 Check: 0.0 Back: 734.81
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 32433695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.665 Prop: 35983.836 PropClause: 35172.268 Set: 6039.484 Check: 0.0 Back: 736.627
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 32514009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.671 Prop: 36076.166 PropClause: 35262.624 Set: 6054.398 Check: 0.0 Back: 738.447
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 32594327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.678 Prop: 36155.705 PropClause: 35340.197 Set: 6068.339 Check: 0.0 Back: 740.239
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 32673203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.686 Prop: 36238.163 PropClause: 35420.697 Set: 6082.299 Check: 0.0 Back: 742.047
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 32753517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.693 Prop: 36322.677 PropClause: 35503.229 Set: 6096.628 Check: 0.0 Back: 743.835
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 32834113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.7 Prop: 36407.308 PropClause: 35585.845 Set: 6111.083 Check: 0.0 Back: 745.656
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 32914714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.707 Prop: 36493.145 PropClause: 35669.689 Set: 6125.438 Check: 0.0 Back: 747.48
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 32995028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.714 Prop: 36576.515 PropClause: 35751.076 Set: 6139.803 Check: 0.0 Back: 749.313
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 33075346 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.722 Prop: 36658.934 PropClause: 35831.511 Set: 6154.12 Check: 0.0 Back: 751.12
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 33154222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.73 Prop: 36738.549 PropClause: 35909.183 Set: 6167.925 Check: 0.0 Back: 752.932
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 33234536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.736 Prop: 36821.301 PropClause: 35989.95 Set: 6182.051 Check: 0.0 Back: 754.712
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 33315132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.743 Prop: 36902.222 PropClause: 36068.885 Set: 6196.393 Check: 0.0 Back: 756.529
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 33395733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.75 Prop: 36986.831 PropClause: 36151.506 Set: 6210.655 Check: 0.0 Back: 758.357
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 33476047 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.758 Prop: 37069.736 PropClause: 36232.438 Set: 6224.882 Check: 0.0 Back: 760.165
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 33556365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.767 Prop: 37150.746 PropClause: 36311.451 Set: 6239.007 Check: 0.0 Back: 761.994
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 33635241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.774 Prop: 37232.581 PropClause: 36391.344 Set: 6252.941 Check: 0.0 Back: 763.825
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 33715555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.781 Prop: 37313.299 PropClause: 36470.072 Set: 6267.091 Check: 0.0 Back: 765.621
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 33796151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.79 Prop: 37394.085 PropClause: 36548.858 Set: 6281.218 Check: 0.0 Back: 767.448
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 33876752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.798 Prop: 37478.75 PropClause: 36631.547 Set: 6295.486 Check: 0.0 Back: 769.274
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 33957066 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.805 Prop: 37560.786 PropClause: 36711.608 Set: 6309.728 Check: 0.0 Back: 771.085
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 34037384 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.811 Prop: 37645.662 PropClause: 36794.492 Set: 6323.995 Check: 0.0 Back: 772.905
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 34116260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.819 Prop: 37726.18 PropClause: 36873.067 Set: 6337.833 Check: 0.0 Back: 774.719
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 34196574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.826 Prop: 37808.686 PropClause: 36953.569 Set: 6352.07 Check: 0.0 Back: 776.511
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 34277170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.833 Prop: 37889.448 PropClause: 37032.346 Set: 6366.291 Check: 0.0 Back: 778.332
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 34357771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.84 Prop: 37973.516 PropClause: 37114.439 Set: 6380.631 Check: 0.0 Back: 780.15
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 34438085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.847 Prop: 38056.734 PropClause: 37195.654 Set: 6395.142 Check: 0.0 Back: 781.967
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 34518403 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.853 Prop: 38138.98 PropClause: 37275.927 Set: 6409.207 Check: 0.0 Back: 783.803
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 34597279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.86 Prop: 38217.594 PropClause: 37352.591 Set: 6422.995 Check: 0.0 Back: 785.613
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 34677593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.866 Prop: 38296.963 PropClause: 37429.96 Set: 6437.15 Check: 0.0 Back: 787.407
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 34758189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.872 Prop: 38373.726 PropClause: 37504.737 Set: 6451.103 Check: 0.0 Back: 789.232
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 34837061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.881 Prop: 38453.397 PropClause: 37582.473 Set: 6464.763 Check: 0.0 Back: 791.039
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 34917658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.888 Prop: 38530.227 PropClause: 37657.324 Set: 6478.819 Check: 0.0 Back: 792.84
INFO - Atoms: 80597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 34997971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.896 Prop: 38606.546 PropClause: 37731.667 Set: 6492.706 Check: 0.0 Back: 794.654
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 35078577 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.903 Prop: 38682.101 PropClause: 37805.247 Set: 6506.742 Check: 0.0 Back: 796.467
INFO - Atoms: 80606/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 35158890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.911 Prop: 38761.158 PropClause: 37882.325 Set: 6520.72 Check: 0.0 Back: 798.283
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 35239204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.918 Prop: 38837.57 PropClause: 37956.781 Set: 6534.6 Check: 0.0 Back: 800.09
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 35318076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.926 Prop: 38918.478 PropClause: 38035.686 Set: 6548.751 Check: 0.0 Back: 801.903
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 35398673 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.932 Prop: 38994.949 PropClause: 38110.147 Set: 6562.989 Check: 0.0 Back: 803.718
INFO - Atoms: 80597/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 35478986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.941 Prop: 39073.197 PropClause: 38186.394 Set: 6577.302 Check: 0.0 Back: 805.537
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 35559592 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.949 Prop: 39150.656 PropClause: 38261.873 Set: 6591.392 Check: 0.0 Back: 807.39
INFO - Atoms: 80606/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 35639905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.956 Prop: 39227.197 PropClause: 38336.444 Set: 6605.263 Check: 0.0 Back: 809.206
INFO - Atoms: 80313/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 35720219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.962 Prop: 39308.435 PropClause: 38415.709 Set: 6619.342 Check: 0.0 Back: 811.025
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 35800821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.968 Prop: 39390.803 PropClause: 38496.108 Set: 6633.542 Check: 0.0 Back: 812.814
INFO - Atoms: 80602/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 35881135 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.976 Prop: 39471.765 PropClause: 38575.097 Set: 6647.696 Check: 0.0 Back: 814.629
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 35961453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.983 Prop: 39553.057 PropClause: 38654.416 Set: 6661.884 Check: 0.0 Back: 816.436
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 36040329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.992 Prop: 39635.177 PropClause: 38734.554 Set: 6676.076 Check: 0.0 Back: 818.251
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 36120643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.0 Prop: 39714.204 PropClause: 38811.609 Set: 6690.201 Check: 0.0 Back: 820.107
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 36201239 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.009 Prop: 39793.359 PropClause: 38888.793 Set: 6704.478 Check: 0.0 Back: 821.92
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 36281840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.017 Prop: 39874.862 PropClause: 38968.315 Set: 6718.745 Check: 0.0 Back: 823.748
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 36362154 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.023 Prop: 39956.505 PropClause: 39047.967 Set: 6733.104 Check: 0.0 Back: 825.574
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 36442472 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.031 Prop: 40037.013 PropClause: 39126.502 Set: 6747.23 Check: 0.0 Back: 827.407
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 36521348 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.038 Prop: 40116.567 PropClause: 39204.115 Set: 6760.933 Check: 0.0 Back: 829.215
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 36601662 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.046 Prop: 40197.034 PropClause: 39282.611 Set: 6775.102 Check: 0.0 Back: 830.99
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 36682258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.055 Prop: 40278.665 PropClause: 39362.269 Set: 6789.507 Check: 0.0 Back: 832.808
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 36762859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.063 Prop: 40361.297 PropClause: 39442.912 Set: 6803.697 Check: 0.0 Back: 834.613
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 36843173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.071 Prop: 40443.727 PropClause: 39523.357 Set: 6817.852 Check: 0.0 Back: 836.439
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 36923491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.079 Prop: 40524.041 PropClause: 39601.695 Set: 6831.903 Check: 0.0 Back: 838.261
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 37002367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.086 Prop: 40602.775 PropClause: 39678.484 Set: 6845.921 Check: 0.0 Back: 840.072
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 37082681 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.093 Prop: 40683.281 PropClause: 39757.001 Set: 6859.981 Check: 0.0 Back: 841.89
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 37163277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.099 Prop: 40763.975 PropClause: 39835.732 Set: 6874.154 Check: 0.0 Back: 843.691
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 37243878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.108 Prop: 40847.517 PropClause: 39917.275 Set: 6888.325 Check: 0.0 Back: 845.508
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 37324192 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.116 Prop: 40930.281 PropClause: 39998.057 Set: 6902.553 Check: 0.0 Back: 847.324
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 37404510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.123 Prop: 41014.101 PropClause: 40079.889 Set: 6916.716 Check: 0.0 Back: 849.14
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 37483386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.13 Prop: 41098.408 PropClause: 40162.249 Set: 6930.631 Check: 0.0 Back: 850.947
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 37563700 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.135 Prop: 41180.574 PropClause: 40242.457 Set: 6944.864 Check: 0.0 Back: 852.717
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 37644296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.144 Prop: 41262.991 PropClause: 40322.895 Set: 6959.136 Check: 0.0 Back: 854.526
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 37724897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.152 Prop: 41345.968 PropClause: 40403.888 Set: 6973.335 Check: 0.0 Back: 856.344
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 37805211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.158 Prop: 41427.567 PropClause: 40483.513 Set: 6987.598 Check: 0.0 Back: 858.166
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 37885529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.164 Prop: 41511.095 PropClause: 40565.059 Set: 7001.712 Check: 0.0 Back: 859.979
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 37964405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.17 Prop: 41591.766 PropClause: 40643.785 Set: 7015.555 Check: 0.0 Back: 861.804
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 38044719 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.177 Prop: 41674.205 PropClause: 40724.268 Set: 7029.76 Check: 0.0 Back: 863.571
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 38125315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.185 Prop: 41752.94 PropClause: 40801.025 Set: 7043.891 Check: 0.0 Back: 865.373
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 38205916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.192 Prop: 41831.862 PropClause: 40877.965 Set: 7057.967 Check: 0.0 Back: 867.187
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 38286230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.201 Prop: 41913.967 PropClause: 40957.959 Set: 7072.098 Check: 0.0 Back: 868.998
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 38366548 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.209 Prop: 41992.14 PropClause: 41034.146 Set: 7086.068 Check: 0.0 Back: 870.848
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 38445424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.218 Prop: 42067.711 PropClause: 41107.789 Set: 7099.685 Check: 0.0 Back: 872.659
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 38525738 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.224 Prop: 42145.028 PropClause: 41183.142 Set: 7113.802 Check: 0.0 Back: 874.476
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 453 Props: 38606334 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.23 Prop: 42222.199 PropClause: 41258.328 Set: 7128.037 Check: 0.0 Back: 876.272
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 454 Props: 38686935 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.237 Prop: 42299.8 PropClause: 41333.953 Set: 7142.004 Check: 0.0 Back: 878.096
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 38767249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.244 Prop: 42376.681 PropClause: 41408.866 Set: 7156.022 Check: 0.0 Back: 879.942
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 456 Props: 38847567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.252 Prop: 42451.907 PropClause: 41482.127 Set: 7169.889 Check: 0.0 Back: 881.761
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 457 Props: 38926443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.26 Prop: 42532.363 PropClause: 41560.636 Set: 7183.828 Check: 0.0 Back: 883.581
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 39006757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.265 Prop: 42608.89 PropClause: 41635.197 Set: 7197.873 Check: 0.0 Back: 885.348
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 459 Props: 39087353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.273 Prop: 42690.885 PropClause: 41715.174 Set: 7212.375 Check: 0.0 Back: 887.138
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 39167954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.28 Prop: 42767.787 PropClause: 41790.088 Set: 7226.353 Check: 0.0 Back: 888.983
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 461 Props: 39248268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.286 Prop: 42843.79 PropClause: 41864.116 Set: 7240.48 Check: 0.0 Back: 890.794
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 39328586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.293 Prop: 42919.823 PropClause: 41938.186 Set: 7254.386 Check: 0.0 Back: 892.611
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 463 Props: 39407462 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.301 Prop: 42997.791 PropClause: 42014.214 Set: 7268.272 Check: 0.0 Back: 894.411
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 464 Props: 39487776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.308 Prop: 43077.486 PropClause: 42091.957 Set: 7282.391 Check: 0.0 Back: 896.195
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 465 Props: 39568372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.315 Prop: 43157.275 PropClause: 42169.749 Set: 7296.622 Check: 0.0 Back: 898.011
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 39648973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.322 Prop: 43236.223 PropClause: 42246.713 Set: 7310.719 Check: 0.0 Back: 899.828
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 467 Props: 39729287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.328 Prop: 43312.961 PropClause: 42321.48 Set: 7324.772 Check: 0.0 Back: 901.642
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 39809605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.335 Prop: 43393.824 PropClause: 42400.368 Set: 7339.118 Check: 0.0 Back: 903.45
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 469 Props: 39888481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.342 Prop: 43472.979 PropClause: 42477.589 Set: 7352.875 Check: 0.0 Back: 905.27
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 470 Props: 39968795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.35 Prop: 43553.699 PropClause: 42556.347 Set: 7367.148 Check: 0.0 Back: 907.035
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 471 Props: 40049391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.357 Prop: 43636.825 PropClause: 42637.419 Set: 7381.508 Check: 0.0 Back: 908.86
INFO - Atoms: 80596/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 40129992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.364 Prop: 43717.968 PropClause: 42716.579 Set: 7395.955 Check: 0.0 Back: 910.675
INFO - Atoms: 80601/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 473 Props: 40210306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.371 Prop: 43799.718 PropClause: 42796.298 Set: 7410.224 Check: 0.0 Back: 912.509
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 474 Props: 40290624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.379 Prop: 43879.189 PropClause: 42873.796 Set: 7424.227 Check: 0.0 Back: 914.366
INFO - Atoms: 80318/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 475 Props: 40369500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.385 Prop: 43958.703 PropClause: 42951.377 Set: 7438.191 Check: 0.0 Back: 916.198
INFO - Atoms: 78876/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 40449814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.393 Prop: 44038.81 PropClause: 43029.527 Set: 7452.359 Check: 0.0 Back: 917.962
INFO - Atoms: 80314/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 477 Props: 40530279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.4 Prop: 44118.472 PropClause: 43107.213 Set: 7466.465 Check: 0.0 Back: 919.767
INFO - Atoms: 80465/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 478 Props: 40609151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.408 Prop: 44199.78 PropClause: 43186.574 Set: 7498.823 Check: 0.0 Back: 921.578
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 40689483 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.414 Prop: 44279.809 PropClause: 43264.626 Set: 7513.06 Check: 0.0 Back: 923.356
INFO - Atoms: 80332/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 480 Props: 40769663 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.421 Prop: 44361.724 PropClause: 43344.568 Set: 7527.287 Check: 0.0 Back: 925.171
INFO - Atoms: 80180/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 481 Props: 40850003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.428 Prop: 44446.198 PropClause: 43427.075 Set: 7541.787 Check: 0.0 Back: 926.974
INFO - Atoms: 80340/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 482 Props: 40930048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.435 Prop: 44528.317 PropClause: 43507.225 Set: 7555.856 Check: 0.0 Back: 928.802
INFO - Atoms: 80045/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 41010094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.443 Prop: 44610.442 PropClause: 43587.359 Set: 7570.206 Check: 0.0 Back: 930.621
INFO - Atoms: 80046/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 41088966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.45 Prop: 44690.462 PropClause: 43665.439 Set: 7584.101 Check: 0.0 Back: 932.444
INFO - Atoms: 78872/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 485 Props: 41168736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.458 Prop: 44770.647 PropClause: 43743.669 Set: 7598.356 Check: 0.0 Back: 934.22
INFO - Atoms: 79770/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 486 Props: 41248506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.529 Prop: 44851.337 PropClause: 43822.401 Set: 7612.469 Check: 0.0 Back: 936.016
INFO - Atoms: 79770/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 41328275 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.573 Prop: 44932.101 PropClause: 43901.213 Set: 7626.703 Check: 0.0 Back: 937.817
INFO - Atoms: 79769/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 488 Props: 41407122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.627 Prop: 45014.815 PropClause: 43981.989 Set: 7640.692 Check: 0.0 Back: 939.613
INFO - Atoms: 78847/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 489 Props: 41486262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.759 Prop: 45094.948 PropClause: 44060.16 Set: 7654.729 Check: 0.0 Back: 941.393
INFO - Atoms: 79140/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 490 Props: 41565109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.771 Prop: 45174.605 PropClause: 44137.878 Set: 7668.564 Check: 0.0 Back: 943.183
INFO - Atoms: 78847/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 41644257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.783 Prop: 45282.892 PropClause: 44244.218 Set: 7682.598 Check: 0.0 Back: 944.957
INFO - Atoms: 79148/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 41723405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.795 Prop: 45363.678 PropClause: 44323.062 Set: 7696.603 Check: 0.0 Back: 946.742
INFO - Atoms: 79148/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 493 Props: 41802855 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.805 Prop: 45444.292 PropClause: 44401.726 Set: 7710.658 Check: 0.0 Back: 948.531
INFO - Atoms: 79450/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 494 Props: 41882605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.817 Prop: 45523.189 PropClause: 44478.674 Set: 7724.567 Check: 0.0 Back: 950.309
INFO - Atoms: 79750/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 41962374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.83 Prop: 45602.524 PropClause: 44556.032 Set: 7738.495 Check: 0.0 Back: 952.114
INFO - Atoms: 79769/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 496 Props: 42042113 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.841 Prop: 45682.106 PropClause: 44633.658 Set: 7752.535 Check: 0.0 Back: 953.941
INFO - Atoms: 79739/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 497 Props: 42121841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.854 Prop: 45760.428 PropClause: 44710.01 Set: 7766.926 Check: 0.0 Back: 955.742
INFO - Atoms: 79728/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 498 Props: 42201268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.865 Prop: 45839.239 PropClause: 44786.86 Set: 7780.892 Check: 0.0 Back: 957.556
INFO - Atoms: 79427/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 42280109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.878 Prop: 45917.607 PropClause: 44863.299 Set: 7794.927 Check: 0.0 Back: 959.353
INFO - Atoms: 78841/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 500 Props: 42358947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.89 Prop: 45998.291 PropClause: 44942.042 Set: 7809.002 Check: 0.0 Back: 961.145
INFO - Atoms: 78838/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 76708 Tprops: 12618 Decides: 89746 RSplits: 0
INFO - Times: Expl: 684.576 Prop: 113816.547 PropClause: 38.171 Set: 15195.658 Check: 809.459 Back: 406.976
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 1083315 eq 65487288 cc 440623313 setRep 188838787
INFO - Merges: 1378757, cc:5413989
INFO - BVTimes: BB 520707473 BB_DPLL 101969852924 Graph 2231505
INFO - BitBlastingClauses: 765186 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 501 Props: 42438313 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.935 Prop: 46078.961 PropClause: 45020.755 Set: 7822.583 Check: 0.0 Back: 962.931
INFO - Atoms: 79366/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 502 Props: 42553304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.999 Prop: 46239.42 PropClause: 45177.897 Set: 7874.291 Check: 0.0 Back: 964.72
INFO - Atoms: 114991/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 503 Props: 42668279 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.009 Prop: 46420.0 PropClause: 45355.173 Set: 7923.373 Check: 0.0 Back: 967.745
INFO - Atoms: 114975/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 42746181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.062 Prop: 46527.41 PropClause: 45460.651 Set: 7937.184 Check: 0.0 Back: 970.765
INFO - Atoms: 77902/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 505 Props: 42785649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 8.067 Prop: 46573.049 PropClause: 45505.311 Set: 7943.155 Check: 0.0 Back: 972.522
INFO - Atoms: 39468/115040 Clauses: 773 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 1005 Props: 43838360 Tprops: 0 Decides: 1204 RSplits: 0
INFO - Times: Expl: 1542.726 Prop: 47291.09 PropClause: 46195.75 Set: 7972.92 Check: 0.044 Back: 996.921
INFO - Atoms: 37269/115040 Clauses: 1272 Axioms: 379186
INFO - Restart
INFO - Confl: 1505 Props: 44616243 Tprops: 0 Decides: 2115 RSplits: 0
INFO - Times: Expl: 2733.157 Prop: 47785.591 PropClause: 46669.959 Set: 7991.305 Check: 0.076 Back: 1014.546
INFO - Atoms: 37269/115040 Clauses: 1772 Axioms: 379186
INFO - Restart
INFO - Confl: 2505 Props: 46463587 Tprops: 0 Decides: 3644 RSplits: 0
INFO - Times: Expl: 5187.271 Prop: 48836.795 PropClause: 47673.009 Set: 8035.104 Check: 0.14 Back: 1056.984
INFO - Atoms: 37269/115040 Clauses: 2772 Axioms: 379186
INFO - Restart
INFO - Confl: 3005 Props: 47246738 Tprops: 0 Decides: 4318 RSplits: 0
INFO - Times: Expl: 5585.672 Prop: 49186.018 PropClause: 48001.548 Set: 8053.613 Check: 0.161 Back: 1075.215
INFO - Atoms: 37269/115040 Clauses: 3272 Axioms: 379186
INFO - Restart
INFO - Confl: 3505 Props: 48312742 Tprops: 0 Decides: 5264 RSplits: 0
INFO - Times: Expl: 6898.055 Prop: 49874.8 PropClause: 48662.333 Set: 8079.017 Check: 0.198 Back: 1099.746
INFO - Atoms: 37269/115040 Clauses: 3772 Axioms: 379186
INFO - Restart
INFO - Confl: 4505 Props: 49876149 Tprops: 0 Decides: 6778 RSplits: 0
INFO - Times: Expl: 8662.431 Prop: 50674.295 PropClause: 49421.915 Set: 8115.742 Check: 0.249 Back: 1135.318
INFO - Atoms: 37269/115040 Clauses: 4772 Axioms: 379186
INFO - Restart
INFO - Confl: 6505 Props: 52986981 Tprops: 0 Decides: 9869 RSplits: 0
INFO - Times: Expl: 10950.005 Prop: 52169.497 PropClause: 50837.825 Set: 8188.599 Check: 0.346 Back: 1205.888
INFO - Atoms: 37269/115040 Clauses: 6772 Axioms: 379186
INFO - Restart
INFO - Confl: 7005 Props: 53877990 Tprops: 0 Decides: 10787 RSplits: 0
INFO - Times: Expl: 12268.667 Prop: 52742.033 PropClause: 51386.667 Set: 8209.89 Check: 0.385 Back: 1226.508
INFO - Atoms: 37269/115040 Clauses: 7272 Axioms: 379186
INFO - Restart
INFO - Confl: 7505 Props: 54530950 Tprops: 0 Decides: 11463 RSplits: 0
INFO - Times: Expl: 12684.991 Prop: 54554.008 PropClause: 53181.994 Set: 8225.084 Check: 0.403 Back: 1241.321
INFO - Atoms: 37269/115040 Clauses: 7772 Axioms: 379186
INFO - Restart
INFO - Confl: 8505 Props: 55578313 Tprops: 0 Decides: 12866 RSplits: 0
INFO - Times: Expl: 13370.008 Prop: 54942.789 PropClause: 53544.12 Set: 8249.331 Check: 0.437 Back: 1265.051
INFO - Atoms: 37269/115040 Clauses: 8772 Axioms: 379186
INFO - Restart
INFO - Confl: 9005 Props: 56230320 Tprops: 0 Decides: 13899 RSplits: 0
INFO - Times: Expl: 13978.514 Prop: 55392.132 PropClause: 53976.509 Set: 8264.796 Check: 0.465 Back: 1279.892
INFO - Atoms: 37269/115040 Clauses: 9272 Axioms: 379186
INFO - Restart
INFO - Confl: 9505 Props: 56892847 Tprops: 0 Decides: 14622 RSplits: 0
INFO - Times: Expl: 14534.328 Prop: 55703.928 PropClause: 54271.327 Set: 8280.379 Check: 0.486 Back: 1294.979
INFO - Atoms: 37269/115040 Clauses: 9772 Axioms: 379186
INFO - Restart
INFO - Confl: 10505 Props: 58511892 Tprops: 0 Decides: 16128 RSplits: 0
INFO - Times: Expl: 15955.702 Prop: 56536.384 PropClause: 55062.338 Set: 8318.439 Check: 0.533 Back: 1331.931
INFO - Atoms: 37269/115040 Clauses: 10772 Axioms: 379186
INFO - Restart
INFO - Confl: 12505 Props: 61265718 Tprops: 0 Decides: 19151 RSplits: 0
INFO - Times: Expl: 17903.766 Prop: 57854.454 PropClause: 56310.162 Set: 8382.986 Check: 0.613 Back: 1394.424
INFO - Atoms: 37269/115040 Clauses: 12772 Axioms: 379186
INFO - Restart
INFO - Confl: 16505 Props: 67950820 Tprops: 0 Decides: 26026 RSplits: 0
INFO - Times: Expl: 25812.858 Prop: 62140.719 PropClause: 60424.575 Set: 8541.479 Check: 0.848 Back: 1547.024
INFO - Atoms: 37269/115040 Clauses: 16772 Axioms: 379186
INFO - Restart
INFO - Confl: 17005 Props: 68665463 Tprops: 0 Decides: 27007 RSplits: 0
INFO - Times: Expl: 26449.919 Prop: 62527.938 PropClause: 60793.419 Set: 8558.333 Check: 0.88 Back: 1563.273
INFO - Atoms: 37269/115040 Clauses: 17272 Axioms: 379186
INFO - Restart
INFO - Confl: 17505 Props: 69427970 Tprops: 0 Decides: 27973 RSplits: 0
INFO - Times: Expl: 27123.497 Prop: 63128.268 PropClause: 61374.177 Set: 8576.305 Check: 0.906 Back: 1580.603
INFO - Atoms: 37269/115040 Clauses: 17772 Axioms: 379186
INFO - Restart
INFO - Confl: 18505 Props: 70578652 Tprops: 0 Decides: 29564 RSplits: 0
INFO - Times: Expl: 28297.623 Prop: 63777.863 PropClause: 61994.24 Set: 8603.217 Check: 0.951 Back: 1606.694
INFO - Atoms: 37269/115040 Clauses: 18772 Axioms: 379186
INFO - Restart
INFO - Confl: 19005 Props: 71500274 Tprops: 0 Decides: 30426 RSplits: 0
INFO - Times: Expl: 29448.19 Prop: 64370.352 PropClause: 62563.098 Set: 8624.833 Check: 0.985 Back: 1627.613
INFO - Atoms: 37269/115040 Clauses: 19272 Axioms: 379186
INFO - Restart
INFO - Confl: 19505 Props: 72413004 Tprops: 0 Decides: 31690 RSplits: 0
INFO - Times: Expl: 30083.157 Prop: 65022.67 PropClause: 63191.909 Set: 8646.411 Check: 1.02 Back: 1648.304
INFO - Atoms: 37269/115040 Clauses: 19772 Axioms: 379186
INFO - Restart
INFO - Confl: 20505 Props: 74144618 Tprops: 0 Decides: 33251 RSplits: 0
INFO - Times: Expl: 32218.983 Prop: 66020.271 PropClause: 64145.306 Set: 8687.208 Check: 1.079 Back: 1687.667
INFO - Atoms: 37269/115040 Clauses: 20772 Axioms: 379186
INFO - Restart
INFO - Confl: 22505 Props: 77120078 Tprops: 0 Decides: 36394 RSplits: 0
INFO - Times: Expl: 35108.082 Prop: 67656.554 PropClause: 65705.406 Set: 8757.134 Check: 1.177 Back: 1755.371
INFO - Atoms: 37269/115040 Clauses: 22772 Axioms: 379186
INFO - Restart
INFO - Confl: 23005 Props: 78002872 Tprops: 0 Decides: 37434 RSplits: 0
INFO - Times: Expl: 36279.385 Prop: 68265.745 PropClause: 66291.81 Set: 8777.992 Check: 1.216 Back: 1775.48
INFO - Atoms: 37269/115040 Clauses: 23272 Axioms: 379186
INFO - Restart
INFO - Confl: 23505 Props: 78683058 Tprops: 0 Decides: 38257 RSplits: 0
INFO - Times: Expl: 36686.561 Prop: 68609.943 PropClause: 66618.627 Set: 8793.843 Check: 1.237 Back: 1790.907
INFO - Atoms: 37269/115040 Clauses: 23772 Axioms: 379186
INFO - Restart
INFO - Confl: 24505 Props: 79767805 Tprops: 0 Decides: 39724 RSplits: 0
INFO - Times: Expl: 37489.181 Prop: 69121.885 PropClause: 67102.883 Set: 8819.184 Check: 1.274 Back: 1815.48
INFO - Atoms: 37269/115040 Clauses: 24772 Axioms: 379186
INFO - Restart
INFO - Confl: 25005 Props: 80549891 Tprops: 0 Decides: 40499 RSplits: 0
INFO - Times: Expl: 38061.827 Prop: 69525.523 PropClause: 67486.581 Set: 8837.524 Check: 1.296 Back: 1833.232
INFO - Atoms: 37269/115040 Clauses: 25272 Axioms: 379186
INFO - Restart
INFO - Confl: 25505 Props: 81216142 Tprops: 0 Decides: 41218 RSplits: 0
INFO - Times: Expl: 38484.473 Prop: 69864.495 PropClause: 67808.581 Set: 8853.072 Check: 1.314 Back: 1848.314
INFO - Atoms: 37269/115040 Clauses: 25772 Axioms: 379186
INFO - Restart
INFO - Confl: 26505 Props: 82409670 Tprops: 0 Decides: 42574 RSplits: 0
INFO - Times: Expl: 39101.992 Prop: 70417.745 PropClause: 68331.389 Set: 8881.056 Check: 1.347 Back: 1875.403
INFO - Atoms: 37269/115040 Clauses: 26772 Axioms: 379186
INFO - Restart
INFO - Confl: 28505 Props: 85544445 Tprops: 0 Decides: 48151 RSplits: 0
INFO - Times: Expl: 41344.443 Prop: 72791.205 PropClause: 70619.786 Set: 8957.675 Check: 1.496 Back: 1949.13
INFO - Atoms: 37275/115040 Clauses: 28772 Axioms: 379186
INFO - Restart
INFO - Confl: 32505 Props: 90423594 Tprops: 0 Decides: 53784 RSplits: 0
INFO - Times: Expl: 47877.145 Prop: 75625.021 PropClause: 73328.672 Set: 9072.559 Check: 1.673 Back: 2059.984
INFO - Atoms: 37275/115040 Clauses: 32772 Axioms: 379186
INFO - Restart
INFO - Confl: 40505 Props: 108496779 Tprops: 0 Decides: 92040 RSplits: 0
INFO - Times: Expl: 67555.537 Prop: 92321.3 PropClause: 89549.061 Set: 9507.78 Check: 2.784 Back: 2473.049
INFO - Atoms: 37288/115040 Clauses: 39232 Axioms: 379186
INFO - Restart
INFO - Confl: 41005 Props: 110187119 Tprops: 0 Decides: 96462 RSplits: 0
INFO - Times: Expl: 68927.313 Prop: 94145.257 PropClause: 91327.666 Set: 9548.985 Check: 2.918 Back: 2511.549
INFO - Atoms: 37291/115040 Clauses: 39496 Axioms: 379186
INFO - Restart
INFO - Confl: 41505 Props: 111557465 Tprops: 0 Decides: 99791 RSplits: 0
INFO - Times: Expl: 69787.271 Prop: 95428.868 PropClause: 92575.187 Set: 9582.071 Check: 3.014 Back: 2542.695
INFO - Atoms: 37296/115040 Clauses: 39801 Axioms: 379186
INFO - Restart
INFO - Confl: 42505 Props: 113256014 Tprops: 0 Decides: 103051 RSplits: 0
INFO - Times: Expl: 71831.26 Prop: 96721.524 PropClause: 93823.233 Set: 9623.262 Check: 3.113 Back: 2581.746
INFO - Atoms: 37299/115040 Clauses: 40524 Axioms: 379186
INFO - Restart
INFO - Confl: 43005 Props: 113914240 Tprops: 0 Decides: 103881 RSplits: 0
INFO - Times: Expl: 72403.502 Prop: 97094.755 PropClause: 94179.446 Set: 9638.847 Check: 3.138 Back: 2596.771
INFO - Atoms: 37299/115040 Clauses: 40837 Axioms: 379186
INFO - Restart
INFO - Confl: 43505 Props: 114581725 Tprops: 0 Decides: 104784 RSplits: 0
INFO - Times: Expl: 72740.872 Prop: 97459.656 PropClause: 94527.316 Set: 9654.429 Check: 3.162 Back: 2611.93
INFO - Atoms: 37299/115040 Clauses: 40899 Axioms: 379186
INFO - Restart
INFO - Confl: 44505 Props: 115659580 Tprops: 0 Decides: 106147 RSplits: 0
INFO - Times: Expl: 74387.685 Prop: 98101.549 PropClause: 95141.288 Set: 9680.382 Check: 3.205 Back: 2636.634
INFO - Atoms: 37299/115040 Clauses: 41236 Axioms: 379186
INFO - Restart
INFO - Confl: 46505 Props: 118100712 Tprops: 0 Decides: 108949 RSplits: 0
INFO - Times: Expl: 75899.921 Prop: 99277.947 PropClause: 96255.553 Set: 9737.378 Check: 3.281 Back: 2692.238
INFO - Atoms: 37299/115040 Clauses: 42074 Axioms: 379186
INFO - Restart
INFO - Confl: 47005 Props: 118752743 Tprops: 0 Decides: 109809 RSplits: 0
INFO - Times: Expl: 76325.185 Prop: 99639.615 PropClause: 96600.658 Set: 9752.745 Check: 3.304 Back: 2707.046
INFO - Atoms: 37299/115040 Clauses: 42085 Axioms: 379186
INFO - Restart
INFO - Confl: 47505 Props: 119374385 Tprops: 0 Decides: 110642 RSplits: 0
INFO - Times: Expl: 76531.455 Prop: 99941.071 PropClause: 96886.313 Set: 9767.203 Check: 3.324 Back: 2721.176
INFO - Atoms: 37299/115040 Clauses: 42301 Axioms: 379186
INFO - Restart
INFO - Confl: 48505 Props: 120698408 Tprops: 0 Decides: 112446 RSplits: 0
INFO - Times: Expl: 78508.758 Prop: 100829.693 PropClause: 97740.992 Set: 9798.711 Check: 3.379 Back: 2751.294
INFO - Atoms: 37299/115040 Clauses: 42676 Axioms: 379186
INFO - Restart
INFO - Confl: 49005 Props: 121245714 Tprops: 0 Decides: 113329 RSplits: 0
INFO - Times: Expl: 78769.295 Prop: 101052.311 PropClause: 97949.718 Set: 9811.188 Check: 3.402 Back: 2763.687
INFO - Atoms: 37299/115040 Clauses: 42721 Axioms: 379186
INFO - Restart
INFO - Confl: 49505 Props: 121951156 Tprops: 0 Decides: 114971 RSplits: 0
INFO - Times: Expl: 79135.334 Prop: 101474.023 PropClause: 98353.139 Set: 9827.741 Check: 3.443 Back: 2779.665
INFO - Atoms: 37299/115040 Clauses: 42848 Axioms: 379186
INFO - Restart
INFO - Confl: 50505 Props: 123247733 Tprops: 0 Decides: 117044 RSplits: 0
INFO - Times: Expl: 80197.482 Prop: 102324.505 PropClause: 99169.952 Set: 9858.676 Check: 3.506 Back: 2809.28
INFO - Atoms: 37299/115040 Clauses: 43496 Axioms: 379186
INFO - Restart
INFO - Confl: 52505 Props: 125436895 Tprops: 0 Decides: 120059 RSplits: 0
INFO - Times: Expl: 81668.356 Prop: 103533.764 PropClause: 100321.855 Set: 9910.828 Check: 3.59 Back: 2860.234
INFO - Atoms: 37299/115040 Clauses: 44510 Axioms: 379186
INFO - Restart
INFO - Confl: 56505 Props: 131004260 Tprops: 0 Decides: 131204 RSplits: 0
INFO - Times: Expl: 86476.841 Prop: 107530.815 PropClause: 104174.177 Set: 10044.008 Check: 3.916 Back: 2987.195
INFO - Atoms: 37306/115040 Clauses: 47187 Axioms: 379186
INFO - Restart
INFO - Confl: 57005 Props: 131789345 Tprops: 0 Decides: 132732 RSplits: 0
INFO - Times: Expl: 86789.606 Prop: 108066.114 PropClause: 104689.208 Set: 10062.596 Check: 3.96 Back: 3005.043
INFO - Atoms: 37306/115040 Clauses: 47448 Axioms: 379186
INFO - Restart
INFO - Confl: 57505 Props: 132418999 Tprops: 0 Decides: 133812 RSplits: 0
INFO - Times: Expl: 87188.144 Prop: 108475.11 PropClause: 105081.861 Set: 10077.639 Check: 3.993 Back: 3019.431
INFO - Atoms: 37306/115040 Clauses: 47509 Axioms: 379186
INFO - Restart
INFO - Confl: 58505 Props: 133595975 Tprops: 0 Decides: 135663 RSplits: 0
INFO - Times: Expl: 87578.979 Prop: 109092.085 PropClause: 105668.551 Set: 10105.178 Check: 4.04 Back: 3046.19
INFO - Atoms: 37306/115040 Clauses: 48065 Axioms: 379186
INFO - Restart
INFO - Confl: 59005 Props: 134288409 Tprops: 0 Decides: 136759 RSplits: 0
INFO - Times: Expl: 90775.973 Prop: 109621.657 PropClause: 106178.677 Set: 10122.183 Check: 4.075 Back: 3062.858
INFO - Atoms: 37306/115040 Clauses: 48364 Axioms: 379186
INFO - Restart
INFO - Confl: 59505 Props: 134929905 Tprops: 0 Decides: 137991 RSplits: 0
INFO - Times: Expl: 91044.031 Prop: 110057.966 PropClause: 106597.296 Set: 10137.791 Check: 4.109 Back: 3078.214
INFO - Atoms: 37306/115040 Clauses: 48620 Axioms: 379186
INFO - Confl: 60201 Props: 135743120 Tprops: 0 Decides: 139429 RSplits: 0
INFO - Times: Expl: 91359.485 Prop: 110564.025 PropClause: 107082.473 Set: 10157.203 Check: 4.147 Back: 3096.711
INFO - Atoms: 38646/115040 Clauses: 49316 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60202 Props: 135820539 Tprops: 0 Decides: 139429 RSplits: 0
INFO - Times: Expl: 91359.512 Prop: 110667.18 PropClause: 107183.678 Set: 10171.265 Check: 4.147 Back: 3097.582
INFO - Atoms: 77419/115040 Clauses: 11252 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60203 Props: 135898246 Tprops: 0 Decides: 139429 RSplits: 0
INFO - Times: Expl: 91359.517 Prop: 110742.856 PropClause: 107257.422 Set: 10185.106 Check: 4.147 Back: 3099.343
INFO - Atoms: 77707/115040 Clauses: 11252 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60204 Props: 135976256 Tprops: 0 Decides: 139429 RSplits: 0
INFO - Times: Expl: 91359.521 Prop: 110819.427 PropClause: 107332.034 Set: 10199.189 Check: 4.147 Back: 3101.142
INFO - Atoms: 78010/115040 Clauses: 11252 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 566 Props: 88901 Tprops: 12923 Decides: 90169 RSplits: 0
INFO - Times: Expl: 756.31 Prop: 276611.51 PropClause: 44.151 Set: 16863.543 Check: 950.481 Back: 431.131
INFO - Atoms: 1152/1158 Clauses: 566 Axioms: 1158
INFO - CCTimes: iE 1112389 eq 78134290 cc 522759987 setRep 217654971
INFO - Merges: 1555001, cc:6920835
INFO - BVTimes: BB 520707473 BB_DPLL 264210091651 Graph 2241783
INFO - BitBlastingClauses: 772134 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat