prima di UriManager.ml:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m50.266s
   user	0m44.160s
   sys	0m0.700s

dopo UriManager.ml, ma prima di passare da = a ==:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m51.388s
   user	0m45.430s
   sys	0m0.530s

dopo UriManager.ml e popo il passaggio (parziale?) da = a ==:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m50.767s
   user	0m44.750s
   sys	0m0.510s

dopo il passaggio alla cache che usa ancora =:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m50.646s
   user	0m44.680s
   sys	0m0.530s

dopo il passaggio alla cache con utilizzo di ==:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m50.861s
   user	0m45.030s
   sys	0m0.500s

con funzione di hashing costante ;-(

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m51.442s
   user	0m45.440s
   sys	0m0.530s

con implementazione isomorfa all'albero delle uri:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m54.081s
   user	0m47.590s
   sys	0m0.780s

con implementazione con doppio RB-albero:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m52.504s
   user	0m46.120s
   sys	0m0.720s

con implementazione semplice, gestite anche le uri delle var:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m51.850s
   user	0m46.060s
   sys	0m0.530s

con implementazione con doppio RB-albero, gestite anche le uri delle var:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m51.495s
   user	0m45.660s
   sys	0m0.540s

=========================================================

con implementazione con doppio RB-albero, gestite anche le uri delle var
e spostata nell'uri-manager is_prefix:

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m50.465s
   user	0m45.710s
   sys	0m0.590s

con implementazione semplice (e tutto il resto):

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m49.710s
   user	0m43.850s
   sys	0m0.500s

con implementazione banale (e tutto il resto):

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m49.289s
   user	0m44.840s
   sys	0m0.570s

con implementazione banale SOLO PARSING ;-)

 [ABCI]* (terza passata, uguale alla seconda):

   real	0m48.395s
   user	0m42.830s
   sys	0m0.850s

=========================================================

con implementazione con doppio RB-albero, gestite anche le uri delle var
e spostata nell'uri-manager is_prefix:

 REAL (prima passata, dopo un sync):

   real	10m58.033s
   user	10m37.690s
   sys	0m2.570s

con implementazione semplice (e tutto il resto):

 REAL (prima passata, dopo un sync):

   real	10m31.035s
   user	10m9.350s
   sys	0m3.230s

con implementazione banale (e tutto il resto):

 REAL (prima passata, dopo un sync):

   real	11m4.026s
   user	10m43.930s
   sys	0m3.070s

=================================================

con implementazione banale, SOLO PARSING di tutto:

   real	6m54.336s
   user	6m13.850s
   sys	0m6.580s

con implementazione banale, anche typechecking di tutto:

   real	20m17.739s
   user	19m14.740s
   sys	0m8.550s

con implementazione semplice, anche typechecking di tutto:

   real	19m36.079s
   user	18m36.480s
   sys	0m7.760s

con implementazione con doppio RB-albero, anche typechecking di tutto:

   real	17m30.423s
   user	16m30.840s
   sys	0m6.170s

***************************************************************************
                         APPLICATA EURISTICA
***************************************************************************

con implementazione con doppio RB-albero, anche typechecking di tutto
(universita') ????????:

real    5m37.805s
user    5m1.640s
sys     0m5.010s

tutto (ma a casa):

real	7m36.663s
user	6m52.220s
sys	0m5.860s


solo REAL:

real	2m52.860s
user	2m41.050s
sys	0m2.820s

==========================================================================

tutto (ma a casa) dopo eliminazione buri:

real	7m52.773s
user	6m52.110s
sys	0m7.130s

"solo parsing" di tutto dopo eliminazione buri:

real	7m8.379s
user	6m15.250s
sys	0m6.700s

===========================================================================

TUTTO ALL'UNIVERSITA' CON EURISTICA MA SENZA UNIVERSI:

real    5m47.920s
user    5m14.600s
sys     0m5.010s