CoCo 2022 Results
Combined Yes and No Results
Yes Results
No Results
Detailed results are
available. The same holds for the
LiveView
of CoCo 2022 upon completion.
Problem Selection
The problems were selected using the following
COPS queries. Here s is the
number 870 composed of the three random digits 8 (Jörg Endrullis),
7 (Mizuhito Ogawa), 0 (Sarah Winkler), provided by the panel members.
| categories |
queries |
| COM |
limit:100,s 1..1651 commutation !duplicate
|
CPF-TRS
TRS |
limit:96,s 1..1651 trs !srs !duplicate {!confluent !non_confluent}
limit:69,s 1..1155 trs !srs !duplicate !{!confluent !non_confluent}
1652..1655
|
|
CTRS |
limit:100,s 1..1651 3_ctrs oriented !duplicate {!confluent !non_confluent}
limit:63,s 1..1651 3_ctrs oriented !duplicate !{!confluent !non_confluent}
|
|
GCR |
limit:100,s 1..1651 !srs {trs OR mstrs} !duplicate
|
|
INF |
limit:100,s 1..1651 infeasibility !duplicate {!yes !no}
limit:62,s 1..1651 infeasibility !duplicate !{!yes !no}
|
|
NFP |
limit:100,s 1..1651 trs !srs !confluent !duplicate {!nfp !non_nfp}
limit:68,s 1..1651 trs !srs !confluent !duplicate !{!nfp !non_nfp}
|
|
SRS |
limit:100,s 1..1651 srs !duplicate {!confluent !non_confluent}
limit:62,s 1..1155 srs !duplicate !{!confluent !non_confluent}
|
|
UNC |
limit:100,s 1..1651 trs !srs !nfp !duplicate {!unc !non_unc}
limit:86,s 1..1155 trs !srs !nfp !duplicate !{!unc !non_unc}
|
|
UNR |
limit:100,s 1..1651 trs !srs !unc !duplicate {!unr !non_unr}
limit:78,s 1..1651 trs !srs !unc !duplicate !{!unr !non_unr}
|
|
CSR |
limit:100,s 1..1651 {cstrs or cstrs} !duplicate {!confluent !non_confluent}
|