Entry #5
Completed- Hotkey
- 5HKaTt…oF77vZ
- Sent
- 28 Oct 2026, 17:29 UTC
- Source
- bc580a4c413c
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 | 0.940× | QualifiesGain lower bound 5.6%Guard passed |
| MLPvs #2 | Done2 of 2 runs | 0.966× | QualifiesGain lower bound 3.0%Guard passed |
| ResNetvs #3 | Done2 of 2 runs | 0.909× | QualifiesGain lower bound 9.0%Guard passed |
| MobileNetvs #4 | Done2 of 2 runs | 0.890× | QualifiesGain lower bound 10.9%Guard passed |
| Normalized MLPvs #5 | Done2 of 2 runs | 0.938× | QualifiesGain lower bound 4.5%Guard passed |
| Mixervs #7 | Done2 of 2 runs | 1.065× | Guard failedGain lower bound -7.1%Guard failed |
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 17473999470.945×Done1 attempt
- prod-arm64Seed 17473999470.935×Done1 attempt
By model and inputGuard at 1.100×
MLP
- Batch 1, normal1.000×
- Batch 1, sparse0.971×
- Batch 1, wide0.979×
- Batch 8, normal0.930×
- Batch 8, sparse0.931×
- Batch 8, wide0.991×
Mixer
- Batch 1, normal0.969×
- Batch 1, sparse0.980×
- Batch 1, wide0.974×
- Batch 4, normal0.977×
- Batch 4, sparse0.972×
- Batch 4, wide0.975×
ResNet
- Batch 1, normal0.975×
- Batch 1, sparse0.975×
- Batch 1, wide0.799×
- Batch 4, normal0.977×
- Batch 4, sparse0.978×
- Batch 4, wide0.802×
MobileNet
- Batch 1, normal0.957×
- Batch 1, sparse0.957×
- Batch 1, wide0.747×
- Batch 4, normal0.961×
- Batch 4, sparse0.960×
- Batch 4, wide0.744×
Normalized MLP
- Batch 1, normal0.975×
- Batch 1, sparse0.971×
- Batch 1, wide0.996×
- Batch 8, normal0.947×
- Batch 8, sparse0.929×
- Batch 8, wide0.976×
MLP2 runs
Runs
MachineTime
- prod-amd64Seed 35236815580.974×Done1 attempt
- prod-arm64Seed 35236815580.957×Done1 attempt
By model and inputGuard at 1.100×
MLP
- Batch 1, normal0.987×
- Batch 1, sparse0.981×
- Batch 1, wide1.013×
- Batch 8, normal0.923×
- Batch 8, sparse0.905×
- Batch 8, wide0.973×
ResNet2 runs
Runs
MachineTime
- prod-amd64Seed 18229196770.908×Done1 attempt
- prod-arm64Seed 18229196770.910×Done1 attempt
By model and inputGuard at 1.100×
ResNet
- Batch 1, normal0.973×
- Batch 1, sparse0.974×
- Batch 1, wide0.789×
- Batch 4, normal0.976×
- Batch 4, sparse0.977×
- Batch 4, wide0.792×
MobileNet2 runs
Runs
MachineTime
- prod-amd64Seed 28382246090.889×Done1 attempt
- prod-arm64Seed 28382246090.890×Done1 attempt
By model and inputGuard at 1.100×
MobileNet
- Batch 1, normal0.956×
- Batch 1, sparse0.957×
- Batch 1, wide0.767×
- Batch 4, normal0.960×
- Batch 4, sparse0.961×
- Batch 4, wide0.771×
Normalized MLP2 runs
Runs
MachineTime
- prod-amd64Seed 2835334080.950×Done1 attempt
- prod-arm64Seed 2835334080.926×Done1 attempt
By model and inputGuard at 1.100×
Normalized MLP
- Batch 1, normal0.945×
- Batch 1, sparse0.943×
- Batch 1, wide1.010×
- Batch 8, normal0.922×
- Batch 8, sparse0.917×
- Batch 8, wide0.965×
Mixer2 runs
Runs
MachineTime
- prod-amd64Seed 14012931201.061×Done1 attempt
- prod-arm64Seed 14012931201.068×Done1 attempt
By model and inputGuard at 1.100×
Mixer
- Batch 1, normal1.102×
- Batch 1, sparse1.100×
- Batch 1, wide1.065×
- Batch 4, normal1.096×
- Batch 4, sparse1.091×
- Batch 4, wide1.060×