benchmark,legup no chain,legup opt,legup no opt no chain,legup no opt,vericert,vericert no opt,vericert no o no c,vericert opt,vericert no chain,no opt,opt,no opt no chain
2mm,1.2813,0.6639,1.6892,0.9221,33.3205,36.1358,19.7258,50.1888,26.0051,0.0277,0.0199,0.0507
3mm,3.0134,2.2478,3.7612,2.6612,51.8256,19.4744,13.7792,23.0563,17.1981,0.0513,0.0434,0.0726
atas,1.3024,1.3562,1.2664,1.3381,4.9568,3.7043,3.9142,3.6549,3.8058,0.2700,0.2736,0.2555
bicg,0.1838,0.1216,0.2491,0.1693,4.5745,27.0134,18.3642,37.6247,24.8951,0.0370,0.0266,0.0545
cholesky,7.7229,4.4217,9.7014,4.9409,248.8319,50.3621,25.6489,56.2754,32.2201,0.0199,0.0178,0.0390
doitgen,0.3041,0.1672,1.3845,0.8948,27.0094,30.1852,19.5083,161.5650,88.8103,0.0331,0.0062,0.0513
durbin,0.1923,0.1197,0.2260,0.1446,2.2148,15.3185,9.8011,18.4979,11.5147,0.0653,0.0541,0.1020
fdtd-2d,3.8094,2.6308,4.6108,2.9993,72.8446,24.2871,15.7986,27.6893,19.1224,0.0412,0.0361,0.0633
floyd-warshall,18.4549,12.3467,23.7538,14.8499,22.4534,1.5120,0.9453,1.8186,1.2167,0.6614,0.5499,1.0579
gemm,1.7091,0.8753,1.6024,1.0188,27.5771,27.0681,17.2101,31.5058,16.1355,0.0369,0.0317,0.0581
gemver,0.5698,0.2730,0.7262,0.4095,9.5352,23.2869,13.1298,34.9304,16.7353,0.0429,0.0286,0.0762
gesummv,0.1013,0.0782,0.1373,0.0960,3.0673,31.9556,22.3374,39.2326,30.2648,0.0313,0.0255,0.0448
heat-3d,0.7921,0.5467,0.9754,0.6735,2.5438,3.7769,2.6079,4.6533,3.2115,0.2648,0.2149,0.3834
jacobi-1d,0.0932,0.0500,0.1089,0.0619,1.5736,25.4381,14.4543,31.4803,16.8823,0.0393,0.0318,0.0692
jacobi-2d,1.2838,0.9425,1.2801,1.0840,27.5615,25.4258,21.5306,29.2443,21.4682,0.0393,0.0342,0.0464
lu,9.2893,4.9126,10.4708,5.6795,279.3948,49.1939,26.6834,56.8735,30.0772,0.0203,0.0176,0.0375
ludcmp,8.9870,5.0560,10.6240,5.6470,248.5152,44.0083,23.3919,49.1530,27.6529,0.0227,0.0203,0.0427
mvt,0.2722,0.1596,0.4121,0.2683,7.0043,26.1091,16.9963,43.8845,25.7304,0.0383,0.0228,0.0588
nussinov,4.4008,2.4404,5.4722,2.9870,4.0096,1.3424,0.7327,1.6430,0.9111,0.7449,0.6086,1.3648
seidel-2d,3.0471,3.2492,3.5773,3.2932,53.1359,16.1351,14.8535,16.3534,17.4384,0.0620,0.0611,0.0673
symm,0.9436,0.7770,1.1580,0.7759,19.0014,24.4886,16.4092,24.4543,20.1376,0.0408,0.0409,0.0609
syr2k,1.9184,1.3146,2.1773,1.4723,34.9268,23.7226,16.0416,26.5680,18.2061,0.0422,0.0376,0.0623
syrk,1.0689,0.5936,1.1474,0.7620,21.9720,28.8353,19.1488,37.0137,20.5552,0.0347,0.0270,0.0522
trisolv,0.3477,0.3276,0.4095,0.3492,2.4232,6.9402,5.9181,7.3960,6.9702,0.1441,0.1352,0.1690
trmm,0.6824,0.4336,0.7684,0.4924,11.8282,24.0235,15.3938,27.2793,17.3332,0.0416,0.0367,0.0650