Partial / unstable. SolvSRK survives more than 0% but less than 90% of runs at the comparison noise level, without being beaten by a baseline there. Usable with margin and monitoring; validate on your own configuration. All verdicts →
Chaotic Hamiltonian system; energy conservation benchmark
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 _henon_heiles_rhs(t, y):
q1, q2, p1, p2 = y
return np.array([
p1,
p2,
-q1 - 2 * q1 * q2,
-q2 - q1**2 + q2**2,
])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: low
Default noise: medium
Recommendation snapshot
Clean best: Vern9
Noisy best: SolvSRK
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: Hénon-Heiles Hamiltonian (henon-heiles-hamiltonian)
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 |
|---|---|---|---|---|---|---|
| 1 | Vern9external | 100% | 5.4 | 36,754 | 2.84 s | 0.747 |
| 2 | SolvSRK | 100% | 5.3 | 126,384 | 316 ms | 0.746 |
| 3 | SciPy RadauSciPy | 100% | 5.1 | 217,488 | 2.29 s | 0.740 |
| 4 | Vern7external | 100% | 5.0 | 46,882 | 2.93 s | 0.739 |
| 5 | SciPy DOP853SciPy | 100% | 3.3 | 27,254 | 97 ms | 0.698 |
| 6 | Tsit5external | 100% | 3.3 | 49,194 | 2.80 s | 0.696 |
| 7 | SciPy RK45SciPy | 100% | 2.8 | 57,650 | 225 ms | 0.685 |
| 8 | FBDFexternal | 100% | 2.7 | 97,706 | 4.02 s | 0.683 |
| 9 | SciPy LSODASciPy | 100% | 2.7 | 19,537 | 48 ms | 0.683 |
| 10 | CVODE Adamsexternal | 100% | 2.0 | 14,539 | 69 ms | 0.666 |
| 11 | CVODE BDFexternal | 100% | 2.0 | 27,042 | 124 ms | 0.666 |
| 12 | SciPy RK23SciPy | 100% | 1.9 | 302,195 | 1.49 s | 0.665 |
| 13 | SciPy BDFSciPy | 100% | 1.8 | 51,462 | 975 ms | 0.662 |
| 14 | TRBDF2external | 100% | 1.2 | 205,446 | 5.00 s | 0.648 |
At Clean, best balanced arm is Vern9 · SolvSRK survival 100%, SCD 5.3.
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_henon_heiles_hamiltonian_2026,
title = {Resonix Evidence Portal: Hénon-Heiles Hamiltonian},
author = {{Resonix Labs (Canada) Inc.}},
year = {2026},
howpublished = {\url{https://resonix.tech/evidence/problems/henon-heiles-hamiltonian}},
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