Comparison among scenarios (arbitrary, complete and minimal)
model	Kernel 1
run	End
finish	Yes
s in guards	Yes
ms	Models
n	Arbitrary	Complete	Minimal		n	Arbitrary	Complete	Minimal
4	49	31	21		4	49	31	21
6	63	73	117		6	63	73	117
8	325	154	900		8	325	154	900
12	36050	710	55616		12	36050	710	55616
model	Kernel 1			Values of 999999 and 9999999 not obtained, but included to show the trend of those models
run	End
finish	Yes
s in guards	Yes
ms	Models
n	Arbitrary	Complete	Minimal		n	Arbitrary	Complete	Minimal
4	49	31	21		4	49	31	21
6	63	73	117		6	63	73	117
8	325	154	900		8	325	154	900
12	36050	710	55616		12	36050	710	55616
13		892	173222		13	999999	892	173222
14		1282			14	9999999	1282	999999
15		1486			15		1486
20		4468			20		4468
25		10687			25		10687
30		25686			30		25686