Gnuplot
Produced by GNUPLOT 5.2 patchlevel 2
1
10
100
1000
Min. time in s
2LS
2LS
CBMC
CBMC
CPAchecker
CPAchecker
PeSCo
PeSCo
PredatorHP
PredatorHP
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
-50
-40
-30
-20
-10
0
10
20
30
40
Cumulative score
2LS
CBMC
CPAchecker
PeSCo
PredatorHP
Symbiotic
UAutomizer
UKojak
UTaipan