summaryrefslogtreecommitdiffstats
path: root/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org
diff options
context:
space:
mode:
Diffstat (limited to 'notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org')
-rw-r--r--notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org250
1 files changed, 125 insertions, 125 deletions
diff --git a/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org b/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org
index 3f63518..26ced2a 100644
--- a/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org
+++ b/notes/5c6faa9f-2ae4-4dda-83a6-00f283ce2ea3.org
@@ -1,131 +1,6 @@
#+title: Vericert Scheduling Results
#+html_head_extra: <style>.outline-text-2{display:flex;flex-direction: row;flex-wrap:wrap}</style>
-* Plots
-:PROPERTIES:
-:CUSTOM_ID: plots
-:END:
-
-#+begin_src gnuplot :var data=vericert-processed-size :file ./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg
-reset
-
-red = "#e07a5f"
-blue = "#81b29a"
-
-set style data histogram
-set style fill solid
-
-set log y
-set yrange [1:3]
-set ytics 0.5 nologscale
-set ylabel "Design size relative to Vericert"
-
-set xtics rotate nomirror
-
-set title "Vericert size comparison"
-plot data using 2:xtic(1) title "list" linecolor rgb red, \
- data using 3 title "hyper" linecolor rgb blue
-#+end_src
-
-#+RESULTS:
-[[file:./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg]]
-
-#+begin_src gnuplot :var data=vericert-processed-speed :file ./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg
-reset
-
-red = "#3d405b"
-blue = "#f2cc8f"
-
-set style data histogram
-set style fill solid
-
-set log y
-set yrange [0.05:1.2]
-set ytics 0.01,0.1,1
-set ylabel "Execution time relative to Vericert"
-
-set xtics rotate nomirror
-
-set title "Vericert speed comparison"
-plot data using 2:xtic(1) title "list" linecolor rgb red, \
- data using 3 title "hyper" linecolor rgb blue
-#+end_src
-
-#+RESULTS:
-[[file:./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg]]
-
-* Processing
-
-#+name: vericert-processed-size
-#+caption: Design size relative to Vericert.
-| benchmark | vericert-list | vericert-hyper |
-|----------------+---------------+----------------|
-| 2mm | 1.8148148 | 1.5555556 |
-| 3mm | 1.6247906 | 1.5311760 |
-| adi | 1.6864583 | 1.3051189 |
-| atas | 1.4228029 | 1.1908549 |
-| bicg | 1.3006993 | 1.1137725 |
-| cholesky | 2.2895054 | 1.7804878 |
-| covariance | 1.0145719 | 0.98584071 |
-| doitgen | 1.8436019 | 1.7212389 |
-| durbin | 1.2598291 | 0.94487179 |
-| fdtd-2d | 1.8102625 | 1.5752856 |
-| floyd-warshall | 1.2016129 | 0.90211907 |
-| gemm | 1.3737624 | 1.1948332 |
-| gemver | 1.3281991 | 1.2497213 |
-| gesummv | 1.3213333 | 1.0667384 |
-| heat-3d | 1.7933579 | 1.7587455 |
-| jacobi-1d | 1.6877323 | 1.3841463 |
-| jacobi-2d | 1.5256849 | 1.3707692 |
-| lu | 2.1350365 | 1.6447985 |
-| ludcmp | 2.2989324 | 1.7845304 |
-| mvt | 1.7512847 | 1.3708769 |
-| nussinov | 1.4447717 | 1.1678571 |
-| seidel-2d | 1.6851852 | 1.6545455 |
-| symm | 1.7689694 | 1.4516729 |
-| syr2k | 1.5592255 | 1.3608350 |
-| syrk | 1.3641882 | 1.2148649 |
-| trisolv | 1.3314607 | 1.3699422 |
-| trmm | 1.5706714 | 1.2772989 |
-#+tblfm: $1='(identity remote(raw-vericert,@@#$1))
-#+tblfm: $2=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-list,@@#$2))
-#+tblfm: $3=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-hyper,@@#$2))
-
-#+name: vericert-processed-speed
-#+caption: Execution time relative to Vericert.
-| benchmark | vericert-list | vericert-hyper |
-|----------------+---------------+----------------|
-| 2mm | 0.10964074 | 0.11388448 |
-| 3mm | 0.11272619 | 0.11380653 |
-| adi | 0.11254961 | 0.11188351 |
-| atas | 0.25071807 | 0.25060733 |
-| bicg | 0.25128535 | 0.25837004 |
-| cholesky | 0.10709267 | 0.10837778 |
-| covariance | 0.23328600 | 0.23503192 |
-| doitgen | 0.10006043 | 0.10025617 |
-| durbin | 0.91718661 | 0.88748628 |
-| fdtd-2d | 0.25191744 | 0.24256082 |
-| floyd-warshall | 0.24512275 | 0.24528405 |
-| gemm | 0.24217108 | 0.23782250 |
-| gemver | 0.080719653 | 0.082348805 |
-| gesummv | 0.11018493 | 0.11693428 |
-| heat-3d | 0.26189422 | 0.26387960 |
-| jacobi-1d | 1.0273277 | 0.99205979 |
-| jacobi-2d | 0.24812968 | 0.24891972 |
-| lu | 0.10784972 | 0.10553413 |
-| ludcmp | 0.10642397 | 0.11109796 |
-| mvt | 0.096198062 | 0.099829570 |
-| nussinov | 0.23680025 | 0.24543956 |
-| seidel-2d | 0.25317479 | 0.24189279 |
-| symm | 0.23900415 | 0.24417126 |
-| syr2k | 0.23700960 | 0.24042125 |
-| syrk | 0.24829032 | 0.24812610 |
-| trisolv | 0.11345693 | 0.11485735 |
-| trmm | 0.25103069 | 0.24199603 |
-#+tblfm: $1='(identity remote(raw-vericert,@@#$1))
-#+tblfm: $2=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-list,@@#$3) * remote(raw-vericert-list,@@#$4))
-#+tblfm: $3=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-hyper,@@#$3) * remote(raw-vericert-hyper,@@#$4))
-
* Raw results
#+name: raw-vericert
@@ -223,3 +98,128 @@ plot data using 2:xtic(1) title "list" linecolor rgb red, \
| syrk | 740 | 16 | 4.536 | 180421 |
| trisolv | 346 | 16 | 9.884 | 16849 |
| trmm | 696 | 8 | 4.529 | 87568 |
+
+* Processing
+
+#+name: vericert-processed-size
+#+caption: Design size relative to Vericert.
+| benchmark | vericert-list | vericert-hyper |
+|----------------+---------------+----------------|
+| 2mm | 1.8148148 | 1.5555556 |
+| 3mm | 1.6247906 | 1.5311760 |
+| adi | 1.6864583 | 1.3051189 |
+| atas | 1.4228029 | 1.1908549 |
+| bicg | 1.3006993 | 1.1137725 |
+| cholesky | 2.2895054 | 1.7804878 |
+| covariance | 1.0145719 | 0.98584071 |
+| doitgen | 1.8436019 | 1.7212389 |
+| durbin | 1.2598291 | 0.94487179 |
+| fdtd-2d | 1.8102625 | 1.5752856 |
+| floyd-warshall | 1.2016129 | 0.90211907 |
+| gemm | 1.3737624 | 1.1948332 |
+| gemver | 1.3281991 | 1.2497213 |
+| gesummv | 1.3213333 | 1.0667384 |
+| heat-3d | 1.7933579 | 1.7587455 |
+| jacobi-1d | 1.6877323 | 1.3841463 |
+| jacobi-2d | 1.5256849 | 1.3707692 |
+| lu | 2.1350365 | 1.6447985 |
+| ludcmp | 2.2989324 | 1.7845304 |
+| mvt | 1.7512847 | 1.3708769 |
+| nussinov | 1.4447717 | 1.1678571 |
+| seidel-2d | 1.6851852 | 1.6545455 |
+| symm | 1.7689694 | 1.4516729 |
+| syr2k | 1.5592255 | 1.3608350 |
+| syrk | 1.3641882 | 1.2148649 |
+| trisolv | 1.3314607 | 1.3699422 |
+| trmm | 1.5706714 | 1.2772989 |
+#+tblfm: $1='(identity remote(raw-vericert,@@#$1))
+#+tblfm: $2=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-list,@@#$2))
+#+tblfm: $3=(remote(raw-vericert,@@#$2))/(remote(raw-vericert-hyper,@@#$2))
+
+#+name: vericert-processed-speed
+#+caption: Execution time relative to Vericert.
+| benchmark | vericert-list | vericert-hyper |
+|----------------+---------------+----------------|
+| 2mm | 0.10964074 | 0.11388448 |
+| 3mm | 0.11272619 | 0.11380653 |
+| adi | 0.11254961 | 0.11188351 |
+| atas | 0.25071807 | 0.25060733 |
+| bicg | 0.25128535 | 0.25837004 |
+| cholesky | 0.10709267 | 0.10837778 |
+| covariance | 0.23328600 | 0.23503192 |
+| doitgen | 0.10006043 | 0.10025617 |
+| durbin | 0.91718661 | 0.88748628 |
+| fdtd-2d | 0.25191744 | 0.24256082 |
+| floyd-warshall | 0.24512275 | 0.24528405 |
+| gemm | 0.24217108 | 0.23782250 |
+| gemver | 0.080719653 | 0.082348805 |
+| gesummv | 0.11018493 | 0.11693428 |
+| heat-3d | 0.26189422 | 0.26387960 |
+| jacobi-1d | 1.0273277 | 0.99205979 |
+| jacobi-2d | 0.24812968 | 0.24891972 |
+| lu | 0.10784972 | 0.10553413 |
+| ludcmp | 0.10642397 | 0.11109796 |
+| mvt | 0.096198062 | 0.099829570 |
+| nussinov | 0.23680025 | 0.24543956 |
+| seidel-2d | 0.25317479 | 0.24189279 |
+| symm | 0.23900415 | 0.24417126 |
+| syr2k | 0.23700960 | 0.24042125 |
+| syrk | 0.24829032 | 0.24812610 |
+| trisolv | 0.11345693 | 0.11485735 |
+| trmm | 0.25103069 | 0.24199603 |
+#+tblfm: $1='(identity remote(raw-vericert,@@#$1))
+#+tblfm: $2=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-list,@@#$3) * remote(raw-vericert-list,@@#$4))
+#+tblfm: $3=(remote(raw-vericert,@@#$3) * remote(raw-vericert,@@#$4))/(remote(raw-vericert-hyper,@@#$3) * remote(raw-vericert-hyper,@@#$4))
+
+* Plots
+:PROPERTIES:
+:CUSTOM_ID: plots
+:END:
+
+#+begin_src gnuplot :var data=vericert-processed-size :file ./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg :exports results
+reset
+
+red = "#e07a5f"
+blue = "#81b29a"
+
+set style data histogram
+set style fill solid
+
+set log y
+set yrange [1:3]
+set ytics 0.5 nologscale
+set ylabel "Design size relative to Vericert"
+
+set xtics rotate nomirror
+
+set title "Vericert size comparison"
+plot data using 2:xtic(1) title "list" linecolor rgb red, \
+ data using 3 title "hyper" linecolor rgb blue
+#+end_src
+
+#+RESULTS:
+[[file:./static/5a22847d-9bd6-46e9-9e2c-1291d3f8c7b9.svg]]
+
+#+begin_src gnuplot :var data=vericert-processed-speed :file ./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg :exports results
+reset
+
+red = "#3d405b"
+blue = "#f2cc8f"
+
+set style data histogram
+set style fill solid
+
+set log y
+set yrange [0.05:1.2]
+set ytics 0.01,0.1,1
+set ylabel "Execution time relative to Vericert"
+
+set xtics rotate nomirror
+
+set title "Vericert speed comparison"
+plot data using 2:xtic(1) title "list" linecolor rgb red, \
+ data using 3 title "hyper" linecolor rgb blue
+#+end_src
+
+#+RESULTS:
+[[file:./static/a95a49aa-9aa3-4e83-b3e0-767756736ec1.svg]]