benchmark,vericert,vericert-fun
2mm,1.629083,0.975764
3mm,1.403393,0.924599
adi,4.038106,2.382217
atas,1.297297,1.132432
bicg,1.476548,1.060038
cholesky,1.528571,1.006593
covariance,1.119403,0.927239
doitgen,1.267405,0.939873
durbin,1.616505,1.165049
fdtd-2d,1.511765,1.269118
floyd-warshall,2.317143,1.571429
gemm,1.465438,1.175115
gemver,1.792415,1.596806
gesummv,1.880694,1.418655
heat-3d,1.642647,1.783824
jacobi-1d,1.711111,1.431111
jacobi-2d,1.234286,1.127619
lu,1.484746,1.106215
ludcmp,1.64239,1.10311
mvt,2.521886,1.213805
nussinov,1.468132,1.523077
seidel-2d,1.298765,1.281481
symm,1.624434,1.262443
syr2k,1.833333,1.292453
syrk,1.219835,1.112397
trisolv,1.274648,1.221831
trmm,1.440574,1.215164