3 ms·This work seems to have made much cheaper a couple of those "nines" for the logic correctness metric.by ableal 6y agoThis work seems to have made much cheaper a couple of those "nines" for the logic correctness metric.