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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 164985657
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 23902 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.664 Prop: 49.098 PropClause: 43.611 Set: 20.59 Check: 0.0 Back: 0.0
INFO - Atoms: 23902/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 47488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.711 Prop: 91.433 PropClause: 82.439 Set: 60.208 Check: 0.0 Back: 0.704
INFO - Atoms: 23586/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 71074 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.78 Prop: 119.157 PropClause: 108.807 Set: 65.814 Check: 0.0 Back: 1.339
INFO - Atoms: 23586/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 94656 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.831 Prop: 151.416 PropClause: 140.06 Set: 72.086 Check: 0.0 Back: 1.923
INFO - Atoms: 23582/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 118242 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.88 Prop: 187.411 PropClause: 174.938 Set: 82.886 Check: 0.0 Back: 2.55
INFO - Atoms: 23586/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 141823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.933 Prop: 222.68 PropClause: 209.065 Set: 93.314 Check: 0.0 Back: 3.181
INFO - Atoms: 23581/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 165402 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.985 Prop: 257.74 PropClause: 242.961 Set: 100.37 Check: 0.0 Back: 3.809
INFO - Atoms: 23579/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 188835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.035 Prop: 289.166 PropClause: 273.289 Set: 107.266 Check: 0.0 Back: 4.436
INFO - Atoms: 23433/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 212094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.081 Prop: 320.446 PropClause: 303.449 Set: 114.46 Check: 0.0 Back: 5.061
INFO - Atoms: 23259/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 235189 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.138 Prop: 352.549 PropClause: 334.576 Set: 139.919 Check: 0.0 Back: 5.678
INFO - Atoms: 23095/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 258122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.189 Prop: 377.569 PropClause: 358.999 Set: 143.949 Check: 0.0 Back: 6.263
INFO - Atoms: 22933/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 280891 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.244 Prop: 402.775 PropClause: 383.597 Set: 147.906 Check: 0.0 Back: 6.861
INFO - Atoms: 22769/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 303498 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.299 Prop: 435.928 PropClause: 416.091 Set: 153.696 Check: 0.0 Back: 7.399
INFO - Atoms: 22607/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 325941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.349 Prop: 467.241 PropClause: 446.747 Set: 159.322 Check: 0.0 Back: 7.998
INFO - Atoms: 22443/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 348222 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.402 Prop: 501.319 PropClause: 480.153 Set: 168.265 Check: 0.0 Back: 8.612
INFO - Atoms: 22281/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 370353 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.457 Prop: 535.158 PropClause: 513.326 Set: 177.314 Check: 0.0 Back: 9.208
INFO - Atoms: 22131/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 392308 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.513 Prop: 569.123 PropClause: 546.626 Set: 186.1 Check: 0.0 Back: 9.79
INFO - Atoms: 21955/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 414099 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.567 Prop: 602.974 PropClause: 579.839 Set: 224.231 Check: 0.0 Back: 10.366
INFO - Atoms: 21791/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 435728 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.621 Prop: 634.069 PropClause: 610.31 Set: 229.726 Check: 0.0 Back: 10.951
INFO - Atoms: 21629/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 457208 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.671 Prop: 664.088 PropClause: 639.705 Set: 235.15 Check: 0.0 Back: 11.541
INFO - Atoms: 21480/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 478511 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.724 Prop: 692.847 PropClause: 667.834 Set: 240.268 Check: 0.0 Back: 12.125
INFO - Atoms: 21303/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 499650 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.802 Prop: 713.765 PropClause: 688.209 Set: 243.849 Check: 0.0 Back: 12.702
INFO - Atoms: 21139/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 520627 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.856 Prop: 741.783 PropClause: 715.612 Set: 248.855 Check: 0.0 Back: 13.26
INFO - Atoms: 20977/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 541440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.906 Prop: 766.984 PropClause: 740.207 Set: 253.804 Check: 0.0 Back: 13.814
INFO - Atoms: 20813/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 562091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.991 Prop: 784.772 PropClause: 757.474 Set: 257.293 Check: 0.0 Back: 14.346
INFO - Atoms: 20651/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 582593 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.039 Prop: 806.855 PropClause: 779.039 Set: 260.772 Check: 0.0 Back: 14.906
INFO - Atoms: 20502/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 602918 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.11 Prop: 825.769 PropClause: 797.443 Set: 264.235 Check: 0.0 Back: 15.437
INFO - Atoms: 20325/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 623079 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.158 Prop: 850.679 PropClause: 821.769 Set: 268.77 Check: 0.0 Back: 15.964
INFO - Atoms: 20161/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 643078 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.231 Prop: 864.057 PropClause: 834.644 Set: 272.06 Check: 0.0 Back: 16.447
INFO - Atoms: 19999/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 662927 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.273 Prop: 878.178 PropClause: 848.263 Set: 275.311 Check: 0.0 Back: 16.936
INFO - Atoms: 19849/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 682600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.324 Prop: 895.755 PropClause: 865.343 Set: 278.653 Check: 0.0 Back: 17.416
INFO - Atoms: 19673/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 702109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.366 Prop: 914.256 PropClause: 883.354 Set: 281.947 Check: 0.0 Back: 17.897
INFO - Atoms: 19509/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 721456 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.409 Prop: 931.919 PropClause: 900.53 Set: 285.195 Check: 0.0 Back: 18.368
INFO - Atoms: 19347/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 740639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.461 Prop: 950.749 PropClause: 918.877 Set: 288.474 Check: 0.0 Back: 18.835
INFO - Atoms: 19183/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 759660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.514 Prop: 967.615 PropClause: 935.263 Set: 291.697 Check: 0.0 Back: 19.302
INFO - Atoms: 19021/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 778517 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.56 Prop: 981.606 PropClause: 948.78 Set: 294.85 Check: 0.0 Back: 19.766
INFO - Atoms: 18857/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 797212 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.609 Prop: 996.243 PropClause: 962.948 Set: 300.305 Check: 0.0 Back: 20.236
INFO - Atoms: 18695/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 815743 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.672 Prop: 1011.8 PropClause: 978.039 Set: 305.397 Check: 0.0 Back: 20.696
INFO - Atoms: 18531/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 834112 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.715 Prop: 1027.906 PropClause: 993.681 Set: 310.788 Check: 0.0 Back: 21.201
INFO - Atoms: 18369/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 852332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.759 Prop: 1043.029 PropClause: 1008.346 Set: 315.829 Check: 0.0 Back: 21.654
INFO - Atoms: 18220/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 870375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.806 Prop: 1056.767 PropClause: 1021.63 Set: 320.826 Check: 0.0 Back: 22.101
INFO - Atoms: 18043/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 888267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.89 Prop: 1071.563 PropClause: 1035.978 Set: 325.786 Check: 0.0 Back: 22.551
INFO - Atoms: 17892/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 905984 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.936 Prop: 1084.977 PropClause: 1048.946 Set: 330.747 Check: 0.0 Back: 23.021
INFO - Atoms: 17717/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 923550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.982 Prop: 1098.937 PropClause: 1062.464 Set: 335.67 Check: 0.0 Back: 23.472
INFO - Atoms: 17566/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 940941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.031 Prop: 1114.802 PropClause: 1077.833 Set: 341.341 Check: 0.0 Back: 23.914
INFO - Atoms: 17391/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 958182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.084 Prop: 1128.949 PropClause: 1091.547 Set: 346.126 Check: 0.0 Back: 24.352
INFO - Atoms: 17241/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 975247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.135 Prop: 1141.068 PropClause: 1103.236 Set: 348.901 Check: 0.0 Back: 24.778
INFO - Atoms: 17065/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 992162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.175 Prop: 1156.882 PropClause: 1118.621 Set: 351.786 Check: 0.0 Back: 25.192
INFO - Atoms: 16915/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 1008901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.213 Prop: 1169.416 PropClause: 1130.735 Set: 354.487 Check: 0.0 Back: 25.608
INFO - Atoms: 16739/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 1025490 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.254 Prop: 1182.512 PropClause: 1143.413 Set: 357.17 Check: 0.0 Back: 26.062
INFO - Atoms: 16589/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 1041903 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.295 Prop: 1193.973 PropClause: 1154.46 Set: 359.779 Check: 0.0 Back: 26.464
INFO - Atoms: 16413/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 1058165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.334 Prop: 1206.216 PropClause: 1166.294 Set: 362.365 Check: 0.0 Back: 26.867
INFO - Atoms: 16262/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 1075063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.525 Prop: 1218.24 PropClause: 1177.891 Set: 365.157 Check: 0.0 Back: 27.246
INFO - Atoms: 16898/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 1092126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.604 Prop: 1236.424 PropClause: 1195.57 Set: 369.058 Check: 0.0 Back: 27.657
INFO - Atoms: 17063/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 1109332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.628 Prop: 1256.225 PropClause: 1214.859 Set: 373.124 Check: 0.0 Back: 28.1
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 1126558 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.651 Prop: 1273.599 PropClause: 1231.742 Set: 376.906 Check: 0.0 Back: 28.551
INFO - Atoms: 17226/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 1143292 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.674 Prop: 1286.139 PropClause: 1243.859 Set: 379.616 Check: 0.0 Back: 28.971
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 1160635 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.696 Prop: 1299.89 PropClause: 1257.157 Set: 382.551 Check: 0.0 Back: 29.385
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 1177857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.72 Prop: 1312.599 PropClause: 1269.432 Set: 385.418 Check: 0.0 Back: 29.818
INFO - Atoms: 17222/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 1194590 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.742 Prop: 1327.883 PropClause: 1284.295 Set: 388.184 Check: 0.0 Back: 30.244
INFO - Atoms: 16733/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 1211814 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.764 Prop: 1339.421 PropClause: 1295.399 Set: 391.044 Check: 0.0 Back: 30.654
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 1229155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.788 Prop: 1351.526 PropClause: 1307.064 Set: 393.937 Check: 0.0 Back: 31.075
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 1245889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 1362.706 PropClause: 1317.822 Set: 396.693 Check: 0.0 Back: 31.496
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 1263232 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.83 Prop: 1375.728 PropClause: 1330.397 Set: 399.587 Check: 0.0 Back: 31.905
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 1280454 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.85 Prop: 1389.524 PropClause: 1343.759 Set: 402.421 Check: 0.0 Back: 32.33
INFO - Atoms: 17222/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 1297815 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.916 Prop: 1403.449 PropClause: 1357.248 Set: 405.286 Check: 0.0 Back: 32.756
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 1315155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.981 Prop: 1416.514 PropClause: 1369.879 Set: 408.173 Check: 0.0 Back: 33.202
INFO - Atoms: 17340/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 1332361 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.003 Prop: 1430.111 PropClause: 1383.041 Set: 410.978 Check: 0.0 Back: 33.623
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 1349095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.024 Prop: 1441.147 PropClause: 1393.657 Set: 413.666 Check: 0.0 Back: 34.044
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 1366436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.047 Prop: 1461.42 PropClause: 1413.492 Set: 416.53 Check: 0.0 Back: 34.458
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 1383660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.067 Prop: 1472.475 PropClause: 1424.113 Set: 419.343 Check: 0.0 Back: 34.876
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 1401036 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.085 Prop: 1485.122 PropClause: 1436.321 Set: 422.235 Check: 0.0 Back: 35.292
INFO - Atoms: 17376/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 1418379 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.107 Prop: 1498.073 PropClause: 1448.835 Set: 425.121 Check: 0.0 Back: 35.711
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 1435585 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.126 Prop: 1511.118 PropClause: 1461.433 Set: 428.0 Check: 0.0 Back: 36.145
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 1452319 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.15 Prop: 1522.042 PropClause: 1471.934 Set: 430.719 Check: 0.0 Back: 36.561
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 1469660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.167 Prop: 1534.944 PropClause: 1484.403 Set: 433.6 Check: 0.0 Back: 36.974
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 1486884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.187 Prop: 1546.698 PropClause: 1495.714 Set: 436.443 Check: 0.0 Back: 37.39
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 1504245 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.207 Prop: 1559.64 PropClause: 1508.22 Set: 439.312 Check: 0.0 Back: 37.814
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 1521587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.227 Prop: 1572.116 PropClause: 1520.26 Set: 442.167 Check: 0.0 Back: 38.244
INFO - Atoms: 17342/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 1538793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.246 Prop: 1584.255 PropClause: 1531.965 Set: 444.984 Check: 0.0 Back: 38.664
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 1555527 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.268 Prop: 1602.466 PropClause: 1549.694 Set: 448.823 Check: 0.0 Back: 39.076
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 1572868 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.289 Prop: 1620.064 PropClause: 1566.789 Set: 452.836 Check: 0.0 Back: 39.519
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 1590092 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.309 Prop: 1632.469 PropClause: 1578.751 Set: 455.672 Check: 0.0 Back: 39.944
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 1606840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.329 Prop: 1645.116 PropClause: 1590.978 Set: 458.423 Check: 0.0 Back: 40.359
INFO - Atoms: 16748/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 1624062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.348 Prop: 1656.285 PropClause: 1601.714 Set: 461.23 Check: 0.0 Back: 40.768
INFO - Atoms: 17222/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 1641405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.366 Prop: 1669.372 PropClause: 1614.364 Set: 464.178 Check: 0.0 Back: 41.212
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 1658769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.385 Prop: 1681.394 PropClause: 1625.951 Set: 466.989 Check: 0.0 Back: 41.655
INFO - Atoms: 17364/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 1675973 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.404 Prop: 1693.556 PropClause: 1637.68 Set: 469.847 Check: 0.0 Back: 42.085
INFO - Atoms: 17204/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 1693316 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.423 Prop: 1704.995 PropClause: 1648.683 Set: 472.712 Check: 0.0 Back: 42.5
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 1710049 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.439 Prop: 1715.999 PropClause: 1659.265 Set: 475.418 Check: 0.0 Back: 42.919
INFO - Atoms: 16733/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 1727271 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.456 Prop: 1726.763 PropClause: 1669.598 Set: 478.224 Check: 0.0 Back: 43.326
INFO - Atoms: 17222/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 1744614 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.472 Prop: 1737.643 PropClause: 1680.044 Set: 481.06 Check: 0.0 Back: 43.749
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 1761978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.49 Prop: 1749.367 PropClause: 1691.332 Set: 483.926 Check: 0.0 Back: 44.166
INFO - Atoms: 17364/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 1779182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.51 Prop: 1763.466 PropClause: 1704.999 Set: 486.813 Check: 0.0 Back: 44.589
INFO - Atoms: 17204/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 1796523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.567 Prop: 1776.947 PropClause: 1718.043 Set: 491.811 Check: 0.0 Back: 45.01
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 1813901 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.626 Prop: 1790.619 PropClause: 1731.279 Set: 495.3 Check: 0.0 Back: 45.433
INFO - Atoms: 17378/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 1831243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.643 Prop: 1804.853 PropClause: 1745.077 Set: 500.125 Check: 0.0 Back: 45.852
INFO - Atoms: 17342/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 1848449 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.658 Prop: 1819.863 PropClause: 1759.656 Set: 505.155 Check: 0.0 Back: 46.271
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 1865183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.672 Prop: 1833.508 PropClause: 1772.865 Set: 509.961 Check: 0.0 Back: 46.692
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 1882526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.687 Prop: 1847.881 PropClause: 1786.792 Set: 515.09 Check: 0.0 Back: 47.101
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 1899748 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.704 Prop: 1861.846 PropClause: 1800.324 Set: 520.08 Check: 0.0 Back: 47.519
INFO - Atoms: 17222/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 1917109 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.72 Prop: 1876.294 PropClause: 1814.334 Set: 525.065 Check: 0.0 Back: 47.941
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 1934452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.734 Prop: 1890.281 PropClause: 1827.885 Set: 530.161 Check: 0.0 Back: 48.364
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 1951658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.75 Prop: 1904.667 PropClause: 1841.84 Set: 535.389 Check: 0.0 Back: 48.788
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 1968392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.765 Prop: 1918.644 PropClause: 1855.386 Set: 540.342 Check: 0.0 Back: 49.208
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 1985733 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.777 Prop: 1931.279 PropClause: 1867.585 Set: 545.302 Check: 0.0 Back: 49.616
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 2002957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.791 Prop: 1943.766 PropClause: 1879.639 Set: 550.094 Check: 0.0 Back: 50.034
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 2020318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.807 Prop: 1957.216 PropClause: 1892.651 Set: 555.057 Check: 0.0 Back: 50.451
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 2037660 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.823 Prop: 1971.29 PropClause: 1906.289 Set: 560.087 Check: 0.0 Back: 50.872
INFO - Atoms: 17342/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 2054866 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.837 Prop: 1984.392 PropClause: 1918.959 Set: 565.026 Check: 0.0 Back: 51.292
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 2071600 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.851 Prop: 1996.586 PropClause: 1930.733 Set: 569.737 Check: 0.0 Back: 51.707
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 2088941 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.867 Prop: 2011.433 PropClause: 1945.142 Set: 574.794 Check: 0.0 Back: 52.115
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 2106165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.882 Prop: 2026.107 PropClause: 1959.384 Set: 579.846 Check: 0.0 Back: 52.548
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 2123540 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.9 Prop: 2045.143 PropClause: 1977.897 Set: 586.649 Check: 0.0 Back: 52.969
INFO - Atoms: 17375/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 2140883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.916 Prop: 2059.869 PropClause: 1992.18 Set: 591.655 Check: 0.0 Back: 53.426
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 2158089 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.931 Prop: 2074.554 PropClause: 2006.434 Set: 596.671 Check: 0.0 Back: 53.847
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 2174823 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.948 Prop: 2086.857 PropClause: 2018.316 Set: 601.45 Check: 0.0 Back: 54.267
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 2192164 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.962 Prop: 2100.632 PropClause: 2031.656 Set: 606.46 Check: 0.0 Back: 54.676
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 2209388 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.976 Prop: 2114.469 PropClause: 2045.051 Set: 611.51 Check: 0.0 Back: 55.113
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 2226762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 4.994 Prop: 2128.624 PropClause: 2058.768 Set: 622.843 Check: 0.0 Back: 55.535
INFO - Atoms: 17374/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 2244105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.007 Prop: 2141.848 PropClause: 2071.558 Set: 625.766 Check: 0.0 Back: 55.955
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 2261311 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.026 Prop: 2160.107 PropClause: 2089.32 Set: 629.93 Check: 0.0 Back: 56.374
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 2278045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.042 Prop: 2172.806 PropClause: 2101.597 Set: 632.704 Check: 0.0 Back: 56.83
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 2295386 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.057 Prop: 2186.033 PropClause: 2114.389 Set: 635.7 Check: 0.0 Back: 57.239
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 2312610 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.073 Prop: 2199.07 PropClause: 2126.993 Set: 638.58 Check: 0.0 Back: 57.66
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 2329971 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.086 Prop: 2213.924 PropClause: 2141.41 Set: 641.563 Check: 0.0 Back: 58.087
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 2347314 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.101 Prop: 2228.116 PropClause: 2155.167 Set: 644.53 Check: 0.0 Back: 58.508
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 2364520 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.121 Prop: 2243.076 PropClause: 2169.661 Set: 647.468 Check: 0.0 Back: 58.932
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 2381254 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.139 Prop: 2256.527 PropClause: 2182.691 Set: 650.268 Check: 0.0 Back: 59.388
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 2398595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.154 Prop: 2270.915 PropClause: 2196.644 Set: 653.235 Check: 0.0 Back: 59.796
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 2415819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.167 Prop: 2282.333 PropClause: 2207.63 Set: 656.148 Check: 0.0 Back: 60.215
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 132 Props: 2433180 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.182 Prop: 2293.645 PropClause: 2218.505 Set: 659.08 Check: 0.0 Back: 60.632
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 133 Props: 2450523 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.196 Prop: 2306.569 PropClause: 2230.994 Set: 662.03 Check: 0.0 Back: 61.061
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 2467729 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.21 Prop: 2319.905 PropClause: 2243.899 Set: 664.945 Check: 0.0 Back: 61.475
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 135 Props: 2484463 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.231 Prop: 2339.661 PropClause: 2263.156 Set: 669.098 Check: 0.0 Back: 61.894
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 2501804 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.25 Prop: 2359.923 PropClause: 2282.917 Set: 673.341 Check: 0.0 Back: 62.331
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 137 Props: 2519028 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.268 Prop: 2379.918 PropClause: 2302.406 Set: 677.674 Check: 0.0 Back: 62.791
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 2536389 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.286 Prop: 2398.563 PropClause: 2320.539 Set: 681.753 Check: 0.0 Back: 63.254
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 2553731 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.304 Prop: 2417.704 PropClause: 2339.175 Set: 685.807 Check: 0.0 Back: 63.713
INFO - Atoms: 17342/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 2570937 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.388 Prop: 2430.737 PropClause: 2351.768 Set: 688.729 Check: 0.0 Back: 64.178
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 2587671 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.399 Prop: 2442.756 PropClause: 2363.365 Set: 691.518 Check: 0.0 Back: 64.59
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 142 Props: 2605012 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.406 Prop: 2455.493 PropClause: 2375.667 Set: 694.478 Check: 0.0 Back: 64.995
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 143 Props: 2622236 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.416 Prop: 2468.108 PropClause: 2387.849 Set: 697.39 Check: 0.0 Back: 65.419
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 2639597 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.424 Prop: 2483.993 PropClause: 2403.279 Set: 700.384 Check: 0.0 Back: 65.836
INFO - Atoms: 17361/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 145 Props: 2656939 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.433 Prop: 2495.758 PropClause: 2414.609 Set: 703.34 Check: 0.0 Back: 66.255
INFO - Atoms: 17342/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 2674145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.442 Prop: 2507.964 PropClause: 2426.385 Set: 706.223 Check: 0.0 Back: 66.668
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 147 Props: 2690879 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.449 Prop: 2520.13 PropClause: 2438.131 Set: 709.035 Check: 0.0 Back: 67.086
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 2708220 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.458 Prop: 2532.015 PropClause: 2449.58 Set: 712.059 Check: 0.0 Back: 67.49
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 2725444 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.468 Prop: 2543.312 PropClause: 2460.447 Set: 714.925 Check: 0.0 Back: 67.91
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 150 Props: 2742820 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.477 Prop: 2555.772 PropClause: 2472.472 Set: 717.879 Check: 0.0 Back: 68.325
INFO - Atoms: 17376/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 151 Props: 2760162 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.486 Prop: 2567.252 PropClause: 2483.519 Set: 720.786 Check: 0.0 Back: 68.741
INFO - Atoms: 17342/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 2777368 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.496 Prop: 2580.969 PropClause: 2496.803 Set: 723.734 Check: 0.0 Back: 69.169
INFO - Atoms: 17206/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 153 Props: 2794102 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.506 Prop: 2592.932 PropClause: 2508.347 Set: 726.601 Check: 0.0 Back: 69.589
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 154 Props: 2811443 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.515 Prop: 2606.004 PropClause: 2520.98 Set: 729.685 Check: 0.0 Back: 69.998
INFO - Atoms: 17341/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 2828667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.522 Prop: 2619.125 PropClause: 2533.67 Set: 732.64 Check: 0.0 Back: 70.415
INFO - Atoms: 17224/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 156 Props: 2845400 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.532 Prop: 2632.447 PropClause: 2546.572 Set: 735.432 Check: 0.0 Back: 70.835
INFO - Atoms: 16733/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 2862621 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.541 Prop: 2645.433 PropClause: 2559.127 Set: 738.405 Check: 0.0 Back: 71.243
INFO - Atoms: 17221/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 2879965 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.551 Prop: 2658.683 PropClause: 2571.941 Set: 741.428 Check: 0.0 Back: 71.661
INFO - Atoms: 17344/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 159 Props: 2897327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.561 Prop: 2671.965 PropClause: 2584.788 Set: 744.4 Check: 0.0 Back: 72.099
INFO - Atoms: 17362/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 160 Props: 2914531 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.57 Prop: 2685.46 PropClause: 2597.839 Set: 747.374 Check: 0.0 Back: 72.517
INFO - Atoms: 17204/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 2931874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.579 Prop: 2697.692 PropClause: 2609.636 Set: 750.397 Check: 0.0 Back: 72.936
INFO - Atoms: 17343/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 2948607 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.588 Prop: 2711.519 PropClause: 2623.042 Set: 753.283 Check: 0.0 Back: 73.361
INFO - Atoms: 16733/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 163 Props: 2965828 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.597 Prop: 2724.525 PropClause: 2635.612 Set: 756.276 Check: 0.0 Back: 73.771
INFO - Atoms: 17221/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 164 Props: 2983172 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.607 Prop: 2738.72 PropClause: 2649.36 Set: 759.331 Check: 0.0 Back: 74.189
INFO - Atoms: 17344/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 3000536 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.616 Prop: 2752.388 PropClause: 2662.593 Set: 762.332 Check: 0.0 Back: 74.607
INFO - Atoms: 17364/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 3017740 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.627 Prop: 2766.112 PropClause: 2675.88 Set: 765.437 Check: 0.0 Back: 75.03
INFO - Atoms: 17204/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 167 Props: 3035018 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.635 Prop: 2779.873 PropClause: 2689.203 Set: 768.453 Check: 0.0 Back: 75.456
INFO - Atoms: 17278/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 3052322 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.645 Prop: 2792.821 PropClause: 2701.715 Set: 771.416 Check: 0.0 Back: 75.896
INFO - Atoms: 17304/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 169 Props: 3069526 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.654 Prop: 2806.086 PropClause: 2714.539 Set: 774.394 Check: 0.0 Back: 76.315
INFO - Atoms: 17204/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 170 Props: 3086658 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.663 Prop: 2818.698 PropClause: 2726.722 Set: 777.298 Check: 0.0 Back: 76.734
INFO - Atoms: 17132/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 3103392 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.67 Prop: 2831.571 PropClause: 2739.176 Set: 780.122 Check: 0.0 Back: 77.15
INFO - Atoms: 16734/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 3120451 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.679 Prop: 2843.08 PropClause: 2750.258 Set: 783.012 Check: 0.0 Back: 77.563
INFO - Atoms: 17059/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 173 Props: 3137507 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.687 Prop: 2855.06 PropClause: 2761.81 Set: 785.884 Check: 0.0 Back: 77.981
INFO - Atoms: 17056/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 174 Props: 3154566 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.697 Prop: 2868.366 PropClause: 2774.595 Set: 788.847 Check: 0.0 Back: 78.395
INFO - Atoms: 17059/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 175 Props: 3171464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.824 Prop: 2880.216 PropClause: 2786.021 Set: 791.68 Check: 0.0 Back: 78.808
INFO - Atoms: 16898/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 3188362 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.834 Prop: 2892.952 PropClause: 2798.323 Set: 794.554 Check: 0.0 Back: 79.221
INFO - Atoms: 16898/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 177 Props: 3205260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.958 Prop: 2904.724 PropClause: 2809.671 Set: 803.439 Check: 0.0 Back: 79.634
INFO - Atoms: 16898/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 178 Props: 3221977 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.966 Prop: 2917.006 PropClause: 2821.531 Set: 806.276 Check: 0.0 Back: 80.044
INFO - Atoms: 16717/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 179 Props: 3238850 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.974 Prop: 2929.478 PropClause: 2833.581 Set: 809.152 Check: 0.0 Back: 80.452
INFO - Atoms: 16873/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 3255565 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.982 Prop: 2942.215 PropClause: 2845.898 Set: 811.993 Check: 0.0 Back: 80.859
INFO - Atoms: 16715/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 181 Props: 3272436 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 5.989 Prop: 2954.019 PropClause: 2857.266 Set: 814.847 Check: 0.0 Back: 81.267
INFO - Atoms: 16871/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 182 Props: 3288847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.149 Prop: 2965.764 PropClause: 2868.6 Set: 817.557 Check: 0.0 Back: 81.674
INFO - Atoms: 16411/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 3305421 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.16 Prop: 2982.129 PropClause: 2884.487 Set: 821.344 Check: 0.0 Back: 82.101
INFO - Atoms: 16574/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 3321847 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.169 Prop: 2993.736 PropClause: 2895.681 Set: 824.049 Check: 0.0 Back: 82.538
INFO - Atoms: 16426/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 185 Props: 3338096 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.18 Prop: 3006.486 PropClause: 2908.024 Set: 826.793 Check: 0.0 Back: 82.947
INFO - Atoms: 16249/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 186 Props: 3354488 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.212 Prop: 3025.428 PropClause: 2926.417 Set: 839.07 Check: 0.0 Back: 83.353
INFO - Atoms: 16392/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 187 Props: 3371065 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.257 Prop: 3041.157 PropClause: 2941.672 Set: 842.881 Check: 0.0 Back: 83.781
INFO - Atoms: 16577/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 3387785 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.33 Prop: 3053.21 PropClause: 2953.307 Set: 845.563 Check: 0.0 Back: 84.204
INFO - Atoms: 16720/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 3404686 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.367 Prop: 3065.417 PropClause: 2965.093 Set: 848.266 Check: 0.0 Back: 84.617
INFO - Atoms: 16901/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 3421732 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.402 Prop: 3077.664 PropClause: 2976.916 Set: 851.001 Check: 0.0 Back: 85.044
INFO - Atoms: 17046/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 3438959 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.446 Prop: 3089.473 PropClause: 2988.295 Set: 853.76 Check: 0.0 Back: 85.468
INFO - Atoms: 17227/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 192 Props: 3456331 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.528 Prop: 3101.513 PropClause: 2999.903 Set: 856.536 Check: 0.0 Back: 85.899
INFO - Atoms: 17372/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 193 Props: 3473884 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.567 Prop: 3114.042 PropClause: 3011.995 Set: 859.327 Check: 0.0 Back: 86.328
INFO - Atoms: 17553/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 3491582 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.633 Prop: 3127.177 PropClause: 3024.689 Set: 862.165 Check: 0.0 Back: 86.767
INFO - Atoms: 17698/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 195 Props: 3509461 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.665 Prop: 3140.35 PropClause: 3037.419 Set: 865.011 Check: 0.0 Back: 87.208
INFO - Atoms: 17879/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 3527485 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.706 Prop: 3154.873 PropClause: 3051.489 Set: 867.957 Check: 0.0 Back: 87.648
INFO - Atoms: 18024/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 3545690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.749 Prop: 3170.628 PropClause: 3066.78 Set: 871.067 Check: 0.0 Back: 88.113
INFO - Atoms: 18205/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 3564040 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.816 Prop: 3184.817 PropClause: 3080.507 Set: 874.009 Check: 0.0 Back: 88.573
INFO - Atoms: 18350/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 199 Props: 3582571 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.95 Prop: 3199.54 PropClause: 3094.763 Set: 877.068 Check: 0.0 Back: 89.031
INFO - Atoms: 18531/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 3601247 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.964 Prop: 3216.491 PropClause: 3111.245 Set: 880.14 Check: 0.0 Back: 89.493
INFO - Atoms: 18676/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 201 Props: 3620104 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.976 Prop: 3232.58 PropClause: 3126.861 Set: 883.257 Check: 0.0 Back: 89.956
INFO - Atoms: 18857/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 3639106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.986 Prop: 3250.505 PropClause: 3144.312 Set: 886.408 Check: 0.0 Back: 90.431
INFO - Atoms: 19002/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 203 Props: 3658289 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 6.995 Prop: 3267.221 PropClause: 3160.551 Set: 889.603 Check: 0.0 Back: 90.888
INFO - Atoms: 19183/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 204 Props: 3677617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.006 Prop: 3285.814 PropClause: 3178.662 Set: 892.819 Check: 0.0 Back: 91.353
INFO - Atoms: 19328/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 3697126 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.018 Prop: 3303.839 PropClause: 3196.2 Set: 896.104 Check: 0.0 Back: 91.831
INFO - Atoms: 19509/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 3716780 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.028 Prop: 3324.205 PropClause: 3216.077 Set: 899.41 Check: 0.0 Back: 92.328
INFO - Atoms: 19654/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 3736615 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.038 Prop: 3343.405 PropClause: 3234.783 Set: 902.807 Check: 0.0 Back: 92.819
INFO - Atoms: 19835/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 208 Props: 3756595 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.049 Prop: 3362.74 PropClause: 3253.619 Set: 906.141 Check: 0.0 Back: 93.304
INFO - Atoms: 19980/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 209 Props: 3776756 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.063 Prop: 3382.461 PropClause: 3272.836 Set: 909.463 Check: 0.0 Back: 93.791
INFO - Atoms: 20161/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 3797062 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.073 Prop: 3402.849 PropClause: 3292.718 Set: 912.868 Check: 0.0 Back: 94.285
INFO - Atoms: 20306/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 3817549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.086 Prop: 3427.247 PropClause: 3316.605 Set: 916.699 Check: 0.0 Back: 94.803
INFO - Atoms: 20487/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 3838181 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.096 Prop: 3446.38 PropClause: 3335.224 Set: 920.126 Check: 0.0 Back: 95.309
INFO - Atoms: 20632/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 3858994 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.108 Prop: 3467.457 PropClause: 3355.773 Set: 923.69 Check: 0.0 Back: 95.822
INFO - Atoms: 20813/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 3879952 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.117 Prop: 3484.935 PropClause: 3372.722 Set: 927.181 Check: 0.0 Back: 96.343
INFO - Atoms: 20958/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 215 Props: 3901091 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.126 Prop: 3504.417 PropClause: 3391.678 Set: 930.712 Check: 0.0 Back: 96.855
INFO - Atoms: 21139/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 216 Props: 3922375 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.135 Prop: 3523.228 PropClause: 3409.96 Set: 934.263 Check: 0.0 Back: 97.368
INFO - Atoms: 21284/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 3943840 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.147 Prop: 3543.975 PropClause: 3430.159 Set: 937.966 Check: 0.0 Back: 97.881
INFO - Atoms: 21465/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 3965450 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.156 Prop: 3562.448 PropClause: 3448.094 Set: 941.537 Check: 0.0 Back: 98.408
INFO - Atoms: 21610/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 219 Props: 3987241 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.167 Prop: 3583.302 PropClause: 3468.397 Set: 945.351 Check: 0.0 Back: 98.934
INFO - Atoms: 21791/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 4009177 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.177 Prop: 3603.812 PropClause: 3488.358 Set: 949.003 Check: 0.0 Back: 99.486
INFO - Atoms: 21936/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 4031294 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.188 Prop: 3623.993 PropClause: 3507.988 Set: 952.713 Check: 0.0 Back: 100.02
INFO - Atoms: 22117/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 4053556 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.199 Prop: 3644.822 PropClause: 3528.26 Set: 956.403 Check: 0.0 Back: 100.565
INFO - Atoms: 22262/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 223 Props: 4075999 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.211 Prop: 3673.878 PropClause: 3556.649 Set: 961.818 Check: 0.0 Back: 101.106
INFO - Atoms: 22443/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 224 Props: 4098587 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.222 Prop: 3701.438 PropClause: 3583.557 Set: 967.284 Check: 0.0 Back: 101.693
INFO - Atoms: 22588/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 4121356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.233 Prop: 3730.048 PropClause: 3611.512 Set: 972.814 Check: 0.0 Back: 102.293
INFO - Atoms: 22769/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 4144270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.244 Prop: 3761.185 PropClause: 3641.989 Set: 978.522 Check: 0.0 Back: 102.891
INFO - Atoms: 22914/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 227 Props: 4167364 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.257 Prop: 3792.833 PropClause: 3672.975 Set: 984.258 Check: 0.0 Back: 103.495
INFO - Atoms: 23094/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 228 Props: 4190604 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 7.269 Prop: 3824.681 PropClause: 3704.151 Set: 990.032 Check: 0.0 Back: 104.107
INFO - Atoms: 23240/23904 Clauses: 293 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 692 Props: 5473019 Tprops: 0 Decides: 6978 RSplits: 0
INFO - Times: Expl: 668.627 Prop: 5056.145 PropClause: 4893.802 Set: 1024.55 Check: 0.189 Back: 136.908
INFO - Atoms: 8552/23904 Clauses: 756 Axioms: 78770
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 230 Props: 12391 Tprops: 3028 Decides: 12459 RSplits: 0
INFO - Times: Expl: 95.393 Prop: 11543.95 PropClause: 6.066 Set: 1317.128 Check: 75.977 Back: 45.258
INFO - Atoms: 344/438 Clauses: 230 Axioms: 438
INFO - CCTimes: iE 155388 eq 9944160 cc 28992045 setRep 28577033
INFO - Merges: 93110, cc:140829
INFO - BVTimes: BB 164952585 BB_DPLL 10243256795 Graph 352774
INFO - BitBlastingClauses: 145638 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat