| Name | Status | Type | Time(s) |
| nestedStateTable | Success | | 0.047 |
| guardedTransitionNestedStateTable | Success | | 0.034 |
| concurrentTimerTransitionStateTableSameTimer | Success | | 0.040 |
| autoTransitionStateTable | Success | | 0.029 |
| concurrentSelfTransition | Success | | 0.038 |
| concurrentWithTransitionsBetweenLocallyNestedStates | Success | | 0.028 |
| transitionWithActionStateTable | Success | | 0.019 |
| concurrentCrossAnd | Success | | 0.056 |
| concurrentTransitionWithActionNestedStateTable | Success | | 0.013 |
| guardedTransitionStateTable | Success | | 0.037 |
| concurrentCrossDown | Success | | 0.030 |
| concurrentCrossSide | Success | | 0.021 |
| guardedTransitionDoublyNestedStateTable | Success | | 0.028 |
| simpleStateTable | Success | | 0.005 |
| concurrentAutoTransitionStateTable | Success | | 0.067 |
| timerTransitionStateTable | Success | | 0.072 |
| concurrentAlongsideNonConcurrentMultipleTransitionToSameStateWithGuardTransition | Success | | 0.104 |
| concurrentCrossUp | Success | | 0.016 |
| transitionWithActionNestedStateTable | Success | | 0.086 |
| concurrentTimerTransitionStateTableDifferentTimer | Success | | 0.009 |
| avoidJunitError | Success | | 0.001 |