diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-19 12:05:44 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 16:18:06 +0000 |
| commit | 27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82 (patch) | |
| tree | 4c474f1426a0f84f131300eff3c70f43cf7f77bc /benchmarks/polybench-syn-div/exec.csv | |
| parent | 23fe30f8c23ecb743880cb9239410eb51bf1abab (diff) | |
| download | vericert-27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82.tar.gz vericert-27fea2fe14a81f4e73e0e3e53ec5ac5db07a5d82.zip | |
Delete extra data files and scripts
Diffstat (limited to 'benchmarks/polybench-syn-div/exec.csv')
| -rw-r--r-- | benchmarks/polybench-syn-div/exec.csv | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/benchmarks/polybench-syn-div/exec.csv b/benchmarks/polybench-syn-div/exec.csv deleted file mode 100644 index e28109b..0000000 --- a/benchmarks/polybench-syn-div/exec.csv +++ /dev/null @@ -1,27 +0,0 @@ -adi,1422354 -heat-3d,580770 -fdtd-2d,901430 -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 |