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.79469274,1.1447858,0.85335196
atas,0.62141148,0.97607656,1.0239234,1.0083732
bicg,3.9086860,0.88195991,0.91982183,1.0044543
cholesky,0.95866749,0.93769278,1.0252930,1
covariance,1.0552651,1.0171770,1.0037341,0.95444361
doitgen,1.3624288,0.43168880,1.7267552,0.43074004
durbin,0.58598207,0.98533007,1.0228199,1.0325998
fdtd-2d,0.80123839,0.91207430,0.98266254,0.99752322
floyd-warshall,1.3957219,0.91978610,1.1568627,1.0213904
gemm,1.6164260,0.38628159,1.4458484,0.42689531
gemver,1.8679969,0.98465081,1.0168841,1.0130468
gesummv,5.2175141,0.90960452,0.98022599,1.0367232
heat-3d,0.69014085,0.68857590,1.2198748,0.76369327
jacobi-1d,0.82564679,0.93588301,1,1.0056243
jacobi-2d,0.83620690,0.95376176,0.99843260,1.0681818
lu,1.0012315,0.90024631,0.99199507,0.96921182
ludcmp,1.2899378,0.92686722,1.0383817,1.0031120
mvt,7.9342404,0.90249433,1.0634921,0.97732426
nussinov,0.99238965,0.93911720,1.0639269,1.1354642
seidel-2d,0.84858569,0.88269551,0.96339434,0.96755408
symm,1.5902285,0.93695823,1.0961387,0.98739165
syr2k,0.94597250,0.83988212,0.99410609,0.87966601
syrk,2.8072289,0.79718876,1.1887550,0.89558233
trisolv,0.77716535,0.94803150,0.96692913,0.91732283
trmm,2.5935728,0.78449905,1.0434783,0.80718336
\textbf{median},1.1138052,0.90960452,1.025293,0.97732426