Statistics:          36600 Files
  correct:           20709
    correct true:    13858
    correct false:    6851
  incorrect:             5
    incorrect true:      0
    incorrect false:     5
  unknown:           15886
  Score:             34487 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/27852824829/job/82436128325
