Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Verification on Nomad-style Zero-Root Init (T3)
Loading...
1
Iterations
COBALT-TLA
0.95
0.975
1
1.025
Apr 14, 2026
Iterations
Depth
States Explored
Time to Completion (s)
End-to-End Time (s)
Updated 4d ago
Evaluation Results
Method
Method
Links
Iterations
Depth
States Explored
Time to Completion (s)
End-to-End Time (s)
COBALT-TLA
Vulnerability Class=In...
2026.04
1
3
8
0.29
28
Feedback
Search any
task
Search any
task
