robo_traj_opt greenvalidity pass
Tier 2 · 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
- 0.905 (90.5% of cpp speed) (best in series:
cpp— Li is never labeled best) - Best competitor value
- 0.38 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
- physics
- Pillar
- physics
- Package
- lic
- Li / catalog oracle (mean ± σ)
- 0.42 s / 0.38 s (cpp)
- Ratio vs catalog oracle
- 1.1053×
- Best competitor
- cpp (0.38 s)
- Li relative speed vs SOTA
- 0.905 (1.0 =
cppspeed) - Validity
- validity pass
- Threshold
- 1.2×
- Source
- lic/benchmarks/tier1_micro/num_quadrature_gauss
PH ids: PH-5b
Performance vs best competitor
Compare oracle: cpp
Absolute measurements
| Lang | Mean ± σ | Runs | Unit | Variant | OS |
|---|---|---|---|---|---|
| li | 0.42 | — | s | release | linux |
| cpp | 0.38 | — | s | release | linux |
| rust | 0.41 | — | s | release | linux |
| julia | 0.55 | — | 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 |