1 files changed, 26 insertions, 27 deletions
diff --git a/data/slice-ratio.csv b/data/slice-ratio.csv
index 592ee67..623e8d9 100644
--- a/data/slice-ratio.csv
+++ b/data/slice-ratio.csv
@@ -1,28 +1,27 @@
 benchmark,vericert,vericert-fun
-cholesky,1.532967,0.694505
-mvt,2.442761,0.473064
-trmm,1.393443,0.727459
-gemm,1.474654,0.606759
-durbin,1.570388,0.543689
-atas,1.345946,0.745946
-trisolv,1.309859,0.848592
-symm,1.571644,0.736048
-2mm,1.635406,0.545838
-covariance,1.067164,0.748134
-jacobi-1d,1.484444,1.071111
-gemver,1.764471,0.93014
-doitgen,1.183544,0.628165
-nussinov,1.468132,1.389011
-jacobi-2d,1.339048,1.068571
-lu,1.491525,0.664407
-ludcmp,1.58838,0.783961
-bicg,1.478424,0.510319
-heat-3d,1.673529,1.473529
-3mm,1.401508,0.509896
-fdtd-2d,1.504412,0.960294
-seidel-2d,1.288889,0.301235
-syr2k,1.496855,0.643082
-adi,4.135104,1.055427
-floyd-warshall,2.317143,0.888571
-gesummv,1.908894,0.678959
-syrk,1.267769,0.545455
-\ No newline at end of file
+cholesky,1.528571,1.078022
+mvt,2.521886,0.954545
+trmm,1.440574,1.17418
+gemm,1.465438,1.119816
+durbin,1.616505,1.13835
+atas,1.297297,1.297297
+trisolv,1.274648,1.221831
+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