CoCo 2024 Test Run
| category / tools | problems / output | |||
|---|---|---|---|---|
| COM | 906 | 919 | 945 | 951 |
| ACP | 906 N | 919 M | 945 Y | 951 N |
| ACP+CeTA | 906 E | 919 M | 945 E | 951 E |
| FORT-h | 906 N | 919 M | 945 Y | 951 M |
| FORT-h+FORTify | 906 N | 919 M | 945 Y | 951 M |
| CSR | 1032 | 1052 | 1125 | 1440 |
| CONFident | 1032 Y | 1052 M | 1125 N | 1440 Y |
| CTRS | 257 | 274 | 304 | 386 |
| ACP | 257 Y | 274 M | 304 N | 386 Y |
| CO3 | 257 Y | 274 M | 304 N | 386 M |
| CONFident | 257 Y | 274 M | 304 N | 386 M |
| GCR | 39 | 40 | 58 | 476 |
| AGCP | 39 E | 40 E | 58 E | 476 E |
| FORT-h | 39 N | 40 Y | 58 M | 476 M |
| FORT-h+FORTify | 39 N | 40 Y | 58 M | 476 M |
| INF | 737 | 775 | 785 | 980 |
| CO3 | 737 M | 775 Y | 785 M | 980 Y |
| infChecker | 737 N | 775 Y | 785 M | 980 Y |
| Moca | 737 M | 775 Y | 785 Y | 980 T |
| Moca+CeTA | 737 M | 775 Y | 785 M | 980 M |
| NaTT | 737 M | 775 Y | 785 T | 980 T |
| LCTRS | 1540 | 1569 | 1571 | 1605 |
| CRaris | 1540 Y | 1569 Y | 1571 M | 1605 Y |
| crest | 1540 Y | 1569 Y | 1571 Y | 1605 Y |
| NFP | 204 | 463 | 575 | 644 |
| CSI | 204 Y | 463 M | 575 Y | 644 N |
| FORT-h | 204 Y | 463 M | 575 Y | 644 M |
| FORT-h+FORTify | 204 Y | 463 M | 575 Y | 644 M |
| SRS | 10 | 87 | 794 | 847 |
| ACP | 10 N | 87 Y | 794 T | 847 Y |
| ACP+CeTA | 10 N | 87 Y | 794 M | 847 M |
| CONFident | 10 N | 87 Y | 794 M | 847 M |
| CSI | 10 N | 87 Y | 794 M | 847 T |
| CSI+CeTA | 10 N | 87 Y | 794 E | 847 M |
| Hakusan+CeTA | 10 N | 87 Y | 794 M | 847 Y |
| TRS | 11 | 21 | 449 | 451 |
| ACP | 11 Y | 21 N | 449 T | 451 M |
| ACP+CeTA | 11 Y | 21 N | 449 M | 451 M |
| CONFident | 11 Y | 21 M | 449 M | 451 M |
| CSI | 11 Y | 21 N | 449 M | 451 Y |
| CSI+CeTA | 11 Y | 21 N | 449 M | 451 M |
| FORT-h | 11 M | 21 N | 449 M | 451 M |
| FORT-h+FORTify | 11 M | 21 N | 449 M | 451 M |
| Hakusan+CeTA | 11 Y | 21 M | 449 M | 451 M |
| UNC | 38 | 465 | 507 | 615 |
| ACP | 38 N | 465 T | 507 M | 615 Y |
| CSI | 38 N | 465 M | 507 Y | 615 Y |
| FORT-h | 38 N | 465 M | 507 M | 615 Y |
| FORT-h+FORTify | 38 N | 465 M | 507 M | 615 Y |
| UNR | 57 | 77 | 452 | 578 |
| ACP | 57 M | 77 N | 452 N | 578 Y |
| CSI | 57 M | 77 M | 452 N | 578 Y |
| FORT-h | 57 M | 77 M | 452 N | 578 Y |
| FORT-h+FORTify | 57 M | 77 M | 452 N | 578 Y |