benchmark,vericert,vericert-fun
cholesky,2.874567,2.890138
mvt,2.064507,2.024059
trmm,2.018529,2.057718
gemm,2.553546,2.644371
durbin,1.629528,1.458129
atas,2.649152,2.652406
trisolv,2.244284,2.22325
symm,3.184623,3.075592
2mm,3.212696,3.000344
covariance,1.846985,1.8659
jacobi-1d,2.0846,2.063738
gemver,2.683782,2.7166
doitgen,2.336773,2.349229
nussinov,1.86928,1.918754
jacobi-2d,2.75994,2.70762
lu,2.692454,2.883045
ludcmp,2.848325,2.737868
bicg,2.470766,2.540274
heat-3d,5.976952,5.805205
3mm,2.288145,2.387671
fdtd-2d,4.783038,4.749155
seidel-2d,2.630884,3.92598
syr2k,3.996176,4.078228
adi,4.190279,3.776937
floyd-warshall,2.90839,2.85629
gesummv,2.716611,2.79227
syrk,2.805196,2.907335