Formula translation complexity analysis on Temporal Logic Requirement Patterns past semantics
11.96Formula LengthFV
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| FVTiming=immediately2026.05 | 11.96 | 2.42 | 3.88 | |
| FVTiming=always2026.05 | 21.83 | 3.38 | 6.12 | |
| FVTiming=eventually2026.05 | 22.08 | 3.12 | 6.12 | |
| FVTiming=never2026.05 | 22.08 | 3.38 | 6.12 | |
| FVTiming=at the next timepoint2026.05 | 22.46 | 2.75 | 6.12 | |
| FVTiming=within 3 seconds2026.05 | 22.58 | 2.75 | 6.5 | |
| FVTiming=for 3 seconds2026.05 | 22.71 | 2.75 | 6.75 | |
| FVTiming=until StopCondition2026.05 | 26.83 | 3.75 | 8.12 | |
| FVTiming=before StopCondition2026.05 | 27.46 | 3.75 | 8.12 | |
| FVTiming=after 3 seconds2026.05 | 28.21 | 2.75 | 8.38 | |
| FRETTiming=immediately2026.05 | 43.58 | 3.08 | 13.42 | |
| FRETTiming=always2026.05 | 49.04 | 3.54 | 15.12 | |
| FRETTiming=never2026.05 | 51.33 | 3.54 | 15.12 | |
| FRETTiming=eventually2026.05 | 51.71 | 3.5 | 15.21 | |
| FRETTiming=at the next timepoint2026.05 | 67.04 | 4.17 | 19.58 | |
| FRETTiming=for 3 seconds2026.05 | 76.71 | 4.38 | 23 | |
| FRETTiming=within 3 seconds2026.05 | 79.88 | 4.38 | 23.25 | |
| FRETTiming=until StopCondition2026.05 | 99.5 | 4.67 | 31.04 | |
| FRETTiming=before StopCondition2026.05 | 111.58 | 4.88 | 33.33 | |
| FRETTiming=after 3 seconds2026.05 | 121.88 | 4.54 | 35.17 |