Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Distributed Protocol Synthesis on Consensus con-3-2
Loading...
100
Success Rate
GGMS
79.2
84.6
90
95.4
Jan 29, 2026
Success Rate
Avg Running Time (min)
Min Running Time (min)
Max Running Time (min)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Success Rate
Avg Running Time (min)
Min Running Time (min)
Max Running Time (min)
GGMS
2026.01
100
118
104
151
MCTS
2026.01
80
1,106
49
2,387
MCTS+DFS
2026.01
80
273
148
693
Feedback
Search any
task
Search any
task