ResearchBenchmarksDistributed Protocol Synthesis on Consensus con-3-2Distributed 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