ResearchBenchmarksDistributed Protocol Synthesis on Atomic Commit ac-4-2Distributed Protocol Synthesis on Atomic Commit ac-4-2Follow70Success RateGGMS-2.816.13553.9Jan 29, 2026Evaluation resultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.0170754563938MCTS2026.010———MCTS+DFS2026.010———