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