aboutsummaryrefslogtreecommitdiffstats
path: root/benchmarks/polybench-syn-div
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2021-07-11 14:12:50 +0200
committerYann Herklotz <git@yannherklotz.com>2021-07-11 14:12:50 +0200
commitc73f4e44c96310540434d0b9cc81e969c6430b90 (patch)
tree063f9b2baae2ecd2c566cd215fe7c0d5c638d1fc /benchmarks/polybench-syn-div
parentc4853aa99ad65d0fa6f014df1f52c62bc2b6fd31 (diff)
downloadvericert-c73f4e44c96310540434d0b9cc81e969c6430b90.tar.gz
vericert-c73f4e44c96310540434d0b9cc81e969c6430b90.zip
Fix the small test bench for Vericert
Diffstat (limited to 'benchmarks/polybench-syn-div')
-rw-r--r--benchmarks/polybench-syn-div/exec.csv20
1 files changed, 20 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn-div/exec.csv b/benchmarks/polybench-syn-div/exec.csv
index 8d1f5da..e28109b 100644
--- a/benchmarks/polybench-syn-div/exec.csv
+++ b/benchmarks/polybench-syn-div/exec.csv
@@ -5,3 +5,23 @@ jacobi-1d,19622
seidel-2d,664780
jacobi-2d,344072
nussinov,954402
+floyd-warshall,5373798
+3mm,536114
+2mm,404478
+doitgen,351988
+bicg,53916
+mvt,70204
+atas,58424
+syrk,271816
+gemver,117394
+symm,240172
+gesummv,37700
+gemm,328104
+trmm,144688
+syr2k,436520
+cholesky,2535686
+trisolv,25192
+lu,2853646
+ludcmp,2601382
+durbin,22974
+covariance,288392