benchmark,vericert,vericert-fun
2mm,3.125391,2.933666
3mm,2.324715,2.297549
adi,4.099243,3.321061
atas,2.513413,2.794423
bicg,2.440026,2.467366
cholesky,2.967234,2.827276
covariance,1.922089,1.893513
doitgen,2.326549,2.27479
durbin,1.632376,1.577759
fdtd-2d,4.987489,4.690076
floyd-warshall,2.962262,2.770747
gemm,2.592613,2.838367
gesummv,2.634895,2.842029
heat-3d,6.020816,5.867394
jacobi-1d,2.091957,2.163186
jacobi-2d,2.864215,2.781176
lu,2.675417,2.68872
mvt,2.021429,2.096388
nussinov,1.953448,1.968995
seidel-2d,2.638452,2.639596
symm,3.15331,3.127258
syr2k,4.4341,4.204305
syrk,6.05352,2.80234
trisolv,2.22831,2.28662
trmm,2.060691,2.126787