NCBF Verification on SR 1.0 (test)
9.8Verification Run-time (s)SEEV
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| SEEVn (state dimension)=6, L (layers)=2, M (neurons per layer)=8, N (active regions)=22002024.10 | 9.8 | 7.1 | 2.7 | |
| SEEVn (state dimension)=6, L (layers)=4, M (neurons per layer)=8, N (active regions)=49182024.10 | 60.1 | 45.8 | 14.3 | |
| Baselinen (state dimension)=6, L (layers)=2, M (neurons per layer)=8, N (active regions)=22002024.10 | 179 | — | — | |
| Baselinen (state dimension)=6, L (layers)=4, M (neurons per layer)=8, N (active regions)=49182024.10 | 298.7 | — | — |