Gnuplot
Produced by GNUPLOT 5.4 patchlevel 2
1
10
100
1000
Min. time in s
Bubaak
Bubaak
CBMC
CBMC
CVT-ParPort
CVT-ParPort
Graves-Par
Graves-Par
Infer
Infer
Symbiotic
Symbiotic
-50
-40
-30
-20
-10
0
10
Cumulative score
Bubaak
CBMC
CVT-ParPort
Graves-Par
Infer
Symbiotic