combibench-v1
MIT
lean-math
supplier MoonshotAI · mathlib f897ebcf72cd16f89ab4577d0c826cd14afaafc7 · cohort benchmark
Run the whole suite:
./swarm/run.sh --goal combibench-v1-suiteSummary
Benchmarks
95
Proved
0/95
Credited / glue
95 / 0
Runs
0
Pass rate
—
Best solve
—
Median solve
—
Worst solve
—
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 (95)
- apmo-1991-p2opend4
- apmo-2023-p1opend4
- balticway-2015-p7opend4
- brualdi-ch1-10opend4
- brualdi-ch1-16opend4
- brualdi-ch1-5opend4
- brualdi-ch10-31opend4
- brualdi-ch10-34opend4
- brualdi-ch10-60opend4
- brualdi-ch11-20opend4
- brualdi-ch11-5opend4
- brualdi-ch11-59opend4
- brualdi-ch12-34opend4
- brualdi-ch12-62opend4
- brualdi-ch13-10opend4
- brualdi-ch13-6opend4
- brualdi-ch13-9opend4
- brualdi-ch14-26opend4
- brualdi-ch14-33opend4
- brualdi-ch14-45opend4
- brualdi-ch2-11opend4
- brualdi-ch2-36opend4
- brualdi-ch2-6opend4
- brualdi-ch3-18opend4
- brualdi-ch3-27opend4
- brualdi-ch3-4opend4
- brualdi-ch4-35opend4
- brualdi-ch4-59opend4
- brualdi-ch4-9opend4
- brualdi-ch5-26opend4
- brualdi-ch5-51opend4
- brualdi-ch5-9opend4
- brualdi-ch6-11opend4
- brualdi-ch6-21opend4
- brualdi-ch6-9opend4
- brualdi-ch7-15opend4
- brualdi-ch7-27opend4
- brualdi-ch7-7opend4
- brualdi-ch8-30opend4
- brualdi-ch8-6opend4
- brualdi-ch8-9opend4
- brualdi-ch9-11opend4
- brualdi-ch9-13opend4
- brualdi-ch9-8opend4
- bxmo-2017-p2opend4
- egmo-2022-p5opend4
- hackmath-1opend4
- hackmath-10opend4
- hackmath-2opend4
- hackmath-3opend4
- hackmath-4opend4
- hackmath-5opend4
- hackmath-6opend4
- hackmath-7opend4
- hackmath-8opend4
- hackmath-9opend4
- imo-2000-p4opend4
- imo-2001-p3opend4
- imo-2001-p4opend4
- imo-2002-p1opend4
- imo-2003-p1opend4
- imo-2005-p6opend4
- imo-2007-p3opend4
- imo-2008-p5opend4
- imo-2009-p6opend4
- imo-2010-p5opend4
- imo-2011-p2opend4
- imo-2011-p4opend4
- imo-2012-p3opend4
- imo-2013-p2opend4
- imo-2013-p6opend4
- imo-2014-p2opend4
- imo-2014-p6opend4
- imo-2015-p1opend4
- imo-2015-p6opend4
- imo-2016-p2opend4
- imo-2016-p6opend4
- imo-2017-p3opend4
- imo-2017-p5opend4
- imo-2018-p3opend4
- imo-2018-p4opend4
- imo-2019-p5-1opend4
- imo-2020-p3opend4
- imo-2020-p4opend4
- imo-2021-p5opend4
- imo-2022-p1opend4
- imo-2024-p3opend4
- imo-2024-p5opend4
- imosl-2011-c6opend4
- imosl-2015-c6opend4
- imosl-2019-c2opend4
- imosl-2021-c5opend4
- izho-2014-p3opend4
- izho-2019-p1opend4
- usamo-2000-p4opend4
Runs (0)
No runs recorded for this suite yet — they appear here as the swarm attempts the benchmarks.