Conjectures.io

Entry #2

Completed
Hotkey
5Gb23s…iaWuoX
Sent
28 Oct 2026, 17:28 UTC
Source
cea4422fb6d3

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 the shipped referenceDone2 of 2 runs0.062×QualifiesGain lower bound 93.8%Guard passed
MLPvs the shipped referenceDone2 of 2 runs0.129×QualifiesGain lower bound 87.0%Guard passed
ResNetvs the shipped referenceDone2 of 2 runs0.050×QualifiesGain lower bound 94.9%Guard passed
MobileNetvs the shipped referenceDone2 of 2 runs0.045×QualifiesGain lower bound 95.5%Guard passed
Normalized MLPvs the shipped referenceDone2 of 2 runs0.081×QualifiesGain lower bound 91.6%Guard passed
Mixervs the shipped referenceDone2 of 2 runs0.045×QualifiesGain lower bound 95.4%Guard passed

Download Kernel.lean

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 14976640810.064×Done1 attempt
  2. prod-arm64Seed 14976640810.061×Done1 attempt

By model and inputGuard at 1.100×

MLP

  • Batch 1, normal0.129×
  • Batch 1, sparse0.114×
  • Batch 1, wide0.184×
  • Batch 8, normal0.112×
  • Batch 8, sparse0.095×
  • Batch 8, wide0.172×

Mixer

  • Batch 1, normal0.042×
  • Batch 1, sparse0.042×
  • Batch 1, wide0.043×
  • Batch 4, normal0.042×
  • Batch 4, sparse0.042×
  • Batch 4, wide0.043×

ResNet

  • Batch 1, normal0.046×
  • Batch 1, sparse0.046×
  • Batch 1, wide0.060×
  • Batch 4, normal0.046×
  • Batch 4, sparse0.047×
  • Batch 4, wide0.060×

MobileNet

  • Batch 1, normal0.040×
  • Batch 1, sparse0.041×
  • Batch 1, wide0.057×
  • Batch 4, normal0.040×
  • Batch 4, sparse0.041×
  • Batch 4, wide0.058×

Normalized MLP

  • Batch 1, normal0.070×
  • Batch 1, sparse0.066×
  • Batch 1, wide0.095×
  • Batch 8, normal0.065×
  • Batch 8, sparse0.057×
  • Batch 8, wide0.088×
MLP2 runs

Runs

MachineTime
  1. prod-amd64Seed 23368762180.139×Done1 attempt
  2. prod-arm64Seed 23368762180.120×Done1 attempt

By model and inputGuard at 1.100×

MLP

  • Batch 1, normal0.125×
  • Batch 1, sparse0.113×
  • Batch 1, wide0.179×
  • Batch 8, normal0.113×
  • Batch 8, sparse0.096×
  • Batch 8, wide0.167×
ResNet2 runs

Runs

MachineTime
  1. prod-amd64Seed 20404546430.050×Done1 attempt
  2. prod-arm64Seed 20404546430.051×Done1 attempt

By model and inputGuard at 1.100×

ResNet

  • Batch 1, normal0.045×
  • Batch 1, sparse0.046×
  • Batch 1, wide0.060×
  • Batch 4, normal0.045×
  • Batch 4, sparse0.046×
  • Batch 4, wide0.060×
MobileNet2 runs

Runs

MachineTime
  1. prod-amd64Seed 14848393370.045×Done1 attempt
  2. prod-arm64Seed 14848393370.045×Done1 attempt

By model and inputGuard at 1.100×

MobileNet

  • Batch 1, normal0.039×
  • Batch 1, sparse0.040×
  • Batch 1, wide0.056×
  • Batch 4, normal0.040×
  • Batch 4, sparse0.041×
  • Batch 4, wide0.056×
Normalized MLP2 runs

Runs

MachineTime
  1. prod-amd64Seed 2991548160.087×Done1 attempt
  2. prod-arm64Seed 2991548160.076×Done1 attempt

By model and inputGuard at 1.100×

Normalized MLP

  • Batch 1, normal0.078×
  • Batch 1, sparse0.072×
  • Batch 1, wide0.114×
  • Batch 8, normal0.071×
  • Batch 8, sparse0.061×
  • Batch 8, wide0.103×
Mixer2 runs

Runs

MachineTime
  1. prod-amd64Seed 6283250360.045×Done1 attempt
  2. prod-arm64Seed 6283250360.045×Done1 attempt

By model and inputGuard at 1.100×

Mixer

  • Batch 1, normal0.043×
  • Batch 1, sparse0.044×
  • Batch 1, wide0.045×
  • Batch 4, normal0.044×
  • Batch 4, sparse0.045×
  • Batch 4, wide0.046×