返回 DeepSeek-Reasonix
timings.py
根目录 / benchmarks / verification-stress / tasks / vs-neu-unitshift / workdir / timings.py
1 SLOW_MS = 2000
2 BUDGET_MS = 60_000
3
4 def record(ms):
5 return {"elapsed_ms": ms}
6
6 lines PYTHON