Entry #3
Completed- Hotkey
- 5CJyYn…1c4fHA
- Sent
- 28 Oct 2026, 17:28 UTC
- Source
- c5b0f3bcc40c
Progress
- Queued
- Proof
- Planned
- Timing
- Done
Done means every board has a decision. It does not mean the entry took a board over.
On each board
| Board | Runs | Time | Decision |
|---|---|---|---|
| Overallvs #1 | Done2 of 2 runs | 1.182× | Guard failedGain lower bound -18.7%Guard failed |
| MLPvs #2 | Done2 of 2 runs | 1.478× | Guard failedGain lower bound -49.4%Guard failed |
| ResNetvs #3 | Done2 of 2 runs | 1.045× | Above the barGain lower bound -5.3%Guard passed |
| MobileNetvs #4 | Done2 of 2 runs | 1.069× | Above the barGain lower bound -7.1%Guard passed |
| Normalized MLPvs #5 | Done2 of 2 runs | 1.263× | Guard failedGain lower bound -28.4%Guard failed |
| Mixervs #6 | Done2 of 2 runs | 1.001× | Above the barGain lower bound -0.3%Guard passed |
The source stays private while it holds a board, and for entries that never held one.
Every run
Each board times the entry on every benchmark machine, over fresh seeds. A run's time is its weighted geometric mean over the workloads; the bars below split it by model, batch and input.
Overall2 runs
Runs
MachineTime
- prod-amd64Seed 10969221921.164×Done1 attempt
- prod-arm64Seed 10969221921.201×Done1 attempt
By model and inputGuard at 1.100×
MLP
- Batch 1, normal1.569×
- Batch 1, sparse2.007×
- Batch 1, wide1.046×
- Batch 8, normal1.563×
- Batch 8, sparse2.084×
- Batch 8, wide1.005×
Mixer
- Batch 1, normal0.990×
- Batch 1, sparse1.000×
- Batch 1, wide0.992×
- Batch 4, normal0.994×
- Batch 4, sparse0.997×
- Batch 4, wide0.995×
ResNet
- Batch 1, normal1.062×
- Batch 1, sparse1.057×
- Batch 1, wide1.036×
- Batch 4, normal1.062×
- Batch 4, sparse1.057×
- Batch 4, wide1.036×
MobileNet
- Batch 1, normal1.087×
- Batch 1, sparse1.085×
- Batch 1, wide1.045×
- Batch 4, normal1.087×
- Batch 4, sparse1.084×
- Batch 4, wide1.045×
Normalized MLP
- Batch 1, normal1.482×
- Batch 1, sparse1.700×
- Batch 1, wide1.037×
- Batch 8, normal1.462×
- Batch 8, sparse1.853×
- Batch 8, wide1.004×
MLP2 runs
Runs
MachineTime
- prod-amd64Seed 5842399391.413×Done1 attempt
- prod-arm64Seed 5842399391.547×Done1 attempt
By model and inputGuard at 1.100×
MLP
- Batch 1, normal1.527×
- Batch 1, sparse1.928×
- Batch 1, wide1.045×
- Batch 8, normal1.553×
- Batch 8, sparse2.071×
- Batch 8, wide1.023×
ResNet2 runs
Runs
MachineTime
- prod-amd64Seed 35822540221.054×Done1 attempt
- prod-arm64Seed 35822540221.036×Done1 attempt
By model and inputGuard at 1.100×
ResNet
- Batch 1, normal1.059×
- Batch 1, sparse1.053×
- Batch 1, wide1.033×
- Batch 4, normal1.059×
- Batch 4, sparse1.053×
- Batch 4, wide1.032×
MobileNet2 runs
Runs
MachineTime
- prod-amd64Seed 2861832041.066×Done1 attempt
- prod-arm64Seed 2861832041.073×Done1 attempt
By model and inputGuard at 1.100×
MobileNet
- Batch 1, normal1.083×
- Batch 1, sparse1.083×
- Batch 1, wide1.044×
- Batch 4, normal1.083×
- Batch 4, sparse1.082×
- Batch 4, wide1.043×
Normalized MLP2 runs
Runs
MachineTime
- prod-amd64Seed 4253039001.235×Done1 attempt
- prod-arm64Seed 4253039001.292×Done1 attempt
By model and inputGuard at 1.100×
Normalized MLP
- Batch 1, normal1.299×
- Batch 1, sparse1.512×
- Batch 1, wide1.033×
- Batch 8, normal1.315×
- Batch 8, sparse1.555×
- Batch 8, wide0.999×
Mixer2 runs
Runs
MachineTime
- prod-amd64Seed 22098977621.000×Done1 attempt
- prod-arm64Seed 22098977621.001×Done1 attempt
By model and inputGuard at 1.100×
Mixer
- Batch 1, normal0.994×
- Batch 1, sparse1.013×
- Batch 1, wide0.992×
- Batch 4, normal0.992×
- Batch 4, sparse0.997×
- Batch 4, wide0.994×