Spaces:
Sleeping
Sleeping
Commit ·
5e910ae
1
Parent(s): 7a3d85a
Fix: Single task per invocation as required :)
Browse files- inference.py +10 -23
inference.py
CHANGED
|
@@ -234,33 +234,20 @@ def main():
|
|
| 234 |
debug(f"API Base : {API_BASE_URL}")
|
| 235 |
debug(f"Env Server : {ENV_BASE_URL}")
|
| 236 |
|
| 237 |
-
|
| 238 |
-
|
| 239 |
-
|
| 240 |
-
|
|
|
|
|
|
|
| 241 |
|
| 242 |
-
|
| 243 |
-
result = solve_task(task_id)
|
| 244 |
-
results.append(result)
|
| 245 |
-
total_score += result["best_reward"]
|
| 246 |
-
|
| 247 |
-
debug(f"\n{'='*60}")
|
| 248 |
-
debug("FINAL RESULTS")
|
| 249 |
-
debug('='*60)
|
| 250 |
-
|
| 251 |
-
for r in results:
|
| 252 |
-
status = "SOLVED" if r["solved"] else f"best={r['best_reward']:.3f}"
|
| 253 |
-
debug(f" Task {r['task_id']} ({r['difficulty']:6s}) {status} in {r['attempts']} attempt(s)")
|
| 254 |
-
|
| 255 |
-
avg_score = total_score / len(results)
|
| 256 |
-
tasks_solved = sum(1 for r in results if r["solved"])
|
| 257 |
|
| 258 |
-
|
| 259 |
-
debug(f" Tasks solved : {tasks_solved} / {len(results)}")
|
| 260 |
|
| 261 |
with open("results.json", "w") as f:
|
| 262 |
-
json.dump({"results":
|
| 263 |
-
debug(f"
|
| 264 |
|
| 265 |
if __name__ == "__main__":
|
| 266 |
main()
|
|
|
|
| 234 |
debug(f"API Base : {API_BASE_URL}")
|
| 235 |
debug(f"Env Server : {ENV_BASE_URL}")
|
| 236 |
|
| 237 |
+
# Get task_id from command line argument or environment variable
|
| 238 |
+
# Usage: python inference.py 1
|
| 239 |
+
if len(sys.argv) > 1:
|
| 240 |
+
task_id = int(sys.argv[1])
|
| 241 |
+
else:
|
| 242 |
+
task_id = int(os.environ.get("TASK_ID", "1"))
|
| 243 |
|
| 244 |
+
wait_for_server()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 245 |
|
| 246 |
+
result = solve_task(task_id)
|
|
|
|
| 247 |
|
| 248 |
with open("results.json", "w") as f:
|
| 249 |
+
json.dump({"results": [result], "avg_score": round(result["best_reward"], 3), "tasks_solved": 1 if result["solved"] else 0}, f, indent=2)
|
| 250 |
+
debug(f"Results saved to results.json")
|
| 251 |
|
| 252 |
if __name__ == "__main__":
|
| 253 |
main()
|