[Termtools] Some inquiries about TPDB

Hello, I'm interested in utilizing the benchmark in TPDB for conducting experiments on verification tools. However, I'm uncertain about the ground truth for these cases, specifically, whether a case is terminating or non-terminating. Could you kindly provide guidance on how to determine the termination status of these cases? Thank you!