diff options
Diffstat (limited to 'data/slice-ratio.csv')
-rw-r--r-- | data/slice-ratio.csv | 53 |
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 |