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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 8526008
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 2013 Tprops: 0 Decides: 60 RSplits: 0
INFO - Times: Expl: 2.765 Prop: 7.19 PropClause: 5.352 Set: 2.282 Check: 0.008 Back: 0.083
INFO - Atoms: 504/996 Clauses: 90 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 3157 Tprops: 0 Decides: 70 RSplits: 0
INFO - Times: Expl: 3.459 Prop: 7.765 PropClause: 5.71 Set: 3.675 Check: 0.01 Back: 0.107
INFO - Atoms: 616/996 Clauses: 83 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 4464 Tprops: 0 Decides: 92 RSplits: 0
INFO - Times: Expl: 4.381 Prop: 8.419 PropClause: 6.114 Set: 3.943 Check: 0.014 Back: 0.141
INFO - Atoms: 482/996 Clauses: 89 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 5569 Tprops: 0 Decides: 100 RSplits: 0
INFO - Times: Expl: 5.09 Prop: 8.939 PropClause: 6.427 Set: 4.23 Check: 0.015 Back: 0.166
INFO - Atoms: 582/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 6813 Tprops: 0 Decides: 120 RSplits: 0
INFO - Times: Expl: 6.076 Prop: 9.578 PropClause: 6.813 Set: 4.446 Check: 0.019 Back: 0.198
INFO - Atoms: 465/996 Clauses: 89 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 7629 Tprops: 0 Decides: 124 RSplits: 0
INFO - Times: Expl: 6.55 Prop: 9.876 PropClause: 7.028 Set: 4.697 Check: 0.019 Back: 0.216
INFO - Atoms: 549/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 8624 Tprops: 0 Decides: 134 RSplits: 0
INFO - Times: Expl: 7.147 Prop: 10.232 PropClause: 7.327 Set: 4.926 Check: 0.02 Back: 0.24
INFO - Atoms: 509/996 Clauses: 85 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 9444 Tprops: 0 Decides: 148 RSplits: 0
INFO - Times: Expl: 7.61 Prop: 10.518 PropClause: 7.559 Set: 5.117 Check: 0.02 Back: 0.261
INFO - Atoms: 449/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 10511 Tprops: 0 Decides: 160 RSplits: 0
INFO - Times: Expl: 8.306 Prop: 10.895 PropClause: 7.874 Set: 5.351 Check: 0.02 Back: 0.283
INFO - Atoms: 533/996 Clauses: 86 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 11292 Tprops: 0 Decides: 164 RSplits: 0
INFO - Times: Expl: 8.68 Prop: 11.195 PropClause: 8.099 Set: 5.593 Check: 0.02 Back: 0.302
INFO - Atoms: 533/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 12194 Tprops: 0 Decides: 172 RSplits: 0
INFO - Times: Expl: 9.153 Prop: 11.504 PropClause: 8.358 Set: 5.837 Check: 0.021 Back: 0.323
INFO - Atoms: 533/996 Clauses: 83 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 13168 Tprops: 0 Decides: 180 RSplits: 0
INFO - Times: Expl: 9.757 Prop: 11.876 PropClause: 8.641 Set: 6.082 Check: 0.021 Back: 0.346
INFO - Atoms: 516/996 Clauses: 85 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 13917 Tprops: 0 Decides: 184 RSplits: 0
INFO - Times: Expl: 10.087 Prop: 12.124 PropClause: 8.851 Set: 6.316 Check: 0.021 Back: 0.363
INFO - Atoms: 517/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 14846 Tprops: 0 Decides: 201 RSplits: 0
INFO - Times: Expl: 10.76 Prop: 12.465 PropClause: 9.129 Set: 6.51 Check: 0.022 Back: 0.387
INFO - Atoms: 431/996 Clauses: 88 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 15581 Tprops: 0 Decides: 205 RSplits: 0
INFO - Times: Expl: 11.09 Prop: 12.705 PropClause: 9.332 Set: 6.744 Check: 0.022 Back: 0.402
INFO - Atoms: 516/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 139 Props: 16413 Tprops: 0 Decides: 219 RSplits: 0
INFO - Times: Expl: 11.595 Prop: 13.006 PropClause: 9.572 Set: 6.951 Check: 0.022 Back: 0.43
INFO - Atoms: 452/996 Clauses: 85 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 149 Props: 17270 Tprops: 0 Decides: 234 RSplits: 0
INFO - Times: Expl: 12.139 Prop: 13.308 PropClause: 9.82 Set: 7.15 Check: 0.023 Back: 0.45
INFO - Atoms: 452/996 Clauses: 86 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 157 Props: 18015 Tprops: 0 Decides: 248 RSplits: 0
INFO - Times: Expl: 15.228 Prop: 13.56 PropClause: 10.025 Set: 7.336 Check: 0.023 Back: 0.468
INFO - Atoms: 446/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 166 Props: 20012 Tprops: 0 Decides: 378 RSplits: 0
INFO - Times: Expl: 21.206 Prop: 14.461 PropClause: 10.686 Set: 7.677 Check: 0.026 Back: 0.514
INFO - Atoms: 584/996 Clauses: 85 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 171 Props: 20961 Tprops: 0 Decides: 382 RSplits: 0
INFO - Times: Expl: 21.351 Prop: 14.778 PropClause: 10.961 Set: 7.947 Check: 0.027 Back: 0.536
INFO - Atoms: 584/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 176 Props: 21870 Tprops: 0 Decides: 386 RSplits: 0
INFO - Times: Expl: 21.486 Prop: 15.079 PropClause: 11.223 Set: 8.202 Check: 0.027 Back: 0.558
INFO - Atoms: 567/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 189 Props: 23096 Tprops: 0 Decides: 400 RSplits: 0
INFO - Times: Expl: 21.794 Prop: 15.503 PropClause: 11.589 Set: 8.399 Check: 0.027 Back: 0.59
INFO - Atoms: 444/996 Clauses: 89 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 196 Props: 24109 Tprops: 0 Decides: 408 RSplits: 0
INFO - Times: Expl: 22.359 Prop: 15.857 PropClause: 11.897 Set: 8.65 Check: 0.027 Back: 0.611
INFO - Atoms: 551/996 Clauses: 83 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 207 Props: 25238 Tprops: 0 Decides: 426 RSplits: 0
INFO - Times: Expl: 22.609 Prop: 16.161 PropClause: 12.142 Set: 8.86 Check: 0.028 Back: 0.64
INFO - Atoms: 448/996 Clauses: 87 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 212 Props: 26106 Tprops: 0 Decides: 430 RSplits: 0
INFO - Times: Expl: 35.548 Prop: 16.433 PropClause: 12.378 Set: 9.151 Check: 0.028 Back: 0.658
INFO - Atoms: 563/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 220 Props: 27168 Tprops: 0 Decides: 438 RSplits: 0
INFO - Times: Expl: 35.758 Prop: 16.7 PropClause: 12.601 Set: 9.391 Check: 0.028 Back: 0.683
INFO - Atoms: 563/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 232 Props: 28334 Tprops: 0 Decides: 455 RSplits: 0
INFO - Times: Expl: 36.04 Prop: 17.002 PropClause: 12.852 Set: 9.576 Check: 0.029 Back: 0.712
INFO - Atoms: 469/996 Clauses: 88 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 237 Props: 29154 Tprops: 0 Decides: 461 RSplits: 0
INFO - Times: Expl: 36.175 Prop: 17.207 PropClause: 13.013 Set: 9.806 Check: 0.029 Back: 0.729
INFO - Atoms: 547/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 249 Props: 30220 Tprops: 0 Decides: 478 RSplits: 0
INFO - Times: Expl: 36.47 Prop: 17.479 PropClause: 13.24 Set: 9.987 Check: 0.029 Back: 0.757
INFO - Atoms: 452/996 Clauses: 88 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 254 Props: 31019 Tprops: 0 Decides: 482 RSplits: 0
INFO - Times: Expl: 36.595 Prop: 17.668 PropClause: 13.397 Set: 10.204 Check: 0.03 Back: 0.773
INFO - Atoms: 544/996 Clauses: 81 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 264 Props: 32021 Tprops: 0 Decides: 496 RSplits: 0
INFO - Times: Expl: 36.911 Prop: 17.935 PropClause: 13.618 Set: 10.416 Check: 0.03 Back: 0.798
INFO - Atoms: 468/996 Clauses: 86 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 272 Props: 32886 Tprops: 0 Decides: 510 RSplits: 0
INFO - Times: Expl: 37.079 Prop: 18.152 PropClause: 13.796 Set: 10.6 Check: 0.03 Back: 0.819
INFO - Atoms: 472/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 280 Props: 34189 Tprops: 0 Decides: 590 RSplits: 0
INFO - Times: Expl: 37.614 Prop: 18.549 PropClause: 14.109 Set: 10.795 Check: 0.033 Back: 0.851
INFO - Atoms: 459/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 292 Props: 35428 Tprops: 0 Decides: 620 RSplits: 0
INFO - Times: Expl: 38.069 Prop: 18.875 PropClause: 14.377 Set: 11.001 Check: 0.033 Back: 0.881
INFO - Atoms: 467/996 Clauses: 88 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 300 Props: 36252 Tprops: 0 Decides: 639 RSplits: 0
INFO - Times: Expl: 38.226 Prop: 19.078 PropClause: 14.54 Set: 11.181 Check: 0.034 Back: 0.9
INFO - Atoms: 459/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 308 Props: 37472 Tprops: 0 Decides: 683 RSplits: 0
INFO - Times: Expl: 38.445 Prop: 19.404 PropClause: 14.802 Set: 11.373 Check: 0.035 Back: 0.93
INFO - Atoms: 463/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 319 Props: 38593 Tprops: 0 Decides: 705 RSplits: 0
INFO - Times: Expl: 38.715 Prop: 19.695 PropClause: 15.042 Set: 11.564 Check: 0.036 Back: 0.957
INFO - Atoms: 472/996 Clauses: 87 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 327 Props: 39483 Tprops: 0 Decides: 723 RSplits: 0
INFO - Times: Expl: 38.88 Prop: 19.926 PropClause: 15.228 Set: 11.756 Check: 0.036 Back: 0.978
INFO - Atoms: 461/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 335 Props: 40689 Tprops: 0 Decides: 767 RSplits: 0
INFO - Times: Expl: 39.101 Prop: 20.246 PropClause: 15.486 Set: 11.941 Check: 0.037 Back: 1.007
INFO - Atoms: 460/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 343 Props: 41627 Tprops: 0 Decides: 787 RSplits: 0
INFO - Times: Expl: 39.283 Prop: 20.488 PropClause: 15.684 Set: 12.144 Check: 0.038 Back: 1.029
INFO - Atoms: 469/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 351 Props: 42844 Tprops: 0 Decides: 831 RSplits: 0
INFO - Times: Expl: 39.494 Prop: 20.809 PropClause: 15.943 Set: 12.334 Check: 0.039 Back: 1.059
INFO - Atoms: 461/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 361 Props: 43883 Tprops: 0 Decides: 843 RSplits: 0
INFO - Times: Expl: 39.745 Prop: 21.075 PropClause: 16.164 Set: 12.525 Check: 0.039 Back: 1.083
INFO - Atoms: 470/996 Clauses: 86 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 368 Props: 44822 Tprops: 0 Decides: 851 RSplits: 0
INFO - Times: Expl: 39.899 Prop: 21.304 PropClause: 16.352 Set: 12.764 Check: 0.04 Back: 1.103
INFO - Atoms: 558/996 Clauses: 83 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 379 Props: 45820 Tprops: 0 Decides: 864 RSplits: 0
INFO - Times: Expl: 40.131 Prop: 21.555 PropClause: 16.559 Set: 12.954 Check: 0.04 Back: 1.128
INFO - Atoms: 470/996 Clauses: 87 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 387 Props: 46689 Tprops: 0 Decides: 884 RSplits: 0
INFO - Times: Expl: 40.286 Prop: 21.769 PropClause: 16.73 Set: 13.146 Check: 0.041 Back: 1.15
INFO - Atoms: 461/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 396 Props: 47618 Tprops: 0 Decides: 898 RSplits: 0
INFO - Times: Expl: 40.468 Prop: 21.998 PropClause: 16.919 Set: 13.302 Check: 0.041 Back: 1.171
INFO - Atoms: 468/996 Clauses: 85 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 408 Props: 48696 Tprops: 0 Decides: 916 RSplits: 0
INFO - Times: Expl: 40.684 Prop: 22.265 PropClause: 17.138 Set: 13.458 Check: 0.041 Back: 1.197
INFO - Atoms: 479/996 Clauses: 88 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 416 Props: 49605 Tprops: 0 Decides: 932 RSplits: 0
INFO - Times: Expl: 40.84 Prop: 22.487 PropClause: 17.319 Set: 13.604 Check: 0.042 Back: 1.219
INFO - Atoms: 471/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 424 Props: 50835 Tprops: 0 Decides: 989 RSplits: 0
INFO - Times: Expl: 41.05 Prop: 22.819 PropClause: 17.584 Set: 13.756 Check: 0.043 Back: 1.249
INFO - Atoms: 456/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 436 Props: 51983 Tprops: 0 Decides: 1017 RSplits: 0
INFO - Times: Expl: 41.286 Prop: 23.108 PropClause: 17.82 Set: 13.906 Check: 0.044 Back: 1.277
INFO - Atoms: 466/996 Clauses: 88 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 444 Props: 52811 Tprops: 0 Decides: 1036 RSplits: 0
INFO - Times: Expl: 41.429 Prop: 23.31 PropClause: 17.983 Set: 14.05 Check: 0.045 Back: 1.297
INFO - Atoms: 460/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 452 Props: 54035 Tprops: 0 Decides: 1081 RSplits: 0
INFO - Times: Expl: 41.632 Prop: 23.627 PropClause: 18.238 Set: 14.22 Check: 0.046 Back: 1.326
INFO - Atoms: 463/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 460 Props: 55026 Tprops: 0 Decides: 1100 RSplits: 0
INFO - Times: Expl: 41.795 Prop: 23.877 PropClause: 18.444 Set: 14.37 Check: 0.046 Back: 1.349
INFO - Atoms: 473/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 468 Props: 56213 Tprops: 0 Decides: 1144 RSplits: 0
INFO - Times: Expl: 41.992 Prop: 24.19 PropClause: 18.696 Set: 14.526 Check: 0.047 Back: 1.379
INFO - Atoms: 454/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 476 Props: 57413 Tprops: 0 Decides: 1177 RSplits: 0
INFO - Times: Expl: 42.192 Prop: 24.492 PropClause: 18.941 Set: 14.679 Check: 0.048 Back: 1.407
INFO - Atoms: 464/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 484 Props: 58329 Tprops: 0 Decides: 1193 RSplits: 0
INFO - Times: Expl: 42.344 Prop: 24.718 PropClause: 19.127 Set: 14.826 Check: 0.049 Back: 1.429
INFO - Atoms: 472/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 492 Props: 59532 Tprops: 0 Decides: 1237 RSplits: 0
INFO - Times: Expl: 42.542 Prop: 25.029 PropClause: 19.377 Set: 14.977 Check: 0.05 Back: 1.458
INFO - Atoms: 457/996 Clauses: 84 Axioms: 2556
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 76 Props: 739 Tprops: 0 Decides: 1887 RSplits: 0
INFO - Times: Expl: 7.012 Prop: 222.617 PropClause: 0.647 Set: 96.104 Check: 9.98 Back: 3.517
INFO - Atoms: 20/89 Clauses: 76 Axioms: 110
INFO - CCTimes: iE 0 eq 2653832 cc 457270 setRep 683032
INFO - Merges: 1626, cc:0
INFO - BVTimes: BB 8521620 BB_DPLL 159073764 Graph 8890373
INFO - BitBlastingClauses: 6888 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat