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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 75078701
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 302 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.026 Prop: 4.698 PropClause: 3.964 Set: 3.056 Check: 0.0 Back: 0.0
INFO - Atoms: 302/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.059 Prop: 4.867 PropClause: 4.072 Set: 3.177 Check: 0.0 Back: 0.015
INFO - Atoms: 284/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 1209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.089 Prop: 5.503 PropClause: 4.218 Set: 3.656 Check: 0.0 Back: 0.022
INFO - Atoms: 623/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 1835 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.105 Prop: 7.568 PropClause: 6.179 Set: 3.916 Check: 0.0 Back: 0.036
INFO - Atoms: 626/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 2464 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.115 Prop: 7.749 PropClause: 6.327 Set: 4.17 Check: 0.0 Back: 0.051
INFO - Atoms: 629/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 3090 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.125 Prop: 7.935 PropClause: 6.487 Set: 4.425 Check: 0.0 Back: 0.065
INFO - Atoms: 626/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 3761 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.135 Prop: 8.133 PropClause: 6.656 Set: 4.73 Check: 0.0 Back: 0.08
INFO - Atoms: 671/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 4408 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.148 Prop: 8.335 PropClause: 6.829 Set: 4.993 Check: 0.0 Back: 0.095
INFO - Atoms: 647/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 5106 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.162 Prop: 8.555 PropClause: 7.018 Set: 5.301 Check: 0.0 Back: 0.11
INFO - Atoms: 698/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 5751 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.171 Prop: 8.755 PropClause: 7.19 Set: 5.568 Check: 0.0 Back: 0.127
INFO - Atoms: 645/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 6448 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.183 Prop: 8.959 PropClause: 7.364 Set: 5.878 Check: 0.0 Back: 0.142
INFO - Atoms: 697/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 7155 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.193 Prop: 9.2 PropClause: 7.575 Set: 6.195 Check: 0.0 Back: 0.158
INFO - Atoms: 707/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 7864 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.202 Prop: 9.415 PropClause: 7.76 Set: 6.511 Check: 0.0 Back: 0.175
INFO - Atoms: 709/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 8575 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.212 Prop: 9.642 PropClause: 7.956 Set: 6.822 Check: 0.0 Back: 0.191
INFO - Atoms: 711/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 9270 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.221 Prop: 9.857 PropClause: 8.14 Set: 7.125 Check: 0.0 Back: 0.208
INFO - Atoms: 695/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 9914 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.229 Prop: 10.053 PropClause: 8.309 Set: 7.39 Check: 0.0 Back: 0.224
INFO - Atoms: 644/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 10617 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.238 Prop: 10.257 PropClause: 8.482 Set: 7.699 Check: 0.0 Back: 0.239
INFO - Atoms: 703/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 11312 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.247 Prop: 10.485 PropClause: 8.68 Set: 8.019 Check: 0.0 Back: 0.256
INFO - Atoms: 695/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 12009 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.257 Prop: 10.702 PropClause: 8.867 Set: 8.341 Check: 0.0 Back: 0.272
INFO - Atoms: 697/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 12771 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.266 Prop: 10.959 PropClause: 9.09 Set: 8.754 Check: 0.0 Back: 0.288
INFO - Atoms: 762/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 13521 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.278 Prop: 11.211 PropClause: 9.309 Set: 9.163 Check: 0.0 Back: 0.306
INFO - Atoms: 750/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 14267 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.289 Prop: 11.466 PropClause: 9.531 Set: 9.561 Check: 0.0 Back: 0.324
INFO - Atoms: 746/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 15042 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.302 Prop: 11.736 PropClause: 9.766 Set: 9.975 Check: 0.0 Back: 0.341
INFO - Atoms: 775/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 15812 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.317 Prop: 13.111 PropClause: 10.005 Set: 10.392 Check: 0.0 Back: 0.359
INFO - Atoms: 770/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 16644 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.329 Prop: 13.396 PropClause: 10.244 Set: 11.177 Check: 0.0 Back: 0.377
INFO - Atoms: 832/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 17453 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.339 Prop: 13.685 PropClause: 10.49 Set: 11.482 Check: 0.0 Back: 0.396
INFO - Atoms: 809/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 18255 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.351 Prop: 13.94 PropClause: 10.712 Set: 11.731 Check: 0.0 Back: 0.415
INFO - Atoms: 802/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 19094 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.362 Prop: 14.224 PropClause: 10.961 Set: 12.021 Check: 0.0 Back: 0.434
INFO - Atoms: 839/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 19694 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.37 Prop: 14.424 PropClause: 11.135 Set: 12.177 Check: 0.0 Back: 0.453
INFO - Atoms: 600/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 20318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.379 Prop: 14.61 PropClause: 11.295 Set: 12.339 Check: 0.0 Back: 0.467
INFO - Atoms: 624/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 21202 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.473 Prop: 14.942 PropClause: 11.576 Set: 12.684 Check: 0.0 Back: 0.482
INFO - Atoms: 884/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 21817 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.491 Prop: 15.157 PropClause: 11.765 Set: 12.813 Check: 0.0 Back: 0.503
INFO - Atoms: 615/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 22440 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.5 Prop: 15.333 PropClause: 11.915 Set: 12.937 Check: 0.0 Back: 0.517
INFO - Atoms: 623/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 23165 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.51 Prop: 15.553 PropClause: 12.105 Set: 13.102 Check: 0.0 Back: 0.532
INFO - Atoms: 725/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 23982 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.522 Prop: 15.821 PropClause: 12.338 Set: 13.316 Check: 0.0 Back: 0.549
INFO - Atoms: 817/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 24705 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.533 Prop: 16.083 PropClause: 12.571 Set: 13.482 Check: 0.0 Back: 0.568
INFO - Atoms: 723/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 25586 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.541 Prop: 16.356 PropClause: 12.808 Set: 13.727 Check: 0.0 Back: 0.585
INFO - Atoms: 881/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 26535 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.55 Prop: 16.677 PropClause: 13.091 Set: 13.98 Check: 0.0 Back: 0.606
INFO - Atoms: 949/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 27063 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.558 Prop: 16.868 PropClause: 13.261 Set: 14.074 Check: 0.0 Back: 0.628
INFO - Atoms: 528/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 27639 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.571 Prop: 17.031 PropClause: 13.399 Set: 14.191 Check: 0.0 Back: 0.64
INFO - Atoms: 576/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 28252 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.587 Prop: 17.162 PropClause: 13.504 Set: 14.316 Check: 0.0 Back: 0.654
INFO - Atoms: 613/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 28867 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.596 Prop: 17.306 PropClause: 13.622 Set: 14.438 Check: 0.0 Back: 0.668
INFO - Atoms: 615/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 29497 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.605 Prop: 17.441 PropClause: 13.731 Set: 14.565 Check: 0.0 Back: 0.683
INFO - Atoms: 630/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 30183 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.619 Prop: 17.643 PropClause: 13.889 Set: 14.794 Check: 0.0 Back: 0.697
INFO - Atoms: 686/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 30857 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.633 Prop: 17.842 PropClause: 14.045 Set: 15.019 Check: 0.0 Back: 0.717
INFO - Atoms: 674/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 31458 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.645 Prop: 17.989 PropClause: 14.167 Set: 15.148 Check: 0.0 Back: 0.734
INFO - Atoms: 601/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 32054 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.654 Prop: 18.12 PropClause: 14.274 Set: 15.278 Check: 0.0 Back: 0.748
INFO - Atoms: 596/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 32768 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.662 Prop: 18.283 PropClause: 14.407 Set: 15.441 Check: 0.0 Back: 0.763
INFO - Atoms: 714/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 33369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.672 Prop: 18.427 PropClause: 14.527 Set: 15.563 Check: 0.0 Back: 0.78
INFO - Atoms: 601/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 34095 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.682 Prop: 18.591 PropClause: 14.661 Set: 15.731 Check: 0.0 Back: 0.794
INFO - Atoms: 726/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 34980 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.697 Prop: 18.851 PropClause: 14.873 Set: 16.028 Check: 0.0 Back: 0.811
INFO - Atoms: 885/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 35567 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.772 Prop: 19.056 PropClause: 15.028 Set: 16.169 Check: 0.0 Back: 0.831
INFO - Atoms: 587/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 36479 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.781 Prop: 19.276 PropClause: 15.208 Set: 16.444 Check: 0.0 Back: 0.845
INFO - Atoms: 912/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 37045 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.785 Prop: 19.455 PropClause: 15.363 Set: 16.565 Check: 0.0 Back: 0.867
INFO - Atoms: 566/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 37549 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.789 Prop: 19.561 PropClause: 15.448 Set: 16.654 Check: 0.0 Back: 0.88
INFO - Atoms: 504/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 38122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.793 Prop: 19.69 PropClause: 15.553 Set: 16.792 Check: 0.0 Back: 0.893
INFO - Atoms: 573/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 38677 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.809 Prop: 19.879 PropClause: 15.65 Set: 16.899 Check: 0.0 Back: 0.906
INFO - Atoms: 555/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 39244 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.812 Prop: 20.005 PropClause: 15.752 Set: 17.007 Check: 0.0 Back: 0.92
INFO - Atoms: 567/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 39819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.823 Prop: 20.141 PropClause: 15.853 Set: 17.138 Check: 0.0 Back: 0.933
INFO - Atoms: 575/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 40404 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.827 Prop: 20.274 PropClause: 15.963 Set: 17.256 Check: 0.0 Back: 0.947
INFO - Atoms: 585/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 41097 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.832 Prop: 20.434 PropClause: 16.092 Set: 17.475 Check: 0.0 Back: 0.961
INFO - Atoms: 693/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 41853 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.835 Prop: 20.629 PropClause: 16.254 Set: 17.72 Check: 0.0 Back: 0.978
INFO - Atoms: 756/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 42619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.839 Prop: 20.825 PropClause: 16.416 Set: 17.96 Check: 0.0 Back: 0.996
INFO - Atoms: 766/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 43213 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.843 Prop: 20.987 PropClause: 16.552 Set: 18.121 Check: 0.0 Back: 1.013
INFO - Atoms: 594/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 44230 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.847 Prop: 21.232 PropClause: 16.755 Set: 18.473 Check: 0.0 Back: 1.027
INFO - Atoms: 1017/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 66 Props: 45318 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.853 Prop: 21.552 PropClause: 17.031 Set: 18.85 Check: 0.0 Back: 1.051
INFO - Atoms: 1088/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 67 Props: 46632 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.869 Prop: 21.927 PropClause: 17.351 Set: 19.34 Check: 0.0 Back: 1.076
INFO - Atoms: 1314/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 68 Props: 47990 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.873 Prop: 22.347 PropClause: 17.715 Set: 19.838 Check: 0.0 Back: 1.107
INFO - Atoms: 1358/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 69 Props: 49363 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.877 Prop: 22.754 PropClause: 18.066 Set: 20.386 Check: 0.0 Back: 1.139
INFO - Atoms: 1373/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 70 Props: 50779 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.88 Prop: 23.182 PropClause: 18.434 Set: 20.913 Check: 0.0 Back: 1.171
INFO - Atoms: 1416/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 71 Props: 52260 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.886 Prop: 23.631 PropClause: 18.824 Set: 21.47 Check: 0.0 Back: 1.204
INFO - Atoms: 1481/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 72 Props: 52873 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.889 Prop: 23.869 PropClause: 19.037 Set: 21.641 Check: 0.0 Back: 1.239
INFO - Atoms: 613/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 73 Props: 53569 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.893 Prop: 24.035 PropClause: 19.175 Set: 21.851 Check: 0.0 Back: 1.254
INFO - Atoms: 696/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 74 Props: 55048 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.896 Prop: 24.412 PropClause: 19.492 Set: 22.406 Check: 0.0 Back: 1.271
INFO - Atoms: 1479/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 75 Props: 55649 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.899 Prop: 24.647 PropClause: 19.703 Set: 22.583 Check: 0.0 Back: 1.305
INFO - Atoms: 601/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 76 Props: 56327 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.902 Prop: 24.815 PropClause: 19.843 Set: 22.779 Check: 0.0 Back: 1.319
INFO - Atoms: 678/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 77 Props: 57576 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.905 Prop: 25.122 PropClause: 20.1 Set: 23.222 Check: 0.0 Back: 1.335
INFO - Atoms: 1249/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 78 Props: 58601 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.914 Prop: 25.438 PropClause: 20.372 Set: 23.508 Check: 0.0 Back: 1.365
INFO - Atoms: 1025/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 79 Props: 59248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.918 Prop: 25.635 PropClause: 20.543 Set: 23.648 Check: 0.0 Back: 1.389
INFO - Atoms: 647/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 80 Props: 59909 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.921 Prop: 25.795 PropClause: 20.676 Set: 23.793 Check: 0.0 Back: 1.404
INFO - Atoms: 661/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 81 Props: 61016 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.925 Prop: 26.064 PropClause: 20.899 Set: 24.109 Check: 0.0 Back: 1.42
INFO - Atoms: 1107/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 82 Props: 62298 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.102 Prop: 26.442 PropClause: 21.224 Set: 24.488 Check: 0.0 Back: 1.446
INFO - Atoms: 1282/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 83 Props: 62940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.105 Prop: 26.682 PropClause: 21.439 Set: 24.641 Check: 0.0 Back: 1.476
INFO - Atoms: 642/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 84 Props: 63769 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.107 Prop: 26.881 PropClause: 21.605 Set: 24.846 Check: 0.0 Back: 1.491
INFO - Atoms: 829/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 85 Props: 65203 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.11 Prop: 27.239 PropClause: 21.906 Set: 25.274 Check: 0.0 Back: 1.511
INFO - Atoms: 1434/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 86 Props: 65754 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.111 Prop: 27.465 PropClause: 22.109 Set: 25.379 Check: 0.0 Back: 1.544
INFO - Atoms: 551/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 87 Props: 66895 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.114 Prop: 27.724 PropClause: 22.322 Set: 25.711 Check: 0.0 Back: 1.557
INFO - Atoms: 1141/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 88 Props: 68365 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.116 Prop: 28.128 PropClause: 22.668 Set: 26.146 Check: 0.0 Back: 1.584
INFO - Atoms: 1470/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 89 Props: 69174 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.118 Prop: 28.418 PropClause: 22.926 Set: 26.346 Check: 0.0 Back: 1.619
INFO - Atoms: 809/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 90 Props: 70328 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.12 Prop: 28.715 PropClause: 23.177 Set: 26.688 Check: 0.0 Back: 1.638
INFO - Atoms: 1154/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 91 Props: 70883 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.122 Prop: 28.909 PropClause: 23.349 Set: 26.799 Check: 0.0 Back: 1.665
INFO - Atoms: 555/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 92 Props: 72148 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.124 Prop: 29.201 PropClause: 23.592 Set: 27.16 Check: 0.0 Back: 1.678
INFO - Atoms: 1265/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 93 Props: 73258 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.126 Prop: 29.529 PropClause: 23.875 Set: 27.467 Check: 0.0 Back: 1.708
INFO - Atoms: 1110/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 94 Props: 74619 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.129 Prop: 29.911 PropClause: 24.203 Set: 27.865 Check: 0.0 Back: 1.733
INFO - Atoms: 1361/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 95 Props: 75246 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.131 Prop: 30.135 PropClause: 24.402 Set: 27.996 Check: 0.0 Back: 1.765
INFO - Atoms: 627/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 96 Props: 76399 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.134 Prop: 30.411 PropClause: 24.632 Set: 28.323 Check: 0.0 Back: 1.78
INFO - Atoms: 1153/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 97 Props: 76978 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.136 Prop: 30.601 PropClause: 24.799 Set: 28.436 Check: 0.0 Back: 1.808
INFO - Atoms: 579/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 98 Props: 78182 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.138 Prop: 30.883 PropClause: 25.034 Set: 28.795 Check: 0.0 Back: 1.821
INFO - Atoms: 1204/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 99 Props: 79466 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.141 Prop: 31.258 PropClause: 25.358 Set: 29.177 Check: 0.0 Back: 1.849
INFO - Atoms: 1284/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 100 Props: 80332 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.142 Prop: 31.551 PropClause: 25.615 Set: 29.406 Check: 0.0 Back: 1.879
INFO - Atoms: 866/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 101 Props: 81809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.145 Prop: 31.923 PropClause: 25.928 Set: 29.853 Check: 0.0 Back: 1.9
INFO - Atoms: 1477/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 102 Props: 82745 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.147 Prop: 32.232 PropClause: 26.2 Set: 30.099 Check: 0.0 Back: 1.934
INFO - Atoms: 936/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 103 Props: 83359 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.148 Prop: 32.401 PropClause: 26.344 Set: 30.221 Check: 0.0 Back: 1.955
INFO - Atoms: 614/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 104 Props: 83957 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.15 Prop: 32.543 PropClause: 26.463 Set: 30.337 Check: 0.0 Back: 1.97
INFO - Atoms: 598/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 105 Props: 85056 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.152 Prop: 32.795 PropClause: 26.671 Set: 30.648 Check: 0.0 Back: 1.984
INFO - Atoms: 1099/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 106 Props: 85760 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.156 Prop: 33.015 PropClause: 26.862 Set: 30.808 Check: 0.0 Back: 2.009
INFO - Atoms: 704/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 107 Props: 87067 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.159 Prop: 33.333 PropClause: 27.129 Set: 31.194 Check: 0.0 Back: 2.026
INFO - Atoms: 1307/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 108 Props: 88467 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.162 Prop: 33.751 PropClause: 27.489 Set: 31.624 Check: 0.0 Back: 2.06
INFO - Atoms: 1400/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 109 Props: 89783 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.165 Prop: 34.149 PropClause: 27.834 Set: 32.007 Check: 0.0 Back: 2.093
INFO - Atoms: 1316/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 110 Props: 90753 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.167 Prop: 34.472 PropClause: 28.119 Set: 32.267 Check: 0.0 Back: 2.124
INFO - Atoms: 970/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 111 Props: 91706 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.434 Prop: 34.735 PropClause: 28.344 Set: 32.519 Check: 0.0 Back: 2.146
INFO - Atoms: 953/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 112 Props: 92248 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.438 Prop: 34.906 PropClause: 28.494 Set: 32.635 Check: 0.0 Back: 2.169
INFO - Atoms: 542/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 113 Props: 92961 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.449 Prop: 35.063 PropClause: 28.622 Set: 32.802 Check: 0.0 Back: 2.181
INFO - Atoms: 713/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 114 Props: 94100 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.456 Prop: 35.35 PropClause: 28.863 Set: 33.126 Check: 0.0 Back: 2.198
INFO - Atoms: 1139/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 115 Props: 95455 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.457 Prop: 35.728 PropClause: 29.187 Set: 33.542 Check: 0.0 Back: 2.227
INFO - Atoms: 1355/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 116 Props: 96810 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.462 Prop: 36.246 PropClause: 29.618 Set: 34.11 Check: 0.0 Back: 2.259
INFO - Atoms: 1355/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 117 Props: 97808 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.464 Prop: 36.559 PropClause: 29.891 Set: 34.379 Check: 0.0 Back: 2.296
INFO - Atoms: 998/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 118 Props: 98369 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.471 Prop: 36.744 PropClause: 30.052 Set: 34.456 Check: 0.0 Back: 2.32
INFO - Atoms: 561/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 119 Props: 98908 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.478 Prop: 36.86 PropClause: 30.147 Set: 34.51 Check: 0.0 Back: 2.333
INFO - Atoms: 539/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 120 Props: 99445 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.479 Prop: 36.985 PropClause: 30.251 Set: 34.567 Check: 0.0 Back: 2.346
INFO - Atoms: 537/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 121 Props: 99972 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.481 Prop: 37.095 PropClause: 30.341 Set: 34.621 Check: 0.0 Back: 2.358
INFO - Atoms: 527/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 122 Props: 100506 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.483 Prop: 37.213 PropClause: 30.439 Set: 34.676 Check: 0.0 Back: 2.371
INFO - Atoms: 534/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 123 Props: 101452 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.485 Prop: 37.426 PropClause: 30.613 Set: 34.812 Check: 0.0 Back: 2.383
INFO - Atoms: 946/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 124 Props: 101987 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.488 Prop: 37.594 PropClause: 30.765 Set: 34.867 Check: 0.0 Back: 2.405
INFO - Atoms: 535/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 125 Props: 102826 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.49 Prop: 37.768 PropClause: 30.913 Set: 34.98 Check: 0.0 Back: 2.418
INFO - Atoms: 839/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 126 Props: 103762 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.492 Prop: 38.001 PropClause: 31.116 Set: 35.113 Check: 0.0 Back: 2.438
INFO - Atoms: 936/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 127 Props: 104759 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.496 Prop: 38.262 PropClause: 31.346 Set: 35.255 Check: 0.0 Back: 2.459
INFO - Atoms: 997/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 128 Props: 105288 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.499 Prop: 38.433 PropClause: 31.501 Set: 35.309 Check: 0.0 Back: 2.482
INFO - Atoms: 529/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 129 Props: 105819 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.502 Prop: 38.544 PropClause: 31.595 Set: 35.364 Check: 0.0 Back: 2.494
INFO - Atoms: 531/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 130 Props: 106374 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.505 Prop: 38.663 PropClause: 31.697 Set: 35.421 Check: 0.0 Back: 2.506
INFO - Atoms: 555/1619 Clauses: 123 Axioms: 6574
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 187 Props: 5859 Tprops: 1651 Decides: 2648 RSplits: 0
INFO - Times: Expl: 35.483 Prop: 514.725 PropClause: 2.442 Set: 445.311 Check: 18.731 Back: 10.42
INFO - Atoms: 78/143 Clauses: 187 Axioms: 126
INFO - CCTimes: iE 20239 eq 4838730 cc 4367985 setRep 5745442
INFO - Merges: 6405, cc:3724
INFO - BVTimes: BB 75071717 BB_DPLL 309093889 Graph 12918638
INFO - BitBlastingClauses: 22434 BvultGraphCircles: 0 TrivialConflicts: 1
INFO - Formula is unsat
unsat