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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 372781342
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 110906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.741 Prop: 274.145 PropClause: 258.688 Set: 263.763 Check: 0.0 Back: 0.0
INFO - Atoms: 110906/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 221812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.831 Prop: 489.499 PropClause: 469.115 Set: 290.702 Check: 0.0 Back: 3.086
INFO - Atoms: 110906/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 332707 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.91 Prop: 695.472 PropClause: 671.774 Set: 330.671 Check: 0.0 Back: 5.986
INFO - Atoms: 110895/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 443602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.951 Prop: 852.069 PropClause: 825.644 Set: 349.843 Check: 0.0 Back: 8.854
INFO - Atoms: 110895/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 554487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.031 Prop: 1010.164 PropClause: 981.012 Set: 369.174 Check: 0.0 Back: 11.712
INFO - Atoms: 110885/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 665372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.104 Prop: 1172.054 PropClause: 1140.163 Set: 388.315 Check: 0.0 Back: 14.279
INFO - Atoms: 110885/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 776248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.145 Prop: 1328.668 PropClause: 1294.068 Set: 407.353 Check: 0.0 Back: 16.992
INFO - Atoms: 110876/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 887127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.187 Prop: 1490.131 PropClause: 1452.835 Set: 436.315 Check: 0.0 Back: 19.635
INFO - Atoms: 110879/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 997762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.229 Prop: 1645.004 PropClause: 1605.001 Set: 465.337 Check: 0.0 Back: 22.28
INFO - Atoms: 110635/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 1108390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.283 Prop: 1806.695 PropClause: 1763.986 Set: 484.989 Check: 0.0 Back: 24.877
INFO - Atoms: 110628/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1218849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.327 Prop: 1956.33 PropClause: 1910.912 Set: 504.263 Check: 0.0 Back: 27.503
INFO - Atoms: 110459/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1329147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.374 Prop: 2116.403 PropClause: 2068.187 Set: 524.425 Check: 0.0 Back: 30.121
INFO - Atoms: 110298/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1439131 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.417 Prop: 2270.152 PropClause: 2219.241 Set: 543.754 Check: 0.0 Back: 32.719
INFO - Atoms: 109984/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1548897 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.458 Prop: 2428.278 PropClause: 2374.669 Set: 563.111 Check: 0.0 Back: 35.319
INFO - Atoms: 109766/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1658479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.501 Prop: 2585.934 PropClause: 2529.617 Set: 582.337 Check: 0.0 Back: 37.951
INFO - Atoms: 109582/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1767841 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.547 Prop: 2743.961 PropClause: 2684.941 Set: 601.734 Check: 0.0 Back: 40.568
INFO - Atoms: 109362/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1877019 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.591 Prop: 2896.074 PropClause: 2834.397 Set: 620.692 Check: 0.0 Back: 43.181
INFO - Atoms: 109178/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1986035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.634 Prop: 3052.574 PropClause: 2988.246 Set: 639.908 Check: 0.0 Back: 45.769
INFO - Atoms: 109016/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2094887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.68 Prop: 3220.385 PropClause: 3153.331 Set: 659.531 Check: 0.0 Back: 48.351
INFO - Atoms: 108852/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 2203579 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.724 Prop: 3380.852 PropClause: 3311.138 Set: 678.843 Check: 0.0 Back: 50.957
INFO - Atoms: 108692/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 2312182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.766 Prop: 3540.663 PropClause: 3468.302 Set: 697.785 Check: 0.0 Back: 53.706
INFO - Atoms: 108603/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2420643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.818 Prop: 3699.377 PropClause: 3624.349 Set: 717.089 Check: 0.0 Back: 56.464
INFO - Atoms: 108461/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2528922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.861 Prop: 3858.779 PropClause: 3781.093 Set: 736.25 Check: 0.0 Back: 59.238
INFO - Atoms: 108279/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2637036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.903 Prop: 4020.471 PropClause: 3940.125 Set: 755.564 Check: 0.0 Back: 61.888
INFO - Atoms: 108114/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2745150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.944 Prop: 4182.171 PropClause: 4099.166 Set: 774.612 Check: 0.0 Back: 64.456
INFO - Atoms: 108114/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2853101 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.054 Prop: 4345.792 PropClause: 4260.129 Set: 794.094 Check: 0.0 Back: 67.025
INFO - Atoms: 107951/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2961046 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.075 Prop: 4506.783 PropClause: 4418.431 Set: 813.352 Check: 0.0 Back: 69.624
INFO - Atoms: 107945/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 3068828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.095 Prop: 4663.122 PropClause: 4571.971 Set: 833.482 Check: 0.0 Back: 72.254
INFO - Atoms: 107782/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 3176374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.113 Prop: 4813.214 PropClause: 4719.39 Set: 852.327 Check: 0.0 Back: 74.821
INFO - Atoms: 107546/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 3283755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.133 Prop: 4973.765 PropClause: 4877.194 Set: 872.195 Check: 0.0 Back: 77.371
INFO - Atoms: 107381/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 3390974 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.151 Prop: 5125.733 PropClause: 5026.539 Set: 890.991 Check: 0.0 Back: 79.937
INFO - Atoms: 107219/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 3498049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.167 Prop: 5276.731 PropClause: 5174.907 Set: 909.917 Check: 0.0 Back: 82.471
INFO - Atoms: 107075/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3604942 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.185 Prop: 5424.7 PropClause: 5320.248 Set: 928.595 Check: 0.0 Back: 85.055
INFO - Atoms: 106893/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3711693 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.204 Prop: 5577.396 PropClause: 5470.326 Set: 947.506 Check: 0.0 Back: 87.591
INFO - Atoms: 106751/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3818260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.223 Prop: 5730.39 PropClause: 5620.696 Set: 966.187 Check: 0.0 Back: 90.135
INFO - Atoms: 106567/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 3924685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.241 Prop: 5882.017 PropClause: 5769.712 Set: 984.911 Check: 0.0 Back: 92.662
INFO - Atoms: 106425/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 4030924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.26 Prop: 6033.556 PropClause: 5918.621 Set: 1003.629 Check: 0.0 Back: 95.217
INFO - Atoms: 106239/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 4137021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.28 Prop: 6186.782 PropClause: 6069.269 Set: 1022.317 Check: 0.0 Back: 97.746
INFO - Atoms: 106097/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 4242934 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.302 Prop: 6342.811 PropClause: 6222.664 Set: 1041.126 Check: 0.0 Back: 100.295
INFO - Atoms: 105913/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 4348685 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.319 Prop: 6499.204 PropClause: 6376.469 Set: 1059.868 Check: 0.0 Back: 103.005
INFO - Atoms: 105751/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 4454274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.337 Prop: 6655.88 PropClause: 6530.545 Set: 1078.56 Check: 0.0 Back: 105.51
INFO - Atoms: 105589/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 4559699 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.368 Prop: 6809.676 PropClause: 6681.731 Set: 1097.287 Check: 0.0 Back: 108.023
INFO - Atoms: 105425/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 4664962 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.386 Prop: 6958.974 PropClause: 6828.456 Set: 1115.734 Check: 0.0 Back: 110.519
INFO - Atoms: 105263/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4770081 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.406 Prop: 7112.733 PropClause: 6979.632 Set: 1134.352 Check: 0.0 Back: 113.026
INFO - Atoms: 105119/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4875018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.422 Prop: 7265.14 PropClause: 7129.464 Set: 1152.753 Check: 0.0 Back: 115.569
INFO - Atoms: 104937/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 4979813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.442 Prop: 7425.297 PropClause: 7287.05 Set: 1171.459 Check: 0.0 Back: 118.058
INFO - Atoms: 104795/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 5084424 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.46 Prop: 7579.804 PropClause: 7438.999 Set: 1189.869 Check: 0.0 Back: 120.555
INFO - Atoms: 104611/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 5188891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.477 Prop: 7731.952 PropClause: 7588.59 Set: 1208.427 Check: 0.0 Back: 123.037
INFO - Atoms: 104467/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 5293174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.496 Prop: 7882.249 PropClause: 7736.346 Set: 1226.644 Check: 0.0 Back: 125.507
INFO - Atoms: 104283/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 5397309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.514 Prop: 8036.076 PropClause: 7887.611 Set: 1245.122 Check: 0.0 Back: 128.004
INFO - Atoms: 104135/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 5501268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.532 Prop: 8189.219 PropClause: 8038.213 Set: 1263.202 Check: 0.0 Back: 130.482
INFO - Atoms: 103959/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 5605085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.55 Prop: 8343.625 PropClause: 8190.059 Set: 1281.636 Check: 0.0 Back: 132.989
INFO - Atoms: 103817/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 5708718 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.573 Prop: 8492.501 PropClause: 8336.4 Set: 1299.828 Check: 0.0 Back: 135.453
INFO - Atoms: 103633/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 5812209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.591 Prop: 8643.142 PropClause: 8484.491 Set: 1318.116 Check: 0.0 Back: 138.0
INFO - Atoms: 103491/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 5915516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.61 Prop: 8791.049 PropClause: 8629.859 Set: 1336.129 Check: 0.0 Back: 140.459
INFO - Atoms: 103307/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 6018659 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.628 Prop: 8933.978 PropClause: 8770.253 Set: 1354.13 Check: 0.0 Back: 142.95
INFO - Atoms: 103143/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 6121638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.646 Prop: 9069.549 PropClause: 8903.306 Set: 1371.958 Check: 0.0 Back: 145.391
INFO - Atoms: 102979/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 6224475 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.669 Prop: 9214.589 PropClause: 9045.788 Set: 1390.198 Check: 0.0 Back: 147.828
INFO - Atoms: 102837/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 6327130 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.688 Prop: 9357.501 PropClause: 9186.203 Set: 1407.88 Check: 0.0 Back: 150.269
INFO - Atoms: 102655/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 6429638 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.707 Prop: 9500.002 PropClause: 9326.185 Set: 1425.851 Check: 0.0 Back: 152.684
INFO - Atoms: 102508/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 6531967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.727 Prop: 9642.126 PropClause: 9465.811 Set: 1443.494 Check: 0.0 Back: 155.113
INFO - Atoms: 102329/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 6634152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.748 Prop: 9782.588 PropClause: 9603.741 Set: 1461.402 Check: 0.0 Back: 157.546
INFO - Atoms: 102185/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 6736153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.768 Prop: 9926.681 PropClause: 9745.338 Set: 1479.243 Check: 0.0 Back: 159.98
INFO - Atoms: 102001/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 6838012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.782 Prop: 10070.524 PropClause: 9886.684 Set: 1497.118 Check: 0.0 Back: 162.395
INFO - Atoms: 101859/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 6939687 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.806 Prop: 10215.194 PropClause: 10028.882 Set: 1514.769 Check: 0.0 Back: 164.793
INFO - Atoms: 101675/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 7041220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.825 Prop: 10360.36 PropClause: 10171.557 Set: 1532.566 Check: 0.0 Back: 167.205
INFO - Atoms: 101533/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 7142569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.843 Prop: 10498.168 PropClause: 10306.893 Set: 1550.112 Check: 0.0 Back: 169.634
INFO - Atoms: 101349/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 7243770 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.859 Prop: 10641.19 PropClause: 10447.438 Set: 1567.908 Check: 0.0 Back: 172.046
INFO - Atoms: 101201/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 7344795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.878 Prop: 10785.644 PropClause: 10589.413 Set: 1585.67 Check: 0.0 Back: 174.423
INFO - Atoms: 101025/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 7445669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.894 Prop: 10928.568 PropClause: 10729.859 Set: 1603.437 Check: 0.0 Back: 176.873
INFO - Atoms: 100874/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 7546368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.91 Prop: 11068.35 PropClause: 10867.177 Set: 1620.947 Check: 0.0 Back: 179.259
INFO - Atoms: 100699/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 7646925 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.926 Prop: 11208.23 PropClause: 11004.593 Set: 1638.64 Check: 0.0 Back: 181.643
INFO - Atoms: 100557/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 7747296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.942 Prop: 11349.718 PropClause: 11143.638 Set: 1656.13 Check: 0.0 Back: 184.017
INFO - Atoms: 100371/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 7847527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.959 Prop: 11497.245 PropClause: 11288.632 Set: 1674.465 Check: 0.0 Back: 186.397
INFO - Atoms: 100231/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 7947574 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.977 Prop: 11636.609 PropClause: 11425.549 Set: 1691.83 Check: 0.0 Back: 188.809
INFO - Atoms: 100047/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 8047477 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.996 Prop: 11802.512 PropClause: 11588.301 Set: 1716.518 Check: 0.0 Back: 191.246
INFO - Atoms: 99903/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 8147196 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.012 Prop: 11933.059 PropClause: 11716.384 Set: 1733.834 Check: 0.0 Back: 194.006
INFO - Atoms: 99719/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 8246768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.03 Prop: 12070.31 PropClause: 11851.179 Set: 1751.455 Check: 0.0 Back: 196.364
INFO - Atoms: 99572/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 8346161 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.046 Prop: 12203.178 PropClause: 11981.612 Set: 1768.61 Check: 0.0 Back: 198.7
INFO - Atoms: 99393/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 8445412 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.063 Prop: 12342.298 PropClause: 12118.291 Set: 1785.969 Check: 0.0 Back: 201.044
INFO - Atoms: 99251/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 8544481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.082 Prop: 12480.273 PropClause: 12253.751 Set: 1803.211 Check: 0.0 Back: 203.466
INFO - Atoms: 99069/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 8643408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.1 Prop: 12610.197 PropClause: 12381.213 Set: 1820.475 Check: 0.0 Back: 205.871
INFO - Atoms: 98927/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 8742151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.115 Prop: 12741.844 PropClause: 12510.427 Set: 1837.5 Check: 0.0 Back: 208.262
INFO - Atoms: 98743/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 8840752 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.163 Prop: 12879.979 PropClause: 12646.119 Set: 1854.721 Check: 0.0 Back: 210.596
INFO - Atoms: 98601/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 8939169 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.223 Prop: 13014.171 PropClause: 12777.875 Set: 1894.855 Check: 0.0 Back: 212.987
INFO - Atoms: 98417/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 9037444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.235 Prop: 13156.887 PropClause: 12918.17 Set: 1912.257 Check: 0.0 Back: 215.326
INFO - Atoms: 98275/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 9135533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.247 Prop: 13291.162 PropClause: 13050.028 Set: 1929.343 Check: 0.0 Back: 217.697
INFO - Atoms: 98089/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 9233480 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.258 Prop: 13427.843 PropClause: 13184.304 Set: 1946.49 Check: 0.0 Back: 220.05
INFO - Atoms: 97947/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 9331243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.27 Prop: 13566.318 PropClause: 13320.354 Set: 1963.495 Check: 0.0 Back: 222.368
INFO - Atoms: 97763/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 9428866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.282 Prop: 13705.294 PropClause: 13456.916 Set: 1980.722 Check: 0.0 Back: 224.707
INFO - Atoms: 97623/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 9526305 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.294 Prop: 13841.585 PropClause: 13590.808 Set: 1997.694 Check: 0.0 Back: 227.042
INFO - Atoms: 97439/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 9623602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.306 Prop: 13980.685 PropClause: 13727.497 Set: 2014.782 Check: 0.0 Back: 229.403
INFO - Atoms: 97297/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 9720715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.317 Prop: 14116.37 PropClause: 13860.811 Set: 2031.517 Check: 0.0 Back: 231.716
INFO - Atoms: 97113/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 9817664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.329 Prop: 14255.604 PropClause: 13997.595 Set: 2048.657 Check: 0.0 Back: 234.028
INFO - Atoms: 96949/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 9914451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.341 Prop: 14387.014 PropClause: 14126.614 Set: 2065.487 Check: 0.0 Back: 236.337
INFO - Atoms: 96787/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 10011088 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.352 Prop: 14522.137 PropClause: 14259.375 Set: 2082.375 Check: 0.0 Back: 238.648
INFO - Atoms: 96637/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 10107547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.364 Prop: 14657.053 PropClause: 14391.929 Set: 2099.142 Check: 0.0 Back: 240.961
INFO - Atoms: 96459/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 10203844 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.378 Prop: 14795.637 PropClause: 14528.112 Set: 2116.38 Check: 0.0 Back: 243.271
INFO - Atoms: 96297/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 10299979 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.391 Prop: 14925.857 PropClause: 14655.964 Set: 2133.187 Check: 0.0 Back: 245.561
INFO - Atoms: 96135/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 10395950 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.405 Prop: 15064.11 PropClause: 14791.863 Set: 2150.116 Check: 0.0 Back: 247.868
INFO - Atoms: 95971/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 10491759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.418 Prop: 15203.166 PropClause: 14928.556 Set: 2166.83 Check: 0.0 Back: 250.133
INFO - Atoms: 95809/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 10587426 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.431 Prop: 15339.56 PropClause: 15062.586 Set: 2183.577 Check: 0.0 Back: 252.413
INFO - Atoms: 95667/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 10682909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.443 Prop: 15466.318 PropClause: 15187.002 Set: 2200.028 Check: 0.0 Back: 254.705
INFO - Atoms: 95483/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 10778228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.454 Prop: 15592.831 PropClause: 15311.173 Set: 2216.496 Check: 0.0 Back: 256.969
INFO - Atoms: 95319/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 10873385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.465 Prop: 15719.572 PropClause: 15435.589 Set: 2232.828 Check: 0.0 Back: 259.21
INFO - Atoms: 95157/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 10968400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.482 Prop: 15846.566 PropClause: 15560.249 Set: 2249.271 Check: 0.0 Back: 261.454
INFO - Atoms: 95015/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 11063229 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.495 Prop: 15970.224 PropClause: 15681.557 Set: 2265.625 Check: 0.0 Back: 263.695
INFO - Atoms: 94829/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 11157916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.509 Prop: 16093.239 PropClause: 15802.255 Set: 2281.951 Check: 0.0 Back: 265.957
INFO - Atoms: 94687/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 11252421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.522 Prop: 16220.831 PropClause: 15927.433 Set: 2298.678 Check: 0.0 Back: 268.227
INFO - Atoms: 94505/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 11346782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.534 Prop: 16349.045 PropClause: 16053.356 Set: 2314.917 Check: 0.0 Back: 270.456
INFO - Atoms: 94361/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 11440961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.547 Prop: 16472.932 PropClause: 16174.852 Set: 2331.791 Check: 0.0 Back: 272.686
INFO - Atoms: 94179/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 11534998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.559 Prop: 16593.457 PropClause: 16293.076 Set: 2348.051 Check: 0.0 Back: 274.918
INFO - Atoms: 94037/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 11628849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.571 Prop: 16720.568 PropClause: 16417.892 Set: 2364.264 Check: 0.0 Back: 277.097
INFO - Atoms: 93851/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 11722558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.583 Prop: 16852.854 PropClause: 16547.882 Set: 2380.557 Check: 0.0 Back: 279.345
INFO - Atoms: 93709/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 11816085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.597 Prop: 16977.585 PropClause: 16670.334 Set: 2396.54 Check: 0.0 Back: 281.742
INFO - Atoms: 93527/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 11909470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.609 Prop: 17105.863 PropClause: 16796.296 Set: 2412.855 Check: 0.0 Back: 283.99
INFO - Atoms: 93385/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 12002669 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.623 Prop: 17235.354 PropClause: 16923.498 Set: 2429.006 Check: 0.0 Back: 286.228
INFO - Atoms: 93199/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 12095706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.636 Prop: 17361.358 PropClause: 17047.219 Set: 2445.214 Check: 0.0 Back: 288.451
INFO - Atoms: 93037/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 12188581 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.647 Prop: 17484.999 PropClause: 17168.59 Set: 2461.156 Check: 0.0 Back: 290.685
INFO - Atoms: 92875/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 12281312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.662 Prop: 17615.336 PropClause: 17296.648 Set: 2477.369 Check: 0.0 Back: 292.898
INFO - Atoms: 92731/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 12373859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.676 Prop: 17743.453 PropClause: 17422.488 Set: 2493.39 Check: 0.0 Back: 295.113
INFO - Atoms: 92547/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 12466266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.688 Prop: 17873.964 PropClause: 17550.716 Set: 2509.476 Check: 0.0 Back: 297.332
INFO - Atoms: 92407/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 12558487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.702 Prop: 17999.074 PropClause: 17673.567 Set: 2525.491 Check: 0.0 Back: 299.512
INFO - Atoms: 92221/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 12650546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.714 Prop: 18128.616 PropClause: 17800.828 Set: 2541.808 Check: 0.0 Back: 301.721
INFO - Atoms: 92059/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 12742443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.726 Prop: 18257.538 PropClause: 17927.489 Set: 2557.745 Check: 0.0 Back: 303.927
INFO - Atoms: 91897/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 12834176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.74 Prop: 18384.678 PropClause: 18052.376 Set: 2573.652 Check: 0.0 Back: 306.118
INFO - Atoms: 91733/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 12925747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.751 Prop: 18502.67 PropClause: 18168.12 Set: 2589.468 Check: 0.0 Back: 308.288
INFO - Atoms: 91571/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 13017176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.762 Prop: 18625.387 PropClause: 18288.597 Set: 2605.312 Check: 0.0 Back: 310.474
INFO - Atoms: 91429/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 13108421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.777 Prop: 18751.049 PropClause: 18412.019 Set: 2620.996 Check: 0.0 Back: 312.687
INFO - Atoms: 91245/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 13199524 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.789 Prop: 18866.805 PropClause: 18525.54 Set: 2636.655 Check: 0.0 Back: 314.922
INFO - Atoms: 91103/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 13290443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.801 Prop: 18979.276 PropClause: 18635.767 Set: 2652.239 Check: 0.0 Back: 317.084
INFO - Atoms: 90919/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 13381218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 19096.026 PropClause: 18750.289 Set: 2667.893 Check: 0.0 Back: 319.239
INFO - Atoms: 90775/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 13471811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.824 Prop: 19214.684 PropClause: 18866.718 Set: 2683.327 Check: 0.0 Back: 321.374
INFO - Atoms: 90593/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 13562262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.837 Prop: 19332.24 PropClause: 18982.07 Set: 2698.843 Check: 0.0 Back: 323.552
INFO - Atoms: 90451/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 13652529 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.848 Prop: 19441.938 PropClause: 19089.55 Set: 2714.199 Check: 0.0 Back: 325.735
INFO - Atoms: 90267/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 13742652 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.863 Prop: 19573.054 PropClause: 19218.384 Set: 2730.661 Check: 0.0 Back: 327.872
INFO - Atoms: 90123/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 13832591 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.875 Prop: 19693.535 PropClause: 19336.678 Set: 2745.926 Check: 0.0 Back: 330.133
INFO - Atoms: 89939/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 13922388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.888 Prop: 19805.179 PropClause: 19446.121 Set: 2761.375 Check: 0.0 Back: 332.273
INFO - Atoms: 89797/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 14012001 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.9 Prop: 19918.789 PropClause: 19557.518 Set: 2776.701 Check: 0.0 Back: 334.404
INFO - Atoms: 89613/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 14101474 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.913 Prop: 20040.288 PropClause: 19676.832 Set: 2792.108 Check: 0.0 Back: 336.529
INFO - Atoms: 89473/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 14190761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.924 Prop: 20158.895 PropClause: 19793.245 Set: 2807.379 Check: 0.0 Back: 338.667
INFO - Atoms: 89287/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 14279906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 20274.953 PropClause: 19907.114 Set: 2822.859 Check: 0.0 Back: 340.776
INFO - Atoms: 89145/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 14368869 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.948 Prop: 20394.157 PropClause: 20024.15 Set: 2838.094 Check: 0.0 Back: 342.922
INFO - Atoms: 88963/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 14457688 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.959 Prop: 20512.636 PropClause: 20140.458 Set: 2853.502 Check: 0.0 Back: 345.061
INFO - Atoms: 88819/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 14546323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.971 Prop: 20632.542 PropClause: 20258.195 Set: 2868.741 Check: 0.0 Back: 347.2
INFO - Atoms: 88635/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 14634816 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.982 Prop: 20744.91 PropClause: 20368.408 Set: 2883.948 Check: 0.0 Back: 349.325
INFO - Atoms: 88493/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 14723127 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.995 Prop: 20861.089 PropClause: 20482.425 Set: 2932.536 Check: 0.0 Back: 351.419
INFO - Atoms: 88311/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 14811296 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.007 Prop: 20978.824 PropClause: 20598.001 Set: 2947.742 Check: 0.0 Back: 353.527
INFO - Atoms: 88169/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 14899281 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.021 Prop: 21100.199 PropClause: 20717.232 Set: 2962.967 Check: 0.0 Back: 355.641
INFO - Atoms: 87985/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 14987116 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.033 Prop: 21212.108 PropClause: 20826.98 Set: 2978.186 Check: 0.0 Back: 357.757
INFO - Atoms: 87835/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 15074775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.045 Prop: 21334.419 PropClause: 20947.11 Set: 2993.408 Check: 0.0 Back: 359.884
INFO - Atoms: 87659/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 15162283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.059 Prop: 21461.045 PropClause: 21071.566 Set: 3008.627 Check: 0.0 Back: 361.985
INFO - Atoms: 87508/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 15249616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.071 Prop: 21580.637 PropClause: 21188.969 Set: 3023.99 Check: 0.0 Back: 364.101
INFO - Atoms: 87333/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 15336805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.085 Prop: 21694.569 PropClause: 21300.753 Set: 3039.089 Check: 0.0 Back: 366.206
INFO - Atoms: 87189/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 15423812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.097 Prop: 21810.256 PropClause: 21414.316 Set: 3053.988 Check: 0.0 Back: 368.316
INFO - Atoms: 87007/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 15510677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.111 Prop: 21937.998 PropClause: 21539.756 Set: 3070.316 Check: 0.0 Back: 370.394
INFO - Atoms: 86865/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 15597356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.122 Prop: 22053.515 PropClause: 21653.13 Set: 3085.222 Check: 0.0 Back: 372.832
INFO - Atoms: 86679/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 15683887 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.135 Prop: 22158.893 PropClause: 21756.367 Set: 3100.114 Check: 0.0 Back: 374.923
INFO - Atoms: 86531/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 15770242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.145 Prop: 22266.311 PropClause: 21861.667 Set: 3114.677 Check: 0.0 Back: 376.985
INFO - Atoms: 86355/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 15856453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.157 Prop: 22373.725 PropClause: 21966.965 Set: 3129.372 Check: 0.0 Back: 379.065
INFO - Atoms: 86211/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 15942482 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.169 Prop: 22482.085 PropClause: 22073.237 Set: 3143.937 Check: 0.0 Back: 381.124
INFO - Atoms: 86029/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 16028347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.181 Prop: 22591.24 PropClause: 22180.226 Set: 3159.092 Check: 0.0 Back: 383.181
INFO - Atoms: 85865/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 16114048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.194 Prop: 22703.349 PropClause: 22290.215 Set: 3173.91 Check: 0.0 Back: 385.312
INFO - Atoms: 85701/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 16199609 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 22811.952 PropClause: 22396.747 Set: 3188.371 Check: 0.0 Back: 387.37
INFO - Atoms: 85561/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 16284984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.219 Prop: 22915.309 PropClause: 22498.017 Set: 3202.774 Check: 0.0 Back: 389.409
INFO - Atoms: 85375/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 16370217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.233 Prop: 23023.37 PropClause: 22603.991 Set: 3217.423 Check: 0.0 Back: 391.426
INFO - Atoms: 85233/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 16455268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.245 Prop: 23131.832 PropClause: 22710.396 Set: 3231.755 Check: 0.0 Back: 393.446
INFO - Atoms: 85051/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 16540177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.258 Prop: 23243.317 PropClause: 22819.765 Set: 3273.847 Check: 0.0 Back: 395.451
INFO - Atoms: 84909/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 16624902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.313 Prop: 23347.197 PropClause: 22921.575 Set: 3288.253 Check: 0.0 Back: 397.501
INFO - Atoms: 84725/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 16709485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 23458.956 PropClause: 23031.247 Set: 3302.808 Check: 0.0 Back: 399.529
INFO - Atoms: 84583/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 16793884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.387 Prop: 23565.944 PropClause: 23136.164 Set: 3317.079 Check: 0.0 Back: 401.56
INFO - Atoms: 84399/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 16878132 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.4 Prop: 23675.591 PropClause: 23243.752 Set: 3331.439 Check: 0.0 Back: 403.582
INFO - Atoms: 84248/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 16962205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.414 Prop: 23780.25 PropClause: 23346.325 Set: 3345.767 Check: 0.0 Back: 405.598
INFO - Atoms: 84073/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 17046136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 23890.023 PropClause: 23454.034 Set: 3360.292 Check: 0.0 Back: 407.632
INFO - Atoms: 83931/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 17129883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.442 Prop: 24008.77 PropClause: 23570.683 Set: 3374.982 Check: 0.0 Back: 409.701
INFO - Atoms: 83747/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 17213466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.455 Prop: 24113.77 PropClause: 23673.635 Set: 3389.391 Check: 0.0 Back: 411.755
INFO - Atoms: 83583/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 17296885 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.466 Prop: 24219.134 PropClause: 23776.954 Set: 3403.575 Check: 0.0 Back: 413.787
INFO - Atoms: 83419/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 17380164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.477 Prop: 24327.675 PropClause: 23883.46 Set: 3417.874 Check: 0.0 Back: 415.789
INFO - Atoms: 83279/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 17463259 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.489 Prop: 24437.135 PropClause: 23990.877 Set: 3432.077 Check: 0.0 Back: 417.804
INFO - Atoms: 83095/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 17546204 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.499 Prop: 24542.001 PropClause: 24093.717 Set: 3446.368 Check: 0.0 Back: 419.797
INFO - Atoms: 82945/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 17628973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.512 Prop: 24653.419 PropClause: 24203.11 Set: 3460.555 Check: 0.0 Back: 421.832
INFO - Atoms: 82769/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 17711598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.522 Prop: 24760.398 PropClause: 24308.059 Set: 3474.682 Check: 0.0 Back: 423.815
INFO - Atoms: 82625/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 17794039 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.534 Prop: 24869.015 PropClause: 24414.66 Set: 3488.755 Check: 0.0 Back: 425.785
INFO - Atoms: 82441/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 17876338 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.546 Prop: 24973.228 PropClause: 24516.853 Set: 3502.783 Check: 0.0 Back: 427.781
INFO - Atoms: 82299/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 17958455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.557 Prop: 25077.882 PropClause: 24619.499 Set: 3516.746 Check: 0.0 Back: 429.748
INFO - Atoms: 82117/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 18040430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.568 Prop: 25185.182 PropClause: 24724.793 Set: 3530.779 Check: 0.0 Back: 431.721
INFO - Atoms: 81975/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 18122219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.579 Prop: 25284.399 PropClause: 24822.002 Set: 3544.699 Check: 0.0 Back: 433.719
INFO - Atoms: 81789/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 18203846 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.589 Prop: 25388.657 PropClause: 24924.26 Set: 3558.726 Check: 0.0 Back: 435.698
INFO - Atoms: 81627/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 18285309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.601 Prop: 25488.791 PropClause: 25022.419 Set: 3572.23 Check: 0.0 Back: 437.685
INFO - Atoms: 81463/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 18366625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.611 Prop: 25586.553 PropClause: 25118.194 Set: 3586.004 Check: 0.0 Back: 439.62
INFO - Atoms: 81316/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 18447764 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.623 Prop: 25682.683 PropClause: 25212.342 Set: 3599.598 Check: 0.0 Back: 441.553
INFO - Atoms: 81139/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 18528755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 25782.469 PropClause: 25310.165 Set: 3613.249 Check: 0.0 Back: 443.479
INFO - Atoms: 80991/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 18609568 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.655 Prop: 25878.562 PropClause: 25404.277 Set: 3626.788 Check: 0.0 Back: 445.402
INFO - Atoms: 80813/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 18690217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.694 Prop: 25972.56 PropClause: 25496.33 Set: 3640.274 Check: 0.0 Back: 447.336
INFO - Atoms: 80649/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 18770704 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.701 Prop: 26070.348 PropClause: 25592.144 Set: 3653.858 Check: 0.0 Back: 449.242
INFO - Atoms: 80487/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 18851049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 26168.59 PropClause: 25688.421 Set: 3667.511 Check: 0.0 Back: 451.176
INFO - Atoms: 80345/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 18931208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 26258.928 PropClause: 25776.779 Set: 3680.963 Check: 0.0 Back: 453.103
INFO - Atoms: 80159/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 19011225 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.751 Prop: 26352.871 PropClause: 25868.76 Set: 3694.556 Check: 0.0 Back: 454.999
INFO - Atoms: 80017/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 19091060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.784 Prop: 26448.881 PropClause: 25962.831 Set: 3707.917 Check: 0.0 Back: 456.892
INFO - Atoms: 79835/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 19170744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.79 Prop: 26542.594 PropClause: 26054.59 Set: 3721.467 Check: 0.0 Back: 458.801
INFO - Atoms: 79684/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 19250253 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.797 Prop: 26639.772 PropClause: 26149.824 Set: 3734.969 Check: 0.0 Back: 460.717
INFO - Atoms: 79509/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 19329598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.805 Prop: 26741.115 PropClause: 26249.214 Set: 3748.529 Check: 0.0 Back: 462.622
INFO - Atoms: 79345/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 19408781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.812 Prop: 26836.809 PropClause: 26342.947 Set: 3761.95 Check: 0.0 Back: 464.522
INFO - Atoms: 79183/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 19487800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.82 Prop: 26937.281 PropClause: 26441.494 Set: 3775.337 Check: 0.0 Back: 466.451
INFO - Atoms: 79019/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 19566657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.827 Prop: 27035.853 PropClause: 26538.128 Set: 3788.629 Check: 0.0 Back: 468.342
INFO - Atoms: 78857/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 19645350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.835 Prop: 27139.167 PropClause: 26639.511 Set: 3802.273 Check: 0.0 Back: 470.246
INFO - Atoms: 78693/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 19723879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.843 Prop: 27235.625 PropClause: 26734.038 Set: 3815.549 Check: 0.0 Back: 472.187
INFO - Atoms: 78529/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 19802268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.85 Prop: 27340.058 PropClause: 26836.551 Set: 3829.126 Check: 0.0 Back: 474.073
INFO - Atoms: 78389/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 19880473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.857 Prop: 27442.346 PropClause: 26936.927 Set: 3842.475 Check: 0.0 Back: 475.997
INFO - Atoms: 78205/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 19958536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.865 Prop: 27538.475 PropClause: 27031.127 Set: 3855.771 Check: 0.0 Back: 477.872
INFO - Atoms: 78063/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 20036413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.872 Prop: 27641.033 PropClause: 27131.753 Set: 3869.119 Check: 0.0 Back: 479.758
INFO - Atoms: 77877/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 20114142 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.88 Prop: 27740.372 PropClause: 27229.206 Set: 3882.268 Check: 0.0 Back: 481.637
INFO - Atoms: 77729/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 20191695 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.887 Prop: 27833.947 PropClause: 27320.864 Set: 3895.43 Check: 0.0 Back: 483.497
INFO - Atoms: 77553/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 20269084 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.896 Prop: 27933.002 PropClause: 27417.999 Set: 3908.759 Check: 0.0 Back: 485.388
INFO - Atoms: 77389/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 20346311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.904 Prop: 28030.048 PropClause: 27513.144 Set: 3921.841 Check: 0.0 Back: 487.272
INFO - Atoms: 77227/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 20423374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.913 Prop: 28129.243 PropClause: 27610.447 Set: 3934.979 Check: 0.0 Back: 489.3
INFO - Atoms: 77063/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 20500273 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.921 Prop: 28221.121 PropClause: 27700.445 Set: 3947.949 Check: 0.0 Back: 491.171
INFO - Atoms: 76899/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 20577027 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.928 Prop: 28316.925 PropClause: 27794.357 Set: 3961.072 Check: 0.0 Back: 493.026
INFO - Atoms: 76754/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 20653602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.935 Prop: 28408.375 PropClause: 27883.935 Set: 3973.987 Check: 0.0 Back: 494.898
INFO - Atoms: 76575/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 20730013 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.942 Prop: 28499.164 PropClause: 27972.848 Set: 3986.907 Check: 0.0 Back: 496.735
INFO - Atoms: 76411/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 20806262 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.95 Prop: 28591.058 PropClause: 28062.878 Set: 3999.758 Check: 0.0 Back: 498.599
INFO - Atoms: 76249/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 20882367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.958 Prop: 28685.481 PropClause: 28155.417 Set: 4012.805 Check: 0.0 Back: 500.45
INFO - Atoms: 76105/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 20958288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.964 Prop: 28775.565 PropClause: 28243.622 Set: 4025.578 Check: 0.0 Back: 502.328
INFO - Atoms: 75921/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 21034067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 28865.669 PropClause: 28331.869 Set: 4038.333 Check: 0.0 Back: 504.186
INFO - Atoms: 75779/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 21109664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.979 Prop: 28958.777 PropClause: 28423.113 Set: 4051.058 Check: 0.0 Back: 506.033
INFO - Atoms: 75597/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 21185111 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.988 Prop: 29048.647 PropClause: 28511.133 Set: 4063.873 Check: 0.0 Back: 507.841
INFO - Atoms: 75447/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 21260380 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.995 Prop: 29135.838 PropClause: 28596.496 Set: 4076.329 Check: 0.0 Back: 509.693
INFO - Atoms: 75269/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 21335507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.002 Prop: 29225.442 PropClause: 28684.254 Set: 4089.057 Check: 0.0 Back: 511.485
INFO - Atoms: 75127/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 21410452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 29320.78 PropClause: 28777.752 Set: 4101.666 Check: 0.0 Back: 513.307
INFO - Atoms: 74945/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 21485246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 29407.309 PropClause: 28862.448 Set: 4114.183 Check: 0.0 Back: 515.139
INFO - Atoms: 74794/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 21559865 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.025 Prop: 29494.194 PropClause: 28947.498 Set: 4126.716 Check: 0.0 Back: 516.95
INFO - Atoms: 74619/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 21634342 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.033 Prop: 29586.286 PropClause: 29037.778 Set: 4139.198 Check: 0.0 Back: 518.74
INFO - Atoms: 74477/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 21708633 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.041 Prop: 29673.158 PropClause: 29122.822 Set: 4151.649 Check: 0.0 Back: 520.537
INFO - Atoms: 74291/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 21782782 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.05 Prop: 29772.294 PropClause: 29220.115 Set: 4164.338 Check: 0.0 Back: 522.34
INFO - Atoms: 74149/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 21856747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.058 Prop: 29863.942 PropClause: 29309.945 Set: 4176.787 Check: 0.0 Back: 524.164
INFO - Atoms: 73965/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 21930570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.065 Prop: 29946.668 PropClause: 29390.806 Set: 4189.171 Check: 0.0 Back: 525.96
INFO - Atoms: 73823/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 22004211 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.072 Prop: 30036.888 PropClause: 29479.205 Set: 4201.609 Check: 0.0 Back: 527.761
INFO - Atoms: 73641/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 22077710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.08 Prop: 30127.778 PropClause: 29568.288 Set: 4213.95 Check: 0.0 Back: 529.558
INFO - Atoms: 73499/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 22151023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.087 Prop: 30206.527 PropClause: 29645.241 Set: 4226.048 Check: 0.0 Back: 531.329
INFO - Atoms: 73313/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 22224189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.094 Prop: 30293.356 PropClause: 29730.267 Set: 4238.361 Check: 0.0 Back: 533.093
INFO - Atoms: 73166/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 22297176 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.1 Prop: 30379.693 PropClause: 29814.819 Set: 4250.532 Check: 0.0 Back: 534.867
INFO - Atoms: 72987/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 22370023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.107 Prop: 30458.862 PropClause: 29892.205 Set: 4262.672 Check: 0.0 Back: 536.646
INFO - Atoms: 72847/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 22442684 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 30547.24 PropClause: 29978.794 Set: 4274.873 Check: 0.0 Back: 538.422
INFO - Atoms: 72661/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 22515183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 30632.996 PropClause: 30062.769 Set: 4287.128 Check: 0.0 Back: 540.169
INFO - Atoms: 72499/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 22587520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 30710.934 PropClause: 30138.939 Set: 4299.094 Check: 0.0 Back: 541.905
INFO - Atoms: 72337/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 22659715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 30799.101 PropClause: 30225.313 Set: 4311.199 Check: 0.0 Back: 543.654
INFO - Atoms: 72195/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 22731726 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.144 Prop: 30887.043 PropClause: 30311.48 Set: 4323.276 Check: 0.0 Back: 545.394
INFO - Atoms: 72011/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 22803595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 30968.389 PropClause: 30391.078 Set: 4335.242 Check: 0.0 Back: 547.117
INFO - Atoms: 71869/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 22875278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.161 Prop: 31053.95 PropClause: 30474.886 Set: 4347.248 Check: 0.0 Back: 548.849
INFO - Atoms: 71683/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 22946799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.168 Prop: 31138.968 PropClause: 30558.123 Set: 4359.303 Check: 0.0 Back: 550.582
INFO - Atoms: 71521/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 23017364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.178 Prop: 31215.855 PropClause: 30633.283 Set: 4370.983 Check: 0.0 Back: 552.321
INFO - Atoms: 70565/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 23087787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.185 Prop: 31301.979 PropClause: 30717.67 Set: 4382.872 Check: 0.0 Back: 554.028
INFO - Atoms: 70423/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 23158026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 31385.912 PropClause: 30799.851 Set: 4394.722 Check: 0.0 Back: 555.815
INFO - Atoms: 70239/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 23228123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.203 Prop: 31466.885 PropClause: 30879.087 Set: 4406.379 Check: 0.0 Back: 557.524
INFO - Atoms: 70097/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 23298036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.221 Prop: 31562.903 PropClause: 30972.91 Set: 4422.808 Check: 0.0 Back: 559.251
INFO - Atoms: 69913/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 23367805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.229 Prop: 31645.584 PropClause: 31053.869 Set: 4434.412 Check: 0.0 Back: 561.169
INFO - Atoms: 69769/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 23437390 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.237 Prop: 31727.487 PropClause: 31134.057 Set: 4446.191 Check: 0.0 Back: 562.896
INFO - Atoms: 69585/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 23506835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.244 Prop: 31803.378 PropClause: 31208.262 Set: 4457.531 Check: 0.0 Back: 564.662
INFO - Atoms: 69445/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 23576096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.251 Prop: 31882.526 PropClause: 31285.713 Set: 4469.003 Check: 0.0 Back: 566.335
INFO - Atoms: 69261/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 23645215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.258 Prop: 31963.84 PropClause: 31365.345 Set: 4480.374 Check: 0.0 Back: 568.008
INFO - Atoms: 69119/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 23714148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.266 Prop: 32044.524 PropClause: 31444.331 Set: 4491.738 Check: 0.0 Back: 569.693
INFO - Atoms: 68933/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 23782939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.274 Prop: 32121.159 PropClause: 31519.287 Set: 4503.032 Check: 0.0 Back: 571.378
INFO - Atoms: 68791/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 23851546 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.282 Prop: 32192.817 PropClause: 31589.268 Set: 4514.258 Check: 0.0 Back: 573.042
INFO - Atoms: 68607/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 23920011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.289 Prop: 32266.729 PropClause: 31661.506 Set: 4525.523 Check: 0.0 Back: 574.698
INFO - Atoms: 68465/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 23988294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.296 Prop: 32342.858 PropClause: 31735.963 Set: 4536.742 Check: 0.0 Back: 576.343
INFO - Atoms: 68283/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 24056413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.303 Prop: 32418.023 PropClause: 31809.458 Set: 4547.95 Check: 0.0 Back: 578.001
INFO - Atoms: 68119/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 24124370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.312 Prop: 32492.142 PropClause: 31881.888 Set: 4559.099 Check: 0.0 Back: 579.659
INFO - Atoms: 67957/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 24192183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.319 Prop: 32568.761 PropClause: 31956.824 Set: 4570.321 Check: 0.0 Back: 581.323
INFO - Atoms: 67813/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 24259812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.326 Prop: 32639.246 PropClause: 32025.649 Set: 4581.343 Check: 0.0 Back: 582.971
INFO - Atoms: 67629/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 24327299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.333 Prop: 32715.859 PropClause: 32100.611 Set: 4592.488 Check: 0.0 Back: 584.607
INFO - Atoms: 67487/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 24394602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.342 Prop: 32793.317 PropClause: 32176.433 Set: 4603.478 Check: 0.0 Back: 586.267
INFO - Atoms: 67303/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 24461763 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.349 Prop: 32860.886 PropClause: 32242.36 Set: 4614.459 Check: 0.0 Back: 587.881
INFO - Atoms: 67161/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 24528740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.357 Prop: 32937.686 PropClause: 32317.538 Set: 4625.453 Check: 0.0 Back: 589.51
INFO - Atoms: 66977/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 24595575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.364 Prop: 33015.344 PropClause: 32393.555 Set: 4636.577 Check: 0.0 Back: 591.124
INFO - Atoms: 66835/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 24662226 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.37 Prop: 33089.63 PropClause: 32466.207 Set: 4647.483 Check: 0.0 Back: 592.753
INFO - Atoms: 66651/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 24728737 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.379 Prop: 33166.774 PropClause: 32541.71 Set: 4658.475 Check: 0.0 Back: 594.374
INFO - Atoms: 66511/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 24795064 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.385 Prop: 33238.536 PropClause: 32611.847 Set: 4669.391 Check: 0.0 Back: 596.011
INFO - Atoms: 66327/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 24861249 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.393 Prop: 33314.044 PropClause: 32685.732 Set: 4680.415 Check: 0.0 Back: 597.657
INFO - Atoms: 66185/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 24927250 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.4 Prop: 33388.306 PropClause: 32758.358 Set: 4691.332 Check: 0.0 Back: 599.284
INFO - Atoms: 66001/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 24993109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.407 Prop: 33457.485 PropClause: 32825.917 Set: 4702.139 Check: 0.0 Back: 600.91
INFO - Atoms: 65859/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 25058784 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.413 Prop: 33529.557 PropClause: 32896.37 Set: 4712.91 Check: 0.0 Back: 602.533
INFO - Atoms: 65675/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 25124315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.419 Prop: 33604.844 PropClause: 32970.047 Set: 4723.793 Check: 0.0 Back: 604.15
INFO - Atoms: 65531/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 25189664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.427 Prop: 33675.073 PropClause: 33038.665 Set: 4734.594 Check: 0.0 Back: 605.792
INFO - Atoms: 65349/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 25254871 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.434 Prop: 33748.616 PropClause: 33110.608 Set: 4745.347 Check: 0.0 Back: 607.402
INFO - Atoms: 65207/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 25319894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 33821.093 PropClause: 33181.479 Set: 4756.043 Check: 0.0 Back: 609.008
INFO - Atoms: 65023/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 25384775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.448 Prop: 33891.693 PropClause: 33250.473 Set: 4766.724 Check: 0.0 Back: 610.616
INFO - Atoms: 64881/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 25449470 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.456 Prop: 33963.527 PropClause: 33320.699 Set: 4777.364 Check: 0.0 Back: 612.207
INFO - Atoms: 64695/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 25514003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.464 Prop: 34030.751 PropClause: 33386.319 Set: 4788.022 Check: 0.0 Back: 613.789
INFO - Atoms: 64533/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 25578374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.473 Prop: 34101.019 PropClause: 33455.004 Set: 4798.596 Check: 0.0 Back: 615.387
INFO - Atoms: 64371/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 25642603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.481 Prop: 34171.322 PropClause: 33523.713 Set: 4809.134 Check: 0.0 Back: 616.972
INFO - Atoms: 64229/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 25706646 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.488 Prop: 34234.111 PropClause: 33584.91 Set: 4819.59 Check: 0.0 Back: 618.538
INFO - Atoms: 64043/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 25770547 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 34303.417 PropClause: 33652.642 Set: 4830.107 Check: 0.0 Back: 620.168
INFO - Atoms: 63901/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 25834266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.503 Prop: 34374.583 PropClause: 33722.239 Set: 4840.595 Check: 0.0 Back: 621.719
INFO - Atoms: 63719/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 25897838 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.509 Prop: 34437.872 PropClause: 33783.969 Set: 4850.853 Check: 0.0 Back: 623.31
INFO - Atoms: 63572/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 25961231 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.516 Prop: 34502.536 PropClause: 33847.076 Set: 4861.097 Check: 0.0 Back: 624.848
INFO - Atoms: 63393/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 26024476 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.525 Prop: 34566.04 PropClause: 33909.006 Set: 4871.536 Check: 0.0 Back: 626.388
INFO - Atoms: 63245/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 26087541 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.533 Prop: 34631.546 PropClause: 33972.948 Set: 4904.523 Check: 0.0 Back: 627.954
INFO - Atoms: 63065/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 26150464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 34697.679 PropClause: 34037.534 Set: 4914.748 Check: 0.0 Back: 629.493
INFO - Atoms: 62923/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 26213203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.547 Prop: 34755.324 PropClause: 34093.631 Set: 4924.843 Check: 0.0 Back: 631.014
INFO - Atoms: 62739/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 26275800 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 34818.098 PropClause: 34154.877 Set: 4934.963 Check: 0.0 Back: 632.603
INFO - Atoms: 62597/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 26338215 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.561 Prop: 34880.547 PropClause: 34215.792 Set: 4944.994 Check: 0.0 Back: 634.112
INFO - Atoms: 62415/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 26400486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.568 Prop: 34940.361 PropClause: 34274.084 Set: 4954.917 Check: 0.0 Back: 635.633
INFO - Atoms: 62271/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 26462575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.577 Prop: 35004.517 PropClause: 34336.687 Set: 4965.11 Check: 0.0 Back: 637.136
INFO - Atoms: 62089/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 26524522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.586 Prop: 35063.954 PropClause: 34394.564 Set: 4975.2 Check: 0.0 Back: 638.688
INFO - Atoms: 61947/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 26586285 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.594 Prop: 35124.15 PropClause: 34453.247 Set: 4985.123 Check: 0.0 Back: 640.216
INFO - Atoms: 61763/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 26647906 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.6 Prop: 35186.109 PropClause: 34513.693 Set: 4995.12 Check: 0.0 Back: 641.718
INFO - Atoms: 61621/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 26709341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.609 Prop: 35247.45 PropClause: 34573.504 Set: 5005.123 Check: 0.0 Back: 643.226
INFO - Atoms: 61435/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 26770634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 35307.32 PropClause: 34631.876 Set: 5014.966 Check: 0.0 Back: 644.735
INFO - Atoms: 61293/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 26831745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.624 Prop: 35364.244 PropClause: 34687.289 Set: 5024.814 Check: 0.0 Back: 646.234
INFO - Atoms: 61111/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 26892714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.631 Prop: 35425.657 PropClause: 34747.21 Set: 5034.691 Check: 0.0 Back: 647.726
INFO - Atoms: 60969/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 26953499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.64 Prop: 35486.28 PropClause: 34806.347 Set: 5044.471 Check: 0.0 Back: 649.206
INFO - Atoms: 60785/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 27014140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.649 Prop: 35550.252 PropClause: 34868.812 Set: 5054.588 Check: 0.0 Back: 650.688
INFO - Atoms: 60641/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 27074597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.656 Prop: 35610.949 PropClause: 34928.032 Set: 5064.277 Check: 0.0 Back: 652.202
INFO - Atoms: 60457/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 27134905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.664 Prop: 35667.711 PropClause: 34983.317 Set: 5074.019 Check: 0.0 Back: 653.677
INFO - Atoms: 60308/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 27195038 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 35727.773 PropClause: 35041.908 Set: 5083.735 Check: 0.0 Back: 655.174
INFO - Atoms: 60133/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 27255029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.678 Prop: 35789.167 PropClause: 35101.83 Set: 5120.278 Check: 0.0 Back: 656.645
INFO - Atoms: 59991/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 27314836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 35848.386 PropClause: 35159.568 Set: 5129.942 Check: 0.0 Back: 658.133
INFO - Atoms: 59807/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 27374499 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 35908.99 PropClause: 35218.699 Set: 5139.557 Check: 0.0 Back: 659.606
INFO - Atoms: 59663/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 27433978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.703 Prop: 35967.858 PropClause: 35276.095 Set: 5149.213 Check: 0.0 Back: 661.073
INFO - Atoms: 59479/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 27493315 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.71 Prop: 36025.819 PropClause: 35332.605 Set: 5158.73 Check: 0.0 Back: 662.563
INFO - Atoms: 59337/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 27552468 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.717 Prop: 36086.946 PropClause: 35392.282 Set: 5168.317 Check: 0.0 Back: 664.025
INFO - Atoms: 59153/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 27611481 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.725 Prop: 36143.024 PropClause: 35446.907 Set: 5177.822 Check: 0.0 Back: 665.525
INFO - Atoms: 59013/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 27670310 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.73 Prop: 36200.26 PropClause: 35502.704 Set: 5187.269 Check: 0.0 Back: 666.982
INFO - Atoms: 58829/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 27728997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.738 Prop: 36256.94 PropClause: 35557.942 Set: 5196.787 Check: 0.0 Back: 668.425
INFO - Atoms: 58687/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 27787500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.744 Prop: 36314.003 PropClause: 35613.572 Set: 5206.12 Check: 0.0 Back: 669.873
INFO - Atoms: 58503/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 27845859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.752 Prop: 36374.487 PropClause: 35672.62 Set: 5215.605 Check: 0.0 Back: 671.318
INFO - Atoms: 58359/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 27904034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.759 Prop: 36427.507 PropClause: 35724.219 Set: 5224.891 Check: 0.0 Back: 672.736
INFO - Atoms: 58175/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 27962067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.768 Prop: 36487.117 PropClause: 35782.403 Set: 5234.334 Check: 0.0 Back: 674.175
INFO - Atoms: 58033/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 28019916 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.775 Prop: 36540.703 PropClause: 35834.56 Set: 5243.64 Check: 0.0 Back: 675.631
INFO - Atoms: 57849/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 28077623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.783 Prop: 36598.713 PropClause: 35891.134 Set: 5253.016 Check: 0.0 Back: 677.068
INFO - Atoms: 57707/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 28135148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.792 Prop: 36656.125 PropClause: 35947.122 Set: 5262.278 Check: 0.0 Back: 678.502
INFO - Atoms: 57525/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 28192531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.8 Prop: 36708.814 PropClause: 35998.395 Set: 5271.404 Check: 0.0 Back: 679.936
INFO - Atoms: 57383/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 28249730 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.808 Prop: 36765.905 PropClause: 36054.063 Set: 5280.664 Check: 0.0 Back: 681.355
INFO - Atoms: 57199/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 28306787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.816 Prop: 36817.606 PropClause: 36104.364 Set: 5289.81 Check: 0.0 Back: 682.793
INFO - Atoms: 57057/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 28363658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.822 Prop: 36871.456 PropClause: 36156.814 Set: 5298.997 Check: 0.0 Back: 684.211
INFO - Atoms: 56871/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 28420367 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.829 Prop: 36927.116 PropClause: 36211.062 Set: 5308.069 Check: 0.0 Back: 685.62
INFO - Atoms: 56709/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 28476914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.836 Prop: 36977.374 PropClause: 36259.932 Set: 5317.053 Check: 0.0 Back: 687.017
INFO - Atoms: 56547/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 28533319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.842 Prop: 37030.723 PropClause: 36311.884 Set: 5326.023 Check: 0.0 Back: 688.401
INFO - Atoms: 56405/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 28589540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.849 Prop: 37079.423 PropClause: 36359.202 Set: 5335.02 Check: 0.0 Back: 689.79
INFO - Atoms: 56221/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 28645617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.856 Prop: 37130.598 PropClause: 36409.012 Set: 5343.81 Check: 0.0 Back: 691.196
INFO - Atoms: 56077/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 28701510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.864 Prop: 37175.739 PropClause: 36452.786 Set: 5352.633 Check: 0.0 Back: 692.575
INFO - Atoms: 55893/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 28757261 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.87 Prop: 37224.958 PropClause: 36500.645 Set: 5361.438 Check: 0.0 Back: 693.954
INFO - Atoms: 55751/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 28812830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.878 Prop: 37275.206 PropClause: 36549.534 Set: 5370.218 Check: 0.0 Back: 695.315
INFO - Atoms: 55569/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 28868257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.885 Prop: 37323.98 PropClause: 36596.952 Set: 5378.949 Check: 0.0 Back: 696.714
INFO - Atoms: 55427/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 28923498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.891 Prop: 37372.881 PropClause: 36644.503 Set: 5387.691 Check: 0.0 Back: 698.058
INFO - Atoms: 55241/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 28978599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.899 Prop: 37415.435 PropClause: 36685.707 Set: 5396.228 Check: 0.0 Back: 699.414
INFO - Atoms: 55101/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 29033514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.907 Prop: 37464.104 PropClause: 36733.034 Set: 5404.848 Check: 0.0 Back: 700.756
INFO - Atoms: 54915/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 29088287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.914 Prop: 37512.561 PropClause: 36780.15 Set: 5413.59 Check: 0.0 Back: 702.089
INFO - Atoms: 54773/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 29142878 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.922 Prop: 37558.945 PropClause: 36825.206 Set: 5422.169 Check: 0.0 Back: 703.448
INFO - Atoms: 54591/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 29197325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.929 Prop: 37605.681 PropClause: 36870.612 Set: 5430.765 Check: 0.0 Back: 704.803
INFO - Atoms: 54447/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 29251590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.936 Prop: 37651.656 PropClause: 36915.274 Set: 5439.187 Check: 0.0 Back: 706.137
INFO - Atoms: 54265/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 29305713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.943 Prop: 37698.5 PropClause: 36960.784 Set: 5447.73 Check: 0.0 Back: 707.461
INFO - Atoms: 54123/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 29359650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.95 Prop: 37742.851 PropClause: 37003.833 Set: 5456.037 Check: 0.0 Back: 708.808
INFO - Atoms: 53937/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 29413439 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.957 Prop: 37791.544 PropClause: 37051.211 Set: 5464.541 Check: 0.0 Back: 710.114
INFO - Atoms: 53789/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 29467052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 37838.346 PropClause: 37096.7 Set: 5472.974 Check: 0.0 Back: 711.443
INFO - Atoms: 53613/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 29520523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.971 Prop: 37884.797 PropClause: 37141.842 Set: 5481.364 Check: 0.0 Back: 712.76
INFO - Atoms: 53471/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 29573808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.979 Prop: 37927.525 PropClause: 37183.244 Set: 5489.798 Check: 0.0 Back: 714.1
INFO - Atoms: 53285/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 29626951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 37973.512 PropClause: 37227.934 Set: 5498.148 Check: 0.0 Back: 715.435
INFO - Atoms: 53143/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 29679912 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.993 Prop: 38020.197 PropClause: 37273.322 Set: 5506.507 Check: 0.0 Back: 716.754
INFO - Atoms: 52961/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 29732729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.0 Prop: 38064.515 PropClause: 37316.362 Set: 5514.753 Check: 0.0 Back: 718.022
INFO - Atoms: 52817/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 29785362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.007 Prop: 38108.18 PropClause: 37358.73 Set: 5523.013 Check: 0.0 Back: 719.33
INFO - Atoms: 52633/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 29837853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.014 Prop: 38148.716 PropClause: 37397.989 Set: 5531.033 Check: 0.0 Back: 720.656
INFO - Atoms: 52491/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 29890162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.023 Prop: 38191.935 PropClause: 37439.927 Set: 5539.18 Check: 0.0 Back: 721.943
INFO - Atoms: 52309/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 29942327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.029 Prop: 38231.083 PropClause: 37477.793 Set: 5547.238 Check: 0.0 Back: 723.24
INFO - Atoms: 52165/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 29994308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.036 Prop: 38272.396 PropClause: 37517.833 Set: 5555.292 Check: 0.0 Back: 724.54
INFO - Atoms: 51981/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 30046147 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.043 Prop: 38314.291 PropClause: 37558.458 Set: 5563.291 Check: 0.0 Back: 725.829
INFO - Atoms: 51839/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 30097802 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.051 Prop: 38356.144 PropClause: 37599.047 Set: 5571.295 Check: 0.0 Back: 727.12
INFO - Atoms: 51655/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 30148523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.066 Prop: 38399.975 PropClause: 37641.63 Set: 5579.183 Check: 0.0 Back: 728.422
INFO - Atoms: 50721/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 30199060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.073 Prop: 38441.599 PropClause: 37682.026 Set: 5586.938 Check: 0.0 Back: 729.691
INFO - Atoms: 50537/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 30249455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.081 Prop: 38484.316 PropClause: 37723.505 Set: 5594.668 Check: 0.0 Back: 730.9
INFO - Atoms: 50395/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 30299666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.087 Prop: 38524.082 PropClause: 37762.034 Set: 5602.402 Check: 0.0 Back: 732.167
INFO - Atoms: 50211/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 30349735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 38563.703 PropClause: 37800.425 Set: 5610.121 Check: 0.0 Back: 733.43
INFO - Atoms: 50069/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 30399620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.101 Prop: 38605.354 PropClause: 37840.853 Set: 5617.864 Check: 0.0 Back: 734.681
INFO - Atoms: 49885/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 30449363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.11 Prop: 38647.749 PropClause: 37882.021 Set: 5625.591 Check: 0.0 Back: 735.946
INFO - Atoms: 49743/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 30498922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.117 Prop: 38686.939 PropClause: 37919.996 Set: 5633.26 Check: 0.0 Back: 737.201
INFO - Atoms: 49559/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 30548337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.124 Prop: 38729.752 PropClause: 37961.579 Set: 5640.88 Check: 0.0 Back: 738.473
INFO - Atoms: 49415/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 30597570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.131 Prop: 38766.266 PropClause: 37996.873 Set: 5648.421 Check: 0.0 Back: 739.746
INFO - Atoms: 49233/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 30646661 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.139 Prop: 38803.436 PropClause: 38032.822 Set: 5655.863 Check: 0.0 Back: 740.995
INFO - Atoms: 49091/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 30695566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.146 Prop: 38840.719 PropClause: 38068.897 Set: 5663.384 Check: 0.0 Back: 742.229
INFO - Atoms: 48905/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 30744329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.153 Prop: 38880.081 PropClause: 38107.058 Set: 5670.885 Check: 0.0 Back: 743.455
INFO - Atoms: 48763/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 30792910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.161 Prop: 38916.604 PropClause: 38142.392 Set: 5678.297 Check: 0.0 Back: 744.724
INFO - Atoms: 48581/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 30841347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 38952.826 PropClause: 38177.422 Set: 5685.688 Check: 0.0 Back: 745.953
INFO - Atoms: 48437/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 30889602 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.177 Prop: 38991.656 PropClause: 38215.039 Set: 5693.074 Check: 0.0 Back: 747.18
INFO - Atoms: 48255/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 30937715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.185 Prop: 39027.335 PropClause: 38249.536 Set: 5700.365 Check: 0.0 Back: 748.422
INFO - Atoms: 48113/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 30985644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.193 Prop: 39060.777 PropClause: 38281.793 Set: 5707.592 Check: 0.0 Back: 749.642
INFO - Atoms: 47929/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 31033431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.2 Prop: 39098.6 PropClause: 38318.439 Set: 5714.892 Check: 0.0 Back: 750.851
INFO - Atoms: 47787/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 31081032 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.207 Prop: 39133.861 PropClause: 38352.528 Set: 5722.141 Check: 0.0 Back: 752.08
INFO - Atoms: 47601/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 388 Props: 31128491 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.215 Prop: 39170.073 PropClause: 38387.581 Set: 5729.262 Check: 0.0 Back: 753.285
INFO - Atoms: 47459/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 389 Props: 31175766 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.222 Prop: 39205.773 PropClause: 38422.113 Set: 5736.483 Check: 0.0 Back: 754.473
INFO - Atoms: 47275/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 31222899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.229 Prop: 39241.46 PropClause: 38456.637 Set: 5743.667 Check: 0.0 Back: 755.683
INFO - Atoms: 47133/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 391 Props: 31269850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.235 Prop: 39273.442 PropClause: 38487.464 Set: 5750.701 Check: 0.0 Back: 756.895
INFO - Atoms: 46951/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 392 Props: 31316657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.241 Prop: 39309.08 PropClause: 38521.951 Set: 5757.824 Check: 0.0 Back: 758.083
INFO - Atoms: 46807/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 393 Props: 31363280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.249 Prop: 39339.248 PropClause: 38550.981 Set: 5764.757 Check: 0.0 Back: 759.271
INFO - Atoms: 46623/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 31409761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.255 Prop: 39372.302 PropClause: 38582.889 Set: 5771.739 Check: 0.0 Back: 760.452
INFO - Atoms: 46481/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 395 Props: 31456060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.262 Prop: 39404.185 PropClause: 38613.632 Set: 5778.685 Check: 0.0 Back: 761.63
INFO - Atoms: 46299/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 31502217 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.27 Prop: 39436.293 PropClause: 38644.605 Set: 5785.632 Check: 0.0 Back: 762.831
INFO - Atoms: 46157/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 31548190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.276 Prop: 39467.527 PropClause: 38674.706 Set: 5792.489 Check: 0.0 Back: 763.998
INFO - Atoms: 45973/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 398 Props: 31594021 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.284 Prop: 39499.609 PropClause: 38705.657 Set: 5824.794 Check: 0.0 Back: 765.152
INFO - Atoms: 45831/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 399 Props: 31639668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.292 Prop: 39532.462 PropClause: 38737.383 Set: 5831.668 Check: 0.0 Back: 766.304
INFO - Atoms: 45647/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 31685171 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.299 Prop: 39563.804 PropClause: 38767.605 Set: 5838.466 Check: 0.0 Back: 767.47
INFO - Atoms: 45503/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 401 Props: 31730492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.306 Prop: 39593.437 PropClause: 38796.124 Set: 5845.187 Check: 0.0 Back: 768.655
INFO - Atoms: 45321/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 402 Props: 31775671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.314 Prop: 39624.305 PropClause: 38825.871 Set: 5851.92 Check: 0.0 Back: 769.802
INFO - Atoms: 45179/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 403 Props: 31820664 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.319 Prop: 39653.067 PropClause: 38853.538 Set: 5858.525 Check: 0.0 Back: 770.956
INFO - Atoms: 44993/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 404 Props: 31865515 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.328 Prop: 39684.026 PropClause: 38883.382 Set: 5865.199 Check: 0.0 Back: 772.095
INFO - Atoms: 44851/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 31910182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.335 Prop: 39713.858 PropClause: 38912.103 Set: 5871.905 Check: 0.0 Back: 773.258
INFO - Atoms: 44667/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 406 Props: 31954709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.343 Prop: 39744.975 PropClause: 38942.098 Set: 5878.609 Check: 0.0 Back: 774.413
INFO - Atoms: 44527/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 407 Props: 31999052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.351 Prop: 39773.859 PropClause: 38969.893 Set: 5885.211 Check: 0.0 Back: 775.59
INFO - Atoms: 44343/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 32043251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.359 Prop: 39803.949 PropClause: 38998.897 Set: 5891.675 Check: 0.0 Back: 776.723
INFO - Atoms: 44199/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 409 Props: 32087266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.367 Prop: 39831.84 PropClause: 39025.686 Set: 5898.298 Check: 0.0 Back: 777.848
INFO - Atoms: 44015/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 410 Props: 32131139 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.375 Prop: 39860.7 PropClause: 39053.456 Set: 5904.762 Check: 0.0 Back: 778.968
INFO - Atoms: 43873/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 411 Props: 32174830 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.382 Prop: 39886.893 PropClause: 39078.579 Set: 5911.2 Check: 0.0 Back: 780.089
INFO - Atoms: 43691/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 412 Props: 32218379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.39 Prop: 39916.538 PropClause: 39107.146 Set: 5917.662 Check: 0.0 Back: 781.186
INFO - Atoms: 43549/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 32261744 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.398 Prop: 39944.436 PropClause: 39133.979 Set: 5924.009 Check: 0.0 Back: 782.326
INFO - Atoms: 43365/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 414 Props: 32304967 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.405 Prop: 39972.641 PropClause: 39161.12 Set: 5930.404 Check: 0.0 Back: 783.434
INFO - Atoms: 43223/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 415 Props: 32348006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.412 Prop: 40000.099 PropClause: 39187.518 Set: 5936.73 Check: 0.0 Back: 784.586
INFO - Atoms: 43039/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 32390903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.419 Prop: 40027.898 PropClause: 39214.261 Set: 5943.033 Check: 0.0 Back: 785.681
INFO - Atoms: 42897/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 32433616 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.426 Prop: 40055.341 PropClause: 39240.652 Set: 5949.368 Check: 0.0 Back: 786.791
INFO - Atoms: 42713/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 418 Props: 32476185 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.433 Prop: 40083.804 PropClause: 39268.074 Set: 5955.604 Check: 0.0 Back: 787.849
INFO - Atoms: 42569/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 419 Props: 32518570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.44 Prop: 40110.664 PropClause: 39293.895 Set: 5961.798 Check: 0.0 Back: 788.949
INFO - Atoms: 42385/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 420 Props: 32560815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.446 Prop: 40138.247 PropClause: 39320.439 Set: 5967.992 Check: 0.0 Back: 790.026
INFO - Atoms: 42245/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 421 Props: 32602876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.453 Prop: 40165.794 PropClause: 39346.952 Set: 5974.175 Check: 0.0 Back: 791.126
INFO - Atoms: 42061/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 32644795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.46 Prop: 40192.524 PropClause: 39372.652 Set: 5980.287 Check: 0.0 Back: 792.209
INFO - Atoms: 41919/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 423 Props: 32686528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.467 Prop: 40218.391 PropClause: 39397.498 Set: 5986.333 Check: 0.0 Back: 793.301
INFO - Atoms: 41733/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 32728119 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.474 Prop: 40244.677 PropClause: 39422.762 Set: 5992.366 Check: 0.0 Back: 794.385
INFO - Atoms: 41591/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 425 Props: 32769528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.48 Prop: 40270.299 PropClause: 39447.371 Set: 5998.405 Check: 0.0 Back: 795.454
INFO - Atoms: 41409/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 32810795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.495 Prop: 40295.413 PropClause: 39471.457 Set: 6004.362 Check: 0.0 Back: 796.524
INFO - Atoms: 41267/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 427 Props: 32851899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.502 Prop: 40320.923 PropClause: 39495.956 Set: 6010.361 Check: 0.0 Back: 797.598
INFO - Atoms: 41104/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 428 Props: 32892446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.51 Prop: 40346.015 PropClause: 39520.058 Set: 6016.153 Check: 0.0 Back: 798.674
INFO - Atoms: 40547/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 429 Props: 32932811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.517 Prop: 40369.814 PropClause: 39542.864 Set: 6021.968 Check: 0.0 Back: 799.714
INFO - Atoms: 40365/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 32973034 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.524 Prop: 40393.193 PropClause: 39565.255 Set: 6027.732 Check: 0.0 Back: 800.754
INFO - Atoms: 40223/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 431 Props: 33013073 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.53 Prop: 40416.595 PropClause: 39587.683 Set: 6033.446 Check: 0.0 Back: 801.814
INFO - Atoms: 40039/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 432 Props: 33052970 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.537 Prop: 40439.27 PropClause: 39609.374 Set: 6039.104 Check: 0.0 Back: 802.841
INFO - Atoms: 39897/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 433 Props: 33092683 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.543 Prop: 40463.337 PropClause: 39632.468 Set: 6044.81 Check: 0.0 Back: 803.887
INFO - Atoms: 39713/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 33132254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.551 Prop: 40486.235 PropClause: 39654.382 Set: 6050.457 Check: 0.0 Back: 804.923
INFO - Atoms: 39571/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 435 Props: 33171641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.558 Prop: 40509.806 PropClause: 39676.982 Set: 6056.125 Check: 0.0 Back: 805.946
INFO - Atoms: 39387/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 33210886 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.564 Prop: 40532.79 PropClause: 39699.002 Set: 6061.644 Check: 0.0 Back: 806.977
INFO - Atoms: 39245/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 437 Props: 33249947 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.572 Prop: 40555.577 PropClause: 39720.83 Set: 6067.241 Check: 0.0 Back: 807.981
INFO - Atoms: 39061/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 33288866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.579 Prop: 40577.689 PropClause: 39741.985 Set: 6072.755 Check: 0.0 Back: 808.997
INFO - Atoms: 38919/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 439 Props: 33327601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.587 Prop: 40600.578 PropClause: 39763.927 Set: 6078.276 Check: 0.0 Back: 810.006
INFO - Atoms: 38735/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 440 Props: 33366194 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.594 Prop: 40624.053 PropClause: 39786.447 Set: 6083.784 Check: 0.0 Back: 811.03
INFO - Atoms: 38593/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 441 Props: 33404603 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.6 Prop: 40647.108 PropClause: 39808.564 Set: 6089.233 Check: 0.0 Back: 812.058
INFO - Atoms: 38409/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 442 Props: 33442870 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.608 Prop: 40669.354 PropClause: 39829.869 Set: 6094.649 Check: 0.0 Back: 813.052
INFO - Atoms: 38267/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 443 Props: 33480953 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.615 Prop: 40689.804 PropClause: 39849.384 Set: 6100.035 Check: 0.0 Back: 814.059
INFO - Atoms: 38083/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 33518894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.622 Prop: 40711.228 PropClause: 39869.851 Set: 6105.424 Check: 0.0 Back: 815.063
INFO - Atoms: 37941/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 445 Props: 33556651 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.631 Prop: 40732.389 PropClause: 39890.083 Set: 6110.78 Check: 0.0 Back: 816.09
INFO - Atoms: 37757/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 446 Props: 33594266 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.638 Prop: 40754.332 PropClause: 39911.104 Set: 6116.092 Check: 0.0 Back: 817.073
INFO - Atoms: 37615/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 447 Props: 33631697 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.646 Prop: 40774.462 PropClause: 39930.313 Set: 6121.381 Check: 0.0 Back: 818.054
INFO - Atoms: 37431/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 33668986 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.653 Prop: 40795.28 PropClause: 39950.214 Set: 6126.618 Check: 0.0 Back: 819.032
INFO - Atoms: 37289/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 449 Props: 33706091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.66 Prop: 40813.83 PropClause: 39967.855 Set: 6131.804 Check: 0.0 Back: 820.022
INFO - Atoms: 37105/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 450 Props: 33743033 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.667 Prop: 40833.747 PropClause: 39986.865 Set: 6136.974 Check: 0.0 Back: 820.96
INFO - Atoms: 36942/110910 Clauses: 1361 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 950 Props: 35720847 Tprops: 0 Decides: 7369 RSplits: 0
INFO - Times: Expl: 1262.666 Prop: 42770.621 PropClause: 41866.742 Set: 6189.597 Check: 0.194 Back: 869.228
INFO - Atoms: 36385/110910 Clauses: 1860 Axioms: 366530
INFO - Restart
INFO - Confl: 1450 Props: 37127154 Tprops: 0 Decides: 11124 RSplits: 0
INFO - Times: Expl: 1923.536 Prop: 44053.117 PropClause: 43109.397 Set: 6223.704 Check: 0.3 Back: 902.831
INFO - Atoms: 36388/110910 Clauses: 2360 Axioms: 366530
INFO - Confl: 2005 Props: 38299706 Tprops: 0 Decides: 13558 RSplits: 0
INFO - Times: Expl: 2394.801 Prop: 45001.925 PropClause: 44026.072 Set: 6251.654 Check: 0.372 Back: 930.165
INFO - Atoms: 37637/110910 Clauses: 2915 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2505 Props: 39969803 Tprops: 0 Decides: 18346 RSplits: 0
INFO - Times: Expl: 3429.186 Prop: 46592.789 PropClause: 45572.256 Set: 6295.171 Check: 0.496 Back: 969.117
INFO - Atoms: 36386/110910 Clauses: 1864 Axioms: 366530
INFO - Restart
INFO - Confl: 3005 Props: 41390282 Tprops: 0 Decides: 22003 RSplits: 0
INFO - Times: Expl: 3943.151 Prop: 47750.038 PropClause: 46691.769 Set: 6328.294 Check: 0.596 Back: 1002.038
INFO - Atoms: 36386/110910 Clauses: 2364 Axioms: 366530
INFO - Confl: 3670 Props: 42666941 Tprops: 0 Decides: 24726 RSplits: 0
INFO - Times: Expl: 4417.973 Prop: 48722.866 PropClause: 47631.18 Set: 6358.423 Check: 0.671 Back: 1031.524
INFO - Atoms: 38271/110910 Clauses: 3029 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4170 Props: 44274944 Tprops: 0 Decides: 28524 RSplits: 0
INFO - Times: Expl: 6180.291 Prop: 50293.567 PropClause: 49158.342 Set: 6400.625 Check: 0.782 Back: 1068.528
INFO - Atoms: 36385/110910 Clauses: 1866 Axioms: 366530
INFO - Restart
INFO - Confl: 4670 Props: 45739449 Tprops: 0 Decides: 32357 RSplits: 0
INFO - Times: Expl: 6755.311 Prop: 51662.268 PropClause: 50486.74 Set: 6435.561 Check: 0.885 Back: 1102.902
INFO - Atoms: 36388/110910 Clauses: 2366 Axioms: 366530
INFO - Confl: 5192 Props: 46934728 Tprops: 0 Decides: 34887 RSplits: 0
INFO - Times: Expl: 7251.79 Prop: 52663.454 PropClause: 51455.213 Set: 6464.407 Check: 0.953 Back: 1131.052
INFO - Atoms: 37351/110910 Clauses: 2888 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5692 Props: 48802399 Tprops: 0 Decides: 39788 RSplits: 0
INFO - Times: Expl: 8277.387 Prop: 54396.93 PropClause: 53139.58 Set: 6512.012 Check: 1.078 Back: 1173.782
INFO - Atoms: 36385/110910 Clauses: 1866 Axioms: 366530
INFO - Restart
INFO - Confl: 6192 Props: 49947985 Tprops: 0 Decides: 42622 RSplits: 0
INFO - Times: Expl: 8725.48 Prop: 55290.495 PropClause: 54002.929 Set: 6538.81 Check: 1.151 Back: 1200.16
INFO - Atoms: 36390/110910 Clauses: 2366 Axioms: 366530
INFO - Confl: 6796 Props: 51340105 Tprops: 0 Decides: 45734 RSplits: 0
INFO - Times: Expl: 9357.43 Prop: 56496.011 PropClause: 55169.681 Set: 6572.757 Check: 1.24 Back: 1233.295
INFO - Atoms: 37265/110910 Clauses: 2970 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 7296 Props: 52895214 Tprops: 0 Decides: 49021 RSplits: 0
INFO - Times: Expl: 10493.013 Prop: 57967.568 PropClause: 56600.398 Set: 6613.323 Check: 1.332 Back: 1269.038
INFO - Atoms: 36385/110910 Clauses: 1868 Axioms: 366530
INFO - Restart
INFO - Confl: 7796 Props: 54140520 Tprops: 0 Decides: 52360 RSplits: 0
INFO - Times: Expl: 10964.517 Prop: 60627.542 PropClause: 59227.416 Set: 6642.283 Check: 1.418 Back: 1297.557
INFO - Atoms: 36387/110910 Clauses: 2368 Axioms: 366530
INFO - Confl: 8345 Props: 55367540 Tprops: 0 Decides: 54812 RSplits: 0
INFO - Times: Expl: 11455.138 Prop: 61558.247 PropClause: 60126.177 Set: 6671.131 Check: 1.486 Back: 1325.628
INFO - Atoms: 37761/110910 Clauses: 2917 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 8845 Props: 56724091 Tprops: 0 Decides: 58028 RSplits: 0
INFO - Times: Expl: 13170.924 Prop: 62823.448 PropClause: 61355.691 Set: 6707.138 Check: 1.578 Back: 1356.685
INFO - Atoms: 36385/110910 Clauses: 1868 Axioms: 366530
INFO - Restart
INFO - Confl: 9345 Props: 57797062 Tprops: 0 Decides: 60562 RSplits: 0
INFO - Times: Expl: 13602.893 Prop: 63693.608 PropClause: 62197.881 Set: 6732.024 Check: 1.645 Back: 1381.204
INFO - Atoms: 36387/110910 Clauses: 2368 Axioms: 366530
INFO - Confl: 10344 Props: 60048236 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.177 Prop: 65445.696 PropClause: 63891.589 Set: 6784.179 Check: 1.776 Back: 1432.355
INFO - Atoms: 37839/110910 Clauses: 3367 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10345 Props: 60094685 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.275 Prop: 65522.188 PropClause: 63966.697 Set: 6802.368 Check: 1.776 Back: 1433.223
INFO - Atoms: 46449/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10346 Props: 60141291 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.308 Prop: 65552.337 PropClause: 63995.71 Set: 6809.419 Check: 1.776 Back: 1434.338
INFO - Atoms: 46606/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10347 Props: 60188059 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.314 Prop: 65585.016 PropClause: 64027.247 Set: 6816.624 Check: 1.776 Back: 1435.463
INFO - Atoms: 46768/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10348 Props: 60235002 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.32 Prop: 65617.379 PropClause: 64058.466 Set: 6823.784 Check: 1.776 Back: 1436.587
INFO - Atoms: 46943/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10349 Props: 60282253 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.325 Prop: 65648.959 PropClause: 64088.896 Set: 6831.036 Check: 1.776 Back: 1437.716
INFO - Atoms: 47251/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10350 Props: 60340830 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.33 Prop: 65695.865 PropClause: 64134.37 Set: 6840.525 Check: 1.776 Back: 1438.862
INFO - Atoms: 58577/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10351 Props: 60399424 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.335 Prop: 65752.021 PropClause: 64189.058 Set: 6849.97 Check: 1.776 Back: 1440.251
INFO - Atoms: 58594/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10352 Props: 60458317 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.34 Prop: 65805.88 PropClause: 64241.484 Set: 6859.451 Check: 1.776 Back: 1441.652
INFO - Atoms: 58893/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10353 Props: 60517251 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.345 Prop: 65860.813 PropClause: 64294.953 Set: 6979.857 Check: 1.776 Back: 1443.029
INFO - Atoms: 58934/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10354 Props: 60576328 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.35 Prop: 65914.021 PropClause: 64346.719 Set: 6989.354 Check: 1.776 Back: 1444.425
INFO - Atoms: 59077/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10355 Props: 60635246 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.356 Prop: 65967.954 PropClause: 64399.19 Set: 6998.791 Check: 1.776 Back: 1445.825
INFO - Atoms: 58918/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10356 Props: 60694981 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.487 Prop: 66023.516 PropClause: 64453.02 Set: 7008.413 Check: 1.776 Back: 1447.221
INFO - Atoms: 59735/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10357 Props: 60755042 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.518 Prop: 66074.54 PropClause: 64502.325 Set: 7017.992 Check: 1.776 Back: 1448.628
INFO - Atoms: 60061/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10358 Props: 60815423 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.528 Prop: 66132.581 PropClause: 64558.654 Set: 7027.895 Check: 1.776 Back: 1450.041
INFO - Atoms: 60381/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10359 Props: 60877724 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.538 Prop: 66196.915 PropClause: 64621.436 Set: 7038.383 Check: 1.776 Back: 1451.471
INFO - Atoms: 62301/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10360 Props: 60953430 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.549 Prop: 66270.394 PropClause: 64693.043 Set: 7051.346 Check: 1.776 Back: 1452.95
INFO - Atoms: 75706/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10361 Props: 61029301 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.559 Prop: 66353.41 PropClause: 64774.211 Set: 7108.4 Check: 1.776 Back: 1454.737
INFO - Atoms: 75871/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10362 Props: 61105324 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.568 Prop: 66438.223 PropClause: 64857.18 Set: 7121.257 Check: 1.776 Back: 1456.517
INFO - Atoms: 76023/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10363 Props: 61181521 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.579 Prop: 66523.072 PropClause: 64940.182 Set: 7134.125 Check: 1.776 Back: 1458.309
INFO - Atoms: 76197/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10364 Props: 61257881 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.589 Prop: 66608.846 PropClause: 65024.101 Set: 7146.976 Check: 1.776 Back: 1460.087
INFO - Atoms: 76360/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10365 Props: 61334395 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.599 Prop: 66692.08 PropClause: 65105.477 Set: 7159.848 Check: 1.776 Back: 1461.888
INFO - Atoms: 76514/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10366 Props: 61411082 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.609 Prop: 66771.069 PropClause: 65182.606 Set: 7172.719 Check: 1.776 Back: 1463.684
INFO - Atoms: 76687/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10367 Props: 61487916 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.618 Prop: 66851.341 PropClause: 65261.017 Set: 7185.626 Check: 1.776 Back: 1465.485
INFO - Atoms: 76834/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10368 Props: 61564921 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.627 Prop: 66934.035 PropClause: 65341.822 Set: 7198.552 Check: 1.776 Back: 1467.289
INFO - Atoms: 77005/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10369 Props: 61642097 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.638 Prop: 67023.311 PropClause: 65429.222 Set: 7211.739 Check: 1.776 Back: 1469.101
INFO - Atoms: 77176/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10370 Props: 61719420 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.648 Prop: 67106.11 PropClause: 65510.144 Set: 7224.667 Check: 1.776 Back: 1470.918
INFO - Atoms: 77323/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10371 Props: 61796910 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.657 Prop: 67187.926 PropClause: 65590.08 Set: 7237.746 Check: 1.776 Back: 1472.738
INFO - Atoms: 77490/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10372 Props: 61874573 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.666 Prop: 67265.117 PropClause: 65665.391 Set: 7250.602 Check: 1.776 Back: 1474.553
INFO - Atoms: 77663/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10373 Props: 61952402 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.676 Prop: 67345.662 PropClause: 65744.035 Set: 7263.778 Check: 1.776 Back: 1476.357
INFO - Atoms: 77829/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10374 Props: 62030520 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.685 Prop: 67425.237 PropClause: 65821.721 Set: 7276.763 Check: 1.776 Back: 1478.249
INFO - Atoms: 78118/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10375 Props: 62108676 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.695 Prop: 67505.94 PropClause: 65900.521 Set: 7289.852 Check: 1.776 Back: 1480.071
INFO - Atoms: 78156/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10376 Props: 62187134 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.705 Prop: 67589.943 PropClause: 65982.617 Set: 7303.073 Check: 1.776 Back: 1481.933
INFO - Atoms: 78458/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10377 Props: 62265604 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.715 Prop: 67669.694 PropClause: 66060.456 Set: 7316.209 Check: 1.776 Back: 1483.775
INFO - Atoms: 78470/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10378 Props: 62344247 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.724 Prop: 67750.178 PropClause: 66139.034 Set: 7329.282 Check: 1.776 Back: 1485.605
INFO - Atoms: 78643/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10379 Props: 62423045 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.734 Prop: 67830.727 PropClause: 66217.675 Set: 7342.482 Check: 1.776 Back: 1487.43
INFO - Atoms: 78798/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10380 Props: 62501998 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.745 Prop: 67910.69 PropClause: 66295.649 Set: 7355.613 Check: 1.776 Back: 1489.27
INFO - Atoms: 78953/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10381 Props: 62581114 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.755 Prop: 67992.581 PropClause: 66375.589 Set: 7368.911 Check: 1.776 Back: 1491.101
INFO - Atoms: 79116/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10382 Props: 62660407 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.765 Prop: 68076.071 PropClause: 66457.161 Set: 7382.178 Check: 1.776 Back: 1492.962
INFO - Atoms: 79293/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10383 Props: 62739857 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.775 Prop: 68159.74 PropClause: 66538.88 Set: 7395.464 Check: 1.776 Back: 1494.818
INFO - Atoms: 79450/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10384 Props: 62819464 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.784 Prop: 68243.734 PropClause: 66620.939 Set: 7408.818 Check: 1.776 Back: 1496.677
INFO - Atoms: 79607/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10385 Props: 62899233 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.795 Prop: 68329.985 PropClause: 66705.24 Set: 7422.329 Check: 1.776 Back: 1498.539
INFO - Atoms: 79769/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10386 Props: 62979170 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.805 Prop: 68413.797 PropClause: 66787.118 Set: 7435.635 Check: 1.776 Back: 1500.403
INFO - Atoms: 79937/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 16901 Tprops: 2216 Decides: 171459 RSplits: 0
INFO - Times: Expl: 703.559 Prop: 159480.469 PropClause: 20.829 Set: 29624.701 Check: 2099.312 Back: 283.805
INFO - Atoms: 19/1923 Clauses: 500 Axioms: 1923
INFO - CCTimes: iE 1714125 eq 79923111 cc 431272284 setRep 239238848
INFO - Merges: 1281975, cc:3469790
INFO - BVTimes: BB 372756415 BB_DPLL 147643913168 Graph 1267538372
INFO - BitBlastingClauses: 1043810 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 10387 Props: 63059402 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.815 Prop: 68501.728 PropClause: 66873.096 Set: 7449.285 Check: 1.776 Back: 1502.267
INFO - Atoms: 80232/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10388 Props: 63139797 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.825 Prop: 68588.893 PropClause: 66958.307 Set: 7462.826 Check: 1.776 Back: 1504.146
INFO - Atoms: 80395/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10389 Props: 63220217 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.835 Prop: 68679.057 PropClause: 67046.522 Set: 7476.893 Check: 1.776 Back: 1506.033
INFO - Atoms: 80420/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10390 Props: 63300802 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.845 Prop: 68769.841 PropClause: 67135.349 Set: 7490.491 Check: 1.776 Back: 1507.908
INFO - Atoms: 80585/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10391 Props: 63381548 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.924 Prop: 68887.202 PropClause: 67250.742 Set: 7504.52 Check: 1.776 Back: 1509.787
INFO - Atoms: 80746/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10392 Props: 63462614 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.958 Prop: 68977.792 PropClause: 67339.347 Set: 7518.302 Check: 1.776 Back: 1511.689
INFO - Atoms: 81066/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10393 Props: 63543700 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.964 Prop: 69066.222 PropClause: 67425.783 Set: 7531.99 Check: 1.776 Back: 1513.618
INFO - Atoms: 81086/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10394 Props: 63624936 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.971 Prop: 69154.125 PropClause: 67511.709 Set: 7545.689 Check: 1.776 Back: 1515.536
INFO - Atoms: 81236/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10395 Props: 63706497 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.977 Prop: 69243.102 PropClause: 67598.709 Set: 7559.459 Check: 1.776 Back: 1517.427
INFO - Atoms: 81561/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10396 Props: 63788237 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.983 Prop: 69333.455 PropClause: 67687.069 Set: 7573.289 Check: 1.776 Back: 1519.363
INFO - Atoms: 81740/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10397 Props: 63870140 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.989 Prop: 69424.287 PropClause: 67775.902 Set: 7587.142 Check: 1.776 Back: 1521.322
INFO - Atoms: 81903/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10398 Props: 63952190 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14481.995 Prop: 69515.069 PropClause: 67864.682 Set: 7601.114 Check: 1.776 Back: 1523.236
INFO - Atoms: 82050/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10399 Props: 64034418 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.002 Prop: 69608.672 PropClause: 67956.275 Set: 7615.153 Check: 1.776 Back: 1525.148
INFO - Atoms: 82228/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10400 Props: 64116809 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.007 Prop: 69700.504 PropClause: 68046.091 Set: 7629.03 Check: 1.776 Back: 1527.081
INFO - Atoms: 82391/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10401 Props: 64199364 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.013 Prop: 69793.884 PropClause: 68137.463 Set: 7643.178 Check: 1.776 Back: 1528.992
INFO - Atoms: 82555/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10402 Props: 64282083 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.019 Prop: 69890.369 PropClause: 68231.917 Set: 7657.361 Check: 1.776 Back: 1530.947
INFO - Atoms: 82719/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10403 Props: 64364948 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.025 Prop: 69982.44 PropClause: 68321.957 Set: 7671.598 Check: 1.776 Back: 1532.903
INFO - Atoms: 82865/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10404 Props: 64447976 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.031 Prop: 70072.683 PropClause: 68410.162 Set: 7685.661 Check: 1.776 Back: 1534.838
INFO - Atoms: 83028/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10405 Props: 64531181 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.037 Prop: 70159.852 PropClause: 68495.326 Set: 7699.509 Check: 1.776 Back: 1536.77
INFO - Atoms: 83205/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10406 Props: 64614543 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.044 Prop: 70252.653 PropClause: 68586.079 Set: 7713.489 Check: 1.776 Back: 1538.691
INFO - Atoms: 83362/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10407 Props: 64698060 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.05 Prop: 70341.471 PropClause: 68672.855 Set: 7727.866 Check: 1.776 Back: 1540.612
INFO - Atoms: 83517/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10408 Props: 64781750 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.056 Prop: 70436.887 PropClause: 68766.24 Set: 7742.1 Check: 1.776 Back: 1542.594
INFO - Atoms: 83690/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10409 Props: 64865608 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.063 Prop: 70528.541 PropClause: 68855.852 Set: 7756.393 Check: 1.776 Back: 1544.542
INFO - Atoms: 83858/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10410 Props: 64949628 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.069 Prop: 70618.456 PropClause: 68943.718 Set: 7770.532 Check: 1.776 Back: 1546.497
INFO - Atoms: 84020/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10411 Props: 65033807 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.076 Prop: 70707.071 PropClause: 69030.269 Set: 7784.624 Check: 1.776 Back: 1548.444
INFO - Atoms: 84179/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10412 Props: 65118140 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.082 Prop: 70799.023 PropClause: 69120.116 Set: 7799.077 Check: 1.776 Back: 1550.408
INFO - Atoms: 84333/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10413 Props: 65202778 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.088 Prop: 70888.535 PropClause: 69207.58 Set: 7813.274 Check: 1.776 Back: 1552.399
INFO - Atoms: 84638/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10414 Props: 65287437 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.095 Prop: 70978.015 PropClause: 69295.0 Set: 7827.495 Check: 1.776 Back: 1554.359
INFO - Atoms: 84659/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10415 Props: 65372260 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.101 Prop: 71068.799 PropClause: 69383.726 Set: 7841.796 Check: 1.776 Back: 1556.317
INFO - Atoms: 84823/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10416 Props: 65457244 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.107 Prop: 71163.728 PropClause: 69476.585 Set: 7856.206 Check: 1.776 Back: 1558.323
INFO - Atoms: 84984/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10417 Props: 65542536 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.114 Prop: 71259.476 PropClause: 69570.254 Set: 7870.847 Check: 1.776 Back: 1560.311
INFO - Atoms: 85292/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10418 Props: 65627848 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.119 Prop: 71354.998 PropClause: 69663.702 Set: 7885.317 Check: 1.776 Back: 1562.302
INFO - Atoms: 85312/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10419 Props: 65713329 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.127 Prop: 71448.793 PropClause: 69755.42 Set: 7899.756 Check: 1.776 Back: 1564.283
INFO - Atoms: 85481/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10420 Props: 65798982 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.132 Prop: 71545.45 PropClause: 69850.011 Set: 7914.166 Check: 1.776 Back: 1566.267
INFO - Atoms: 85653/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10421 Props: 65884783 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.138 Prop: 71642.848 PropClause: 69945.327 Set: 7928.706 Check: 1.776 Back: 1568.262
INFO - Atoms: 85801/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10422 Props: 65970760 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.145 Prop: 71738.698 PropClause: 70039.103 Set: 7943.234 Check: 1.776 Back: 1570.259
INFO - Atoms: 85977/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10423 Props: 66057048 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.151 Prop: 71838.43 PropClause: 70136.745 Set: 7958.004 Check: 1.776 Back: 1572.255
INFO - Atoms: 86288/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10424 Props: 66143515 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.157 Prop: 71935.256 PropClause: 70231.486 Set: 7972.567 Check: 1.776 Back: 1574.272
INFO - Atoms: 86467/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10425 Props: 66230129 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.163 Prop: 72036.038 PropClause: 70330.158 Set: 7987.229 Check: 1.776 Back: 1576.278
INFO - Atoms: 86614/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10426 Props: 66316906 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.169 Prop: 72132.899 PropClause: 70424.929 Set: 8001.886 Check: 1.776 Back: 1578.308
INFO - Atoms: 86777/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10427 Props: 66403846 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.175 Prop: 72231.786 PropClause: 70521.723 Set: 8016.671 Check: 1.776 Back: 1580.317
INFO - Atoms: 86940/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10428 Props: 66490957 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.18 Prop: 72329.856 PropClause: 70617.701 Set: 8031.374 Check: 1.776 Back: 1582.337
INFO - Atoms: 87111/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10429 Props: 66578238 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.186 Prop: 72429.834 PropClause: 70715.574 Set: 8046.285 Check: 1.776 Back: 1584.348
INFO - Atoms: 87281/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10430 Props: 66665671 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.191 Prop: 72531.819 PropClause: 70815.452 Set: 8061.142 Check: 1.776 Back: 1586.367
INFO - Atoms: 87433/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10431 Props: 66753280 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.197 Prop: 72634.308 PropClause: 70915.815 Set: 8076.096 Check: 1.776 Back: 1588.397
INFO - Atoms: 87609/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10432 Props: 66841036 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.203 Prop: 72732.772 PropClause: 71012.169 Set: 8090.881 Check: 1.776 Back: 1590.5
INFO - Atoms: 87756/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10433 Props: 66928966 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.209 Prop: 72831.222 PropClause: 71108.487 Set: 8105.773 Check: 1.776 Back: 1592.524
INFO - Atoms: 87930/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10434 Props: 67017062 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.215 Prop: 72928.498 PropClause: 71203.609 Set: 8120.647 Check: 1.776 Back: 1594.561
INFO - Atoms: 88096/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10435 Props: 67105312 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.221 Prop: 73030.05 PropClause: 71303.029 Set: 8135.655 Check: 1.776 Back: 1596.592
INFO - Atoms: 88250/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10436 Props: 67193735 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.227 Prop: 73126.723 PropClause: 71397.576 Set: 8150.552 Check: 1.776 Back: 1598.641
INFO - Atoms: 88423/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10437 Props: 67282315 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.231 Prop: 73222.776 PropClause: 71491.496 Set: 8165.401 Check: 1.776 Back: 1600.676
INFO - Atoms: 88580/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10438 Props: 67371048 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.237 Prop: 73322.726 PropClause: 71589.303 Set: 8180.31 Check: 1.776 Back: 1602.708
INFO - Atoms: 88733/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10439 Props: 67460101 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.242 Prop: 73419.076 PropClause: 71683.51 Set: 8195.25 Check: 1.776 Back: 1604.771
INFO - Atoms: 89053/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10440 Props: 67549160 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.247 Prop: 73514.515 PropClause: 71776.811 Set: 8210.138 Check: 1.776 Back: 1606.827
INFO - Atoms: 89059/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10441 Props: 67638398 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.253 Prop: 73612.303 PropClause: 71872.441 Set: 8225.162 Check: 1.776 Back: 1608.876
INFO - Atoms: 89238/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10442 Props: 67727783 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.259 Prop: 73709.128 PropClause: 71967.108 Set: 8240.176 Check: 1.776 Back: 1610.926
INFO - Atoms: 89385/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10443 Props: 67817332 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.266 Prop: 73810.457 PropClause: 72066.275 Set: 8255.379 Check: 1.776 Back: 1613.0
INFO - Atoms: 89549/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10444 Props: 67907043 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.272 Prop: 73907.33 PropClause: 72160.977 Set: 8270.391 Check: 1.776 Back: 1615.068
INFO - Atoms: 89711/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10445 Props: 67996917 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.277 Prop: 74007.631 PropClause: 72259.119 Set: 8285.496 Check: 1.776 Back: 1617.146
INFO - Atoms: 89874/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10446 Props: 68086972 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.283 Prop: 74106.852 PropClause: 72356.177 Set: 8300.669 Check: 1.776 Back: 1619.216
INFO - Atoms: 90055/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10447 Props: 68177173 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.289 Prop: 74205.444 PropClause: 72452.588 Set: 8315.793 Check: 1.776 Back: 1621.289
INFO - Atoms: 90201/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10448 Props: 68267542 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.294 Prop: 74308.02 PropClause: 72552.993 Set: 8331.16 Check: 1.776 Back: 1623.363
INFO - Atoms: 90369/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10449 Props: 68358078 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.301 Prop: 74410.278 PropClause: 72653.077 Set: 8346.471 Check: 1.776 Back: 1625.452
INFO - Atoms: 90536/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10450 Props: 68448924 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.307 Prop: 74526.125 PropClause: 72766.708 Set: 8362.461 Check: 1.776 Back: 1627.533
INFO - Atoms: 90846/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10451 Props: 68539790 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.313 Prop: 74631.152 PropClause: 72869.539 Set: 8377.939 Check: 1.776 Back: 1629.661
INFO - Atoms: 90866/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10452 Props: 68630805 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.318 Prop: 74736.262 PropClause: 72972.458 Set: 8393.373 Check: 1.776 Back: 1631.755
INFO - Atoms: 91015/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10453 Props: 68721998 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.324 Prop: 74843.372 PropClause: 73077.36 Set: 8408.993 Check: 1.776 Back: 1633.872
INFO - Atoms: 91193/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10454 Props: 68813353 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.329 Prop: 74948.445 PropClause: 73180.223 Set: 8424.561 Check: 1.776 Back: 1635.986
INFO - Atoms: 91355/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10455 Props: 68904857 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.336 Prop: 75058.096 PropClause: 73287.668 Set: 8440.257 Check: 1.776 Back: 1638.098
INFO - Atoms: 91504/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10456 Props: 68996534 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.341 Prop: 75165.53 PropClause: 73392.886 Set: 8455.893 Check: 1.776 Back: 1640.209
INFO - Atoms: 91677/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10457 Props: 69088366 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.347 Prop: 75272.315 PropClause: 73497.445 Set: 8471.567 Check: 1.776 Back: 1642.331
INFO - Atoms: 91832/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10458 Props: 69186912 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.353 Prop: 75389.81 PropClause: 73612.545 Set: 8488.479 Check: 1.776 Back: 1644.459
INFO - Atoms: 98546/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10459 Props: 69285621 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.359 Prop: 75503.036 PropClause: 73723.393 Set: 8505.336 Check: 1.776 Back: 1646.753
INFO - Atoms: 98709/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10460 Props: 69384479 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.365 Prop: 75621.01 PropClause: 73838.981 Set: 8522.241 Check: 1.776 Back: 1649.03
INFO - Atoms: 98858/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10461 Props: 69483640 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.371 Prop: 75736.225 PropClause: 73951.797 Set: 8539.351 Check: 1.776 Back: 1651.317
INFO - Atoms: 99161/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10462 Props: 69582966 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.379 Prop: 75849.954 PropClause: 74063.138 Set: 8556.29 Check: 1.776 Back: 1653.588
INFO - Atoms: 99326/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10463 Props: 69682327 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.386 Prop: 75975.194 PropClause: 74185.964 Set: 8573.609 Check: 1.776 Back: 1655.883
INFO - Atoms: 99361/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10464 Props: 69774114 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.392 Prop: 76091.887 PropClause: 74300.428 Set: 8589.374 Check: 1.776 Back: 1658.21
INFO - Atoms: 91787/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10465 Props: 69849400 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.398 Prop: 76193.924 PropClause: 74400.491 Set: 8608.222 Check: 1.776 Back: 1660.362
INFO - Atoms: 75286/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10466 Props: 69924702 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.404 Prop: 76278.032 PropClause: 74482.756 Set: 8621.082 Check: 1.776 Back: 1662.132
INFO - Atoms: 75302/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10467 Props: 70016495 Tprops: 0 Decides: 65320 RSplits: 0
INFO - Times: Expl: 14482.41 Prop: 76378.124 PropClause: 74580.604 Set: 8637.53 Check: 1.776 Back: 1663.919
INFO - Atoms: 91793/110910 Clauses: 1370 Axioms: 366530
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 678 Props: 116193 Tprops: 7476 Decides: 187775 RSplits: 0
INFO - Times: Expl: 842.023 Prop: 179683.904 PropClause: 56.617 Set: 41299.709 Check: 2332.452 Back: 542.694
INFO - Atoms: 1693/1923 Clauses: 678 Axioms: 1923
INFO - CCTimes: iE 2060918 eq 93277963 cc 509710760 setRep 291620550
INFO - Merges: 1579062, cc:5224501
INFO - BVTimes: BB 372756415 BB_DPLL 165822397894 Graph 1350627123
INFO - BitBlastingClauses: 1153970 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat