Peterson's Mutual Exclusion Algorithm N=4

Peterson's Mutual Exclusion Algorithm N=4

Full ResultsMax DepthNr StatesNr TransitionsMemoryState VectorTimeRate
Safety (default compilation):
single core default143169310571923396458091484.63944 33.5 315768
dual core default2610571923396458091785.36444 27.7 381520
dual core tuned2610571923396458091421.99844 25.1 421360
Safety (optimized -O2):
single core default143169310571923396458091484.63944 18.4 574873
dual core default28610571923396458091555.38544 17.1 619328
dual core tuned28610571923396458091555.38544 15.6 677253
Liveness (default compilation):
single core default143169310862240733681781252.52752 72.8 272656
dual core default143169310571923784428832157.50952 48.6 430850
Liveness (optimized -O2):
single core default143169310862240733681781252.52752 38.5 515104
dual core default143169310571923784428832157.50952 29.4 712752