Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
NCBF Verification on Darboux 1.0 (test)
Loading...
2.5
Verification Run-time (s)
SEEV
-22.64
147.055
316.75
486.445
Oct 27, 2024
Verification Run-time (s)
Hinge Enumeration Time
Certification Time
Updated 1mo ago
Evaluation Results
Method
Method
Links
Verification Run-time (s)
Hinge Enumeration Time
Certification Time
SEEV
n (state dimension)=2,...
2024.10
2.5
2.5
0
SEEV
n (state dimension)=2,...
2024.10
3.3
3.3
0
Baseline
n (state dimension)=2,...
2024.10
315
-
-
Baseline
n (state dimension)=2,...
2024.10
631
-
-
Feedback
Search any
task
Search any
task
