AddAdd data

12 files changed, 739 insertions, 27 deletions

diff --git a/results/exec-time.csv b/results/exec-time.csv
index 5708904..a25a910 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

-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
\ No newline at end of file
+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
diff --git a/results/legup_results_div/exec-time.csv b/results/legup_results_div/exec-time.csv
new file mode 100644
index 0000000..5708904
--- /dev/null
+++ b/results/legup_results_div/exec-time.csv
@@ -0,0 +1,27 @@
+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
\ No newline at end of file
diff --git a/results/legup_results_div/legup_no_chain.csv b/results/legup_results_div/legup_no_chain.csv
new file mode 100644
index 0000000..34a3fdf
--- /dev/null
+++ b/results/legup_results_div/legup_no_chain.csv
@@ -0,0 +1,28 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+2mm,2,1538,4528,2761,10,0,6,0.154,9.565,133958
+3mm,1,3023,6753,6028,14,0,21,0.237,9.964,302433
+adi,1,2459,7415,4923,8,0,12,0.225,9.539,761344
+atas,5,1712,3702,3326,8,0,9,0.199,8.831,147486
+bicg,6,413,1251,916,12,0,6,0.137,7.732,23765
+cholesky,6,1662,5103,3461,8,0,12,0.193,9.328,827925
+covariance,7,1344,2999,2958,6,0,6,0.174,9.149000000000001,174842
+doitgen,6,1820,4197,2461,6,0,36,0.197,9.102,33413
+durbin,3,1255,3929,2621,6,0,12,0.199,8.254,23303
+fdtd-2d,2,1587,4063,3643,8,0,3,0.177,8.874,429274
+floyd-warshall,5,649,1832,1510,8,0,3,0.132,7.067,2611426
+gemm,5,1602,4080,2223,6,0,3,0.141,9.631,177458
+gemver,9,1325,3320,2831,20,0,12,0.195,9.87,57727
+gesummv,8,347,1016,796,8,0,6,0.136,8.197,12364
+heat-3d,5,1559,4468,3530,4,0,0,0.159,9.808,80759
+jacobi-1d,9,889,2201,1649,4,0,0,0.152,7.32,12734
+jacobi-2d,9,1274,3282,2920,4,0,3,0.164,9.219,139259
+lu,1,1611,5113,3601,8,0,9,0.186,9.899,938404
+ludcmp,2,2002,6157,4490,14,0,18,0.219,9.949,903303
+mvt,6,469,1278,1048,12,0,6,0.138,8.139,33446
+nussinov,5,699,2193,1635,10,0,3,0.133,9.474,464517
+seidel-2d,4,1158,3107,2454,4,0,3,0.162,7.602,400824
+symm,6,1391,3325,2913,6,0,12,0.178,9.209,102463
+syr2k,2,2024,4129,3756,6,0,9,0.206,9.472,202535
+syrk,3,592,1858,1094,4,0,3,0.132,8.724,122527
+trisolv,3,1228,3679,2581,8,0,6,0.187,8.077,43042
+trmm,9,552,1685,1309,4,0,3,0.132,8.706,78383
diff --git a/results/legup_results_div/legup_no_opt.csv b/results/legup_results_div/legup_no_opt.csv
new file mode 100644
index 0000000..af2de04
--- /dev/null
+++ b/results/legup_results_div/legup_no_opt.csv
@@ -0,0 +1,28 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+2mm,0,637,1145,1842,10,0,6,0.163,10.207,90339
+3mm,4,2307,4140,5247,14,0,15,0.251,10.578,251581
+adi,6,1707,4537,4012,8,0,18,0.243,10.822,619687
+atas,3,1632,3114,3328,8,0,6,0.214,10.303,129877
+bicg,3,396,846,966,12,0,6,0.165,9.996,16941
+cholesky,4,1520,4187,3379,8,0,9,0.204,9.693,509735
+covariance,1,1362,2514,3023,6,0,6,0.188,9.988,141486
+doitgen,3,455,905,1299,6,0,3,0.151,10.265,87169
+durbin,2,1209,3415,2548,6,0,12,0.215,8.988,16086
+fdtd-2d,1,1473,3004,3608,8,0,3,0.194,11.275,266014
+floyd-warshall,2,516,1408,1487,8,0,3,0.132,9.819,1512364
+gemm,0,428,825,1234,6,0,3,0.142,9.897,102941
+gemver,6,1283,2579,2859,20,0,12,0.231,9.618,42573
+gesummv,6,322,672,814,8,0,6,0.156,11.178,8587
+heat-3d,2,880,1797,2674,4,0,0,0.144,13.013,51757
+jacobi-1d,8,832,1683,1588,4,0,0,0.161,7.659,8077
+jacobi-2d,6,1217,2322,2864,4,0,3,0.168,11.515,94138
+lu,6,1462,4084,3458,8,0,3,0.190,9.863,575835
+ludcmp,9,1787,4748,4405,14,0,6,0.245,9.995,564983
+mvt,8,398,802,979,12,0,6,0.168,9.55,28091
+nussinov,5,617,1560,1630,10,0,3,0.138,11.23,265980
+seidel-2d,3,1061,2227,2437,4,0,3,0.168,8.727,377357
+symm,7,1189,2331,2788,6,0,9,0.173,9.868,78631
+syr2k,9,1710,2981,3564,6,0,9,0.218,9.943,148074
+syrk,6,397,810,1101,4,0,3,0.144,9.71,78474
+trisolv,5,1204,3283,2550,8,0,6,0.200,9.399000000000001,37148
+trmm,4,415,878,1155,4,0,3,0.141,9.883,49819
diff --git a/results/legup_results_div/legup_no_opt_no_chain.csv b/results/legup_results_div/legup_no_opt_no_chain.csv
new file mode 100644
index 0000000..51ab217
--- /dev/null
+++ b/results/legup_results_div/legup_no_opt_no_chain.csv
@@ -0,0 +1,28 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+2mm,3,654,1465,1841,10,0,6,0.139,9.065,186341
+3mm,2,2331,4746,5281,14,0,21,0.221,9.47,397165
+adi,7,1833,5413,4231,8,0,18,0.224,9.458,815373
+atas,0,1686,3474,3448,8,0,6,0.199,8.104,156265
+bicg,5,451,1135,972,12,0,6,0.138,8.128,30647
+cholesky,7,1621,4875,3467,8,0,12,0.185,9.797,990247
+covariance,2,1278,2848,2990,6,0,6,0.177,9.131,237315
+doitgen,4,454,1125,1322,6,0,3,0.131,8.03,172417
+durbin,3,1267,3865,2582,6,0,12,0.195,7.928,28503
+fdtd-2d,3,1611,3935,3800,8,0,3,0.173,9.091,507185
+floyd-warshall,4,573,1645,1541,8,0,3,0.132,7.609,3121798
+gemm,1,473,1138,1307,6,0,3,0.130,7.802,205381
+gemver,5,1320,3241,2911,20,0,12,0.193,9.404,77225
+gesummv,6,367,955,795,8,0,6,0.143,8.01,17143
+heat-3d,0,976,2792,2809,4,0,0,0.133,9.423,103513
+jacobi-1d,3,894,2213,1640,4,0,0,0.149,7.18,15163
+jacobi-2d,8,1363,3132,3023,4,0,3,0.164,8.17,156684
+lu,6,1574,4821,3648,8,0,9,0.181,9.335,1121666
+ludcmp,8,1934,5625,4473,14,0,18,0.211,9.74,1090760
+mvt,1,431,1119,1040,12,0,6,0.138,8.285,49741
+nussinov,8,746,2195,1838,10,0,3,0.133,9.787,559131
+seidel-2d,5,1163,2864,2603,4,0,3,0.165,7.942,450433
+symm,5,1253,2969,2787,6,0,9,0.168,9.278,124809
+syr2k,0,1791,3523,3607,6,0,9,0.193,9.145,238082
+syrk,1,446,1117,1152,4,0,3,0.126,7.795999999999999,147182
+trisolv,0,1165,3637,2654,8,0,6,0.188,8.784,46614
+trmm,3,427,1159,1164,4,0,3,0.128,8.293,92654
diff --git a/results/legup_results_div/legup_opt.csv b/results/legup_results_div/legup_opt.csv
new file mode 100644
index 0000000..12f06fd
--- /dev/null
+++ b/results/legup_results_div/legup_opt.csv
@@ -0,0 +1,28 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+2mm,1,1086,2421,2345,10,0,6,0.177,10.756,61724
+3mm,1,2557,4876,5506,14,0,15,0.253,11.009,204177
+adi,9,2148,5660,4318,8,0,12,0.245,11.475999999999999,602584
+atas,9,1672,3207,3401,8,0,6,0.211,10.739,126288
+bicg,1,449,909,956,12,0,6,0.161,10.211,11907
+cholesky,3,1621,4387,3658,8,0,12,0.211,10.291,429665
+covariance,7,1339,2562,3034,6,0,6,0.189,10.654,109992
+doitgen,5,1054,2504,2087,6,0,36,0.182,10.665,15675
+durbin,9,1227,3484,2517,6,0,12,0.221,8.865,13506
+fdtd-2d,8,1615,3002,3737,8,0,3,0.207,12.303,213833
+floyd-warshall,7,561,1284,1538,8,0,3,0.133,10.104,1221958
+gemm,4,1108,2074,1777,6,0,3,0.159,10.226,85596
+gemver,4,1303,2587,2936,20,0,12,0.237,9.719,28087
+gesummv,4,354,739,837,8,0,6,0.159,11.785,6634
+heat-3d,4,1278,2667,3102,4,0,0,0.162,13.314,41059
+jacobi-1d,1,889,1881,1641,4,0,0,0.158,7.23,6914
+jacobi-2d,0,1276,2360,2962,4,0,3,0.170,11.139,84609
+lu,0,1624,4351,3749,8,0,6,0.200,10.131,484904
+ludcmp,9,1928,5148,4382,14,0,9,0.248,10.739,470803
+mvt,2,441,944,1039,12,0,3,0.163,9.497,16806
+nussinov,5,657,1517,1675,10,0,3,0.145,11.265,216632
+seidel-2d,4,1202,2549,2446,4,0,3,0.170,9.41,345294
+symm,7,1269,2433,2957,6,0,12,0.195,11.972,64903
+syr2k,3,2036,3529,3882,6,0,9,0.216,10.458,125705
+syrk,1,498,1158,1217,4,0,3,0.139,10.069,58955
+trisolv,9,1270,3321,2706,8,0,6,0.199,9.26,35382
+trmm,6,529,1219,1364,4,0,3,0.137,10.311,42052
diff --git a/results/legup_results_div/vericert_div.csv b/results/legup_results_div/vericert_div.csv
new file mode 100644
index 0000000..7097c45
--- /dev/null
+++ b/results/legup_results_div/vericert_div.csv
@@ -0,0 +1,26 @@
+benchmark,lut_flip_flop,slice,regs,luts,ramfifo,iopin,dsps,power,delay,cycles
+2mm,8,2341,1861,6602,4,0,24,0.247,82.379,404478
+3mm,8,2848,1963,8783,8,0,21,0.274,96.669,536114
+atas,0,1039,873,2981,4,0,6,0.184,84.842,58424
+bicg,1,1755,1017,5269,4,0,9,0.223,84.845,53916
+cholesky,7,1554,2011,4064,8,0,12,0.190,98.132,2535686
+doitgen,0,1436,1372,3736,4,0,6,0.189,76.734,351988
+durbin,1,719,1047,1840,1,0,12,0.167,96.403,22974
+fdtd-2d,3,1294,2049,3672,4,0,9,0.177,80.81,901430
+floyd-warshall,0,783,2648,1981,8,0,3,0.145,4.147,5414366
+gemm,5,1791,1323,5336,4,0,18,0.223,84.05,328104
+gemver,3,2434,1589,6548,4,0,21,0.246,81.224,117394
+gesummv,8,1847,1288,5280,4,0,15,0.230,81.36,37700
+heat-3d,9,882,3144,1944,4,0,0,0.131,4.38,580770
+jacobi-1d,5,734,1066,1926,1,0,0,0.151,80.198,19622
+jacobi-2d,3,1067,1801,2656,4,0,6,0.165,80.104,344072
+lu,6,1626,1805,4711,8,0,9,0.201,97.908,2853646
+ludcmp,9,2487,2317,6510,8,0,15,0.244,95.532,2601382
+mvt,7,3499,1355,11192,4,0,9,0.335,99.77,70204
+nussinov,4,652,1927,1509,8,0,0,0.132,4.192,956490
+seidel-2d,7,1020,1533,2289,4,0,3,0.158,79.93,664780
+symm,8,2018,1716,5865,4,0,21,0.238,79.116,240172
+syr2k,6,1926,1588,5455,8,0,18,0.232,80.012,436520
+syrk,2,1398,1238,3753,4,0,12,0.188,80.834,271816
+trisolv,1,987,1067,2416,4,0,3,0.164,96.189,25192
+trmm,4,1372,1122,3717,2,0,6,0.187,81.75,144688
diff --git a/results/legup_results_div/vericert_timing.csv b/results/legup_results_div/vericert_timing.csv
new file mode 100644
index 0000000..55d5644
--- /dev/null
+++ b/results/legup_results_div/vericert_timing.csv
@@ -0,0 +1,26 @@
+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

diff --git a/results/legup_results_div/vericert_timing.numbers b/results/legup_results_div/vericert_timing.numbers
new file mode 100755
index 0000000..d8737e6
--- /dev/null
+++ b/results/legup_results_div/vericert_timing.numbers
diff --git a/results/results.org b/results/results.org
new file mode 100644
index 0000000..5f130b4
--- /dev/null
+++ b/results/results.org
@@ -0,0 +1,468 @@
+* Vericert
+
+** No divide
+
+#+name: vericert-nodiv
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
+| 2mm            |             2 |  1764 | 4952 | 3541 |       4 |     0 |   24 | 0.152 |  4.59 |  467612 |
+| 3mm            |             9 |  1940 | 5046 | 3834 |       8 |     0 |   21 | 0.156 |  4.56 |  604582 |
+| atas           |             8 |   599 | 1603 | 1254 |       4 |     0 |    6 | 0.128 | 4.539 |  101618 |
+| bicg           |             0 |   930 | 2628 | 2012 |       4 |     0 |    9 | 0.138 | 4.692 |  130790 |
+| cholesky       |             0 |  1898 | 5322 | 3192 |       8 |     0 |   12 | 0.141 | 4.877 | 2575070 |
+| covariance     |             5 |   557 | 1705 | 1157 |       4 |     0 |    6 | 0.135 | 4.271 |  340794 |
+| doitgen        |             1 |  1167 | 3365 | 2038 |       4 |     0 |    6 | 0.136 | 4.305 |  386782 |
+| durbin         |             4 |   737 | 2215 | 1666 |       1 |     0 |   12 | 0.139 | 9.702 |   23832 |
+| fdtd-2d        |             8 |  1517 | 3984 | 2682 |       4 |     0 |    9 | 0.142 | 4.467 |  958412 |
+| floyd-warshall |             8 |   894 | 2897 | 2311 |       8 |     0 |    3 | 0.140 | 4.473 | 5414366 |
+| gemm           |             9 |  1110 | 3169 | 2474 |       4 |     0 |   18 | 0.149 | 4.609 |  406774 |
+| gemver         |             6 |  1121 | 3116 | 2046 |       4 |     0 |   21 | 0.141 | 4.684 |  193048 |
+| gesummv        |             5 |   991 | 3017 | 2174 |       4 |     0 |   15 | 0.142 | 4.719 |  116556 |
+| heat-3d        |             5 |  1458 | 4929 | 3282 |       4 |     0 |    3 | 0.132 | 4.734 |  592770 |
+| jacobi-1d      |             5 |   454 | 1345 |  699 |       1 |     0 |    0 | 0.128 | 4.248 |   19996 |
+| jacobi-2d      |             3 |   891 | 2669 | 2053 |       4 |     0 |    6 | 0.139 | 4.378 |  397200 |
+| lu             |             6 |  1755 | 5039 | 3049 |       8 |     0 |    9 | 0.136 | 4.817 | 2893146 |
+| ludcmp         |             6 |  2584 | 6796 | 4299 |       8 |     0 |   15 | 0.138 | 4.695 | 2641694 |
+| mvt            |             6 |  1704 | 4209 | 2798 |       4 |     0 |    9 | 0.147 | 4.686 |  148874 |
+| nussinov       |             0 |   981 | 2680 | 2361 |       8 |     0 |    0 | 0.127 | 4.467 |  956490 |
+| seidel-2d      |             5 |   728 | 2544 | 1439 |       4 |     0 |    3 | 0.129 | 4.386 |  942338 |
+| symm           |             7 |  1562 | 3981 | 3070 |       4 |     0 |   21 | 0.147 | 4.608 |  279832 |
+| syr2k          |             1 |  1369 | 3804 | 2548 |       8 |     0 |   18 | 0.145 | 4.543 |  525908 |
+| syrk           |             0 |   899 | 2772 | 1930 |       4 |     0 |   12 | 0.134 | 4.502 |  338286 |
+| trisolv        |             1 |   474 | 1481 |  778 |       4 |     0 |    3 | 0.127 | 4.541 |   36050 |
+| trmm           |             1 |   889 | 2729 | 2007 |       2 |     0 |    6 | 0.130 | 4.384 |  165828 |
+
+** Divide
+
+#+name: vericert-div
+| benchmark      | lut_flip_flop | slice | regs |  luts | ramfifo | iopin | dsps | power |  delay |  cycles |
+|----------------+---------------+-------+------+-------+---------+-------+------+-------+--------+---------|
+| 2mm            |             8 |  2341 | 1861 |  6602 |       4 |     0 |   24 | 0.247 | 82.379 |  404478 |
+| 3mm            |             8 |  2848 | 1963 |  8783 |       8 |     0 |   21 | 0.274 | 96.669 |  536114 |
+| atas           |             0 |  1039 |  873 |  2981 |       4 |     0 |    6 | 0.184 | 84.842 |   58424 |
+| bicg           |             1 |  1755 | 1017 |  5269 |       4 |     0 |    9 | 0.223 | 84.845 |   53916 |
+| cholesky       |             7 |  1554 | 2011 |  4064 |       8 |     0 |   12 | 0.190 | 98.132 | 2535686 |
+| doitgen        |             0 |  1436 | 1372 |  3736 |       4 |     0 |    6 | 0.189 | 76.734 |  351988 |
+| durbin         |             1 |   719 | 1047 |  1840 |       1 |     0 |   12 | 0.167 | 96.403 |   22974 |
+| fdtd-2d        |             3 |  1294 | 2049 |  3672 |       4 |     0 |    9 | 0.177 |  80.81 |  901430 |
+| floyd-warshall |             0 |   783 | 2648 |  1981 |       8 |     0 |    3 | 0.145 |  4.147 | 5414366 |
+| gemm           |             5 |  1791 | 1323 |  5336 |       4 |     0 |   18 | 0.223 |  84.05 |  328104 |
+| gemver         |             3 |  2434 | 1589 |  6548 |       4 |     0 |   21 | 0.246 | 81.224 |  117394 |
+| gesummv        |             8 |  1847 | 1288 |  5280 |       4 |     0 |   15 | 0.230 |  81.36 |   37700 |
+| heat-3d        |             9 |   882 | 3144 |  1944 |       4 |     0 |    0 | 0.131 |   4.38 |  580770 |
+| jacobi-1d      |             5 |   734 | 1066 |  1926 |       1 |     0 |    0 | 0.151 | 80.198 |   19622 |
+| jacobi-2d      |             3 |  1067 | 1801 |  2656 |       4 |     0 |    6 | 0.165 | 80.104 |  344072 |
+| lu             |             6 |  1626 | 1805 |  4711 |       8 |     0 |    9 | 0.201 | 97.908 | 2853646 |
+| ludcmp         |             9 |  2487 | 2317 |  6510 |       8 |     0 |   15 | 0.244 | 95.532 | 2601382 |
+| mvt            |             7 |  3499 | 1355 | 11192 |       4 |     0 |    9 | 0.335 |  99.77 |   70204 |
+| nussinov       |             4 |   652 | 1927 |  1509 |       8 |     0 |    0 | 0.132 |  4.192 |  956490 |
+| seidel-2d      |             7 |  1020 | 1533 |  2289 |       4 |     0 |    3 | 0.158 |  79.93 |  664780 |
+| symm           |             8 |  2018 | 1716 |  5865 |       4 |     0 |   21 | 0.238 | 79.116 |  240172 |
+| syr2k          |             6 |  1926 | 1588 |  5455 |       8 |     0 |   18 | 0.232 | 80.012 |  436520 |
+| syrk           |             2 |  1398 | 1238 |  3753 |       4 |     0 |   12 | 0.188 | 80.834 |  271816 |
+| trisolv        |             1 |   987 | 1067 |  2416 |       4 |     0 |    3 | 0.164 | 96.189 |   25192 |
+| trmm           |             4 |  1372 | 1122 |  3717 |       2 |     0 |    6 | 0.187 |  81.75 |  144688 |
+
+* Legup Opt
+
+** No Divide
+
+#+name: legup-nodiv
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power |  delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
+| 2mm            |             8 |  1493 | 3222 | 3389 |      10 |     0 |   18 | 0.192 | 10.776 |   73932 |
+| 3mm            |             2 |  1874 | 3547 | 4088 |      14 |     0 |   15 | 0.207 | 11.123 |  109367 |
+| atas           |             3 |   496 | 1132 | 1172 |       8 |     0 |    6 | 0.143 |  9.994 |   27546 |
+| bicg           |             2 |   823 | 1864 | 1703 |      12 |     0 |    9 | 0.166 | 10.054 |   28751 |
+| cholesky       |             5 |  1275 | 3081 | 3133 |       8 |     0 |   27 | 0.178 |  9.887 |  416569 |
+| covariance     |             8 |  1321 | 2409 | 2927 |       6 |     0 |    6 | 0.181 | 10.345 |  110648 |
+| doitgen        |             4 |  1358 | 2867 | 2629 |       6 |     0 |   42 | 0.223 | 11.224 |   21207 |
+| durbin         |             8 |   732 | 2231 | 1749 |       6 |     0 |   12 | 0.151 |  9.077 |   12531 |
+| fdtd-2d        |             3 |  1686 | 3143 | 3965 |       8 |     0 |    3 | 0.197 | 12.868 |  214433 |
+| floyd-warshall |             7 |   561 | 1284 | 1538 |       8 |     0 |    3 | 0.133 | 10.104 | 1221958 |
+| gemm           |             1 |  1283 | 2669 | 2693 |       6 |     0 |   12 | 0.157 | 10.058 |  100926 |
+| gemver         |             1 |   693 | 1455 | 1706 |      20 |     0 |   15 | 0.204 |  9.774 |   43083 |
+| gesummv        |             6 |   675 | 1706 | 1668 |       8 |     0 |    9 | 0.161 | 11.074 |   23988 |
+| heat-3d        |             4 |  1278 | 2667 | 3102 |       4 |     0 |    0 | 0.162 | 13.314 |   41059 |
+| jacobi-1d      |             5 |   288 |  777 |  558 |       4 |     0 |    0 | 0.138 |   7.96 |    5894 |
+| jacobi-2d      |             4 |  1356 | 2580 | 3064 |       4 |     0 |    3 | 0.169 |  10.99 |  111877 |
+| lu             |             4 |  1257 | 3055 | 3147 |       8 |     0 |   21 | 0.166 | 10.507 |  471964 |
+| ludcmp         |             5 |  1902 | 4443 | 4477 |      14 |     0 |   39 | 0.233 | 10.603 |  455393 |
+| mvt            |             0 |   899 | 2538 | 2072 |      12 |     0 |    6 | 0.162 |  9.656 |   34082 |
+| nussinov       |             5 |   657 | 1517 | 1675 |      10 |     0 |    3 | 0.145 | 11.265 |  216632 |
+| seidel-2d      |             8 |  1215 | 2466 | 2327 |       4 |     0 |    3 | 0.166 |  9.723 |  240970 |
+| symm           |             9 |   957 | 2349 | 2518 |       6 |     0 |   12 | 0.171 | 12.449 |   49023 |
+| syr2k          |             7 |   902 | 1885 | 2161 |       6 |     0 |   12 | 0.163 | 10.633 |   86683 |
+| syrk           |             3 |   670 | 1555 | 1711 |       4 |     0 |    9 | 0.147 | 10.101 |   71981 |
+| trisolv        |             3 |   979 | 1906 | 1883 |       8 |     0 |    9 | 0.170 |   9.67 |   35798 |
+| trmm           |             3 |   703 | 1767 | 1880 |       4 |     0 |    3 | 0.142 | 10.363 |   45382 |
+
+** Divide
+
+#+name: legup-div
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power |   delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+---------+---------|
+| 2mm            |             1 |  1086 | 2421 | 2345 |      10 |     0 |    6 | 0.177 |  10.756 |   61724 |
+| 3mm            |             1 |  2557 | 4876 | 5506 |      14 |     0 |   15 | 0.253 |  11.009 |  204177 |
+| adi            |             9 |  2148 | 5660 | 4318 |       8 |     0 |   12 | 0.245 | 11.4759 |  602584 |
+| atas           |             9 |  1672 | 3207 | 3401 |       8 |     0 |    6 | 0.211 |  10.739 |  126288 |
+| bicg           |             1 |   449 |  909 |  956 |      12 |     0 |    6 | 0.161 |  10.211 |   11907 |
+| cholesky       |             3 |  1621 | 4387 | 3658 |       8 |     0 |   12 | 0.211 |  10.291 |  429665 |
+| covariance     |             7 |  1339 | 2562 | 3034 |       6 |     0 |    6 | 0.189 |  10.654 |  109992 |
+| doitgen        |             5 |  1054 | 2504 | 2087 |       6 |     0 |   36 | 0.182 |  10.665 |   15675 |
+| durbin         |             9 |  1227 | 3484 | 2517 |       6 |     0 |   12 | 0.221 |   8.865 |   13506 |
+| fdtd-2d        |             8 |  1615 | 3002 | 3737 |       8 |     0 |    3 | 0.207 |  12.303 |  213833 |
+| floyd-warshall |             7 |   561 | 1284 | 1538 |       8 |     0 |    3 | 0.133 |  10.104 | 1221958 |
+| gemm           |             4 |  1108 | 2074 | 1777 |       6 |     0 |    3 | 0.159 |  10.226 |   85596 |
+| gemver         |             4 |  1303 | 2587 | 2936 |      20 |     0 |   12 | 0.237 |   9.719 |   28087 |
+| gesummv        |             4 |   354 |  739 |  837 |       8 |     0 |    6 | 0.159 |  11.785 |    6634 |
+| heat-3d        |             4 |  1278 | 2667 | 3102 |       4 |     0 |    0 | 0.162 |  13.314 |   41059 |
+| jacobi-1d      |             1 |   889 | 1881 | 1641 |       4 |     0 |    0 | 0.158 |    7.23 |    6914 |
+| jacobi-2d      |             0 |  1276 | 2360 | 2962 |       4 |     0 |    3 | 0.170 |  11.139 |   84609 |
+| lu             |             0 |  1624 | 4351 | 3749 |       8 |     0 |    6 | 0.200 |  10.131 |  484904 |
+| ludcmp         |             9 |  1928 | 5148 | 4382 |      14 |     0 |    9 | 0.248 |  10.739 |  470803 |
+| mvt            |             2 |   441 |  944 | 1039 |      12 |     0 |    3 | 0.163 |   9.497 |   16806 |
+| nussinov       |             5 |   657 | 1517 | 1675 |      10 |     0 |    3 | 0.145 |  11.265 |  216632 |
+| seidel-2d      |             4 |  1202 | 2549 | 2446 |       4 |     0 |    3 | 0.170 |    9.41 |  345294 |
+| symm           |             7 |  1269 | 2433 | 2957 |       6 |     0 |   12 | 0.195 |  11.972 |   64903 |
+| syr2k          |             3 |  2036 | 3529 | 3882 |       6 |     0 |    9 | 0.216 |  10.458 |  125705 |
+| syrk           |             1 |   498 | 1158 | 1217 |       4 |     0 |    3 | 0.139 |  10.069 |   58955 |
+| trisolv        |             9 |  1270 | 3321 | 2706 |       8 |     0 |    6 | 0.199 |    9.26 |   35382 |
+| trmm           |             6 |   529 | 1219 | 1364 |       4 |     0 |    3 | 0.137 |  10.311 |   42052 |
+
+* LegUp No Opt
+
+** No divide
+
+#+name: legup-noopt-nodiv
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power |  delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
+| 2mm            |             0 |  1133 | 2446 | 3076 |      10 |     0 |   18 | 0.183 |  9.948 |  113132 |
+| 3mm            |             6 |  1267 | 2649 | 3594 |      14 |     0 |   15 | 0.189 | 10.457 |  166838 |
+| atas           |             0 |   991 | 2051 | 2209 |       8 |     0 |    6 | 0.175 |  9.972 |   38012 |
+| bicg           |             2 |   692 | 1707 | 1870 |      12 |     0 |    9 | 0.157 |  8.723 |   45163 |
+| cholesky       |             5 |  1159 | 2618 | 3080 |       8 |     0 |   21 | 0.177 |  9.803 |  500738 |
+| covariance     |             7 |  1210 | 2212 | 2788 |       6 |     0 |    6 | 0.175 |  9.949 |  153732 |
+| doitgen        |             6 |   690 | 1569 | 1934 |       6 |     0 |    9 | 0.155 |  9.966 |   98749 |
+| durbin         |             8 |   714 | 2163 | 1640 |       6 |     0 |   12 | 0.147 |   9.12 |   15111 |
+| fdtd-2d        |             4 |  1551 | 3031 | 3662 |       8 |     0 |    3 | 0.194 | 11.429 |  266014 |
+| floyd-warshall |             2 |   516 | 1408 | 1487 |       8 |     0 |    3 | 0.132 |  9.819 | 1512364 |
+| gemm           |             2 |   825 | 1779 | 2310 |       6 |     0 |   12 | 0.152 |  9.711 |  131836 |
+| gemver         |             4 |   740 | 1418 | 1904 |      20 |     0 |   15 | 0.204 |   9.65 |   68642 |
+| gesummv        |             3 |   627 | 1542 | 1699 |       8 |     0 |    9 | 0.162 | 10.885 |   37479 |
+| heat-3d        |             4 |   907 | 1793 | 2676 |       4 |     0 |    0 | 0.143 | 12.922 |   51757 |
+| jacobi-1d      |             2 |   823 | 1656 | 1520 |       4 |     0 |    0 | 0.158 |  7.138 |    8077 |
+| jacobi-2d      |             0 |  1211 | 2361 | 2828 |       4 |     0 |    3 | 0.167 | 11.157 |   94138 |
+| lu             |             8 |  1139 | 2504 | 3148 |       8 |     0 |   15 | 0.157 |  10.07 |  566955 |
+| ludcmp         |             3 |  1695 | 3486 | 4826 |      14 |     0 |   30 | 0.226 | 11.046 |  553755 |
+| mvt            |             2 |   898 | 2244 | 2346 |      12 |     0 |    9 | 0.164 |  9.335 |   56928 |
+| nussinov       |             5 |   617 | 1560 | 1630 |      10 |     0 |    3 | 0.138 |  11.23 |  265980 |
+| seidel-2d      |             2 |   981 | 2023 | 2222 |       4 |     0 |    3 | 0.156 |  8.994 |  337110 |
+| symm           |             1 |   851 | 2144 | 2406 |       6 |     0 |    9 | 0.159 |  9.838 |   66181 |
+| syr2k          |             0 |   812 | 1793 | 2153 |       6 |     0 |   12 | 0.159 |  9.967 |  121098 |
+| syrk           |             9 |   649 | 1444 | 1772 |       4 |     0 |    9 | 0.142 |  9.589 |  102946 |
+| trisolv        |             6 |   914 | 1779 | 1922 |       8 |     0 |    9 | 0.173 |  9.192 |   36030 |
+| trmm           |             4 |   600 | 1507 | 1726 |       4 |     0 |    3 | 0.136 |  9.536 |   56439 |
+
+** Divide
+
+#+name: legup-noopt-div
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power |  delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
+| 2mm            |             0 |   637 | 1145 | 1842 |      10 |     0 |    6 | 0.163 | 10.207 |   90339 |
+| 3mm            |             4 |  2307 | 4140 | 5247 |      14 |     0 |   15 | 0.251 | 10.578 |  251581 |
+| adi            |             6 |  1707 | 4537 | 4012 |       8 |     0 |   18 | 0.243 | 10.822 |  619687 |
+| atas           |             3 |  1632 | 3114 | 3328 |       8 |     0 |    6 | 0.214 | 10.303 |  129877 |
+| bicg           |             3 |   396 |  846 |  966 |      12 |     0 |    6 | 0.165 |  9.996 |   16941 |
+| cholesky       |             4 |  1520 | 4187 | 3379 |       8 |     0 |    9 | 0.204 |  9.693 |  509735 |
+| covariance     |             1 |  1362 | 2514 | 3023 |       6 |     0 |    6 | 0.188 |  9.988 |  141486 |
+| doitgen        |             3 |   455 |  905 | 1299 |       6 |     0 |    3 | 0.151 | 10.265 |   87169 |
+| durbin         |             2 |  1209 | 3415 | 2548 |       6 |     0 |   12 | 0.215 |  8.988 |   16086 |
+| fdtd-2d        |             1 |  1473 | 3004 | 3608 |       8 |     0 |    3 | 0.194 | 11.275 |  266014 |
+| floyd-warshall |             2 |   516 | 1408 | 1487 |       8 |     0 |    3 | 0.132 |  9.819 | 1512364 |
+| gemm           |             0 |   428 |  825 | 1234 |       6 |     0 |    3 | 0.142 |  9.897 |  102941 |
+| gemver         |             6 |  1283 | 2579 | 2859 |      20 |     0 |   12 | 0.231 |  9.618 |   42573 |
+| gesummv        |             6 |   322 |  672 |  814 |       8 |     0 |    6 | 0.156 | 11.178 |    8587 |
+| heat-3d        |             2 |   880 | 1797 | 2674 |       4 |     0 |    0 | 0.144 | 13.013 |   51757 |
+| jacobi-1d      |             8 |   832 | 1683 | 1588 |       4 |     0 |    0 | 0.161 |  7.659 |    8077 |
+| jacobi-2d      |             6 |  1217 | 2322 | 2864 |       4 |     0 |    3 | 0.168 | 11.515 |   94138 |
+| lu             |             6 |  1462 | 4084 | 3458 |       8 |     0 |    3 | 0.190 |  9.863 |  575835 |
+| ludcmp         |             9 |  1787 | 4748 | 4405 |      14 |     0 |    6 | 0.245 |  9.995 |  564983 |
+| mvt            |             8 |   398 |  802 |  979 |      12 |     0 |    6 | 0.168 |   9.55 |   28091 |
+| nussinov       |             5 |   617 | 1560 | 1630 |      10 |     0 |    3 | 0.138 |  11.23 |  265980 |
+| seidel-2d      |             3 |  1061 | 2227 | 2437 |       4 |     0 |    3 | 0.168 |  8.727 |  377357 |
+| symm           |             7 |  1189 | 2331 | 2788 |       6 |     0 |    9 | 0.173 |  9.868 |   78631 |
+| syr2k          |             9 |  1710 | 2981 | 3564 |       6 |     0 |    9 | 0.218 |  9.943 |  148074 |
+| syrk           |             6 |   397 |  810 | 1101 |       4 |     0 |    3 | 0.144 |   9.71 |   78474 |
+| trisolv        |             5 |  1204 | 3283 | 2550 |       8 |     0 |    6 | 0.200 |  9.399 |   37148 |
+| trmm           |             4 |   415 |  878 | 1155 |       4 |     0 |    3 | 0.141 |  9.883 |   49819 |
+
+* Legup No Chain
+
+** No divide
+
+#+name: legup-nochain-nodiv
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
+| 2mm            |             0 |  2294 | 5426 | 3784 |      10 |     0 |   18 | 0.164 |  9.62 |  169531 |
+| 3mm            |             8 |  2558 | 5711 | 4373 |      14 |     0 |   21 | 0.169 | 9.309 |  235768 |
+| atas           |             0 |   500 | 1657 | 1145 |       8 |     0 |    9 | 0.135 | 8.623 |   58278 |
+| bicg           |             9 |   834 | 2566 | 1737 |      12 |     0 |    9 | 0.144 | 8.496 |   79651 |
+| cholesky       |             5 |  1536 | 4261 | 2950 |       8 |     0 |   27 | 0.163 | 9.413 |  830753 |
+| covariance     |             9 |  1289 | 3040 | 2729 |       6 |     0 |    6 | 0.164 | 8.814 |  212548 |
+| doitgen        |             8 |  1632 | 4472 | 3038 |       6 |     0 |   42 | 0.200 |  9.26 |   46852 |
+| durbin         |             3 |   775 | 2623 | 1687 |       6 |     0 |   12 | 0.144 |  9.13 |   22640 |
+| fdtd-2d        |             4 |  1700 | 4660 | 3963 |       8 |     0 |    3 | 0.174 |  9.35 |  431694 |
+| floyd-warshall |             5 |   649 | 1832 | 1510 |       8 |     0 |    3 | 0.132 | 7.067 | 2611426 |
+| gemm           |             1 |  2044 | 4693 | 3260 |       6 |     0 |   12 | 0.159 | 8.891 |  223526 |
+| gemver         |             7 |   796 | 2274 | 1770 |      20 |     0 |   15 | 0.164 | 9.643 |  109309 |
+| gesummv        |             5 |   728 | 2363 | 1677 |       8 |     0 |    9 | 0.145 | 8.987 |   68572 |
+| heat-3d        |             5 |  1559 | 4468 | 3530 |       4 |     0 |    0 | 0.159 | 9.808 |   80759 |
+| jacobi-1d      |             8 |   297 | 1094 |  548 |       4 |     0 |    0 | 0.126 | 6.939 |   11744 |
+| jacobi-2d      |             4 |  1378 | 3598 | 3081 |       4 |     0 |    3 | 0.161 |  8.32 |  171633 |
+| lu             |             2 |  1543 | 4267 | 3042 |       8 |     0 |   24 | 0.155 | 9.937 |  941544 |
+| ludcmp         |             0 |  2199 | 6116 | 4647 |      14 |     0 |   48 | 0.218 | 9.857 |  903989 |
+| mvt            |             5 |  1056 | 3420 | 2211 |      12 |     0 |    9 | 0.152 | 9.133 |   88668 |
+| nussinov       |             5 |   699 | 2193 | 1635 |      10 |     0 |    3 | 0.133 | 9.474 |  464517 |
+| seidel-2d      |             5 |  1128 | 3086 | 2272 |       4 |     0 |    3 | 0.156 | 7.714 |  544769 |
+| symm           |             5 |  1104 | 3490 | 2448 |       6 |     0 |   12 | 0.155 | 8.793 |  101653 |
+| syr2k          |             9 |   966 | 2818 | 1991 |       6 |     0 |   12 | 0.149 | 9.161 |  206241 |
+| syrk           |             6 |   730 | 2288 | 1610 |       4 |     0 |    9 | 0.141 | 8.394 |  162572 |
+| trisolv        |             8 |   976 | 2296 | 1895 |       8 |     0 |    9 | 0.157 | 9.041 |   46834 |
+| trmm           |             4 |   766 | 2319 | 1835 |       4 |     0 |    3 | 0.133 | 8.822 |   85592 |
+
+** Divide
+
+#+name: legup-nochain-div
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
+| 2mm            |             2 |  1538 | 4528 | 2761 |      10 |     0 |    6 | 0.154 | 9.565 |  133958 |
+| 3mm            |             1 |  3023 | 6753 | 6028 |      14 |     0 |   21 | 0.237 | 9.964 |  302433 |
+| adi            |             1 |  2459 | 7415 | 4923 |       8 |     0 |   12 | 0.225 | 9.539 |  761344 |
+| atas           |             5 |  1712 | 3702 | 3326 |       8 |     0 |    9 | 0.199 | 8.831 |  147486 |
+| bicg           |             6 |   413 | 1251 |  916 |      12 |     0 |    6 | 0.137 | 7.732 |   23765 |
+| cholesky       |             6 |  1662 | 5103 | 3461 |       8 |     0 |   12 | 0.193 | 9.328 |  827925 |
+| covariance     |             7 |  1344 | 2999 | 2958 |       6 |     0 |    6 | 0.174 | 9.149 |  174842 |
+| doitgen        |             6 |  1820 | 4197 | 2461 |       6 |     0 |   36 | 0.197 | 9.102 |   33413 |
+| durbin         |             3 |  1255 | 3929 | 2621 |       6 |     0 |   12 | 0.199 | 8.254 |   23303 |
+| fdtd-2d        |             2 |  1587 | 4063 | 3643 |       8 |     0 |    3 | 0.177 | 8.874 |  429274 |
+| floyd-warshall |             5 |   649 | 1832 | 1510 |       8 |     0 |    3 | 0.132 | 7.067 | 2611426 |
+| gemm           |             5 |  1602 | 4080 | 2223 |       6 |     0 |    3 | 0.141 | 9.631 |  177458 |
+| gemver         |             9 |  1325 | 3320 | 2831 |      20 |     0 |   12 | 0.195 |  9.87 |   57727 |
+| gesummv        |             8 |   347 | 1016 |  796 |       8 |     0 |    6 | 0.136 | 8.197 |   12364 |
+| heat-3d        |             5 |  1559 | 4468 | 3530 |       4 |     0 |    0 | 0.159 | 9.808 |   80759 |
+| jacobi-1d      |             9 |   889 | 2201 | 1649 |       4 |     0 |    0 | 0.152 |  7.32 |   12734 |
+| jacobi-2d      |             9 |  1274 | 3282 | 2920 |       4 |     0 |    3 | 0.164 | 9.219 |  139259 |
+| lu             |             1 |  1611 | 5113 | 3601 |       8 |     0 |    9 | 0.186 | 9.899 |  938404 |
+| ludcmp         |             2 |  2002 | 6157 | 4490 |      14 |     0 |   18 | 0.219 | 9.949 |  903303 |
+| mvt            |             6 |   469 | 1278 | 1048 |      12 |     0 |    6 | 0.138 | 8.139 |   33446 |
+| nussinov       |             5 |   699 | 2193 | 1635 |      10 |     0 |    3 | 0.133 | 9.474 |  464517 |
+| seidel-2d      |             4 |  1158 | 3107 | 2454 |       4 |     0 |    3 | 0.162 | 7.602 |  400824 |
+| symm           |             6 |  1391 | 3325 | 2913 |       6 |     0 |   12 | 0.178 | 9.209 |  102463 |
+| syr2k          |             2 |  2024 | 4129 | 3756 |       6 |     0 |    9 | 0.206 | 9.472 |  202535 |
+| syrk           |             3 |   592 | 1858 | 1094 |       4 |     0 |    3 | 0.132 | 8.724 |  122527 |
+| trisolv        |             3 |  1228 | 3679 | 2581 |       8 |     0 |    6 | 0.187 | 8.077 |   43042 |
+| trmm           |             9 |   552 | 1685 | 1309 |       4 |     0 |    3 | 0.132 | 8.706 |   78383 |
+
+* LegUp No Opt No Chain
+
+** No divide
+
+#+name: legup-noopt-nochain-nodiv
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
+| 2mm            |             2 |  1161 | 3069 | 3132 |      10 |     0 |   18 | 0.160 | 9.345 |  240573 |
+| 3mm            |             5 |  1380 | 3333 | 3701 |      14 |     0 |   21 | 0.163 | 9.265 |  342207 |
+| atas           |             4 |  1040 | 2415 | 2238 |       8 |     0 |    6 | 0.159 | 7.715 |   77210 |
+| bicg           |             5 |   717 | 2161 | 1836 |      12 |     0 |    9 | 0.145 | 9.131 |   99667 |
+| cholesky       |             1 |  1190 | 3591 | 3065 |       8 |     0 |   24 | 0.158 | 9.679 | 1000414 |
+| covariance     |             2 |  1213 | 2695 | 2819 |       6 |     0 |    6 | 0.166 |  9.37 |  283863 |
+| doitgen        |             0 |   734 | 1885 | 1997 |       6 |     0 |    9 | 0.145 | 8.881 |  198592 |
+| durbin         |             6 |   889 | 2561 | 1670 |       6 |     0 |   12 | 0.145 | 9.277 |   27840 |
+| fdtd-2d        |             3 |  1627 | 4146 | 3855 |       8 |     0 |    3 | 0.173 | 9.657 |  507806 |
+| floyd-warshall |             4 |   573 | 1645 | 1541 |       8 |     0 |    3 | 0.132 | 7.609 | 3121798 |
+| gemm           |             1 |   851 | 2294 | 2215 |       6 |     0 |   12 | 0.145 | 8.756 |  274546 |
+| gemver         |             9 |   714 | 2037 | 1883 |      20 |     0 |   15 | 0.161 | 9.724 |  141440 |
+| gesummv        |             1 |   673 | 2014 | 1641 |       8 |     0 |    9 | 0.143 | 9.392 |   87649 |
+| heat-3d        |             4 |   988 | 2792 | 2811 |       4 |     0 |    0 | 0.132 | 9.514 |  103513 |
+| jacobi-1d      |             8 |   921 | 2272 | 1573 |       4 |     0 |    0 | 0.150 |  7.11 |   15163 |
+| jacobi-2d      |             8 |  1322 | 3285 | 2940 |       4 |     0 |    3 | 0.160 | 9.148 |  157584 |
+| lu             |             9 |  1214 | 3541 | 3233 |       8 |     0 |   21 | 0.155 | 9.676 | 1132106 |
+| ludcmp         |             8 |  1900 | 4876 | 4832 |      14 |     0 |   42 | 0.191 | 9.542 | 1098988 |
+| mvt            |             3 |   913 | 2825 | 2169 |      12 |     0 |    9 | 0.147 | 9.856 |  118444 |
+| nussinov       |             8 |   746 | 2195 | 1838 |      10 |     0 |    3 | 0.133 | 9.787 |  559131 |
+| seidel-2d      |             6 |  1026 | 2657 | 2300 |       4 |     0 |    3 | 0.151 | 7.999 |  658070 |
+| symm           |             6 |   905 | 2857 | 2350 |       6 |     0 |    9 | 0.149 | 9.606 |  130249 |
+| syr2k          |             2 |   901 | 2449 | 2207 |       6 |     0 |   12 | 0.152 | 9.007 |  255334 |
+| syrk           |             2 |   711 | 1906 | 1786 |       4 |     0 |    9 | 0.138 | 8.321 |  206415 |
+| trisolv        |             1 |   982 | 2130 | 1918 |       8 |     0 |    9 | 0.159 |  8.52 |   44772 |
+| trmm           |             5 |   652 | 1880 | 1767 |       4 |     0 |    3 | 0.133 | 8.509 |  107174 |
+
+** Divide
+
+#+name: legup-noopt-nochain-div
+| benchmark      | lut_flip_flop | slice | regs | luts | ramfifo | iopin | dsps | power | delay |  cycles |
+|----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
+| 2mm            |             3 |   654 | 1465 | 1841 |      10 |     0 |    6 | 0.139 | 9.065 |  186341 |
+| 3mm            |             2 |  2331 | 4746 | 5281 |      14 |     0 |   21 | 0.221 |  9.47 |  397165 |
+| adi            |             7 |  1833 | 5413 | 4231 |       8 |     0 |   18 | 0.224 | 9.458 |  815373 |
+| atas           |             0 |  1686 | 3474 | 3448 |       8 |     0 |    6 | 0.199 | 8.104 |  156265 |
+| bicg           |             5 |   451 | 1135 |  972 |      12 |     0 |    6 | 0.138 | 8.128 |   30647 |
+| cholesky       |             7 |  1621 | 4875 | 3467 |       8 |     0 |   12 | 0.185 | 9.797 |  990247 |
+| covariance     |             2 |  1278 | 2848 | 2990 |       6 |     0 |    6 | 0.177 | 9.131 |  237315 |
+| doitgen        |             4 |   454 | 1125 | 1322 |       6 |     0 |    3 | 0.131 |  8.03 |  172417 |
+| durbin         |             3 |  1267 | 3865 | 2582 |       6 |     0 |   12 | 0.195 | 7.928 |   28503 |
+| fdtd-2d        |             3 |  1611 | 3935 | 3800 |       8 |     0 |    3 | 0.173 | 9.091 |  507185 |
+| floyd-warshall |             4 |   573 | 1645 | 1541 |       8 |     0 |    3 | 0.132 | 7.609 | 3121798 |
+| gemm           |             1 |   473 | 1138 | 1307 |       6 |     0 |    3 | 0.130 | 7.802 |  205381 |
+| gemver         |             5 |  1320 | 3241 | 2911 |      20 |     0 |   12 | 0.193 | 9.404 |   77225 |
+| gesummv        |             6 |   367 |  955 |  795 |       8 |     0 |    6 | 0.143 |  8.01 |   17143 |
+| heat-3d        |             0 |   976 | 2792 | 2809 |       4 |     0 |    0 | 0.133 | 9.423 |  103513 |
+| jacobi-1d      |             3 |   894 | 2213 | 1640 |       4 |     0 |    0 | 0.149 |  7.18 |   15163 |
+| jacobi-2d      |             8 |  1363 | 3132 | 3023 |       4 |     0 |    3 | 0.164 |  8.17 |  156684 |
+| lu             |             6 |  1574 | 4821 | 3648 |       8 |     0 |    9 | 0.181 | 9.335 | 1121666 |
+| ludcmp         |             8 |  1934 | 5625 | 4473 |      14 |     0 |   18 | 0.211 |  9.74 | 1090760 |
+| mvt            |             1 |   431 | 1119 | 1040 |      12 |     0 |    6 | 0.138 | 8.285 |   49741 |
+| nussinov       |             8 |   746 | 2195 | 1838 |      10 |     0 |    3 | 0.133 | 9.787 |  559131 |
+| seidel-2d      |             5 |  1163 | 2864 | 2603 |       4 |     0 |    3 | 0.165 | 7.942 |  450433 |
+| symm           |             5 |  1253 | 2969 | 2787 |       6 |     0 |    9 | 0.168 | 9.278 |  124809 |
+| syr2k          |             0 |  1791 | 3523 | 3607 |       6 |     0 |    9 | 0.193 | 9.145 |  238082 |
+| syrk           |             1 |   446 | 1117 | 1152 |       4 |     0 |    3 | 0.126 | 7.796 |  147182 |
+| trisolv        |             0 |  1165 | 3637 | 2654 |       8 |     0 |    6 | 0.188 | 8.784 |   46614 |
+| trmm           |             3 |   427 | 1159 | 1164 |       4 |     0 |    3 | 0.128 | 8.293 |   92654 |
+
+* Data compilation
+
+** Relative exec time
+
+*** No divide
+
+#+name: rel-time-nodiv
+| benchmark      |      legup | legup noopt | legup nochain | legup noopt nochain |
+|----------------+------------+-------------+---------------+---------------------|
+| 2mm            | 0.37118610 |  0.52435198 |    0.75984649 |           1.0474369 |
+| 3mm            | 0.44125352 |  0.63282267 |    0.79610039 |           1.1500435 |
+| atas           | 0.59685256 |  0.82181141 |     1.0895125 |           1.2914532 |
+| bicg           | 0.47104163 |  0.64197204 |     1.1027402 |           1.4829865 |
+| cholesky       | 0.32795155 |  0.39086588 |    0.62267034 |          0.77102499 |
+| covariance     | 0.78641638 |   1.0508052 |     1.2870889 |           1.8273716 |
+| doitgen        | 0.14295109 |  0.59103633 |    0.26055518 |           1.0592152 |
+| durbin         | 0.49193339 |  0.59602748 |    0.89397514 |           1.1170048 |
+| fdtd-2d        | 0.64451715 |  0.71014091 |    0.94279968 |           1.1454387 |
+| floyd-warshall | 0.50980385 |  0.61316461 |    0.76201989 |          0.98081223 |
+| gemm           | 0.54144556 |  0.68287007 |     1.0600315 |           1.2822154 |
+| gemver         | 0.46568911 |  0.73254625 |     1.1656976 |           1.5210203 |
+| gesummv        | 0.48296310 |  0.74170604 |     1.1204099 |           1.4966506 |
+| heat-3d        | 0.19480605 |  0.23833310 |    0.28226493 |          0.35094865 |
+| jacobi-1d      | 0.55232610 |  0.67873304 |    0.95936814 |           1.2691913 |
+| jacobi-2d      | 0.70705550 |  0.60398674 |    0.82118144 |          0.82899761 |
+| lu             | 0.35582840 |  0.40966708 |    0.67134988 |          0.78602427 |
+| ludcmp         | 0.38931130 |  0.49317902 |    0.71843883 |          0.84550125 |
+| mvt            | 0.47173835 |  0.76176165 |     1.1608049 |           1.6733725 |
+| nussinov       | 0.57115952 |  0.69908881 |     1.0300033 |           1.2807571 |
+| seidel-2d      | 0.56687582 |  0.73358288 |     1.0167559 |           1.2735983 |
+| symm           | 0.47328692 |  0.50492898 |    0.69318224 |          0.97030246 |
+| syr2k          | 0.38577780 |  0.50518322 |    0.79079766 |          0.96257881 |
+| syrk           | 0.47741134 |  0.64817650 |    0.89603546 |           1.1277875 |
+| trisolv        |  2.1146012 |   2.0231007 |     2.5865504 |           2.3301792 |
+| trmm           | 0.64690532 |  0.74031601 |     1.0386562 |           1.2544101 |
+#+TBLFM: $1='(identity remote(vericert-nodiv,@@#$1))::$2=(remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))::$3=(remote(legup-noopt-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))::$4=(remote(legup-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-nochain-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))::$5=(remote(legup-noopt-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nochain-nodiv,@@#$10)) / (remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10))
+
+*** Divide
+
+#+name: rel-time-div
+| benchmark      |        legup |  legup noopt | legup nochain | legup noopt nochain |
+|----------------+--------------+--------------+---------------+---------------------|
+| 2mm            |  0.019924775 |  0.027673365 |   0.038454061 |         0.050694963 |
+| 3mm            |  0.043372087 |  0.051349596 |   0.058145823 |         0.072573250 |
+| atas           |    1.3950898 |    1.3529375 |     1.4651483 |           1.5557989 |
+| bicg           |   0.29647086 |   0.29251762 |    0.28471921 |          0.27683260 |
+| cholesky       | 4.8861243e-4 | 6.8054863e-4 |  7.3845416e-4 |        1.0010725e-3 |
+| doitgen        |   0.16370874 |   0.18293086 |    0.28593271 |          0.35918728 |
+| durbin         |   0.52911080 |   0.63806487 |    0.72225778 |          0.97839983 |
+| fdtd-2d        | 2.2949398e-3 |  0.012283550 |  4.1749876e-3 |         0.019006341 |
+| floyd-warshall | 5.3324138e-3 | 6.4391639e-3 |  8.5663271e-3 |         0.010064045 |
+| gemm           |  0.095397394 |   0.10876065 |    0.13813533 |          0.16719713 |
+| gemver         |    1.2948496 |    1.5573754 |     1.9354526 |           2.4911628 |
+| gesummv        |   0.28536911 |   0.33215413 |    0.55720458 |          0.52241293 |
+| heat-3d        |   0.10731209 |   0.16096844 |    0.22398444 |          0.28549089 |
+| jacobi-1d      |  0.049681906 |  0.060995635 |   0.064403152 |         0.087259462 |
+| jacobi-2d      |  0.019834141 |  0.024436724 |   0.028738749 |         0.035389999 |
+| lu             | 1.7891609e-4 | 2.2141339e-4 |  3.3362428e-4 |        3.8966491e-4 |
+| ludcmp         | 3.7923618e-3 | 4.3619020e-3 |  5.1659962e-3 |        5.1510256e-3 |
+| mvt            |   0.70136849 |   0.81085885 |     1.3262315 |           1.4949134 |
+| nussinov       |    1.2609601 |    1.4083690 |     2.2413577 |           2.6496374 |
+| seidel-2d      | 3.0037448e-3 | 5.0487378e-3 |  5.1230368e-3 |        7.7556690e-3 |
+| symm           |   0.12843019 |   0.15719620 |    0.23160519 |          0.28798937 |
+| syr2k          |  0.093029221 |  0.094288367 |   0.087241337 |          0.10242378 |
+| syrk           |  0.035364082 |  0.035314564 |   0.042944787 |         0.052702496 |
+| trisolv        |   0.54251673 |   0.60758660 |    0.79168737 |          0.89850855 |
+| trmm           |  0.050186477 |  0.064420597 |   0.090370603 |         0.097007711 |
+#+TBLFM: $1='(identity remote(vericert-div,@@#$1))::$2=(remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))::$3=(remote(legup-noopt-div,@@#$11) * (10^-6) * remote(legup-noopt-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))::$4=(remote(legup-nochain-div,@@#$11) * (10^-6) * remote(legup-nochain-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))::$5=(remote(legup-noopt-nochain-div,@@#$11) * (10^-6) * remote(legup-noopt-nochain-div,@@#$10)) / (remote(vericert-div,@@#$11) * (10^-6) * remote(vericert-div,@@#$10))
+
+
+** Relative size (Slice)
+*** No divide
+
+#+name: rel-size-nodiv
+| benchmark      |      legup | legup noopt | legup nochain | legup noopt nochain |
+|----------------+------------+-------------+---------------+---------------------|
+| 2mm            | 0.84637188 |  0.64229025 |     1.3004535 |          0.65816327 |
+| 3mm            | 0.96597938 |  0.65309278 |     1.3185567 |          0.71134021 |
+| atas           | 0.82804674 |   1.6544240 |    0.83472454 |           1.7362270 |
+| bicg           | 0.88494624 |  0.74408602 |    0.89677419 |          0.77096774 |
+| cholesky       | 0.67175975 |  0.61064278 |    0.80927292 |          0.62697576 |
+| covariance     |  2.3716338 |   2.1723519 |     2.3141831 |           2.1777379 |
+| doitgen        |  1.1636675 |  0.59125964 |     1.3984576 |          0.62896315 |
+| durbin         | 0.99321574 |  0.96879240 |     1.0515604 |           1.2062415 |
+| fdtd-2d        |  1.1114041 |   1.0224127 |     1.1206328 |           1.0725115 |
+| floyd-warshall | 0.62751678 |  0.57718121 |    0.72595078 |          0.64093960 |
+| gemm           |  1.1558559 |  0.74324324 |     1.8414414 |          0.76666667 |
+| gemver         | 0.61819804 |  0.66012489 |    0.71008029 |          0.63693131 |
+| gesummv        | 0.68113017 |  0.63269425 |    0.73461150 |          0.67911201 |
+| heat-3d        | 0.87654321 |  0.62208505 |     1.0692730 |          0.67764060 |
+| jacobi-1d      | 0.63436123 |   1.8127753 |    0.65418502 |           2.0286344 |
+| jacobi-2d      |  1.5218855 |   1.3591470 |     1.5465769 |           1.4837262 |
+| lu             | 0.71623932 |  0.64900285 |    0.87920228 |          0.69173789 |
+| ludcmp         | 0.73606811 |  0.65595975 |    0.85100619 |          0.73529412 |
+| mvt            | 0.52758216 |  0.52699531 |    0.61971831 |          0.53579812 |
+| nussinov       | 0.66972477 |  0.62895005 |    0.71253823 |          0.76044852 |
+| seidel-2d      |  1.6689560 |   1.3475275 |     1.5494505 |           1.4093407 |
+| symm           | 0.61267606 |  0.54481434 |    0.70678617 |          0.57938540 |
+| syr2k          | 0.65887509 |  0.59313367 |    0.70562454 |          0.65814463 |
+| syrk           | 0.74527253 |  0.72191324 |    0.81201335 |          0.79087875 |
+| trisolv        |  2.0654008 |   1.9282700 |     2.0590717 |           2.0717300 |
+| trmm           | 0.79077615 |  0.67491564 |    0.86164229 |          0.73340832 |
+#+TBLFM: $1='(identity remote(vericert-nodiv,@@#$1))::$2=(remote(legup-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))::$3=(remote(legup-noopt-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))::$4=(remote(legup-nochain-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))::$5=(remote(legup-noopt-nochain-nodiv,@@#$3))/(remote(vericert-nodiv,@@#$3))
+
+*** Divide
+
+#+name: rel-size-div
+| benchmark      |      legup | legup noopt | legup nochain | legup noopt nochain |
+|----------------+------------+-------------+---------------+---------------------|
+| 2mm            | 0.46390431 |  0.27210594 |    0.65698419 |          0.27936779 |
+| 3mm            | 0.89782303 |  0.81004213 |     1.0614466 |          0.81846910 |
+| atas           |  2.0673725 |   1.6429259 |     2.3666987 |           1.7641963 |
+| bicg           | 0.95270655 |  0.92991453 |    0.97549858 |          0.96068376 |
+| cholesky       | 0.28893179 |  0.25482625 |    0.26576577 |          0.29021879 |
+| doitgen        |  1.1288301 |   1.0584958 |     1.1573816 |           1.1288301 |
+| durbin         |  1.8623088 |   1.8942976 |     1.8692629 |           1.7774687 |
+| fdtd-2d        | 0.81452859 |  0.35162287 |     1.4064915 |          0.35085008 |
+| floyd-warshall |  1.5670498 |   1.5440613 |     1.6028097 |           1.6181354 |
+| gemm           | 0.90173088 |  0.82244556 |    0.88609715 |          0.89949749 |
+| gemver         | 0.23048480 |  0.21199671 |    0.26663928 |          0.23541495 |
+| gesummv        | 0.59989172 |  0.23172713 |    0.86735246 |          0.25609096 |
+| heat-3d        |  1.4773243 |   1.4546485 |     1.5022676 |           1.4965986 |
+| jacobi-1d      | 0.48228883 |  0.43869210 |    0.47275204 |                 0.5 |
+| jacobi-2d      |  1.1977507 |  0.82474227 |     1.4611059 |          0.91471415 |
+| lu             | 0.54674047 |  0.51168512 |    0.54674047 |          0.54981550 |
+| ludcmp         | 0.51306795 |  0.48934459 |    0.51226377 |          0.54804986 |
+| mvt            | 0.46413261 |  0.41783367 |    0.46041726 |          0.44984281 |
+| nussinov       |  2.9570552 |   2.7407975 |     3.0705521 |           2.9662577 |
+| seidel-2d      | 0.43235294 |  0.39019608 |    0.45980392 |          0.42254902 |
+| symm           | 0.32556987 |  0.30574827 |    0.34638256 |          0.36967294 |
+| syr2k          | 0.62409138 |  0.55088266 |    0.60124611 |          0.60384216 |
+| syrk           | 0.90772532 |  0.85050072 |    0.99499285 |          0.89628040 |
+| trisolv        |  2.0628166 |   1.7325228 |     2.0506586 |           1.8145897 |
+| trmm           | 0.36297376 |  0.28935860 |    0.43148688 |          0.32507289 |
+#+TBLFM: $1='(identity remote(vericert-div,@@#$1))::$2=(remote(legup-div,@@#$3))/(remote(vericert-div,@@#$3))::$3=(remote(legup-noopt-div,@@#$3))/(remote(vericert-div,@@#$3))::$4=(remote(legup-nochain-div,@@#$3))/(remote(vericert-div,@@#$3))::$5=(remote(legup-noopt-nochain-div,@@#$3))/(remote(vericert-div,@@#$3))
diff --git a/results/slice-div.csv b/results/slice-div.csv
new file mode 100644
index 0000000..abbdf80
--- /dev/null
+++ b/results/slice-div.csv
@@ -0,0 +1,26 @@
+benchmark,legup,legup noopt,legup nochain,legup noopt nochain
+2mm,0.46390431,0.27210594,0.65698419,0.27936779
+3mm,0.89782303,0.81004213,1.0614466,0.81846910
+atas,2.0673725,1.6429259,2.3666987,1.7641963
+bicg,0.95270655,0.92991453,0.97549858,0.96068376
+cholesky,0.28893179,0.25482625,0.26576577,0.29021879
+doitgen,1.1288301,1.0584958,1.1573816,1.1288301
+durbin,1.8623088,1.8942976,1.8692629,1.7774687
+fdtd-2d,0.81452859,0.35162287,1.4064915,0.35085008
+floyd-warshall,1.5670498,1.5440613,1.6028097,1.6181354
+gemm,0.90173088,0.82244556,0.88609715,0.89949749
+gemver,0.23048480,0.21199671,0.26663928,0.23541495
+gesummv,0.59989172,0.23172713,0.86735246,0.25609096
+heat-3d,1.4773243,1.4546485,1.5022676,1.4965986
+jacobi-1d,0.48228883,0.43869210,0.47275204,0.5
+jacobi-2d,1.1977507,0.82474227,1.4611059,0.91471415
+lu,0.54674047,0.51168512,0.54674047,0.54981550
+ludcmp,0.51306795,0.48934459,0.51226377,0.54804986
+mvt,0.46413261,0.41783367,0.46041726,0.44984281
+nussinov,2.9570552,2.7407975,3.0705521,2.9662577
+seidel-2d,0.43235294,0.39019608,0.45980392,0.42254902
+symm,0.32556987,0.30574827,0.34638256,0.36967294
+syr2k,0.62409138,0.55088266,0.60124611,0.60384216
+syrk,0.90772532,0.85050072,0.99499285,0.89628040
+trisolv,2.0628166,1.7325228,2.0506586,1.8145897
+trmm,0.36297376,0.28935860,0.43148688,0.32507289
diff --git a/results/slice-nodiv.csv b/results/slice-nodiv.csv
new file mode 100644
index 0000000..bd0d5fa
--- /dev/null
+++ b/results/slice-nodiv.csv
@@ -0,0 +1,27 @@
+benchmark,legup,legup noopt,legup nochain,legup noopt nochain
+2mm,0.84637188,0.64229025,1.3004535,0.65816327
+3mm,0.96597938,0.65309278,1.3185567,0.71134021
+atas,0.82804674,1.6544240,0.83472454,1.7362270
+bicg,0.88494624,0.74408602,0.89677419,0.77096774
+cholesky,0.67175975,0.61064278,0.80927292,0.62697576
+covariance,2.3716338,2.1723519,2.3141831,2.1777379
+doitgen,1.1636675,0.59125964,1.3984576,0.62896315
+durbin,0.99321574,0.96879240,1.0515604,1.2062415
+fdtd-2d,1.1114041,1.0224127,1.1206328,1.0725115
+floyd-warshall,0.62751678,0.57718121,0.72595078,0.64093960
+gemm,1.1558559,0.74324324,1.8414414,0.76666667
+gemver,0.61819804,0.66012489,0.71008029,0.63693131
+gesummv,0.68113017,0.63269425,0.73461150,0.67911201
+heat-3d,0.87654321,0.62208505,1.0692730,0.67764060
+jacobi-1d,0.63436123,1.8127753,0.65418502,2.0286344
+jacobi-2d,1.5218855,1.3591470,1.5465769,1.4837262
+lu,0.71623932,0.64900285,0.87920228,0.69173789
+ludcmp,0.73606811,0.65595975,0.85100619,0.73529412
+mvt,0.52758216,0.52699531,0.61971831,0.53579812
+nussinov,0.66972477,0.62895005,0.71253823,0.76044852
+seidel-2d,1.6689560,1.3475275,1.5494505,1.4093407
+symm,0.61267606,0.54481434,0.70678617,0.57938540
+syr2k,0.65887509,0.59313367,0.70562454,0.65814463
+syrk,0.74527253,0.72191324,0.81201335,0.79087875
+trisolv,2.0654008,1.9282700,2.0590717,2.0717300
+trmm,0.79077615,0.67491564,0.86164229,0.73340832