imo-v1

Summary

Accuracy is the per-run success rate; every proved run is kernel-verified (Gate A). pass@k arrives with per-attempt telemetry (SPEC-092-A).

Benchmarks (17)

• imo2020p2
  open
  d4Copy run
• imo2020p3
  open
  d4Copy run
• imo2020p5
  open
  d4Copy run
• imo2021p1
  open
  d4Copy run
• imo2021p2
  open
  d4Copy run
• imo2021p5
  open
  d4Copy run
• imo2021p6
  open
  d4Copy run
• imo2022p5
  open
  d4Copy run
• imo2023p3
  open
  d4Copy run
• imo2023p6
  open
  d4Copy run
• imo2024p1
  open
  d4Copy run
• imo2024p2
  open
  d4Copy run
• imo2025p1
  open
  d4Copy run
• imo2025p3
  open
  d4Copy run
• imo2025p4
  open
  d4Copy run
• imo2025p5
  open
  d4Copy run
• imo2025p6
  open
  d4Copy run

Runs (0)

No runs recorded for this suite yet — they appear here as the swarm attempts the benchmarks.