Add new data

5 files changed, 124 insertions, 108 deletions

diff --git a/results/rel-size-div.csv b/results/rel-size-div.csv
index 49d8795..55f0e53 100644
--- a/results/rel-size-div.csv
+++ b/results/rel-size-div.csv
@@ -1,27 +1,29 @@
 benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
 2mm,2.1556169,0.58655617,1.4162063,0.60220994
 3mm,1.1138052,0.90222917,1.1822448,0.91161517
-atas,0.62141148,0.97607656,1.0239234,1.0083732
-bicg,3.9086860,0.88195991,0.91982183,1.0044543
-cholesky,0.95866749,0.93769278,1.0252930,1
-doitgen,1.3624288,0.43168880,1.7267552,0.43074004
-durbin,0.58598207,0.98533007,1.0228199,1.0325998
-fdtd-2d,0.80123839,0.91207430,0.98266254,0.99752322
-floyd-warshall,1.3957219,0.91978610,1.1568627,1.0213904
-gemm,1.6164260,0.38628159,1.4458484,0.42689531
-gemver,1.8679969,0.98465081,1.0168841,1.0130468
-gesummv,5.2175141,0.90960452,0.98022599,1.0367232
-heat-3d,0.69014085,0.68857590,1.2198748,0.76369327
-jacobi-1d,0.82564679,0.93588301,1,1.0056243
-jacobi-2d,0.83620690,0.95376176,0.99843260,1.0681818
-lu,1.0012315,0.90024631,0.99199507,0.96921182
-ludcmp,1.2899378,0.92686722,1.0383817,1.0031120
-mvt,7.9342404,0.90249433,1.0634921,0.97732426
-nussinov,0.99238965,0.93911720,1.0639269,1.1354642
-seidel-2d,0.84858569,0.88269551,0.96339434,0.96755408
-symm,1.5902285,0.93695823,1.0961387,0.98739165
-syr2k,0.94597250,0.83988212,0.99410609,0.87966601
-syrk,2.8072289,0.79718876,1.1887550,0.89558233
-trisolv,0.77716535,0.94803150,0.96692913,0.91732283
-trmm,2.5935728,0.78449905,1.0434783,0.80718336
-\textbf{median},1.0575184,0.91083941,1.0246082,0.99245744
+adi,1.5186220,0.75977654,0.79702048,0.78491620
+atas,0.62141148,0.23684211,0.24700957,0.26973684
+bicg,3.9086860,3.3853007,3.7015590,3.6102450
+cholesky,0.95866749,0.28069093,1.1227637,0.28007403
+covariance,1.0552651,0.90291262,0.93726662,0.94622853
+doitgen,1.3624288,1.3975332,1.5056926,1.5284630
+durbin,0.58598207,0.42053790,0.52893236,0.46699267
+fdtd-2d,0.80123839,0.26501548,0.99195046,0.29287926
+floyd-warshall,1.3957219,2.2869875,2.3618538,2.3529412
+gemm,1.6164260,0.29061372,0.31317690,0.33122744
+gemver,1.8679969,0.67536454,1.1964697,0.74904068
+gesummv,5.2175141,2.3502825,2.5112994,2.5254237
+heat-3d,0.69014085,0.95226917,0.99687011,1.0665102
+jacobi-1d,0.82564679,1.6445444,1.8121485,1.7705287
+jacobi-2d,0.83620690,1.4004702,1.5689655,1.5156740
+lu,1.0012315,0.24507389,0.28879310,0.26539409
+ludcmp,1.2899378,0.32002075,0.36255187,0.38692946
+mvt,7.9342404,2.4058957,2.6258503,2.6371882
+nussinov,0.99238965,1.8097412,2.1171994,1.9071537
+seidel-2d,0.84858569,1.4226290,1.6838602,1.4900166
+symm,1.5902285,0.31284476,0.46650906,0.35145784
+syr2k,0.94597250,0.59135560,0.60314342,0.57220039
+syrk,2.8072289,0.83333333,1.1084337,0.85742972
+trisolv,0.77716535,1.3440945,1.9362205,1.4433071
+trmm,2.5935728,2.5746692,2.5406427,2.4158790
+\textbf{median},1.1138052,0.90222917,1.1822448,0.91161517
diff --git a/results/rel-size-nodiv.csv b/results/rel-size-nodiv.csv
index fb939ae..3b8f2c5 100644
--- a/results/rel-size-nodiv.csv
+++ b/results/rel-size-nodiv.csv
@@ -1,6 +1,7 @@
 benchmark,vericert,legup noopt,legup nochain,legup noopt nochain
 2mm,1.1815137,0.75887475,1.5365037,0.77762894
 3mm,1.0352188,0.67609392,1.3649947,0.73639274
+adi,1.9228029,1.2743468,1.2393112,1.6419240
 atas,1.2076613,1.9979839,1.0080645,2.0967742
 bicg,1.1300122,0.84082625,1.0133657,0.87120292
 cholesky,1.4886275,0.90901961,1.2047059,0.93333333
@@ -25,4 +26,4 @@ syr2k,1.5177384,0.90022173,1.0709534,0.99889135
 syrk,1.3417910,0.96865672,1.0895522,1.0611940
 trisolv,0.48416752,0.93360572,0.99693565,1.0030644
 trmm,1.2645804,0.85348506,1.0896159,0.92745377
-\textbf{median},1.2076613,0.90901961,1.0895522,0.97492625
+\textbf{median},1.2645804,0.90901961,1.0896159,0.97492625
diff --git a/results/rel-time-div.csv b/results/rel-time-div.csv
index ea051ee..cfd1294 100644
--- a/results/rel-time-div.csv
+++ b/results/rel-time-div.csv
@@ -1,27 +1,29 @@
 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
-atas,3.6549064,0.98666568,0.96036153,0.93375990
-bicg,37.624721,1.3928189,1.5113291,2.0488069
-cholesky,56.275397,1.1174166,1.7465941,2.1940630
-doitgen,161.56500,5.3524499,1.8192144,8.2818473
-durbin,18.497868,1.2075514,1.6064633,1.8873338
-fdtd-2d,27.689261,1.1400799,1.4479990,1.7526383
-floyd-warshall,1.8185784,1.2027461,1.4947315,1.9239012
-gemm,31.505762,1.1639456,1.9525749,1.8306569
-gemver,34.930382,1.5000029,2.0872247,2.6603796
-gesummv,39.232613,1.2277233,1.2963100,1.7563630
-heat-3d,4.6533033,1.2320536,1.4489536,1.7842971
-jacobi-1d,31.480320,1.2375264,1.8646969,2.1779199
-jacobi-2d,29.244269,1.1501809,1.3622108,1.3582632
-lu,56.873531,1.1561096,1.8909197,2.1314237
-ludcmp,49.152990,1.1169021,1.7775009,2.1012857
-mvt,43.884488,1.6808145,1.7055499,2.5819999
-nussinov,1.6430391,1.2239817,1.8033548,2.2423807
-seidel-2d,16.353439,1.0135350,0.93778424,1.1009851
-symm,24.454299,0.99859977,1.2143617,1.4902832
-syr2k,26.567952,1.1199408,1.4592866,1.6561859
-syrk,37.013666,1.2836246,1.8006963,1.9329452
-trisolv,7.3959624,1.0656724,1.0610825,1.2497275
-trmm,27.279276,1.1355241,1.5738129,1.7721007
-\textbf{median},30.362295,1.193339,1.5588962,1.9056175
+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
diff --git a/results/rel-time-nodiv.csv b/results/rel-time-nodiv.csv
index 22de970..72de34a 100644
--- a/results/rel-time-nodiv.csv
+++ b/results/rel-time-nodiv.csv
@@ -1,6 +1,7 @@
 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
+adi,3.8740916,1.8266819,1.6959258,3.0485338
 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
@@ -25,4 +26,4 @@ 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
-\textbf{median},2.0946298,1.2667986,1.8226875,2.2979022
+\textbf{median},2.0946298,1.2667986,1.8172687,2.2979022
diff --git a/results/results.org b/results/results.org
index 599cac2..508d178 100644
--- a/results/results.org
+++ b/results/results.org
@@ -7,7 +7,7 @@
 |----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
 | 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 |
-| adi            |               |       |      |      |         |       |      |       |       | 1831462 |
+| adi            |          1871 |  3238 | 9776 | 5163 |       4 |     0 |   54 | 0.187 | 4.764 | 1831462 |
 | 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 |
@@ -40,11 +40,11 @@
 |----------------+---------------+-------+------+-------+---------+-------+------+-------+--------+---------|
 | 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 |
+| adi            |           910 |  3262 | 3313 |  9698 |       4 |     0 |   54 | 0.296 | 97.133 | 1422354 |
 | atas           |             0 |  1039 |  873 |  2981 |       4 |     0 |    6 | 0.184 | 84.842 |   58424 |
-| adi            |               |       |      |       |         |       |      |       |        | 1422354 |
 | 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 |
-| covariance     |               |       |      |       |         |       |      |       |        |  287498 |
+| covariance     |           399 |  1413 | 1538 |  4037 |       4 |     0 |    6 | 0.193 | 98.313 |  287498 |
 | 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 |
@@ -75,6 +75,7 @@
 |----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
 | 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 |
+| adi            |          1110 |  1684 | 3208 | 3261 |       8 |     0 |   12 | 0.184 | 11.102 |  202861 |
 | 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 |
@@ -107,8 +108,8 @@
 |----------------+---------------+-------+------+------+---------+-------+------+-------+---------+---------|
 | 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 |
-| atas           |             9 |  1672 | 3207 | 3401 |       8 |     0 |    6 | 0.211 |  10.739 |  126288 |
 | 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 |
@@ -142,6 +143,7 @@
 |----------------+---------------+-------+------+------+---------+-------+------+-------+--------+---------|
 | 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 |
+| adi            |          2357 |  2146 | 4417 | 5408 |       8 |     0 |   57 | 0.254 | 10.568 |  389287 |
 | 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 |
@@ -209,6 +211,7 @@
 |----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
 | 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 |
+| adi            |          1747 |  2087 | 5562 | 3536 |       8 |     0 |   12 | 0.173 | 9.622 |  396955 |
 | 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 |
@@ -276,6 +279,7 @@
 |----------------+---------------+-------+------+------+---------+-------+------+-------+-------+---------|
 | 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 |
+| adi            |          3398 |  2765 | 6275 | 5803 |       8 |     0 |   57 | 0.224 | 9.404 |  730093 |
 | 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 |
@@ -476,6 +480,7 @@
 |-----------------+------------+-------------+---------------+---------------------|
 | 2mm             |  2.6940664 |   1.4126390 |     2.0470769 |           2.8218645 |
 | 3mm             |  2.2662709 |   1.4341476 |     1.8041791 |           2.6063100 |
+| adi             |  3.8740916 |   1.8266819 |     1.6959258 |           3.0485338 |
 | 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 |
@@ -501,8 +506,8 @@
 | trisolv         | 0.47290242 |  0.95672922 |     1.2231859 |           1.1019474 |
 | trmm            |  1.5458213 |   1.1443962 |     1.6055769 |           1.9390939 |
 |-----------------+------------+-------------+---------------+---------------------|
-| \textbf{median} |  2.0946298 |   1.2667986 |     1.8226875 |           2.2979022 |
-#+TBLFM: @2$1..@-2$1='(identity remote(vericert-nodiv,@@#$1))::@2$2..@-2$2=(remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$3..@-2$3=(remote(legup-noopt-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$4..@-2$4=(remote(legup-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-nochain-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$5..@-2$5=(remote(legup-noopt-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nochain-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@28$2..@28$5=vmedian(@2$$#..@-2$$#)
+| \textbf{median} |  2.0946298 |   1.2667986 |     1.8172687 |           2.2979022 |
+#+TBLFM: @2$1..@II$1='(identity remote(vericert-nodiv,@@#$1))::@2$2..@II$2=(remote(vericert-nodiv,@@#$11) * (10^-6) * remote(vericert-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$3..@II$3=(remote(legup-noopt-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$4..@II$4=(remote(legup-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-nochain-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@2$5..@II$5=(remote(legup-noopt-nochain-nodiv,@@#$11) * (10^-6) * remote(legup-noopt-nochain-nodiv,@@#$10)) / (remote(legup-nodiv,@@#$11) * (10^-6) * remote(legup-nodiv,@@#$10))::@>$2..@>$5=vmedian(@2$$#..@-1$$#)
 
 *** Divide
 
@@ -511,32 +516,34 @@
 |-----------------+-----------+-------------+---------------+---------------------|
 | 2mm             | 50.188771 |   1.3888922 |     1.9299621 |           2.5443179 |
 | 3mm             | 23.056304 |   1.1839319 |     1.3406278 |           1.6732709 |
-| atas            | 3.6549064 |  0.98666568 |    0.96036153 |          0.93375990 |
-| bicg            | 37.624721 |   1.3928189 |     1.5113291 |           2.0488069 |
-| cholesky        | 56.275397 |   1.1174166 |     1.7465941 |           2.1940630 |
-| doitgen         | 161.56500 |   5.3524499 |     1.8192144 |           8.2818473 |
-| durbin          | 18.497868 |   1.2075514 |     1.6064633 |           1.8873338 |
-| fdtd-2d         | 27.689261 |   1.1400799 |     1.4479990 |           1.7526383 |
-| floyd-warshall  | 1.8185784 |   1.2027461 |     1.4947315 |           1.9239012 |
-| gemm            | 31.505762 |   1.1639456 |     1.9525749 |           1.8306569 |
-| gemver          | 34.930382 |   1.5000029 |     2.0872247 |           2.6603796 |
-| gesummv         | 39.232613 |   1.2277233 |     1.2963100 |           1.7563630 |
-| heat-3d         | 4.6533033 |   1.2320536 |     1.4489536 |           1.7842971 |
-| jacobi-1d       | 31.480320 |   1.2375264 |     1.8646969 |           2.1779199 |
-| jacobi-2d       | 29.244269 |   1.1501809 |     1.3622108 |           1.3582632 |
-| lu              | 56.873531 |   1.1561096 |     1.8909197 |           2.1314237 |
-| ludcmp          | 49.152990 |   1.1169021 |     1.7775009 |           2.1012857 |
-| mvt             | 43.884488 |   1.6808145 |     1.7055499 |           2.5819999 |
-| nussinov        | 1.6430391 |   1.2239817 |     1.8033548 |           2.2423807 |
-| seidel-2d       | 16.353439 |   1.0135350 |    0.93778424 |           1.1009851 |
-| symm            | 24.454299 |  0.99859977 |     1.2143617 |           1.4902832 |
-| syr2k           | 26.567952 |   1.1199408 |     1.4592866 |           1.6561859 |
-| syrk            | 37.013666 |   1.2836246 |     1.8006963 |           1.9329452 |
-| trisolv         | 7.3959624 |   1.0656724 |     1.0610825 |           1.2497275 |
-| trmm            | 27.279276 |   1.1355241 |     1.5738129 |           1.7721007 |
+| 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} | 30.362295 |    1.193339 |     1.5588962 |           1.9056175 |
-#+TBLFM: @2$1..@-2$1='(identity remote(vericert-div,@@#$1))::@2$2..@-2$2=(remote(vericert-div,@@#$11) * remote(vericert-div,@@#$10)) / (remote(legup-div,@@#$11) * remote(legup-div,@@#$10))::@2$3..@-2$3=(remote(legup-noopt-div,@@#$11) * (10^-6) * remote(legup-noopt-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@2$4..@-2$4=(remote(legup-nochain-div,@@#$11) * (10^-6) * remote(legup-nochain-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@2$5..@-2$5=(remote(legup-noopt-nochain-div,@@#$11) * (10^-6) * remote(legup-noopt-nochain-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@27$2..@27$5=vmedian(@2$$#..@-2$$#)
+| \textbf{median} | 27.689261 |  0.82942442 |     1.1922597 |           1.3925299 |
+#+TBLFM: @2$1..@II$1='(identity remote(vericert-div,@@#$1))::@2$2..@II$2=(remote(vericert-div,@@#$11) * remote(vericert-div,@@#$10)) / (remote(legup-div,@@#$11) * remote(legup-div,@@#$10))::@2$3..@II$3=(remote(legup-noopt-div,@@#$11) * (10^-6) * remote(legup-noopt-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@2$4..@II$4=(remote(legup-nochain-div,@@#$11) * (10^-6) * remote(legup-nochain-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@2$5..@II$5=(remote(legup-noopt-nochain-div,@@#$11) * (10^-6) * remote(legup-noopt-nochain-div,@@#$10)) / (remote(legup-div,@@#$11) * (10^-6) * remote(legup-div,@@#$10))::@>$2..@>$5=vmedian(@2$$#..@II$$#)
 
 ** Relative to LegUp size (Slice)
 *** No divide
@@ -546,6 +553,7 @@
 |-----------------+------------+-------------+---------------+---------------------|
 | 2mm             |  1.1815137 |  0.75887475 |     1.5365037 |          0.77762894 |
 | 3mm             |  1.0352188 |  0.67609392 |     1.3649947 |          0.73639274 |
+| adi             |  1.9228029 |   1.2743468 |     1.2393112 |           1.6419240 |
 | atas            |  1.2076613 |   1.9979839 |     1.0080645 |           2.0967742 |
 | bicg            |  1.1300122 |  0.84082625 |     1.0133657 |          0.87120292 |
 | cholesky        |  1.4886275 |  0.90901961 |     1.2047059 |          0.93333333 |
@@ -571,8 +579,8 @@
 | trisolv         | 0.48416752 |  0.93360572 |    0.99693565 |           1.0030644 |
 | trmm            |  1.2645804 |  0.85348506 |     1.0896159 |          0.92745377 |
 |-----------------+------------+-------------+---------------+---------------------|
-| \textbf{median} |  1.2076613 |  0.90901961 |     1.0895522 |          0.97492625 |
-#+TBLFM: @2$1..@-2$1='(identity remote(vericert-nodiv,@@#$1))::@2$2..@-2$2=(remote(vericert-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$3..@-2$3=(remote(legup-noopt-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$4..@-2$4=(remote(legup-nochain-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$5..@-2$5=(remote(legup-noopt-nochain-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@28$2..@28$5=vmedian(@2$$#..@-2$$#)
+| \textbf{median} |  1.2645804 |  0.90901961 |     1.0896159 |          0.97492625 |
+#+TBLFM: @2..@II$1='(identity remote(vericert-nodiv,@@#$1))::@2$2..@II$2=(remote(vericert-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$3..@II$3=(remote(legup-noopt-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$4..@II$4=(remote(legup-nochain-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@2$5..@II$5=(remote(legup-noopt-nochain-nodiv,@@#$3))/(remote(legup-nodiv,@@#$3))::@>$2..@>$5=vmedian(@2$$#..@II$$#)
 
 *** Divide
 
@@ -581,32 +589,34 @@
 |-----------------+------------+-------------+---------------+---------------------|
 | 2mm             |  2.1556169 |  0.58655617 |     1.4162063 |          0.60220994 |
 | 3mm             |  1.1138052 |  0.90222917 |     1.1822448 |          0.91161517 |
-| atas            | 0.62141148 |  0.97607656 |     1.0239234 |           1.0083732 |
-| bicg            |  3.9086860 |  0.88195991 |    0.91982183 |           1.0044543 |
-| cholesky        | 0.95866749 |  0.93769278 |     1.0252930 |                   1 |
-| doitgen         |  1.3624288 |  0.43168880 |     1.7267552 |          0.43074004 |
-| durbin          | 0.58598207 |  0.98533007 |     1.0228199 |           1.0325998 |
-| fdtd-2d         | 0.80123839 |  0.91207430 |    0.98266254 |          0.99752322 |
-| floyd-warshall  |  1.3957219 |  0.91978610 |     1.1568627 |           1.0213904 |
-| gemm            |  1.6164260 |  0.38628159 |     1.4458484 |          0.42689531 |
-| gemver          |  1.8679969 |  0.98465081 |     1.0168841 |           1.0130468 |
-| gesummv         |  5.2175141 |  0.90960452 |    0.98022599 |           1.0367232 |
-| heat-3d         | 0.69014085 |  0.68857590 |     1.2198748 |          0.76369327 |
-| jacobi-1d       | 0.82564679 |  0.93588301 |             1 |           1.0056243 |
-| jacobi-2d       | 0.83620690 |  0.95376176 |    0.99843260 |           1.0681818 |
-| lu              |  1.0012315 |  0.90024631 |    0.99199507 |          0.96921182 |
-| ludcmp          |  1.2899378 |  0.92686722 |     1.0383817 |           1.0031120 |
-| mvt             |  7.9342404 |  0.90249433 |     1.0634921 |          0.97732426 |
-| nussinov        | 0.99238965 |  0.93911720 |     1.0639269 |           1.1354642 |
-| seidel-2d       | 0.84858569 |  0.88269551 |    0.96339434 |          0.96755408 |
-| symm            |  1.5902285 |  0.93695823 |     1.0961387 |          0.98739165 |
-| syr2k           | 0.94597250 |  0.83988212 |    0.99410609 |          0.87966601 |
-| syrk            |  2.8072289 |  0.79718876 |     1.1887550 |          0.89558233 |
-| trisolv         | 0.77716535 |  0.94803150 |    0.96692913 |          0.91732283 |
-| trmm            |  2.5935728 |  0.78449905 |     1.0434783 |          0.80718336 |
+| adi             |  1.5186220 |  0.75977654 |    0.79702048 |          0.78491620 |
+| atas            | 0.62141148 |  0.23684211 |    0.24700957 |          0.26973684 |
+| bicg            |  3.9086860 |   3.3853007 |     3.7015590 |           3.6102450 |
+| cholesky        | 0.95866749 |  0.28069093 |     1.1227637 |          0.28007403 |
+| covariance      |  1.0552651 |  0.90291262 |    0.93726662 |          0.94622853 |
+| doitgen         |  1.3624288 |   1.3975332 |     1.5056926 |           1.5284630 |
+| durbin          | 0.58598207 |  0.42053790 |    0.52893236 |          0.46699267 |
+| fdtd-2d         | 0.80123839 |  0.26501548 |    0.99195046 |          0.29287926 |
+| floyd-warshall  |  1.3957219 |   2.2869875 |     2.3618538 |           2.3529412 |
+| gemm            |  1.6164260 |  0.29061372 |    0.31317690 |          0.33122744 |
+| gemver          |  1.8679969 |  0.67536454 |     1.1964697 |          0.74904068 |
+| gesummv         |  5.2175141 |   2.3502825 |     2.5112994 |           2.5254237 |
+| heat-3d         | 0.69014085 |  0.95226917 |    0.99687011 |           1.0665102 |
+| jacobi-1d       | 0.82564679 |   1.6445444 |     1.8121485 |           1.7705287 |
+| jacobi-2d       | 0.83620690 |   1.4004702 |     1.5689655 |           1.5156740 |
+| lu              |  1.0012315 |  0.24507389 |    0.28879310 |          0.26539409 |
+| ludcmp          |  1.2899378 |  0.32002075 |    0.36255187 |          0.38692946 |
+| mvt             |  7.9342404 |   2.4058957 |     2.6258503 |           2.6371882 |
+| nussinov        | 0.99238965 |   1.8097412 |     2.1171994 |           1.9071537 |
+| seidel-2d       | 0.84858569 |   1.4226290 |     1.6838602 |           1.4900166 |
+| symm            |  1.5902285 |  0.31284476 |    0.46650906 |          0.35145784 |
+| syr2k           | 0.94597250 |  0.59135560 |    0.60314342 |          0.57220039 |
+| syrk            |  2.8072289 |  0.83333333 |     1.1084337 |          0.85742972 |
+| trisolv         | 0.77716535 |   1.3440945 |     1.9362205 |           1.4433071 |
+| trmm            |  2.5935728 |   2.5746692 |     2.5406427 |           2.4158790 |
 |-----------------+------------+-------------+---------------+---------------------|
-| \textbf{median} |  1.0575184 |  0.91083941 |     1.0246082 |          0.99245744 |
-#+TBLFM: @2$1..@-2$1='(identity remote(vericert-div,@@#$1))::@2$2..@-2$2=(remote(vericert-div,@@#$3))/(remote(legup-div,@@#$3))::@2$3..@-2$3=(remote(legup-noopt-div,@@#$3))/(remote(legup-div,@@#$3))::@2$4..@-2$4=(remote(legup-nochain-div,@@#$3))/(remote(legup-div,@@#$3))::@2$5..@-2$5=(remote(legup-noopt-nochain-div,@@#$3))/(remote(legup-div,@@#$3))::@27$2..@27$5=vmedian(@2$$#..@-2$$#)
+| \textbf{median} |  1.1138052 |  0.90222917 |     1.1822448 |          0.91161517 |
+#+TBLFM: @2$1..@II$1='(identity remote(vericert-div,@@#$1))::@2$2..@II$2=(remote(vericert-div,@@#$3))/(remote(legup-div,@@#$3))::@2$3..@II$3=(remote(legup-noopt-div,@@#$3))/(remote(legup-div,@@#$3))::@2$4..@II$4=(remote(legup-nochain-div,@@#$3))/(remote(legup-div,@@#$3))::@2$5..@II$5=(remote(legup-noopt-nochain-div,@@#$3))/(remote(legup-div,@@#$3))::@>$2..@>$5=vmedian(@2$$#..@II$$#)
 
 * Code count