Confluence Competition

FLoC Olympic Games

This year CoCo was part of the FLoC Olympic Games. Gold medals were rewarded to the following tools:

CoCo 2022 Results

Combined Yes and No Results

category 1st place 2nd place 3rd place
COM CoLL ACP FORT-h
CPF-TRS CSI+CeTA ACP+CeTA FORTify
CSR CONFident
CTRS CONFident CO3 ACP
GCR AGCP FORT-h FORTify
INF infChecker NaTT CO3
NFP CSI FORT-h FORTify
SRS CSI ACP CONFident
TRS CSI ACP CONFident
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 FORTify
CSR CONFident
CTRS CONFident CO3 ACP
GCR AGCP FORT-h, FORTify
INF infChecker NaTT CO3
NFP CSI FORT-h, FORTify
SRS Hakusan CSI ACP
TRS CSI ACP Hakusan
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 FORTify
CSR CONFident
CTRS CONFident CO3 ACP
GCR AGCP FORT-h FORTify
INF infChecker CO3, NaTT, Toma
NFP CSI FORT-h FORTify
SRS CSI CONFident ACP
TRS CSI ACP CONFident
UNC ACP CSI FORT-h
UNR CSI FORT-h, FORTify

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}