Statistics:          36600 Files
  correct:           22888
    correct true:    15191
    correct false:    7697
  incorrect:            12
    incorrect true:      1
    incorrect false:    11
  unknown:           13700
  Score:             37871 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/26694993654/job/78679030056
