Conjectures.io

Entry #7

Benchmarking
Hotkey
5HCF2C…HHscAS
Sent
28 Oct 2026, 17:29 UTC
Source
c282f400babf

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
MLPvs #8Timing0 of 2 runs-
ResNetvs #9Timing0 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.

MLP2 runs

Runs

MachineTime
  1. prod-amd64Seed 2348469349-Queued0 attempts
  2. prod-arm64Seed 2348469349-Queued0 attempts
ResNet2 runs

Runs

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