ResearchBenchmarksDistributed Protocol Synthesis on Atomic Commit ac-4-1Distributed Protocol Synthesis on Atomic Commit ac-4-1Follow100Success RateGGMS6.430.75579.3Jan 29, 2026Evaluation resultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.01100413310630MCTS+DFS2026.0120192191193MCTS2026.0110184184184