replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Gnuplot script for performance comparison 

This can be used to compare performances of 2 runs of the benchmarks.
The data should be in 2 csv files named benchmark1.csv and
benchmark2.csv.
This commit is contained in:
Romain Brenguier 2018-12-07 09:02:47 +00:00
parent 19c07d61e7
commit 191410d05c
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
scripts/benchmark/draw_scatter.gp Normal file
View File

@ -0,0 +1,14 @@
# Usage: "gnuplot draw_scatter.gp"
set datafile separator ";"
set terminal png size 1024,1024
set output 'perf_out.png'
set xrange [30:60000]
set yrange [30:60000]
set logscale x 10
set logscale y 10
set ylabel 'time (sec.) on branch'
set xlabel 'time (sec.) on develop'
plot '< join benchmark1.csv benchmark2.csv' using 6:3 with points, \
x with lines