| Pattern/Scope | SPIN | LTL2NBA | TMP | LTL2BA | | Old, New | Old, New | Old, New | Old, New |
| Absence of After | 25, 4 | 10, 4 | 4, 4 | 6, 4 | Absence of After | 26, 4 | 12, 4 | 17, 4 | 8, 4 | Absence of After | 33, 5 | 12, 4 | 20, 4 | 8, 4 | Absence of After | 40, 6 | 15, 5 | 4, 5 | 14, 6 | Absence of After * | 45, 6 | 14, 4 | 9, 4 | 10, 6 | Absence of After * | 51, 8 | 14, 5 | 43, 4 | 9, 6 | Existence of After | 15, 5 | 5, 3 | 5, 3 | 5, 3 | Existence of After | 29, 9 | 7, 4 | 7, 4 | 9, 5 | Existence of After | 29, 9 | 7, 4 | 7, 4 | 9, 5 | Existence of After | 23, 5 | 9, 4 | 6, 4 | 6, 5 | Existence of After * | 22, 5 | 7, 3 | 11, 3 | 7, 5 | Existence of After * | 27, 7 | 6, 3 | 9, 3 | 7, 5 | Universality of After | 40, 6 | 13, 5 | 4, 5 | 14, 6 | Universality of After * | 44, 6 | 17, 4 | 9, 4 | 10, 6 | Universality of After * | 51, 8 | 14, 4 | 45, 4 | 9, 6 | Responds to After | 35, 7 | 19, 5 | 4, 4 | 11, 4 | Responds to After | 20, 7 | 9, 6 | 14, 9 | 8, 6 | Responds to After | 25, 8 | 8, 6 | 23, 9 | 8, 6 | Responds to After | 32, 4 | 16, 4 | 4, 4 | 11, 4 | Responds to After | 43, 10 | 15, 5 | 5, 5 | 20, 6 | Responds to After | 65, 10 | 22, 5 | 5, 5 | 19, 6 | Responds to After * | 63, 8 | 25, 5 | 4, 5 | 23, 6 | Responds to After * | 68, 6 | 28, 4 | 15, 4 | 18, 6 | Responds to After * | 104, 8 | 25, 4 | 6, 4 | 17, 6 |
|
|