Table 1. Summary of the experiments with starMC and RGMeDD, on 13,664 CTL queries.

Characteristics	Value	Characteristics	Value
No. of queries	13,664	Same Time both	317
starMC terminates	10,223	Both timed-out	2,447
RGMeDD terminates	10,740	Only RGMeDD timed-out	476
Both terminate	9,747	Only starMC timed-out	993
starMC faster	938	starMC timeout and RGMeDD out of memory	1
RGMeDD faster	8,492	Mismatches in sat-set cardinality	0