Table 3.

Applying CTL formulas to the pool reduced its size markedly

CTL:	/	Triv_Fp	T_4B	T_7A	T_8A	M_1A	M_3BC	M_3BC2	ExpD1	ExpD2
# models:	7581	5573	5202	7413	2008	7413	5573	168	2008	5573
:		Red.pool: 944					944	0	310	634

Red.pool is the intersection of all data sets except M_3BC and M_3BC2. M_3BC shows no further reduction on the Red.pool, whereas M_3BC2 has no shared models with the Red.pool. On the right, the experimental design formulas are shown, which both show a further reduction on the selected pool