Overview Evidence tour Methodology Dead zones Problems

E5 autocatalytic reaction

DEAD ZONES3 · dim 4

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.

Chemistry & reaction kinetics

Problem definition

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.

Show canonical RHS excerpt

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,
    ])

Parameters: No captured parameters; constants are explicit in the RHS excerpt.
Initial condition: y(0) = [0.00176, 0, 0, 0]
Horizon: t ∈ [0, 1e+13]

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

Versions & freeze

Methodology →

Freeze: 2026-08-13
libsolvsrk: 2.3.0
SciPy: 1.14
SUNDIALS: CVODE (bundled backend)

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

Results matrix

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 →

Cite this page

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://resonixusa.com/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