tier0_stability greenvalidity pass
Tier 0 · stability · stability suite · OS linux
Validity gate
passpass — perf claims allowed when ratio is green
Source: stability.csv
Tier-0 stability export marked this benchmark passed.
- Ratio vs best competitor
- —
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
- stability suite (family
tier0_stability) - Category
- correctness
- Pillar
- proofs
- Package
- lic
- Li / catalog oracle (mean ± σ)
- 1 pass (n=3) / — (cpp)
- Ratio vs catalog oracle
- —
- Best competitor
- —
- Li relative speed vs SOTA
- —
- Validity
- validity pass
- Threshold
- 1×
- Source
- lic/li-tests/benchmarks/tier0_correctness
PH ids: PH-5b
Performance vs best competitor
Compare oracle: cpp
No relative performance chart — missing competitor series or SOTA lang.
Absolute measurements
| Lang | Mean ± σ | Runs | Unit | Variant | OS |
|---|---|---|---|---|---|
| li | 1 | — | pass | — | — |
| li | 1 | — | pass | — | — |
| Metric: stability (value = mean of timed runs) | |||||
Host OS
| Scope | OS |
|---|---|
| Row aggregate | linux |
| li | — |
| li | — |