Add new graphs

1 files changed, 27 insertions, 0 deletions

diff --git a/results/rel-time-nodiv.csv b/results/rel-time-nodiv.csv
new file mode 100644
index 0000000..f42f4e7
--- /dev/null
+++ b/results/rel-time-nodiv.csv
@@ -0,0 +1,27 @@
+benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
+2mm,2.6940664,1.4126390,2.0470769,2.8218645
+3mm,2.2662709,1.4341476,1.8041791,2.6063100
+atas,1.6754557,1.3769086,1.8254298,2.1637725
+bicg,2.1229546,1.3628775,2.3410673,3.1483129
+cholesky,3.0492309,1.1918403,1.8986657,2.3510332
+covariance,1.2715910,1.3361944,1.6366507,2.3236693
+doitgen,6.9953994,4.1345352,1.8226875,7.4096335
+durbin,2.0327955,1.2116020,1.8172687,2.2706423
+fdtd-2d,1.5515491,1.1018185,1.4628000,1.7772044
+floyd-warshall,1.9615387,1.2027461,1.4947315,1.9239012
+gemm,1.8469077,1.2611980,1.9577803,2.3681335
+gemver,2.1473554,1.5730371,2.5031670,3.2661711
+gesummv,2.0705516,1.5357406,2.3198665,3.0988924
+heat-3d,5.1333107,1.2234378,1.4489536,1.8015284
+jacobi-1d,1.8105246,1.2288629,1.7369597,2.2979022
+jacobi-2d,1.4143161,0.85422818,1.1614101,1.1724647
+lu,2.8103434,1.1513052,1.8867237,2.2089981
+ludcmp,2.5686385,1.2667986,1.8454097,2.1717871
+mvt,2.1198192,1.6147969,2.4606964,3.5472470
+nussinov,1.7508244,1.2239817,1.8033548,2.2423807
+seidel-2d,1.7640548,1.2940804,1.7936131,2.2466971
+symm,2.1128832,1.0668560,1.4646131,2.0501358
+syr2k,2.5921657,1.3095186,2.0498786,2.4951638
+syrk,2.0946298,1.3576898,1.8768625,2.3622972
+trisolv,0.47290242,0.95672922,1.2231859,1.1019474
+trmm,1.5458213,1.1443962,1.6055769,1.9390939