Remove sequential performance from the incremental track results. (#127)

SMT-COMP · Aug 8, 2024 · dab65d4 · dab65d4
1 parent b433fcb
commit dab65d4
Show file tree

Hide file tree

Showing 3 changed files with 32 additions and 19 deletions.
diff --git a/web/themes/smtcomp/layouts/_default/result.html b/web/themes/smtcomp/layouts/_default/result.html
@@ -29,15 +29,24 @@ <h1>{{ .Params.division }} ({{ $prettyTrack }})</h1>
 </ul>
 {{ end }}
 
+{{ $categories := slice "sequential" "parallel" "sat" "unsat" "twentyfour" }}
 {{ $winner_categories := slice "winner_seq" "winner_par" "winner_sat" "winner_unsat" "winner_24s" }}
 
+{{ if eq $.Params.track "track_incremental" }}
+{{ $winner_categories = slice "winner_par" "winner_sat" "winner_unsat" "winner_24s" }}
+{{ $categories = slice "parallel" "sat" "unsat" "twentyfour" }}
+{{ end }}
+
+{{ $winner_category_names := .Site.Data.pretty_names.winner_performance }}
+{{ $category_names := .Site.Data.pretty_names.performance }}
+
 <h3>Winners</h3>
 <table>
   <thead>
     <tr>
     {{ range $cat := $winner_categories }}
       {{ if isset $.Params $cat }}
-      <th class="center">{{$cat}}</th>
+      <th class="center">{{index $winner_category_names $cat}}</th>
       {{ end }}
     {{ end }}
     </tr>
@@ -57,16 +66,6 @@ <h3>Winners</h3>
   </tr>
 </table>
 
-{{ $categories := slice "sequential" "parallel" "sat" "unsat" "twentyfour" }}
-
-{{ $category_names := dict
-"sequential" "Sequential"
-"parallel" "Parallel"
-"sat" "SAT"
-"unsat" "UNSAT"
-"twentyfour" "24 seconds"
-}}
-
 {{ range $cat := $categories }}
 {{ with index $.Params $cat }}
 <h3>{{ index $category_names $cat }} Performance</h3>

diff --git a/web/themes/smtcomp/layouts/_default/result_comp.html b/web/themes/smtcomp/layouts/_default/result_comp.html
@@ -13,8 +13,16 @@ <h1>Largest Contribution Ranking - {{ $prettyTrack }}</h2>
   Page generated on {{ .Params.resultdate }}
 </p>
 
+{{ $categories := slice "sequential" "parallel" "sat" "unsat" "twentyfour" }}
 {{ $winner_categories := slice "winner_seq" "winner_par" "winner_sat" "winner_unsat" "winner_24s" }}
+
+{{ if eq $.Params.track "track_incremental" }}
+{{ $winner_categories = slice "winner_par" "winner_sat" "winner_unsat" "winner_24s" }}
+{{ $categories = slice "parallel" "sat" "unsat" "twentyfour" }}
+{{ end }}
+
 {{ $winner_category_names := .Site.Data.pretty_names.winner_performance }}
+{{ $category_names := .Site.Data.pretty_names.performance }}
 
 <h3>Winners</h3>
 <table>
@@ -42,9 +50,6 @@ <h3>Winners</h3>
   </tr>
 </table>
 
-{{ $categories := slice "sequential" "parallel" "sat" "unsat" "twentyfour" }}
-
-{{ $category_names := .Site.Data.pretty_names.performance }}
 
 {{ range $cat := $categories }}
 {{ with index $.Params $cat }}

diff --git a/web/themes/smtcomp/layouts/_default/results_summary.html b/web/themes/smtcomp/layouts/_default/results_summary.html
@@ -8,11 +8,20 @@
 
 {{ $categories := slice "sequential" "parallel" "sat" "unsat" "twentyfour" }}
 {{ $winner_categories := dict
-"sequential" "winner_seq"
-"parallel" "winner_par"
-"sat" "winner_sat"
-"unsat" "winner_unsat"
-"twentyfour" "winner_24s" }}
+        "sequential" "winner_seq"
+        "parallel" "winner_par"
+        "sat" "winner_sat"
+        "unsat" "winner_unsat"
+        "twentyfour" "winner_24s" }}
+
+{{ if eq $.Params.track "track_incremental" }}
+{{ $categories = slice "parallel" "sat" "unsat" "twentyfour" }}
+{{ $winner_categories := dict
+        "parallel" "winner_par"
+        "sat" "winner_sat"
+        "unsat" "winner_unsat"
+        "twentyfour" "winner_24s" }}
+{{ end }}
 
 {{ $categories_pretty := .Site.Data.pretty_names.performance }}