Gnuplot
Produced by GNUPLOT 5.2 patchlevel 2
1
10
100
1000
Min. time in s
2LS
2LS
CBMC
CBMC
CPA-Seq
CPA-Seq
ESBMC
ESBMC
Map2Check
Map2Check
Pinaka
Pinaka
Symbiotic
Symbiotic
UAutomizer
UAutomizer
UKojak
UKojak
UTaipan
UTaipan
VeriFuzz
VeriFuzz
-300
-200
-100
0
100
200
300
400
500
Cumulative score
2LS
CBMC
CPA-Seq
ESBMC
Map2Check
Pinaka
Symbiotic
UAutomizer
UKojak
UTaipan
VeriFuzz