benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
2mm,2.1556169,0.58655617,1.4162063,0.60220994
3mm,1.1138052,0.90222917,1.1822448,0.91161517
adi,1.5186220,0.75977654,0.79702048,0.78491620
atas,0.62141148,0.23684211,0.24700957,0.26973684
bicg,3.9086860,3.3853007,3.7015590,3.6102450
cholesky,0.95866749,0.28069093,1.1227637,0.28007403
covariance,1.0552651,0.90291262,0.93726662,0.94622853
doitgen,1.3624288,1.3975332,1.5056926,1.5284630
durbin,0.58598207,0.42053790,0.52893236,0.46699267
fdtd-2d,0.80123839,0.26501548,0.99195046,0.29287926
floyd-warshall,1.3957219,2.2869875,2.3618538,2.3529412
gemm,1.6164260,0.29061372,0.31317690,0.33122744
gemver,1.8679969,0.67536454,1.1964697,0.74904068
gesummv,5.2175141,2.3502825,2.5112994,2.5254237
heat-3d,0.69014085,0.95226917,0.99687011,1.0665102
jacobi-1d,0.82564679,1.6445444,1.8121485,1.7705287
jacobi-2d,0.83620690,1.4004702,1.5689655,1.5156740
lu,1.0012315,0.24507389,0.28879310,0.26539409
ludcmp,1.2899378,0.32002075,0.36255187,0.38692946
mvt,7.9342404,2.4058957,2.6258503,2.6371882
nussinov,0.99238965,1.8097412,2.1171994,1.9071537
seidel-2d,0.84858569,1.4226290,1.6838602,1.4900166
symm,1.5902285,0.31284476,0.46650906,0.35145784
syr2k,0.94597250,0.59135560,0.60314342,0.57220039
syrk,2.8072289,0.83333333,1.1084337,0.85742972
trisolv,0.77716535,1.3440945,1.9362205,1.4433071
trmm,2.5935728,2.5746692,2.5406427,2.4158790
\textbf{median},1.1138052,0.90222917,1.1822448,0.91161517