Statistics:          36600 Files
  correct:           23468
    correct true:    15772
    correct false:    7696
  incorrect:            39
    incorrect true:     11
    incorrect false:    28
  unknown:           13093
  Score:             38440 (max: 61270)

https://github.com/esbmc/esbmc/actions/runs/26187062780/job/77051351960
