AddAdd data

1 files changed, 468 insertions, 0 deletions

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))