Certified R-bound Calculation on True-KL0 Parameter Space Certified Grid Points Grid size 510
0.7032Rupper BoundTrue-KL0 property certification
Evaluation results
| Method | Links | ||
|---|---|---|---|
| True-KL0 property certificationd=4, p=4.95, M=5.75, tool=Arb/Arblib2026.05 | 0.7032 | 29.7 | |
| True-KL0 property certificationd=3, p=3.95, M=5.75, tool=Arb/Arblib2026.05 | 0.3178 | 68.2 | |
| True-KL0 property certificationd=2, p=2.95, M=5.75, tool=Arb/Arblib2026.05 | 0.0878 | 91.2 |