benchmark,vericert,vericert-fun
2mm,3.125391,3.065243
3mm,2.324715,2.286203
adi,4.099243,4.300572
atas,2.513413,2.600878
bicg,2.440026,2.428246
cholesky,2.967234,2.861272
covariance,1.922089,1.893513
doitgen,2.326549,2.270553
durbin,1.632376,3.27253
fdtd-2d,4.987489,4.776408
floyd-warshall,2.962262,2.792358
gemm,2.592613,2.513042
gemver,2.680363,2.66969
gesummv,2.634895,2.811787
heat-3d,6.020816,5.563586
jacobi-1d,2.091957,2.163186
jacobi-2d,2.864215,2.781176
lu,2.675417,2.76797
ludcmp,2.879216,2.757324
mvt,2.021429,1.986902
nussinov,1.953448,1.968995
seidel-2d,2.638452,2.639596
symm,3.15331,3.136389
syr2k,4.4341,3.965945
syrk,6.05352,2.880577
trisolv,2.22831,2.28662
trmm,2.060691,1.996977