1 files changed, 26 insertions, 27 deletions
diff --git a/data/time-ratio.csv b/data/time-ratio.csv
index a99844a..fea0796 100644
--- a/data/time-ratio.csv
+++ b/data/time-ratio.csv
@@ -1,28 +1,27 @@
 benchmark,vericert,vericert-fun
-cholesky,2.874567,2.890138
-mvt,2.064507,2.024059
-trmm,2.018529,2.057718
-gemm,2.553546,2.644371
-durbin,1.629528,1.458129
-atas,2.649152,2.652406
-trisolv,2.244284,2.22325
-symm,3.184623,3.075592
-2mm,3.212696,3.000344
-covariance,1.846985,1.8659
-jacobi-1d,2.0846,2.063738
-gemver,2.683782,2.7166
-doitgen,2.336773,2.349229
-nussinov,1.86928,1.918754
-jacobi-2d,2.75994,2.70762
-lu,2.692454,2.883045
-ludcmp,2.848325,2.737868
-bicg,2.470766,2.540274
-heat-3d,5.976952,5.805205
-3mm,2.288145,2.387671
-fdtd-2d,4.783038,4.749155
-seidel-2d,2.630884,3.92598
-syr2k,3.996176,4.078228
-adi,4.190279,3.776937
-floyd-warshall,2.90839,2.85629
-gesummv,2.716611,2.79227
-syrk,2.805196,2.907335
-\ No newline at end of file
+cholesky,2.967234,2.827276
+mvt,2.021429,2.096388
+trmm,2.060691,2.126787
+gemm,2.592613,2.838367
+durbin,1.632376,1.577759
+atas,2.513413,2.794423
+trisolv,2.22831,2.28662
+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