Confluence Competition

CoCo 2021 Results

Combined Yes and No Results

category 1st place 2nd place 3rd place
COM CoLL ACP FORT-h
CPF-TRS CSI+CeTA ACP+CeTA
CTRS CONFident CO3 ACP
GCR AGCP FORT-h FORTify
INF infChecker CO3 NaTT
NFP CSI FORT-h
SRS CSI ACP CoLL-Saigawa
TRS CSI ACP CoLL-Saigawa
UNC ACP CSI FORT-h
UNR CSI FORT-h, FORTify

Yes Results

category 1st place 2nd place 3rd place
COM CoLL ACP, FORT-h
CPF-TRS CSI+CeTA ACP+CeTA
CTRS CONFident ACP CO3
GCR AGCP FORT-h FORTify
SRS CSI ACP CoLL-Saigawa
TRS CSI ACP CoLL-Saigawa
INF infChecker CO3 NaTT
NFP CSI FORT-h
UNC ACP CSI FORT-h
UNR FORT-h, FORTify CSI

No Results

category 1st place 2nd place 3rd place
COM ACP CoLL FORT-h
CPF-TRS CSI+CeTA ACP+CeTA
CTRS CONFident CO3 ACP
GCR AGCP FORT-h FORTify
INF infChecker CO3, NaTT
NFP CSI FORT-h
SRS CSI ACP CONFident
TRS CSI ACP CoLL-Saigawa
UNC ACP CSI FORT-h
UNR CSI FORT-h, FORTify

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}