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 _hires_rhs(t, y):
y1, y2, y3, y4, y5, y6, y7, y8 = y
return np.array([
-1.71*y1 + 0.43*y2 + 8.32*y3 + 0.0007,
1.71*y1 - 8.75*y2,
-10.03*y3 + 0.43*y4 + 0.035*y5,
8.32*y2 + 1.71*y3 - 1.12*y4,
-1.745*y5 + 0.43*y6 + 0.43*y7,
-280.0*y6*y8 + 0.69*y4 + 1.71*y5 - 0.43*y6 + 0.69*y7,
280.0*y6*y8 - 1.81*y7,
-280.0*y6*y8 + 1.81*y7,
])- Parameters
- No captured parameters; constants are explicit in the RHS excerpt.
- Initial condition
- y(0) = [1, 0, 0, 0, 0, 0, 0, 0.0057]
- Horizon
- t ∈ [0, 321.8122]
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.
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_hires_2026,
title = {Resonix Evidence Portal: HIRES isomerisation},
author = {{Resonix Labs (Canada) Inc.}},
year = {2026},
howpublished = {\url{https://resonix.tech/evidence/problems/hires}},
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