Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Verification on Lock-Mint Optimistic Relay (T2)
Loading...
1
Iteration Count
COBALT-TLA
0.95
0.975
1
1.025
Apr 14, 2026
Iteration Count
Search Depth
States Explored
Time to Completion (s)
E2E Time (s)
Updated 4d ago
Evaluation Results
Method
Method
Links
Iteration Count
Search Depth
States Explored
Time to Completion (s)
E2E Time (s)
COBALT-TLA
Vulnerability Class=Pr...
2026.04
1
4
15
0.3
17.9
Feedback
Search any
task
Search any
task
