Add new graphs

1 files changed, 26 insertions, 0 deletions

diff --git a/results/rel-time-div.csv b/results/rel-time-div.csv
new file mode 100644
index 0000000..a49b981
--- /dev/null
+++ b/results/rel-time-div.csv
@@ -0,0 +1,26 @@
+benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
+2mm,50.188771,1.3888922,1.9299621,2.5443179
+3mm,23.056304,1.1839319,1.3406278,1.6732709
+atas,3.6549064,0.98666568,0.96036153,0.93375990
+bicg,37.624721,1.3928189,1.5113291,2.0488069
+cholesky,56.275397,1.1174166,1.7465941,2.1940630
+doitgen,161.56500,5.3524499,1.8192144,8.2818473
+durbin,18.497868,1.2075514,1.6064633,1.8873338
+fdtd-2d,27.689261,1.1400799,1.4479990,1.7526383
+floyd-warshall,1.8185784,1.2027461,1.4947315,1.9239012
+gemm,31.505762,1.1639456,1.9525749,1.8306569
+gemver,34.930382,1.5000029,2.0872247,2.6603796
+gesummv,39.232613,1.2277233,1.2963100,1.7563630
+heat-3d,4.6533033,1.2320536,1.4489536,1.7842971
+jacobi-1d,31.480320,1.2375264,1.8646969,2.1779199
+jacobi-2d,29.244269,1.1501809,1.3622108,1.3582632
+lu,56.873531,1.1561096,1.8909197,2.1314237
+ludcmp,49.152990,1.1169021,1.7775009,2.1012857
+mvt,43.884488,1.6808145,1.7055499,2.5819999
+nussinov,1.6430391,1.2239817,1.8033548,2.2423807
+seidel-2d,16.353439,1.0135350,0.93778424,1.1009851
+symm,24.454299,0.99859977,1.2143617,1.4902832
+syr2k,26.567952,1.1199408,1.4592866,1.6561859
+syrk,37.013666,1.2836246,1.8006963,1.9329452
+trisolv,7.3959624,1.0656724,1.0610825,1.2497275
+trmm,27.279276,1.1355241,1.5738129,1.7721007