Upload New File

result_process.py

+
+timeout = 0
+f = open("time.txt", "r")
+for line in f.readlines():
+    line = line.strip()
+    if '/' in line:
+        str_0 = line.split('/')[0]
+        str_1 = line.split('/')[1]
+        time_0 = str_0.split()[0]
+        time_00 = time_0.split('(')[0]
+        time_01 = time_0.split('(')[1]
+        time_010 = time_01[:-1]
+        time_1 = str_1.split()[0]
+        if int(time_00) + int(time_010) > int(time_1):
+            timeout = timeout +1
+    if 'Timeout' in line:
+        timeout = timeout + 1
+    if 'No free computing resources' in line:
+        timeout = timeout + 1
+f.close()
+print(timeout)