Solve problem

detail.py

@@ -0,0 +1,22 @@
+import os
+
+path = "result/dilemma/clam/clam"
+
+
+if os.path.exists(path):
+    dir_list = os.listdir(path)
+    result = {}
+    for file in dir_list:
+        if file.endswith(".log"):
+            file_path = os.path.join(path, file)
+            index = int(file.split("problem")[1].split(".")[0])
+            with open(file_path, 'r') as f:
+                content = f.read()
+                if "Proof Success" in content:
+                    result[index] = "Success"
+                elif "timed out" in content:
+                    result[index] = "Timed out"
+                else:
+                    result[index] = "Error"
+    for key in sorted(result.keys()):
+        print(f"Problem {key}: {result[key]}")

lib/engine.ml

@@ -87,7 +87,7 @@ let rec progress worklist statelist lemma_set =
       print_endline (">>> " ^ Proof.pp_tactic tactic ^ "(rank : " ^ string_of_int r ^ ")")
     in
     let _ = Proof.pp_t next_t |> print_endline in
-    (* let _ = if i = 2 then Proof.proof_top next_t in *)
+    (* let _ = if i = 5 then Proof.proof_top next_t in *)
     let lemma_set =
       match is_end_of_conj t next_t with
       | true ->