3 ms·

I would also say take a look at Bosque it is also from the same camp as F* but much simpler to use Z3 with.