1 files changed, 28 insertions, 28 deletions
diff --git a/data/time-ratio.csv b/data/time-ratio.csv
index 68cb8d5..4f174b1 100644
--- a/data/time-ratio.csv
+++ b/data/time-ratio.csv
@@ -1,28 +1,28 @@
-vericert,vericert-fun
-2.874567,2.890138
-2.064507,2.024059
-2.018529,2.057718
-2.553546,2.644371
-1.629528,1.458129
-2.649152,2.652406
-2.244284,2.22325
-3.184623,3.075592
-3.212696,3.000344
-1.846985,1.8659
-2.0846,2.063738
-2.683782,2.7166
-2.336773,2.349229
-1.86928,1.918754
-2.75994,2.70762
-2.692454,2.883045
-2.848325,2.737868
-2.470766,2.540274
-5.976952,5.805205
-2.288145,2.387671
-4.783038,4.749155
-2.630884,0.0001
-3.996176,4.078228
-4.190279,3.776937
-2.90839,2.85629
-2.716611,2.79227
-2.805196,2.907335
+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,0
+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