Comparison in versions of kernel 1, kernel 2 with/without guards
scenario	Minimal Edges
model	Kernel 1			Kernel 1
Time (ms)	With s in guards?			N	4	6	8
n	No	Yes		With	21	117	900
4	35	21		Without	35	287	5900
6	287	117
8	5900	900
12		55616
13		173222
15
scenario	Minimal Edges
model	Kernel 2			Kernel 2
Time (ms)	With s in guards?			N	4	6	8
n	No	Yes		With	33	209	1000
4	47	33		Without	47	462	7000
6	462	209
8	7000	1000
12		62098
15