1 files changed, 22 insertions, 23 deletions
diff --git a/data/slice-ratio.csv b/data/slice-ratio.csv
index 623e8d9..0903ded 100644
--- a/data/slice-ratio.csv
+++ b/data/slice-ratio.csv
@@ -1,27 +1,26 @@
 benchmark,vericert,vericert-fun
+2mm,1.629083,1.046365
+3mm,1.403393,0.850141
+adi,4.038106,0
+atas,1.297297,1.297297
+bicg,1.476548,1.129456
 cholesky,1.528571,1.078022
-mvt,2.521886,0.954545
-trmm,1.440574,1.17418
-gemm,1.465438,1.119816
+covariance,1.119403,0.927239
+doitgen,1.267405,1.05538
 durbin,1.616505,1.13835
-atas,1.297297,1.297297
-trisolv,1.274648,1.221831
+fdtd-2d,1.511765,1.216176
+floyd-warshall,2.317143,1.368571
+gemm,1.465438,1.119816
+gesummv,1.880694,1.310195
+heat-3d,1.642647,1.6
+jacobi-1d,1.711111,1.431111
+jacobi-2d,1.234286,1.127619
+lu,1.484746,1.010169
+mvt,2.521886,0.954545
+nussinov,1.468132,1.523077
+seidel-2d,1.298765,1.281481
 symm,1.624434,1.19457
-2mm,1.629083,1.046365
-covariance,1.119403,0.927239
-jacobi-1d,3.56,2.964444
-gemver,1.333333,1.383234
-doitgen,0.609177,0.509494
-nussinov,1.424176,1.301099
-jacobi-2d,1.499048,1.146667
-lu,1.262147,1.229379
-ludcmp,1.218494,0.738134
-bicg,1.928705,1.551595
-heat-3d,0.773529,0.763235
-3mm,1.098963,0.67295
-fdtd-2d,5.142647,0
-seidel-2d,2.002469,1.182716
-syr2k,1.363208,0.949686
-adi,1.517321,1.032333
-floyd-warshall,2.108571,1.725714
-gesummv,1.759219,1.310195
+syr2k,1.833333,1.122642
+syrk,1.219835,0.998347
+trisolv,1.274648,1.221831
+trmm,1.440574,1.17418
+\ No newline at end of file