Statistics:          36600 Files
  correct:           24116
    correct true:    15741
    correct false:    8375
  incorrect:            14
    incorrect true:      0
    incorrect false:    14
  unknown:           12470
  Score:             39633 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/28571317842/job/85032483629
