General help for the Termination competition results page
For each category, a table is displayed, each column corresponds to a
termination problem, and each column corresponds to a termination
tool. The results must be interpreted as follows:
- Figures on a green background: the tool succeeded to prove
termination of the given problem, within the amount of time given in
seconds.
- Figures on a red background: the tool succeeded to DISPROVE
termination of the given problem, within the amount of time given in
seconds.
- Figures on a yellow background: the tool gave a "don't know"
answer, within the amount of time given in seconds.
- "(timeout)": the tool did not answer (i.e. was still running)
after the given time limit (this limit is given in each problem
description)'
- "(todo)": the tool has not yet been tested in the given problem.
- gray box: the tool does not run on this kind of problem
This script has been written in the Objective CAML language using the CGI Library