Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
NCBF Verification on OA 1.0 (test)
Loading...
0.39
Verification Run-time (s)
SEEV
-7.8744
47.9103
103.695
159.4797
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)=3,...
2024.10
0.39
0.39
0
SEEV
n (state dimension)=3,...
2024.10
0.41
0.41
0
SEEV
n (state dimension)=3,...
2024.10
0.65
0.65
0
Baseline
n (state dimension)=3,...
2024.10
16
-
-
Baseline
n (state dimension)=3,...
2024.10
16.1
-
-
SEEV
n (state dimension)=3,...
2024.10
20.6
20.6
0
Baseline
n (state dimension)=3,...
2024.10
36.7
-
-
Baseline
n (state dimension)=3,...
2024.10
207
-
-
Feedback
Search any
task
Search any
task
