ResearchBenchmarksDistributed Protocol Synthesis on Consensus con-4-2Distributed Protocol Synthesis on Consensus con-4-2Follow90Success RateGGMS27.643.86076.2Jan 29, 2026Evaluation resultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.0190717610970MCTS+DFS2026.01401,7831,2772,560MCTS2026.0130678470922