benchmark,vericert,vericert-fun
2mm,1.629083,1.046365
3mm,1.403393,0.850141
adi,4.038106,0
atas,1.297297,1.297297
bicg,1.476548,1.129456
cholesky,1.528571,1.078022
covariance,1.119403,0.927239
doitgen,1.267405,1.05538
durbin,1.616505,1.13835
fdtd-2d,1.511765,1.216176
floyd-warshall,2.317143,1.368571
gemm,1.465438,1.119816
gesummv,1.880694,1.310195
heat-3d,1.642647,1.6
jacobi-1d,1.711111,1.431111
jacobi-2d,1.234286,1.127619
lu,1.484746,1.010169
mvt,2.521886,0.954545
nussinov,1.468132,1.523077
seidel-2d,1.298765,1.281481
symm,1.624434,1.19457
syr2k,1.833333,1.122642
syrk,1.219835,0.998347
trisolv,1.274648,1.221831
trmm,1.440574,1.17418