Li Benchmarks

double_pendulum greenvalidity pass

Tier 2 · wall_time · tier2 default grid · OS linux

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.021 (102.1% of rust speed) (table SOTA: li — Li leads; charts use rust = 1.0)
Best competitor value: 0.3076 s

No analytical verify rows in ingest yet. Run tier-1 with --verify so latest.csv exports verify_ulps / verify_within_1ulp.

Problem size: tier2 default grid (family double_pendulum)
Category: physics
Pillar: physics
Package: lic
Li / catalog oracle (mean ± σ): 0.3076 ± 0.003422 s (n=20) / 0.3195 ± 0.014799 s (n=20) (cpp)
Ratio vs catalog oracle: 0.9628×
Best competitor: li (0.3076 s)
Li relative speed vs SOTA: 1.021 (1.0 = rust speed)
Validity: validity pass
Threshold: 1.2×
Source: lic/benchmarks/workloads/tier2_physics/double_pendulum

PH ids: PH-5b

Compare oracle: cpp

Relative speed vs best competitor (rust) — SOTA = 1.0, higher is better. Absolute s values are in the table below.

Language comparison
Lang	Mean ± σ	Runs	Unit	Variant	OS
li	0.3076 ± 0.003422	20	s	release	linux
cpp	0.3195 ± 0.014799	20	s	release	linux
rust	0.3141 ± 0.010833	20	s	release	linux
julia	0.3158 ± 0.019318	20	s	release	linux
Metric: wall_time (value = mean of timed runs)