| Category | Violation/Correctness | Validator | Criterion | Count |
|---|---|---|---|---|
| ReachSafety | violation | uautomizer | existing_witnesses | 54399 |
| ReachSafety | violation | uautomizer | valid_witnesses | 31384 |
| ReachSafety | violation | fshell-witness2test | existing_witnesses | 54399 |
| ReachSafety | violation | symbiotic-witch | existing_witnesses | 54399 |
| ReachSafety | violation | cpa-witness2test | existing_witnesses | 54399 |
| ReachSafety | violation | metaval | existing_witnesses | 54399 |
| ReachSafety | violation | witnesslint | existing_witnesses | 60621 |
| ReachSafety | violation | cpachecker | existing_witnesses | 60621 |
| ReachSafety | violation | nitwit | existing_witnesses | 54399 |
| ReachSafety | correctness | uautomizer | existing_witnesses | 118062 |
| ReachSafety | correctness | uautomizer | valid_witnesses | 55744 |
| ReachSafety | correctness | witnesslint | existing_witnesses | 124811 |
| ReachSafety | correctness | metaval | existing_witnesses | 118062 |
| ReachSafety | correctness | cpachecker | existing_witnesses | 118062 |
| ReachSafety | correctness | witnesslint | valid_witnesses | 45281 |
| ReachSafety | correctness | metaval | valid_witnesses | 44345 |
| ReachSafety | correctness | cpachecker | valid_witnesses | 46739 |
| ReachSafety | correctness | metaval | confirmed_unique | 4228 |
| ReachSafety | violation | fshell-witness2test | valid_witnesses | 26374 |
| ReachSafety | violation | symbiotic-witch | valid_witnesses | 26433 |
| ReachSafety | violation | cpa-witness2test | valid_witnesses | 27450 |
| ReachSafety | violation | metaval | valid_witnesses | 26739 |
| ReachSafety | violation | witnesslint | valid_witnesses | 29084 |
| ReachSafety | violation | cpachecker | valid_witnesses | 30062 |
| ReachSafety | violation | nitwit | valid_witnesses | 27441 |
| ReachSafety | violation | uautomizer | confirmed_joint | 8268 |
| ReachSafety | violation | fshell-witness2test | confirmed_joint | 12785 |
| ReachSafety | violation | symbiotic-witch | confirmed_joint | 8856 |
| ReachSafety | violation | cpa-witness2test | confirmed_joint | 8235 |
| ReachSafety | violation | cpachecker | confirmed_joint | 12855 |
| ReachSafety | correctness | cpachecker | confirmed_unique | 2221 |
| ReachSafety | correctness | metaval | confirmed_joint | 27021 |
| ReachSafety | correctness | cpachecker | confirmed_joint | 19009 |
| ReachSafety | correctness | uautomizer | confirmed_joint | 29475 |
| ReachSafety | violation | nitwit | confirmed_joint | 14242 |
| ReachSafety | violation | uautomizer | confirmed_unique | 462 |
| ReachSafety | violation | fshell-witness2test | confirmed_unique | 734 |
| ReachSafety | violation | symbiotic-witch | confirmed_unique | 251 |
| ReachSafety | correctness | uautomizer | confirmed_unique | 2748 |
| ReachSafety | violation | nitwit | confirmed_unique | 416 |
| ReachSafety | violation | cpachecker | confirmed_unique | 2303 |
| ReachSafety | violation | cpa-witness2test | confirmed_unique | 51 |
| MemSafety | correctness | witnesslint | existing_witnesses | 30317 |
| MemSafety | correctness | metaval | existing_witnesses | 30317 |
| MemSafety | correctness | uautomizer | existing_witnesses | 30317 |
| MemSafety | correctness | uautomizer | valid_witnesses | 21537 |
| MemSafety | violation | witnesslint | existing_witnesses | 27795 |
| MemSafety | violation | metaval | existing_witnesses | 27795 |
| MemSafety | violation | uautomizer | existing_witnesses | 27795 |
| MemSafety | violation | uautomizer | valid_witnesses | 18875 |
| MemSafety | violation | cpachecker | existing_witnesses | 27795 |
| MemSafety | violation | symbiotic-witch | existing_witnesses | 27795 |
| MemSafety | violation | cpa-witness2test | existing_witnesses | 27795 |
| MemSafety | violation | fshell-witness2test | existing_witnesses | 27795 |
| MemSafety | correctness | witnesslint | valid_witnesses | 16712 |
| MemSafety | correctness | metaval | valid_witnesses | 16864 |
| MemSafety | correctness | uautomizer | confirmed_unique | 13985 |
| MemSafety | correctness | metaval | confirmed_joint | 199 |
| MemSafety | correctness | uautomizer | confirmed_joint | 199 |
| MemSafety | violation | witnesslint | valid_witnesses | 13986 |
| MemSafety | violation | metaval | valid_witnesses | 14144 |
| MemSafety | violation | cpachecker | valid_witnesses | 14145 |
| MemSafety | violation | symbiotic-witch | valid_witnesses | 14149 |
| MemSafety | violation | cpa-witness2test | valid_witnesses | 16199 |
| MemSafety | violation | fshell-witness2test | valid_witnesses | 14147 |
| MemSafety | violation | symbiotic-witch | confirmed_joint | 6341 |
| MemSafety | violation | fshell-witness2test | confirmed_joint | 859 |
| MemSafety | violation | cpachecker | confirmed_joint | 7247 |
| MemSafety | violation | symbiotic-witch | confirmed_unique | 1116 |
| MemSafety | violation | uautomizer | confirmed_joint | 3171 |
| MemSafety | violation | cpa-witness2test | confirmed_joint | 209 |
| MemSafety | correctness | metaval | confirmed_unique | 4 |
| MemSafety | violation | metaval | confirmed_joint | 107 |
| MemSafety | violation | fshell-witness2test | confirmed_unique | 54 |
| MemSafety | violation | cpachecker | confirmed_unique | 3299 |
| MemSafety | violation | uautomizer | confirmed_unique | 391 |
| NoOverflows | violation | cpachecker | existing_witnesses | 4736 |
| NoOverflows | violation | cpachecker | valid_witnesses | 2821 |
| NoOverflows | violation | fshell-witness2test | existing_witnesses | 4736 |
| NoOverflows | violation | fshell-witness2test | valid_witnesses | 2821 |
| NoOverflows | violation | symbiotic-witch | existing_witnesses | 4736 |
| NoOverflows | violation | symbiotic-witch | valid_witnesses | 2821 |
| NoOverflows | violation | witnesslint | existing_witnesses | 4736 |
| NoOverflows | violation | witnesslint | valid_witnesses | 2821 |
| NoOverflows | violation | metaval | existing_witnesses | 4736 |
| NoOverflows | violation | metaval | valid_witnesses | 3212 |
| NoOverflows | violation | cpa-witness2test | existing_witnesses | 4736 |
| NoOverflows | violation | cpa-witness2test | valid_witnesses | 3012 |
| NoOverflows | violation | uautomizer | existing_witnesses | 4736 |
| NoOverflows | violation | uautomizer | valid_witnesses | 3187 |
| NoOverflows | violation | cpachecker | confirmed_joint | 2289 |
| NoOverflows | violation | symbiotic-witch | confirmed_joint | 2578 |
| NoOverflows | violation | uautomizer | confirmed_joint | 2455 |
| NoOverflows | violation | metaval | confirmed_joint | 1967 |
| NoOverflows | correctness | uautomizer | existing_witnesses | 6513 |
| NoOverflows | correctness | uautomizer | valid_witnesses | 2869 |
| NoOverflows | correctness | metaval | existing_witnesses | 6513 |
| NoOverflows | correctness | metaval | valid_witnesses | 2835 |
| NoOverflows | correctness | witnesslint | existing_witnesses | 6513 |
| NoOverflows | correctness | witnesslint | valid_witnesses | 2353 |
| NoOverflows | correctness | cpachecker | existing_witnesses | 6513 |
| NoOverflows | correctness | cpachecker | valid_witnesses | 2734 |
| NoOverflows | correctness | uautomizer | confirmed_joint | 1648 |
| NoOverflows | correctness | metaval | confirmed_joint | 1517 |
| NoOverflows | correctness | cpachecker | confirmed_joint | 1612 |
| NoOverflows | violation | fshell-witness2test | confirmed_joint | 1530 |
| NoOverflows | violation | cpa-witness2test | confirmed_joint | 988 |
| NoOverflows | correctness | cpachecker | confirmed_unique | 109 |
| NoOverflows | correctness | uautomizer | confirmed_unique | 113 |
| NoOverflows | correctness | metaval | confirmed_unique | 258 |
| NoOverflows | violation | symbiotic-witch | confirmed_unique | 15 |
| NoOverflows | violation | fshell-witness2test | confirmed_unique | 17 |
| NoOverflows | violation | cpachecker | confirmed_unique | 2 |
| NoOverflows | violation | uautomizer | confirmed_unique | 7 |
| Termination | correctness | witnesslint | existing_witnesses | 23440 |
| Termination | correctness | witnesslint | valid_witnesses | 8594 |
| Termination | violation | witnesslint | existing_witnesses | 13200 |
| Termination | violation | witnesslint | valid_witnesses | 4342 |
| Termination | violation | cpachecker | existing_witnesses | 13200 |
| Termination | violation | cpachecker | valid_witnesses | 4346 |
| Termination | violation | uautomizer | existing_witnesses | 13200 |
| Termination | violation | uautomizer | valid_witnesses | 6629 |
| Termination | violation | metaval | existing_witnesses | 13200 |
| Termination | violation | metaval | valid_witnesses | 6639 |
| Termination | violation | uautomizer | confirmed_unique | 227 |
| Termination | violation | cpachecker | confirmed_joint | 1215 |
| Termination | violation | uautomizer | confirmed_joint | 918 |
| Termination | violation | metaval | confirmed_joint | 682 |
| Termination | violation | metaval | confirmed_unique | 36 |
| Termination | violation | cpachecker | confirmed_unique | 1750 |