Conjectures.io

Entry #6

Benchmarking
Hotkey
5Gn6jG…SsMvrX
Sent
28 Oct 2026, 17:29 UTC
Source
65caaad50b7b

Progress

  1. Queued
  2. Proof
  3. Planned
  4. Timing
  5. Done

Done means every board has a decision. It does not mean the entry took a board over.

On each board

BoardRunsTimeDecision
Overallvs #12Timing0 of 2 runs-
MLPvs #8Done2 of 2 runs1.132×Guard failedGain lower bound -13.3%Guard failed
ResNetvs #9Done0 of 2 runs-Benchmark failed
MobileNetvs #10Timing0 of 2 runs-
Normalized MLPvs #11Timing0 of 2 runs-
Mixervs #7Timing0 of 2 runs-

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
  1. prod-amd64Seed 3710365867-Queued0 attempts
  2. prod-arm64Seed 3710365867-Queued0 attempts
MLP2 runs

Runs

MachineTime
  1. prod-amd64Seed 32975063991.098×Done1 attempt
  2. prod-arm64Seed 32975063991.166×Done1 attempt

By model and inputGuard at 1.100×

MLP

  • Batch 1, normal1.109×
  • Batch 1, sparse1.380×
  • Batch 1, wide0.905×
  • Batch 8, normal1.143×
  • Batch 8, sparse1.508×
  • Batch 8, wide0.883×
ResNet2 runs

Runs

MachineTime
  1. prod-amd64Seed 1717905932-Failed1 attempt
  2. prod-arm64Seed 1717905932-Cancelled0 attempts
MobileNet2 runs

Runs

MachineTime
  1. prod-amd64Seed 131630166-Running1 attempt
  2. prod-arm64Seed 131630166-Running1 attempt
Normalized MLP2 runs

Runs

MachineTime
  1. prod-amd64Seed 2403654832-Queued0 attempts
  2. prod-arm64Seed 2403654832-Queued0 attempts
Mixer2 runs

Runs

MachineTime
  1. prod-amd64Seed 4222184758-Queued0 attempts
  2. prod-arm64Seed 4222184758-Queued0 attempts