| Category | Violation/Correctness | Validator | Criterion | Count |
|---|---|---|---|---|
| ReachSafety | violation | cpa-witness2test | existing_witnesses | 28666 |
| ReachSafety | violation | nitwit | existing_witnesses | 24882 |
| ReachSafety | violation | metaval | existing_witnesses | 28666 |
| ReachSafety | violation | uautomizer | existing_witnesses | 28666 |
| ReachSafety | violation | uautomizer | valid_witnesses | 13655 |
| ReachSafety | violation | fshell-witness2test | existing_witnesses | 28666 |
| ReachSafety | violation | cpa-seq | existing_witnesses | 37983 |
| ReachSafety | correctness | uautomizer | existing_witnesses | 66471 |
| ReachSafety | correctness | uautomizer | valid_witnesses | 31958 |
| ReachSafety | correctness | metaval | existing_witnesses | 66471 |
| ReachSafety | correctness | cpa-seq | existing_witnesses | 66471 |
| ReachSafety | correctness | metaval | valid_witnesses | 27327 |
| ReachSafety | correctness | cpa-seq | valid_witnesses | 29156 |
| ReachSafety | correctness | metaval | confirmed_unique | 2822 |
| ReachSafety | violation | cpa-witness2test | valid_witnesses | 12764 |
| ReachSafety | violation | nitwit | valid_witnesses | 13691 |
| ReachSafety | violation | metaval | valid_witnesses | 12480 |
| ReachSafety | violation | fshell-witness2test | valid_witnesses | 12230 |
| ReachSafety | violation | cpa-seq | valid_witnesses | 17434 |
| ReachSafety | violation | cpa-witness2test | confirmed_joint | 4528 |
| ReachSafety | violation | uautomizer | confirmed_joint | 4270 |
| ReachSafety | violation | fshell-witness2test | confirmed_joint | 6667 |
| ReachSafety | correctness | cpa-seq | confirmed_unique | 1443 |
| ReachSafety | correctness | uautomizer | confirmed_joint | 17593 |
| ReachSafety | correctness | metaval | confirmed_joint | 16372 |
| ReachSafety | correctness | cpa-seq | confirmed_joint | 12238 |
| ReachSafety | violation | nitwit | confirmed_joint | 7094 |
| ReachSafety | violation | uautomizer | confirmed_unique | 446 |
| ReachSafety | violation | nitwit | confirmed_unique | 342 |
| ReachSafety | violation | fshell-witness2test | confirmed_unique | 455 |
| ReachSafety | violation | cpa-seq | confirmed_joint | 6894 |
| ReachSafety | violation | cpa-witness2test | confirmed_unique | 33 |
| ReachSafety | violation | cpa-seq | confirmed_unique | 4048 |
| ReachSafety | correctness | uautomizer | confirmed_unique | 1362 |
| MemSafety | correctness | metaval | existing_witnesses | 19626 |
| MemSafety | correctness | uautomizer | existing_witnesses | 19626 |
| MemSafety | correctness | uautomizer | valid_witnesses | 16300 |
| MemSafety | violation | uautomizer | existing_witnesses | 17969 |
| MemSafety | violation | uautomizer | valid_witnesses | 15422 |
| MemSafety | violation | cpa-seq | existing_witnesses | 17969 |
| MemSafety | violation | metaval | existing_witnesses | 17969 |
| MemSafety | violation | cpa-witness2test | existing_witnesses | 17969 |
| MemSafety | violation | fshell-witness2test | existing_witnesses | 17969 |
| MemSafety | correctness | metaval | valid_witnesses | 6708 |
| MemSafety | correctness | uautomizer | confirmed_unique | 316 |
| MemSafety | correctness | metaval | confirmed_joint | 153 |
| MemSafety | correctness | uautomizer | confirmed_joint | 153 |
| MemSafety | violation | cpa-seq | valid_witnesses | 5278 |
| MemSafety | violation | metaval | valid_witnesses | 5278 |
| MemSafety | violation | cpa-witness2test | valid_witnesses | 8264 |
| MemSafety | violation | fshell-witness2test | valid_witnesses | 5280 |
| MemSafety | violation | fshell-witness2test | confirmed_unique | 93 |
| MemSafety | violation | uautomizer | confirmed_joint | 268 |
| MemSafety | violation | cpa-seq | confirmed_joint | 513 |
| MemSafety | violation | fshell-witness2test | confirmed_joint | 491 |
| MemSafety | violation | cpa-seq | confirmed_unique | 3423 |
| MemSafety | violation | cpa-witness2test | confirmed_joint | 148 |
| MemSafety | violation | metaval | confirmed_joint | 64 |
| MemSafety | violation | uautomizer | confirmed_unique | 28 |
| Termination | violation | cpa-seq | existing_witnesses | 8679 |
| Termination | violation | cpa-seq | valid_witnesses | 2692 |
| Termination | violation | uautomizer | existing_witnesses | 8679 |
| Termination | violation | uautomizer | valid_witnesses | 4671 |
| Termination | violation | metaval | existing_witnesses | 8679 |
| Termination | violation | metaval | valid_witnesses | 4681 |
| Termination | violation | uautomizer | confirmed_joint | 293 |
| Termination | violation | metaval | confirmed_joint | 215 |
| Termination | violation | cpa-seq | confirmed_joint | 302 |
| Termination | violation | uautomizer | confirmed_unique | 210 |
| Termination | violation | cpa-seq | confirmed_unique | 1380 |
| Termination | violation | metaval | confirmed_unique | 6 |
| NoOverflow | violation | uautomizer | existing_witnesses | 3398 |
| NoOverflow | violation | uautomizer | valid_witnesses | 2111 |
| NoOverflow | violation | cpa-seq | existing_witnesses | 3398 |
| NoOverflow | violation | cpa-seq | valid_witnesses | 2004 |
| NoOverflow | violation | cpa-witness2test | existing_witnesses | 3398 |
| NoOverflow | violation | cpa-witness2test | valid_witnesses | 2026 |
| NoOverflow | violation | metaval | existing_witnesses | 3398 |
| NoOverflow | violation | metaval | valid_witnesses | 2119 |
| NoOverflow | violation | fshell-witness2test | existing_witnesses | 3398 |
| NoOverflow | violation | fshell-witness2test | valid_witnesses | 2004 |
| NoOverflow | violation | uautomizer | confirmed_joint | 1578 |
| NoOverflow | violation | cpa-seq | confirmed_joint | 1694 |
| NoOverflow | violation | metaval | confirmed_joint | 1501 |
| NoOverflow | correctness | metaval | existing_witnesses | 4626 |
| NoOverflow | correctness | metaval | valid_witnesses | 1833 |
| NoOverflow | correctness | uautomizer | existing_witnesses | 4626 |
| NoOverflow | correctness | uautomizer | valid_witnesses | 1866 |
| NoOverflow | correctness | cpa-seq | existing_witnesses | 4626 |
| NoOverflow | correctness | cpa-seq | valid_witnesses | 1843 |
| NoOverflow | correctness | metaval | confirmed_joint | 1049 |
| NoOverflow | correctness | uautomizer | confirmed_joint | 1127 |
| NoOverflow | correctness | cpa-seq | confirmed_joint | 1120 |
| NoOverflow | violation | fshell-witness2test | confirmed_joint | 1140 |
| NoOverflow | violation | cpa-witness2test | confirmed_joint | 766 |
| NoOverflow | correctness | cpa-seq | confirmed_unique | 62 |
| NoOverflow | violation | uautomizer | confirmed_unique | 37 |
| NoOverflow | correctness | metaval | confirmed_unique | 127 |
| NoOverflow | violation | fshell-witness2test | confirmed_unique | 48 |
| NoOverflow | correctness | uautomizer | confirmed_unique | 54 |
| NoOverflow | violation | cpa-seq | confirmed_unique | 8 |
| NoOverflow | violation | cpa-witness2test | confirmed_unique | 2 |