1 files changed, 21 insertions, 19 deletions
diff --git a/data/slice-ratio.csv b/data/slice-ratio.csv
index 14bb957..735b72d 100644
--- a/data/slice-ratio.csv
+++ b/data/slice-ratio.csv
@@ -1,26 +1,28 @@
 benchmark,vericert,vericert-fun
-2mm,1.629083,1.046365
-3mm,1.403393,0.850141
-adi,4.038106,2.405312
-atas,1.297297,1.297297
-bicg,1.476548,1.129456
-cholesky,1.528571,1.078022
+2mm,1.629083,0.975764
+3mm,1.403393,0.924599
+adi,4.038106,2.382217
+atas,1.297297,1.132432
+bicg,1.476548,1.060038
+cholesky,1.528571,1.006593
 covariance,1.119403,0.927239
-doitgen,1.267405,1.05538
-durbin,1.616505,1.13835
-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
+doitgen,1.267405,0.939873
+durbin,1.616505,1.165049
+fdtd-2d,1.511765,1.269118
+floyd-warshall,2.317143,1.571429
+gemm,1.465438,1.175115
+gemver,1.792415,1.596806
+gesummv,1.880694,1.418655
+heat-3d,1.642647,1.783824
 jacobi-1d,1.711111,1.431111
 jacobi-2d,1.234286,1.127619
-lu,1.484746,1.010169
-mvt,2.521886,0.954545
+lu,1.484746,1.106215
+ludcmp,1.64239,1.10311
+mvt,2.521886,1.213805
 nussinov,1.468132,1.523077
 seidel-2d,1.298765,1.281481
-symm,1.624434,1.19457
-syr2k,1.833333,1.122642
-syrk,1.219835,0.998347
+symm,1.624434,1.262443
+syr2k,1.833333,1.292453
+syrk,1.219835,1.112397
 trisolv,1.274648,1.221831
-trmm,1.440574,1.17418
-\ No newline at end of file
+trmm,1.440574,1.215164
+\ No newline at end of file