20
individual
1.0 10.0 60.0
dining_philosophers_3.prism sbar \texttt{dining\_philosophers}, $N=3$