Statistics:          36600 Files
  correct:           23856
    correct true:    16012
    correct false:    7844
  incorrect:            42
    incorrect true:     11
    incorrect false:    31
  unknown:           12702
  Score:             39020 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/26329589590/job/77514191274
