CoCo 2022 Test Run
| category / tools | problems / output | |||
|---|---|---|---|---|
| COM | 1052 | 1060 | 1078 | 1086 |
| ACP | 1052 N | 1060 Y | 1078 M | 1086 N |
| CoLL | 1052 N | 1060 Y | 1078 T | 1086 N |
| FORT-h | 1052 N | 1060 Y | 1078 M | 1086 M |
| FORT-h+FORTify | 1052 N | 1060 Y | 1078 M | 1086 M |
| CPF-TRS | 31 | 40 | 58 | 64 |
| ACP+CeTA | 31 N | 40 Y | 58 M | 64 M |
| CSI+CeTA | 31 N | 40 Y | 58 M | 64 N |
| FORT-h+FORTify | 31 M | 40 Y | 58 M | 64 M |
| CSR | 1175 | 1210 | 1257 | 1261 |
| CONFident | 1175 N | 1210 Y | 1257 N | 1261 Y |
| CTRS | 294 | 310 | 348 | 522 |
| ACP | 294 Y | 310 N | 348 M | 522 M |
| CO3 | 294 Y | 310 N | 348 M | 522 Y |
| CONFident | 294 Y | 310 N | 348 T | 522 Y |
| GCR | 21 | 40 | 56 | 800 |
| AGCP | 21 N | 40 Y | 56 M | 800 N |
| FORT-h | 21 N | 40 Y | 56 M | 800 N |
| FORT-h+FORTify | 21 N | 40 Y | 56 M | 800 N |
| INF | 831 | 858 | 894 | 895 |
| CO3 | 831 Y | 858 M | 894 M | 895 Y |
| infChecker | 831 Y | 858 N | 894 T | 895 Y |
| NaTT | 831 Y | 858 T | 894 T | 895 T |
| Toma | 831 Y | 858 M | 894 T | 895 T |
| NFP | 36 | 38 | 57 | 112 |
| CSI | 36 Y | 38 N | 57 M | 112 Y |
| FORT-h | 36 Y | 38 N | 57 M | 112 M |
| FORT-h+FORTify | 36 Y | 38 N | 57 M | 112 M |
| SRS | 946 | 959 | 990 | 1156 |
| ACP | 946 N | 959 Y | 990 M | 1156 M |
| Hakusan | 946 M | 959 Y | 990 T | 1156 M |
| CONFident | 946 N | 959 Y | 990 M | 1156 T |
| CSI | 946 N | 959 Y | 990 T | 1156 N |
| TRS | 80 | 82 | 170 | 183 |
| ACP | 80 N | 82 Y | 170 Y | 183 M |
| Hakusan | 80 M | 82 Y | 170 T | 183 T |
| CONFident | 80 N | 82 Y | 170 M | 183 M |
| CSI | 80 N | 82 Y | 170 T | 183 Y |
| UNC | 21 | 38 | 110 | 113 |
| ACP | 21 Y | 38 N | 110 T | 113 Y |
| CSI | 21 Y | 38 N | 110 T | 113 T |
| FORT-h | 21 Y | 38 N | 110 M | 113 M |
| FORT-h+FORTify | 21 Y | 38 N | 110 M | 113 M |
| UNR | 111 | 225 | 227 | 239 |
| CSI | 111 Y | 225 N | 227 M | 239 N |
| FORT-h | 111 Y | 225 N | 227 M | 239 M |
| FORT-h+FORTify | 111 Y | 225 N | 227 M | 239 M |