Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Atomic Commit

Benchmarks

Task NameDataset NameSOTA ResultTrend
Distributed Protocol SynthesisAtomic Commit ac-4-2
Success Rate70
3
Distributed Protocol SynthesisAtomic Commit ac-4-1
Success Rate100
3
Distributed Protocol SynthesisAtomic Commit ac-3-2
Success Rate60
3
Distributed Protocol SynthesisAtomic Commit ac-2-1
Success Rate100
3
Showing 4 of 4 rows