| testExtensionHeavyDemand | 3 ms | Passed |
| testExtensionLightDemand | 2 ms | Passed |
| testExtensionMediumDemand | 1 ms | Passed |
| testHeuristicBiggest01 | 37 ms | Passed |
| testHeuristicBiggest02 | 96 ms | Passed |
| testHeuristicDeepest | 79 ms | Passed |
| testHeuristicDifferentMusesWithRespectToStatements01 | 0.12 sec | Passed |
| testHeuristicDifferentMusesWithRespectToStatements02 | 0.12 sec | Passed |
| testHeuristicHighestLexOrder | 0.17 sec | Passed |
| testHeuristicLowestLexOrder | 43 ms | Passed |
| testHeuristicNarrowest | 37 ms | Passed |
| testHeuristicShallowest | 37 ms | Passed |
| testHeuristicSmallest01 | 41 ms | Passed |
| testHeuristicSmallest02 | 0.11 sec | Passed |
| testHeuristicSmallestAmongWide01 | 0.1 sec | Passed |
| testHeuristicSmallestAmongWide02 | 73 ms | Passed |
| testHeuristicWidest | 0.17 sec | Passed |
| testHeuristicWidestAmongSmall01 | 0.13 sec | Passed |
| testHeuristicWidestAmongSmall02 | 94 ms | Passed |
| testMapBlockDown | 1 ms | Passed |
| testMapBlockUp | 1 ms | Passed |
| testMapExplicitlyForFindCrits | 1 ms | Passed |
| testMapNoUnexploredSet | 0 ms | Passed |
| testMapWorkingSet | 0 ms | Passed |
| testMusEnumerationScriptFirst | 3 ms | Passed |
| testMusEnumerationScriptNoMusEnumerated | 55 ms | Passed |
| testMusEnumerationScriptSet2 | 0.11 sec | Passed |
| testMusEnumerationScriptSet2WithUnnamedTerms1 | 40 ms | Passed |
| testMusEnumerationScriptSet2WithUnnamedTerms2 | 0.13 sec | Passed |
| testMusEnumerationScriptSet5 | 0.32 sec | Passed |
| testMusEnumerationScriptUnknownSet1 | 0.1 sec | Passed |
| testNumberOfDifferentStatements | 97 ms | Passed |
| testReMusEmptySet | 0 ms | Passed |
| testReMusSet1 | 6 ms | Passed |
| testReMusSet2 | 54 ms | Passed |
| testReMusSet2AssertSomeAsAxioms1 | 9 ms | Passed |
| testReMusSet2AssertSomeAsAxioms2 | 39 ms | Passed |
| testReMusSet2WithTimeout | 2 ms | Passed |
| testReMusSet5 | 0.12 sec | Passed |
| testReMusUnknownSet1 | 0.24 sec | Passed |
| testReMusUnknownSet2 | 0.44 sec | Passed |
| testReMusUnknownSet3 | 0.2 sec | Passed |
| testReMusUnknownSetTestFailIfUnknownAllowedTurnedOff | 2 ms | Passed |
| testReMusWorkingSetTooBig | 1 ms | Passed |
| testShrinkerEmptySet | 1 ms | Passed |
| testShrinkerMusAssertedBefore | 2 ms | Passed |
| testShrinkerNormal | 13 ms | Passed |
| testShrinkerRestrictedSet | 5 ms | Passed |
| testShrinkerSatSet | 12 ms | Passed |
| testShrinkerSatSetAssertedBefore | 2 ms | Passed |
| testShrinkerWorkingSetDoesNotContainCrits | 1 ms | Passed |
| testShrinkerWorkingSetIsMus | 3 ms | Passed |
![[Jenkins]](/ci/static/76d2b316/images/svgs/logo.svg){kind=logo}
