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!