Table 2. Summary of the experiments with starMC and LTSmin on CTL and LTL queries.

Characteristics	Value	Characteristics	Value
No. of queries	3,936 (123*32)	Same Time both	1
starMC terminates	2,990	Both timed-out	895
LTSmin terminates	1,758	Only LTSmin timed-out	1,277
Both terminates	1,708	Only starMC timed-out	50
starMC faster	485	Mismatches in sat-set cardinality	7
LTSmin faster	1,222