Name | Status | Type | Time(s) |
shouldConsumeDuplicatedPostingOnAdvance-latest_jdk17_x86_64 | Success | | 0.465 |
shouldNotSkipUnconsumedElementOnAdvance-latest_jdk17_x86_64 | Success | | 0.042 |
shouldMergeInterleavedPostingLists-latest_jdk17_x86_64 | Success | | 0.046 |
shouldInterleaveNextAndAdvance-latest_jdk17_x86_64 | Success | | 0.045 |
shouldNotReadFromExhaustedChild-latest_jdk17_x86_64 | Success | | 0.032 |
shouldInterleaveNextAndAdvanceOnRandom-latest_jdk17_x86_64 | Success | | 12.386 |
shouldMergeSamePostingLists-latest_jdk17_x86_64 | Success | | 0.034 |
shouldAdvanceAllMergedLists-latest_jdk17_x86_64 | Success | | 0.028 |
shouldMergeDisjointPostingLists-latest_jdk17_x86_64 | Success | | 0.020 |
shouldAdvanceToAllElementsWithoutFailures-latest_jdk17_x86_64 | Success | | 0.038 |
shouldMergeSinglePostingList-latest_jdk17_x86_64 | Success | | 0.018 |
shouldSkipDuplicates-latest_jdk17_x86_64 | Success | | 0.018 |