CoCo 2020 Test Run
| category | problems | tool | output | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| COM | 1042 N | 1044 Y | 1063 Y | 1105 N | ACP | 1042 N | 1044 Y | 1063 ? | 1105 N | |
| CoLL | 1042 ? | 1044 Y | 1063 Y | 1105 ? | ||||||
| FORT-h | 1042 ? | 1044 ? | 1063 ? | 1105 N | ||||||
| CPF-CTRS | 263 ? | 264 Y | 524 N | 805 ? | ConCon+CeTA | 263 ? | 264 Y | 524 N | 805 ? | |
| CPF-TRS | 135 Y | 248 N | 502 Y | 1132 N | ACP+CeTA | 135 Y | 248 N | 502 ? | 1132 N | |
| CSI+CeTA | 135 Y | 248 N | 502 Y | 1132 ? | ||||||
| CTRS | 358 N | 490 Y | 522 Y | 807 ? | ACP | 358 N | 490 Y | 522 ? | 807 ? | |
| CO3 | 358 N | 490 Y | 522 Y | 807 ? | ||||||
| ConCon | 358 N | 490 Y | 522 ? | 807 ? | ||||||
| GCR | 36 Y | 41 ? | 213 Y | 597 N | AGCP | 36 Y | 41 ? | 213 ? | 597 N | corrected (13.06) |
| FORT-h | 36 Y | 41 ? | 213 Y | 597 ? | ||||||
| HRS | 426 Y | 462 N | 746 ? | 766 N | CSI^ho | 426 Y | 462 N | 746 ? | 766 N | |
| SOL | 426 Y | 462 ? | 746 ? | 766 ? | ||||||
| INF | 854 N | 866 N | 895 Y | 936 Y | CO3 | 854 ? | 866 ? | 895 Y | 936 Y | |
| ConCon | 854 N | 866 N | 895 ? | 936 ? | ||||||
| infChecker | 854 N | 866 N | 895 Y | 936 Y | ||||||
| Moca | 854 ? | 866 ? | 895 ? | 936 Y | ||||||
| nonreach | 854 N | 866 N | 895 ? | 936 ? | ||||||
| NFP | 503 Y | 543 N | 763 Y | 800 N | CSI | 503 Y | 543 N | 763 Y | 800 N | |
| FORT-h | 503 Y | 543 N | 763 ? | 800 N | ||||||
| SRS | 10 N | 946 N | 987 ? | 1131 N | ACP | 10 N | 946 N | 987 ? | 1131 ? | |
| CoLL-Saigawa | 10 N | 946 N | 987 ? | 1131 ? | ||||||
| CSI | 10 N | 946 N | 987 ? | 1131 ? | ||||||
| TRS | 16 N | 538 Y | 572 Y | 1133 ? | ACP | 16 N | 538 ? | 572 Y | 1133 | |
| CoLL-Saigawa | 16 N | 538 ? | 572 Y | 1133 ? | ||||||
| CSI | 16 N | 538 Y | 572 Y | 1133 ? | ||||||
| UNC | 100 Y | 173 ? | 225 N | 236 ? | ACP | 100 Y | 173 ? | 225 N | 236 ? | |
| CSI | 100 Y | 173 ? | 225 N | 236 ? | ||||||
| FORT-h | 100 ? | 173 ? | 225 N | 236 ? | ||||||
| UNR | 21 Y | 49 ? | 567 N | 761 Y | CSI | 21 Y | 49 ? | 567 N | 761 Y | |
| FORT-h | 21 Y | 49 ? | 567 ? | 761 Y | ||||||