Table 4.

Results of Seabirds analysis using data reduction

Data set	n	m	U	%U	N	Sol. (sec)	Verif. (sec)
Original	121	188	12620	55.4	2.63e12	N/A	N/A
Reduced	19	24	188	41.2	7.1e6	6.51	156.2
Sat. 1	10	8	42	52.5	1.1e5	0.05	0.07
Sat. 2	22	29	129	20.2	1.2e6	0.09	1.06
Satellite 3 (reduced)	23	39	370	41.3	5.1e7	52.3	6110
Subsatellite 3.1	30	42	196	15.6	6.8e5	0.06	0.04
Subsatellite 3.2	4	2	0	0	0	0.00	0.00
Subsatellite 3.3	19	20	113	29.7	9.5e5	0.17	0.06

Size and solution times for all seven trees in Kennedy and Page's seabirds data set [17] without and with data reduction. The notation is the same as in Table 3. The solution and verification times for the original profile are not available (N/A), since the model was too big to be solved.