| Name | Status | Type | Time(s) |
| authoredGuardCallsKeepChecksThroughReceivers | Success | | 0.465 |
| javaTimerActionsDoNotReachALaterPythonRun | Success | | 0.050 |
| regionFinalStatesCheckTheOtherRegions | Success | | 0.018 |
| injectionsOutsideTheEmittedQueryKeepPlainBranches | Success | | 0.192 |
| eventsImplementInterfaceMethods | Success | | 0.044 |
| preparationChangesAreUndone | Success | | 0.007 |
| eventParameterNamedSelfIsReported | Success | | 0.002 |
| stateDependentGuardCallsKeepChecks | Success | | 0.044 |
| everyFeatureCompiles | Success | | 0.055 |
| stateMachineNamesPythonCannotRepresentAreReported | Success | | 0.007 |
| aSecondPythonRunInOneModelGeneratesTheSameCode | Success | | 0.019 |
| preparedActionsArePythonAndRemovedAfterGeneration | Success | | 0.011 |
| eventGuardCallsKeepVisitChecks | Success | | 0.144 |
| transitionsAreFirstMatch | Success | | 0.010 |
| hundredCheckedAlternativesCompileAtFixedDepth | Success | | 0.162 |
| effectFreeGuardsKeepPlainBranches | Success | | 0.808 |
| queuedAndPooledMachinesProcessEventsOnAWorker | Success | | 0.004 |
| helperNamesAvoidModelNames | Success | | 0.004 |
| accessorGuardBodiesKeepChecks | Success | | 1.036 |