ResearchBenchmarksDistributed Protocol Synthesis on Atomic Commit ac-3-2Distributed Protocol Synthesis on Atomic Commit ac-3-2Follow60Success RateGGMS-2.413.83046.2Jan 29, 2026Evaluation resultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.01608131751,441MCTS+DFS2026.01401,4137221,825MCTS2026.010———