diff options
Diffstat (limited to 'experiments/analyze_verified.py')
| -rwxr-xr-x | experiments/analyze_verified.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/experiments/analyze_verified.py b/experiments/analyze_verified.py index da3c923..a4c4902 100755 --- a/experiments/analyze_verified.py +++ b/experiments/analyze_verified.py @@ -108,6 +108,7 @@ def print_local_baselines(root): os.path.join(root, "pepita_tuned_v1_*.json"), os.path.join(root, "baseline_budget_v1_mnist_ff_*.json"), os.path.join(root, "ep_original_v2_*.json"), + os.path.join(root, "ep_depth2_v1_mnist_ep_*.json"), ]) groups = {} for record in records: @@ -142,6 +143,7 @@ def print_ep_match(root): os.path.join(root, "ep_original_v2_*.json"), os.path.join(root, "ep_match_v1_*.json"), os.path.join(root, "ep_archmatch_v1_*.json"), + os.path.join(root, "ep_depth2_v1_*.json"), ]) groups = {} for record in records: @@ -169,6 +171,7 @@ def provenance_audit(root): os.path.join(root, "ep_original_v2_*.json"), os.path.join(root, "ep_match_v1_*.json"), os.path.join(root, "ep_archmatch_v1_*.json"), + os.path.join(root, "ep_depth2_v1_*.json"), ]) dirty = [r["_path"] for r in records if r.get("provenance", {}).get("git_dirty") is not False] print(f"\n\nProvenance: {len(records)} files audited; {len(dirty)} dirty or unknown.") |