Comment by mbernstein

I think you need to define what solved means and what better means.

Have you tried one-shotting real distributed systems problems? What was the result and how did you verify correctness?