| Name | Status | Type | Time(s) |
| CourseSectionNested | Success | | 0.006 |
| AndCrossExample | Success | | 0.006 |
| SingleLaneBridge | Success | | 0.021 |
| FlatElevator | Success | | 0.010 |
| SingleEventMachine | Success | | 0.004 |
| AbstractConcurrentSystem | Success | | 0.005 |
| AbstractMachine | Success | | 0.003 |
| DigitalWatchFlat | Success | | 0.017 |
| nestedConcurrentMachine | Success | | 0.006 |
| MultiLevelStateMachineExampleCase2 | Success | | 0.004 |
| GrantApplication | Success | | 0.011 |
| ExampleFile | Success | | 0.004 |
| NestedMachine | Success | | 0.010 |
| SimpleCaseOfNondeterminism | Success | | 0.003 |
| myTemporaryTest | Success | | 0.023 |
| NestedWatch | Success | | 0.017 |
| BigStateMachineTest | Success | | 0.009 |
| FlatSpecificFlight | Success | | 0.009 |
| File | Skipped | N/A
| 0.000 |
| Test | Success | | 0.004 |
| ExampleFile1 | Success | | 0.003 |
| ExampleFile2 | Success | | 0.011 |
| Elevator | Success | | 0.012 |
| ConstantTest | Success | | 0.003 |
| SpecificFlight | Success | | 0.011 |
| CourseSection | Success | | 0.005 |
| AdaptiveCruiseControlWithTerminalState | Success | | 0.032 |
| AndCrossFromDeeplyNestedStateCase2 | Success | | 0.011 |
| EmptyStateMachineTest | Success | | 0.002 |
| AndCrossFromDeeplyNestedState | Success | | 0.006 |
| ArbitraryExample | Success | | 0.010 |
| AdaptiveCruiseControlSystem | Success | | 0.070 |
| MultiLevelStateMachineExample | Success | | 0.005 |
| FurnaceControlSystem | Success | | 0.027 |
| EnhancedBitCounter | Success | | 0.013 |
| RoomHeatingSystem | Success | | 0.033 |
| CarTransmission | Success | | 0.029 |
| OutgoingTransitionOfConcurrentState | Success | | 0.006 |
| JavaDataTypes | Success | | 0.005 |
| OutgoingTransitionOfConcurrentStateWithAndCross1 | Success | | 0.006 |
| BigStateMachineWithNakedTransition | Success | | 0.009 |
| concurrentMachineExample | Success | | 0.005 |
| InputVariableTest | Success | | 0.004 |
| avoidJunitError | Success | | 0.000 |