Description
CoCoWeb is a web interface that provides a single entry point to all tools that participate in the annual Confluence Competition (CoCo).
Usage
To run CoCo participants simply enter a rewrite system, select the desired tools on the left and press submit.
Input
To enter a rewrite rewrite system:
- directly enter the system in the text box,
- upload a file, or
- import a system from Cops by providing its number.
- TRS format: first-order term rewriting systems.
- CTRS format: conditional term rewriting systems.
- HRS format: higher-order rewrite systems.
- MSTRS format: many-sorted TRSs.
Tool Selection
The tools that are to be executed can be selected from the tools panel on the left. Tools are organized by year and grouped into categories, similar to the grouping in CoCo except that tools with certified output can be found in the categories of their non-certified counterparts. Multiple tools can be selected.
Viewing Results
After clicking the submit button the output of the selected tools is presented in separate tabs. The colors of these tabs reveal useful information: green means that the tool answered YES, red means that the tool answered NO, and a MAYBE answer or a timeout is shown in blue. By clicking on a tab, the color is made lighter and the output of the tool is presented. The final line of the output is timing information.
Contact
For any questions or feedback please contact Aart Middeldorp or Fabian Mitterwallner.