exec.csv « polybench-syn-div « benchmarks - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/benchmarks/polybench-syn-div/exec.csv

blob: 8d1f5dace988fcb85c821ed25e6c99fb8aef55f6 (plain)

adi,1422354
heat-3d,580770
fdtd-2d,901430
jacobi-1d,19622
seidel-2d,664780
jacobi-2d,344072
nussinov,954402