20
individual
1 10 60
dining_philosophers_5.prism sbar \texttt{dining\_philosophers}, $N=5$:309480716477158696 34335 36214 35774 36097 36081 35581 35691 35805 35973 35703 35657 35692 35465 35322 35452 34919 34804 35320 35255 34968 272378 324470 325028 323902 324864 325612 325878 325359 324831 324818 325177 324811 322848 324302 324052 323509 323608 323911 324587 323071 1869851 1867695 1866700 1867211 1864597 1859036 1864517 1864840 1872220 1865918 1871747 1858794 1866470 1868416 1859309 1868153 1858517 1867360 1857949 1870370