ResearchBenchmarksPolicy Synthesis on consensus PmaxFollow0.735Time (s)PRISM0.547841.811173.07454.33783Jun 21, 2025Evaluation ResultsMethodMethodLinksTime (s)Speedup FactorPRISMStates=22K, Type=Proto...States=22K, Type=Protocol, Partition=SCC, D=3, theta=0.052025.060.735—SHARPStates=22K, Type=Proto...States=22K, Type=Protocol, Partition=SCC, D=3, theta=0.052025.065.4140.14