benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
2mm,50.188771,1.3888922,1.9299621,2.5443179
3mm,23.056304,1.1839319,1.3406278,1.6732709
adi,19.978835,0.96978523,1.0502179,1.1151962
atas,3.6549064,0.98666568,0.96036153,0.93375990
bicg,37.624721,1.3928189,1.5113291,2.0488069
cholesky,56.275397,1.1174166,1.7465941,2.1940630
covariance,24.119705,1.2059192,1.3650407,1.8491398
doitgen,161.56500,5.3524499,1.8192144,8.2818473
durbin,18.497868,1.2075514,1.6064633,1.8873338
fdtd-2d,27.689261,1.1400799,1.4479990,1.7526383
floyd-warshall,1.8185784,1.2027461,1.4947315,1.9239012
gemm,31.505762,1.1639456,1.9525749,1.8306569
gemver,34.930382,1.5000029,2.0872247,2.6603796
gesummv,39.232613,1.2277233,1.2963100,1.7563630
heat-3d,4.6533033,1.2320536,1.4489536,1.7842971
jacobi-1d,31.480320,1.2375264,1.8646969,2.1779199
jacobi-2d,29.244269,1.1501809,1.3622108,1.3582632
lu,56.873531,1.1561096,1.8909197,2.1314237
ludcmp,49.152990,1.1169021,1.7775009,2.1012857
mvt,43.884488,1.6808145,1.7055499,2.5819999
nussinov,1.6430391,1.2239817,1.8033548,2.2423807
seidel-2d,16.353439,1.0135350,0.93778424,1.1009851
symm,24.454299,0.99859977,1.2143617,1.4902832
syr2k,26.567952,1.1199408,1.4592866,1.6561859
syrk,37.013666,1.2836246,1.8006963,1.9329452
trisolv,7.3959624,1.0656724,1.0610825,1.2497275
trmm,27.279276,1.1355241,1.5738129,1.7721007
\textbf{median},27.689261,1.1839319,1.5113291,1.8491398