Conjectures.io

Entry #4

Completed
Hotkey
5ES53t…ERXCzz
Sent
28 Oct 2026, 17:29 UTC
Source
b343f5e184f5

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 #1Done0 of 2 runs-Benchmark failed
MLPvs #2Done2 of 2 runs1.309×Guard failedGain lower bound -32.6%Guard failed
ResNetvs #3Done0 of 2 runs-Benchmark failed
MobileNetvs #4Done0 of 2 runs-Benchmark failed
Normalized MLPvs #5Done0 of 2 runs-Benchmark failed
Mixervs #6Done2 of 2 runs0.876×QualifiesGain lower bound 11.8%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
  1. prod-amd64Seed 507125870-Cancelled2 attempts
  2. prod-arm64Seed 507125870-Failed1 attempt
MLP2 runs

Runs

MachineTime
  1. prod-amd64Seed 17824291361.262×Done1 attempt
  2. prod-arm64Seed 17824291361.358×Done1 attempt

By model and inputGuard at 1.100×

MLP

  • Batch 1, normal1.290×
  • Batch 1, sparse1.651×
  • Batch 1, wide1.032×
  • Batch 8, normal1.268×
  • Batch 8, sparse1.667×
  • Batch 8, wide0.974×
ResNet2 runs

Runs

MachineTime
  1. prod-amd64Seed 4049751322-Cancelled1 attempt
  2. prod-arm64Seed 4049751322-Failed1 attempt
MobileNet2 runs

Runs

MachineTime
  1. prod-amd64Seed 1012216552-Cancelled1 attempt
  2. prod-arm64Seed 1012216552-Failed1 attempt
Normalized MLP2 runs

Runs

MachineTime
  1. prod-amd64Seed 1210748294-Cancelled1 attempt
  2. prod-arm64Seed 1210748294-Failed1 attempt
Mixer2 runs

Runs

MachineTime
  1. prod-amd64Seed 39467193360.886×Done1 attempt
  2. prod-arm64Seed 39467193360.867×Done1 attempt

By model and inputGuard at 1.100×

Mixer

  • Batch 1, normal0.865×
  • Batch 1, sparse0.859×
  • Batch 1, wide0.899×
  • Batch 4, normal0.867×
  • Batch 4, sparse0.863×
  • Batch 4, wide0.904×