analysis; update plots to include 128 nodes

Signed-off-by: vsoch <[email protected]>

Author: vsoch

analysis/kripke/1-run-analysis.py

@@ -183,7 +183,7 @@ def plot_results(df, outdir, non_anon=False):
     #            "google/compute-engine/cpu",
             ],
             palette=cloud_colors,
-            order=[4, 8, 16, 32, 64],
+            order=[4, 8, 16, 32, 64, 128],
         )
         if "grind" not in metric:        
             axes[0].set_title(f"Kripke {metric.capitalize()} (CPU)", fontsize=14)