Gnuplot
Produced by GNUPLOT 4.6 patchlevel 4
1
10
100
1000
Time in s
gnuplot_plot_1a
2LS
gnuplot_plot_2a
BLAST
gnuplot_plot_3a
CBMC
gnuplot_plot_4a
CPA-BAM
gnuplot_plot_5a
CPA-kInd
gnuplot_plot_6a
CPA-RefSel
gnuplot_plot_7a
CPA-Seq
gnuplot_plot_8a
DepthK
gnuplot_plot_9a
ESBMC
gnuplot_plot_10a
Impara
gnuplot_plot_11a
LPI
gnuplot_plot_12a
SeaHorn
gnuplot_plot_13a
SMACK
gnuplot_plot_14a
Symbiotic
gnuplot_plot_15a
UAutomizer
gnuplot_plot_16a
UKojak
gnuplot_plot_17a
VVT
-600
-400
-200
0
200
400
600
800
1000
Accumulated score
gnuplot_plot_1b
gnuplot_plot_2b
gnuplot_plot_3b
gnuplot_plot_4b
gnuplot_plot_5b
gnuplot_plot_6b
gnuplot_plot_7b
gnuplot_plot_8b
gnuplot_plot_9b
gnuplot_plot_10b
gnuplot_plot_11b
gnuplot_plot_12b
gnuplot_plot_13b
gnuplot_plot_14b
gnuplot_plot_15b
gnuplot_plot_16b
gnuplot_plot_17b