ResearchBenchmarksDistributed Protocol Synthesis on Atomic Commit ac-2-1Follow100Success RateGGMS4861.57588.5Jan 29, 2026Evaluation ResultsMethodMethodLinksSuccess RateAvg Running Time (min)Min Running Time (min)Max Running Time (min)GGMS2026.0110015829MCTS+DFS2026.0160522596MCTS2026.015013315301