(24-08-2026, 06:28 PM)oshfdk wrote: You are not allowed to view links. Register or Login to view.(24-08-2026, 01:31 PM)Dunsel wrote: You are not allowed to view links. Register or Login to view.So the stripped ledger has full coverage and roughly 14 times Mauro’s efficiency.
As far as I remember, Mauro's metric is measured in bits. That's what I was interested in.
As a positionless conditional-ledger it scores 479,627 Nbits with gallows retained and 416,094 with gallows stripped. Mauro's published best is 480,985 Nbits, or 481,947 after his coverage correction.
So, with gallows, real close. Without, a considerable difference.
Other comparisons from Mauro's work. This is with gallows.
| Grammar | Coverage | Possible words generated | Efficiency | F1 |
|---|---|---|---|---|
| Zattera SLOT | 41.26% | 4.66 million | 7.10×10⁻⁴ | 1.43×10⁻³ |
| BASIC-13 | 50.58% | 4.56 million | 8.90×10⁻⁴ | 1.78×10⁻³ |
| BASIC-11 | 48.70% | 2.28 million | 1.72×10⁻³ | 3.40×10⁻³ |
| COMPACT-7 | 47.86% | 670,000 | 5.75×10⁻³ | 1.13×10⁻² |
| EXTENDED-12 | 88.45% | 6.12 billion | 1.16×10⁻⁶ | 2.33×10⁻⁶ |
| Finite conditional ledger | 100.00% | 7.82 billion | 1.08×10⁻⁶ | 2.15×10⁻⁶ |