Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Distributed Protocol Synthesis on Consensus con-2-1
Loading...
1
Success Rate
GGMS
0.896
0.923
0.95
0.977
Jan 29, 2026
Success Rate
Average Running Time (min)
Minimum Running Time (min)
Maximum Running Time (min)
Updated 1mo ago
Evaluation Results
Method
Method
Links
Success Rate
Average Running Time (min)
Minimum Running Time (min)
Maximum Running Time (min)
GGMS
2026.01
1
8
7
11
MCTS
2026.01
0.9
46
3
180
MCTS+DFS
2026.01
0.9
25
3
55
Feedback
Search any
task
Search any
task