@heiglandreas Hey! Are you into https://www.php.net/manual/de/function.hrtime.php? I thought maybe you have an idea - but please be careful, the rabbit hole is deep.
We tried to understand https://github.com/sebastianbergmann/phpunit/issues/5652 but didn't come up with a way to reproduce or understand. Our current working hypothesis is, that hardware is switching CPUs or something like that and therefore the hrtime call isn't monotonic and might end up in negative durations :D
