Structural Certification Error Analysis on Maze Environment 100 x 100
0.0016Tightness GapStructural Certification
Evaluation Results
| Method | Links | |
|---|---|---|
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=4002026.06 | 0.0016 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=2002026.06 | 0.002 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=3002026.06 | 0.002 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=1252026.06 | 0.0021 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=1502026.06 | 0.0023 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=4002026.06 | 0.0032 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=1002026.06 | 0.0035 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=3002026.06 | 0.0036 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=2002026.06 | 0.0041 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=752026.06 | 0.0042 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=1252026.06 | 0.0047 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=1502026.06 | 0.0048 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=1002026.06 | 0.0053 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=4002026.06 | 0.0056 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=3002026.06 | 0.0058 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=502026.06 | 0.0059 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=752026.06 | 0.0064 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=2002026.06 | 0.0067 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=1502026.06 | 0.007 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=1252026.06 | 0.0074 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=1002026.06 | 0.0075 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=502026.06 | 0.008 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=752026.06 | 0.0091 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=4002026.06 | 0.0101 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=3002026.06 | 0.0107 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=2002026.06 | 0.0111 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=502026.06 | 0.0113 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=1502026.06 | 0.0116 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=1002026.06 | 0.0121 | |
| Structural CertificationFailure rate threshold (Δf)=0.01, Goal depth (n)=252026.06 | 0.0124 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=1252026.06 | 0.0126 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=752026.06 | 0.0134 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=4002026.06 | 0.0137 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=3002026.06 | 0.014 | |
| Structural CertificationFailure rate threshold (Δf)=0.03, Goal depth (n)=252026.06 | 0.0144 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=2002026.06 | 0.0144 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=1502026.06 | 0.0154 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=502026.06 | 0.0156 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=1002026.06 | 0.0159 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=1252026.06 | 0.0162 | |
| Structural CertificationFailure rate threshold (Δf)=0.05, Goal depth (n)=252026.06 | 0.0168 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.15, Goal depth (n)=4002026.06 | 0.017 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=752026.06 | 0.0177 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=4002026.06 | 0.0184 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=3002026.06 | 0.0188 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=2002026.06 | 0.019 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=1502026.06 | 0.0195 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=502026.06 | 0.0197 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=1002026.06 | 0.02 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.12, Goal depth (n)=4002026.06 | 0.0201 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=1252026.06 | 0.0206 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.10, Goal depth (n)=4002026.06 | 0.0208 | |
| Structural CertificationFailure rate threshold (Δf)=0.08, Goal depth (n)=252026.06 | 0.0217 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.15, Goal depth (n)=3002026.06 | 0.022 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.08, Goal depth (n)=4002026.06 | 0.0223 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=752026.06 | 0.0224 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.05, Goal depth (n)=4002026.06 | 0.0244 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=502026.06 | 0.0247 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.12, Goal depth (n)=3002026.06 | 0.0248 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=4002026.06 | 0.0249 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.03, Goal depth (n)=4002026.06 | 0.0254 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.10, Goal depth (n)=3002026.06 | 0.0254 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=3002026.06 | 0.0255 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=2002026.06 | 0.0261 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.01, Goal depth (n)=4002026.06 | 0.0268 | |
| Structural CertificationFailure rate threshold (Δf)=0.10, Goal depth (n)=252026.06 | 0.0268 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=1502026.06 | 0.0268 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.08, Goal depth (n)=3002026.06 | 0.027 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=1002026.06 | 0.0275 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=1252026.06 | 0.0275 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.05, Goal depth (n)=3002026.06 | 0.0284 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.03, Goal depth (n)=3002026.06 | 0.0297 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.15, Goal depth (n)=2002026.06 | 0.0298 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=752026.06 | 0.03 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.01, Goal depth (n)=3002026.06 | 0.0301 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.12, Goal depth (n)=2002026.06 | 0.032 | |
| Structural CertificationFailure rate threshold (Δf)=0.12, Goal depth (n)=252026.06 | 0.0322 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=502026.06 | 0.0324 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.10, Goal depth (n)=2002026.06 | 0.0327 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.08, Goal depth (n)=2002026.06 | 0.0342 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.15, Goal depth (n)=1502026.06 | 0.0362 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.05, Goal depth (n)=2002026.06 | 0.0363 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.01, Goal depth (n)=2002026.06 | 0.0369 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.03, Goal depth (n)=2002026.06 | 0.0371 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.12, Goal depth (n)=1502026.06 | 0.0382 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.10, Goal depth (n)=1502026.06 | 0.0392 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.08, Goal depth (n)=1502026.06 | 0.0401 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.15, Goal depth (n)=1252026.06 | 0.0408 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.05, Goal depth (n)=1502026.06 | 0.0419 | |
| Structural CertificationFailure rate threshold (Δf)=0.15, Goal depth (n)=252026.06 | 0.0422 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.03, Goal depth (n)=1502026.06 | 0.0427 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.01, Goal depth (n)=1502026.06 | 0.0429 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.12, Goal depth (n)=1252026.06 | 0.0432 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.10, Goal depth (n)=1252026.06 | 0.0442 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.08, Goal depth (n)=1252026.06 | 0.0453 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.01, Goal depth (n)=1252026.06 | 0.0454 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.05, Goal depth (n)=1252026.06 | 0.0461 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.15, Goal depth (n)=1002026.06 | 0.0461 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.03, Goal depth (n)=1252026.06 | 0.0463 | |
| Richens et al. (2025)Failure rate threshold (Δf)=0.12, Goal depth (n)=1002026.06 | 0.0476 |