| | Pattern/Scope | SPIN | LTL2NBA | TMP | LTL2BA | | Old, New | Old, New | Old, New | Old, New |
| | Absence After | 14, 3 | 6, 3 | 3, 3 | 4, 3 |
| | Existence Before | 6, 2 | 2, 2 | 2, 2 | 2, 2 |
| | Existence After | 7, 2 | 3, 2 | 3, 2 | 3, 2 |
| | Existence Between and | 7, 3 | 3, 3 | 3, 3 | 3, 3 |
| | Universality After | 14, 3 | 4, 3 | 3, 3 | 4, 3 |
| | Universality After Until | 6, 3 | 3, 3 | 3, 3 | 3, 3 |
| | Precedence Global | 5, 2 | 2, 2 | 2, 2 | 2, 2 |
| | Precedence After | 29, 3 | 6, 3 | 4, 3 | 4, 3 |
| | Precedence After Until | 6, 3 | 3, 3 | 3, 3 | 3, 3 |
| | Response Before | 7, 3 | 3, 3 | 3, 3 | 3, 3 |
| | Response After | 22, 3 | 10, 3 | 3, 3 | 7, 3 |
| | Response Between and | 8, 4 | 4, 4 | 4, 4 | 4, 4 |
| | Response After Until | 9, 5 | 4, 5 | 4, 5 | 4, 5 |
| | S-Precedence Global | 6, 3 | 2, 2 | 2, 2 | 2, 2 |
| | S-Precedence After | 27, 4 | 6, 3 | 4, 3 | 4, 3 |
| | S-Precedence Between and | 5, 4 | 4, 4 | 4, 4 | 4, 4 |
| | S-Precedence After Until | 7, 3 | 3, 3 | 3, 3 | 3, 3 |
|
|