Name | Status | Type | Time(s) |
shouldConsumeDuplicatedPostingOnAdvance-_jdk17_x86_64 | Success | | 0.281 |
shouldNotSkipUnconsumedElementOnAdvance-_jdk17_x86_64 | Success | | 0.049 |
shouldMergeInterleavedPostingLists-_jdk17_x86_64 | Success | | 0.058 |
shouldInterleaveNextAndAdvance-_jdk17_x86_64 | Success | | 0.051 |
shouldNotReadFromExhaustedChild-_jdk17_x86_64 | Success | | 0.049 |
shouldInterleaveNextAndAdvanceOnRandom-_jdk17_x86_64 | Success | | 12.554 |
shouldMergeSamePostingLists-_jdk17_x86_64 | Success | | 0.037 |
shouldAdvanceAllMergedLists-_jdk17_x86_64 | Success | | 0.036 |
shouldMergeDisjointPostingLists-_jdk17_x86_64 | Success | | 0.034 |
shouldAdvanceToAllElementsWithoutFailures-_jdk17_x86_64 | Success | | 0.049 |
shouldMergeSinglePostingList-_jdk17_x86_64 | Success | | 0.031 |
shouldSkipDuplicates-_jdk17_x86_64 | Success | | 0.033 |