Con microtime() so farlo.
Pensavo ci fosse una funzione di sql o di php specifica per il tempo di esecuzione della query... evidentemente non c'è.

Vorrà dire che mi arrangio col microtime().
Grazie