Dining Philosophers N=9

Dining Philosophers N=9

Full ResultsMax DepthNr StatesNr TransitionsMemoryState VectorTimeRate
Safety (default compilation):
single core default26294 164088116091906133.437156 26.2 62510
dual core default18159 164088116091906224.343156 17 96750
Safety (optimized -O2):
single core default26294 164088116091906133.437156 14 117542
dual core default16902 164088116091906261.623156 10.2 160556
dual core tuned20473 164088116091906261.623156 9.66 169863
Liveness (default compilation):
single core default26294 219750615046425243.082164 44.4 49460
dual core default27449 164088125832034373.371164 36.2 90532
Liveness (optimized -O2):
single core default26294 219750615046425243.082164 23.4 93830
dual core default27449 164088125832034373.371164 21.9 149715