What's the X axis?
number of benches
for instance we have only 3 successful benches with vst since the zulip bot so it looks pretty stupid
This is neat! I take it all the benches are from the same computer to make them comparable?
not really :v
older benches may have run on "pendulum", it had issues a few months ago so got paused
the other benches were run on ci-coq-$n.sophia.inria.fr which should be identical
Last updated: Dec 07 2023 at 09:01 UTC