Leader Election Protocol N=8

Full Results	Max Depth	Nr States	Nr Transitions	Memory	State Vector	Time	Rate
Safety (default compilation):
single core default	168	4926645	29006395	1283.688	340	133	37137
dual core default	227	4926645	29006395	1852.668	340	82.8	59472
dual core tuned	180	4926645	29006395	2236.668	340	91.1	54086
Safety (optimized -O2):
single core default	168	4926645	29006395	1283.688	340	74.6	66050
dual core default	227	4926645	29006395	1852.668	340	51.3	95961
dual core tuned	180	4926645	29006395	2236.668	340	55.9	88149
Liveness (default compilation):
single core default	168	4926645	62923988	1322.262	348	303	32510
dual core default	168	4926645	62923988	1450.262	348	195	50523
dual core tuned	168	4926645	62923988	1834.262	348	193	51108
Liveness (optimized -O2):
single core default	168	4926645	62923988	1322.262	348	167	58965
dual core default	168	4926645	62923988	1450.262	348	118	83791
dual core tuned	168	4926645	62923988	1834.262	348	119	83106