ResearchBenchmarksDistributed Protocol Synthesis on Consensus con-2-1Distributed Protocol Synthesis on Consensus con-2-1Follow1Success RateGGMS0.8960.9230.950.977Jan 29, 2026Evaluation resultsMethodMethodLinksSuccess RateAverage Running Time (min)Minimum Running Time (min)Maximum Running Time (min)GGMS2026.0118711MCTS2026.010.9463180MCTS+DFS2026.010.925355