All benchmark types
Reasoning (N3 · RDFS · OWL-RL)
Forward-closure materialization — the Deep Taxonomy depth series — with an EYE cross-engine reference.
Latest commit a40cf2a1 · every metric smaller-is-better · each group header shows a competitive summary computed live from real same-box competitor numbers (or an honest placeholder where none exist yet).
No same-box competitor baseline has been gathered for this suite yet — sparq's absolute numbers are shown below.
| Benchmark | sparq | Unit |
|---|---|---|
Deep Taxonomy dt10k — N3 forward-closure timedeeptax_d10000_closure_s | 0.066 | s |
Deep Taxonomy dt10k — class-membership query over the closuredeeptax_d10000_query_us | 7.8 | us |
Deep Taxonomy dt10k — materialized closure sizedeeptax_d10000_closure_triples | 20,001 | triples |
Deep Taxonomy dt1k — N3 forward-closure timedeeptax_d1000_closure_s | 0.008 | s |
Deep Taxonomy dt1k — class-membership query over the closuredeeptax_d1000_query_us | 4.8 | us |
Deep Taxonomy dt1k — materialized closure sizedeeptax_d1000_closure_triples | 2,001 | triples |
External reference baselines (cross-machine — not a same-box comparison)
- eye v11.24.4 (2026-05-12), SWI-Prolog 10.0.2 — forward closure (parse → fixpoint → serialize), wall-clock: 4.19 s (dt1k — 1000-deep :sc chain, Apple M1 (fanless), macOS 25.4.0, idle; REASONING-CLOSURE task on an M1 — different task/machine/unit from any dashboard metric. Reference only.)
- eye v11.24.4 (2026-05-12), SWI-Prolog 10.0.2 — forward closure, wall-clock: 377.9 s (dt10k — 10000-deep :sc chain, Apple M1 (fanless), macOS 25.4.0, idle; Reasoning closure on an M1; different task/machine/unit. Reference only.)
- eye v11.24.4 (2026-05-12), SWI-Prolog 10.0.2 — forward closure, wall-clock: n/a (not gathered) (dt100k — 100000-deep :sc chain, Apple M1 (fanless), macOS 25.4.0, idle; n/a (not gathered) — EYE was not run at dt100k. NOT fabricated.)