Li Benchmarks

simd_dot greenvalidity pass

Tier 1 · wall_time · N=10_000_000 · variant shared_c_kernel · 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: 0.971 (97.1% of julia speed) (table SOTA: julia — best competitor; charts use julia = 1.0)
Best competitor value: 0.0932 s

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

Problem size: N=10_000_000 (family simd_dot)
Category: micro
Pillar: numerics
Package: lic
Li / catalog oracle (mean ± σ): 0.096 ± 0.005907 s (n=20) / 0.1166 ± 0.012798 s (n=20) (cpp)
Ratio vs catalog oracle: 0.8233×
Best competitor: julia (0.0932 s)
Li relative speed vs SOTA: 0.971 (1.0 = julia speed)
Validity: validity pass
Threshold: 1.2×
Source: lic/benchmarks/workloads/tier1_micro/simd_dot

PH ids: PH-5b, PH-7e

Compare oracle: cpp

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

Language comparison
Lang	Mean ± σ	Runs	Unit	Variant	OS
li	0.096 ± 0.005907	20	s	release	linux
cpp	0.1166 ± 0.012798	20	s	release	linux
rust	0.1117 ± 0.014124	20	s	release	linux
julia	0.0932 ± 0.003866	20	s	release	linux
Metric: wall_time (value = mean of timed runs)