20
individual
1 10 60
dining_philosophers_3.prism sbar \texttt{dining\_philosophers}, $N=3$:6529413033024628720 1704205 1707726 1591414 1674303 1673688 1698605 1547430 1442284 1438258 1379796 1517294 1656214 1632314 1632195 1624613 1467924 1616688 1700979 1731552 1694504 16137027 16756268 17417552 17375631 16233944 15425677 16455827 16618826 16203998 15695505 15673598 16389918 15949550 17062956 15263235 15782866 16222625 14870887 15658056 15724952 95336282 94858203 91948420 99182776 99058222 94431938 100565239 99945751 100535619 105337566 101298866 91035215 98309830 97281362 96343021 89936738 95410007 95890988 86863505 85486561