Table 5.

Number of states visited in verifying each property.

Property	Experiment setting (#vials, #batches, #patients)
	(2, 1, 1)	(2, 1, 3)	(3, 1, 5)	(5, 3, 5)
P0	2288	8358	13,918	415,807
P1	43	46	46	46
P2	349	367	367	534
P3	43	46	46	46
P4	2288	8358	13,918	415,807
P5	2288	8358	13,918	415,807
P6	2288	8358	13,918	415,807
P7	9	9	9	9
P8	99	355	819	12,502