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.19350474,0.18834597,0.18312886
atas,3.6549064,0.12486461,0.13548891,0.18367318
bicg,37.624721,40.637973,63.519768,79.793224
cholesky,56.275397,0.20236410,0.068780408,0.31311803
covariance,24.119705,0.12337789,0.16413549,0.19283258
doitgen,161.56500,17.941247,22.786919,27.580977
durbin,18.497868,124.02753,154.13715,198.39325
fdtd-2d,27.689261,0.38726317,0.64965265,0.60908858
floyd-warshall,1.8185784,0.033164191,0.046147324,0.058819445
gemm,31.505762,0.10965951,0.11578563,0.15687729
gemver,34.930382,2.4672865,2.9016462,3.5731986
gesummv,39.232613,0.79125615,1.1922597,1.3925299
heat-3d,4.6533033,1.9829510,2.3484978,2.3416921
jacobi-1d,31.480320,113.61598,185.82901,209.46439
jacobi-2d,29.244269,5.9917738,9.5356459,11.272634
lu,56.873531,0.054608782,0.055412424,0.083887827
ludcmp,49.152990,0.59077985,0.87042615,1.0823310
mvt,43.884488,20.633200,19.091093,22.413480
nussinov,1.6430391,0.31795754,0.38665687,0.47451120
seidel-2d,16.353439,0.45312455,0.59042280,0.67008765
symm,24.454299,0.98064889,1.3756754,1.4767094
syr2k,26.567952,0.26559255,0.26444864,0.31146375
syrk,37.013666,0.82942442,1.1495651,1.2944010
trisolv,7.3959624,20.468525,22.166157,23.537605
trmm,27.279276,3.2591516,3.6891979,4.9975378
\textbf{median},27.689261,0.82942442,1.1922597,1.3925299