MTL Formula Complexity Analysis on Fretish Requirement Patterns Finite Semantics
100.38Average LengthFretish-to-MTLFRET
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Fretish-to-MTLFRETTiming pattern=until StopCondition2026.05 | 100.38 | 3.88 | 22.33 | |
| Fretish-to-MTLFRETTiming pattern=before StopCondition2026.05 | 96.71 | 3.88 | 21 | |
| Fretish-to-MTLFRETTiming pattern=after 3 seconds2026.05 | 91.88 | 3.88 | 19 | |
| Fretish-to-MTLFRETTiming pattern=at the next timepoint2026.05 | 76.71 | 3.25 | 15 | |
| Fretish-to-MTLFRETTiming pattern=within 3 seconds2026.05 | 64.38 | 3.88 | 13.17 | |
| Fretish-to-MTLFRETTiming pattern=for 3 seconds2026.05 | 63.88 | 3.88 | 13.5 | |
| Fretish-to-MTLFRETTiming pattern=eventually2026.05 | 58.17 | 3.75 | 12.04 | |
| Fretish-to-MTLFRETTiming pattern=never2026.05 | 56.54 | 3.62 | 11.75 | |
| Fretish-to-MTLFRETTiming pattern=always2026.05 | 56.38 | 3.62 | 11.75 | |
| Fretish-to-MTLFVTiming pattern=after 3 seconds2026.05 | 44.58 | 3.75 | 10.38 | |
| Fretish-to-MTLFRETTiming pattern=immediately2026.05 | 42.71 | 2.46 | 9.67 | |
| Fretish-to-MTLFVTiming pattern=before StopCondition2026.05 | 37.96 | 3.75 | 10.25 | |
| Fretish-to-MTLFVTiming pattern=for 3 seconds2026.05 | 27.71 | 4.38 | 6.75 | |
| Fretish-to-MTLFVTiming pattern=until StopCondition2026.05 | 27.46 | 3.12 | 7.75 | |
| Fretish-to-MTLFVTiming pattern=within 3 seconds2026.05 | 27.21 | 3.75 | 6.5 | |
| Fretish-to-MTLFVTiming pattern=at the next timepoint2026.05 | 26.46 | 3.75 | 6.12 | |
| Fretish-to-MTLFVTiming pattern=never2026.05 | 26.46 | 4.75 | 6.12 | |
| Fretish-to-MTLFVTiming pattern=always2026.05 | 25.46 | 4.75 | 6.12 | |
| Fretish-to-MTLFVTiming pattern=eventually2026.05 | 23.46 | 2.75 | 6.12 | |
| Fretish-to-MTLFVTiming pattern=immediately2026.05 | 12.96 | 2.42 | 3.88 |