1 files changed, 27 insertions, 27 deletions
diff --git a/results/exec-time.csv b/results/exec-time.csv
index a25a910..d8534dc 100644
--- a/results/exec-time.csv
+++ b/results/exec-time.csv
@@ -1,27 +1,27 @@
-benchmark,vericert,legup op,legup no nc,v op,v no nc,v no,legup no
-2mm,2.14633908,0.796691232,2.248154685,0.371186099821655,1.0474368686424,0.524351975178125,1.125437136
-3mm,2.75689392,1.216489141,3.170547855,0.441253518017117,1.15004347174882,0.63282266805536,1.744624966
-atas,0.461244102,0.275294724,0.59567515,0.596852562030159,1.29145315336737,0.821811406056743,0.379055664
-bicg,0.61366668,0.289062554,0.910059377,0.471041631264712,1.48298645935934,0.641972037654057,0.393956849
-cholesky,12.55861639,4.118617703,9.683007106,0.327951549366498,0.771024992347903,0.390865877383488,4.908734614
-covariance,1.455531174,1.14465356,2.65979631,0.786416382174993,1.82737158606539,1.05080515987629,1.529479668
-doitgen,1.66509651,0.238027368,1.763695552,0.142951094168109,1.05921521149546,0.591036332182331,0.984132534
-durbin,0.231218064,0.113743887,0.25827168,0.491933394096752,1.11700476827797,0.596027479929077,0.13781232
-fdtd-2d,4.281226404,2.759323844,4.903882542,0.644517150838351,1.14543873162565,0.710140908025662,3.040274006
-floyd-warshall,24.218459118,12.346663632,23.753760982,0.509803847216008,0.980812233605126,0.613164613142668,14.849902116
-gemm,1.874821366,1.015113708,2.403924776,0.541445561912804,1.28221537240578,0.682870069233039,1.280259396
-gemver,0.904236832,0.421093242,1.37536256,0.465689106103566,1.52102028066912,0.732546249564849,0.6623953
-gesummv,0.550027764,0.265643112,0.823199408,0.482963096386531,1.49665064543905,0.741706040497258,0.407958915
-heat-3d,2.80617318,0.546659526,0.984822682,0.194806054699732,0.350948647438787,0.238333100311364,0.668803954
-jacobi-1d,0.084943008,0.04691624,0.10780893,0.552326096104343,1.26919133826765,0.678733039451581,0.057653626
-jacobi-2d,1.7389416,1.22952823,1.441578432,0.707055504336661,0.828997610960598,0.603986738830102,1.050297666
-lu,13.936284282,4.958925748,10.954257656,0.355828400716891,0.786024268330149,0.409667077283577,5.70923685
-ludcmp,12.40275333,4.828531979,10.486543496,0.389311296494195,0.845501254196112,0.493179019791084,6.11677773
-mvt,0.697623564,0.329095792,1.167384064,0.471738354296759,1.67337246652981,0.761761654025781,0.53142288
-nussinov,4.27264083,2.44035948,5.472215097,0.571159518690458,1.28075710426612,0.699088811544218,2.9869554
-seidel-2d,4.133094468,2.34295131,5.26390193,0.566875818624526,1.27359826172742,0.733582879238462,3.03196734
-symm,1.289465856,0.610287327,1.251171894,0.4732869227675,0.970302461424772,0.504928978902719,0.651088678
-syr2k,2.389200044,0.921700339,2.299793338,0.385777800948341,0.962578811169652,0.505183217718039,1.206983766
-syrk,1.522963572,0.727080081,1.717579215,0.477411340866924,1.12778745767663,0.648176497553154,0.987149194
-trisolv,0.16370305,0.34616666,0.38145744,2.11460116350917,2.33017918725399,2.02310073025518,0.33118776
-trmm,0.726989952,0.470293666,0.911943566,0.64690531788808,1.25441013798221,0.740316014711576,0.538202304
-\ No newline at end of file
+benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
+2mm,2.6940664,1.4126390,2.0470769,2.8218645
+3mm,2.2662709,1.4341476,1.8041791,2.6063100
+atas,1.6754557,1.3769086,1.8254298,2.1637725
+bicg,2.1229546,1.3628775,2.3410673,3.1483129
+cholesky,3.0492309,1.1918403,1.8986657,2.3510332
+covariance,1.2715910,1.3361944,1.6366507,2.3236693
+doitgen,6.9953994,4.1345352,1.8226875,7.4096335
+durbin,2.0327955,1.2116020,1.8172687,2.2706423
+fdtd-2d,1.5515491,1.1018185,1.4628000,1.7772044
+floyd-warshall,1.9615387,1.2027461,1.4947315,1.9239012
+gemm,1.8469077,1.2611980,1.9577803,2.3681335
+gemver,2.1473554,1.5730371,2.5031670,3.2661711
+gesummv,2.0705516,1.5357406,2.3198665,3.0988924
+heat-3d,5.1333107,1.2234378,1.4489536,1.8015284
+jacobi-1d,1.8105246,1.2288629,1.7369597,2.2979022
+jacobi-2d,1.4143161,0.85422818,1.1614101,1.1724647
+lu,2.8103434,1.1513052,1.8867237,2.2089981
+ludcmp,2.5686385,1.2667986,1.8454097,2.1717871
+mvt,2.1198192,1.6147969,2.4606964,3.5472470
+nussinov,1.7508244,1.2239817,1.8033548,2.2423807
+seidel-2d,1.7640548,1.2940804,1.7936131,2.2466971
+symm,2.1128832,1.0668560,1.4646131,2.0501358
+syr2k,2.5921657,1.3095186,2.0498786,2.4951638
+syrk,2.0946298,1.3576898,1.8768625,2.3622972
+trisolv,0.47290242,0.95672922,1.2231859,1.1019474
+trmm,1.5458213,1.1443962,1.6055769,1.9390939