Statistics:          36600 Files
  correct:           22767
    correct true:    15306
    correct false:    7461
  incorrect:             8
    incorrect true:      0
    incorrect false:     8
  unknown:           13825
  Score:             37945 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/28314671392/job/83886936987
