NCBF Verification on hi-ord8 1.0 (test)
0.54Verification Run-time (s)SEEV
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| SEEVn (state dimension)=8, L (layers)=2, M (neurons per layer)=8, N (active regions)=732024.10 | 0.54 | 0.54 | 0 | |
| SEEVn (state dimension)=8, L (layers)=2, M (neurons per layer)=16, N (active regions)=30482024.10 | 11.8 | 11.8 | 0 | |
| SEEVn (state dimension)=8, L (layers)=4, M (neurons per layer)=16, N (active regions)=39842024.10 | 22.4 | 22.4 | 0 |