CoCo 2025 Results
Combined Yes and No Results
Yes Results
No Results
Detailed
results are
available. The same holds for the
LiveView
of CoCo 2025 upon completion. Tools with incorrect results (observed
during the live competition due to a YES/NO conflict, or communicated
afterwards by the tool authors to the SC) are excluded from the results
table. This concerns SOL in the
CSR
category.
Certification Results
In the CERTIFICATION category, certifiers are ranked based on the number
of certificates that are validated.
In the RELIABILITY category, tools are ranked based on the number
of generated certified proofs.
Problem Selection
The problems were selected using the following
ARI-COPS queries. Here
s is the number 501 composed of the three random digits 5 (Thiago
Felicissimo), 0 (Cynthia Kop), 9 (Geoff Sutcliffe) provided by the panel
members.
| categories |
queries |
| CSR |
1624
limit:99,s 1..1619 {cstrs or csctrs} well-formed
|
|
CTRS |
limit:100,s 1..1619 ctrs type3 oriented well-formed
|
| INF |
limit:100,s 1..1619 infeasibility well-formed
|
| LCTRS |
1620 or 1623
limit:98,s 1..1619 lctrs well-formed
|
| TRS |
1621 or 1622
limit:98,s 1..1619 trs well-formed
|