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 |