Add new graphs

1 files changed, 26 insertions, 0 deletions

diff --git a/results/rel-size-div.csv b/results/rel-size-div.csv
new file mode 100644
index 0000000..9a66c1b
--- /dev/null
+++ b/results/rel-size-div.csv
@@ -0,0 +1,26 @@
+benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
+2mm,2.1556169,0.58655617,1.4162063,0.60220994
+3mm,1.1138052,0.90222917,1.1822448,0.91161517
+atas,0.62141148,0.97607656,1.0239234,1.0083732
+bicg,3.9086860,0.88195991,0.91982183,1.0044543
+cholesky,0.95866749,0.93769278,1.0252930,1
+doitgen,1.3624288,0.43168880,1.7267552,0.43074004
+durbin,0.58598207,0.98533007,1.0228199,1.0325998
+fdtd-2d,0.80123839,0.91207430,0.98266254,0.99752322
+floyd-warshall,1.3957219,0.91978610,1.1568627,1.0213904
+gemm,1.6164260,0.38628159,1.4458484,0.42689531
+gemver,1.8679969,0.98465081,1.0168841,1.0130468
+gesummv,5.2175141,0.90960452,0.98022599,1.0367232
+heat-3d,0.69014085,0.68857590,1.2198748,0.76369327
+jacobi-1d,0.82564679,0.93588301,1,1.0056243
+jacobi-2d,0.83620690,0.95376176,0.99843260,1.0681818
+lu,1.0012315,0.90024631,0.99199507,0.96921182
+ludcmp,1.2899378,0.92686722,1.0383817,1.0031120
+mvt,7.9342404,0.90249433,1.0634921,0.97732426
+nussinov,0.99238965,0.93911720,1.0639269,1.1354642
+seidel-2d,0.84858569,0.88269551,0.96339434,0.96755408
+symm,1.5902285,0.93695823,1.0961387,0.98739165
+syr2k,0.94597250,0.83988212,0.99410609,0.87966601
+syrk,2.8072289,0.79718876,1.1887550,0.89558233
+trisolv,0.77716535,0.94803150,0.96692913,0.91732283
+trmm,2.5935728,0.78449905,1.0434783,0.80718336