benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
2mm,1.1815137,0.75887475,1.5365037,0.77762894
3mm,1.0352188,0.67609392,1.3649947,0.73639274
adi,1.9228029,1.2743468,1.2393112,1.6419240
atas,1.2076613,1.9979839,1.0080645,2.0967742
bicg,1.1300122,0.84082625,1.0133657,0.87120292
cholesky,1.4886275,0.90901961,1.2047059,0.93333333
covariance,0.42165026,0.91597275,0.97577593,0.91824375
doitgen,0.85935199,0.50810015,1.2017673,0.54050074
durbin,1.0068306,0.97540984,1.0587432,1.2144809
fdtd-2d,0.89976275,0.91992883,1.0083037,0.96500593
floyd-warshall,1.5935829,0.91978610,1.1568627,1.0213904
gemm,0.86515978,0.64302416,1.5931411,0.66328917
gemver,1.6176046,1.0678211,1.1486291,1.0303030
gesummv,1.4681481,0.92888889,1.0785185,0.99703704
heat-3d,1.1408451,0.70970266,1.2198748,0.77308294
jacobi-1d,1.5763889,2.8576389,1.03125,3.1979167
jacobi-2d,0.65707965,0.89306785,1.0162242,0.97492625
lu,1.3961814,0.90612570,1.2275259,0.96579157
ludcmp,1.3585699,0.89116719,1.1561514,0.99894848
mvt,1.8954394,0.99888765,1.1746385,1.0155729
nussinov,1.4931507,0.93911720,1.0639269,1.1354642
seidel-2d,0.59917695,0.80740741,0.92839506,0.84444444
symm,1.6321839,0.88923720,1.1536050,0.94566353
syr2k,1.5177384,0.90022173,1.0709534,0.99889135
syrk,1.3417910,0.96865672,1.0895522,1.0611940
trisolv,0.48416752,0.93360572,0.99693565,1.0030644
trmm,1.2645804,0.85348506,1.0896159,0.92745377
\textbf{median},1.2645804,0.90901961,1.0896159,0.97492625