Name | Status | Type | Time(s) |
shouldConsumeDuplicatedPostingOnAdvance-latest_jdk17_x86_64 | Success | | 0.322 |
shouldNotSkipUnconsumedElementOnAdvance-latest_jdk17_x86_64 | Success | | 0.063 |
shouldMergeInterleavedPostingLists-latest_jdk17_x86_64 | Success | | 0.069 |
shouldInterleaveNextAndAdvance-latest_jdk17_x86_64 | Success | | 0.067 |
shouldNotReadFromExhaustedChild-latest_jdk17_x86_64 | Success | | 0.054 |
shouldInterleaveNextAndAdvanceOnRandom-latest_jdk17_x86_64 | Success | | 13.579 |
shouldMergeSamePostingLists-latest_jdk17_x86_64 | Success | | 0.068 |
shouldAdvanceAllMergedLists-latest_jdk17_x86_64 | Success | | 0.052 |
shouldMergeDisjointPostingLists-latest_jdk17_x86_64 | Success | | 0.053 |
shouldAdvanceToAllElementsWithoutFailures-latest_jdk17_x86_64 | Success | | 0.055 |
shouldMergeSinglePostingList-latest_jdk17_x86_64 | Success | | 0.041 |
shouldSkipDuplicates-latest_jdk17_x86_64 | Success | | 0.043 |