4 ms·

I don't know how much they paid, but it seems like the acquisition of Vertica was a great move. I use it everyday and it is a fantastic product.