Statistics:          36600 Files
  correct:           24604
    correct true:    16038
    correct false:    8566
  incorrect:            17
    incorrect true:      0
    incorrect false:    17
  unknown:           11979
  Score:             40370 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/28250230325/job/83787159347
