Update 10 seeds for oc1 experiments

oc1results.py

@@ -50,17 +50,18 @@ def store_result(database, dataset, accuracy, time_spent):
 
 
 def get_result(name):
-    filename = os.path.join("data", "oc1output", f"{name}.txt")
-    result_file = open(filename, "r")
-    lines = result_file.readlines()
-    result_file.close()
-    data = lines[-6:-1]
-    time_spent = []
     accuracy = []
-    for line in data:
-        acc, time_s = line.split("***")[2:4]
-        accuracy.append(float(acc))
-        time_spent.append(float(time_s))
+    time_spent = []
+    for seed in [57, 31, 1714, 17, 23, 79, 83, 97, 7, 1]:
+        filename = os.path.join("data", "oc1output", f"{name}_{seed}.txt")
+        result_file = open(filename, "r")
+        lines = result_file.readlines()
+        result_file.close()
+        data = lines[-7:-2]
+        for line in data:
+            acc, time_s = line.split("***")[2:4]
+            accuracy.append(float(acc))
+            time_spent.append(float(time_s))
     return accuracy, time_spent
 
 
@@ -74,7 +75,8 @@ for dataset in dt:
     time_mean, time_std = mean(time_spent), stdev(time_spent)
     print(
         f"accuracy=[{accuracy_mean:05.3f}\u00B1{accuracy_std:05.3f}] "
-        f"time=[{time_mean:05.3f}\u00B1{time_std:05.3f}]"
+        f"time=[{time_mean:05.3f}\u00B1{time_std:05.3f}] "
+        f"elements=[{len(accuracy)} {len(time_spent)}]"
     )
     store_result(database, dataset[0], accuracy, time_spent)
 dbh.close()