From 72a31ea3cec0eca6c224184a30ce7d62659e277e Mon Sep 17 00:00:00 2001 From: David Renshaw Date: Tue, 24 Dec 2024 11:50:08 -0500 Subject: [PATCH] remove process_tryAtEachStep_output.py, obsoleted by new upstream features --- process_tryAtEachStep_output.py | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100644 process_tryAtEachStep_output.py diff --git a/process_tryAtEachStep_output.py b/process_tryAtEachStep_output.py deleted file mode 100644 index b4af837..0000000 --- a/process_tryAtEachStep_output.py +++ /dev/null @@ -1,26 +0,0 @@ -import json -from pathlib import Path - -directory = Path("tryAtEachStep-out") - -results = [] - -for filepath in directory.iterdir(): - if filepath.is_file(): - with open(filepath) as f: - try: - jarr = json.load(f) - results.extend(jarr) - except json.JSONDecodeError as e: - pass #print(e) - -results = list(filter(lambda x: x["fewerSteps"], results)) -results = list(filter(lambda x: not x["message"] == "Try this: exact rfl", results)) -results = list(filter(lambda x: x["goalIsProp"], results)) -for r in results: - lengthReduction = len(r["oldProof"]) - len(r["newProof"]) - r['lengthReduction'] = lengthReduction - del r["oldProof"] # these tend to be kind of unwieldy - -results.sort(key = lambda x : x["lengthReduction"], reverse = True) -print(json.dumps(results, indent = 2))