benchmark,vericert,legup op,legup no nc,v op,v no nc,v
2mm,2.14633908,0.796691232,2.248154685,0.371186099821655,1.0474368686424,1
3mm,2.75689392,1.216489141,3.170547855,0.441253518017117,1.15004347174882,1
atas,0.461244102,0.275294724,0.59567515,0.596852562030159,1.29145315336737,1
bicg,0.61366668,0.289062554,0.910059377,0.471041631264712,1.48298645935934,1
cholesky,12.55861639,4.118617703,9.683007106,0.327951549366498,0.771024992347903,1
covariance,1.455531174,1.14465356,2.65979631,0.786416382174993,1.82737158606539,1
doitgen,1.66509651,0.238027368,1.763695552,0.142951094168109,1.05921521149546,1
durbin,0.231218064,0.113743887,0.25827168,0.491933394096752,1.11700476827797,1
fdtd-2d,4.281226404,2.759323844,4.903882542,0.644517150838351,1.14543873162565,1
floyd-warshall,24.218459118,12.346663632,23.753760982,0.509803847216008,0.980812233605126,1
gemm,1.874821366,1.015113708,2.403924776,0.541445561912804,1.28221537240578,1
gemver,0.904236832,0.421093242,1.37536256,0.465689106103566,1.52102028066912,1
gesummv,0.550027764,0.265643112,0.823199408,0.482963096386531,1.49665064543905,1
heat-3d,2.80617318,0.546659526,0.984822682,0.194806054699732,0.350948647438787,1
jacobi-1d,0.084943008,0.04691624,0.10780893,0.552326096104343,1.26919133826765,1
jacobi-2d,1.7389416,1.22952823,1.441578432,0.707055504336661,0.828997610960598,1
lu,13.936284282,4.958925748,10.954257656,0.355828400716891,0.786024268330149,1
ludcmp,12.40275333,4.828531979,10.486543496,0.389311296494195,0.845501254196112,1
mvt,0.697623564,0.329095792,1.167384064,0.471738354296759,1.67337246652981,1
nussinov,4.27264083,2.44035948,5.472215097,0.571159518690458,1.28075710426612,1
seidel-2d,4.133094468,2.34295131,5.26390193,0.566875818624526,1.27359826172742,1
symm,1.289465856,0.610287327,1.251171894,0.4732869227675,0.970302461424772,1
syr2k,2.389200044,0.921700339,2.299793338,0.385777800948341,0.962578811169652,1
syrk,1.522963572,0.727080081,1.717579215,0.477411340866924,1.12778745767663,1
trisolv,0.16370305,0.34616666,0.38145744,2.11460116350917,2.33017918725399,1
trmm,0.726989952,0.470293666,0.911943566,0.64690531788808,1.25441013798221,1