From c73f4e44c96310540434d0b9cc81e969c6430b90 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 11 Jul 2021 14:12:50 +0200
Subject: Fix the small test bench for Vericert

---
 benchmarks/polybench-syn-div/exec.csv | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'benchmarks/polybench-syn-div')

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
-- 
cgit