1 files changed, 22 insertions, 23 deletions
diff --git a/data/time-ratio.csv b/data/time-ratio.csv
index fea0796..e21bcc8 100644
--- a/data/time-ratio.csv
+++ b/data/time-ratio.csv
@@ -1,27 +1,26 @@
 benchmark,vericert,vericert-fun
+2mm,3.125391,2.933666
+3mm,2.324715,2.297549
+adi,4.099243,3.315808
+atas,2.513413,2.794423
+bicg,2.440026,2.467366
 cholesky,2.967234,2.827276
-mvt,2.021429,2.096388
-trmm,2.060691,2.126787
-gemm,2.592613,2.838367
+covariance,1.922089,1.893513
+doitgen,2.326549,2.27479
 durbin,1.632376,1.577759
-atas,2.513413,2.794423
-trisolv,2.22831,2.28662
+fdtd-2d,4.987489,4.690076
+floyd-warshall,2.962262,2.770747
+gemm,2.592613,2.838367
+gesummv,2.634895,2.842029
+heat-3d,6.020816,5.867394
+jacobi-1d,2.091957,2.163186
+jacobi-2d,2.864215,2.781176
+lu,2.675417,2.68872
+mvt,2.021429,2.096388
+nussinov,1.953448,1.968995
+seidel-2d,2.638452,2.639596
 symm,3.15331,3.127258
-2mm,3.125391,2.933666
-covariance,1.922089,1.893513
-jacobi-1d,43.298536,42.335268
-gemver,12.517913,12.617537
-doitgen,0.112407,0.116234
-nussinov,0.784121,0.761388
-jacobi-2d,0.960304,0.971064
-lu,0.561883,0.547565
-ludcmp,0.610521,0.603387
-bicg,18.494773,17.391895
-heat-3d,8.578985,8.582706
-3mm,2.214392,2.099631
-fdtd-2d,9.889776,7.999673
-seidel-2d,15.540121,14.535428
-syr2k,0.859594,0.927169
-adi,6.297165,6.328476
-floyd-warshall,0.408523,0.189116
-gesummv,9.108164,9.172071
+syr2k,4.4341,4.204305
+syrk,6.05352,2.80234
+trisolv,2.22831,2.28662
+trmm,2.060691,2.126787
+\ No newline at end of file