Leader Election Protocol N=8

Leader Election Protocol N=8

Full ResultsMax DepthNr StatesNr TransitionsMemoryState VectorTimeRate
Safety (default compilation):
single core default1684926645290063951283.688340133 37137
dual core default2274926645290063951852.66834082.8 59472
dual core tuned1804926645290063952236.66834091.1 54086
Safety (optimized -O2):
single core default1684926645290063951283.68834074.666050
dual core default2274926645290063951852.66834051.395961
dual core tuned1804926645290063952236.66834055.988149
Liveness (default compilation):
single core default1684926645629239881322.262348303 32510
dual core default1684926645629239881450.262348195 50523
dual core tuned1684926645629239881834.262348193 51108
Liveness (optimized -O2):
single core default1684926645629239881322.26234816758965
dual core default1684926645629239881450.26234811883791
dual core tuned1684926645629239881834.26234811983106