Safety Verification on Oscillator 2D system
99Ps
Time-Varying SBF Certificates
Updated 1mo ago
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| 99 | 0 | - | 0 | 5.53 | - | ||
| 99 | 0 | - | 0 | 8.71 | - | ||
2026.04 | 81 | 1.9 | - | - | 27.58 | 2.7 | |
2026.04 | 79 | 2.1 | - | - | 37.45 | 3.1 | |
2026.04 | 73 | 2.7 | - | - | 841.17 | 2 | |
2026.04 | 69 | 3.1 | - | - | 983.15 | 4.3 | |
2026.04 | 65 | 3.5 | - | - | 5.49 | 8.6 | |
2026.04 | 62 | 3.8 | - | - | 316.86 | 2.2 | |
| 40 | 0.6 | - | 0.0005 | 2.34 | - | ||
2026.04 | 38 | - | - | - | 289.17 | - | |
2026.04 | 28 | 6.7 | 4.6 | - | 884.12 | - | |
| 22 | 0.74 | 0.062 | - | 7.42 | - | ||
2026.04 | 22 | 6.9 | 8.9 | - | 900.12 | - | |
2026.04 | 22 | - | - | - | 786.22 | - | |
2026.04 | 20 | 6.9 | 1.1 | - | 914.38 | - | |
2026.04 | 18 | 7.4 | 8 | - | 912.37 | - | |
| 13 | 0.75 | 0.12 | - | 8.01 | - | ||
2026.04 | 13 | 6.4 | 2.3 | - | 911.56 | - | |
| 12 | 0.72 | 0.16 | - | 7.59 | - | ||
2026.04 | 7 | 8.9 | 4.2 | - | 953.88 | - | |
2026.04 | 0 | - | - | - | 7.88 | - | |
2026.04 | 0 | - | - | - | 12.85 | - | |
2026.04 | 0 | - | - | - | 41.07 | - |