num_integ_rk4 greenvalidity pass
Tier 1 · wall_time · algo registry stub · variant algo_registry · OS linux
Validity gate
passpass — perf claims allowed when ratio is green
Source: latest.csv:perf_present
Wall-clock row exists only — no explicit correctness signal yet.
- Ratio vs best competitor
- 1.050 (105.0% of julia speed) (best in series:
julia— Li is never labeled best) - Best competitor value
- 0.0021 s
Numeric oracle
No analytical verify rows in ingest yet. Run tier-1 with --verify so latest.csv exports verify_ulps / verify_within_1ulp.
- Problem size
- algo registry stub
- Category
- micro
- Pillar
- numerics
- Package
- lic
- Li / catalog oracle (mean ± σ)
- 0.002 s / 0.0022 s (cpp)
- Ratio vs catalog oracle
- 0.9091×
- Best competitor
- julia (0.0021 s)
- Li relative speed vs SOTA
- 1.050 (1.0 =
juliaspeed) - Validity
- validity pass
- Threshold
- 1.2×
- Source
- lic/benchmarks/tier1_micro/num_integ_rk4
PH ids: PH-5b
Performance vs best competitor
Compare oracle: cpp
Absolute measurements
| Lang | Mean ± σ | Runs | Unit | Variant | OS |
|---|---|---|---|---|---|
| li | 0.002 | — | s | release | linux |
| cpp | 0.0022 | — | s | release | linux |
| rust | 0.0022 | — | s | release | linux |
| julia | 0.0021 | — | s | release | linux |
| Metric: wall_time (value = mean of timed runs) | |||||
Host OS
| Scope | OS |
|---|---|
| Row aggregate | linux |
| li (release) | linux |
| cpp (release) | linux |
| rust (release) | linux |
| julia (release) | linux |