Table 3. Summary of the experiments with starMC and LTSmin on CTL* queries.

Characteristics	Value	Characteristics	Value
No. of queries	1,968 (123*16)	LTSmin faster	536
starMC terminates	1,442	Both timed-out	505
LTSmin terminates	775	Only LTSmin timed-out	688
Both terminates	754	Only starMC timed-out	21
starMC faster	218	Mismatches in sat-set cardinality	10