Results

FLoC Olympic Games

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

CSI in the combined TRS and SRS categories,
CONFident in the CTRS category,
CoLL in the COM category,
infChecker in the INF category,
FORTify for the most number of certified answers.

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..1651 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..1651 srs !duplicate !{!confluent !non_confluent}`
UNC	`limit:100,s 1..1651 trs !srs !nfp !duplicate {!unc !non_unc}` `limit:86,s 1..1651 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}`