Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
NCBF Verification on hi-ord8 1.0 (test)
Loading...
0.54
Verification Run-time (s)
SEEV
-0.3344
5.5678
11.47
17.3722
Oct 27, 2024
Verification Run-time (s)
Hinge Enumeration Time (s)
Certification Time (s)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verification Run-time (s)
Hinge Enumeration Time (s)
Certification Time (s)
SEEV
n (state dimension)=8,...
2024.10
0.54
0.54
0
SEEV
n (state dimension)=8,...
2024.10
11.8
11.8
0
SEEV
n (state dimension)=8,...
2024.10
22.4
22.4
0
Feedback
Search any
task
Search any
task
