From f793e9f56eea82cc730268f0d244848f3294abff Mon Sep 17 00:00:00 2001 From: Gertjan van den Burg Date: Tue, 23 Jun 2020 18:00:00 +0100 Subject: Bump labella.py version and update rankplots This commit introduces no changes to the results of the benchmark, but simply updates the version of labella.py, which is used to compute the rank plots. This update fixes the floating point accuracy of coordinates in the tex files, thus aiding reproducibility. --- .../output/rankplots/rankplot_best_cover_multi.pdf | Bin 22584 -> 22596 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'analysis/output/rankplots/rankplot_best_cover_multi.pdf') diff --git a/analysis/output/rankplots/rankplot_best_cover_multi.pdf b/analysis/output/rankplots/rankplot_best_cover_multi.pdf index e80a12a4..2b190127 100644 Binary files a/analysis/output/rankplots/rankplot_best_cover_multi.pdf and b/analysis/output/rankplots/rankplot_best_cover_multi.pdf differ -- cgit v1.2.3