Gnuplot
Produced by GNUPLOT 5.2 patchlevel 8
1
10
100
1000
Min. time in s
CBMC
CBMC
CVT-ParPort
CVT-ParPort
CPA-BAM-SMG
CPA-BAM-SMG
CPAchecker-2-1
CPAchecker-2-1
Graves-CPA
Graves-CPA
Infer
Infer
PeSCo
PeSCo
Symbiotic
Symbiotic
-150
-100
-50
0
50
100
150
200
Cumulative score
CBMC
CVT-ParPort
CPA-BAM-SMG
CPAchecker-2-1
Graves-CPA
Infer
PeSCo
Symbiotic