Everything fails. No arm — SolvSRK included — survives the clean benchmark configuration. No solver choice rescues this. Reformulate, shorten the horizon, or change tolerances. All verdicts →
A four-species Enright–Pryce stiff reaction with a stiffness ratio near 10^11. Published here as a dead zone: no arm — SolvSRK included — clears the acceptance bar at the catalog horizon.
Canonical benchmark implementation
Canonical RHS excerpt from the registered callable used for this benchmark cell. Expand it to verify the state equations; it is not a standalone runnable fixture.
def _e5_rhs(t, y):
y1, y2, y3, y4 = y
return np.array([
-7.89e-10 * y1 - 1.1e7 * y1 * y3,
7.89e-10 * y1 - 1.13e9 * y2 * y3,
7.89e-10 * y1 - 1.1e7 * y1 * y3 + 1.13e3 * y4 - 1.13e9 * y2 * y3,
1.1e7 * y1 * y3 - 1.13e3 * y4,
])Canonical RHS excerpt captured from the same registered callable used for the published benchmark. Frozen closure values are summarized below; helper imports and solver settings are intentionally omitted.
Fingerprint
Spread: extreme
Default noise: clean
Recommendation snapshot
Clean best: none (all arms fail)
Noisy best: none (all arms fail)
Coverage
14 solver arms · clean + 5 noise levels
Ranked on survival, precision, and speed
20 seeds/cell default · 14 arms · TRL 4–5 · simulation-lab validated · this page: E5 autocatalytic reaction (e5)
Governed SolvTune benchmark freeze; per-arm medians only. RHS definitions and raw trial rows are not published.
Self-reported by Resonix Labs · not independently verified
Pick an objective and a noise level to rank all arms on survival, median SCD, median nfev, and median wall time. Medians across seeds.
Objective
Best overall trade-off of survival, precision, and speed.
Noise level
| # | Solver | Survival | SCD | nfev | Wall | Score |
|---|---|---|---|---|---|---|
| — | SciPy BDFSciPy | 0% | — | — | — | — |
| — | SciPy RadauSciPy | 0% | — | — | — | — |
| — | SciPy RK45SciPy | 0% | — | — | — | — |
| — | SciPy LSODASciPy | 0% | — | — | — | — |
| — | SciPy DOP853SciPy | 0% | — | — | — | — |
| — | SciPy RK23SciPy | 0% | — | — | — | — |
| — | CVODE BDFexternal | 0% | — | — | — | — |
| — | CVODE Adamsexternal | 0% | — | — | — | — |
| — | Tsit5external | 0% | — | — | — | — |
| — | SolvSRK | 0% | — | — | — | — |
Dead zone at Clean: no arm clears the acceptance bar.
Values are medians across seeds, measured by Resonix Labs on Resonix hardware and not independently verified; nfev and wall are on reference lab hardware (indicative). Under injected noise only SolvSRK and the SciPy arms are run. How we measure accuracy → · Verification status →
SolvScout · free
This page shows one published benchmark cell. SolvScout fingerprints your ODE, compares it to the full corpus, and recommends a solver with the same survival / precision / speed ranking you see here — including when a SciPy arm wins.
SolvSRK · 30-day trial
SolvSRK is the stiffness-adaptive integrator behind the SolvSRK column in these tables. Create an account, activate a machine, and take a 30-day trial — same binary you'd ship after purchase.
Replace the access date. Pin the freeze ID and library versions when comparing against a later export. Cite it as what it is — a self-reported vendor benchmark, not an independently verified result. The note field says so; please keep it.
@misc{resonix_evidence_e5_2026,
title = {Resonix Evidence Portal: E5 autocatalytic reaction},
author = {{Resonix Labs (Canada) Inc.}},
year = {2026},
howpublished = {\url{https://resonix.tech/evidence/problems/e5}},
note = {Self-reported vendor benchmark; internally generated by Resonix Labs and not independently verified. Accessed YYYY-MM-DD. Freeze 2026-08-13; libsolvsrk 2.3.0; SciPy 1.14.}
}TRL 4–5 · simulation-lab validated · 398 problems · 14 solver arms · clean + 5 noise levels
Freeze: 2026-08-13 · scipy 1.14 · libsolvsrk 2.3.0 · Methodology
Self-reported by Resonix Labs · not independently verified · Verification status