Slava Pestov 575c7097f6 Fix a slightly non-deterministic behavior in the Monoids benchmark ...

When built with output enabled, sometimes a few lines would be
interchanged, depending on the order in which parallel tasks
complete. Simplify the dispatcher logic a bit to ensure we get
the same output ordering every time.

This does not impact the running time of the benchmark.

2025-09-19 17:07:10 -04:00

..

Monoids

Fix a slightly non-deterministic behavior in the Monoids benchmark

2025-09-19 17:07:10 -04:00

PrimsSplit

[benchmark] Simplify benchmark registration

2021-09-15 22:08:08 -07:00