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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 5915076
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 1978 Tprops: 0 Decides: 20 RSplits: 0
INFO - Times: Expl: 2.89 Prop: 2.223 PropClause: 1.821 Set: 1.739 Check: 0.003 Back: 0.076
INFO - Atoms: 667/1208 Clauses: 180 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 2998 Tprops: 0 Decides: 22 RSplits: 0
INFO - Times: Expl: 3.142 Prop: 2.603 PropClause: 2.041 Set: 2.016 Check: 0.004 Back: 0.115
INFO - Atoms: 794/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 4002 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 3.378 Prop: 2.845 PropClause: 2.245 Set: 2.286 Check: 0.004 Back: 0.138
INFO - Atoms: 785/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 4990 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 3.608 Prop: 3.12 PropClause: 2.451 Set: 2.577 Check: 0.004 Back: 0.16
INFO - Atoms: 776/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 5966 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 3.831 Prop: 3.398 PropClause: 2.693 Set: 2.849 Check: 0.004 Back: 0.183
INFO - Atoms: 768/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 6975 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 4.157 Prop: 3.722 PropClause: 2.946 Set: 3.067 Check: 0.004 Back: 0.208
INFO - Atoms: 661/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 7938 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 4.393 Prop: 4.004 PropClause: 3.159 Set: 3.331 Check: 0.004 Back: 0.227
INFO - Atoms: 761/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 8882 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 4.603 Prop: 4.256 PropClause: 3.377 Set: 3.583 Check: 0.004 Back: 0.254
INFO - Atoms: 750/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 9820 Tprops: 0 Decides: 38 RSplits: 0
INFO - Times: Expl: 4.805 Prop: 4.492 PropClause: 3.58 Set: 3.831 Check: 0.004 Back: 0.275
INFO - Atoms: 744/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 10784 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 5.085 Prop: 4.747 PropClause: 3.802 Set: 4.055 Check: 0.005 Back: 0.299
INFO - Atoms: 646/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 11692 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 5.281 Prop: 4.974 PropClause: 3.998 Set: 4.299 Check: 0.005 Back: 0.318
INFO - Atoms: 728/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 12587 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 5.469 Prop: 5.195 PropClause: 4.19 Set: 4.548 Check: 0.005 Back: 0.339
INFO - Atoms: 720/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 13459 Tprops: 0 Decides: 48 RSplits: 0
INFO - Times: Expl: 5.667 Prop: 5.417 PropClause: 4.384 Set: 4.878 Check: 0.005 Back: 0.359
INFO - Atoms: 712/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 14347 Tprops: 0 Decides: 52 RSplits: 0
INFO - Times: Expl: 5.955 Prop: 5.669 PropClause: 4.606 Set: 5.101 Check: 0.005 Back: 0.381
INFO - Atoms: 606/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 15214 Tprops: 0 Decides: 54 RSplits: 0
INFO - Times: Expl: 6.132 Prop: 5.9 PropClause: 4.803 Set: 5.379 Check: 0.005 Back: 0.399
INFO - Atoms: 707/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 16065 Tprops: 0 Decides: 56 RSplits: 0
INFO - Times: Expl: 6.317 Prop: 6.115 PropClause: 4.991 Set: 5.649 Check: 0.005 Back: 0.419
INFO - Atoms: 698/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 16928 Tprops: 0 Decides: 58 RSplits: 0
INFO - Times: Expl: 6.498 Prop: 6.329 PropClause: 5.176 Set: 5.87 Check: 0.005 Back: 0.438
INFO - Atoms: 702/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 17821 Tprops: 0 Decides: 62 RSplits: 0
INFO - Times: Expl: 6.745 Prop: 6.554 PropClause: 5.372 Set: 6.055 Check: 0.005 Back: 0.46
INFO - Atoms: 632/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 18681 Tprops: 0 Decides: 64 RSplits: 0
INFO - Times: Expl: 6.918 Prop: 6.767 PropClause: 5.558 Set: 6.278 Check: 0.005 Back: 0.478
INFO - Atoms: 702/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 19527 Tprops: 0 Decides: 66 RSplits: 0
INFO - Times: Expl: 7.085 Prop: 7.006 PropClause: 5.77 Set: 6.549 Check: 0.005 Back: 0.498
INFO - Atoms: 696/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 20376 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 7.331 Prop: 7.23 PropClause: 5.965 Set: 6.731 Check: 0.005 Back: 0.519
INFO - Atoms: 613/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 21287 Tprops: 0 Decides: 75 RSplits: 0
INFO - Times: Expl: 7.802 Prop: 7.482 PropClause: 6.18 Set: 6.931 Check: 0.005 Back: 0.54
INFO - Atoms: 608/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 22133 Tprops: 0 Decides: 79 RSplits: 0
INFO - Times: Expl: 12.213 Prop: 7.703 PropClause: 6.372 Set: 7.134 Check: 0.006 Back: 0.559
INFO - Atoms: 607/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 22978 Tprops: 0 Decides: 83 RSplits: 0
INFO - Times: Expl: 12.407 Prop: 7.919 PropClause: 6.558 Set: 7.315 Check: 0.006 Back: 0.578
INFO - Atoms: 610/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 23803 Tprops: 0 Decides: 87 RSplits: 0
INFO - Times: Expl: 12.571 Prop: 8.244 PropClause: 6.741 Set: 7.505 Check: 0.006 Back: 0.597
INFO - Atoms: 613/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 24583 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 12.665 Prop: 8.444 PropClause: 6.902 Set: 7.687 Check: 0.006 Back: 0.613
INFO - Atoms: 660/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 25351 Tprops: 0 Decides: 91 RSplits: 0
INFO - Times: Expl: 12.756 Prop: 8.648 PropClause: 7.069 Set: 7.873 Check: 0.006 Back: 0.631
INFO - Atoms: 656/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 26118 Tprops: 0 Decides: 93 RSplits: 0
INFO - Times: Expl: 13.206 Prop: 8.842 PropClause: 7.237 Set: 8.062 Check: 0.006 Back: 0.649
INFO - Atoms: 650/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 26889 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 13.286 Prop: 9.044 PropClause: 7.412 Set: 8.245 Check: 0.006 Back: 0.668
INFO - Atoms: 599/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 27647 Tprops: 0 Decides: 101 RSplits: 0
INFO - Times: Expl: 13.348 Prop: 9.258 PropClause: 7.576 Set: 8.398 Check: 0.006 Back: 0.685
INFO - Atoms: 591/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 29026 Tprops: 0 Decides: 150 RSplits: 0
INFO - Times: Expl: 13.481 Prop: 9.691 PropClause: 7.945 Set: 8.588 Check: 0.008 Back: 0.719
INFO - Atoms: 601/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 30069 Tprops: 0 Decides: 154 RSplits: 0
INFO - Times: Expl: 13.552 Prop: 9.98 PropClause: 8.179 Set: 8.822 Check: 0.008 Back: 0.74
INFO - Atoms: 738/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 31241 Tprops: 0 Decides: 158 RSplits: 0
INFO - Times: Expl: 13.648 Prop: 10.289 PropClause: 8.447 Set: 9.048 Check: 0.008 Back: 0.767
INFO - Atoms: 729/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 32192 Tprops: 0 Decides: 160 RSplits: 0
INFO - Times: Expl: 13.703 Prop: 10.525 PropClause: 8.651 Set: 9.26 Check: 0.008 Back: 0.788
INFO - Atoms: 729/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 33129 Tprops: 0 Decides: 162 RSplits: 0
INFO - Times: Expl: 13.756 Prop: 10.759 PropClause: 8.853 Set: 9.474 Check: 0.008 Back: 0.81
INFO - Atoms: 721/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 34106 Tprops: 0 Decides: 166 RSplits: 0
INFO - Times: Expl: 13.831 Prop: 11.018 PropClause: 9.078 Set: 9.661 Check: 0.008 Back: 0.835
INFO - Atoms: 614/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 134 Props: 35025 Tprops: 0 Decides: 168 RSplits: 0
INFO - Times: Expl: 13.883 Prop: 11.247 PropClause: 9.276 Set: 9.876 Check: 0.008 Back: 0.86
INFO - Atoms: 710/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 138 Props: 35956 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 14.888 Prop: 11.499 PropClause: 9.496 Set: 10.05 Check: 0.009 Back: 0.884
INFO - Atoms: 581/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 141 Props: 36865 Tprops: 0 Decides: 174 RSplits: 0
INFO - Times: Expl: 14.961 Prop: 11.778 PropClause: 9.701 Set: 10.313 Check: 0.015 Back: 0.901
INFO - Atoms: 707/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 146 Props: 37838 Tprops: 0 Decides: 178 RSplits: 0
INFO - Times: Expl: 15.054 Prop: 12.04 PropClause: 9.929 Set: 10.484 Check: 0.015 Back: 0.926
INFO - Atoms: 583/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 38717 Tprops: 0 Decides: 180 RSplits: 0
INFO - Times: Expl: 15.113 Prop: 12.263 PropClause: 10.114 Set: 10.687 Check: 0.015 Back: 0.944
INFO - Atoms: 687/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 39582 Tprops: 0 Decides: 182 RSplits: 0
INFO - Times: Expl: 15.168 Prop: 12.463 PropClause: 10.284 Set: 10.873 Check: 0.015 Back: 0.964
INFO - Atoms: 679/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 155 Props: 40430 Tprops: 0 Decides: 184 RSplits: 0
INFO - Times: Expl: 15.223 Prop: 12.665 PropClause: 10.457 Set: 11.048 Check: 0.015 Back: 0.984
INFO - Atoms: 669/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 41283 Tprops: 0 Decides: 186 RSplits: 0
INFO - Times: Expl: 21.592 Prop: 12.885 PropClause: 10.648 Set: 11.257 Check: 0.015 Back: 1.003
INFO - Atoms: 674/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 161 Props: 42127 Tprops: 0 Decides: 188 RSplits: 0
INFO - Times: Expl: 21.657 Prop: 13.096 PropClause: 10.829 Set: 11.444 Check: 0.015 Back: 1.023
INFO - Atoms: 672/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 165 Props: 42989 Tprops: 0 Decides: 192 RSplits: 0
INFO - Times: Expl: 21.742 Prop: 13.311 PropClause: 11.014 Set: 11.585 Check: 0.015 Back: 1.045
INFO - Atoms: 567/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 43821 Tprops: 0 Decides: 194 RSplits: 0
INFO - Times: Expl: 21.801 Prop: 13.511 PropClause: 11.186 Set: 11.77 Check: 0.015 Back: 1.062
INFO - Atoms: 658/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 44627 Tprops: 0 Decides: 196 RSplits: 0
INFO - Times: Expl: 21.851 Prop: 13.701 PropClause: 11.348 Set: 11.938 Check: 0.015 Back: 1.08
INFO - Atoms: 649/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 45522 Tprops: 0 Decides: 200 RSplits: 0
INFO - Times: Expl: 21.938 Prop: 13.923 PropClause: 11.539 Set: 12.082 Check: 0.016 Back: 1.103
INFO - Atoms: 577/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 46350 Tprops: 0 Decides: 204 RSplits: 0
INFO - Times: Expl: 22.264 Prop: 14.135 PropClause: 11.72 Set: 12.229 Check: 0.016 Back: 1.122
INFO - Atoms: 561/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 183 Props: 47122 Tprops: 0 Decides: 206 RSplits: 0
INFO - Times: Expl: 22.32 Prop: 14.315 PropClause: 11.874 Set: 12.393 Check: 0.016 Back: 1.138
INFO - Atoms: 631/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 188 Props: 48026 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 22.419 Prop: 14.537 PropClause: 12.065 Set: 12.558 Check: 0.016 Back: 1.161
INFO - Atoms: 622/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 191 Props: 48781 Tprops: 0 Decides: 212 RSplits: 0
INFO - Times: Expl: 22.479 Prop: 14.726 PropClause: 12.227 Set: 12.72 Check: 0.016 Back: 1.178
INFO - Atoms: 622/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 49534 Tprops: 0 Decides: 214 RSplits: 0
INFO - Times: Expl: 22.534 Prop: 14.921 PropClause: 12.394 Set: 12.908 Check: 0.016 Back: 1.195
INFO - Atoms: 622/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 197 Props: 50310 Tprops: 0 Decides: 216 RSplits: 0
INFO - Times: Expl: 22.592 Prop: 15.113 PropClause: 12.56 Set: 13.092 Check: 0.016 Back: 1.213
INFO - Atoms: 632/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 200 Props: 51048 Tprops: 0 Decides: 218 RSplits: 0
INFO - Times: Expl: 22.646 Prop: 15.298 PropClause: 12.719 Set: 13.26 Check: 0.016 Back: 1.23
INFO - Atoms: 616/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 205 Props: 51867 Tprops: 0 Decides: 222 RSplits: 0
INFO - Times: Expl: 22.736 Prop: 15.504 PropClause: 12.897 Set: 13.4 Check: 0.017 Back: 1.25
INFO - Atoms: 562/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 211 Props: 52718 Tprops: 0 Decides: 227 RSplits: 0
INFO - Times: Expl: 24.432 Prop: 15.722 PropClause: 13.083 Set: 13.565 Check: 0.017 Back: 1.27
INFO - Atoms: 557/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 214 Props: 53446 Tprops: 0 Decides: 229 RSplits: 0
INFO - Times: Expl: 24.499 Prop: 15.896 PropClause: 13.232 Set: 13.644 Check: 0.017 Back: 1.286
INFO - Atoms: 603/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 218 Props: 54176 Tprops: 0 Decides: 233 RSplits: 0
INFO - Times: Expl: 24.566 Prop: 16.074 PropClause: 13.384 Set: 13.708 Check: 0.017 Back: 1.303
INFO - Atoms: 545/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 221 Props: 55021 Tprops: 0 Decides: 250 RSplits: 0
INFO - Times: Expl: 24.633 Prop: 16.307 PropClause: 13.583 Set: 13.786 Check: 0.017 Back: 1.322
INFO - Atoms: 589/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 225 Props: 55905 Tprops: 0 Decides: 258 RSplits: 0
INFO - Times: Expl: 24.719 Prop: 16.541 PropClause: 13.784 Set: 13.854 Check: 0.018 Back: 1.343
INFO - Atoms: 546/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 229 Props: 56704 Tprops: 0 Decides: 263 RSplits: 0
INFO - Times: Expl: 24.795 Prop: 16.74 PropClause: 13.956 Set: 13.921 Check: 0.018 Back: 1.362
INFO - Atoms: 555/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 235 Props: 57520 Tprops: 0 Decides: 268 RSplits: 0
INFO - Times: Expl: 24.917 Prop: 16.976 PropClause: 14.141 Set: 13.988 Check: 0.018 Back: 1.381
INFO - Atoms: 555/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 239 Props: 58272 Tprops: 0 Decides: 272 RSplits: 0
INFO - Times: Expl: 24.993 Prop: 17.163 PropClause: 14.301 Set: 14.056 Check: 0.018 Back: 1.398
INFO - Atoms: 557/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 243 Props: 59189 Tprops: 0 Decides: 282 RSplits: 0
INFO - Times: Expl: 25.084 Prop: 17.398 PropClause: 14.502 Set: 14.126 Check: 0.018 Back: 1.419
INFO - Atoms: 552/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 247 Props: 59935 Tprops: 0 Decides: 286 RSplits: 0
INFO - Times: Expl: 25.154 Prop: 17.583 PropClause: 14.661 Set: 14.19 Check: 0.019 Back: 1.436
INFO - Atoms: 555/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 251 Props: 60698 Tprops: 0 Decides: 290 RSplits: 0
INFO - Times: Expl: 25.231 Prop: 17.762 PropClause: 14.806 Set: 14.257 Check: 0.019 Back: 1.454
INFO - Atoms: 565/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 255 Props: 61616 Tprops: 0 Decides: 300 RSplits: 0
INFO - Times: Expl: 25.321 Prop: 17.983 PropClause: 14.984 Set: 14.326 Check: 0.019 Back: 1.475
INFO - Atoms: 559/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 259 Props: 62379 Tprops: 0 Decides: 304 RSplits: 0
INFO - Times: Expl: 25.39 Prop: 18.148 PropClause: 15.126 Set: 14.394 Check: 0.019 Back: 1.492
INFO - Atoms: 567/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 63177 Tprops: 0 Decides: 308 RSplits: 0
INFO - Times: Expl: 25.606 Prop: 18.338 PropClause: 15.283 Set: 14.463 Check: 0.019 Back: 1.51
INFO - Atoms: 566/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 268 Props: 63924 Tprops: 0 Decides: 312 RSplits: 0
INFO - Times: Expl: 25.679 Prop: 18.498 PropClause: 15.42 Set: 14.529 Check: 0.019 Back: 1.528
INFO - Atoms: 559/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 274 Props: 64765 Tprops: 0 Decides: 317 RSplits: 0
INFO - Times: Expl: 25.78 Prop: 18.68 PropClause: 15.576 Set: 14.608 Check: 0.02 Back: 1.546
INFO - Atoms: 578/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 278 Props: 65513 Tprops: 0 Decides: 321 RSplits: 0
INFO - Times: Expl: 25.86 Prop: 18.841 PropClause: 15.714 Set: 14.674 Check: 0.02 Back: 1.564
INFO - Atoms: 564/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 283 Props: 66488 Tprops: 0 Decides: 333 RSplits: 0
INFO - Times: Expl: 25.975 Prop: 19.068 PropClause: 15.91 Set: 14.748 Check: 0.02 Back: 1.586
INFO - Atoms: 567/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 287 Props: 67407 Tprops: 0 Decides: 341 RSplits: 0
INFO - Times: Expl: 26.064 Prop: 19.274 PropClause: 16.086 Set: 14.817 Check: 0.02 Back: 1.607
INFO - Atoms: 559/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 291 Props: 68165 Tprops: 0 Decides: 345 RSplits: 0
INFO - Times: Expl: 26.131 Prop: 19.434 PropClause: 16.223 Set: 14.884 Check: 0.02 Back: 1.625
INFO - Atoms: 571/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 295 Props: 69095 Tprops: 0 Decides: 355 RSplits: 0
INFO - Times: Expl: 26.219 Prop: 19.641 PropClause: 16.401 Set: 14.955 Check: 0.021 Back: 1.646
INFO - Atoms: 562/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 299 Props: 69907 Tprops: 0 Decides: 361 RSplits: 0
INFO - Times: Expl: 26.293 Prop: 19.82 PropClause: 16.555 Set: 15.022 Check: 0.021 Back: 1.665
INFO - Atoms: 558/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 302 Props: 70631 Tprops: 0 Decides: 363 RSplits: 0
INFO - Times: Expl: 26.339 Prop: 19.969 PropClause: 16.683 Set: 15.095 Check: 0.021 Back: 1.68
INFO - Atoms: 611/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 306 Props: 71391 Tprops: 0 Decides: 367 RSplits: 0
INFO - Times: Expl: 26.407 Prop: 20.127 PropClause: 16.817 Set: 15.16 Check: 0.021 Back: 1.699
INFO - Atoms: 566/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 310 Props: 72328 Tprops: 0 Decides: 377 RSplits: 0
INFO - Times: Expl: 26.502 Prop: 20.336 PropClause: 16.997 Set: 15.232 Check: 0.021 Back: 1.72
INFO - Atoms: 575/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 314 Props: 73102 Tprops: 0 Decides: 381 RSplits: 0
INFO - Times: Expl: 26.57 Prop: 20.505 PropClause: 17.142 Set: 15.301 Check: 0.022 Back: 1.738
INFO - Atoms: 587/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 320 Props: 74137 Tprops: 0 Decides: 390 RSplits: 0
INFO - Times: Expl: 26.695 Prop: 20.74 PropClause: 17.345 Set: 15.377 Check: 0.022 Back: 1.761
INFO - Atoms: 588/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 324 Props: 74945 Tprops: 0 Decides: 394 RSplits: 0
INFO - Times: Expl: 26.81 Prop: 20.921 PropClause: 17.501 Set: 15.449 Check: 0.022 Back: 1.779
INFO - Atoms: 594/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 329 Props: 75796 Tprops: 0 Decides: 398 RSplits: 0
INFO - Times: Expl: 26.899 Prop: 21.104 PropClause: 17.659 Set: 15.521 Check: 0.022 Back: 1.799
INFO - Atoms: 593/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 333 Props: 76603 Tprops: 0 Decides: 402 RSplits: 0
INFO - Times: Expl: 26.972 Prop: 21.278 PropClause: 17.808 Set: 15.59 Check: 0.022 Back: 1.818
INFO - Atoms: 586/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 336 Props: 77376 Tprops: 0 Decides: 404 RSplits: 0
INFO - Times: Expl: 27.021 Prop: 21.441 PropClause: 17.949 Set: 15.671 Check: 0.022 Back: 1.834
INFO - Atoms: 639/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 340 Props: 78199 Tprops: 0 Decides: 408 RSplits: 0
INFO - Times: Expl: 27.094 Prop: 21.62 PropClause: 18.103 Set: 15.742 Check: 0.022 Back: 1.854
INFO - Atoms: 600/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 78970 Tprops: 0 Decides: 410 RSplits: 0
INFO - Times: Expl: 27.142 Prop: 21.781 PropClause: 18.242 Set: 15.822 Check: 0.022 Back: 1.871
INFO - Atoms: 646/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 346 Props: 79767 Tprops: 0 Decides: 412 RSplits: 0
INFO - Times: Expl: 27.19 Prop: 21.953 PropClause: 18.39 Set: 15.905 Check: 0.023 Back: 1.888
INFO - Atoms: 662/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 350 Props: 80592 Tprops: 0 Decides: 416 RSplits: 0
INFO - Times: Expl: 27.263 Prop: 22.134 PropClause: 18.546 Set: 15.976 Check: 0.023 Back: 1.909
INFO - Atoms: 600/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 355 Props: 81603 Tprops: 0 Decides: 428 RSplits: 0
INFO - Times: Expl: 27.398 Prop: 22.371 PropClause: 18.751 Set: 16.049 Check: 0.023 Back: 1.932
INFO - Atoms: 586/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 359 Props: 82545 Tprops: 0 Decides: 436 RSplits: 0
INFO - Times: Expl: 27.492 Prop: 22.587 PropClause: 18.937 Set: 16.121 Check: 0.023 Back: 1.955
INFO - Atoms: 579/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 363 Props: 83523 Tprops: 0 Decides: 444 RSplits: 0
INFO - Times: Expl: 27.59 Prop: 22.818 PropClause: 19.137 Set: 16.2 Check: 0.024 Back: 1.977
INFO - Atoms: 597/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 369 Props: 84449 Tprops: 0 Decides: 449 RSplits: 0
INFO - Times: Expl: 27.709 Prop: 23.036 PropClause: 19.327 Set: 16.315 Check: 0.024 Back: 1.999
INFO - Atoms: 604/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 373 Props: 85272 Tprops: 0 Decides: 453 RSplits: 0
INFO - Times: Expl: 27.805 Prop: 23.226 PropClause: 19.492 Set: 16.428 Check: 0.024 Back: 2.018
INFO - Atoms: 599/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 377 Props: 86236 Tprops: 0 Decides: 463 RSplits: 0
INFO - Times: Expl: 27.94 Prop: 23.47 PropClause: 19.694 Set: 16.547 Check: 0.035 Back: 2.043
INFO - Atoms: 593/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 382 Props: 87238 Tprops: 0 Decides: 471 RSplits: 0
INFO - Times: Expl: 28.046 Prop: 23.706 PropClause: 19.9 Set: 16.665 Check: 0.035 Back: 2.066
INFO - Atoms: 594/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 386 Props: 87998 Tprops: 0 Decides: 475 RSplits: 0
INFO - Times: Expl: 28.12 Prop: 23.889 PropClause: 20.06 Set: 16.773 Check: 0.035 Back: 2.084
INFO - Atoms: 587/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 390 Props: 88984 Tprops: 0 Decides: 484 RSplits: 0
INFO - Times: Expl: 28.215 Prop: 24.118 PropClause: 20.259 Set: 16.882 Check: 0.035 Back: 2.106
INFO - Atoms: 599/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 394 Props: 89883 Tprops: 0 Decides: 490 RSplits: 0
INFO - Times: Expl: 28.551 Prop: 24.4 PropClause: 20.483 Set: 17.144 Check: 0.046 Back: 2.127
INFO - Atoms: 607/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 397 Props: 90632 Tprops: 0 Decides: 492 RSplits: 0
INFO - Times: Expl: 29.002 Prop: 24.585 PropClause: 20.645 Set: 17.26 Check: 0.047 Back: 2.144
INFO - Atoms: 644/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 400 Props: 91404 Tprops: 0 Decides: 494 RSplits: 0
INFO - Times: Expl: 29.057 Prop: 24.75 PropClause: 20.787 Set: 17.39 Check: 0.047 Back: 2.161
INFO - Atoms: 662/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 405 Props: 92218 Tprops: 0 Decides: 498 RSplits: 0
INFO - Times: Expl: 29.153 Prop: 24.939 PropClause: 20.951 Set: 17.496 Check: 0.047 Back: 2.181
INFO - Atoms: 602/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 92989 Tprops: 0 Decides: 500 RSplits: 0
INFO - Times: Expl: 29.21 Prop: 25.112 PropClause: 21.101 Set: 17.621 Check: 0.047 Back: 2.197
INFO - Atoms: 655/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 413 Props: 93827 Tprops: 0 Decides: 504 RSplits: 0
INFO - Times: Expl: 29.309 Prop: 25.298 PropClause: 21.261 Set: 17.735 Check: 0.047 Back: 2.216
INFO - Atoms: 618/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 417 Props: 94625 Tprops: 0 Decides: 508 RSplits: 0
INFO - Times: Expl: 29.401 Prop: 25.466 PropClause: 21.404 Set: 17.81 Check: 0.048 Back: 2.235
INFO - Atoms: 611/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 422 Props: 95688 Tprops: 0 Decides: 519 RSplits: 0
INFO - Times: Expl: 29.516 Prop: 25.711 PropClause: 21.616 Set: 17.895 Check: 0.048 Back: 2.259
INFO - Atoms: 609/1208 Clauses: 177 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 426 Props: 96684 Tprops: 0 Decides: 527 RSplits: 0
INFO - Times: Expl: 29.637 Prop: 25.942 PropClause: 21.816 Set: 17.974 Check: 0.048 Back: 2.282
INFO - Atoms: 608/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 430 Props: 97517 Tprops: 0 Decides: 531 RSplits: 0
INFO - Times: Expl: 29.72 Prop: 26.123 PropClause: 21.972 Set: 18.049 Check: 0.048 Back: 2.301
INFO - Atoms: 615/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 434 Props: 98508 Tprops: 0 Decides: 541 RSplits: 0
INFO - Times: Expl: 29.827 Prop: 26.349 PropClause: 22.166 Set: 18.124 Check: 0.048 Back: 2.323
INFO - Atoms: 597/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 438 Props: 99436 Tprops: 0 Decides: 547 RSplits: 0
INFO - Times: Expl: 29.924 Prop: 26.556 PropClause: 22.345 Set: 18.202 Check: 0.049 Back: 2.344
INFO - Atoms: 610/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 100397 Tprops: 0 Decides: 552 RSplits: 0
INFO - Times: Expl: 30.067 Prop: 26.768 PropClause: 22.527 Set: 18.281 Check: 0.049 Back: 2.366
INFO - Atoms: 631/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 448 Props: 101265 Tprops: 0 Decides: 556 RSplits: 0
INFO - Times: Expl: 30.153 Prop: 26.952 PropClause: 22.685 Set: 18.358 Check: 0.049 Back: 2.385
INFO - Atoms: 626/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 451 Props: 102079 Tprops: 0 Decides: 558 RSplits: 0
INFO - Times: Expl: 30.21 Prop: 27.138 PropClause: 22.846 Set: 18.445 Check: 0.049 Back: 2.402
INFO - Atoms: 674/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 455 Props: 102941 Tprops: 0 Decides: 562 RSplits: 0
INFO - Times: Expl: 30.3 Prop: 27.329 PropClause: 23.011 Set: 18.523 Check: 0.049 Back: 2.423
INFO - Atoms: 624/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 458 Props: 103747 Tprops: 0 Decides: 564 RSplits: 0
INFO - Times: Expl: 30.354 Prop: 27.499 PropClause: 23.158 Set: 18.608 Check: 0.049 Back: 2.439
INFO - Atoms: 674/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 462 Props: 104606 Tprops: 0 Decides: 568 RSplits: 0
INFO - Times: Expl: 30.44 Prop: 27.685 PropClause: 23.317 Set: 18.685 Check: 0.049 Back: 2.46
INFO - Atoms: 631/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 466 Props: 105465 Tprops: 0 Decides: 572 RSplits: 0
INFO - Times: Expl: 30.528 Prop: 27.872 PropClause: 23.478 Set: 18.761 Check: 0.049 Back: 2.48
INFO - Atoms: 622/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 472 Props: 106647 Tprops: 0 Decides: 583 RSplits: 0
INFO - Times: Expl: 30.681 Prop: 28.161 PropClause: 23.724 Set: 18.844 Check: 0.05 Back: 2.507
INFO - Atoms: 616/1208 Clauses: 178 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 107556 Tprops: 0 Decides: 589 RSplits: 0
INFO - Times: Expl: 30.795 Prop: 28.37 PropClause: 23.905 Set: 18.977 Check: 0.05 Back: 2.528
INFO - Atoms: 615/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 479 Props: 108335 Tprops: 0 Decides: 591 RSplits: 0
INFO - Times: Expl: 30.919 Prop: 28.529 PropClause: 24.041 Set: 19.058 Check: 0.05 Back: 2.545
INFO - Atoms: 654/1208 Clauses: 175 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 483 Props: 109131 Tprops: 0 Decides: 595 RSplits: 0
INFO - Times: Expl: 30.997 Prop: 28.695 PropClause: 24.184 Set: 19.128 Check: 0.05 Back: 2.564
INFO - Atoms: 607/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 487 Props: 109936 Tprops: 0 Decides: 599 RSplits: 0
INFO - Times: Expl: 31.058 Prop: 28.86 PropClause: 24.324 Set: 19.198 Check: 0.05 Back: 2.582
INFO - Atoms: 612/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 491 Props: 110730 Tprops: 0 Decides: 603 RSplits: 0
INFO - Times: Expl: 31.117 Prop: 29.018 PropClause: 24.459 Set: 19.269 Check: 0.05 Back: 2.6
INFO - Atoms: 608/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 495 Props: 111773 Tprops: 0 Decides: 615 RSplits: 0
INFO - Times: Expl: 31.198 Prop: 29.25 PropClause: 24.658 Set: 19.348 Check: 0.051 Back: 2.623
INFO - Atoms: 620/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 499 Props: 112598 Tprops: 0 Decides: 619 RSplits: 0
INFO - Times: Expl: 31.268 Prop: 29.431 PropClause: 24.813 Set: 19.593 Check: 0.051 Back: 2.642
INFO - Atoms: 619/1208 Clauses: 176 Axioms: 3012
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 146 Props: 2269 Tprops: 0 Decides: 11957 RSplits: 0
INFO - Times: Expl: 14.324 Prop: 312.326 PropClause: 1.565 Set: 387.546 Check: 49.096 Back: 15.064
INFO - Atoms: 36/201 Clauses: 146 Axioms: 254
INFO - CCTimes: iE 0 eq 4548600 cc 768180 setRep 11027630
INFO - Merges: 8563, cc:0
INFO - BVTimes: BB 5910697 BB_DPLL 176517319 Graph 47531268
INFO - BitBlastingClauses: 25028 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat