Combined Yes and No Results

category	1st place	2nd place	3rd place
COM	ACP	CoLL	FORT-h
CPF-CTRS	ConCon+CeTA
CPF-TRS	CSI+CeTA	ACP+CeTA
CTRS	ConCon	CO3	ACP
GCR	AGCP	FORT-h
HRS	SOL	CSI^ho
INF	infChecker	ConCon	nonreach
NFP	CSI	FORT-h
SRS	CSI	ACP	CoLL-Saigawa
TRS	CSI	ACP	CoLL-Saigawa
UNC	ACP	CSI	FORT-h
UNR	CSI	FORT-h

Yes Results

category	1st place	2nd place	3rd place
COM	CoLL	ACP, FORT-h
CPF-CTRS	ConCon+CeTA
CPF-TRS	CSI+CeTA	ACP+CeTA
CTRS	ConCon	ACP, CO3
GCR	AGCP	FORT-h
HRS	SOL	CSI^ho
INF	infChecker	ConCon	nonreach
NFP	CSI	FORT-h
SRS	ACP	CSI	CoLL-Saigawa
TRS	CSI	ACP	CoLL-Saigawa
UNC	ACP	CSI	FORT-h
UNR	FORT-h	CSI

No Results

category	1st place	2nd place	3rd place
COM	ACP	CoLL	FORT-h
CPF-CTRS	ConCon+CeTA
CPF-TRS	CSI+CeTA	ACP+CeTA
CTRS	ConCon	CO3	ACP
GCR	AGCP	FORT-h
HRS	SOL	CSI^ho
INF	infChecker	nonreach	ConCon
NFP	CSI	FORT-h
SRS	CSI	CoLL-Saigawa	ACP
TRS	CSI	ACP	CoLL-Saigawa
UNC	ACP	CSI	FORT-h
UNR	CSI	FORT-h

Detailed results are available. The same holds for the LiveView of CoCo 2020 upon completion.

Problem Selection

The problems were selected using the following COPS queries. Here s is the number 827 composed of the three random digits 8 (Frédéric Blanqui), 2 (Cynthia Kop), 7 (Geoff Sutcliffe), provided by the panel members.

categories	queries
COM	limit:100,s 1..1146 commutation !duplicate
CPF-TRS TRS	limit:98,s 1..1146 trs !srs !duplicate {!confluent !non_confluent} limit:80,s 1..1146 trs !srs !duplicate !{!confluent !non_confluent} 1147..1150 trs !srs
CPF-CTRS CTRS	limit:100,s 1..1146 3_ctrs oriented !duplicate {!confluent !non_confluent} limit:69,s 1..1146 3_ctrs oriented !duplicate !{!confluent !non_confluent}
GCR	limit:100,s 1..1146 !srs {trs OR mstrs} !duplicate
HRS	limit:100,s 1..1146 hrs !duplicate {!confluent !non_confluent} limit:52,s 1..1146 hrs !duplicate !{!confluent !non_confluent}
INF	limit:100,s 1..1146 infeasibility !duplicate {!yes !no} limit:70,s 1..1146 infeasibility !duplicate {!yes !no}
NFP	limit:100,s 1..1146 trs !srs !confluent !duplicate {!nfp !non_nfp} limit:72,s 1..1146 trs !srs !confluent !duplicate !{!nfp !non_nfp}
SRS	limit:98,s 1..1146 srs !duplicate {!confluent !non_confluent} limit:67,s 1..1146 srs !duplicate !{!confluent !non_confluent} 1147..1150 srs
UNC	limit:100,s 1..1146 trs !srs !nfp !duplicate {!unc !non_unc} limit:89,s 1..1146 trs !srs !nfp !duplicate !{!unc !non_unc}
UNR	limit:100,s 1..1146 trs !srs !unc !duplicate {!unr !non_unr} limit:81,s 1..1146 trs !srs !unc !duplicate !{!unr !non_unr}