CoCo 2023 Test Run
| category / tools | problems / output | |||
|---|---|---|---|---|
| COM | 1053 | 1073 | 1090 | 1122 |
| ACP | 1053 N | 1073 M | 1090 Y | 1122 Y |
| ACP+CeTA | 1053 N | 1073 M | 1090 M | 1122 M |
| CoLL | 1053 N | 1073 M | 1090 Y | 1122 Y |
| FORT-h | 1053 N | 1073 M | 1090 Y | 1122 Y |
| FORT-h+FORTify | 1053 N | 1073 M | 1090 Y | 1122 T |
| CSR | 1161 | 1168 | 1298 | 1648 |
| ConfCSR | 1161 N | 1168 Y | 1298 M | 1648 M |
| CONFident | 1161 N | 1168 Y | 1298 M | 1648 T |
| CTRS | 264 | 271 | 279 | 553 |
| ACP | 264 Y | 271 N | 279 T | 553 M |
| CO3 | 264 Y | 271 N | 279 M | 553 M |
| CONFident | 264 Y | 271 N | 279 T | 553 N |
| GCR | 17 | 34 | 38 | 1650 |
| AGCP | 17 M | 34 Y | 38 N | 1650 Y |
| FORT-h | 17 M | 34 Y | 38 N | 1650 M |
| FORT-h+FORTify | 17 M | 34 Y | 38 N | 1650 M |
| INF | 808 | 836 | 883 | 1278 |
| CO3 | 808 M | 836 M | 883 Y | 1278 M |
| infChecker | 808 T | 836 N | 883 Y | 1278 T |
| NaTT | 808 T | 836 T | 883 Y | 1278 Y |
| nonreach | 808 M | 836 N | 883 Y | 1278 M |
| nonreach+CeTA | 808 M | 836 M | 883 Y | 1278 M |
| Toma | 808 T | 836 M | 883 Y | 1278 M |
| NFP | 39 | 711 | 1160 | 1650 |
| CSI | 39 N | 711 Y | 1160 M | 1650 N |
| FORT-h | 39 N | 711 Y | 1160 M | 1650 M |
| FORT-h+FORTify | 39 N | 711 Y | 1160 M | 1650 M |
| SRS | 7 | 45 | 939 | 1651 |
| ACP | 7 N | 45 Y | 939 T | 1651 Y |
| ACP+CeTA | 7 N | 45 M | 939 M | 1651 M |
| CONFident | 7 N | 45 Y | 939 T | 1651 Y |
| CSI | 7 N | 45 Y | 939 M | 1651 Y |
| CSI+CeTA | 7 N | 45 Y | 939 U | 1651 Y |
| Hakusan | 7 N | 45 Y | 939 M | 1651 Y |
| Hakusan+CeTA | 7 M | 45 M | 939 M | 1651 Y |
| TRS | 4 | 5 | 26 | 1655 |
| ACP | 4 Y | 5 N | 26 M | 1655 Y |
| ACP+CeTA | 4 Y | 5 N | 26 M | 1655 Y |
| CONFident | 4 Y | 5 N | 26 M | 1655 M |
| CSI | 4 Y | 5 N | 26 T | 1655 Y |
| CSI+CeTA | 4 Y | 5 N | 26 M | 1655 Y |
| FORT-h | 4 M | 5 M | 26 M | 1655 M |
| FORT-h+FORTify | 4 M | 5 M | 26 M | 1655 M |
| Hakusan | 4 Y | 5 N | 26 M | 1655 Y |
| Hakusan+CeTA | 4 Y | 5 M | 26 M | 1655 Y |
| UNC | 574 | 654 | 655 | 1649 |
| ACP | 574 T | 654 Y | 655 N | 1649 N |
| CSI | 574 M | 654 Y | 655 N | 1649 N |
| FORT-h | 574 M | 654 Y | 655 N | 1649 M |
| FORT-h+FORTify | 574 M | 654 Y | 655 N | 1649 M |
| UNR | 525 | 655 | 665 | 1649 |
| ACP | 525 Y | 655 Y | 665 N | 1649 N |
| CSI | 525 M | 655 Y | 665 N | 1649 N |
| FORT-h | 525 M | 655 Y | 665 N | 1649 M |
| FORT-h+FORTify | 525 M | 655 Y | 665 N | 1649 M |