Table 1.

Model checking results of PatchTransporter with four transporters and three recipients.

Time	Depth	States Found	Distinct States	Errors
30”	28	3,164,524	1,010,776	0