Statistics:          36600 Files
  correct:           20444
    correct true:    13723
    correct false:    6721
  incorrect:             7
    incorrect true:      0
    incorrect false:     7
  unknown:           16149
  Score:             34055 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/26722434123
