benchmark,vericert,vericert-fun
cholesky,1.532967,0.694505
mvt,2.442761,0.473064
trmm,1.393443,0.727459
gemm,1.474654,0.606759
durbin,1.570388,0.543689
atas,1.345946,0.745946
trisolv,1.309859,0.848592
symm,1.571644,0.736048
2mm,1.635406,0.545838
covariance,1.067164,0.748134
jacobi-1d,1.484444,1.071111
gemver,1.764471,0.93014
doitgen,1.183544,0.628165
nussinov,1.468132,1.389011
jacobi-2d,1.339048,1.068571
lu,1.491525,0.664407
ludcmp,1.58838,0.783961
bicg,1.478424,0.510319
heat-3d,1.673529,1.473529
3mm,1.401508,0.509896
fdtd-2d,1.504412,0.960294
seidel-2d,1.288889,0
syr2k,1.496855,0.643082
adi,4.135104,1.055427
floyd-warshall,2.317143,0.888571
gesummv,1.908894,0.678959
syrk,1.267769,0.545455