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