ResearchBenchmarksDistributed Protocol Synthesis on Consensus con-4-1Follow1Success RateGGMS0.6880.7690.850.931Jan 29, 2026Evaluation ResultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.011268253280MCTS2026.010.8328761,576MCTS+DFS2026.010.7348146654