PhoneSwitch Model (4 processes)

PhoneSwitch Model (4 processes)

Full ResultsMax DepthNr StatesNr TransitionsMemoryState VectorTimeRate
Safety (default compilation):
single core default292086328988081050423402025.15992 179 184245
dual core default135954328988081050423402649.94692 110 298700
dual core tuned78597328988081050423402649.94692 113 291811
Safety (optimized -O2):
single core default292086328988081050423402793.159100 94.6 347694
dual core default145876328988081050423403182.970100 67.4 487968
dual core tuned89069328988081050423403182.970100 60.4 544412
Liveness (default compilation):
single core default292414334773321988573803059.571100 357 175450
dual core default292090328988092101353905107.571100 198 332950
Liveness (optimized -O2):
single core default292414334773321988573803059.571100 189 332312
dual core default292090328988092101353905107.571100 112 585076

Variable Handoff Depths

Summary of results