ResearchBenchmarksDistributed Protocol Synthesis on Consensus con-4-3Distributed Protocol Synthesis on Consensus con-4-3Follow10,000Success RateGGMS-4002,3005,0007,700Jan 29, 2026Evaluation resultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.0110,0003,3581,8575,693MCTS2026.010———MCTS+DFS2026.010———