ResearchBenchmarksDistributed Protocol Synthesis on Consensus con-3-2Follow100Success RateGGMS79.284.69095.4Jan 29, 2026Evaluation ResultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.01100118104151MCTS2026.01801,106492,387MCTS+DFS2026.0180273148693