--- /dev/null
+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
+