CoCo 2019 Test Run
| category | problems | tool | output | ||
|---|---|---|---|---|---|
| COM | 1042 | 1105 | ACP | 1042 | 1105 |
| CoLL | 1042 | 1105 | |||
| FORT | 1042 | 1105 | |||
| CPF-CTRS | 264 | 524 | ConCon+CeTA | 264 | 524 |
| CPF-TRS | 135 | 248 | ACP+CeTA | 135 | 248 |
| CSI+CeTA | 135 | 248 | |||
| CTRS | 358 | 490 | ACP | 358 | 490 |
| CO3 | 358 | 490 | |||
| ConCon | 358 | 490 | |||
| GCR | 36 | 597 | AGCP | 36 | 597 |
| FORT | 36 | 597 | |||
| HRS | 426 | 462 | CSI^ho | 426 | 462 |
| INF | 895 | 936 | CO3 | 895 | 936 |
| ConCon | 895 | 936 | |||
| infChecker | 895 | 936 | |||
| maedmax | 895 | 936 | |||
| Moca | 895 | 936 | |||
| nonreach | 895 | 936 | |||
| NFP | 543 | 763 | CSI | 543 | 763 |
| FORT | 543 | 763 | |||
| SRS | 10 | 946 | ACP | 10 | 946 |
| CoLL-Saigawa | 10 | 946 | |||
| CSI | 10 | 946 | |||
| noko-leipzig | 10 | 946 | |||
| TRS | 16 | 572 | ACP | 16 | 572 |
| CoLL-Saigawa | 16 | 572 | |||
| CSI | 16 | 572 | |||
| UNC | 100 | 225 | ACP | 100 | 225 |
| CSI | 100 | 225 | |||
| FORT | 100 | 225 | |||
| UNR | 567 | 761 | CSI | 567 | 761 |
| FORT | 567 | 761 | |||