| 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 |
|
|