C programs for termination analysis, that were used by AProVE:

http://aprove.informatik.rwth-aachen.de/

The benchmarks were contributed by:
Frank Emrich
Stephan Falke
Matthias Heizmann
Jera Hensel
Janine Repke
Thomas Ströder

You may use and redistribute them according to the (2-clause) BSD license that is shipped with these examples.
