diff options
| author | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-07-14 09:56:34 +0200 |
|---|---|---|
| committer | Ulrich Bauer <mail@ulrich-bauer.org> | 2019-07-14 09:56:34 +0200 |
| commit | b0eda5e52b293e9f3e23854f600441e861a0bd49 (patch) | |
| tree | 1c8f0e56b9444a687706ebf7c978137f7a82f718 | |
| parent | 2e617248a09efdba10c2ffcf04005e1570a5c50e (diff) | |
extract results of optimization benchmarks
| -rw-r--r-- | benchmarks/Dockerfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/benchmarks/Dockerfile b/benchmarks/Dockerfile index 7cc12bd..c67db52 100644 --- a/benchmarks/Dockerfile +++ b/benchmarks/Dockerfile @@ -314,5 +314,9 @@ COPY --from=benchmark-eirene /benchmark /benchmark # COPY --from=benchmark-eirene037 /benchmark /benchmark COPY --from=benchmark-dionysus2 /benchmark /benchmark +COPY --from=benchmark-ripser-no-emergent /benchmark /benchmark +COPY --from=benchmark-ripser-store-reduced /benchmark /benchmark +COPY --from=benchmark-ripser-use-reduced /benchmark /benchmark + RUN ls -l /benchmark |