Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
NCBF Verification on SR 1.0 (test)
Loading...
9.8
Verification Run-time (s)
SEEV
-1.756
76.247
154.25
232.253
Oct 27, 2024
Verification Run-time (s)
Hinge Enumeration Time (th)
Certification Time (tg)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verification Run-time (s)
Hinge Enumeration Time (th)
Certification Time (tg)
SEEV
n (state dimension)=6,...
2024.10
9.8
7.1
2.7
SEEV
n (state dimension)=6,...
2024.10
60.1
45.8
14.3
Baseline
n (state dimension)=6,...
2024.10
179
-
-
Baseline
n (state dimension)=6,...
2024.10
298.7
-
-
Feedback
Search any
task
Search any
task
