3 ms·

makes me wonder how long they would have lasted had the initial implementation been done simpler (ie, not in their PyDatalog fork).