Combined Yes and No Results
Yes Results
No Results
Detailed results are
available. The same holds for the
LiveView
of CoCo 2021 upon completion.
Problem Selection
The problems were selected using the following
COPS queries. Here s is the
number 295 composed of the three random digits 2 (Dieter Hofbauer),
9 (Koji Nakazawa), 5 (Femke van Raamsdonk), provided by the panel members.
| categories |
queries |
| COM |
limit:100,s 1..1155 commutation !duplicate
|
CPF-TRS
TRS |
limit:100,s 1..1155 trs !srs !duplicate {!confluent !non_confluent}
limit:78,s 1..1155 trs !srs !duplicate !{!confluent !non_confluent}
|
|
CTRS |
limit:98,s 1..1155 3_ctrs oriented !duplicate {!confluent !non_confluent}
limit:71,s 1..1155 3_ctrs oriented !duplicate !{!confluent !non_confluent}
1158 OR 1159
|
|
GCR |
limit:100,s 1..1155 !srs {trs OR mstrs} !duplicate
|
|
INF |
limit:100,s 1..1155 infeasibility !duplicate {!yes !no}
limit:78,s 1..1155 infeasibility !duplicate !{!yes !no}
|
|
NFP |
limit:100,s 1..1155 trs !srs !confluent !duplicate {!nfp !non_nfp}
limit:70,s 1..1155 trs !srs !confluent !duplicate !{!nfp !non_nfp}
|
|
SRS |
limit:98,s 1..1155 srs !duplicate {!confluent !non_confluent}
limit:65,s 1..1155 srs !duplicate !{!confluent !non_confluent}
1156 OR 1157
|
|
UNC |
limit:100,s 1..1155 trs !srs !nfp !duplicate {!unc !non_unc}
limit:87,s 1..1155 trs !srs !nfp !duplicate !{!unc !non_unc}
|
|
UNR |
limit:100,s 1..1155 trs !srs !unc !duplicate {!unr !non_unr}
limit:79,s 1..1155 trs !srs !unc !duplicate !{!unr !non_unr}
|