Gnuplot
Produced by GNUPLOT 4.6 patchlevel 4
1
10
100
1000
Time in s
gnuplot_plot_1a
CBMC
gnuplot_plot_2a
CPAchecker
gnuplot_plot_3a
ESBMC
gnuplot_plot_4a
SeaHorn
gnuplot_plot_5a
UAutomizer
gnuplot_plot_6a
UKojak
-500
-400
-300
-200
-100
0
100
200
Accumulated score
gnuplot_plot_1b
gnuplot_plot_2b
gnuplot_plot_3b
gnuplot_plot_4b
gnuplot_plot_5b
gnuplot_plot_6b