Request for Standard Answers for Code Termination Analysis in TPDB

Dear termcomp committee, Hello! I am a graduate student from the Chinese Academy of Sciences and a newcomer in the field of code analysis. In the future, I will try to do some work on code termination testing. I need to find some codes and their corresponding terminations. 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). I have also pulled the termination results for termcomp 2024 competition, and I saw a VBS indicator on the website, but after further research, it does not seem to be the real standard answer. (I pulled the VBS results from this website: https://termcomp.github.io/Y2024/C.html ) So I contacted you to confirm whether there is a set of standard answers available for the termination analysis of codes related to TPDB. As this is my first attempt at working in the field of code analysis, I am unsure if I have followed the correct process for finding datasets and if I have missed any relevant information while browsing through TPDB. I hope you can forgive these questions. Thank you for considering my request. I look forward to hearing back from you soon. Best regards, Daniel Deng.

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
participants (2)
-
dengzl@ios.ac.cn
-
Florian Frohn