NCBF Verification on OA 1.0 (test)
0.39Verification Run-time (s)SEEV
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| SEEVn (state dimension)=3, L (layers)=4, M (neurons per layer)=8, N (active regions)=152024.10 | 0.39 | 0.39 | 0 | |
| SEEVn (state dimension)=3, L (layers)=2, M (neurons per layer)=16, N (active regions)=862024.10 | 0.41 | 0.41 | 0 | |
| SEEVn (state dimension)=3, L (layers)=4, M (neurons per layer)=16, N (active regions)=1362024.10 | 0.65 | 0.65 | 0 | |
| Baselinen (state dimension)=3, L (layers)=2, M (neurons per layer)=16, N (active regions)=862024.10 | 16 | — | — | |
| Baselinen (state dimension)=3, L (layers)=4, M (neurons per layer)=8, N (active regions)=152024.10 | 16.1 | — | — | |
| SEEVn (state dimension)=3, L (layers)=1, M (neurons per layer)=128, N (active regions)=57782024.10 | 20.6 | 20.6 | 0 | |
| Baselinen (state dimension)=3, L (layers)=4, M (neurons per layer)=16, N (active regions)=1362024.10 | 36.7 | — | — | |
| Baselinen (state dimension)=3, L (layers)=1, M (neurons per layer)=128, N (active regions)=57782024.10 | 207 | — | — |