Merge branch 'main' into update-import

benedikt-schesch · May 4, 2024 · 21287ad · 21287ad
2 parents 5d56ad6 + 83d2aab
commit 21287ad
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/results/combined/tables/all/table_run_time.tex b/results/combined/tables/all/table_run_time.tex
@@ -6,7 +6,7 @@
     Gitmerge-ort                     & 0.04 & 0.04 & 1.19 \\
     Gitmerge-ort-ignorespace         & 0.04 & 0.04 & 1.22 \\
     Gitmerge-recursive-histogram     & 0.05 & 0.04 & 2.97 \\
-    Gitmerge-recursive-ignorespace   & 0.05 & 0.04 & 2.14 \\
+    Gitmerge-recursive-ignorespace   & 0.04 & 0.04 & 2.14 \\
     Gitmerge-recursive-minimal       & 0.05 & 0.04 & 2.13 \\
     Gitmerge-recursive-myers         & 0.05 & 0.04 & 2.11 \\
     Gitmerge-recursive-patience      & 0.05 & 0.04 & 3.05 \\

diff --git a/results/combined/tables/git/table_run_time.tex b/results/combined/tables/git/table_run_time.tex
@@ -6,7 +6,7 @@
     Gitmerge-ort                     & 0.04 & 0.04 & 1.19 \\
     Gitmerge-ort-ignorespace         & 0.04 & 0.04 & 1.22 \\
     Gitmerge-recursive-histogram     & 0.05 & 0.04 & 2.97 \\
-    Gitmerge-recursive-ignorespace   & 0.05 & 0.04 & 2.14 \\
+    Gitmerge-recursive-ignorespace   & 0.04 & 0.04 & 2.14 \\
     Gitmerge-recursive-minimal       & 0.05 & 0.04 & 2.13 \\
     Gitmerge-recursive-myers         & 0.05 & 0.04 & 2.11 \\
     Gitmerge-recursive-patience      & 0.05 & 0.04 & 3.05 \\