grazie, ora guardo.
Pero' il dubbio e' che time (e semilari, sebbene piu' precisi) mi dia solo il tempo vero, cioe', posso fare la differenza e sapere quanto ci ha messo. Il problema invece e' che io vorrei le cpu time proprio per evitare di avere valori dipendenti da quello che sta girando in quel momento sulla macchina.
Non credi?