Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Verification on Lock-Mint Reorg Attack (T1)
Loading...
0
Iteration Count
COBALT-TLA
-0.001
-0.0005
0
0.0005
Apr 14, 2026
Iteration Count
Verification Depth
States Explored
Time to Last Check (s)
Time End-to-End (s)
Updated 4d ago
Evaluation Results
Method
Method
Links
Iteration Count
Verification Depth
States Explored
Time to Last Check (s)
Time End-to-End (s)
COBALT-TLA
Vulnerability Class=Re...
2026.04
0
4
10
0.27
0.27
Feedback
Search any
task
Search any
task
