Table 2. Complete and intermediate models produced by the 23 pipeline variants for the original and synthetic resolution data sets, where ‘(T)’ and ‘(C)’ denote intermediate models produced by pipeline executions that timed out and crashed, respectively.

Models used in the comparison: 148 original and 746 synthetic.

	Original			Synthetic
Pipeline variant	Complete	Intermediate	Failed	Complete	Intermediate	Failed
A	202	0(T) 0(C)	0	1008	1(T) 0(C)	0
A→P*	201	1(T) 0(C)	0	1007	2(T) 0(C)	0
A→B	202	0(T) 0(C)	0	1009	0(T) 0(C)	0
B	202	0(T) 0(C)	0	1009	0(T) 0(C)	0
B→P*	197	4(T) 0(C)	1	1005	0(T) 0(C)	4
P*	199	1(T) 1(C)	1	1001	8(T) 0(C)	0
P*→A	200	1(T) 0(C)	1	1008	1(T) 0(C)	0
P*→B	201	0(T) 0(C)	1	1009	0(T) 0(C)	0
S*	200	2(T) 0(C)	0	—	—	—
S*→A	202	0(T) 0(C)	0	—	—	—
S*→B	202	0(T) 0(C)	0	—	—	—
S*→P*	196	4(T) 0(C)	2	—	—	—
A→P	199	2(T) 0(C)	1	1009	0(T) 0(C)	0
B→P	200	0(T) 0(C)	2	1003	2(T) 0(C)	4
P	199	1(T) 0(C)	2	1001	7(T) 0(C)	1
P→A	200	0(T) 0(C)	2	1002	6(T) 0(C)	1
P→B	200	0(T) 0(C)	2	1008	0(T) 0(C)	1
S	200	2(T) 0(C)	0	—	—	—
S→A	202	0(T) 0(C)	0	—	—	—
S→B	202	0(T) 0(C)	0	—	—	—
S*→P	197	3(T) 0(C)	2	—	—	—
S→P*	198	2(T) 0(C)	2	—	—	—
S→P	197	3(T) 0(C)	2	—	—	—