Dear Daniel,
I have pulled the TPDB database corresponding to termcomp, but it seems that there is no corresponding termination explanation file for C language programs. For example, I can find the example.c file, but I cannot determine its standard answer for termination (yes/no/maybe).
In general, we do not know whether the programs are terminating or not. In some cases, (dis)proving terminating would solve longstanding open mathematical problems (e.g., [1] encodes the famous Collatz conjecture [2]).
I have also pulled the termination results for termcomp 2024 competition, and I saw a VBS indicator on the website
That's what I'd recommend, it's the best estimation that you can get.
but after further research, it does not seem to be the real standard answer.
Can you explain that in more detail? Did you find incorrect results? Best Florian [1] https://github.com/TermCOMP/TPDB/blob/f846026251bd3f583800eab68bcff19d41c50c... [2] https://en.wikipedia.org/wiki/Collatz_conjecture