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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 419727995
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 95290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.621 Prop: 161.198 PropClause: 155.634 Set: 81.07 Check: 0.0 Back: 0.0
INFO - Atoms: 95290/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 190580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.69 Prop: 327.923 PropClause: 318.26 Set: 258.273 Check: 0.0 Back: 2.382
INFO - Atoms: 95290/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 285859 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.756 Prop: 484.451 PropClause: 470.789 Set: 283.784 Check: 0.0 Back: 4.904
INFO - Atoms: 95279/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 381134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.841 Prop: 603.484 PropClause: 587.439 Set: 303.09 Check: 0.0 Back: 7.324
INFO - Atoms: 95275/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 476400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.89 Prop: 714.109 PropClause: 695.701 Set: 332.308 Check: 0.0 Back: 9.885
INFO - Atoms: 95266/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 571349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.939 Prop: 829.213 PropClause: 808.441 Set: 351.509 Check: 0.0 Back: 12.495
INFO - Atoms: 94949/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 666291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.987 Prop: 940.569 PropClause: 917.438 Set: 370.619 Check: 0.0 Back: 14.984
INFO - Atoms: 94942/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 761228 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.04 Prop: 1061.989 PropClause: 1036.489 Set: 389.873 Check: 0.0 Back: 17.536
INFO - Atoms: 94937/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 855849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.086 Prop: 1173.338 PropClause: 1145.487 Set: 408.817 Check: 0.0 Back: 20.033
INFO - Atoms: 94621/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 950328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.134 Prop: 1284.49 PropClause: 1254.284 Set: 427.571 Check: 0.0 Back: 22.584
INFO - Atoms: 94479/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 1044625 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.185 Prop: 1391.663 PropClause: 1359.118 Set: 448.596 Check: 0.0 Back: 25.036
INFO - Atoms: 94297/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 1138780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.232 Prop: 1500.818 PropClause: 1465.947 Set: 476.108 Check: 0.0 Back: 27.576
INFO - Atoms: 94155/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1232749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.307 Prop: 1607.786 PropClause: 1570.578 Set: 502.99 Check: 0.0 Back: 30.064
INFO - Atoms: 93969/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 1326714 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.352 Prop: 1718.241 PropClause: 1678.715 Set: 521.581 Check: 0.0 Back: 32.557
INFO - Atoms: 93965/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 1420514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.402 Prop: 1857.064 PropClause: 1814.81 Set: 546.849 Check: 0.0 Back: 35.0
INFO - Atoms: 93800/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1514096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.446 Prop: 1965.785 PropClause: 1921.225 Set: 565.441 Check: 0.0 Back: 37.442
INFO - Atoms: 93582/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 1607494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.489 Prop: 2075.072 PropClause: 2028.212 Set: 583.946 Check: 0.0 Back: 39.843
INFO - Atoms: 93398/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 1700748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.531 Prop: 2184.863 PropClause: 2135.695 Set: 602.341 Check: 0.0 Back: 42.353
INFO - Atoms: 93254/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 1793820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.578 Prop: 2295.416 PropClause: 2243.876 Set: 621.007 Check: 0.0 Back: 44.768
INFO - Atoms: 93072/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 1886750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.631 Prop: 2416.669 PropClause: 2362.787 Set: 640.324 Check: 0.0 Back: 47.266
INFO - Atoms: 92930/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 1979496 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.678 Prop: 2526.208 PropClause: 2470.028 Set: 658.763 Check: 0.0 Back: 49.849
INFO - Atoms: 92746/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 2072078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.727 Prop: 2640.246 PropClause: 2581.768 Set: 677.21 Check: 0.0 Back: 52.422
INFO - Atoms: 92582/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2164498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.777 Prop: 2754.963 PropClause: 2694.175 Set: 696.146 Check: 0.0 Back: 54.768
INFO - Atoms: 92420/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 2256776 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.829 Prop: 2869.671 PropClause: 2806.59 Set: 720.87 Check: 0.0 Back: 57.095
INFO - Atoms: 92278/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 2348868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.877 Prop: 2986.055 PropClause: 2920.413 Set: 750.328 Check: 0.0 Back: 59.54
INFO - Atoms: 92092/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 2440958 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.93 Prop: 3100.032 PropClause: 3032.098 Set: 769.023 Check: 0.0 Back: 62.032
INFO - Atoms: 92090/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 2532882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.982 Prop: 3211.634 PropClause: 3141.414 Set: 787.575 Check: 0.0 Back: 64.46
INFO - Atoms: 91924/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 2624721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.088 Prop: 3329.802 PropClause: 3257.257 Set: 806.609 Check: 0.0 Back: 66.919
INFO - Atoms: 91839/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 2716322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.112 Prop: 3436.412 PropClause: 3361.573 Set: 824.959 Check: 0.0 Back: 69.377
INFO - Atoms: 91601/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 2807781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.133 Prop: 3545.066 PropClause: 3467.947 Set: 843.266 Check: 0.0 Back: 71.837
INFO - Atoms: 91459/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 2899056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.154 Prop: 3653.882 PropClause: 3574.504 Set: 861.761 Check: 0.0 Back: 74.236
INFO - Atoms: 91275/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 2990189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.176 Prop: 3762.042 PropClause: 3680.41 Set: 879.92 Check: 0.0 Back: 76.649
INFO - Atoms: 91133/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 3081141 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.195 Prop: 3870.012 PropClause: 3786.123 Set: 898.001 Check: 0.0 Back: 79.032
INFO - Atoms: 90952/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3171928 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.215 Prop: 3979.828 PropClause: 3893.689 Set: 916.13 Check: 0.0 Back: 81.467
INFO - Atoms: 90787/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 3262553 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.238 Prop: 4085.419 PropClause: 3997.036 Set: 934.069 Check: 0.0 Back: 83.81
INFO - Atoms: 90625/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 3353026 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.257 Prop: 4206.227 PropClause: 4115.586 Set: 952.74 Check: 0.0 Back: 86.229
INFO - Atoms: 90473/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 3443323 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.277 Prop: 4314.602 PropClause: 4221.733 Set: 970.762 Check: 0.0 Back: 88.583
INFO - Atoms: 90297/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 3533473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.297 Prop: 4426.697 PropClause: 4331.573 Set: 989.017 Check: 0.0 Back: 90.987
INFO - Atoms: 90150/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 3623446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.314 Prop: 4537.215 PropClause: 4439.863 Set: 1006.819 Check: 0.0 Back: 93.394
INFO - Atoms: 89973/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 3713277 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.333 Prop: 4640.644 PropClause: 4541.067 Set: 1024.695 Check: 0.0 Back: 95.782
INFO - Atoms: 89831/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 3802924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.349 Prop: 4740.086 PropClause: 4638.279 Set: 1042.157 Check: 0.0 Back: 98.135
INFO - Atoms: 89647/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 3892422 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.378 Prop: 4840.447 PropClause: 4736.427 Set: 1059.696 Check: 0.0 Back: 100.499
INFO - Atoms: 89498/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 3981741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.395 Prop: 4946.312 PropClause: 4840.078 Set: 1077.397 Check: 0.0 Back: 102.798
INFO - Atoms: 89319/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 4070898 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.411 Prop: 5052.138 PropClause: 4943.702 Set: 1095.071 Check: 0.0 Back: 105.207
INFO - Atoms: 89157/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 4159891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.431 Prop: 5156.725 PropClause: 5046.081 Set: 1112.937 Check: 0.0 Back: 107.513
INFO - Atoms: 88993/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 4248722 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.449 Prop: 5265.819 PropClause: 5152.956 Set: 1130.721 Check: 0.0 Back: 109.911
INFO - Atoms: 88831/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 4337391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.468 Prop: 5369.886 PropClause: 5254.816 Set: 1148.288 Check: 0.0 Back: 112.228
INFO - Atoms: 88669/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 4425910 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.484 Prop: 5478.542 PropClause: 5361.287 Set: 1165.846 Check: 0.0 Back: 114.549
INFO - Atoms: 88519/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 4514251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.499 Prop: 5580.765 PropClause: 5461.306 Set: 1183.34 Check: 0.0 Back: 116.839
INFO - Atoms: 88341/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 4602450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.516 Prop: 5687.409 PropClause: 5565.759 Set: 1200.762 Check: 0.0 Back: 119.153
INFO - Atoms: 88199/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 4690465 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.534 Prop: 5792.897 PropClause: 5669.062 Set: 1218.235 Check: 0.0 Back: 121.437
INFO - Atoms: 88015/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 4778340 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.552 Prop: 5903.674 PropClause: 5777.642 Set: 1235.805 Check: 0.0 Back: 123.785
INFO - Atoms: 87875/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 4866029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.574 Prop: 6009.354 PropClause: 5881.149 Set: 1253.368 Check: 0.0 Back: 126.093
INFO - Atoms: 87689/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 4953576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.589 Prop: 6118.042 PropClause: 5987.654 Set: 1270.928 Check: 0.0 Back: 128.422
INFO - Atoms: 87547/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 5040941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.613 Prop: 6225.959 PropClause: 6093.395 Set: 1288.304 Check: 0.0 Back: 130.726
INFO - Atoms: 87365/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 5128164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.632 Prop: 6334.354 PropClause: 6199.63 Set: 1305.774 Check: 0.0 Back: 133.04
INFO - Atoms: 87223/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 5215203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.654 Prop: 6439.077 PropClause: 6302.162 Set: 1323.307 Check: 0.0 Back: 135.331
INFO - Atoms: 87039/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 5302094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.676 Prop: 6547.146 PropClause: 6408.032 Set: 1341.03 Check: 0.0 Back: 137.66
INFO - Atoms: 86891/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 5388807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.695 Prop: 6653.163 PropClause: 6511.876 Set: 1358.305 Check: 0.0 Back: 139.942
INFO - Atoms: 86713/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 5475370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.712 Prop: 6760.429 PropClause: 6616.997 Set: 1375.669 Check: 0.0 Back: 142.265
INFO - Atoms: 86563/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 5561755 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.731 Prop: 6863.378 PropClause: 6717.804 Set: 1393.047 Check: 0.0 Back: 144.516
INFO - Atoms: 86385/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 5647998 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.751 Prop: 6973.329 PropClause: 6825.594 Set: 1410.571 Check: 0.0 Back: 146.808
INFO - Atoms: 86243/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 5734059 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.77 Prop: 7077.59 PropClause: 6927.713 Set: 1427.692 Check: 0.0 Back: 149.041
INFO - Atoms: 86061/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 5819978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.787 Prop: 7187.139 PropClause: 7035.127 Set: 1444.993 Check: 0.0 Back: 151.334
INFO - Atoms: 85919/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 5905713 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.81 Prop: 7289.211 PropClause: 7135.062 Set: 1462.053 Check: 0.0 Back: 153.569
INFO - Atoms: 85735/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 5991300 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.831 Prop: 7402.776 PropClause: 7246.476 Set: 1479.451 Check: 0.0 Back: 155.844
INFO - Atoms: 85587/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 6076709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.851 Prop: 7506.38 PropClause: 7347.948 Set: 1496.61 Check: 0.0 Back: 158.089
INFO - Atoms: 85409/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 6161954 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.869 Prop: 7625.217 PropClause: 7464.239 Set: 1516.836 Check: 0.0 Back: 160.366
INFO - Atoms: 85245/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 6247037 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.887 Prop: 7727.968 PropClause: 7564.856 Set: 1533.946 Check: 0.0 Back: 162.819
INFO - Atoms: 85083/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 6331978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.907 Prop: 7840.242 PropClause: 7674.981 Set: 1551.261 Check: 0.0 Back: 165.091
INFO - Atoms: 84941/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 6416735 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.926 Prop: 7943.209 PropClause: 7775.825 Set: 1568.211 Check: 0.0 Back: 167.331
INFO - Atoms: 84757/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 6501350 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.946 Prop: 8061.432 PropClause: 7891.947 Set: 1585.503 Check: 0.0 Back: 169.632
INFO - Atoms: 84615/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 6585781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.966 Prop: 8157.1 PropClause: 7985.501 Set: 1602.126 Check: 0.0 Back: 171.871
INFO - Atoms: 84431/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 6670068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.986 Prop: 8257.715 PropClause: 8084.004 Set: 1619.086 Check: 0.0 Back: 174.126
INFO - Atoms: 84287/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 6754173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.012 Prop: 8355.025 PropClause: 8179.235 Set: 1635.685 Check: 0.0 Back: 176.374
INFO - Atoms: 84105/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 6838136 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.029 Prop: 8457.201 PropClause: 8279.327 Set: 1652.542 Check: 0.0 Back: 178.584
INFO - Atoms: 83963/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 6921915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.047 Prop: 8551.571 PropClause: 8371.627 Set: 1668.819 Check: 0.0 Back: 180.775
INFO - Atoms: 83779/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 7005552 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.065 Prop: 8653.356 PropClause: 8471.33 Set: 1685.472 Check: 0.0 Back: 182.948
INFO - Atoms: 83637/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 7089003 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.082 Prop: 8749.68 PropClause: 8565.596 Set: 1701.801 Check: 0.0 Back: 185.11
INFO - Atoms: 83451/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 7172292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.1 Prop: 8845.35 PropClause: 8659.196 Set: 1718.249 Check: 0.0 Back: 187.272
INFO - Atoms: 83289/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 7255419 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.119 Prop: 8940.9 PropClause: 8752.661 Set: 1734.807 Check: 0.0 Back: 189.422
INFO - Atoms: 83127/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 7338404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.138 Prop: 9035.589 PropClause: 8845.301 Set: 1750.935 Check: 0.0 Back: 191.588
INFO - Atoms: 82985/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 7421205 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.158 Prop: 9130.925 PropClause: 8938.575 Set: 1767.316 Check: 0.0 Back: 193.733
INFO - Atoms: 82801/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 7503864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.209 Prop: 9228.463 PropClause: 9034.042 Set: 1783.69 Check: 0.0 Back: 195.976
INFO - Atoms: 82659/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 7586337 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.272 Prop: 9325.298 PropClause: 9128.843 Set: 1799.99 Check: 0.0 Back: 198.102
INFO - Atoms: 82473/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 7668648 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.285 Prop: 9423.17 PropClause: 9224.682 Set: 1816.201 Check: 0.0 Back: 200.267
INFO - Atoms: 82311/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 7750797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.299 Prop: 9523.074 PropClause: 9322.498 Set: 1832.982 Check: 0.0 Back: 202.39
INFO - Atoms: 82149/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 7832797 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.313 Prop: 9627.835 PropClause: 9425.182 Set: 1849.783 Check: 0.0 Back: 204.547
INFO - Atoms: 82000/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 7914620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.326 Prop: 9726.478 PropClause: 9521.787 Set: 1865.91 Check: 0.0 Back: 206.672
INFO - Atoms: 81823/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 7996301 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.339 Prop: 9825.186 PropClause: 9618.45 Set: 1882.047 Check: 0.0 Back: 208.869
INFO - Atoms: 81681/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 8077798 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.353 Prop: 9923.668 PropClause: 9714.898 Set: 1898.34 Check: 0.0 Back: 210.996
INFO - Atoms: 81497/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 8159153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.364 Prop: 10021.834 PropClause: 9811.048 Set: 1914.479 Check: 0.0 Back: 213.141
INFO - Atoms: 81355/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 8240324 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.375 Prop: 10117.987 PropClause: 9905.181 Set: 1930.518 Check: 0.0 Back: 215.255
INFO - Atoms: 81171/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 8321353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.387 Prop: 10214.015 PropClause: 9999.19 Set: 1946.551 Check: 0.0 Back: 217.368
INFO - Atoms: 81029/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 8402198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.398 Prop: 10308.145 PropClause: 10091.307 Set: 1962.502 Check: 0.0 Back: 219.464
INFO - Atoms: 80845/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 8482901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.408 Prop: 10403.195 PropClause: 10184.353 Set: 1978.52 Check: 0.0 Back: 221.607
INFO - Atoms: 80703/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 8563420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.422 Prop: 10495.132 PropClause: 10274.295 Set: 1994.25 Check: 0.0 Back: 223.688
INFO - Atoms: 80519/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 8643775 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.436 Prop: 10592.704 PropClause: 10369.863 Set: 2010.166 Check: 0.0 Back: 225.794
INFO - Atoms: 80355/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 8723966 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.451 Prop: 10689.659 PropClause: 10464.828 Set: 2026.108 Check: 0.0 Back: 227.899
INFO - Atoms: 80191/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 8804011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.464 Prop: 10784.935 PropClause: 10558.112 Set: 2041.919 Check: 0.0 Back: 230.034
INFO - Atoms: 80045/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 8883876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.478 Prop: 10879.019 PropClause: 10650.191 Set: 2057.888 Check: 0.0 Back: 232.115
INFO - Atoms: 79865/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 8963599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.492 Prop: 10975.062 PropClause: 10744.26 Set: 2073.797 Check: 0.0 Back: 234.215
INFO - Atoms: 79723/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 9043140 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.507 Prop: 11067.661 PropClause: 10834.874 Set: 2089.466 Check: 0.0 Back: 236.294
INFO - Atoms: 79541/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 9122537 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.522 Prop: 11163.652 PropClause: 10928.892 Set: 2105.318 Check: 0.0 Back: 238.386
INFO - Atoms: 79397/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 9201750 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.535 Prop: 11254.156 PropClause: 11017.433 Set: 2120.793 Check: 0.0 Back: 240.437
INFO - Atoms: 79213/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 9280817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.547 Prop: 11349.138 PropClause: 11110.455 Set: 2136.481 Check: 0.0 Back: 242.523
INFO - Atoms: 79067/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 9359706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.56 Prop: 11441.439 PropClause: 11200.79 Set: 2152.084 Check: 0.0 Back: 244.576
INFO - Atoms: 78889/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 9438431 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.572 Prop: 11536.203 PropClause: 11293.58 Set: 2167.714 Check: 0.0 Back: 246.695
INFO - Atoms: 78725/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 9516994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.585 Prop: 11628.948 PropClause: 11384.342 Set: 2183.247 Check: 0.0 Back: 248.772
INFO - Atoms: 78563/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 9595413 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.596 Prop: 11722.156 PropClause: 11475.585 Set: 2198.758 Check: 0.0 Back: 250.887
INFO - Atoms: 78419/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 9673650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.609 Prop: 11811.106 PropClause: 11562.6 Set: 2214.02 Check: 0.0 Back: 252.916
INFO - Atoms: 78237/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 9751745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.621 Prop: 11900.859 PropClause: 11650.391 Set: 2229.483 Check: 0.0 Back: 254.937
INFO - Atoms: 78095/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 9829656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.634 Prop: 11989.502 PropClause: 11737.082 Set: 2244.85 Check: 0.0 Back: 256.92
INFO - Atoms: 77911/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 9907423 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.646 Prop: 12078.725 PropClause: 11824.379 Set: 2260.115 Check: 0.0 Back: 258.972
INFO - Atoms: 77767/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 9985008 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.658 Prop: 12166.02 PropClause: 11909.744 Set: 2275.326 Check: 0.0 Back: 260.953
INFO - Atoms: 77585/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 10062451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.672 Prop: 12267.097 PropClause: 12008.897 Set: 2290.931 Check: 0.0 Back: 262.98
INFO - Atoms: 77443/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 10139710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.685 Prop: 12355.986 PropClause: 12095.872 Set: 2306.127 Check: 0.0 Back: 264.987
INFO - Atoms: 77259/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 10216805 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 12443.801 PropClause: 12181.774 Set: 2321.286 Check: 0.0 Back: 267.02
INFO - Atoms: 77095/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 10293736 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.708 Prop: 12531.688 PropClause: 12267.737 Set: 2336.379 Check: 0.0 Back: 269.005
INFO - Atoms: 76931/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 10370505 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 12619.904 PropClause: 12354.049 Set: 2351.431 Check: 0.0 Back: 271.04
INFO - Atoms: 76769/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 10447112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.73 Prop: 12707.59 PropClause: 12439.84 Set: 2366.351 Check: 0.0 Back: 272.999
INFO - Atoms: 76607/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 10523570 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.743 Prop: 12802.53 PropClause: 12532.873 Set: 2381.685 Check: 0.0 Back: 275.008
INFO - Atoms: 76458/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 10599851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.758 Prop: 12900.761 PropClause: 12629.174 Set: 2397.539 Check: 0.0 Back: 277.108
INFO - Atoms: 76281/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 10675988 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.772 Prop: 12998.889 PropClause: 12725.336 Set: 2413.169 Check: 0.0 Back: 279.282
INFO - Atoms: 76137/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 10751943 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 13090.552 PropClause: 12815.061 Set: 2428.466 Check: 0.0 Back: 281.267
INFO - Atoms: 75955/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 10827734 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.803 Prop: 13181.733 PropClause: 12904.364 Set: 2443.327 Check: 0.0 Back: 283.286
INFO - Atoms: 75791/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 10903363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.816 Prop: 13274.118 PropClause: 12994.853 Set: 2458.471 Check: 0.0 Back: 285.267
INFO - Atoms: 75629/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 10978850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.83 Prop: 13361.974 PropClause: 13080.835 Set: 2473.511 Check: 0.0 Back: 287.275
INFO - Atoms: 75487/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 11054153 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.852 Prop: 13453.004 PropClause: 13169.984 Set: 2488.764 Check: 0.0 Back: 289.233
INFO - Atoms: 75303/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 11129307 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.894 Prop: 13542.918 PropClause: 13258.038 Set: 2503.612 Check: 0.0 Back: 291.252
INFO - Atoms: 75154/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 11204284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.904 Prop: 13626.514 PropClause: 13339.766 Set: 2518.312 Check: 0.0 Back: 293.184
INFO - Atoms: 74977/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 11279097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.911 Prop: 13715.284 PropClause: 13426.683 Set: 2532.981 Check: 0.0 Back: 295.145
INFO - Atoms: 74813/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 11353746 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.921 Prop: 13801.929 PropClause: 13511.474 Set: 2547.62 Check: 0.0 Back: 297.083
INFO - Atoms: 74649/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 11428233 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.929 Prop: 13888.281 PropClause: 13595.974 Set: 2562.298 Check: 0.0 Back: 299.067
INFO - Atoms: 74487/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 11502558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.936 Prop: 13971.945 PropClause: 13677.794 Set: 2576.978 Check: 0.0 Back: 300.984
INFO - Atoms: 74325/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 11576741 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.945 Prop: 14056.674 PropClause: 13760.687 Set: 2591.349 Check: 0.0 Back: 302.931
INFO - Atoms: 74183/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 11650740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.954 Prop: 14135.546 PropClause: 13837.691 Set: 2605.828 Check: 0.0 Back: 304.845
INFO - Atoms: 73999/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 11724595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.962 Prop: 14217.152 PropClause: 13917.441 Set: 2620.326 Check: 0.0 Back: 306.78
INFO - Atoms: 73855/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 11798268 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.97 Prop: 14296.949 PropClause: 13995.41 Set: 2634.787 Check: 0.0 Back: 308.676
INFO - Atoms: 73673/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 11871799 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.98 Prop: 14383.77 PropClause: 14080.324 Set: 2650.073 Check: 0.0 Back: 310.596
INFO - Atoms: 73531/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 11945144 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.989 Prop: 14463.091 PropClause: 14157.822 Set: 2664.549 Check: 0.0 Back: 312.502
INFO - Atoms: 73345/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 12018347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.997 Prop: 14543.823 PropClause: 14236.734 Set: 2678.889 Check: 0.0 Back: 314.406
INFO - Atoms: 73203/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 12091366 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.006 Prop: 14624.937 PropClause: 14316.018 Set: 2693.161 Check: 0.0 Back: 316.318
INFO - Atoms: 73019/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 12164237 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.015 Prop: 14711.831 PropClause: 14401.018 Set: 2708.179 Check: 0.0 Back: 318.267
INFO - Atoms: 72871/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 12236932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.025 Prop: 14797.079 PropClause: 14484.433 Set: 2722.768 Check: 0.0 Back: 320.138
INFO - Atoms: 72695/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 12309463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.034 Prop: 14881.882 PropClause: 14567.427 Set: 2737.013 Check: 0.0 Back: 322.075
INFO - Atoms: 72531/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 12381832 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.041 Prop: 14964.404 PropClause: 14648.145 Set: 2751.266 Check: 0.0 Back: 323.969
INFO - Atoms: 72369/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 12454052 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.05 Prop: 15050.038 PropClause: 14731.974 Set: 2765.709 Check: 0.0 Back: 325.862
INFO - Atoms: 72220/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 12526093 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.058 Prop: 15126.609 PropClause: 14806.764 Set: 2779.851 Check: 0.0 Back: 327.751
INFO - Atoms: 72041/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 12597992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.068 Prop: 15202.11 PropClause: 14880.476 Set: 2793.838 Check: 0.0 Back: 329.637
INFO - Atoms: 71899/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 12669709 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.077 Prop: 15281.56 PropClause: 14958.139 Set: 2808.223 Check: 0.0 Back: 331.478
INFO - Atoms: 71717/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 12741284 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.086 Prop: 15366.371 PropClause: 15041.163 Set: 2822.406 Check: 0.0 Back: 333.39
INFO - Atoms: 71575/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 12812675 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.096 Prop: 15445.099 PropClause: 15118.112 Set: 2836.306 Check: 0.0 Back: 335.244
INFO - Atoms: 71391/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 12883924 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.104 Prop: 15517.937 PropClause: 15189.178 Set: 2850.084 Check: 0.0 Back: 337.108
INFO - Atoms: 71249/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 12954989 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.112 Prop: 15592.343 PropClause: 15261.808 Set: 2863.996 Check: 0.0 Back: 338.902
INFO - Atoms: 71065/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 13025890 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.121 Prop: 15673.4 PropClause: 15341.083 Set: 2877.842 Check: 0.0 Back: 340.758
INFO - Atoms: 70901/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 13096627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.128 Prop: 15748.432 PropClause: 15414.369 Set: 2891.506 Check: 0.0 Back: 342.563
INFO - Atoms: 70737/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 13167224 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.136 Prop: 15818.696 PropClause: 15482.888 Set: 2904.876 Check: 0.0 Back: 344.386
INFO - Atoms: 70597/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 13237635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.143 Prop: 15892.155 PropClause: 15554.605 Set: 2918.29 Check: 0.0 Back: 346.18
INFO - Atoms: 70411/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 13307884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.15 Prop: 15969.129 PropClause: 15629.832 Set: 2931.871 Check: 0.0 Back: 348.004
INFO - Atoms: 70249/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 13377971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.159 Prop: 16039.61 PropClause: 15698.568 Set: 2945.372 Check: 0.0 Back: 349.782
INFO - Atoms: 70087/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 13447894 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.166 Prop: 16110.151 PropClause: 15767.379 Set: 2958.776 Check: 0.0 Back: 351.586
INFO - Atoms: 69923/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 13517653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.175 Prop: 16186.347 PropClause: 15841.837 Set: 2972.369 Check: 0.0 Back: 353.368
INFO - Atoms: 69759/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 13587270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.183 Prop: 16258.439 PropClause: 15912.201 Set: 2985.843 Check: 0.0 Back: 355.204
INFO - Atoms: 69617/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 13656705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.191 Prop: 16326.807 PropClause: 15978.85 Set: 2999.169 Check: 0.0 Back: 356.968
INFO - Atoms: 69435/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 13725996 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.198 Prop: 16404.381 PropClause: 16054.701 Set: 3012.64 Check: 0.0 Back: 358.781
INFO - Atoms: 69291/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 13795103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 16474.27 PropClause: 16122.875 Set: 3025.87 Check: 0.0 Back: 360.539
INFO - Atoms: 69107/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 13864068 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.214 Prop: 16551.105 PropClause: 16198.002 Set: 3039.226 Check: 0.0 Back: 362.316
INFO - Atoms: 68965/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 13932851 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.222 Prop: 16628.173 PropClause: 16273.353 Set: 3052.581 Check: 0.0 Back: 364.07
INFO - Atoms: 68783/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 14001486 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.231 Prop: 16709.309 PropClause: 16352.783 Set: 3066.033 Check: 0.0 Back: 365.842
INFO - Atoms: 68635/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 14069941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.24 Prop: 16784.865 PropClause: 16426.626 Set: 3079.291 Check: 0.0 Back: 367.598
INFO - Atoms: 68455/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 14138256 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.247 Prop: 16859.123 PropClause: 16499.186 Set: 3092.553 Check: 0.0 Back: 369.349
INFO - Atoms: 68315/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 14206385 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.255 Prop: 16929.161 PropClause: 16567.529 Set: 3105.796 Check: 0.0 Back: 371.081
INFO - Atoms: 68129/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 14274374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.264 Prop: 17009.297 PropClause: 16645.982 Set: 3119.087 Check: 0.0 Back: 372.892
INFO - Atoms: 67989/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 14342179 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.272 Prop: 17079.75 PropClause: 16714.743 Set: 3132.22 Check: 0.0 Back: 374.628
INFO - Atoms: 67805/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 14409820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.28 Prop: 17157.87 PropClause: 16791.182 Set: 3145.471 Check: 0.0 Back: 376.396
INFO - Atoms: 67641/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 14477299 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.288 Prop: 17229.939 PropClause: 16861.558 Set: 3158.812 Check: 0.0 Back: 378.151
INFO - Atoms: 67479/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 14544634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.296 Prop: 17301.382 PropClause: 16931.317 Set: 3172.062 Check: 0.0 Back: 379.906
INFO - Atoms: 67335/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 14611785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.304 Prop: 17378.011 PropClause: 17006.262 Set: 3185.245 Check: 0.0 Back: 381.642
INFO - Atoms: 67151/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 14678796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.311 Prop: 17448.235 PropClause: 17074.811 Set: 3198.294 Check: 0.0 Back: 383.404
INFO - Atoms: 67011/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 14745623 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.319 Prop: 17523.433 PropClause: 17148.339 Set: 3211.383 Check: 0.0 Back: 385.115
INFO - Atoms: 66827/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 14812306 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.327 Prop: 17593.094 PropClause: 17216.344 Set: 3224.335 Check: 0.0 Back: 386.865
INFO - Atoms: 66683/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 14878807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.337 Prop: 17660.383 PropClause: 17281.971 Set: 3237.328 Check: 0.0 Back: 388.587
INFO - Atoms: 66501/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 14945166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.346 Prop: 17737.582 PropClause: 17357.522 Set: 3250.27 Check: 0.0 Back: 390.355
INFO - Atoms: 66359/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 15011341 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.356 Prop: 17807.472 PropClause: 17425.757 Set: 3263.278 Check: 0.0 Back: 392.061
INFO - Atoms: 66175/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 15077372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.364 Prop: 17887.157 PropClause: 17503.67 Set: 3277.288 Check: 0.0 Back: 393.797
INFO - Atoms: 66031/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 15143219 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.375 Prop: 17956.158 PropClause: 17571.023 Set: 3290.217 Check: 0.0 Back: 395.48
INFO - Atoms: 65847/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 15208904 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.384 Prop: 18030.726 PropClause: 17643.954 Set: 3302.973 Check: 0.0 Back: 397.21
INFO - Atoms: 65685/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 15274427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.393 Prop: 18102.704 PropClause: 17714.311 Set: 3315.704 Check: 0.0 Back: 398.884
INFO - Atoms: 65523/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 15339808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.402 Prop: 18170.895 PropClause: 17780.852 Set: 3328.493 Check: 0.0 Back: 400.563
INFO - Atoms: 65381/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 15405005 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.411 Prop: 18240.498 PropClause: 17848.83 Set: 3341.099 Check: 0.0 Back: 402.243
INFO - Atoms: 65197/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 15470060 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.419 Prop: 18303.736 PropClause: 17910.448 Set: 3353.879 Check: 0.0 Back: 403.924
INFO - Atoms: 65055/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 15534929 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.427 Prop: 18372.915 PropClause: 17977.991 Set: 3366.665 Check: 0.0 Back: 405.573
INFO - Atoms: 64869/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 15599656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.435 Prop: 18432.905 PropClause: 18036.368 Set: 3378.913 Check: 0.0 Back: 407.266
INFO - Atoms: 64727/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 15664201 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.444 Prop: 18498.131 PropClause: 18099.993 Set: 3391.242 Check: 0.0 Back: 408.896
INFO - Atoms: 64545/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 15728604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.461 Prop: 18559.86 PropClause: 18160.127 Set: 3403.369 Check: 0.0 Back: 410.558
INFO - Atoms: 64403/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 15792821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.469 Prop: 18627.34 PropClause: 18225.996 Set: 3415.748 Check: 0.0 Back: 412.179
INFO - Atoms: 64217/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 15856876 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.478 Prop: 18689.921 PropClause: 18286.962 Set: 3428.201 Check: 0.0 Back: 413.857
INFO - Atoms: 64055/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 15920767 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.514 Prop: 18754.99 PropClause: 18350.443 Set: 3440.327 Check: 0.0 Back: 415.483
INFO - Atoms: 63891/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 15984516 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.552 Prop: 18815.686 PropClause: 18409.568 Set: 3452.427 Check: 0.0 Back: 417.132
INFO - Atoms: 63749/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 16048083 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.562 Prop: 18880.876 PropClause: 18473.167 Set: 3464.869 Check: 0.0 Back: 418.755
INFO - Atoms: 63567/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 16111506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.569 Prop: 18938.788 PropClause: 18529.501 Set: 3476.797 Check: 0.0 Back: 420.395
INFO - Atoms: 63423/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 16174745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.578 Prop: 19001.178 PropClause: 18590.328 Set: 3488.862 Check: 0.0 Back: 421.991
INFO - Atoms: 63239/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 16237842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.586 Prop: 19058.895 PropClause: 18646.494 Set: 3500.671 Check: 0.0 Back: 423.603
INFO - Atoms: 63097/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 16300757 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.594 Prop: 19120.659 PropClause: 18706.693 Set: 3512.672 Check: 0.0 Back: 425.178
INFO - Atoms: 62915/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 16363528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.602 Prop: 19184.176 PropClause: 18768.646 Set: 3524.763 Check: 0.0 Back: 426.797
INFO - Atoms: 62771/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 16426115 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.611 Prop: 19242.434 PropClause: 18825.357 Set: 3536.693 Check: 0.0 Back: 428.405
INFO - Atoms: 62587/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 16488562 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.619 Prop: 19301.633 PropClause: 18883.0 Set: 3548.566 Check: 0.0 Back: 430.005
INFO - Atoms: 62447/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 16550825 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.627 Prop: 19366.163 PropClause: 18945.984 Set: 3560.444 Check: 0.0 Back: 431.57
INFO - Atoms: 62263/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 16612944 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.636 Prop: 19431.061 PropClause: 19009.348 Set: 3572.22 Check: 0.0 Back: 433.17
INFO - Atoms: 62119/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 16674879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.645 Prop: 19494.246 PropClause: 19070.985 Set: 3584.051 Check: 0.0 Back: 434.711
INFO - Atoms: 61935/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 16736667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.653 Prop: 19558.547 PropClause: 19133.742 Set: 3596.06 Check: 0.0 Back: 436.287
INFO - Atoms: 61788/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 16798278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.663 Prop: 19621.744 PropClause: 19195.414 Set: 3607.797 Check: 0.0 Back: 437.841
INFO - Atoms: 61611/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 16859747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.67 Prop: 19686.721 PropClause: 19258.869 Set: 3619.498 Check: 0.0 Back: 439.414
INFO - Atoms: 61469/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 16921030 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.677 Prop: 19750.228 PropClause: 19320.858 Set: 3631.288 Check: 0.0 Back: 440.951
INFO - Atoms: 61283/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 16982151 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.684 Prop: 19814.55 PropClause: 19383.66 Set: 3642.916 Check: 0.0 Back: 442.521
INFO - Atoms: 61121/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 17043110 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.692 Prop: 19875.362 PropClause: 19442.963 Set: 3654.544 Check: 0.0 Back: 444.066
INFO - Atoms: 60959/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 17103922 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.7 Prop: 19939.428 PropClause: 19505.514 Set: 3666.169 Check: 0.0 Back: 445.626
INFO - Atoms: 60812/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 17164555 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.708 Prop: 19996.508 PropClause: 19561.076 Set: 3677.799 Check: 0.0 Back: 447.154
INFO - Atoms: 60633/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 17225044 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.715 Prop: 20056.332 PropClause: 19619.385 Set: 3689.249 Check: 0.0 Back: 448.698
INFO - Atoms: 60489/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 17285349 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.724 Prop: 20114.683 PropClause: 19676.242 Set: 3700.557 Check: 0.0 Back: 450.234
INFO - Atoms: 60305/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 17345514 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.731 Prop: 20175.148 PropClause: 19735.208 Set: 3712.101 Check: 0.0 Back: 451.78
INFO - Atoms: 60165/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 17405493 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.74 Prop: 20235.605 PropClause: 19794.173 Set: 3723.589 Check: 0.0 Back: 453.282
INFO - Atoms: 59979/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 17465326 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.748 Prop: 20297.117 PropClause: 19854.191 Set: 3734.939 Check: 0.0 Back: 454.838
INFO - Atoms: 59833/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 17524981 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.758 Prop: 20358.184 PropClause: 19913.781 Set: 3746.26 Check: 0.0 Back: 456.394
INFO - Atoms: 59655/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 17584492 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.765 Prop: 20418.796 PropClause: 19972.919 Set: 3757.632 Check: 0.0 Back: 457.912
INFO - Atoms: 59511/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 17643821 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.772 Prop: 20480.077 PropClause: 20032.722 Set: 3768.981 Check: 0.0 Back: 459.4
INFO - Atoms: 59329/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 17703006 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.778 Prop: 20540.232 PropClause: 20091.411 Set: 3780.183 Check: 0.0 Back: 460.915
INFO - Atoms: 59185/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 17762007 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.785 Prop: 20595.008 PropClause: 20144.72 Set: 3791.351 Check: 0.0 Back: 462.402
INFO - Atoms: 59001/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 17820868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.792 Prop: 20657.456 PropClause: 20205.701 Set: 3802.724 Check: 0.0 Back: 463.899
INFO - Atoms: 58861/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 231 Props: 17879543 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.8 Prop: 20713.521 PropClause: 20260.309 Set: 3813.922 Check: 0.0 Back: 465.398
INFO - Atoms: 58675/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 17938076 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.809 Prop: 20774.078 PropClause: 20319.405 Set: 3825.101 Check: 0.0 Back: 466.905
INFO - Atoms: 58533/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 233 Props: 17996427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.815 Prop: 20832.552 PropClause: 20376.433 Set: 3836.196 Check: 0.0 Back: 468.366
INFO - Atoms: 58351/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 234 Props: 18054634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.823 Prop: 20891.44 PropClause: 20433.879 Set: 3847.091 Check: 0.0 Back: 469.842
INFO - Atoms: 58207/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 18112657 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.831 Prop: 20947.945 PropClause: 20488.936 Set: 3858.091 Check: 0.0 Back: 471.301
INFO - Atoms: 58023/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 236 Props: 18170533 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.84 Prop: 21007.862 PropClause: 20547.353 Set: 3869.159 Check: 0.0 Back: 472.77
INFO - Atoms: 57876/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 18228232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.847 Prop: 21060.151 PropClause: 20598.209 Set: 3880.111 Check: 0.0 Back: 474.238
INFO - Atoms: 57699/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 238 Props: 18285789 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.855 Prop: 21117.096 PropClause: 20653.725 Set: 3890.817 Check: 0.0 Back: 475.686
INFO - Atoms: 57557/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 18343160 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.863 Prop: 21172.03 PropClause: 20707.232 Set: 3901.697 Check: 0.0 Back: 477.129
INFO - Atoms: 57371/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 240 Props: 18400389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.869 Prop: 21229.572 PropClause: 20763.357 Set: 3912.486 Check: 0.0 Back: 478.593
INFO - Atoms: 57229/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 241 Props: 18457434 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.876 Prop: 21285.545 PropClause: 20817.91 Set: 3923.324 Check: 0.0 Back: 480.015
INFO - Atoms: 57045/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 242 Props: 18514330 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.885 Prop: 21340.734 PropClause: 20871.687 Set: 3933.959 Check: 0.0 Back: 481.471
INFO - Atoms: 56896/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 18571051 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.892 Prop: 21392.417 PropClause: 20921.953 Set: 3944.661 Check: 0.0 Back: 482.873
INFO - Atoms: 56721/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 244 Props: 18627630 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.9 Prop: 21443.423 PropClause: 20971.559 Set: 3955.025 Check: 0.0 Back: 484.301
INFO - Atoms: 56579/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 245 Props: 18684025 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.908 Prop: 21494.517 PropClause: 21021.258 Set: 3965.605 Check: 0.0 Back: 485.709
INFO - Atoms: 56395/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 246 Props: 18740278 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.915 Prop: 21548.276 PropClause: 21073.617 Set: 3976.075 Check: 0.0 Back: 487.11
INFO - Atoms: 56253/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 18796347 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.922 Prop: 21599.705 PropClause: 21123.65 Set: 3986.654 Check: 0.0 Back: 488.504
INFO - Atoms: 56069/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 248 Props: 18852274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.93 Prop: 21650.04 PropClause: 21172.592 Set: 3997.117 Check: 0.0 Back: 489.917
INFO - Atoms: 55927/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 18908015 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.937 Prop: 21698.556 PropClause: 21219.719 Set: 4007.6 Check: 0.0 Back: 491.3
INFO - Atoms: 55741/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 250 Props: 18963594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.945 Prop: 21748.334 PropClause: 21268.123 Set: 4017.756 Check: 0.0 Back: 492.731
INFO - Atoms: 55579/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 19019011 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.954 Prop: 21801.953 PropClause: 21320.374 Set: 4050.342 Check: 0.0 Back: 494.105
INFO - Atoms: 55417/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 252 Props: 19074280 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 21855.192 PropClause: 21372.239 Set: 4060.732 Check: 0.0 Back: 495.513
INFO - Atoms: 55269/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 253 Props: 19129371 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.971 Prop: 21908.255 PropClause: 21423.939 Set: 4071.132 Check: 0.0 Back: 496.899
INFO - Atoms: 55091/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 19184320 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.978 Prop: 21959.611 PropClause: 21473.926 Set: 4081.377 Check: 0.0 Back: 498.301
INFO - Atoms: 54949/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 19239085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.986 Prop: 22007.315 PropClause: 21520.265 Set: 4091.589 Check: 0.0 Back: 499.658
INFO - Atoms: 54765/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 256 Props: 19293686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.994 Prop: 22059.423 PropClause: 21571.012 Set: 4101.781 Check: 0.0 Back: 501.02
INFO - Atoms: 54601/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 257 Props: 19348123 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.004 Prop: 22109.114 PropClause: 21619.341 Set: 4111.991 Check: 0.0 Back: 502.412
INFO - Atoms: 54437/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 258 Props: 19402420 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.01 Prop: 22158.191 PropClause: 21667.085 Set: 4122.041 Check: 0.0 Back: 503.778
INFO - Atoms: 54297/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 19456531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.017 Prop: 22205.544 PropClause: 21713.094 Set: 4132.119 Check: 0.0 Back: 505.112
INFO - Atoms: 54111/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 260 Props: 19510500 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.024 Prop: 22252.076 PropClause: 21758.278 Set: 4142.139 Check: 0.0 Back: 506.484
INFO - Atoms: 53969/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 261 Props: 19564287 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.03 Prop: 22301.178 PropClause: 21806.045 Set: 4152.202 Check: 0.0 Back: 507.838
INFO - Atoms: 53787/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 262 Props: 19617932 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.037 Prop: 22350.929 PropClause: 21854.471 Set: 4162.081 Check: 0.0 Back: 509.175
INFO - Atoms: 53645/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 263 Props: 19671391 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.045 Prop: 22397.638 PropClause: 21899.853 Set: 4171.989 Check: 0.0 Back: 510.513
INFO - Atoms: 53459/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 19724710 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.054 Prop: 22444.999 PropClause: 21945.896 Set: 4181.818 Check: 0.0 Back: 511.853
INFO - Atoms: 53319/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 265 Props: 19777845 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.063 Prop: 22491.965 PropClause: 21991.536 Set: 4191.718 Check: 0.0 Back: 513.169
INFO - Atoms: 53135/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 266 Props: 19830836 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.071 Prop: 22539.409 PropClause: 22037.666 Set: 4201.522 Check: 0.0 Back: 514.504
INFO - Atoms: 52991/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 267 Props: 19883645 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.078 Prop: 22583.96 PropClause: 22080.911 Set: 4211.306 Check: 0.0 Back: 515.81
INFO - Atoms: 52809/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 19936312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.084 Prop: 22630.643 PropClause: 22126.289 Set: 4221.028 Check: 0.0 Back: 517.117
INFO - Atoms: 52667/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 269 Props: 19988795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.092 Prop: 22676.948 PropClause: 22171.285 Set: 4230.911 Check: 0.0 Back: 518.414
INFO - Atoms: 52483/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 270 Props: 20041134 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 22724.551 PropClause: 22217.597 Set: 4240.532 Check: 0.0 Back: 519.732
INFO - Atoms: 52339/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 271 Props: 20093289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.109 Prop: 22768.538 PropClause: 22260.294 Set: 4250.188 Check: 0.0 Back: 521.021
INFO - Atoms: 52155/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 20145302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.115 Prop: 22815.354 PropClause: 22305.825 Set: 4259.888 Check: 0.0 Back: 522.326
INFO - Atoms: 52013/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 273 Props: 20197133 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.123 Prop: 22861.154 PropClause: 22350.339 Set: 4269.532 Check: 0.0 Back: 523.613
INFO - Atoms: 51831/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 20248820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.129 Prop: 22906.066 PropClause: 22393.967 Set: 4279.095 Check: 0.0 Back: 524.927
INFO - Atoms: 51687/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 275 Props: 20300325 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.137 Prop: 22951.419 PropClause: 22438.045 Set: 4288.572 Check: 0.0 Back: 526.215
INFO - Atoms: 51505/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 276 Props: 20351702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.145 Prop: 22996.428 PropClause: 22481.787 Set: 4297.929 Check: 0.0 Back: 527.487
INFO - Atoms: 51377/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 277 Props: 20402087 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.152 Prop: 23038.158 PropClause: 22522.269 Set: 4307.174 Check: 0.0 Back: 528.739
INFO - Atoms: 50385/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 20452328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.159 Prop: 23080.301 PropClause: 22563.162 Set: 4316.253 Check: 0.0 Back: 530.001
INFO - Atoms: 50241/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 279 Props: 20502387 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.168 Prop: 23123.984 PropClause: 22605.594 Set: 4325.412 Check: 0.0 Back: 531.24
INFO - Atoms: 50059/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 20552304 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.177 Prop: 23164.567 PropClause: 22644.932 Set: 4353.762 Check: 0.0 Back: 532.488
INFO - Atoms: 49917/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 281 Props: 20602035 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.186 Prop: 23206.058 PropClause: 22685.184 Set: 4362.82 Check: 0.0 Back: 533.706
INFO - Atoms: 49731/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 282 Props: 20651624 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.195 Prop: 23248.682 PropClause: 22726.549 Set: 4371.957 Check: 0.0 Back: 534.954
INFO - Atoms: 49589/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 20701029 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.202 Prop: 23288.867 PropClause: 22765.499 Set: 4380.951 Check: 0.0 Back: 536.182
INFO - Atoms: 49405/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 284 Props: 20750294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 23329.377 PropClause: 22804.786 Set: 4389.847 Check: 0.0 Back: 537.416
INFO - Atoms: 49265/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 285 Props: 20799373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.218 Prop: 23369.83 PropClause: 22844.009 Set: 4398.861 Check: 0.0 Back: 538.624
INFO - Atoms: 49079/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 286 Props: 20848290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.227 Prop: 23411.707 PropClause: 22884.672 Set: 4407.689 Check: 0.0 Back: 539.875
INFO - Atoms: 48917/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 20897043 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.235 Prop: 23450.352 PropClause: 22922.108 Set: 4416.532 Check: 0.0 Back: 541.084
INFO - Atoms: 48753/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 288 Props: 20945656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.244 Prop: 23494.283 PropClause: 22964.824 Set: 4425.494 Check: 0.0 Back: 542.291
INFO - Atoms: 48613/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 289 Props: 20994085 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.253 Prop: 23534.034 PropClause: 23003.31 Set: 4434.899 Check: 0.0 Back: 543.509
INFO - Atoms: 48429/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 290 Props: 21042370 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.261 Prop: 23573.875 PropClause: 23041.945 Set: 4443.63 Check: 0.0 Back: 544.76
INFO - Atoms: 48285/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 21090471 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.27 Prop: 23612.91 PropClause: 23079.788 Set: 4452.48 Check: 0.0 Back: 545.957
INFO - Atoms: 48101/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 21138430 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.278 Prop: 23651.794 PropClause: 23117.464 Set: 4461.031 Check: 0.0 Back: 547.164
INFO - Atoms: 47959/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 293 Props: 21186207 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.287 Prop: 23687.6 PropClause: 23152.075 Set: 4469.604 Check: 0.0 Back: 548.343
INFO - Atoms: 47777/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 294 Props: 21233842 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.297 Prop: 23726.756 PropClause: 23190.053 Set: 4478.128 Check: 0.0 Back: 549.533
INFO - Atoms: 47635/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 21281291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.306 Prop: 23766.685 PropClause: 23228.8 Set: 4486.728 Check: 0.0 Back: 550.71
INFO - Atoms: 47449/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 296 Props: 21328598 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.315 Prop: 23804.445 PropClause: 23265.364 Set: 4495.505 Check: 0.0 Back: 551.897
INFO - Atoms: 47307/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 297 Props: 21375721 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.325 Prop: 23841.973 PropClause: 23301.716 Set: 4504.128 Check: 0.0 Back: 553.056
INFO - Atoms: 47123/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 21422702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.333 Prop: 23879.111 PropClause: 23337.667 Set: 4512.568 Check: 0.0 Back: 554.267
INFO - Atoms: 46981/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 21469501 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.343 Prop: 23915.402 PropClause: 23372.788 Set: 4521.152 Check: 0.0 Back: 555.432
INFO - Atoms: 46799/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 21516156 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.351 Prop: 23953.311 PropClause: 23409.532 Set: 4529.565 Check: 0.0 Back: 556.595
INFO - Atoms: 46655/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 301 Props: 21562627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.36 Prop: 23989.324 PropClause: 23444.372 Set: 4538.015 Check: 0.0 Back: 557.744
INFO - Atoms: 46471/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 21608956 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.368 Prop: 24024.402 PropClause: 23478.296 Set: 4546.209 Check: 0.0 Back: 558.892
INFO - Atoms: 46329/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 303 Props: 21655103 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.376 Prop: 24058.535 PropClause: 23511.293 Set: 4554.361 Check: 0.0 Back: 560.026
INFO - Atoms: 46147/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 304 Props: 21701086 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.386 Prop: 24091.004 PropClause: 23542.606 Set: 4562.526 Check: 0.0 Back: 561.16
INFO - Atoms: 45983/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 305 Props: 21746905 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.395 Prop: 24124.116 PropClause: 23574.587 Set: 4570.559 Check: 0.0 Back: 562.317
INFO - Atoms: 45819/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 21792582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.403 Prop: 24157.601 PropClause: 23606.934 Set: 4578.671 Check: 0.0 Back: 563.435
INFO - Atoms: 45677/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 307 Props: 21838077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.411 Prop: 24191.629 PropClause: 23639.816 Set: 4586.678 Check: 0.0 Back: 564.551
INFO - Atoms: 45495/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 21882634 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.42 Prop: 24223.99 PropClause: 23671.076 Set: 4594.376 Check: 0.0 Back: 565.701
INFO - Atoms: 44557/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 309 Props: 21927009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.429 Prop: 24253.348 PropClause: 23699.332 Set: 4602.079 Check: 0.0 Back: 566.776
INFO - Atoms: 44375/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 21971242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.436 Prop: 24285.854 PropClause: 23730.75 Set: 4609.659 Check: 0.0 Back: 567.862
INFO - Atoms: 44233/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 311 Props: 22015291 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.445 Prop: 24316.295 PropClause: 23760.095 Set: 4617.33 Check: 0.0 Back: 568.94
INFO - Atoms: 44049/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 312 Props: 22059198 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.454 Prop: 24346.918 PropClause: 23789.626 Set: 4624.906 Check: 0.0 Back: 570.025
INFO - Atoms: 43907/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 313 Props: 22102921 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.462 Prop: 24378.594 PropClause: 23820.193 Set: 4632.694 Check: 0.0 Back: 571.105
INFO - Atoms: 43723/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 22146502 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.471 Prop: 24406.65 PropClause: 23847.167 Set: 4640.19 Check: 0.0 Back: 572.182
INFO - Atoms: 43581/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 315 Props: 22189899 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.479 Prop: 24437.335 PropClause: 23876.76 Set: 4647.73 Check: 0.0 Back: 573.225
INFO - Atoms: 43397/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 316 Props: 22233152 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.487 Prop: 24467.445 PropClause: 23905.772 Set: 4655.24 Check: 0.0 Back: 574.295
INFO - Atoms: 43253/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 317 Props: 22276221 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.495 Prop: 24496.007 PropClause: 23933.262 Set: 4662.718 Check: 0.0 Back: 575.35
INFO - Atoms: 43069/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 318 Props: 22319150 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.504 Prop: 24524.186 PropClause: 23960.358 Set: 4670.128 Check: 0.0 Back: 576.403
INFO - Atoms: 42929/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 22361893 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.513 Prop: 24551.557 PropClause: 23986.655 Set: 4677.506 Check: 0.0 Back: 577.435
INFO - Atoms: 42743/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 22404494 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.521 Prop: 24580.286 PropClause: 24014.331 Set: 4684.793 Check: 0.0 Back: 578.456
INFO - Atoms: 42601/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 321 Props: 22446913 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.529 Prop: 24606.291 PropClause: 24039.288 Set: 4692.043 Check: 0.0 Back: 579.481
INFO - Atoms: 42419/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 322 Props: 22489190 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.536 Prop: 24634.891 PropClause: 24066.831 Set: 4699.259 Check: 0.0 Back: 580.507
INFO - Atoms: 42277/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 323 Props: 22531283 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.544 Prop: 24662.34 PropClause: 24093.233 Set: 4706.51 Check: 0.0 Back: 581.534
INFO - Atoms: 42093/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 22573232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.553 Prop: 24689.461 PropClause: 24119.314 Set: 4713.667 Check: 0.0 Back: 582.546
INFO - Atoms: 41949/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 325 Props: 22614997 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.562 Prop: 24717.907 PropClause: 24146.709 Set: 4720.899 Check: 0.0 Back: 583.545
INFO - Atoms: 41765/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 326 Props: 22656620 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.57 Prop: 24744.003 PropClause: 24171.762 Set: 4727.98 Check: 0.0 Back: 584.592
INFO - Atoms: 41623/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 22698061 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 24771.633 PropClause: 24198.372 Set: 4735.014 Check: 0.0 Back: 585.579
INFO - Atoms: 41441/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 328 Props: 22739358 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.587 Prop: 24801.156 PropClause: 24226.765 Set: 4742.899 Check: 0.0 Back: 586.58
INFO - Atoms: 41297/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 22780473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.595 Prop: 24830.84 PropClause: 24255.422 Set: 4750.065 Check: 0.0 Back: 587.685
INFO - Atoms: 41115/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 330 Props: 22821446 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.604 Prop: 24856.08 PropClause: 24279.643 Set: 4757.052 Check: 0.0 Back: 588.683
INFO - Atoms: 40973/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 331 Props: 22862235 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.611 Prop: 24882.783 PropClause: 24305.334 Set: 4764.036 Check: 0.0 Back: 589.663
INFO - Atoms: 40789/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 332 Props: 22902882 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.62 Prop: 24909.439 PropClause: 24330.948 Set: 4771.093 Check: 0.0 Back: 590.64
INFO - Atoms: 40647/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 22943345 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.628 Prop: 24934.559 PropClause: 24355.066 Set: 4777.985 Check: 0.0 Back: 591.623
INFO - Atoms: 40463/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 334 Props: 22983666 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.637 Prop: 24960.345 PropClause: 24379.83 Set: 4784.85 Check: 0.0 Back: 592.6
INFO - Atoms: 40321/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 23023801 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 24985.482 PropClause: 24403.969 Set: 4791.708 Check: 0.0 Back: 593.57
INFO - Atoms: 40135/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 23063794 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 25011.59 PropClause: 24429.077 Set: 4798.514 Check: 0.0 Back: 594.533
INFO - Atoms: 39993/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 337 Props: 23103605 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.662 Prop: 25036.564 PropClause: 24453.056 Set: 4805.298 Check: 0.0 Back: 595.503
INFO - Atoms: 39811/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 338 Props: 23143274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 25061.22 PropClause: 24476.732 Set: 4811.962 Check: 0.0 Back: 596.449
INFO - Atoms: 39669/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 339 Props: 23182759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.678 Prop: 25085.315 PropClause: 24499.846 Set: 4818.689 Check: 0.0 Back: 597.394
INFO - Atoms: 39485/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 23222100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 25110.395 PropClause: 24523.944 Set: 4825.379 Check: 0.0 Back: 598.347
INFO - Atoms: 39341/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 341 Props: 23261257 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.695 Prop: 25133.852 PropClause: 24546.426 Set: 4832.049 Check: 0.0 Back: 599.28
INFO - Atoms: 39157/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 342 Props: 23300274 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.705 Prop: 25159.051 PropClause: 24570.653 Set: 4838.641 Check: 0.0 Back: 600.227
INFO - Atoms: 39017/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 23339105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.713 Prop: 25182.039 PropClause: 24592.67 Set: 4845.22 Check: 0.0 Back: 601.148
INFO - Atoms: 38831/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 344 Props: 23377796 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.721 Prop: 25205.343 PropClause: 24615.016 Set: 4851.686 Check: 0.0 Back: 602.077
INFO - Atoms: 38691/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 345 Props: 23416303 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.729 Prop: 25229.288 PropClause: 24638.001 Set: 4858.207 Check: 0.0 Back: 602.99
INFO - Atoms: 38507/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 23454668 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.737 Prop: 25253.517 PropClause: 24661.275 Set: 4864.754 Check: 0.0 Back: 603.913
INFO - Atoms: 38365/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 347 Props: 23492849 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.746 Prop: 25276.068 PropClause: 24682.865 Set: 4871.237 Check: 0.0 Back: 604.831
INFO - Atoms: 38181/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 348 Props: 23530888 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.812 Prop: 25299.343 PropClause: 24705.147 Set: 4878.038 Check: 0.0 Back: 605.742
INFO - Atoms: 38039/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 349 Props: 23568743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.866 Prop: 25322.796 PropClause: 24727.611 Set: 4884.948 Check: 0.0 Back: 606.655
INFO - Atoms: 37855/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 23606456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.915 Prop: 25344.815 PropClause: 24748.679 Set: 4891.289 Check: 0.0 Back: 607.69
INFO - Atoms: 37713/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 23643985 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.923 Prop: 25366.006 PropClause: 24768.939 Set: 4897.593 Check: 0.0 Back: 608.635
INFO - Atoms: 37529/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 352 Props: 23681372 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.93 Prop: 25387.388 PropClause: 24789.399 Set: 4903.831 Check: 0.0 Back: 609.517
INFO - Atoms: 37387/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 353 Props: 23718573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.939 Prop: 25409.31 PropClause: 24810.392 Set: 4910.086 Check: 0.0 Back: 610.404
INFO - Atoms: 37201/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 354 Props: 23755632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.948 Prop: 25430.251 PropClause: 24830.415 Set: 4916.198 Check: 0.0 Back: 611.306
INFO - Atoms: 37059/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 23792509 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.957 Prop: 25451.636 PropClause: 24850.889 Set: 4922.344 Check: 0.0 Back: 612.169
INFO - Atoms: 36877/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 356 Props: 23829244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.963 Prop: 25471.892 PropClause: 24870.231 Set: 4928.394 Check: 0.0 Back: 613.034
INFO - Atoms: 36735/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 357 Props: 23865795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.971 Prop: 25494.507 PropClause: 24891.938 Set: 4934.552 Check: 0.0 Back: 613.898
INFO - Atoms: 36551/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 358 Props: 23902202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.978 Prop: 25513.924 PropClause: 24910.44 Set: 4940.586 Check: 0.0 Back: 614.769
INFO - Atoms: 36407/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 23938427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.985 Prop: 25534.876 PropClause: 24930.481 Set: 4946.667 Check: 0.0 Back: 615.626
INFO - Atoms: 36225/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 360 Props: 23974510 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.994 Prop: 25555.016 PropClause: 24949.72 Set: 4952.66 Check: 0.0 Back: 616.49
INFO - Atoms: 36083/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 24010409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.001 Prop: 25575.094 PropClause: 24968.902 Set: 4958.665 Check: 0.0 Back: 617.329
INFO - Atoms: 35899/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 362 Props: 24046166 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.009 Prop: 25594.491 PropClause: 24987.411 Set: 4964.535 Check: 0.0 Back: 618.265
INFO - Atoms: 35757/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 24081739 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.016 Prop: 25613.763 PropClause: 25005.801 Set: 4970.426 Check: 0.0 Back: 619.099
INFO - Atoms: 35573/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 364 Props: 24117170 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.024 Prop: 25632.919 PropClause: 25024.068 Set: 4976.262 Check: 0.0 Back: 619.935
INFO - Atoms: 35431/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 365 Props: 24152417 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.032 Prop: 25652.361 PropClause: 25042.633 Set: 4982.164 Check: 0.0 Back: 620.759
INFO - Atoms: 35247/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 366 Props: 24187522 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.042 Prop: 25671.332 PropClause: 25060.727 Set: 4987.906 Check: 0.0 Back: 621.59
INFO - Atoms: 35105/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 367 Props: 24222441 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.051 Prop: 25689.334 PropClause: 25077.863 Set: 4993.676 Check: 0.0 Back: 622.407
INFO - Atoms: 34919/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 24257218 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.059 Prop: 25707.772 PropClause: 25095.434 Set: 4999.365 Check: 0.0 Back: 623.247
INFO - Atoms: 34777/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 24291653 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.065 Prop: 25726.259 PropClause: 25113.067 Set: 5005.048 Check: 0.0 Back: 624.071
INFO - Atoms: 34435/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 370 Props: 24325875 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.073 Prop: 25744.276 PropClause: 25130.224 Set: 5010.582 Check: 0.0 Back: 624.879
INFO - Atoms: 34222/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 371 Props: 24359915 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.082 Prop: 25761.847 PropClause: 25146.952 Set: 5016.162 Check: 0.0 Back: 625.678
INFO - Atoms: 34040/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 372 Props: 24393813 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.089 Prop: 25779.479 PropClause: 25163.737 Set: 5021.626 Check: 0.0 Back: 626.492
INFO - Atoms: 33898/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 24427527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.095 Prop: 25796.644 PropClause: 25180.059 Set: 5027.089 Check: 0.0 Back: 627.277
INFO - Atoms: 33714/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 374 Props: 24461099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.106 Prop: 25812.337 PropClause: 25194.914 Set: 5032.482 Check: 0.0 Back: 628.074
INFO - Atoms: 33572/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 375 Props: 24494487 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.115 Prop: 25829.249 PropClause: 25210.999 Set: 5037.867 Check: 0.0 Back: 628.864
INFO - Atoms: 33388/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 376 Props: 24527733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.12 Prop: 25845.503 PropClause: 25226.415 Set: 5043.151 Check: 0.0 Back: 629.65
INFO - Atoms: 33246/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 24560795 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.129 Prop: 25861.747 PropClause: 25241.839 Set: 5048.445 Check: 0.0 Back: 630.42
INFO - Atoms: 33062/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 378 Props: 24593715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.136 Prop: 25877.678 PropClause: 25256.952 Set: 5053.694 Check: 0.0 Back: 631.206
INFO - Atoms: 32920/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 24626451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.144 Prop: 25893.842 PropClause: 25272.304 Set: 5058.976 Check: 0.0 Back: 631.973
INFO - Atoms: 32736/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 380 Props: 24659045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.154 Prop: 25909.651 PropClause: 25287.295 Set: 5064.188 Check: 0.0 Back: 632.758
INFO - Atoms: 32594/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 381 Props: 24691455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.162 Prop: 25924.484 PropClause: 25301.319 Set: 5069.396 Check: 0.0 Back: 633.521
INFO - Atoms: 32410/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 24723723 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.172 Prop: 25939.27 PropClause: 25315.296 Set: 5074.501 Check: 0.0 Back: 634.282
INFO - Atoms: 32268/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 383 Props: 24755807 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 25952.948 PropClause: 25328.177 Set: 5079.62 Check: 0.0 Back: 635.036
INFO - Atoms: 32084/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 384 Props: 24787749 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.188 Prop: 25966.283 PropClause: 25340.716 Set: 5084.634 Check: 0.0 Back: 635.802
INFO - Atoms: 31942/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 385 Props: 24819528 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.197 Prop: 25979.771 PropClause: 25353.405 Set: 5089.67 Check: 0.0 Back: 636.548
INFO - Atoms: 31779/95294 Clauses: 1169 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 885 Props: 26358896 Tprops: 0 Decides: 6087 RSplits: 0
INFO - Times: Expl: 1186.758 Prop: 27219.127 PropClause: 26549.46 Set: 5131.926 Check: 0.158 Back: 673.298
INFO - Atoms: 31202/95294 Clauses: 1668 Axioms: 315074
INFO - Restart
INFO - Confl: 1385 Props: 27703541 Tprops: 0 Decides: 10405 RSplits: 0
INFO - Times: Expl: 1666.288 Prop: 28317.111 PropClause: 27609.054 Set: 5165.442 Check: 0.271 Back: 705.611
INFO - Atoms: 31218/95294 Clauses: 2168 Axioms: 315074
INFO - Confl: 1516 Props: 28128992 Tprops: 0 Decides: 11585 RSplits: 0
INFO - Times: Expl: 1805.883 Prop: 28643.605 PropClause: 27923.427 Set: 5176.211 Check: 0.302 Back: 715.705
INFO - Atoms: 32682/95294 Clauses: 2299 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 2016 Props: 29932438 Tprops: 0 Decides: 18163 RSplits: 0
INFO - Times: Expl: 2569.115 Prop: 30171.737 PropClause: 29401.815 Set: 5224.706 Check: 0.468 Back: 758.42
INFO - Atoms: 31203/95294 Clauses: 1673 Axioms: 315074
INFO - Restart
INFO - Confl: 2516 Props: 31206408 Tprops: 0 Decides: 22028 RSplits: 0
INFO - Times: Expl: 2977.766 Prop: 31128.693 PropClause: 30323.559 Set: 5255.912 Check: 0.566 Back: 788.466
INFO - Atoms: 31220/95294 Clauses: 2173 Axioms: 315074
INFO - Confl: 2675 Props: 31556006 Tprops: 0 Decides: 22890 RSplits: 0
INFO - Times: Expl: 3104.922 Prop: 31384.327 PropClause: 30569.777 Set: 5264.6 Check: 0.589 Back: 796.676
INFO - Atoms: 31905/95294 Clauses: 2332 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 3175 Props: 33026339 Tprops: 0 Decides: 27883 RSplits: 0
INFO - Times: Expl: 3867.689 Prop: 32620.691 PropClause: 31765.041 Set: 5306.43 Check: 0.717 Back: 831.891
INFO - Atoms: 31202/95294 Clauses: 1675 Axioms: 315074
INFO - Restart
INFO - Confl: 3675 Props: 34304471 Tprops: 0 Decides: 31639 RSplits: 0
INFO - Times: Expl: 4348.797 Prop: 33635.707 PropClause: 32743.648 Set: 5338.029 Check: 0.815 Back: 862.591
INFO - Atoms: 31210/95294 Clauses: 2175 Axioms: 315074
INFO - Confl: 3808 Props: 34712901 Tprops: 0 Decides: 32672 RSplits: 0
INFO - Times: Expl: 4530.472 Prop: 34035.483 PropClause: 33130.796 Set: 5348.44 Check: 0.843 Back: 872.814
INFO - Atoms: 31268/95294 Clauses: 2308 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 4308 Props: 36124790 Tprops: 0 Decides: 37013 RSplits: 0
INFO - Times: Expl: 5221.174 Prop: 35200.077 PropClause: 34256.978 Set: 5387.614 Check: 0.956 Back: 906.18
INFO - Atoms: 31202/95294 Clauses: 1675 Axioms: 315074
INFO - Restart
INFO - Confl: 4808 Props: 37455381 Tprops: 0 Decides: 40918 RSplits: 0
INFO - Times: Expl: 5692.425 Prop: 36242.36 PropClause: 35262.523 Set: 5420.882 Check: 1.062 Back: 937.962
INFO - Atoms: 31227/95294 Clauses: 2175 Axioms: 315074
INFO - Confl: 4946 Props: 37788852 Tprops: 0 Decides: 41697 RSplits: 0
INFO - Times: Expl: 5813.314 Prop: 36511.944 PropClause: 35522.739 Set: 5429.452 Check: 1.082 Back: 945.98
INFO - Atoms: 32177/95294 Clauses: 2313 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 5446 Props: 39445377 Tprops: 0 Decides: 47613 RSplits: 0
INFO - Times: Expl: 6651.612 Prop: 37978.761 PropClause: 36943.525 Set: 5475.831 Check: 1.231 Back: 985.31
INFO - Atoms: 31203/95294 Clauses: 1677 Axioms: 315074
INFO - Restart
INFO - Confl: 5946 Props: 40782656 Tprops: 0 Decides: 52027 RSplits: 0
INFO - Times: Expl: 7088.996 Prop: 38948.294 PropClause: 37877.105 Set: 5508.123 Check: 1.343 Back: 1016.702
INFO - Atoms: 31224/95294 Clauses: 2177 Axioms: 315074
INFO - Confl: 6085 Props: 41170227 Tprops: 0 Decides: 53094 RSplits: 0
INFO - Times: Expl: 7263.635 Prop: 39273.781 PropClause: 38190.55 Set: 5518.214 Check: 1.371 Back: 1026.432
INFO - Atoms: 32097/95294 Clauses: 2316 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Restart
INFO - Confl: 6585 Props: 42946647 Tprops: 0 Decides: 59544 RSplits: 0
INFO - Times: Expl: 7929.574 Prop: 40732.775 PropClause: 39600.063 Set: 5567.114 Check: 1.546 Back: 1069.107
INFO - Atoms: 31202/95294 Clauses: 1679 Axioms: 315074
INFO - Restart
INFO - Confl: 7085 Props: 44056801 Tprops: 0 Decides: 62513 RSplits: 0
INFO - Times: Expl: 8355.993 Prop: 41574.93 PropClause: 40411.237 Set: 5595.119 Check: 1.625 Back: 1096.033
INFO - Atoms: 31206/95294 Clauses: 2179 Axioms: 315074
INFO - Confl: 7189 Props: 44266958 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.715 Prop: 41707.714 PropClause: 40538.172 Set: 5600.703 Check: 1.642 Back: 1101.049
INFO - Atoms: 32641/95294 Clauses: 2283 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7190 Props: 44311939 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.745 Prop: 41771.794 PropClause: 40600.872 Set: 5621.133 Check: 1.642 Back: 1101.835
INFO - Atoms: 44981/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7191 Props: 44357077 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.751 Prop: 41816.327 PropClause: 40644.165 Set: 5630.316 Check: 1.642 Back: 1102.953
INFO - Atoms: 45138/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7192 Props: 44402384 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.757 Prop: 41854.118 PropClause: 40680.775 Set: 5637.868 Check: 1.642 Back: 1104.137
INFO - Atoms: 45307/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7193 Props: 44448040 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.762 Prop: 41891.432 PropClause: 40716.951 Set: 5645.393 Check: 1.642 Back: 1105.257
INFO - Atoms: 45656/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7194 Props: 44493983 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.77 Prop: 41935.808 PropClause: 40759.971 Set: 5655.042 Check: 1.642 Back: 1106.378
INFO - Atoms: 45943/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7195 Props: 44540590 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.777 Prop: 41981.14 PropClause: 40803.989 Set: 5663.953 Check: 1.642 Back: 1107.602
INFO - Atoms: 46607/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7196 Props: 44587380 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.783 Prop: 42025.383 PropClause: 40846.92 Set: 5672.862 Check: 1.642 Back: 1108.988
INFO - Atoms: 46790/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7197 Props: 44634625 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.789 Prop: 42075.617 PropClause: 40895.726 Set: 5683.293 Check: 1.642 Back: 1110.213
INFO - Atoms: 47245/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7198 Props: 44691619 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.926 Prop: 42126.663 PropClause: 40945.34 Set: 5692.882 Check: 1.642 Back: 1111.393
INFO - Atoms: 56994/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7199 Props: 44748775 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.962 Prop: 42188.328 PropClause: 41005.539 Set: 5702.874 Check: 1.642 Back: 1112.835
INFO - Atoms: 57156/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7200 Props: 44806074 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.975 Prop: 42248.667 PropClause: 41064.413 Set: 5712.69 Check: 1.642 Back: 1114.285
INFO - Atoms: 57299/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7201 Props: 44852288 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.988 Prop: 42297.608 PropClause: 41111.942 Set: 5719.908 Check: 1.642 Back: 1115.765
INFO - Atoms: 46214/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7202 Props: 44899903 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8434.999 Prop: 42337.706 PropClause: 41150.587 Set: 5727.776 Check: 1.642 Back: 1116.887
INFO - Atoms: 47615/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7203 Props: 44947669 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.01 Prop: 42376.276 PropClause: 41187.751 Set: 5735.43 Check: 1.642 Back: 1118.079
INFO - Atoms: 47766/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7204 Props: 44995922 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.023 Prop: 42415.729 PropClause: 41225.806 Set: 5743.31 Check: 1.642 Back: 1119.225
INFO - Atoms: 48253/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7205 Props: 45044330 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.037 Prop: 42461.291 PropClause: 41269.769 Set: 5754.191 Check: 1.642 Back: 1120.419
INFO - Atoms: 48408/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7206 Props: 45092895 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.049 Prop: 42497.641 PropClause: 41304.884 Set: 5761.872 Check: 1.642 Back: 1121.622
INFO - Atoms: 48565/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7207 Props: 45141623 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.062 Prop: 42542.826 PropClause: 41348.741 Set: 5770.863 Check: 1.642 Back: 1122.802
INFO - Atoms: 48728/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7208 Props: 45190532 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.075 Prop: 42583.856 PropClause: 41388.532 Set: 5778.744 Check: 1.642 Back: 1124.023
INFO - Atoms: 48909/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7209 Props: 45239588 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.087 Prop: 42627.703 PropClause: 41431.146 Set: 5786.687 Check: 1.642 Back: 1125.241
INFO - Atoms: 49056/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7210 Props: 45288807 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.098 Prop: 42674.906 PropClause: 41477.106 Set: 5795.033 Check: 1.642 Back: 1126.476
INFO - Atoms: 49219/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7211 Props: 45338189 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.11 Prop: 42714.394 PropClause: 41515.366 Set: 5802.943 Check: 1.642 Back: 1127.703
INFO - Atoms: 49382/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7212 Props: 45387733 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.122 Prop: 42760.037 PropClause: 41559.743 Set: 5811.19 Check: 1.642 Back: 1128.899
INFO - Atoms: 49544/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7213 Props: 45437440 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.132 Prop: 42798.976 PropClause: 41597.447 Set: 5819.259 Check: 1.642 Back: 1130.097
INFO - Atoms: 49707/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7214 Props: 45487317 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.143 Prop: 42843.009 PropClause: 41640.201 Set: 5827.815 Check: 1.642 Back: 1131.327
INFO - Atoms: 49877/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7215 Props: 45537351 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.154 Prop: 42890.206 PropClause: 41686.055 Set: 5837.242 Check: 1.642 Back: 1132.59
INFO - Atoms: 50034/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7216 Props: 45587558 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.166 Prop: 42931.996 PropClause: 41726.593 Set: 5845.303 Check: 1.642 Back: 1133.896
INFO - Atoms: 50207/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7217 Props: 45637932 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.18 Prop: 42976.357 PropClause: 41769.682 Set: 5853.651 Check: 1.642 Back: 1135.145
INFO - Atoms: 50374/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7218 Props: 45688469 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.193 Prop: 43020.836 PropClause: 41812.898 Set: 5862.305 Check: 1.642 Back: 1136.411
INFO - Atoms: 50537/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7219 Props: 45739170 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.206 Prop: 43067.136 PropClause: 41857.923 Set: 5871.028 Check: 1.642 Back: 1137.7
INFO - Atoms: 50701/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7220 Props: 45790019 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.219 Prop: 43115.719 PropClause: 41905.127 Set: 5880.719 Check: 1.642 Back: 1138.969
INFO - Atoms: 50849/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7221 Props: 45841030 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.231 Prop: 43163.975 PropClause: 41952.019 Set: 5889.777 Check: 1.642 Back: 1140.267
INFO - Atoms: 51011/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7222 Props: 45892215 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.244 Prop: 43209.503 PropClause: 41996.261 Set: 5898.275 Check: 1.642 Back: 1141.537
INFO - Atoms: 51185/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7223 Props: 45943552 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.257 Prop: 43260.081 PropClause: 42045.535 Set: 5907.448 Check: 1.642 Back: 1142.831
INFO - Atoms: 51337/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7224 Props: 45995053 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.271 Prop: 43315.759 PropClause: 42099.812 Set: 5917.413 Check: 1.642 Back: 1144.357
INFO - Atoms: 51501/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7225 Props: 46046715 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.281 Prop: 43363.726 PropClause: 42146.487 Set: 5925.767 Check: 1.642 Back: 1145.664
INFO - Atoms: 51662/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7226 Props: 46098548 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.295 Prop: 43412.109 PropClause: 42193.552 Set: 5935.002 Check: 1.642 Back: 1146.955
INFO - Atoms: 51833/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7227 Props: 46150537 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.307 Prop: 43459.451 PropClause: 42239.618 Set: 5943.453 Check: 1.642 Back: 1148.286
INFO - Atoms: 51989/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7228 Props: 46202705 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.319 Prop: 43509.275 PropClause: 42288.12 Set: 5952.445 Check: 1.642 Back: 1149.591
INFO - Atoms: 52168/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7229 Props: 46255031 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.395 Prop: 43557.503 PropClause: 42335.043 Set: 5961.023 Check: 1.642 Back: 1150.933
INFO - Atoms: 52326/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7230 Props: 46307524 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.428 Prop: 43605.579 PropClause: 42381.83 Set: 5969.806 Check: 1.642 Back: 1152.256
INFO - Atoms: 52493/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7231 Props: 46360306 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.435 Prop: 43655.81 PropClause: 42430.724 Set: 5978.495 Check: 1.642 Back: 1153.565
INFO - Atoms: 52782/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7232 Props: 46413109 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.44 Prop: 43705.886 PropClause: 42479.418 Set: 5987.918 Check: 1.642 Back: 1154.908
INFO - Atoms: 52803/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7233 Props: 46466231 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.445 Prop: 43753.449 PropClause: 42525.669 Set: 5996.581 Check: 1.642 Back: 1156.264
INFO - Atoms: 53122/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7234 Props: 46519362 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.45 Prop: 43801.938 PropClause: 42572.841 Set: 6005.25 Check: 1.642 Back: 1157.599
INFO - Atoms: 53131/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7235 Props: 46574142 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.456 Prop: 43855.169 PropClause: 42624.689 Set: 6014.501 Check: 1.642 Back: 1158.928
INFO - Atoms: 54780/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7236 Props: 46629242 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.462 Prop: 43908.182 PropClause: 42676.305 Set: 6023.834 Check: 1.642 Back: 1160.377
INFO - Atoms: 55100/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7237 Props: 46684363 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.467 Prop: 43963.33 PropClause: 42730.047 Set: 6033.916 Check: 1.642 Back: 1161.788
INFO - Atoms: 55121/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7238 Props: 46739650 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.472 Prop: 44018.284 PropClause: 42783.597 Set: 6064.742 Check: 1.642 Back: 1163.25
INFO - Atoms: 55287/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7239 Props: 46795084 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.477 Prop: 44071.685 PropClause: 42835.59 Set: 6074.409 Check: 1.642 Back: 1164.636
INFO - Atoms: 55434/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7240 Props: 46850679 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.484 Prop: 44126.306 PropClause: 42888.789 Set: 6083.85 Check: 1.642 Back: 1166.059
INFO - Atoms: 55595/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7241 Props: 46906449 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.489 Prop: 44183.423 PropClause: 42944.451 Set: 6093.647 Check: 1.642 Back: 1167.51
INFO - Atoms: 55770/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7242 Props: 46961299 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.494 Prop: 44236.29 PropClause: 42995.961 Set: 6102.488 Check: 1.642 Back: 1168.97
INFO - Atoms: 54850/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7243 Props: 47026862 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.498 Prop: 44298.856 PropClause: 43056.887 Set: 6113.521 Check: 1.642 Back: 1170.36
INFO - Atoms: 65563/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7244 Props: 47092891 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.503 Prop: 44365.6 PropClause: 43122.003 Set: 6124.443 Check: 1.642 Back: 1172.046
INFO - Atoms: 66029/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7245 Props: 47159087 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.508 Prop: 44433.463 PropClause: 43188.109 Set: 6136.838 Check: 1.642 Back: 1173.727
INFO - Atoms: 66196/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7246 Props: 47225442 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.513 Prop: 44500.051 PropClause: 43253.037 Set: 6148.311 Check: 1.642 Back: 1175.414
INFO - Atoms: 66355/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7247 Props: 47291958 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.519 Prop: 44568.11 PropClause: 43319.446 Set: 6159.766 Check: 1.642 Back: 1177.118
INFO - Atoms: 66516/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7248 Props: 47358780 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.525 Prop: 44635.979 PropClause: 43385.609 Set: 6171.507 Check: 1.642 Back: 1178.825
INFO - Atoms: 66822/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7249 Props: 47425622 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.53 Prop: 44706.014 PropClause: 43453.923 Set: 6183.509 Check: 1.642 Back: 1180.562
INFO - Atoms: 66842/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7250 Props: 47492637 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.535 Prop: 44770.904 PropClause: 43517.123 Set: 6195.048 Check: 1.642 Back: 1182.285
INFO - Atoms: 67015/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7251 Props: 47559805 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.542 Prop: 44839.54 PropClause: 43584.079 Set: 6206.427 Check: 1.642 Back: 1184.032
INFO - Atoms: 67168/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7252 Props: 47627149 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.546 Prop: 44906.508 PropClause: 43649.348 Set: 6218.072 Check: 1.642 Back: 1185.763
INFO - Atoms: 67344/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7253 Props: 47694660 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.552 Prop: 44981.665 PropClause: 43722.492 Set: 6232.823 Check: 1.642 Back: 1187.52
INFO - Atoms: 67511/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7254 Props: 47762325 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.557 Prop: 45066.789 PropClause: 43805.651 Set: 6248.455 Check: 1.642 Back: 1189.272
INFO - Atoms: 67665/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7255 Props: 47830145 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.564 Prop: 45146.573 PropClause: 43883.482 Set: 6262.791 Check: 1.642 Back: 1191.07
INFO - Atoms: 67820/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7256 Props: 47898128 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.569 Prop: 45220.422 PropClause: 43955.625 Set: 6274.19 Check: 1.642 Back: 1192.838
INFO - Atoms: 67983/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7257 Props: 47966275 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.574 Prop: 45296.324 PropClause: 44029.8 Set: 6286.408 Check: 1.642 Back: 1194.62
INFO - Atoms: 68147/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7258 Props: 48034598 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.58 Prop: 45368.487 PropClause: 44100.24 Set: 6330.578 Check: 1.642 Back: 1196.416
INFO - Atoms: 68323/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7259 Props: 48103070 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.586 Prop: 45442.032 PropClause: 44172.081 Set: 6342.13 Check: 1.642 Back: 1198.071
INFO - Atoms: 68472/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7260 Props: 48171705 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.592 Prop: 45513.634 PropClause: 44241.995 Set: 6353.511 Check: 1.642 Back: 1199.838
INFO - Atoms: 68635/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7261 Props: 48240507 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.597 Prop: 45586.429 PropClause: 44313.046 Set: 6365.762 Check: 1.642 Back: 1201.634
INFO - Atoms: 68802/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7262 Props: 48309609 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.602 Prop: 45660.163 PropClause: 44385.061 Set: 6377.491 Check: 1.642 Back: 1203.437
INFO - Atoms: 69102/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7263 Props: 48378734 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.607 Prop: 45733.295 PropClause: 44456.456 Set: 6389.163 Check: 1.642 Back: 1205.239
INFO - Atoms: 69125/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7264 Props: 48447147 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.612 Prop: 45812.707 PropClause: 44533.967 Set: 6405.312 Check: 1.642 Back: 1207.058
INFO - Atoms: 68413/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7265 Props: 48515721 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.617 Prop: 45891.903 PropClause: 44611.425 Set: 6417.68 Check: 1.642 Back: 1208.876
INFO - Atoms: 68574/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7266 Props: 48584615 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.622 Prop: 45964.573 PropClause: 44682.357 Set: 6429.846 Check: 1.642 Back: 1210.685
INFO - Atoms: 68894/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7267 Props: 48653531 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.627 Prop: 46038.098 PropClause: 44754.135 Set: 6441.687 Check: 1.642 Back: 1212.521
INFO - Atoms: 68916/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7268 Props: 48722606 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.632 Prop: 46118.605 PropClause: 44832.787 Set: 6454.847 Check: 1.642 Back: 1214.358
INFO - Atoms: 69075/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7269 Props: 48791833 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.638 Prop: 46191.932 PropClause: 44904.366 Set: 6466.922 Check: 1.642 Back: 1216.185
INFO - Atoms: 69227/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7270 Props: 48860826 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.644 Prop: 46265.298 PropClause: 44976.035 Set: 6478.401 Check: 1.642 Back: 1218.021
INFO - Atoms: 68993/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Restart
INFO - Confl: 500 Props: 42336 Tprops: 2059 Decides: 100827 RSplits: 0
INFO - Times: Expl: 564.082 Prop: 105647.073 PropClause: 31.73 Set: 24179.112 Check: 618.116 Back: 275.308
INFO - Atoms: 32/1651 Clauses: 500 Axioms: 1651
INFO - CCTimes: iE 1159933 eq 58316738 cc 313066527 setRep 183854270
INFO - Merges: 967716, cc:2354774
INFO - BVTimes: BB 419713628 BB_DPLL 97360456508 Graph 2321991
INFO - BitBlastingClauses: 866370 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Bitblasting DPLL:
INFO - Confl: 7271 Props: 48919285 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.649 Prop: 46332.028 PropClause: 45041.334 Set: 6487.94 Check: 1.642 Back: 1219.802
INFO - Atoms: 58459/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7272 Props: 48977363 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.655 Prop: 46394.424 PropClause: 45102.173 Set: 6498.788 Check: 1.642 Back: 1221.283
INFO - Atoms: 58078/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7273 Props: 49032472 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.661 Prop: 46451.689 PropClause: 45158.049 Set: 6508.101 Check: 1.642 Back: 1222.883
INFO - Atoms: 55109/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7274 Props: 49088554 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.666 Prop: 46504.305 PropClause: 45209.269 Set: 6517.522 Check: 1.642 Back: 1224.274
INFO - Atoms: 56082/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7275 Props: 49145293 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.672 Prop: 46559.02 PropClause: 45262.565 Set: 6527.185 Check: 1.642 Back: 1225.699
INFO - Atoms: 56739/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7276 Props: 49201571 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.677 Prop: 46611.368 PropClause: 45313.519 Set: 6536.31 Check: 1.642 Back: 1227.134
INFO - Atoms: 56278/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7277 Props: 49259752 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.683 Prop: 46664.818 PropClause: 45365.535 Set: 6545.711 Check: 1.642 Back: 1228.542
INFO - Atoms: 58181/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7278 Props: 49317021 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.688 Prop: 46723.438 PropClause: 45422.676 Set: 6555.715 Check: 1.642 Back: 1229.991
INFO - Atoms: 57269/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7279 Props: 49375868 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.693 Prop: 46779.767 PropClause: 45477.556 Set: 6565.313 Check: 1.642 Back: 1231.458
INFO - Atoms: 58847/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7280 Props: 49434270 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.699 Prop: 46835.673 PropClause: 45532.023 Set: 6574.886 Check: 1.642 Back: 1232.944
INFO - Atoms: 58402/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7281 Props: 49494999 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.704 Prop: 46892.322 PropClause: 45587.149 Set: 6585.115 Check: 1.642 Back: 1234.425
INFO - Atoms: 60729/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7282 Props: 49554720 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.709 Prop: 46951.831 PropClause: 45645.162 Set: 6594.88 Check: 1.642 Back: 1235.956
INFO - Atoms: 59721/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7283 Props: 49615205 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.714 Prop: 47009.921 PropClause: 45701.77 Set: 6604.87 Check: 1.642 Back: 1237.462
INFO - Atoms: 60485/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7284 Props: 49675552 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.719 Prop: 47070.814 PropClause: 45761.145 Set: 6615.167 Check: 1.642 Back: 1238.982
INFO - Atoms: 60347/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7285 Props: 49737958 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.725 Prop: 47135.512 PropClause: 45824.287 Set: 6625.838 Check: 1.642 Back: 1240.534
INFO - Atoms: 62406/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7286 Props: 49798672 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.732 Prop: 47196.051 PropClause: 45883.338 Set: 6635.6 Check: 1.642 Back: 1242.139
INFO - Atoms: 60714/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7287 Props: 49862096 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.738 Prop: 47258.476 PropClause: 45944.192 Set: 6646.25 Check: 1.642 Back: 1243.658
INFO - Atoms: 63424/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7288 Props: 49923784 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.743 Prop: 47322.9 PropClause: 46006.226 Set: 6656.342 Check: 1.642 Back: 1245.281
INFO - Atoms: 61688/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7289 Props: 49987362 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.748 Prop: 47388.139 PropClause: 46069.851 Set: 6667.125 Check: 1.642 Back: 1246.869
INFO - Atoms: 63578/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7290 Props: 50051597 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.754 Prop: 47456.974 PropClause: 46137.067 Set: 6695.311 Check: 1.642 Back: 1248.529
INFO - Atoms: 64235/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7291 Props: 50116010 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.758 Prop: 47521.527 PropClause: 46200.031 Set: 6705.871 Check: 1.642 Back: 1250.192
INFO - Atoms: 64413/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7292 Props: 50181228 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.764 Prop: 47587.066 PropClause: 46263.978 Set: 6716.452 Check: 1.642 Back: 1251.818
INFO - Atoms: 65218/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7293 Props: 50246923 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.769 Prop: 47654.913 PropClause: 46330.179 Set: 6727.746 Check: 1.642 Back: 1253.447
INFO - Atoms: 65695/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7294 Props: 50312278 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.774 Prop: 47720.722 PropClause: 46394.397 Set: 6738.304 Check: 1.642 Back: 1255.14
INFO - Atoms: 65355/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7295 Props: 50380875 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.779 Prop: 47795.791 PropClause: 46467.76 Set: 6749.733 Check: 1.642 Back: 1256.818
INFO - Atoms: 68597/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7296 Props: 50449630 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.784 Prop: 47865.086 PropClause: 46535.342 Set: 6760.955 Check: 1.642 Back: 1258.583
INFO - Atoms: 68755/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7297 Props: 50518550 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.791 Prop: 47939.21 PropClause: 46607.746 Set: 6772.87 Check: 1.642 Back: 1260.37
INFO - Atoms: 68920/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7298 Props: 50587623 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.795 Prop: 48006.539 PropClause: 46673.362 Set: 6784.612 Check: 1.642 Back: 1262.163
INFO - Atoms: 69073/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7299 Props: 50657016 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.802 Prop: 48077.027 PropClause: 46742.134 Set: 6796.27 Check: 1.642 Back: 1263.934
INFO - Atoms: 69393/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7300 Props: 50726415 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.807 Prop: 48149.125 PropClause: 46812.54 Set: 6807.726 Check: 1.642 Back: 1265.721
INFO - Atoms: 69399/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7301 Props: 50796134 Tprops: 0 Decides: 63117 RSplits: 0
INFO - Times: Expl: 8435.812 Prop: 48238.24 PropClause: 46899.628 Set: 6824.803 Check: 1.642 Back: 1267.489
INFO - Atoms: 69719/95294 Clauses: 1186 Axioms: 315074
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 640 Props: 59289 Tprops: 2192 Decides: 101930 RSplits: 0
INFO - Times: Expl: 600.562 Prop: 110962.036 PropClause: 40.435 Set: 26028.472 Check: 647.239 Back: 324.729
INFO - Atoms: 62/1651 Clauses: 640 Axioms: 1651
INFO - CCTimes: iE 1209428 eq 61798527 cc 329289726 setRep 193756236
INFO - Merges: 1015903, cc:2569147
INFO - BVTimes: BB 419713628 BB_DPLL 102160243380 Graph 2348443
INFO - BitBlastingClauses: 902578 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat