CoCo 2020 Results
Combined Yes and No Results
| category | 1st place | 2nd place | 3rd place |
|---|---|---|---|
| COM | ACP | CoLL | FORT-h |
| CPF-CTRS | ConCon+CeTA | ||
| CPF-TRS | CSI+CeTA | ACP+CeTA | |
| CTRS | ConCon | CO3 | ACP |
| GCR | AGCP | FORT-h | |
| HRS | SOL | CSI^ho | |
| INF | infChecker | ConCon | nonreach |
| NFP | CSI | FORT-h | |
| SRS | CSI | ACP | CoLL-Saigawa |
| TRS | CSI | ACP | CoLL-Saigawa |
| UNC | ACP | CSI | FORT-h |
| UNR | CSI | FORT-h |
Yes Results
| category | 1st place | 2nd place | 3rd place |
|---|---|---|---|
| COM | CoLL | ACP, FORT-h | |
| CPF-CTRS | ConCon+CeTA | ||
| CPF-TRS | CSI+CeTA | ACP+CeTA | |
| CTRS | ConCon | ACP, CO3 | |
| GCR | AGCP | FORT-h | |
| HRS | SOL | CSI^ho | |
| INF | infChecker | ConCon | nonreach |
| NFP | CSI | FORT-h | |
| SRS | ACP | CSI | CoLL-Saigawa |
| TRS | CSI | ACP | CoLL-Saigawa |
| UNC | ACP | CSI | FORT-h |
| UNR | FORT-h | CSI |
No Results
| category | 1st place | 2nd place | 3rd place |
|---|---|---|---|
| COM | ACP | CoLL | FORT-h |
| CPF-CTRS | ConCon+CeTA | ||
| CPF-TRS | CSI+CeTA | ACP+CeTA | |
| CTRS | ConCon | CO3 | ACP |
| GCR | AGCP | FORT-h | |
| HRS | SOL | CSI^ho | |
| INF | infChecker | nonreach | ConCon |
| NFP | CSI | FORT-h | |
| SRS | CSI | CoLL-Saigawa | ACP |
| TRS | CSI | ACP | CoLL-Saigawa |
| UNC | ACP | CSI | FORT-h |
| UNR | CSI | FORT-h |
Detailed results are available. The same holds for the LiveView of CoCo 2020 upon completion.
Problem Selection
The problems were selected using the following COPS queries. Here s is the number 827 composed of the three random digits 8 (Frédéric Blanqui), 2 (Cynthia Kop), 7 (Geoff Sutcliffe), provided by the panel members.
| categories | queries |
|---|---|
| COM |
limit:100,s 1..1146 commutation !duplicate
|
|
CPF-TRS TRS |
limit:98,s 1..1146 trs !srs !duplicate {!confluent !non_confluent}
limit:80,s 1..1146 trs !srs !duplicate !{!confluent !non_confluent}
1147..1150 trs !srs
|
| CPF-CTRS CTRS |
limit:100,s 1..1146 3_ctrs oriented !duplicate {!confluent !non_confluent}
limit:69,s 1..1146 3_ctrs oriented !duplicate !{!confluent !non_confluent}
|
| GCR |
limit:100,s 1..1146 !srs {trs OR mstrs} !duplicate
|
| HRS |
limit:100,s 1..1146 hrs !duplicate {!confluent !non_confluent}
limit:52,s 1..1146 hrs !duplicate !{!confluent !non_confluent}
|
| INF |
limit:100,s 1..1146 infeasibility !duplicate {!yes !no}
limit:70,s 1..1146 infeasibility !duplicate {!yes !no}
|
| NFP |
limit:100,s 1..1146 trs !srs !confluent !duplicate {!nfp !non_nfp}
limit:72,s 1..1146 trs !srs !confluent !duplicate !{!nfp !non_nfp}
|
| SRS |
limit:98,s 1..1146 srs !duplicate {!confluent !non_confluent}
limit:67,s 1..1146 srs !duplicate !{!confluent !non_confluent}
1147..1150 srs
|
| UNC |
limit:100,s 1..1146 trs !srs !nfp !duplicate {!unc !non_unc}
limit:89,s 1..1146 trs !srs !nfp !duplicate !{!unc !non_unc}
|
| UNR |
limit:100,s 1..1146 trs !srs !unc !duplicate {!unr !non_unr}
limit:81,s 1..1146 trs !srs !unc !duplicate !{!unr !non_unr}
|