/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: 335697381
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 115000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.562 Prop: 139.518 PropClause: 135.336 Set: 64.546 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.613 Prop: 285.612 PropClause: 277.352 Set: 96.762 Check: 0.0 Back: 2.629
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.654 Prop: 418.311 PropClause: 406.317 Set: 117.385 Check: 0.0 Back: 5.269
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.719 Prop: 549.214 PropClause: 534.275 Set: 169.384 Check: 0.0 Back: 7.851
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.762 Prop: 676.395 PropClause: 658.555 Set: 190.745 Check: 0.0 Back: 10.411
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.807 Prop: 810.743 PropClause: 790.055 Set: 222.31 Check: 0.0 Back: 13.034
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: 0.849 Prop: 936.027 PropClause: 912.495 Set: 252.456 Check: 0.0 Back: 15.632
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: 0.893 Prop: 1067.361 PropClause: 1040.973 Set: 274.226 Check: 0.0 Back: 18.229
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: 0.936 Prop: 1193.449 PropClause: 1164.2 Set: 295.807 Check: 0.0 Back: 20.837
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: 0.978 Prop: 1319.897 PropClause: 1287.802 Set: 317.267 Check: 0.0 Back: 23.443
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.022 Prop: 1447.307 PropClause: 1412.353 Set: 338.737 Check: 0.0 Back: 26.048
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.061 Prop: 1574.574 PropClause: 1536.777 Set: 360.472 Check: 0.0 Back: 28.654
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.1 Prop: 1699.345 PropClause: 1658.716 Set: 390.756 Check: 0.0 Back: 31.237
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.16 Prop: 1827.117 PropClause: 1783.661 Set: 420.61 Check: 0.0 Back: 33.823
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.2 Prop: 1950.245 PropClause: 1903.969 Set: 441.788 Check: 0.0 Back: 36.402
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.243 Prop: 2075.134 PropClause: 2026.035 Set: 462.78 Check: 0.0 Back: 38.981
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.283 Prop: 2192.725 PropClause: 2140.826 Set: 483.585 Check: 0.0 Back: 41.567
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.32 Prop: 2319.497 PropClause: 2264.81 Set: 504.285 Check: 0.0 Back: 44.123
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.366 Prop: 2444.012 PropClause: 2386.544 Set: 525.339 Check: 0.0 Back: 46.669
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.406 Prop: 2573.44 PropClause: 2513.195 Set: 566.185 Check: 0.0 Back: 49.234
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.439 Prop: 2692.973 PropClause: 2629.954 Set: 587.139 Check: 0.0 Back: 51.781
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.477 Prop: 2815.912 PropClause: 2750.131 Set: 608.107 Check: 0.0 Back: 54.314
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.518 Prop: 2936.123 PropClause: 2867.581 Set: 628.863 Check: 0.0 Back: 56.831
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.555 Prop: 3054.547 PropClause: 2983.263 Set: 649.439 Check: 0.0 Back: 59.341
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.594 Prop: 3172.183 PropClause: 3098.194 Set: 669.786 Check: 0.0 Back: 61.869
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.634 Prop: 3291.852 PropClause: 3215.17 Set: 698.035 Check: 0.0 Back: 64.326
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: 1.674 Prop: 3408.98 PropClause: 3329.619 Set: 718.178 Check: 0.0 Back: 66.781
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: 1.716 Prop: 3528.072 PropClause: 3445.994 Set: 738.754 Check: 0.0 Back: 69.239
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: 1.758 Prop: 3644.911 PropClause: 3560.12 Set: 759.172 Check: 0.0 Back: 71.72
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: 1.798 Prop: 3765.757 PropClause: 3678.266 Set: 779.27 Check: 0.0 Back: 74.194
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: 1.842 Prop: 3886.912 PropClause: 3796.726 Set: 799.619 Check: 0.0 Back: 76.656
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: 1.88 Prop: 4007.258 PropClause: 3914.379 Set: 820.041 Check: 0.0 Back: 79.132
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: 1.924 Prop: 4129.186 PropClause: 4033.62 Set: 840.808 Check: 0.0 Back: 81.585
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: 1.969 Prop: 4249.505 PropClause: 4151.266 Set: 860.837 Check: 0.0 Back: 84.034
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.007 Prop: 4363.005 PropClause: 4262.101 Set: 880.987 Check: 0.0 Back: 86.518
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.048 Prop: 4483.025 PropClause: 4379.46 Set: 901.056 Check: 0.0 Back: 88.952
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.084 Prop: 4596.035 PropClause: 4489.806 Set: 920.844 Check: 0.0 Back: 91.387
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.124 Prop: 4717.046 PropClause: 4608.149 Set: 941.048 Check: 0.0 Back: 93.805
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.165 Prop: 4836.106 PropClause: 4724.562 Set: 961.431 Check: 0.0 Back: 96.228
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.206 Prop: 4952.268 PropClause: 4838.093 Set: 981.23 Check: 0.0 Back: 98.647
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.254 Prop: 5071.019 PropClause: 4954.203 Set: 1001.083 Check: 0.0 Back: 101.052
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.3 Prop: 5187.295 PropClause: 5067.881 Set: 1020.386 Check: 0.0 Back: 103.473
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.341 Prop: 5298.948 PropClause: 5176.966 Set: 1039.455 Check: 0.0 Back: 105.827
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.381 Prop: 5416.707 PropClause: 5292.144 Set: 1059.023 Check: 0.0 Back: 108.179
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.42 Prop: 5532.468 PropClause: 5405.302 Set: 1078.593 Check: 0.0 Back: 110.551
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.458 Prop: 5647.734 PropClause: 5517.985 Set: 1097.829 Check: 0.0 Back: 112.918
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.501 Prop: 5761.938 PropClause: 5629.6 Set: 1117.103 Check: 0.0 Back: 115.276
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.539 Prop: 5876.876 PropClause: 5741.969 Set: 1136.369 Check: 0.0 Back: 117.638
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: 2.632 Prop: 5989.593 PropClause: 5852.107 Set: 1155.695 Check: 0.0 Back: 119.98
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: 2.651 Prop: 6104.547 PropClause: 5964.498 Set: 1174.539 Check: 0.0 Back: 122.317
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: 2.668 Prop: 6214.085 PropClause: 6071.478 Set: 1193.799 Check: 0.0 Back: 124.646
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: 2.684 Prop: 6325.783 PropClause: 6180.635 Set: 1212.759 Check: 0.0 Back: 126.981
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: 2.701 Prop: 6437.095 PropClause: 6289.39 Set: 1232.375 Check: 0.0 Back: 129.3
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: 2.718 Prop: 6546.173 PropClause: 6395.936 Set: 1251.134 Check: 0.0 Back: 131.617
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: 2.736 Prop: 6651.296 PropClause: 6498.53 Set: 1269.624 Check: 0.0 Back: 133.923
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: 2.752 Prop: 6761.877 PropClause: 6606.597 Set: 1288.406 Check: 0.0 Back: 136.226
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: 2.771 Prop: 6869.266 PropClause: 6711.469 Set: 1307.474 Check: 0.0 Back: 138.516
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: 2.786 Prop: 6976.715 PropClause: 6816.418 Set: 1325.689 Check: 0.0 Back: 140.831
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: 2.801 Prop: 7077.163 PropClause: 6914.374 Set: 1343.704 Check: 0.0 Back: 143.109
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: 2.815 Prop: 7181.066 PropClause: 7015.834 Set: 1361.382 Check: 0.0 Back: 145.364
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: 2.833 Prop: 7283.346 PropClause: 7115.644 Set: 1379.622 Check: 0.0 Back: 147.586
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: 2.849 Prop: 7389.228 PropClause: 7219.067 Set: 1397.499 Check: 0.0 Back: 149.836
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: 2.868 Prop: 7491.378 PropClause: 7318.736 Set: 1415.844 Check: 0.0 Back: 152.079
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: 2.885 Prop: 7596.207 PropClause: 7421.1 Set: 1433.683 Check: 0.0 Back: 154.341
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: 2.906 Prop: 7700.789 PropClause: 7523.238 Set: 1451.649 Check: 0.0 Back: 156.585
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: 2.921 Prop: 7803.783 PropClause: 7623.798 Set: 1469.294 Check: 0.0 Back: 158.824
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: 2.936 Prop: 7905.659 PropClause: 7723.239 Set: 1487.247 Check: 0.0 Back: 161.051
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: 2.952 Prop: 8009.102 PropClause: 7824.253 Set: 1505.106 Check: 0.0 Back: 163.268
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: 2.968 Prop: 8108.804 PropClause: 7921.545 Set: 1523.003 Check: 0.0 Back: 165.474
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: 2.983 Prop: 8212.364 PropClause: 8022.697 Set: 1540.991 Check: 0.0 Back: 167.675
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.001 Prop: 8321.399 PropClause: 8129.323 Set: 1558.806 Check: 0.0 Back: 169.874
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.017 Prop: 8427.753 PropClause: 8233.273 Set: 1576.326 Check: 0.0 Back: 172.07
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.033 Prop: 8531.499 PropClause: 8334.624 Set: 1593.895 Check: 0.0 Back: 174.263
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.048 Prop: 8637.9 PropClause: 8438.616 Set: 1611.849 Check: 0.0 Back: 176.444
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.064 Prop: 8740.844 PropClause: 8539.179 Set: 1629.453 Check: 0.0 Back: 178.646
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.084 Prop: 8853.464 PropClause: 8649.426 Set: 1647.244 Check: 0.0 Back: 180.819
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.1 Prop: 8959.558 PropClause: 8753.188 Set: 1664.854 Check: 0.0 Back: 182.99
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.117 Prop: 9061.886 PropClause: 8853.16 Set: 1682.337 Check: 0.0 Back: 185.126
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.133 Prop: 9160.764 PropClause: 8949.687 Set: 1699.607 Check: 0.0 Back: 187.279
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.153 Prop: 9267.135 PropClause: 9053.69 Set: 1716.943 Check: 0.0 Back: 189.419
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.168 Prop: 9367.127 PropClause: 9151.348 Set: 1734.344 Check: 0.0 Back: 191.569
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.186 Prop: 9468.351 PropClause: 9250.244 Set: 1751.62 Check: 0.0 Back: 193.699
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.201 Prop: 9573.648 PropClause: 9353.224 Set: 1768.841 Check: 0.0 Back: 195.817
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.22 Prop: 9669.096 PropClause: 9446.354 Set: 1785.387 Check: 0.0 Back: 197.935
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.271 Prop: 9761.576 PropClause: 9536.53 Set: 1802.24 Check: 0.0 Back: 200.05
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.329 Prop: 9856.398 PropClause: 9629.057 Set: 1818.868 Check: 0.0 Back: 202.144
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.339 Prop: 9945.622 PropClause: 9715.998 Set: 1835.23 Check: 0.0 Back: 204.239
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.352 Prop: 10043.272 PropClause: 9811.361 Set: 1851.983 Check: 0.0 Back: 206.335
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.365 Prop: 10133.797 PropClause: 9899.609 Set: 1868.703 Check: 0.0 Back: 208.433
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.379 Prop: 10233.646 PropClause: 9997.187 Set: 1885.125 Check: 0.0 Back: 210.514
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.388 Prop: 10324.309 PropClause: 10085.584 Set: 1901.69 Check: 0.0 Back: 212.583
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.4 Prop: 10415.193 PropClause: 10174.212 Set: 1917.742 Check: 0.0 Back: 214.646
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.41 Prop: 10504.519 PropClause: 10261.296 Set: 1934.239 Check: 0.0 Back: 216.696
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.42 Prop: 10596.761 PropClause: 10351.306 Set: 1950.491 Check: 0.0 Back: 218.741
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.431 Prop: 10688.568 PropClause: 10440.885 Set: 1966.883 Check: 0.0 Back: 220.777
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.443 Prop: 10783.709 PropClause: 10533.813 Set: 1982.808 Check: 0.0 Back: 222.77
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.461 Prop: 10872.649 PropClause: 10620.543 Set: 1998.745 Check: 0.0 Back: 224.794
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.473 Prop: 10965.319 PropClause: 10711.011 Set: 2014.774 Check: 0.0 Back: 226.808
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.485 Prop: 11056.38 PropClause: 10799.855 Set: 2030.859 Check: 0.0 Back: 228.827
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.51 Prop: 11146.418 PropClause: 10887.693 Set: 2046.823 Check: 0.0 Back: 230.851
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: 3.523 Prop: 11237.952 PropClause: 10977.034 Set: 2077.929 Check: 0.0 Back: 232.854
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: 3.535 Prop: 11326.301 PropClause: 11063.209 Set: 2093.618 Check: 0.0 Back: 234.843
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: 3.548 Prop: 11414.07 PropClause: 11148.814 Set: 2109.314 Check: 0.0 Back: 236.914
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: 3.559 Prop: 11503.442 PropClause: 11236.031 Set: 2124.712 Check: 0.0 Back: 238.893
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: 3.57 Prop: 11588.966 PropClause: 11319.402 Set: 2140.237 Check: 0.0 Back: 240.856
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: 3.581 Prop: 11680.245 PropClause: 11408.541 Set: 2155.772 Check: 0.0 Back: 242.819
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: 3.592 Prop: 11764.776 PropClause: 11490.933 Set: 2171.106 Check: 0.0 Back: 244.772
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: 3.603 Prop: 11851.642 PropClause: 11575.666 Set: 2186.403 Check: 0.0 Back: 246.725
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: 3.615 Prop: 11936.973 PropClause: 11658.871 Set: 2201.708 Check: 0.0 Back: 248.666
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: 3.625 Prop: 12028.095 PropClause: 11747.878 Set: 2216.964 Check: 0.0 Back: 250.605
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: 3.637 Prop: 12114.384 PropClause: 11832.051 Set: 2232.337 Check: 0.0 Back: 252.532
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: 3.648 Prop: 12203.498 PropClause: 11919.06 Set: 2247.418 Check: 0.0 Back: 254.454
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: 3.66 Prop: 12287.046 PropClause: 12000.519 Set: 2262.535 Check: 0.0 Back: 256.375
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: 3.672 Prop: 12377.279 PropClause: 12088.673 Set: 2277.823 Check: 0.0 Back: 258.284
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: 3.682 Prop: 12460.754 PropClause: 12170.09 Set: 2293.207 Check: 0.0 Back: 260.157
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: 3.693 Prop: 12544.706 PropClause: 12251.98 Set: 2307.89 Check: 0.0 Back: 262.045
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: 3.704 Prop: 12624.876 PropClause: 12330.092 Set: 2322.624 Check: 0.0 Back: 263.929
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: 3.714 Prop: 12707.058 PropClause: 12410.225 Set: 2337.617 Check: 0.0 Back: 265.806
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: 3.727 Prop: 12786.355 PropClause: 12487.482 Set: 2352.227 Check: 0.0 Back: 267.685
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: 3.738 Prop: 12866.938 PropClause: 12566.031 Set: 2366.95 Check: 0.0 Back: 269.548
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: 3.749 Prop: 12952.726 PropClause: 12649.789 Set: 2381.725 Check: 0.0 Back: 271.404
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: 3.761 Prop: 13039.919 PropClause: 12734.95 Set: 2396.242 Check: 0.0 Back: 273.267
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: 3.773 Prop: 13117.032 PropClause: 12810.027 Set: 2410.887 Check: 0.0 Back: 275.114
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: 3.787 Prop: 13196.325 PropClause: 12887.29 Set: 2425.424 Check: 0.0 Back: 276.979
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: 3.799 Prop: 13272.283 PropClause: 12961.208 Set: 2439.948 Check: 0.0 Back: 278.831
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: 3.813 Prop: 13348.815 PropClause: 13035.729 Set: 2454.356 Check: 0.0 Back: 280.684
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: 3.824 Prop: 13426.863 PropClause: 13111.76 Set: 2468.929 Check: 0.0 Back: 282.531
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: 3.838 Prop: 13504.634 PropClause: 13187.492 Set: 2500.528 Check: 0.0 Back: 284.379
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: 3.851 Prop: 13580.931 PropClause: 13261.785 Set: 2515.034 Check: 0.0 Back: 286.224
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: 3.865 Prop: 13661.697 PropClause: 13340.561 Set: 2529.519 Check: 0.0 Back: 288.057
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: 3.877 Prop: 13739.273 PropClause: 13416.145 Set: 2543.544 Check: 0.0 Back: 289.885
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: 3.889 Prop: 13815.786 PropClause: 13490.661 Set: 2557.594 Check: 0.0 Back: 291.704
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: 3.901 Prop: 13887.045 PropClause: 13559.969 Set: 2571.37 Check: 0.0 Back: 293.529
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: 3.912 Prop: 13960.131 PropClause: 13631.111 Set: 2585.206 Check: 0.0 Back: 295.298
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: 3.926 Prop: 14035.057 PropClause: 13704.043 Set: 2599.607 Check: 0.0 Back: 297.065
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: 3.939 Prop: 14114.791 PropClause: 13781.775 Set: 2614.24 Check: 0.0 Back: 298.866
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: 3.954 Prop: 14192.797 PropClause: 13857.765 Set: 2629.504 Check: 0.0 Back: 300.679
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: 3.964 Prop: 14273.142 PropClause: 13936.103 Set: 2644.228 Check: 0.0 Back: 302.512
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: 3.977 Prop: 14353.073 PropClause: 14014.062 Set: 2658.744 Check: 0.0 Back: 304.334
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: 3.989 Prop: 14429.19 PropClause: 14088.164 Set: 2673.177 Check: 0.0 Back: 306.126
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.002 Prop: 14504.596 PropClause: 14161.553 Set: 2687.741 Check: 0.0 Back: 307.959
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.016 Prop: 14584.445 PropClause: 14239.425 Set: 2702.017 Check: 0.0 Back: 309.805
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.028 Prop: 14656.862 PropClause: 14309.824 Set: 2716.558 Check: 0.0 Back: 311.609
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.04 Prop: 14731.879 PropClause: 14382.827 Set: 2731.165 Check: 0.0 Back: 313.446
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.053 Prop: 14805.074 PropClause: 14454.045 Set: 2745.509 Check: 0.0 Back: 315.27
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.064 Prop: 14881.564 PropClause: 14528.517 Set: 2760.117 Check: 0.0 Back: 317.079
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.077 Prop: 14958.906 PropClause: 14603.835 Set: 2774.97 Check: 0.0 Back: 318.922
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.089 Prop: 15045.952 PropClause: 14688.851 Set: 2789.742 Check: 0.0 Back: 320.772
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.1 Prop: 15121.675 PropClause: 14762.554 Set: 2804.634 Check: 0.0 Back: 322.634
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.112 Prop: 15200.42 PropClause: 14839.264 Set: 2819.194 Check: 0.0 Back: 324.488
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.125 Prop: 15276.847 PropClause: 14913.703 Set: 2833.747 Check: 0.0 Back: 326.333
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.137 Prop: 15354.039 PropClause: 14988.875 Set: 2848.337 Check: 0.0 Back: 328.148
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.148 Prop: 15430.4 PropClause: 15063.208 Set: 2863.399 Check: 0.0 Back: 330.038
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.159 Prop: 15506.572 PropClause: 15137.366 Set: 2877.999 Check: 0.0 Back: 331.894
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.168 Prop: 15584.963 PropClause: 15213.744 Set: 2892.538 Check: 0.0 Back: 333.732
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.182 Prop: 15668.473 PropClause: 15295.253 Set: 2907.26 Check: 0.0 Back: 335.564
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.193 Prop: 15741.59 PropClause: 15366.402 Set: 2921.516 Check: 0.0 Back: 337.393
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.204 Prop: 15818.023 PropClause: 15440.821 Set: 2936.059 Check: 0.0 Back: 339.194
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.214 Prop: 15891.639 PropClause: 15512.423 Set: 2950.924 Check: 0.0 Back: 341.025
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.225 Prop: 15969.511 PropClause: 15588.284 Set: 2965.49 Check: 0.0 Back: 342.862
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.237 Prop: 16047.887 PropClause: 15664.633 Set: 2980.173 Check: 0.0 Back: 344.697
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.247 Prop: 16125.34 PropClause: 15740.08 Set: 2994.751 Check: 0.0 Back: 346.53
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.258 Prop: 16205.769 PropClause: 15818.537 Set: 3009.177 Check: 0.0 Back: 348.356
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.268 Prop: 16282.362 PropClause: 15893.126 Set: 3024.022 Check: 0.0 Back: 350.15
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.282 Prop: 16357.382 PropClause: 15966.129 Set: 3039.057 Check: 0.0 Back: 351.986
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.293 Prop: 16428.709 PropClause: 16035.486 Set: 3053.113 Check: 0.0 Back: 353.877
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.309 Prop: 16502.769 PropClause: 16107.535 Set: 3067.953 Check: 0.0 Back: 355.672
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.318 Prop: 16575.883 PropClause: 16178.646 Set: 3082.313 Check: 0.0 Back: 357.503
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.329 Prop: 16646.832 PropClause: 16247.62 Set: 3096.338 Check: 0.0 Back: 359.334
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.34 Prop: 16720.182 PropClause: 16318.961 Set: 3110.869 Check: 0.0 Back: 361.135
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.349 Prop: 16794.716 PropClause: 16391.48 Set: 3125.88 Check: 0.0 Back: 362.975
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.359 Prop: 16869.699 PropClause: 16464.453 Set: 3140.597 Check: 0.0 Back: 364.808
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.372 Prop: 16943.734 PropClause: 16536.479 Set: 3155.188 Check: 0.0 Back: 366.648
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.383 Prop: 17019.588 PropClause: 16610.331 Set: 3169.634 Check: 0.0 Back: 368.488
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.396 Prop: 17093.862 PropClause: 16682.638 Set: 3184.124 Check: 0.0 Back: 370.327
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: 4.408 Prop: 17172.754 PropClause: 16759.512 Set: 3198.991 Check: 0.0 Back: 372.14
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: 4.419 Prop: 17248.244 PropClause: 16832.994 Set: 3213.82 Check: 0.0 Back: 373.993
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: 4.431 Prop: 17325.093 PropClause: 16907.832 Set: 3228.292 Check: 0.0 Back: 375.819
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: 4.444 Prop: 17398.013 PropClause: 16978.748 Set: 3262.128 Check: 0.0 Back: 377.649
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: 4.456 Prop: 17472.649 PropClause: 17051.365 Set: 3276.508 Check: 0.0 Back: 379.474
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: 4.469 Prop: 17546.371 PropClause: 17123.119 Set: 3290.631 Check: 0.0 Back: 381.303
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: 4.48 Prop: 17625.056 PropClause: 17199.799 Set: 3305.56 Check: 0.0 Back: 383.1
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: 4.491 Prop: 17700.77 PropClause: 17273.494 Set: 3320.324 Check: 0.0 Back: 384.929
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: 4.503 Prop: 17777.765 PropClause: 17348.477 Set: 3335.112 Check: 0.0 Back: 386.766
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: 4.515 Prop: 17851.162 PropClause: 17419.868 Set: 3349.632 Check: 0.0 Back: 388.608
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: 4.528 Prop: 17930.499 PropClause: 17497.196 Set: 3364.414 Check: 0.0 Back: 390.44
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: 4.569 Prop: 18005.238 PropClause: 17569.965 Set: 3378.77 Check: 0.0 Back: 392.265
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: 4.582 Prop: 18081.791 PropClause: 17644.517 Set: 3393.58 Check: 0.0 Back: 394.115
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: 4.594 Prop: 18157.111 PropClause: 17717.826 Set: 3408.305 Check: 0.0 Back: 395.937
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: 4.605 Prop: 18233.826 PropClause: 17792.523 Set: 3422.955 Check: 0.0 Back: 397.777
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: 4.615 Prop: 18309.807 PropClause: 17866.498 Set: 3456.117 Check: 0.0 Back: 399.612
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: 4.625 Prop: 18388.514 PropClause: 17943.199 Set: 3470.873 Check: 0.0 Back: 401.452
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: 4.641 Prop: 18466.975 PropClause: 18019.688 Set: 3485.534 Check: 0.0 Back: 403.289
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: 4.676 Prop: 18548.526 PropClause: 18099.233 Set: 3500.346 Check: 0.0 Back: 405.088
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: 4.682 Prop: 18623.167 PropClause: 18171.861 Set: 3515.16 Check: 0.0 Back: 406.926
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: 4.687 Prop: 18702.918 PropClause: 18249.601 Set: 3530.171 Check: 0.0 Back: 408.759
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: 4.693 Prop: 18786.1 PropClause: 18330.764 Set: 3545.261 Check: 0.0 Back: 410.596
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: 4.699 Prop: 18863.312 PropClause: 18405.974 Set: 3559.804 Check: 0.0 Back: 412.408
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: 4.705 Prop: 18936.019 PropClause: 18476.713 Set: 3573.966 Check: 0.0 Back: 414.242
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: 4.711 Prop: 19012.929 PropClause: 18551.623 Set: 3588.641 Check: 0.0 Back: 416.036
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: 4.718 Prop: 19086.988 PropClause: 18623.666 Set: 3603.294 Check: 0.0 Back: 417.865
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: 4.725 Prop: 19171.122 PropClause: 18705.788 Set: 3618.254 Check: 0.0 Back: 419.7
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: 4.731 Prop: 19247.969 PropClause: 18780.626 Set: 3633.159 Check: 0.0 Back: 421.537
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: 4.737 Prop: 19325.646 PropClause: 18856.294 Set: 3648.028 Check: 0.0 Back: 423.365
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: 4.745 Prop: 19401.814 PropClause: 18930.496 Set: 3662.521 Check: 0.0 Back: 425.206
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: 4.751 Prop: 19479.196 PropClause: 19005.871 Set: 3677.158 Check: 0.0 Back: 427.004
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: 4.757 Prop: 19553.128 PropClause: 19077.787 Set: 3691.813 Check: 0.0 Back: 428.827
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: 4.763 Prop: 19625.041 PropClause: 19147.684 Set: 3722.237 Check: 0.0 Back: 430.67
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: 4.77 Prop: 19700.221 PropClause: 19220.854 Set: 3736.752 Check: 0.0 Back: 432.508
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: 4.776 Prop: 19774.889 PropClause: 19293.512 Set: 3751.543 Check: 0.0 Back: 434.341
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: 4.782 Prop: 19849.446 PropClause: 19366.095 Set: 3766.125 Check: 0.0 Back: 436.172
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: 4.788 Prop: 19921.846 PropClause: 19436.494 Set: 3780.82 Check: 0.0 Back: 437.972
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: 4.794 Prop: 19997.953 PropClause: 19510.59 Set: 3795.597 Check: 0.0 Back: 439.81
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: 4.799 Prop: 20071.287 PropClause: 19581.912 Set: 3810.219 Check: 0.0 Back: 441.646
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: 4.806 Prop: 20144.553 PropClause: 19653.177 Set: 3824.978 Check: 0.0 Back: 443.485
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: 4.813 Prop: 20222.297 PropClause: 19728.919 Set: 3839.668 Check: 0.0 Back: 445.32
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: 4.819 Prop: 20295.618 PropClause: 19800.275 Set: 3853.924 Check: 0.0 Back: 447.147
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: 4.825 Prop: 20372.154 PropClause: 19874.806 Set: 3868.436 Check: 0.0 Back: 448.946
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: 4.831 Prop: 20445.399 PropClause: 19946.033 Set: 3883.271 Check: 0.0 Back: 450.748
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: 4.838 Prop: 20524.605 PropClause: 20023.219 Set: 3898.372 Check: 0.0 Back: 452.587
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: 4.845 Prop: 20603.345 PropClause: 20099.952 Set: 3913.429 Check: 0.0 Back: 454.431
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: 4.853 Prop: 20685.316 PropClause: 20179.914 Set: 3928.158 Check: 0.0 Back: 456.274
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: 4.859 Prop: 20756.603 PropClause: 20249.23 Set: 3942.388 Check: 0.0 Back: 458.12
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: 4.865 Prop: 20832.337 PropClause: 20322.962 Set: 3957.075 Check: 0.0 Back: 459.916
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: 4.87 Prop: 20906.54 PropClause: 20395.146 Set: 3972.071 Check: 0.0 Back: 461.745
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: 4.877 Prop: 20984.9 PropClause: 20471.485 Set: 3987.33 Check: 0.0 Back: 463.581
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: 4.884 Prop: 21061.993 PropClause: 20546.572 Set: 4002.186 Check: 0.0 Back: 465.428
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: 4.889 Prop: 21140.295 PropClause: 20622.865 Set: 4017.138 Check: 0.0 Back: 467.256
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: 4.896 Prop: 21214.79 PropClause: 20695.377 Set: 4031.761 Check: 0.0 Back: 469.087
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: 4.902 Prop: 21290.183 PropClause: 20768.759 Set: 4046.518 Check: 0.0 Back: 470.884
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: 4.909 Prop: 21369.585 PropClause: 20846.143 Set: 4061.713 Check: 0.0 Back: 472.714
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: 4.916 Prop: 21453.005 PropClause: 20927.549 Set: 4076.839 Check: 0.0 Back: 474.559
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: 4.924 Prop: 21530.099 PropClause: 21002.634 Set: 4091.94 Check: 0.0 Back: 476.403
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: 4.932 Prop: 21607.108 PropClause: 21077.636 Set: 4106.733 Check: 0.0 Back: 478.243
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: 4.939 Prop: 21682.713 PropClause: 21151.261 Set: 4144.574 Check: 0.0 Back: 480.084
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: 4.946 Prop: 21761.958 PropClause: 21228.497 Set: 4159.663 Check: 0.0 Back: 481.891
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: 4.952 Prop: 21839.22 PropClause: 21303.739 Set: 4174.76 Check: 0.0 Back: 483.723
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: 4.957 Prop: 21916.388 PropClause: 21378.895 Set: 4189.764 Check: 0.0 Back: 485.573
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: 4.963 Prop: 21993.316 PropClause: 21453.822 Set: 4204.724 Check: 0.0 Back: 487.407
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: 4.969 Prop: 22070.596 PropClause: 21529.091 Set: 4219.51 Check: 0.0 Back: 489.237
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: 4.978 Prop: 22144.992 PropClause: 21601.5 Set: 4234.083 Check: 0.0 Back: 491.08
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: 4.984 Prop: 22222.076 PropClause: 21676.58 Set: 4248.955 Check: 0.0 Back: 492.887
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: 4.99 Prop: 22295.88 PropClause: 21748.377 Set: 4263.932 Check: 0.0 Back: 494.712
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: 4.997 Prop: 22372.811 PropClause: 21823.296 Set: 4278.585 Check: 0.0 Back: 496.542
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.003 Prop: 22448.944 PropClause: 21897.423 Set: 4293.352 Check: 0.0 Back: 498.383
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.01 Prop: 22525.391 PropClause: 21971.867 Set: 4307.917 Check: 0.0 Back: 500.223
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.016 Prop: 22598.982 PropClause: 22043.485 Set: 4322.488 Check: 0.0 Back: 502.062
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.022 Prop: 22680.058 PropClause: 22122.552 Set: 4337.658 Check: 0.0 Back: 503.858
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.028 Prop: 22752.786 PropClause: 22193.258 Set: 4352.419 Check: 0.0 Back: 505.687
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.034 Prop: 22828.1 PropClause: 22266.548 Set: 4367.166 Check: 0.0 Back: 507.528
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.04 Prop: 22900.157 PropClause: 22336.583 Set: 4382.041 Check: 0.0 Back: 509.372
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.046 Prop: 22977.045 PropClause: 22411.458 Set: 4396.825 Check: 0.0 Back: 511.201
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.052 Prop: 23048.935 PropClause: 22481.378 Set: 4426.44 Check: 0.0 Back: 513.041
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.059 Prop: 23123.517 PropClause: 22553.949 Set: 4441.404 Check: 0.0 Back: 514.834
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.065 Prop: 23196.948 PropClause: 22625.367 Set: 4456.307 Check: 0.0 Back: 516.665
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.071 Prop: 23275.911 PropClause: 22702.295 Set: 4471.488 Check: 0.0 Back: 518.499
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.077 Prop: 23353.452 PropClause: 22777.791 Set: 4486.333 Check: 0.0 Back: 520.343
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.083 Prop: 23431.938 PropClause: 22854.272 Set: 4501.058 Check: 0.0 Back: 522.183
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.089 Prop: 23507.41 PropClause: 22927.771 Set: 4515.68 Check: 0.0 Back: 524.017
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.095 Prop: 23581.759 PropClause: 23000.13 Set: 4530.408 Check: 0.0 Back: 525.825
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.102 Prop: 23657.34 PropClause: 23073.704 Set: 4545.357 Check: 0.0 Back: 527.643
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.109 Prop: 23732.215 PropClause: 23146.61 Set: 4570.163 Check: 0.0 Back: 529.476
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.114 Prop: 23805.586 PropClause: 23217.969 Set: 4585.036 Check: 0.0 Back: 531.269
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.121 Prop: 23882.56 PropClause: 23292.941 Set: 4599.698 Check: 0.0 Back: 533.107
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.127 Prop: 23959.15 PropClause: 23367.517 Set: 4614.606 Check: 0.0 Back: 534.94
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.133 Prop: 24042.01 PropClause: 23448.375 Set: 4629.707 Check: 0.0 Back: 536.776
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.138 Prop: 24115.567 PropClause: 23519.924 Set: 4644.481 Check: 0.0 Back: 538.609
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.143 Prop: 24190.46 PropClause: 23592.845 Set: 4658.97 Check: 0.0 Back: 540.435
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.149 Prop: 24264.924 PropClause: 23665.306 Set: 4674.095 Check: 0.0 Back: 542.232
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.156 Prop: 24342.502 PropClause: 23740.879 Set: 4689.003 Check: 0.0 Back: 544.06
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.163 Prop: 24418.616 PropClause: 23814.98 Set: 4704.077 Check: 0.0 Back: 545.894
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.169 Prop: 24494.021 PropClause: 23888.377 Set: 4718.791 Check: 0.0 Back: 547.766
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.176 Prop: 24568.327 PropClause: 23960.667 Set: 4733.547 Check: 0.0 Back: 549.6
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.183 Prop: 24645.218 PropClause: 24035.551 Set: 4748.462 Check: 0.0 Back: 551.433
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.189 Prop: 24725.197 PropClause: 24113.516 Set: 4763.515 Check: 0.0 Back: 553.269
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.194 Prop: 24803.04 PropClause: 24189.337 Set: 4778.278 Check: 0.0 Back: 555.098
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.201 Prop: 24875.425 PropClause: 24259.754 Set: 4792.866 Check: 0.0 Back: 556.925
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.207 Prop: 24953.287 PropClause: 24335.609 Set: 4807.853 Check: 0.0 Back: 558.721
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.213 Prop: 25027.926 PropClause: 24408.233 Set: 4822.877 Check: 0.0 Back: 560.549
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.219 Prop: 25104.032 PropClause: 24482.317 Set: 4837.722 Check: 0.0 Back: 562.381
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.225 Prop: 25178.744 PropClause: 24555.035 Set: 4852.727 Check: 0.0 Back: 564.217
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.231 Prop: 25253.814 PropClause: 24628.103 Set: 4867.459 Check: 0.0 Back: 566.045
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.239 Prop: 25329.389 PropClause: 24701.707 Set: 4882.102 Check: 0.0 Back: 567.865
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.245 Prop: 25405.531 PropClause: 24775.848 Set: 4896.992 Check: 0.0 Back: 569.659
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: 5.252 Prop: 25478.949 PropClause: 24847.251 Set: 4911.844 Check: 0.0 Back: 571.528
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: 5.258 Prop: 25553.945 PropClause: 24920.243 Set: 4926.751 Check: 0.0 Back: 573.358
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: 5.265 Prop: 25628.708 PropClause: 24993.002 Set: 4941.601 Check: 0.0 Back: 575.2
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: 5.272 Prop: 25705.039 PropClause: 25067.333 Set: 4956.523 Check: 0.0 Back: 577.027
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: 5.279 Prop: 25777.1 PropClause: 25137.427 Set: 4971.009 Check: 0.0 Back: 578.854
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: 5.286 Prop: 25853.895 PropClause: 25212.224 Set: 4985.816 Check: 0.0 Back: 580.645
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: 5.295 Prop: 25928.892 PropClause: 25285.211 Set: 5001.003 Check: 0.0 Back: 582.47
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: 5.302 Prop: 26004.46 PropClause: 25358.688 Set: 5015.878 Check: 0.0 Back: 584.303
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: 5.309 Prop: 26080.488 PropClause: 25432.693 Set: 5030.887 Check: 0.0 Back: 586.13
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: 5.315 Prop: 26154.364 PropClause: 25504.558 Set: 5061.183 Check: 0.0 Back: 587.968
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: 5.322 Prop: 26228.466 PropClause: 25576.688 Set: 5075.82 Check: 0.0 Back: 589.798
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: 5.328 Prop: 26303.145 PropClause: 25649.364 Set: 5090.909 Check: 0.0 Back: 591.597
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: 5.335 Prop: 26375.046 PropClause: 25719.26 Set: 5105.685 Check: 0.0 Back: 593.435
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: 5.341 Prop: 26446.731 PropClause: 25788.939 Set: 5120.451 Check: 0.0 Back: 595.27
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: 5.347 Prop: 26520.601 PropClause: 25860.812 Set: 5135.401 Check: 0.0 Back: 597.101
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: 5.353 Prop: 26593.732 PropClause: 25931.941 Set: 5150.218 Check: 0.0 Back: 598.927
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: 5.359 Prop: 26664.07 PropClause: 26000.316 Set: 5164.621 Check: 0.0 Back: 600.749
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: 5.365 Prop: 26736.587 PropClause: 26070.848 Set: 5179.331 Check: 0.0 Back: 602.555
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: 5.371 Prop: 26806.233 PropClause: 26138.491 Set: 5193.973 Check: 0.0 Back: 604.37
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: 5.376 Prop: 26877.262 PropClause: 26207.518 Set: 5208.587 Check: 0.0 Back: 606.195
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: 5.382 Prop: 26949.016 PropClause: 26277.277 Set: 5223.391 Check: 0.0 Back: 608.024
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: 5.388 Prop: 27024.763 PropClause: 26351.015 Set: 5238.171 Check: 0.0 Back: 609.852
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: 5.395 Prop: 27097.686 PropClause: 26421.96 Set: 5252.565 Check: 0.0 Back: 611.676
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: 5.401 Prop: 27169.945 PropClause: 26492.215 Set: 5267.404 Check: 0.0 Back: 613.474
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: 5.408 Prop: 27241.018 PropClause: 26561.286 Set: 5282.31 Check: 0.0 Back: 615.304
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: 5.414 Prop: 27314.36 PropClause: 26632.664 Set: 5296.702 Check: 0.0 Back: 617.134
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: 5.419 Prop: 27387.908 PropClause: 26704.204 Set: 5311.581 Check: 0.0 Back: 618.924
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: 5.424 Prop: 27461.687 PropClause: 26775.984 Set: 5326.472 Check: 0.0 Back: 620.752
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: 5.43 Prop: 27534.374 PropClause: 26846.705 Set: 5340.965 Check: 0.0 Back: 622.584
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: 5.436 Prop: 27608.377 PropClause: 26918.698 Set: 5356.093 Check: 0.0 Back: 624.378
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: 5.442 Prop: 27681.671 PropClause: 26989.975 Set: 5390.179 Check: 0.0 Back: 626.207
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: 5.448 Prop: 27760.039 PropClause: 27066.313 Set: 5405.108 Check: 0.0 Back: 628.041
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: 5.454 Prop: 27834.767 PropClause: 27139.035 Set: 5420.202 Check: 0.0 Back: 629.889
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: 5.46 Prop: 27917.414 PropClause: 27219.657 Set: 5435.313 Check: 0.0 Back: 631.735
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: 5.467 Prop: 27995.555 PropClause: 27295.791 Set: 5450.089 Check: 0.0 Back: 633.583
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: 5.474 Prop: 28071.317 PropClause: 27369.541 Set: 5465.309 Check: 0.0 Back: 635.395
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: 5.48 Prop: 28145.72 PropClause: 27441.928 Set: 5480.429 Check: 0.0 Back: 637.243
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: 5.487 Prop: 28226.359 PropClause: 27520.541 Set: 5495.696 Check: 0.0 Back: 639.095
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: 5.493 Prop: 28308.279 PropClause: 27600.448 Set: 5510.925 Check: 0.0 Back: 640.943
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: 5.5 Prop: 28384.137 PropClause: 27674.298 Set: 5525.828 Check: 0.0 Back: 642.772
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: 5.507 Prop: 28458.963 PropClause: 27747.148 Set: 5540.441 Check: 0.0 Back: 644.612
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: 5.514 Prop: 28536.945 PropClause: 27823.125 Set: 5555.452 Check: 0.0 Back: 646.419
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: 5.521 Prop: 28609.831 PropClause: 27894.0 Set: 5570.484 Check: 0.0 Back: 648.254
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: 5.528 Prop: 28684.578 PropClause: 27966.73 Set: 5585.497 Check: 0.0 Back: 650.099
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: 5.536 Prop: 28761.404 PropClause: 28041.535 Set: 5600.498 Check: 0.0 Back: 651.945
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: 5.543 Prop: 28837.405 PropClause: 28115.527 Set: 5615.63 Check: 0.0 Back: 653.793
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: 5.549 Prop: 28914.813 PropClause: 28190.948 Set: 5630.601 Check: 0.0 Back: 655.632
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: 5.558 Prop: 28990.955 PropClause: 28265.078 Set: 5645.563 Check: 0.0 Back: 657.44
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: 5.566 Prop: 29066.139 PropClause: 28338.236 Set: 5660.742 Check: 0.0 Back: 659.285
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: 5.573 Prop: 29141.612 PropClause: 28411.696 Set: 5675.686 Check: 0.0 Back: 661.14
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: 5.579 Prop: 29216.792 PropClause: 28484.854 Set: 5690.725 Check: 0.0 Back: 662.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: 5.585 Prop: 29292.309 PropClause: 28558.361 Set: 5705.675 Check: 0.0 Back: 664.84
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: 5.592 Prop: 29363.058 PropClause: 28627.136 Set: 5720.136 Check: 0.0 Back: 666.693
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: 5.633 Prop: 29437.103 PropClause: 28699.161 Set: 5734.98 Check: 0.0 Back: 668.508
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: 5.676 Prop: 29508.666 PropClause: 28768.712 Set: 5749.96 Check: 0.0 Back: 670.352
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: 5.682 Prop: 29583.641 PropClause: 28841.669 Set: 5764.95 Check: 0.0 Back: 672.191
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: 5.688 Prop: 29656.452 PropClause: 28912.465 Set: 5779.823 Check: 0.0 Back: 674.035
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: 5.695 Prop: 29729.921 PropClause: 28983.91 Set: 5794.8 Check: 0.0 Back: 675.889
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: 5.703 Prop: 29806.859 PropClause: 29058.86 Set: 5809.636 Check: 0.0 Back: 677.743
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: 5.709 Prop: 29879.235 PropClause: 29129.22 Set: 5824.613 Check: 0.0 Back: 679.553
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: 5.716 Prop: 29949.815 PropClause: 29197.829 Set: 5839.146 Check: 0.0 Back: 681.399
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: 5.723 Prop: 30025.616 PropClause: 29271.661 Set: 5853.917 Check: 0.0 Back: 683.189
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: 5.731 Prop: 30096.667 PropClause: 29340.725 Set: 5868.814 Check: 0.0 Back: 685.001
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: 5.737 Prop: 30167.506 PropClause: 29409.573 Set: 5883.389 Check: 0.0 Back: 686.82
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: 5.744 Prop: 30238.777 PropClause: 29478.882 Set: 5897.826 Check: 0.0 Back: 688.642
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: 5.751 Prop: 30314.965 PropClause: 29553.069 Set: 5912.976 Check: 0.0 Back: 690.438
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: 5.757 Prop: 30389.924 PropClause: 29626.038 Set: 5927.928 Check: 0.0 Back: 692.283
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: 5.764 Prop: 30465.098 PropClause: 29699.222 Set: 5942.86 Check: 0.0 Back: 694.113
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: 5.77 Prop: 30540.078 PropClause: 29772.227 Set: 5957.67 Check: 0.0 Back: 695.94
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: 5.776 Prop: 30614.957 PropClause: 29845.129 Set: 5972.586 Check: 0.0 Back: 697.744
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: 5.782 Prop: 30687.512 PropClause: 29915.731 Set: 5987.155 Check: 0.0 Back: 699.548
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: 5.789 Prop: 30763.599 PropClause: 29989.822 Set: 6002.199 Check: 0.0 Back: 701.325
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: 5.795 Prop: 30838.322 PropClause: 30062.556 Set: 6017.209 Check: 0.0 Back: 703.145
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: 5.802 Prop: 30916.844 PropClause: 30139.077 Set: 6032.221 Check: 0.0 Back: 704.972
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: 5.809 Prop: 30993.711 PropClause: 30213.947 Set: 6047.208 Check: 0.0 Back: 706.805
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: 5.815 Prop: 31069.224 PropClause: 30287.477 Set: 6062.176 Check: 0.0 Back: 708.635
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: 5.822 Prop: 31146.265 PropClause: 30362.553 Set: 6076.736 Check: 0.0 Back: 710.447
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: 5.828 Prop: 31222.751 PropClause: 30437.068 Set: 6091.81 Check: 0.0 Back: 712.243
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: 5.834 Prop: 31296.667 PropClause: 30508.996 Set: 6106.798 Check: 0.0 Back: 714.057
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: 5.841 Prop: 31373.968 PropClause: 30584.316 Set: 6121.926 Check: 0.0 Back: 715.89
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: 5.847 Prop: 31450.793 PropClause: 30659.146 Set: 6137.159 Check: 0.0 Back: 717.723
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: 5.856 Prop: 31531.617 PropClause: 30737.966 Set: 6152.413 Check: 0.0 Back: 719.547
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: 5.861 Prop: 31607.388 PropClause: 30811.802 Set: 6167.075 Check: 0.0 Back: 721.357
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: 5.866 Prop: 31682.677 PropClause: 30885.13 Set: 6182.18 Check: 0.0 Back: 723.126
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: 5.872 Prop: 31758.776 PropClause: 30959.247 Set: 6197.232 Check: 0.0 Back: 724.93
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: 5.878 Prop: 31836.915 PropClause: 31035.408 Set: 6212.2 Check: 0.0 Back: 726.734
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: 5.884 Prop: 31911.688 PropClause: 31108.204 Set: 6227.035 Check: 0.0 Back: 728.548
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: 5.889 Prop: 31987.282 PropClause: 31181.815 Set: 6241.994 Check: 0.0 Back: 730.346
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: 5.896 Prop: 32060.51 PropClause: 31253.104 Set: 6275.871 Check: 0.0 Back: 732.149
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: 5.902 Prop: 32138.032 PropClause: 31328.639 Set: 6290.836 Check: 0.0 Back: 733.915
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: 5.908 Prop: 32212.966 PropClause: 31401.599 Set: 6305.737 Check: 0.0 Back: 735.712
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: 5.914 Prop: 32290.127 PropClause: 31476.781 Set: 6320.733 Check: 0.0 Back: 737.527
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: 5.918 Prop: 32366.034 PropClause: 31550.714 Set: 6335.88 Check: 0.0 Back: 739.332
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: 5.924 Prop: 32439.573 PropClause: 31622.282 Set: 6350.444 Check: 0.0 Back: 741.13
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: 5.929 Prop: 32512.748 PropClause: 31693.513 Set: 6365.031 Check: 0.0 Back: 742.984
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: 5.935 Prop: 32581.592 PropClause: 31760.377 Set: 6379.772 Check: 0.0 Back: 744.763
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: 5.941 Prop: 32650.744 PropClause: 31827.547 Set: 6394.555 Check: 0.0 Back: 746.58
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: 5.948 Prop: 32722.717 PropClause: 31897.549 Set: 6409.265 Check: 0.0 Back: 748.383
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: 5.955 Prop: 32794.266 PropClause: 31967.105 Set: 6424.092 Check: 0.0 Back: 750.18
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: 5.962 Prop: 32869.198 PropClause: 32040.06 Set: 6439.036 Check: 0.0 Back: 752.003
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: 5.969 Prop: 32940.05 PropClause: 32108.977 Set: 6453.357 Check: 0.0 Back: 753.825
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: 5.976 Prop: 33010.063 PropClause: 32177.017 Set: 6468.0 Check: 0.0 Back: 755.59
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: 5.983 Prop: 33077.862 PropClause: 32242.838 Set: 6482.701 Check: 0.0 Back: 757.391
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: 5.99 Prop: 33149.36 PropClause: 32312.356 Set: 6497.277 Check: 0.0 Back: 759.199
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: 5.997 Prop: 33219.831 PropClause: 32380.85 Set: 6512.037 Check: 0.0 Back: 761.017
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.004 Prop: 33290.394 PropClause: 32449.462 Set: 6526.531 Check: 0.0 Back: 762.865
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.009 Prop: 33359.24 PropClause: 32516.388 Set: 6540.693 Check: 0.0 Back: 764.656
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.014 Prop: 33427.501 PropClause: 32582.69 Set: 6555.136 Check: 0.0 Back: 766.41
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.02 Prop: 33499.416 PropClause: 32652.636 Set: 6569.798 Check: 0.0 Back: 768.196
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.027 Prop: 33570.761 PropClause: 32721.995 Set: 6598.948 Check: 0.0 Back: 769.995
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.034 Prop: 33643.693 PropClause: 32792.928 Set: 6613.926 Check: 0.0 Back: 771.814
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.041 Prop: 33722.149 PropClause: 32869.397 Set: 6628.925 Check: 0.0 Back: 773.631
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.047 Prop: 33794.587 PropClause: 32939.88 Set: 6643.313 Check: 0.0 Back: 775.451
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.054 Prop: 33870.646 PropClause: 33013.967 Set: 6658.168 Check: 0.0 Back: 777.236
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.06 Prop: 33945.235 PropClause: 33086.584 Set: 6672.995 Check: 0.0 Back: 779.061
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.067 Prop: 34020.711 PropClause: 33160.075 Set: 6687.918 Check: 0.0 Back: 780.882
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.073 Prop: 34096.489 PropClause: 33233.864 Set: 6702.885 Check: 0.0 Back: 782.688
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.08 Prop: 34168.521 PropClause: 33303.933 Set: 6717.512 Check: 0.0 Back: 784.518
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.087 Prop: 34240.766 PropClause: 33374.256 Set: 6731.788 Check: 0.0 Back: 786.324
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.093 Prop: 34316.891 PropClause: 33448.404 Set: 6746.746 Check: 0.0 Back: 788.086
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.101 Prop: 34389.686 PropClause: 33519.216 Set: 6761.729 Check: 0.0 Back: 789.892
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.107 Prop: 34463.34 PropClause: 33590.94 Set: 6776.21 Check: 0.0 Back: 791.698
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.114 Prop: 34538.642 PropClause: 33664.262 Set: 6791.391 Check: 0.0 Back: 793.475
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.121 Prop: 34617.184 PropClause: 33740.8 Set: 6806.616 Check: 0.0 Back: 795.288
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.128 Prop: 34692.237 PropClause: 33813.852 Set: 6821.784 Check: 0.0 Back: 797.112
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.134 Prop: 34770.952 PropClause: 33890.59 Set: 6836.891 Check: 0.0 Back: 798.928
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.142 Prop: 34845.692 PropClause: 33963.356 Set: 6851.996 Check: 0.0 Back: 800.743
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.148 Prop: 34921.444 PropClause: 34037.173 Set: 6866.514 Check: 0.0 Back: 802.555
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.156 Prop: 35001.281 PropClause: 34115.008 Set: 6882.061 Check: 0.0 Back: 804.33
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.163 Prop: 35081.004 PropClause: 34192.743 Set: 6897.239 Check: 0.0 Back: 806.192
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.171 Prop: 35157.925 PropClause: 34267.665 Set: 6930.761 Check: 0.0 Back: 808.012
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.178 Prop: 35236.172 PropClause: 34343.915 Set: 6945.983 Check: 0.0 Back: 809.849
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.184 Prop: 35311.514 PropClause: 34417.254 Set: 6961.115 Check: 0.0 Back: 811.673
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.191 Prop: 35387.291 PropClause: 34491.02 Set: 6976.31 Check: 0.0 Back: 813.508
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.198 Prop: 35460.273 PropClause: 34561.995 Set: 6991.393 Check: 0.0 Back: 815.385
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.204 Prop: 35535.838 PropClause: 34635.564 Set: 7006.447 Check: 0.0 Back: 817.217
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.21 Prop: 35608.985 PropClause: 34706.736 Set: 7021.25 Check: 0.0 Back: 819.046
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: 6.216 Prop: 35685.893 PropClause: 34781.644 Set: 7036.486 Check: 0.0 Back: 820.858
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: 6.223 Prop: 35762.831 PropClause: 34856.585 Set: 7051.454 Check: 0.0 Back: 822.692
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: 6.229 Prop: 35834.887 PropClause: 34926.646 Set: 7066.282 Check: 0.0 Back: 824.521
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: 6.236 Prop: 35907.073 PropClause: 34996.83 Set: 7094.533 Check: 0.0 Back: 826.359
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: 6.242 Prop: 35981.911 PropClause: 35069.656 Set: 7109.453 Check: 0.0 Back: 828.188
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: 6.249 Prop: 36054.419 PropClause: 35140.203 Set: 7124.03 Check: 0.0 Back: 830.01
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: 6.255 Prop: 36127.349 PropClause: 35211.154 Set: 7138.914 Check: 0.0 Back: 831.803
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: 6.262 Prop: 36200.621 PropClause: 35282.434 Set: 7153.982 Check: 0.0 Back: 833.634
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: 6.268 Prop: 36272.72 PropClause: 35352.531 Set: 7169.003 Check: 0.0 Back: 835.475
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: 6.276 Prop: 36344.743 PropClause: 35422.555 Set: 7183.954 Check: 0.0 Back: 837.302
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: 6.283 Prop: 36416.734 PropClause: 35492.536 Set: 7198.745 Check: 0.0 Back: 839.128
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: 6.29 Prop: 36486.49 PropClause: 35560.337 Set: 7213.094 Check: 0.0 Back: 840.955
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: 6.297 Prop: 36559.133 PropClause: 35630.988 Set: 7228.023 Check: 0.0 Back: 842.749
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: 6.303 Prop: 36631.178 PropClause: 35701.036 Set: 7243.121 Check: 0.0 Back: 844.57
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: 6.31 Prop: 36705.383 PropClause: 35773.25 Set: 7258.259 Check: 0.0 Back: 846.394
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: 6.316 Prop: 36777.094 PropClause: 35842.976 Set: 7273.111 Check: 0.0 Back: 848.229
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: 6.325 Prop: 36851.201 PropClause: 35915.095 Set: 7288.106 Check: 0.0 Back: 850.064
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: 6.332 Prop: 36922.468 PropClause: 35984.403 Set: 7302.797 Check: 0.0 Back: 851.889
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: 6.339 Prop: 36995.064 PropClause: 36055.004 Set: 7317.88 Check: 0.0 Back: 853.675
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: 6.345 Prop: 37066.889 PropClause: 36124.837 Set: 7332.754 Check: 0.0 Back: 855.51
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: 6.352 Prop: 37143.454 PropClause: 36199.388 Set: 7348.098 Check: 0.0 Back: 857.338
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: 6.359 Prop: 37215.218 PropClause: 36269.171 Set: 7363.038 Check: 0.0 Back: 859.194
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: 6.365 Prop: 37291.207 PropClause: 36343.159 Set: 7378.162 Check: 0.0 Back: 861.014
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: 6.372 Prop: 37365.073 PropClause: 36415.063 Set: 7392.827 Check: 0.0 Back: 862.84
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: 6.386 Prop: 37443.718 PropClause: 36491.714 Set: 7407.904 Check: 0.0 Back: 864.624
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: 6.393 Prop: 37518.621 PropClause: 36564.644 Set: 7423.058 Check: 0.0 Back: 866.454
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: 6.4 Prop: 37594.963 PropClause: 36639.011 Set: 7438.103 Check: 0.0 Back: 868.267
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: 6.407 Prop: 37670.275 PropClause: 36712.347 Set: 7453.084 Check: 0.0 Back: 870.089
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: 6.413 Prop: 37746.279 PropClause: 36786.363 Set: 7468.195 Check: 0.0 Back: 871.893
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: 6.42 Prop: 37820.545 PropClause: 36858.68 Set: 7482.94 Check: 0.0 Back: 873.718
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: 6.427 Prop: 37894.601 PropClause: 36930.776 Set: 7497.977 Check: 0.0 Back: 875.495
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: 6.433 Prop: 37968.186 PropClause: 37002.375 Set: 7512.968 Check: 0.0 Back: 877.293
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: 6.44 Prop: 38046.194 PropClause: 37078.386 Set: 7528.194 Check: 0.0 Back: 879.085
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: 6.447 Prop: 38118.344 PropClause: 37148.544 Set: 7543.129 Check: 0.0 Back: 880.912
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: 6.454 Prop: 38197.374 PropClause: 37225.583 Set: 7558.591 Check: 0.0 Back: 882.729
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: 6.461 Prop: 38270.99 PropClause: 37297.25 Set: 7573.203 Check: 0.0 Back: 884.549
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: 6.467 Prop: 38346.134 PropClause: 37370.422 Set: 7588.391 Check: 0.0 Back: 886.337
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: 6.474 Prop: 38420.19 PropClause: 37442.497 Set: 7603.421 Check: 0.0 Back: 888.146
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: 6.48 Prop: 38496.767 PropClause: 37517.083 Set: 7618.604 Check: 0.0 Back: 889.967
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: 6.487 Prop: 38574.325 PropClause: 37592.653 Set: 7633.803 Check: 0.0 Back: 891.803
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: 6.493 Prop: 38652.452 PropClause: 37668.787 Set: 7648.868 Check: 0.0 Back: 893.609
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: 6.501 Prop: 38729.175 PropClause: 37743.561 Set: 7663.702 Check: 0.0 Back: 895.413
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: 6.507 Prop: 38807.378 PropClause: 37819.775 Set: 7678.923 Check: 0.0 Back: 897.191
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: 6.514 Prop: 38880.902 PropClause: 37891.318 Set: 7693.989 Check: 0.0 Back: 898.977
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: 6.521 Prop: 38957.081 PropClause: 37965.512 Set: 7709.116 Check: 0.0 Back: 900.794
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: 6.526 Prop: 39034.514 PropClause: 38040.963 Set: 7724.336 Check: 0.0 Back: 902.6
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: 6.533 Prop: 39109.641 PropClause: 38114.093 Set: 7739.401 Check: 0.0 Back: 904.42
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: 6.539 Prop: 39183.152 PropClause: 38185.677 Set: 7753.871 Check: 0.0 Back: 906.262
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: 6.546 Prop: 39255.739 PropClause: 38256.308 Set: 7768.721 Check: 0.0 Back: 908.018
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: 6.553 Prop: 39328.44 PropClause: 38327.03 Set: 7783.552 Check: 0.0 Back: 909.813
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: 6.56 Prop: 39402.392 PropClause: 38398.982 Set: 7798.527 Check: 0.0 Back: 911.632
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: 6.566 Prop: 39471.334 PropClause: 38465.935 Set: 7813.276 Check: 0.0 Back: 913.448
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: 6.573 Prop: 39542.021 PropClause: 38534.658 Set: 7828.139 Check: 0.0 Back: 915.246
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: 6.581 Prop: 39616.368 PropClause: 38607.067 Set: 7842.703 Check: 0.0 Back: 917.043
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: 6.586 Prop: 39688.959 PropClause: 38677.672 Set: 7857.596 Check: 0.0 Back: 918.821
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: 6.593 Prop: 39764.279 PropClause: 38751.003 Set: 7872.783 Check: 0.0 Back: 920.642
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: 6.599 Prop: 39837.361 PropClause: 38822.129 Set: 7887.316 Check: 0.0 Back: 922.464
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: 6.606 Prop: 39909.127 PropClause: 38891.918 Set: 7902.397 Check: 0.0 Back: 924.241
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: 6.613 Prop: 39984.136 PropClause: 38964.964 Set: 7917.447 Check: 0.0 Back: 926.064
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: 6.619 Prop: 40055.044 PropClause: 39033.897 Set: 7932.278 Check: 0.0 Back: 927.859
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: 6.627 Prop: 40126.407 PropClause: 39103.295 Set: 7946.969 Check: 0.0 Back: 929.649
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: 6.634 Prop: 40199.064 PropClause: 39173.977 Set: 7961.955 Check: 0.0 Back: 931.435
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: 6.639 Prop: 40271.13 PropClause: 39244.09 Set: 7976.505 Check: 0.0 Back: 933.235
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: 6.647 Prop: 40342.163 PropClause: 39313.151 Set: 7991.514 Check: 0.0 Back: 935.021
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: 6.709 Prop: 40415.133 PropClause: 39384.171 Set: 8006.142 Check: 0.0 Back: 936.802
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: 6.751 Prop: 40491.039 PropClause: 39458.121 Set: 8021.087 Check: 0.0 Back: 938.575
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: 6.797 Prop: 40566.601 PropClause: 39531.74 Set: 8035.766 Check: 0.0 Back: 940.372
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: 6.936 Prop: 40639.111 PropClause: 39602.297 Set: 8050.403 Check: 0.0 Back: 942.171
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: 6.95 Prop: 40713.186 PropClause: 39674.412 Set: 8087.381 Check: 0.0 Back: 943.951
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: 6.965 Prop: 40785.42 PropClause: 39744.707 Set: 8102.184 Check: 0.0 Back: 945.744
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: 6.979 Prop: 40858.536 PropClause: 39815.886 Set: 8116.796 Check: 0.0 Back: 947.514
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: 6.994 Prop: 40932.22 PropClause: 39887.607 Set: 8131.836 Check: 0.0 Back: 949.296
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.008 Prop: 41009.074 PropClause: 39962.491 Set: 8146.792 Check: 0.0 Back: 951.091
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.022 Prop: 41082.526 PropClause: 40033.967 Set: 8161.659 Check: 0.0 Back: 952.881
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.038 Prop: 41157.485 PropClause: 40106.966 Set: 8176.535 Check: 0.0 Back: 954.687
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.053 Prop: 41234.555 PropClause: 40182.064 Set: 8191.554 Check: 0.0 Back: 956.486
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.068 Prop: 41311.888 PropClause: 40257.449 Set: 8206.437 Check: 0.0 Back: 958.288
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.083 Prop: 41387.13 PropClause: 40330.749 Set: 8221.091 Check: 0.0 Back: 960.105
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.1 Prop: 41462.566 PropClause: 40404.231 Set: 8235.955 Check: 0.0 Back: 961.883
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: 680.929 Prop: 108528.215 PropClause: 25.943 Set: 14724.961 Check: 980.43 Back: 412.82
INFO - Atoms: 4/1158 Clauses: 500 Axioms: 1158
INFO - CCTimes: iE 904623 eq 50434690 cc 272322493 setRep 149081937
INFO - Merges: 1378757, cc:5413989
INFO - BVTimes: BB 335682903 BB_DPLL 96022106351 Graph 399401770
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.114 Prop: 41536.67 PropClause: 40476.383 Set: 8250.226 Check: 0.0 Back: 963.655
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.124 Prop: 41659.251 PropClause: 40595.816 Set: 8315.519 Check: 0.0 Back: 965.42
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: 7.132 Prop: 41801.038 PropClause: 40734.454 Set: 8378.425 Check: 0.0 Back: 968.008
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: 7.195 Prop: 41904.29 PropClause: 40835.779 Set: 8393.722 Check: 0.0 Back: 970.618
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: 7.2 Prop: 41944.808 PropClause: 40875.317 Set: 8400.311 Check: 0.0 Back: 972.368
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: 43838361 Tprops: 0 Decides: 1204 RSplits: 0
INFO - Times: Expl: 880.872 Prop: 42485.653 PropClause: 41389.032 Set: 8430.287 Check: 0.04 Back: 996.643
INFO - Atoms: 37269/115040 Clauses: 1272 Axioms: 379186
INFO - Restart
INFO - Confl: 1505 Props: 44616245 Tprops: 0 Decides: 2115 RSplits: 0
INFO - Times: Expl: 1541.84 Prop: 42834.683 PropClause: 41718.031 Set: 8448.569 Check: 0.064 Back: 1014.554
INFO - Atoms: 37269/115040 Clauses: 1772 Axioms: 379186
INFO - Restart
INFO - Confl: 2505 Props: 46155497 Tprops: 0 Decides: 3517 RSplits: 0
INFO - Times: Expl: 2893.027 Prop: 43416.51 PropClause: 42260.543 Set: 8484.282 Check: 0.098 Back: 1049.578
INFO - Atoms: 37269/115040 Clauses: 2772 Axioms: 379186
INFO - Restart
INFO - Confl: 3005 Props: 47070670 Tprops: 0 Decides: 4206 RSplits: 0
INFO - Times: Expl: 3255.797 Prop: 43750.151 PropClause: 42570.977 Set: 8505.37 Check: 0.115 Back: 1070.354
INFO - Atoms: 37269/115040 Clauses: 3272 Axioms: 379186
INFO - Restart
INFO - Confl: 3505 Props: 48034836 Tprops: 0 Decides: 5134 RSplits: 0
INFO - Times: Expl: 3735.389 Prop: 44194.587 PropClause: 42990.747 Set: 8528.155 Check: 0.139 Back: 1092.544
INFO - Atoms: 37269/115040 Clauses: 3772 Axioms: 379186
INFO - Restart
INFO - Confl: 4505 Props: 49574059 Tprops: 0 Decides: 6414 RSplits: 0
INFO - Times: Expl: 5449.689 Prop: 44727.443 PropClause: 43484.647 Set: 8563.523 Check: 0.169 Back: 1127.473
INFO - Atoms: 37269/115040 Clauses: 4772 Axioms: 379186
INFO - Restart
INFO - Confl: 6505 Props: 52562076 Tprops: 0 Decides: 9442 RSplits: 0
INFO - Times: Expl: 7669.706 Prop: 45921.525 PropClause: 44602.352 Set: 8632.743 Check: 0.242 Back: 1195.501
INFO - Atoms: 37269/115040 Clauses: 6772 Axioms: 379186
INFO - Restart
INFO - Confl: 7005 Props: 53517975 Tprops: 0 Decides: 10572 RSplits: 0
INFO - Times: Expl: 8348.228 Prop: 46410.273 PropClause: 45066.512 Set: 8655.351 Check: 0.269 Back: 1217.453
INFO - Atoms: 37269/115040 Clauses: 7272 Axioms: 379186
INFO - Restart
INFO - Confl: 7505 Props: 54145226 Tprops: 0 Decides: 11238 RSplits: 0
INFO - Times: Expl: 8671.865 Prop: 46673.8 PropClause: 45314.103 Set: 8669.681 Check: 0.285 Back: 1231.682
INFO - Atoms: 37269/115040 Clauses: 7772 Axioms: 379186
INFO - Restart
INFO - Confl: 8505 Props: 55471279 Tprops: 0 Decides: 12647 RSplits: 0
INFO - Times: Expl: 9653.505 Prop: 47174.33 PropClause: 45781.015 Set: 8700.14 Check: 0.321 Back: 1261.778
INFO - Atoms: 37269/115040 Clauses: 8772 Axioms: 379186
INFO - Restart
INFO - Confl: 9005 Props: 56339357 Tprops: 0 Decides: 13534 RSplits: 0
INFO - Times: Expl: 10080.178 Prop: 47547.673 PropClause: 46132.289 Set: 8720.264 Check: 0.343 Back: 1281.641
INFO - Atoms: 37269/115040 Clauses: 9272 Axioms: 379186
INFO - Restart
INFO - Confl: 9505 Props: 57051884 Tprops: 0 Decides: 14391 RSplits: 0
INFO - Times: Expl: 10398.241 Prop: 47824.5 PropClause: 46390.886 Set: 8736.761 Check: 0.364 Back: 1297.98
INFO - Atoms: 37269/115040 Clauses: 9772 Axioms: 379186
INFO - Restart
INFO - Confl: 10505 Props: 58318489 Tprops: 0 Decides: 15732 RSplits: 0
INFO - Times: Expl: 11007.086 Prop: 48251.268 PropClause: 46785.51 Set: 8765.806 Check: 0.396 Back: 1326.718
INFO - Atoms: 37269/115040 Clauses: 10772 Axioms: 379186
INFO - Restart
INFO - Confl: 12505 Props: 60635493 Tprops: 0 Decides: 18115 RSplits: 0
INFO - Times: Expl: 12571.598 Prop: 49090.04 PropClause: 47565.588 Set: 8818.792 Check: 0.455 Back: 1379.261
INFO - Atoms: 37269/115040 Clauses: 12772 Axioms: 379186
INFO - Restart
INFO - Confl: 16505 Props: 65094177 Tprops: 0 Decides: 23189 RSplits: 0
INFO - Times: Expl: 14691.309 Prop: 50713.286 PropClause: 49075.735 Set: 8920.786 Check: 0.59 Back: 1480.435
INFO - Atoms: 37269/115040 Clauses: 16772 Axioms: 379186
INFO - Restart
INFO - Confl: 17005 Props: 65886750 Tprops: 0 Decides: 24048 RSplits: 0
INFO - Times: Expl: 15034.905 Prop: 51089.685 PropClause: 49432.049 Set: 8939.161 Check: 0.611 Back: 1498.573
INFO - Atoms: 37269/115040 Clauses: 17272 Axioms: 379186
INFO - Restart
INFO - Confl: 17505 Props: 66660651 Tprops: 0 Decides: 24853 RSplits: 0
INFO - Times: Expl: 15436.976 Prop: 51435.895 PropClause: 49758.672 Set: 8957.03 Check: 0.631 Back: 1516.25
INFO - Atoms: 37269/115040 Clauses: 17772 Axioms: 379186
INFO - Restart
INFO - Confl: 18505 Props: 68021436 Tprops: 0 Decides: 26060 RSplits: 0
INFO - Times: Expl: 15951.897 Prop: 51910.112 PropClause: 50198.573 Set: 8987.987 Check: 0.661 Back: 1547.102
INFO - Atoms: 37269/115040 Clauses: 18772 Axioms: 379186
INFO - Restart
INFO - Confl: 19005 Props: 69348732 Tprops: 0 Decides: 27354 RSplits: 0
INFO - Times: Expl: 19790.506 Prop: 52778.104 PropClause: 51032.769 Set: 9019.865 Check: 0.7 Back: 1577.597
INFO - Atoms: 37269/115040 Clauses: 19272 Axioms: 379186
INFO - Restart
INFO - Confl: 19505 Props: 70367927 Tprops: 0 Decides: 29659 RSplits: 0
INFO - Times: Expl: 20161.608 Prop: 53424.084 PropClause: 51652.298 Set: 9043.983 Check: 0.758 Back: 1601.229
INFO - Atoms: 37269/115040 Clauses: 19772 Axioms: 379186
INFO - Restart
INFO - Confl: 20505 Props: 71913457 Tprops: 0 Decides: 31469 RSplits: 0
INFO - Times: Expl: 20818.022 Prop: 54016.572 PropClause: 52205.733 Set: 9079.35 Check: 0.802 Back: 1636.286
INFO - Atoms: 37269/115040 Clauses: 20772 Axioms: 379186
INFO - Restart
INFO - Confl: 22505 Props: 73944296 Tprops: 0 Decides: 36162 RSplits: 0
INFO - Times: Expl: 22435.526 Prop: 54788.531 PropClause: 52925.487 Set: 9126.117 Check: 0.916 Back: 1682.645
INFO - Atoms: 37269/115040 Clauses: 22772 Axioms: 379186
INFO - Restart
INFO - Confl: 23005 Props: 74700548 Tprops: 0 Decides: 36923 RSplits: 0
INFO - Times: Expl: 22817.674 Prop: 55063.848 PropClause: 53181.739 Set: 9143.345 Check: 0.937 Back: 1699.785
INFO - Atoms: 37269/115040 Clauses: 23272 Axioms: 379186
INFO - Restart
INFO - Confl: 23505 Props: 75285428 Tprops: 0 Decides: 37667 RSplits: 0
INFO - Times: Expl: 23108.724 Prop: 55279.464 PropClause: 53382.515 Set: 9156.788 Check: 0.955 Back: 1713.037
INFO - Atoms: 37269/115040 Clauses: 23772 Axioms: 379186
INFO - Restart
INFO - Confl: 24505 Props: 76302585 Tprops: 0 Decides: 38923 RSplits: 0
INFO - Times: Expl: 23687.226 Prop: 55616.705 PropClause: 53694.001 Set: 9179.856 Check: 0.986 Back: 1736.086
INFO - Atoms: 37269/115040 Clauses: 24772 Axioms: 379186
INFO - Restart
INFO - Confl: 25005 Props: 76896136 Tprops: 0 Decides: 39954 RSplits: 0
INFO - Times: Expl: 23943.506 Prop: 55898.13 PropClause: 53960.191 Set: 9193.604 Check: 1.013 Back: 1749.658
INFO - Atoms: 37269/115040 Clauses: 25272 Axioms: 379186
INFO - Restart
INFO - Confl: 25505 Props: 77442789 Tprops: 0 Decides: 40590 RSplits: 0
INFO - Times: Expl: 24259.981 Prop: 56096.68 PropClause: 54144.893 Set: 9206.08 Check: 1.029 Back: 1762.05
INFO - Atoms: 37269/115040 Clauses: 25772 Axioms: 379186
INFO - Restart
INFO - Confl: 26505 Props: 78640088 Tprops: 0 Decides: 41977 RSplits: 0
INFO - Times: Expl: 25308.848 Prop: 56558.66 PropClause: 54576.509 Set: 9233.526 Check: 1.068 Back: 1789.263
INFO - Atoms: 37269/115040 Clauses: 26772 Axioms: 379186
INFO - Restart
INFO - Confl: 28505 Props: 80639520 Tprops: 0 Decides: 44582 RSplits: 0
INFO - Times: Expl: 26668.322 Prop: 57341.328 PropClause: 55308.476 Set: 9279.14 Check: 1.134 Back: 1834.57
INFO - Atoms: 37269/115040 Clauses: 28772 Axioms: 379186
INFO - Restart
INFO - Confl: 32505 Props: 86305487 Tprops: 0 Decides: 50561 RSplits: 0
INFO - Times: Expl: 29450.734 Prop: 59680.292 PropClause: 57504.136 Set: 9409.077 Check: 1.289 Back: 1963.468
INFO - Atoms: 37269/115040 Clauses: 32772 Axioms: 379186
INFO - Restart
INFO - Confl: 40505 Props: 95176828 Tprops: 0 Decides: 61630 RSplits: 0
INFO - Times: Expl: 35666.396 Prop: 63339.9 PropClause: 60938.559 Set: 9612.516 Check: 1.57 Back: 2165.097
INFO - Atoms: 37269/115040 Clauses: 36775 Axioms: 379186
INFO - Restart
INFO - Confl: 41005 Props: 95768046 Tprops: 0 Decides: 62425 RSplits: 0
INFO - Times: Expl: 35879.885 Prop: 63589.268 PropClause: 61172.933 Set: 9626.041 Check: 1.59 Back: 2178.543
INFO - Atoms: 37269/115040 Clauses: 36944 Axioms: 379186
INFO - Restart
INFO - Confl: 41505 Props: 96567663 Tprops: 0 Decides: 63696 RSplits: 0
INFO - Times: Expl: 36568.23 Prop: 63972.305 PropClause: 61535.586 Set: 9644.553 Check: 1.623 Back: 2196.965
INFO - Atoms: 37269/115040 Clauses: 37052 Axioms: 379186
INFO - Restart
INFO - Confl: 42505 Props: 98284503 Tprops: 0 Decides: 69034 RSplits: 0
INFO - Times: Expl: 37465.464 Prop: 64903.177 PropClause: 62421.699 Set: 9684.442 Check: 1.754 Back: 2236.499
INFO - Atoms: 37269/115040 Clauses: 37452 Axioms: 379186
INFO - Restart
INFO - Confl: 43005 Props: 98905078 Tprops: 0 Decides: 69759 RSplits: 0
INFO - Times: Expl: 37652.887 Prop: 65138.442 PropClause: 62641.257 Set: 9698.534 Check: 1.772 Back: 2250.549
INFO - Atoms: 37269/115040 Clauses: 37591 Axioms: 379186
INFO - Restart
INFO - Confl: 43505 Props: 99612784 Tprops: 0 Decides: 70506 RSplits: 0
INFO - Times: Expl: 38281.713 Prop: 65408.792 PropClause: 62893.8 Set: 9714.751 Check: 1.791 Back: 2266.606
INFO - Atoms: 37269/115040 Clauses: 37607 Axioms: 379186
INFO - Restart
INFO - Confl: 44505 Props: 100899144 Tprops: 0 Decides: 71982 RSplits: 0
INFO - Times: Expl: 38984.18 Prop: 65921.579 PropClause: 63374.055 Set: 9744.146 Check: 1.829 Back: 2295.776
INFO - Atoms: 37269/115040 Clauses: 37863 Axioms: 379186
INFO - Restart
INFO - Confl: 46505 Props: 102992836 Tprops: 0 Decides: 75611 RSplits: 0
INFO - Times: Expl: 39952.793 Prop: 66948.216 PropClause: 64347.061 Set: 9792.585 Check: 1.921 Back: 2343.739
INFO - Atoms: 37269/115040 Clauses: 39135 Axioms: 379186
INFO - Restart
INFO - Confl: 47005 Props: 103703290 Tprops: 0 Decides: 76973 RSplits: 0
INFO - Times: Expl: 40389.874 Prop: 67386.106 PropClause: 64766.543 Set: 9809.397 Check: 1.956 Back: 2360.229
INFO - Atoms: 37269/115040 Clauses: 39242 Axioms: 379186
INFO - Restart
INFO - Confl: 47505 Props: 104410432 Tprops: 0 Decides: 77894 RSplits: 0
INFO - Times: Expl: 40905.526 Prop: 67726.433 PropClause: 65088.811 Set: 9825.89 Check: 1.98 Back: 2376.416
INFO - Atoms: 37269/115040 Clauses: 39280 Axioms: 379186
INFO - Restart
INFO - Confl: 48505 Props: 106019547 Tprops: 0 Decides: 79758 RSplits: 0
INFO - Times: Expl: 42235.405 Prop: 68532.107 PropClause: 65853.559 Set: 9863.329 Check: 2.028 Back: 2413.202
INFO - Atoms: 37269/115040 Clauses: 39525 Axioms: 379186
INFO - Restart
INFO - Confl: 49005 Props: 106538873 Tprops: 0 Decides: 80463 RSplits: 0
INFO - Times: Expl: 42504.99 Prop: 68736.277 PropClause: 66044.56 Set: 9875.118 Check: 2.046 Back: 2424.964
INFO - Atoms: 37269/115040 Clauses: 39557 Axioms: 379186
INFO - Restart
INFO - Confl: 49505 Props: 107214467 Tprops: 0 Decides: 81230 RSplits: 0
INFO - Times: Expl: 42775.552 Prop: 69022.204 PropClause: 66313.387 Set: 9890.567 Check: 2.065 Back: 2440.308
INFO - Atoms: 37269/115040 Clauses: 39590 Axioms: 379186
INFO - Restart
INFO - Confl: 50505 Props: 108312496 Tprops: 0 Decides: 82971 RSplits: 0
INFO - Times: Expl: 43447.691 Prop: 69591.715 PropClause: 66854.811 Set: 9916.053 Check: 2.11 Back: 2465.433
INFO - Atoms: 37269/115040 Clauses: 40213 Axioms: 379186
INFO - Restart
INFO - Confl: 52505 Props: 115718187 Tprops: 0 Decides: 103831 RSplits: 0
INFO - Times: Expl: 47279.739 Prop: 76333.34 PropClause: 73401.978 Set: 10094.397 Check: 2.647 Back: 2639.379
INFO - Atoms: 37291/115040 Clauses: 41757 Axioms: 379186
INFO - Restart
INFO - Confl: 56505 Props: 119899564 Tprops: 0 Decides: 110142 RSplits: 0
INFO - Times: Expl: 51396.762 Prop: 78111.508 PropClause: 75073.543 Set: 10190.669 Check: 2.806 Back: 2734.605
INFO - Atoms: 37291/115040 Clauses: 43255 Axioms: 379186
INFO - Restart
INFO - Confl: 57005 Props: 120776224 Tprops: 0 Decides: 111953 RSplits: 0
INFO - Times: Expl: 51929.0 Prop: 78723.554 PropClause: 75662.805 Set: 10211.503 Check: 2.851 Back: 2754.966
INFO - Atoms: 37291/115040 Clauses: 43332 Axioms: 379186
INFO - Restart
INFO - Confl: 57505 Props: 122321705 Tprops: 0 Decides: 116029 RSplits: 0
INFO - Times: Expl: 52630.653 Prop: 80073.222 PropClause: 76971.697 Set: 10248.565 Check: 2.958 Back: 2791.152
INFO - Atoms: 37297/115040 Clauses: 43613 Axioms: 379186
INFO - Restart
INFO - Confl: 58505 Props: 124277223 Tprops: 0 Decides: 120460 RSplits: 0
INFO - Times: Expl: 53588.557 Prop: 81381.613 PropClause: 78229.159 Set: 10294.948 Check: 3.07 Back: 2836.581
INFO - Atoms: 37299/115040 Clauses: 44235 Axioms: 379186
INFO - Restart
INFO - Confl: 59005 Props: 125421371 Tprops: 0 Decides: 123639 RSplits: 0
INFO - Times: Expl: 54019.581 Prop: 82277.241 PropClause: 79094.434 Set: 10322.358 Check: 3.157 Back: 2863.275
INFO - Atoms: 37310/115040 Clauses: 44504 Axioms: 379186
INFO - Restart
INFO - Confl: 59505 Props: 126217161 Tprops: 0 Decides: 125417 RSplits: 0
INFO - Times: Expl: 54317.476 Prop: 82741.475 PropClause: 79538.105 Set: 10341.173 Check: 3.2 Back: 2881.763
INFO - Atoms: 37310/115040 Clauses: 44847 Axioms: 379186
INFO - Restart
INFO - Confl: 60505 Props: 127472023 Tprops: 0 Decides: 127347 RSplits: 0
INFO - Times: Expl: 55065.891 Prop: 83371.711 PropClause: 80136.142 Set: 10370.459 Check: 3.247 Back: 2910.506
INFO - Atoms: 37310/115040 Clauses: 45248 Axioms: 379186
INFO - Restart
INFO - Confl: 62505 Props: 129199136 Tprops: 0 Decides: 130246 RSplits: 0
INFO - Times: Expl: 55640.751 Prop: 84020.925 PropClause: 80741.446 Set: 10409.757 Check: 3.314 Back: 2949.637
INFO - Atoms: 37310/115040 Clauses: 45918 Axioms: 379186
INFO - Restart
INFO - Confl: 63005 Props: 129736010 Tprops: 0 Decides: 131035 RSplits: 0
INFO - Times: Expl: 55954.769 Prop: 84214.988 PropClause: 80921.92 Set: 10421.945 Check: 3.333 Back: 2961.793
INFO - Atoms: 37310/115040 Clauses: 45994 Axioms: 379186
INFO - Restart
INFO - Confl: 63505 Props: 130346492 Tprops: 0 Decides: 132111 RSplits: 0
INFO - Times: Expl: 56213.715 Prop: 84541.14 PropClause: 81232.438 Set: 10436.105 Check: 3.358 Back: 2975.863
INFO - Atoms: 37310/115040 Clauses: 46181 Axioms: 379186
INFO - Restart
INFO - Confl: 64505 Props: 131345238 Tprops: 0 Decides: 134119 RSplits: 0
INFO - Times: Expl: 56920.091 Prop: 85013.717 PropClause: 81679.527 Set: 10459.157 Check: 3.405 Back: 2998.575
INFO - Atoms: 37324/115040 Clauses: 46383 Axioms: 379186
INFO - Restart
INFO - Confl: 65005 Props: 131981837 Tprops: 0 Decides: 135186 RSplits: 0
INFO - Times: Expl: 57120.338 Prop: 85312.698 PropClause: 81962.292 Set: 10473.763 Check: 3.431 Back: 3013.086
INFO - Atoms: 37324/115040 Clauses: 46526 Axioms: 379186
INFO - Restart
INFO - Confl: 65505 Props: 132475791 Tprops: 0 Decides: 136156 RSplits: 0
INFO - Times: Expl: 57274.96 Prop: 85537.236 PropClause: 82174.178 Set: 10485.146 Check: 3.456 Back: 3024.374
INFO - Atoms: 37324/115040 Clauses: 46787 Axioms: 379186
INFO - Confl: 66400 Props: 133453782 Tprops: 0 Decides: 137892 RSplits: 0
INFO - Times: Expl: 57566.214 Prop: 85964.782 PropClause: 82576.762 Set: 10507.6 Check: 3.496 Back: 3046.648
INFO - Atoms: 37362/115040 Clauses: 47682 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66401 Props: 133531197 Tprops: 0 Decides: 137892 RSplits: 0
INFO - Times: Expl: 57566.246 Prop: 86065.641 PropClause: 82675.71 Set: 10522.653 Check: 3.496 Back: 3047.488
INFO - Atoms: 77415/115040 Clauses: 9357 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66402 Props: 133608904 Tprops: 0 Decides: 137892 RSplits: 0
INFO - Times: Expl: 57566.252 Prop: 86136.427 PropClause: 82744.586 Set: 10537.407 Check: 3.496 Back: 3049.216
INFO - Atoms: 77707/115040 Clauses: 9357 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66403 Props: 133686916 Tprops: 0 Decides: 137892 RSplits: 0
INFO - Times: Expl: 57566.257 Prop: 86211.181 PropClause: 82817.438 Set: 10552.31 Check: 3.496 Back: 3050.954
INFO - Atoms: 78012/115040 Clauses: 9357 Axioms: 379186
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 566 Props: 88898 Tprops: 12923 Decides: 90169 RSplits: 0
INFO - Times: Expl: 721.108 Prop: 218847.788 PropClause: 29.178 Set: 16186.515 Check: 1051.119 Back: 435.769
INFO - Atoms: 1152/1158 Clauses: 566 Axioms: 1158
INFO - CCTimes: iE 930562 eq 57177290 cc 299653542 setRep 163096352
INFO - Merges: 1554997, cc:6920807
INFO - BVTimes: BB 335682903 BB_DPLL 205905783098 Graph 410585369
INFO - BitBlastingClauses: 772134 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat