Category
|
Violation/Correctness
|
Validator
|
Criterion
|
Count |
ReachSafety | violation | fshell-witness2test | existing_witnesses | 25812 |
ReachSafety | violation | nitwit | existing_witnesses | 21636 |
ReachSafety | violation | uautomizer | existing_witnesses | 25812 |
ReachSafety | violation | cpa-witness2test | existing_witnesses | 25812 |
ReachSafety | violation | veriabs | existing_witnesses | 21636 |
ReachSafety | violation | metaval | existing_witnesses | 35652 |
ReachSafety | violation | cpachecker | existing_witnesses | 35652 |
ReachSafety | correctness | veriabs | existing_witnesses | 36675 |
ReachSafety | correctness | metaval | existing_witnesses | 66435 |
ReachSafety | correctness | cpachecker | existing_witnesses | 66435 |
ReachSafety | correctness | uautomizer | existing_witnesses | 66435 |
ReachSafety | correctness | veriabs | valid_witnesses | 14280 |
ReachSafety | correctness | metaval | valid_witnesses | 27743 |
ReachSafety | correctness | cpachecker | valid_witnesses | 25216 |
ReachSafety | correctness | uautomizer | valid_witnesses | 25238 |
ReachSafety | correctness | veriabs | confirmed_unique | 342 |
ReachSafety | violation | fshell-witness2test | valid_witnesses | 12827 |
ReachSafety | violation | nitwit | valid_witnesses | 12308 |
ReachSafety | violation | uautomizer | valid_witnesses | 13034 |
ReachSafety | violation | cpa-witness2test | valid_witnesses | 12827 |
ReachSafety | violation | veriabs | valid_witnesses | 12611 |
ReachSafety | violation | metaval | valid_witnesses | 20231 |
ReachSafety | violation | cpachecker | valid_witnesses | 18775 |
ReachSafety | violation | fshell-witness2test | confirmed_joint | 6740 |
ReachSafety | violation | nitwit | confirmed_joint | 8055 |
ReachSafety | violation | uautomizer | confirmed_joint | 3802 |
ReachSafety | violation | cpa-witness2test | confirmed_joint | 6010 |
ReachSafety | correctness | cpachecker | confirmed_unique | 1750 |
ReachSafety | correctness | metaval | confirmed_joint | 13862 |
ReachSafety | correctness | cpachecker | confirmed_joint | 17592 |
ReachSafety | correctness | uautomizer | confirmed_joint | 16834 |
ReachSafety | correctness | veriabs | confirmed_joint | 6538 |
ReachSafety | violation | metaval | confirmed_joint | 1566 |
ReachSafety | violation | fshell-witness2test | confirmed_unique | 175 |
ReachSafety | violation | uautomizer | confirmed_unique | 547 |
ReachSafety | violation | nitwit | confirmed_unique | 398 |
ReachSafety | violation | cpachecker | confirmed_joint | 8019 |
ReachSafety | correctness | metaval | confirmed_unique | 391 |
ReachSafety | violation | veriabs | confirmed_joint | 129 |
ReachSafety | violation | metaval | confirmed_unique | 44 |
ReachSafety | correctness | uautomizer | confirmed_unique | 708 |
ReachSafety | violation | cpa-witness2test | confirmed_unique | 42 |
ReachSafety | violation | cpachecker | confirmed_unique | 3043 |
ReachSafety | violation | veriabs | confirmed_unique | 1 |
MemSafety | correctness | uautomizer | existing_witnesses | 4426 |
MemSafety | correctness | metaval | existing_witnesses | 4426 |
MemSafety | violation | metaval | existing_witnesses | 2681 |
MemSafety | violation | cpachecker | existing_witnesses | 2681 |
MemSafety | violation | cpa-witness2test | existing_witnesses | 2213 |
MemSafety | violation | fshell-witness2test | existing_witnesses | 2681 |
MemSafety | violation | uautomizer | existing_witnesses | 2681 |
MemSafety | violation | metaval | valid_witnesses | 1438 |
MemSafety | violation | cpachecker | valid_witnesses | 1566 |
MemSafety | violation | cpa-witness2test | valid_witnesses | 1213 |
MemSafety | violation | fshell-witness2test | valid_witnesses | 1429 |
MemSafety | violation | uautomizer | valid_witnesses | 1475 |
MemSafety | violation | cpachecker | confirmed_joint | 737 |
MemSafety | violation | uautomizer | confirmed_joint | 372 |
MemSafety | correctness | uautomizer | valid_witnesses | 1738 |
MemSafety | correctness | metaval | valid_witnesses | 1646 |
MemSafety | correctness | uautomizer | confirmed_joint | 811 |
MemSafety | correctness | metaval | confirmed_joint | 811 |
MemSafety | violation | metaval | confirmed_joint | 478 |
MemSafety | violation | metaval | confirmed_unique | 113 |
MemSafety | violation | fshell-witness2test | confirmed_joint | 364 |
MemSafety | correctness | metaval | confirmed_unique | 398 |
MemSafety | violation | cpachecker | confirmed_unique | 278 |
MemSafety | correctness | uautomizer | confirmed_unique | 173 |
MemSafety | violation | cpa-witness2test | confirmed_joint | 250 |
MemSafety | violation | fshell-witness2test | confirmed_unique | 21 |
MemSafety | violation | uautomizer | confirmed_unique | 44 |
Termination | violation | metaval | existing_witnesses | 9720 |
Termination | violation | metaval | valid_witnesses | 4523 |
Termination | violation | cpachecker | existing_witnesses | 9720 |
Termination | violation | cpachecker | valid_witnesses | 2858 |
Termination | violation | uautomizer | existing_witnesses | 9720 |
Termination | violation | uautomizer | valid_witnesses | 2858 |
Termination | violation | metaval | confirmed_joint | 256 |
Termination | violation | uautomizer | confirmed_joint | 1493 |
Termination | violation | cpachecker | confirmed_joint | 1539 |
Termination | violation | uautomizer | confirmed_unique | 235 |
Termination | violation | cpachecker | confirmed_unique | 566 |
Termination | violation | metaval | confirmed_unique | 9 |
NoOverflow | violation | metaval | existing_witnesses | 3149 |
NoOverflow | violation | metaval | valid_witnesses | 2595 |
NoOverflow | violation | cpachecker | existing_witnesses | 3149 |
NoOverflow | violation | cpachecker | valid_witnesses | 2079 |
NoOverflow | violation | cpa-witness2test | existing_witnesses | 3149 |
NoOverflow | violation | cpa-witness2test | valid_witnesses | 2074 |
NoOverflow | violation | uautomizer | existing_witnesses | 3149 |
NoOverflow | violation | uautomizer | valid_witnesses | 2070 |
NoOverflow | violation | fshell-witness2test | existing_witnesses | 3149 |
NoOverflow | violation | fshell-witness2test | valid_witnesses | 2058 |
NoOverflow | violation | cpachecker | confirmed_joint | 1668 |
NoOverflow | violation | uautomizer | confirmed_joint | 1590 |
NoOverflow | violation | metaval | confirmed_joint | 1186 |
NoOverflow | correctness | uautomizer | existing_witnesses | 3179 |
NoOverflow | correctness | uautomizer | valid_witnesses | 1061 |
NoOverflow | correctness | metaval | existing_witnesses | 3179 |
NoOverflow | correctness | metaval | valid_witnesses | 1575 |
NoOverflow | correctness | uautomizer | confirmed_joint | 870 |
NoOverflow | correctness | metaval | confirmed_joint | 870 |
NoOverflow | violation | fshell-witness2test | confirmed_joint | 1267 |
NoOverflow | violation | cpa-witness2test | confirmed_joint | 1067 |
NoOverflow | correctness | uautomizer | confirmed_unique | 74 |
NoOverflow | violation | uautomizer | confirmed_unique | 89 |
NoOverflow | correctness | metaval | confirmed_unique | 44 |
NoOverflow | violation | fshell-witness2test | confirmed_unique | 31 |
NoOverflow | violation | metaval | confirmed_unique | 1 |
NoOverflow | violation | cpachecker | confirmed_unique | 6 |
NoOverflow | violation | cpa-witness2test | confirmed_unique | 1 |