Confluence Competition

CoCo 2020 Results

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}