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


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


INFO - Starting Bitblasting
INFO - Finished Bitblasting in: 108528863
INFO - Bitblasting DPLL:
INFO - Confl: 1 Props: 17210 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.721 Prop: 50.747 PropClause: 47.044 Set: 47.795 Check: 0.0 Back: 0.0
INFO - Atoms: 17210/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 2 Props: 34409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.779 Prop: 71.338 PropClause: 66.615 Set: 52.105 Check: 0.0 Back: 0.466
INFO - Atoms: 17199/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 3 Props: 51599 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.841 Prop: 98.909 PropClause: 92.901 Set: 56.566 Check: 0.0 Back: 0.907
INFO - Atoms: 17190/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 4 Props: 68580 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.92 Prop: 122.806 PropClause: 115.813 Set: 61.174 Check: 0.0 Back: 1.347
INFO - Atoms: 16981/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 5 Props: 85290 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 0.96 Prop: 140.351 PropClause: 130.726 Set: 67.011 Check: 0.0 Back: 1.839
INFO - Atoms: 16710/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 6 Props: 101992 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.0 Prop: 158.829 PropClause: 147.482 Set: 71.246 Check: 0.0 Back: 2.28
INFO - Atoms: 16702/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 7 Props: 118702 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.051 Prop: 176.398 PropClause: 164.322 Set: 75.875 Check: 0.0 Back: 2.714
INFO - Atoms: 16710/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 8 Props: 135405 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.098 Prop: 192.881 PropClause: 180.088 Set: 79.962 Check: 0.0 Back: 3.148
INFO - Atoms: 16703/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 9 Props: 152105 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.18 Prop: 209.168 PropClause: 195.664 Set: 86.117 Check: 0.0 Back: 3.578
INFO - Atoms: 16700/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 10 Props: 168643 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.226 Prop: 225.128 PropClause: 210.948 Set: 92.115 Check: 0.0 Back: 4.011
INFO - Atoms: 16538/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 11 Props: 184940 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.271 Prop: 243.664 PropClause: 228.713 Set: 114.553 Check: 0.0 Back: 4.43
INFO - Atoms: 16297/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 12 Props: 201075 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.359 Prop: 260.707 PropClause: 245.258 Set: 118.33 Check: 0.0 Back: 4.845
INFO - Atoms: 16135/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 13 Props: 217122 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.404 Prop: 272.886 PropClause: 256.994 Set: 121.711 Check: 0.0 Back: 5.265
INFO - Atoms: 16047/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 14 Props: 232951 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.454 Prop: 290.2 PropClause: 273.838 Set: 125.586 Check: 0.0 Back: 5.675
INFO - Atoms: 15829/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 15 Props: 248594 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.503 Prop: 306.696 PropClause: 289.875 Set: 129.502 Check: 0.0 Back: 6.093
INFO - Atoms: 15643/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 16 Props: 264077 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.554 Prop: 324.352 PropClause: 307.07 Set: 133.442 Check: 0.0 Back: 6.512
INFO - Atoms: 15483/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 17 Props: 279473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.611 Prop: 340.756 PropClause: 323.02 Set: 137.098 Check: 0.0 Back: 6.916
INFO - Atoms: 15396/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 18 Props: 294717 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.667 Prop: 357.817 PropClause: 339.628 Set: 140.775 Check: 0.0 Back: 7.327
INFO - Atoms: 15244/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 19 Props: 309787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.719 Prop: 374.955 PropClause: 356.305 Set: 164.473 Check: 0.0 Back: 7.714
INFO - Atoms: 15070/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 20 Props: 324715 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.764 Prop: 390.23 PropClause: 371.141 Set: 168.186 Check: 0.0 Back: 8.118
INFO - Atoms: 14928/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 21 Props: 339457 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.811 Prop: 408.521 PropClause: 388.999 Set: 171.97 Check: 0.0 Back: 8.52
INFO - Atoms: 14742/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 22 Props: 354057 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.861 Prop: 417.816 PropClause: 397.864 Set: 175.446 Check: 0.0 Back: 8.901
INFO - Atoms: 14600/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 23 Props: 368473 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.915 Prop: 430.265 PropClause: 409.872 Set: 178.895 Check: 0.0 Back: 9.285
INFO - Atoms: 14416/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 24 Props: 382747 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 1.962 Prop: 441.44 PropClause: 420.621 Set: 182.199 Check: 0.0 Back: 9.661
INFO - Atoms: 14274/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 25 Props: 396839 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.005 Prop: 447.762 PropClause: 426.591 Set: 184.684 Check: 0.0 Back: 10.021
INFO - Atoms: 14092/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 26 Props: 410787 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.051 Prop: 457.309 PropClause: 435.717 Set: 187.941 Check: 0.0 Back: 10.378
INFO - Atoms: 13948/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 27 Props: 424551 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.121 Prop: 464.432 PropClause: 442.495 Set: 190.413 Check: 0.0 Back: 10.733
INFO - Atoms: 13764/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 28 Props: 438173 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.183 Prop: 474.985 PropClause: 452.642 Set: 193.584 Check: 0.0 Back: 11.081
INFO - Atoms: 13622/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 29 Props: 451613 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.231 Prop: 483.936 PropClause: 461.193 Set: 196.757 Check: 0.0 Back: 11.428
INFO - Atoms: 13440/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 30 Props: 464911 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.28 Prop: 493.965 PropClause: 470.823 Set: 201.109 Check: 0.0 Back: 11.779
INFO - Atoms: 13298/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 31 Props: 478023 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.364 Prop: 504.378 PropClause: 480.833 Set: 205.631 Check: 0.0 Back: 12.119
INFO - Atoms: 13112/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 32 Props: 490993 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.409 Prop: 511.202 PropClause: 487.331 Set: 209.052 Check: 0.0 Back: 12.464
INFO - Atoms: 12970/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 33 Props: 503781 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.452 Prop: 517.641 PropClause: 493.45 Set: 212.398 Check: 0.0 Back: 12.79
INFO - Atoms: 12788/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 34 Props: 516427 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.494 Prop: 523.993 PropClause: 499.486 Set: 215.736 Check: 0.0 Back: 13.081
INFO - Atoms: 12646/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 35 Props: 528889 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.542 Prop: 533.517 PropClause: 508.625 Set: 219.994 Check: 0.0 Back: 13.366
INFO - Atoms: 12462/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 36 Props: 541209 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.615 Prop: 540.192 PropClause: 514.995 Set: 223.286 Check: 0.0 Back: 13.698
INFO - Atoms: 12320/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 37 Props: 553343 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.652 Prop: 547.318 PropClause: 521.819 Set: 226.519 Check: 0.0 Back: 13.986
INFO - Atoms: 12134/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 38 Props: 565335 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.696 Prop: 552.816 PropClause: 527.016 Set: 228.621 Check: 0.0 Back: 14.263
INFO - Atoms: 11992/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 39 Props: 577145 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.739 Prop: 558.181 PropClause: 532.085 Set: 230.673 Check: 0.0 Back: 14.535
INFO - Atoms: 11810/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 40 Props: 588811 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.778 Prop: 564.243 PropClause: 537.855 Set: 232.771 Check: 0.0 Back: 14.803
INFO - Atoms: 11666/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 41 Props: 600295 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.823 Prop: 569.989 PropClause: 543.312 Set: 234.797 Check: 0.0 Back: 15.07
INFO - Atoms: 11484/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 42 Props: 611637 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.882 Prop: 575.487 PropClause: 548.525 Set: 236.813 Check: 0.0 Back: 15.33
INFO - Atoms: 11342/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 43 Props: 622793 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.927 Prop: 581.059 PropClause: 553.819 Set: 238.761 Check: 0.0 Back: 15.596
INFO - Atoms: 11156/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 44 Props: 633809 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 2.969 Prop: 587.225 PropClause: 559.704 Set: 240.714 Check: 0.0 Back: 15.876
INFO - Atoms: 11016/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 45 Props: 644641 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.01 Prop: 591.841 PropClause: 564.048 Set: 242.621 Check: 0.0 Back: 16.147
INFO - Atoms: 10832/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 46 Props: 655329 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.054 Prop: 596.153 PropClause: 568.093 Set: 244.496 Check: 0.0 Back: 16.392
INFO - Atoms: 10688/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 47 Props: 665833 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.097 Prop: 600.537 PropClause: 572.214 Set: 246.316 Check: 0.0 Back: 16.632
INFO - Atoms: 10504/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 48 Props: 676195 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.142 Prop: 604.683 PropClause: 576.099 Set: 248.094 Check: 0.0 Back: 16.87
INFO - Atoms: 10362/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 49 Props: 686373 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.18 Prop: 608.987 PropClause: 580.149 Set: 249.836 Check: 0.0 Back: 17.104
INFO - Atoms: 10178/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 50 Props: 696409 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.216 Prop: 613.354 PropClause: 584.266 Set: 251.553 Check: 0.0 Back: 17.333
INFO - Atoms: 10036/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 51 Props: 706263 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.262 Prop: 617.566 PropClause: 588.23 Set: 253.241 Check: 0.0 Back: 17.599
INFO - Atoms: 9854/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 52 Props: 715344 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.298 Prop: 620.369 PropClause: 590.806 Set: 254.741 Check: 0.0 Back: 17.821
INFO - Atoms: 9081/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 53 Props: 724243 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.337 Prop: 623.161 PropClause: 593.376 Set: 256.219 Check: 0.0 Back: 18.025
INFO - Atoms: 8899/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 54 Props: 733000 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.373 Prop: 625.546 PropClause: 595.541 Set: 257.697 Check: 0.0 Back: 18.227
INFO - Atoms: 8757/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 55 Props: 741573 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.411 Prop: 628.057 PropClause: 597.837 Set: 259.126 Check: 0.0 Back: 18.437
INFO - Atoms: 8573/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 56 Props: 750004 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.45 Prop: 630.4 PropClause: 599.968 Set: 260.518 Check: 0.0 Back: 18.63
INFO - Atoms: 8431/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 57 Props: 758251 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.589 Prop: 632.801 PropClause: 602.163 Set: 261.888 Check: 0.0 Back: 18.819
INFO - Atoms: 8247/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 58 Props: 766356 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.607 Prop: 635.045 PropClause: 604.203 Set: 263.208 Check: 0.0 Back: 19.006
INFO - Atoms: 8105/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 59 Props: 774118 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.626 Prop: 637.56 PropClause: 606.522 Set: 264.514 Check: 0.0 Back: 19.189
INFO - Atoms: 7762/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 60 Props: 781874 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.642 Prop: 639.951 PropClause: 608.717 Set: 265.828 Check: 0.0 Back: 19.364
INFO - Atoms: 7756/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 61 Props: 789550 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.659 Prop: 642.792 PropClause: 611.364 Set: 280.347 Check: 0.0 Back: 19.539
INFO - Atoms: 7676/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 62 Props: 796690 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.674 Prop: 644.893 PropClause: 613.276 Set: 281.514 Check: 0.0 Back: 19.711
INFO - Atoms: 7140/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 63 Props: 803667 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.692 Prop: 646.606 PropClause: 614.812 Set: 282.621 Check: 0.0 Back: 19.872
INFO - Atoms: 6977/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 64 Props: 810069 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.711 Prop: 648.407 PropClause: 616.451 Set: 283.598 Check: 0.0 Back: 20.035
INFO - Atoms: 6402/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 65 Props: 816309 Tprops: 0 Decides: 0 RSplits: 0
INFO - Times: Expl: 3.728 Prop: 650.043 PropClause: 617.931 Set: 284.545 Check: 0.0 Back: 20.189
INFO - Atoms: 6240/17214 Clauses: 209 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 298 Props: 1479789 Tprops: 0 Decides: 12656 RSplits: 0
INFO - Times: Expl: 192.71 Prop: 1064.816 PropClause: 1008.293 Set: 302.107 Check: 0.321 Back: 36.972
INFO - Atoms: 5414/17214 Clauses: 441 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 504 Props: 2050925 Tprops: 0 Decides: 22895 RSplits: 0
INFO - Times: Expl: 336.224 Prop: 1344.555 PropClause: 1266.984 Set: 317.779 Check: 0.586 Back: 51.734
INFO - Atoms: 5507/17214 Clauses: 414 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 717 Props: 2603791 Tprops: 0 Decides: 32835 RSplits: 0
INFO - Times: Expl: 445.658 Prop: 1606.148 PropClause: 1509.82 Set: 332.264 Check: 0.833 Back: 65.299
INFO - Atoms: 5479/17214 Clauses: 422 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 943 Props: 3199009 Tprops: 0 Decides: 43482 RSplits: 0
INFO - Times: Expl: 520.297 Prop: 1798.08 PropClause: 1683.534 Set: 347.171 Check: 1.082 Back: 79.167
INFO - Atoms: 5507/17214 Clauses: 436 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1167 Props: 3775591 Tprops: 0 Decides: 53922 RSplits: 0
INFO - Times: Expl: 603.735 Prop: 2020.195 PropClause: 1887.831 Set: 361.51 Check: 1.326 Back: 92.677
INFO - Atoms: 5468/17214 Clauses: 435 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1384 Props: 4351569 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.044 Prop: 2198.549 PropClause: 2048.067 Set: 376.089 Check: 1.581 Back: 106.339
INFO - Atoms: 5384/17214 Clauses: 428 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1385 Props: 4359657 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.048 Prop: 2206.403 PropClause: 2055.641 Set: 381.203 Check: 1.581 Back: 106.473
INFO - Atoms: 8088/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1386 Props: 4368065 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.052 Prop: 2211.254 PropClause: 2060.245 Set: 384.994 Check: 1.581 Back: 106.682
INFO - Atoms: 8408/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1387 Props: 4376479 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.058 Prop: 2216.175 PropClause: 2064.916 Set: 388.75 Check: 1.581 Back: 106.894
INFO - Atoms: 8414/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1388 Props: 4385069 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.063 Prop: 2220.889 PropClause: 2069.385 Set: 390.886 Check: 1.581 Back: 107.106
INFO - Atoms: 8590/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1389 Props: 4393813 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.069 Prop: 2226.69 PropClause: 2074.929 Set: 393.158 Check: 1.581 Back: 107.323
INFO - Atoms: 8744/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1390 Props: 4402731 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.076 Prop: 2232.932 PropClause: 2080.908 Set: 395.475 Check: 1.581 Back: 107.547
INFO - Atoms: 8918/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1391 Props: 4411814 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.083 Prop: 2239.105 PropClause: 2086.815 Set: 397.747 Check: 1.581 Back: 107.777
INFO - Atoms: 9083/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1392 Props: 4421044 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.088 Prop: 2243.97 PropClause: 2091.453 Set: 399.546 Check: 1.581 Back: 108.011
INFO - Atoms: 9230/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1393 Props: 4430440 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.094 Prop: 2249.041 PropClause: 2096.293 Set: 401.372 Check: 1.581 Back: 108.221
INFO - Atoms: 9396/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1394 Props: 4439996 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.1 Prop: 2253.92 PropClause: 2100.937 Set: 403.237 Check: 1.581 Back: 108.432
INFO - Atoms: 9556/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1395 Props: 4449726 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.106 Prop: 2259.548 PropClause: 2106.326 Set: 405.152 Check: 1.581 Back: 108.65
INFO - Atoms: 9730/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1396 Props: 4459607 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.113 Prop: 2264.705 PropClause: 2111.228 Set: 407.08 Check: 1.581 Back: 108.869
INFO - Atoms: 9881/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1397 Props: 4469651 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.12 Prop: 2270.167 PropClause: 2116.442 Set: 409.868 Check: 1.581 Back: 109.091
INFO - Atoms: 10044/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1398 Props: 4479778 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.126 Prop: 2276.474 PropClause: 2122.5 Set: 412.635 Check: 1.581 Back: 109.318
INFO - Atoms: 10127/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1399 Props: 4490051 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.131 Prop: 2282.438 PropClause: 2128.212 Set: 415.496 Check: 1.581 Back: 109.572
INFO - Atoms: 10273/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1400 Props: 4500374 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.138 Prop: 2288.356 PropClause: 2133.876 Set: 418.409 Check: 1.581 Back: 109.823
INFO - Atoms: 10323/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1401 Props: 4510893 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.144 Prop: 2292.767 PropClause: 2138.024 Set: 421.188 Check: 1.581 Back: 110.056
INFO - Atoms: 10519/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1402 Props: 4521515 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.151 Prop: 2297.202 PropClause: 2142.199 Set: 424.019 Check: 1.581 Back: 110.297
INFO - Atoms: 10622/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1403 Props: 4532300 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.157 Prop: 2301.728 PropClause: 2146.46 Set: 426.887 Check: 1.581 Back: 110.535
INFO - Atoms: 10785/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1404 Props: 4543404 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.164 Prop: 2308.036 PropClause: 2152.496 Set: 430.018 Check: 1.581 Back: 110.779
INFO - Atoms: 11104/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1405 Props: 4554658 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.17 Prop: 2319.491 PropClause: 2163.597 Set: 434.525 Check: 1.581 Back: 111.029
INFO - Atoms: 11254/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1406 Props: 4566088 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.178 Prop: 2338.584 PropClause: 2182.332 Set: 439.252 Check: 1.581 Back: 111.318
INFO - Atoms: 11430/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1407 Props: 4577525 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.186 Prop: 2348.955 PropClause: 2192.349 Set: 443.635 Check: 1.581 Back: 111.617
INFO - Atoms: 11437/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1408 Props: 4589126 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.192 Prop: 2358.844 PropClause: 2201.928 Set: 447.371 Check: 1.581 Back: 111.924
INFO - Atoms: 11601/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1409 Props: 4600889 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.198 Prop: 2366.213 PropClause: 2209.009 Set: 450.628 Check: 1.581 Back: 112.189
INFO - Atoms: 11763/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1410 Props: 4612881 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.203 Prop: 2375.736 PropClause: 2218.158 Set: 455.022 Check: 1.581 Back: 112.454
INFO - Atoms: 11992/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1411 Props: 4625114 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.209 Prop: 2385.279 PropClause: 2227.323 Set: 459.514 Check: 1.581 Back: 112.796
INFO - Atoms: 12233/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1412 Props: 4637367 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.215 Prop: 2393.47 PropClause: 2235.15 Set: 463.762 Check: 1.581 Back: 113.127
INFO - Atoms: 12253/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1413 Props: 4649783 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.222 Prop: 2402.041 PropClause: 2243.35 Set: 467.897 Check: 1.581 Back: 113.437
INFO - Atoms: 12416/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1414 Props: 4662361 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.228 Prop: 2410.617 PropClause: 2251.549 Set: 472.128 Check: 1.581 Back: 113.753
INFO - Atoms: 12578/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1415 Props: 4675103 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.233 Prop: 2419.571 PropClause: 2260.121 Set: 476.411 Check: 1.581 Back: 114.074
INFO - Atoms: 12742/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1416 Props: 4688021 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.24 Prop: 2430.647 PropClause: 2270.817 Set: 479.703 Check: 1.581 Back: 114.397
INFO - Atoms: 12918/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1417 Props: 4701102 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.247 Prop: 2442.033 PropClause: 2281.821 Set: 482.977 Check: 1.581 Back: 114.73
INFO - Atoms: 13081/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1418 Props: 4714489 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.254 Prop: 2454.161 PropClause: 2293.553 Set: 486.461 Check: 1.581 Back: 115.062
INFO - Atoms: 13387/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1419 Props: 4727882 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.26 Prop: 2468.165 PropClause: 2307.156 Set: 489.926 Check: 1.581 Back: 115.403
INFO - Atoms: 13393/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1420 Props: 4741440 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.265 Prop: 2482.227 PropClause: 2320.797 Set: 493.516 Check: 1.581 Back: 115.743
INFO - Atoms: 13558/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1421 Props: 4755159 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.27 Prop: 2493.98 PropClause: 2332.151 Set: 497.062 Check: 1.581 Back: 116.111
INFO - Atoms: 13719/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1422 Props: 4769041 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.276 Prop: 2506.666 PropClause: 2344.436 Set: 500.579 Check: 1.581 Back: 116.459
INFO - Atoms: 13882/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1423 Props: 4783090 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.281 Prop: 2519.843 PropClause: 2357.207 Set: 504.231 Check: 1.581 Back: 116.81
INFO - Atoms: 14049/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1424 Props: 4797302 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.287 Prop: 2530.397 PropClause: 2367.35 Set: 507.873 Check: 1.581 Back: 117.167
INFO - Atoms: 14212/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1425 Props: 4811690 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.293 Prop: 2539.089 PropClause: 2375.625 Set: 511.485 Check: 1.581 Back: 117.528
INFO - Atoms: 14388/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1426 Props: 4826225 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.299 Prop: 2548.168 PropClause: 2384.281 Set: 515.181 Check: 1.581 Back: 117.896
INFO - Atoms: 14535/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1427 Props: 4840922 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.305 Prop: 2558.084 PropClause: 2393.771 Set: 518.977 Check: 1.581 Back: 118.262
INFO - Atoms: 14697/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Bitblasting DPLL:
INFO - Confl: 1428 Props: 4855788 Tprops: 0 Decides: 64296 RSplits: 0
INFO - Times: Expl: 674.309 Prop: 2567.402 PropClause: 2402.657 Set: 522.691 Check: 1.581 Back: 118.634
INFO - Atoms: 14866/17214 Clauses: 212 Axioms: 57794
INFO - Formula is unsat
INFO - Bitblasting DPLL finished
INFO - Confl: 118 Props: 4203 Tprops: 368 Decides: 4112 RSplits: 0
INFO - Times: Expl: 43.184 Prop: 5989.131 PropClause: 3.401 Set: 419.967 Check: 37.294 Back: 15.048
INFO - Atoms: 236/291 Clauses: 118 Axioms: 291
INFO - CCTimes: iE 60974 eq 11851336 cc 21177922 setRep 10203297
INFO - Merges: 26233, cc:35709
INFO - BVTimes: BB 108507542 BB_DPLL 5423367300 Graph 117921
INFO - BitBlastingClauses: 81714 BvultGraphCircles: 0 TrivialConflicts: 0
INFO - Formula is unsat
unsat