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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 5387247
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 851 Tprops: 0 Decides: 19 RSplits: 0
INFO - Times: Expl: 1.54 Prop: 2.703 PropClause: 2.3 Set: 1.514 Check: 0.004 Back: 0.033
INFO - Atoms: 299/536 Clauses: 84 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 1392 Tprops: 0 Decides: 24 RSplits: 0
INFO - Times: Expl: 1.951 Prop: 2.988 PropClause: 2.474 Set: 2.507 Check: 0.005 Back: 0.062
INFO - Atoms: 346/536 Clauses: 81 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 1823 Tprops: 0 Decides: 26 RSplits: 0
INFO - Times: Expl: 2.162 Prop: 3.199 PropClause: 2.601 Set: 3.456 Check: 0.006 Back: 0.086
INFO - Atoms: 338/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 2248 Tprops: 0 Decides: 28 RSplits: 0
INFO - Times: Expl: 2.538 Prop: 3.465 PropClause: 2.78 Set: 6.362 Check: 0.008 Back: 0.105
INFO - Atoms: 336/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 2674 Tprops: 0 Decides: 32 RSplits: 0
INFO - Times: Expl: 2.912 Prop: 3.674 PropClause: 2.906 Set: 6.498 Check: 0.009 Back: 0.117
INFO - Atoms: 282/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 3090 Tprops: 0 Decides: 34 RSplits: 0
INFO - Times: Expl: 3.058 Prop: 3.814 PropClause: 3.017 Set: 6.656 Check: 0.009 Back: 0.126
INFO - Atoms: 330/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 3504 Tprops: 0 Decides: 36 RSplits: 0
INFO - Times: Expl: 3.209 Prop: 3.945 PropClause: 3.124 Set: 6.814 Check: 0.009 Back: 0.135
INFO - Atoms: 330/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 3957 Tprops: 0 Decides: 40 RSplits: 0
INFO - Times: Expl: 3.403 Prop: 4.098 PropClause: 3.247 Set: 6.931 Check: 0.009 Back: 0.147
INFO - Atoms: 294/536 Clauses: 81 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 4353 Tprops: 0 Decides: 42 RSplits: 0
INFO - Times: Expl: 3.521 Prop: 4.22 PropClause: 3.346 Set: 7.073 Check: 0.009 Back: 0.156
INFO - Atoms: 319/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 4730 Tprops: 0 Decides: 44 RSplits: 0
INFO - Times: Expl: 3.645 Prop: 4.408 PropClause: 3.447 Set: 7.203 Check: 0.009 Back: 0.165
INFO - Atoms: 311/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 5096 Tprops: 0 Decides: 46 RSplits: 0
INFO - Times: Expl: 3.811 Prop: 4.624 PropClause: 3.574 Set: 7.342 Check: 0.009 Back: 0.173
INFO - Atoms: 304/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 5461 Tprops: 0 Decides: 48 RSplits: 0
INFO - Times: Expl: 3.934 Prop: 4.736 PropClause: 3.667 Set: 7.473 Check: 0.009 Back: 0.182
INFO - Atoms: 306/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 5827 Tprops: 0 Decides: 52 RSplits: 0
INFO - Times: Expl: 4.096 Prop: 4.865 PropClause: 3.774 Set: 7.577 Check: 0.01 Back: 0.191
INFO - Atoms: 275/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 6426 Tprops: 0 Decides: 77 RSplits: 0
INFO - Times: Expl: 4.365 Prop: 5.14 PropClause: 3.959 Set: 7.707 Check: 0.01 Back: 0.206
INFO - Atoms: 276/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 6903 Tprops: 0 Decides: 81 RSplits: 0
INFO - Times: Expl: 4.515 Prop: 5.295 PropClause: 4.088 Set: 7.855 Check: 0.01 Back: 0.216
INFO - Atoms: 336/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 7367 Tprops: 0 Decides: 85 RSplits: 0
INFO - Times: Expl: 4.659 Prop: 5.447 PropClause: 4.216 Set: 8.001 Check: 0.011 Back: 0.227
INFO - Atoms: 328/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 7832 Tprops: 0 Decides: 89 RSplits: 0
INFO - Times: Expl: 4.858 Prop: 5.6 PropClause: 4.343 Set: 8.13 Check: 0.011 Back: 0.239
INFO - Atoms: 277/536 Clauses: 81 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 8254 Tprops: 0 Decides: 93 RSplits: 0
INFO - Times: Expl: 5.024 Prop: 5.735 PropClause: 4.453 Set: 8.235 Check: 0.011 Back: 0.249
INFO - Atoms: 269/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 8648 Tprops: 0 Decides: 95 RSplits: 0
INFO - Times: Expl: 5.155 Prop: 5.851 PropClause: 4.548 Set: 8.363 Check: 0.011 Back: 0.257
INFO - Atoms: 310/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 9029 Tprops: 0 Decides: 97 RSplits: 0
INFO - Times: Expl: 5.276 Prop: 5.972 PropClause: 4.649 Set: 8.495 Check: 0.011 Back: 0.266
INFO - Atoms: 302/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 9394 Tprops: 0 Decides: 99 RSplits: 0
INFO - Times: Expl: 5.397 Prop: 6.085 PropClause: 4.742 Set: 8.617 Check: 0.011 Back: 0.275
INFO - Atoms: 294/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 9814 Tprops: 0 Decides: 104 RSplits: 0
INFO - Times: Expl: 11.788 Prop: 6.337 PropClause: 4.93 Set: 16.713 Check: 0.011 Back: 0.286
INFO - Atoms: 262/536 Clauses: 82 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 10166 Tprops: 0 Decides: 106 RSplits: 0
INFO - Times: Expl: 11.864 Prop: 6.418 PropClause: 4.995 Set: 16.825 Check: 0.011 Back: 0.294
INFO - Atoms: 286/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 10554 Tprops: 0 Decides: 110 RSplits: 0
INFO - Times: Expl: 11.989 Prop: 6.512 PropClause: 5.069 Set: 16.921 Check: 0.012 Back: 0.304
INFO - Atoms: 276/536 Clauses: 81 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 10887 Tprops: 0 Decides: 114 RSplits: 0
INFO - Times: Expl: 12.082 Prop: 6.591 PropClause: 5.131 Set: 17.011 Check: 0.012 Back: 0.312
INFO - Atoms: 247/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 11205 Tprops: 0 Decides: 118 RSplits: 0
INFO - Times: Expl: 12.174 Prop: 6.663 PropClause: 5.188 Set: 17.097 Check: 0.012 Back: 0.32
INFO - Atoms: 242/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 11525 Tprops: 0 Decides: 120 RSplits: 0
INFO - Times: Expl: 12.235 Prop: 6.734 PropClause: 5.244 Set: 17.198 Check: 0.012 Back: 0.327
INFO - Atoms: 270/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 11854 Tprops: 0 Decides: 122 RSplits: 0
INFO - Times: Expl: 12.299 Prop: 6.808 PropClause: 5.303 Set: 17.3 Check: 0.012 Back: 0.334
INFO - Atoms: 275/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 12283 Tprops: 0 Decides: 126 RSplits: 0
INFO - Times: Expl: 12.417 Prop: 6.912 PropClause: 5.386 Set: 17.405 Check: 0.012 Back: 0.344
INFO - Atoms: 297/536 Clauses: 81 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 12644 Tprops: 0 Decides: 128 RSplits: 0
INFO - Times: Expl: 12.491 Prop: 6.995 PropClause: 5.453 Set: 17.506 Check: 0.012 Back: 0.352
INFO - Atoms: 297/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 12991 Tprops: 0 Decides: 130 RSplits: 0
INFO - Times: Expl: 12.558 Prop: 7.076 PropClause: 5.518 Set: 17.614 Check: 0.012 Back: 0.361
INFO - Atoms: 290/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 13339 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 12.655 Prop: 7.158 PropClause: 5.583 Set: 17.696 Check: 0.012 Back: 0.369
INFO - Atoms: 259/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 13924 Tprops: 0 Decides: 160 RSplits: 0
INFO - Times: Expl: 12.864 Prop: 7.322 PropClause: 5.709 Set: 17.799 Check: 0.013 Back: 0.383
INFO - Atoms: 265/536 Clauses: 82 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 131 Props: 14348 Tprops: 0 Decides: 168 RSplits: 0
INFO - Times: Expl: 12.986 Prop: 7.427 PropClause: 5.792 Set: 17.883 Check: 0.013 Back: 0.394
INFO - Atoms: 260/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 136 Props: 14738 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 13.101 Prop: 7.519 PropClause: 5.865 Set: 17.996 Check: 0.013 Back: 0.403
INFO - Atoms: 269/536 Clauses: 81 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 140 Props: 15091 Tprops: 0 Decides: 176 RSplits: 0
INFO - Times: Expl: 13.209 Prop: 7.602 PropClause: 5.929 Set: 18.081 Check: 0.014 Back: 0.411
INFO - Atoms: 261/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 144 Props: 15541 Tprops: 0 Decides: 186 RSplits: 0
INFO - Times: Expl: 13.292 Prop: 10.374 PropClause: 6.021 Set: 18.182 Check: 0.014 Back: 0.422
INFO - Atoms: 267/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 148 Props: 15899 Tprops: 0 Decides: 190 RSplits: 0
INFO - Times: Expl: 13.358 Prop: 10.462 PropClause: 6.092 Set: 18.244 Check: 0.014 Back: 0.43
INFO - Atoms: 270/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 152 Props: 16257 Tprops: 0 Decides: 194 RSplits: 0
INFO - Times: Expl: 13.411 Prop: 10.569 PropClause: 6.156 Set: 18.29 Check: 0.014 Back: 0.438
INFO - Atoms: 272/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 158 Props: 16766 Tprops: 0 Decides: 205 RSplits: 0
INFO - Times: Expl: 13.526 Prop: 10.698 PropClause: 6.261 Set: 18.341 Check: 0.014 Back: 0.45
INFO - Atoms: 273/536 Clauses: 82 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 162 Props: 17151 Tprops: 0 Decides: 210 RSplits: 0
INFO - Times: Expl: 13.58 Prop: 10.789 PropClause: 6.333 Set: 18.398 Check: 0.015 Back: 0.46
INFO - Atoms: 266/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 168 Props: 17569 Tprops: 0 Decides: 215 RSplits: 0
INFO - Times: Expl: 13.656 Prop: 10.886 PropClause: 6.411 Set: 18.448 Check: 0.015 Back: 0.469
INFO - Atoms: 272/536 Clauses: 82 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 172 Props: 17927 Tprops: 0 Decides: 219 RSplits: 0
INFO - Times: Expl: 13.705 Prop: 10.968 PropClause: 6.476 Set: 18.493 Check: 0.015 Back: 0.478
INFO - Atoms: 265/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 18301 Tprops: 0 Decides: 223 RSplits: 0
INFO - Times: Expl: 13.758 Prop: 11.055 PropClause: 6.547 Set: 18.541 Check: 0.015 Back: 0.487
INFO - Atoms: 271/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 180 Props: 18765 Tprops: 0 Decides: 237 RSplits: 0
INFO - Times: Expl: 13.826 Prop: 11.171 PropClause: 6.639 Set: 18.599 Check: 0.015 Back: 0.498
INFO - Atoms: 262/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 184 Props: 19142 Tprops: 0 Decides: 241 RSplits: 0
INFO - Times: Expl: 13.886 Prop: 11.259 PropClause: 6.71 Set: 18.647 Check: 0.016 Back: 0.507
INFO - Atoms: 274/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 190 Props: 19646 Tprops: 0 Decides: 251 RSplits: 0
INFO - Times: Expl: 13.978 Prop: 11.381 PropClause: 6.809 Set: 18.696 Check: 0.016 Back: 0.519
INFO - Atoms: 277/536 Clauses: 82 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 194 Props: 20032 Tprops: 0 Decides: 256 RSplits: 0
INFO - Times: Expl: 14.032 Prop: 11.47 PropClause: 6.88 Set: 18.743 Check: 0.016 Back: 0.528
INFO - Atoms: 272/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 198 Props: 20405 Tprops: 0 Decides: 260 RSplits: 0
INFO - Times: Expl: 14.083 Prop: 11.555 PropClause: 6.948 Set: 18.791 Check: 0.016 Back: 0.537
INFO - Atoms: 273/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 202 Props: 20775 Tprops: 0 Decides: 264 RSplits: 0
INFO - Times: Expl: 14.134 Prop: 11.637 PropClause: 7.015 Set: 18.847 Check: 0.016 Back: 0.545
INFO - Atoms: 275/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 206 Props: 21235 Tprops: 0 Decides: 274 RSplits: 0
INFO - Times: Expl: 14.202 Prop: 11.747 PropClause: 7.103 Set: 18.896 Check: 0.017 Back: 0.557
INFO - Atoms: 272/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 210 Props: 21599 Tprops: 0 Decides: 278 RSplits: 0
INFO - Times: Expl: 14.242 Prop: 11.832 PropClause: 7.172 Set: 18.945 Check: 0.017 Back: 0.565
INFO - Atoms: 281/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 213 Props: 21957 Tprops: 0 Decides: 280 RSplits: 0
INFO - Times: Expl: 14.276 Prop: 11.919 PropClause: 7.239 Set: 19.37 Check: 0.017 Back: 0.572
INFO - Atoms: 304/536 Clauses: 79 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 217 Props: 22327 Tprops: 0 Decides: 284 RSplits: 0
INFO - Times: Expl: 14.32 Prop: 12.004 PropClause: 7.306 Set: 19.49 Check: 0.017 Back: 0.582
INFO - Atoms: 283/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 222 Props: 22847 Tprops: 0 Decides: 294 RSplits: 0
INFO - Times: Expl: 14.388 Prop: 12.129 PropClause: 7.408 Set: 19.591 Check: 0.017 Back: 0.593
INFO - Atoms: 288/536 Clauses: 81 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 226 Props: 23297 Tprops: 0 Decides: 301 RSplits: 0
INFO - Times: Expl: 14.438 Prop: 12.237 PropClause: 7.494 Set: 19.674 Check: 0.017 Back: 0.604
INFO - Atoms: 281/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 230 Props: 23751 Tprops: 0 Decides: 309 RSplits: 0
INFO - Times: Expl: 14.49 Prop: 12.347 PropClause: 7.582 Set: 19.754 Check: 0.018 Back: 0.615
INFO - Atoms: 273/536 Clauses: 80 Axioms: 1316
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 69 Props: 592 Tprops: 0 Decides: 1839 RSplits: 0
INFO - Times: Expl: 15.218 Prop: 157.604 PropClause: 0.707 Set: 72.721 Check: 7.304 Back: 2.434
INFO - Atoms: 21/89 Clauses: 69 Axioms: 110
INFO - CCTimes: iE 0 eq 2174472 cc 180541 setRep 796090
INFO - Merges: 1437, cc:0
INFO - BVTimes: BB 5382247 BB_DPLL 100001976 Graph 6193383
INFO - BitBlastingClauses: 5648 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat