tmp 10/29

1 files changed, 12 insertions, 1 deletions

diff --git a/smt_analysis/computeSMTslowdown.py b/smt_analysis/computeSMTslowdown.py
index d612ea6..cf09402 100755
--- a/smt_analysis/computeSMTslowdown.py
+++ b/smt_analysis/computeSMTslowdown.py
@@ -81,7 +81,7 @@ for b1 in reliableNames:
             else:
                 if not TIMES_ONLY: print("{:>10}".format("N/A"), end=" ")
 
-            if TIMES_ONLY and (not OK_PAIRS_ONLY or Cj * 10 > Ci):
+            if TIMES_ONLY:# and (not OK_PAIRS_ONLY or Cj * 10 > Ci):
                 print("{:>12}".format(Cij), end=" ")
             elif OK_PAIRS_ONLY and Cj * 10 <= Ci:
                 print("{:>12}".format("0"), end=" ")
@@ -93,6 +93,17 @@ for b1 in reliableNames:
             M_vals.append(M)
             print("{:>10.3}".format(M), end=" ")
     print("")
+
+# Output baselines
+print("Baselines          ", end=" ")
+print()
+# Print rows
+for b1 in reliableNames:
+    print("{:<14.14}:".format(b1), end=" ")
+    Ci = sample_f(baseline_times[b1])
+    print("{:>12}".format(Ci), end=" ")
+    print("")
+
 # Print some statistics about the distribution
 print("Overall average is {:>5.3} with standard deviation {:>5.3} using `{}`".format(np.mean(M_vals), np.std(M_vals), sample_f.__name__))
 Ms = np.asarray(M_vals, dtype=np.float32)