← Explore Harbor-Index
hle
hle-interval-coverage-bound
18 trials · 0% solve rate · task definition on Harbor Hub ↗
TN 17FN 1
Instruction
Let denote the smallest positive integer such that for any real numbers , there exist real numbers satisfying the property that for each . Find .
Write your answer to /logs/artifacts/response.txt in exactly this format:
Explanation: <your reasoning>
Answer: <your final answer>
Confidence: <your confidence as a percentage, e.g. 85%>
You have up to 30 minutes (1800 seconds) to complete this task. Do not cheat by using online solutions or hints specific to this task.
Trials
| model | harness | outcome | reward | |
|---|---|---|---|---|
| DeepSeek V4terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| Gemini 3.1gemini-cli | gemini-cli | TN | 0.00 | view →view trajectory → |
| Gemini 3.1terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| GLM 5.2claude-code | claude-code | TN | 0.00 | view →view trajectory → |
| GLM 5.2terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| GPT-5.5codex | codex | TN | 0.00 | view →view trajectory → |
| GPT-5.5terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| Kimi K2.6claude-code | claude-code | TN | 0.00 | view →view trajectory → |
| Kimi K2.6terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| MiMo V2.5claude-code | claude-code | TN | 0.00 | view →view trajectory → |
| MiMo V2.5terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| MiniMax M3claude-code | claude-code | TN | 0.00 | view →view trajectory → |
| MiniMax M3terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| Opus 4.8claude-code | claude-code | TN | 0.00 | view →view trajectory → |
| Opus 4.8terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| Qwen3.7claude-code | claude-code | TN | 0.00 | view →view trajectory → |
| Qwen3.7terminus-2 | terminus-2 | TN | 0.00 | view →view trajectory → |
| DeepSeek V4claude-code | claude-code | FN | 0.00 | view →view trajectory → |