diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-07-11 01:34:00 +0200 |
commit | c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 (patch) | |
tree | 7ad14408fed21ee50f2e115f663340afe1cffbc2 /benchmarks/polybench-syn-div/exec.csv | |
parent | aa986aacbb80e9f92f77d65de74ba5051054eac7 (diff) | |
download | vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.tar.gz vericert-c4853aa99ad65d0fa6f014df1f52c62bc2b6fd31.zip |
Fix some more of the benchmarks
Diffstat (limited to 'benchmarks/polybench-syn-div/exec.csv')
-rw-r--r-- | benchmarks/polybench-syn-div/exec.csv | 34 |
1 files changed, 7 insertions, 27 deletions
diff --git a/benchmarks/polybench-syn-div/exec.csv b/benchmarks/polybench-syn-div/exec.csv index 6ebeced..8d1f5da 100644 --- a/benchmarks/polybench-syn-div/exec.csv +++ b/benchmarks/polybench-syn-div/exec.csv @@ -1,27 +1,7 @@ -2mm,467612 -3mm,604582 -adi,1831462 -atas,101618 -bicg,130790 -cholesky,2575070 -covariance,340794 -doitgen,386782 -durbin,23832 -fdtd-2d,958412 -floyd-warshall,5414366 -gemm,406774 -gemver,193048 -gesummv,116556 -heat-3d,592770 -jacobi-1d,19996 -jacobi-2d,397200 -lu,2893146 -ludcmp,2641694 -mvt,148874 -nussinov,956490 -seidel-2d,942338 -symm,279832 -syr2k,525908 -syrk,338286 -trisolv,36050 -trmm,165828 +adi,1422354 +heat-3d,580770 +fdtd-2d,901430 +jacobi-1d,19622 +seidel-2d,664780 +jacobi-2d,344072 +nussinov,954402 |