1 files changed, 21 insertions, 19 deletions
diff --git a/data/time-ratio.csv b/data/time-ratio.csv
index d5f4f1f..7168257 100644
--- a/data/time-ratio.csv
+++ b/data/time-ratio.csv
@@ -1,26 +1,28 @@
 benchmark,vericert,vericert-fun
-2mm,3.125391,2.933666
-3mm,2.324715,2.297549
-adi,4.099243,3.321061
-atas,2.513413,2.794423
-bicg,2.440026,2.467366
-cholesky,2.967234,2.827276
+2mm,3.125391,3.065243
+3mm,2.324715,2.286203
+adi,4.099243,4.300572
+atas,2.513413,2.600878
+bicg,2.440026,2.428246
+cholesky,2.967234,2.861272
 covariance,1.922089,1.893513
-doitgen,2.326549,2.27479
-durbin,1.632376,1.577759
-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
+doitgen,2.326549,2.270553
+durbin,1.632376,3.27253
+fdtd-2d,4.987489,4.776408
+floyd-warshall,2.962262,2.792358
+gemm,2.592613,2.513042
+gemver,2.680363,2.66969
+gesummv,2.634895,2.811787
+heat-3d,6.020816,5.563586
 jacobi-1d,2.091957,2.163186
 jacobi-2d,2.864215,2.781176
-lu,2.675417,2.68872
-mvt,2.021429,2.096388
+lu,2.675417,2.76797
+ludcmp,2.879216,2.757324
+mvt,2.021429,1.986902
 nussinov,1.953448,1.968995
 seidel-2d,2.638452,2.639596
-symm,3.15331,3.127258
-syr2k,4.4341,4.204305
-syrk,6.05352,2.80234
+symm,3.15331,3.136389
+syr2k,4.4341,3.965945
+syrk,6.05352,2.880577
 trisolv,2.22831,2.28662
-trmm,2.060691,2.126787
-\ No newline at end of file
+trmm,2.060691,1.996977
+\ No newline at end of file