ResearchDatasetsAtomic CommitFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsDistributed Protocol SynthesisAtomic Commit ac-4-270Success Rate3Distributed Protocol SynthesisAtomic Commit ac-4-1100Success Rate3Distributed Protocol SynthesisAtomic Commit ac-3-260Success Rate3Distributed Protocol SynthesisAtomic Commit ac-2-1100Success Rate3