Fixpoint in BU_over_max is now hconsed (37% better).

[tatoo.git] / res

diff --git a/res b/res
index 19e73f9..cf46161 100644 (file)
--- a/res
+++ b/res
@@ -7,4 +7,12 @@ sys     0m0.395s
 real    0m17.625s
 user    0m17.202s
 sys     0m0.395s
+(~0% better)
 
+## With hconsed fixpoint in BU_Oracle and BU_Over_approx
+eal     0m12.884s
+user    0m12.504s
+sys     0m0.356s
+(37% better)
+
+## With hconsed fixpoint in BU_Oracle, BU_Over_approx and TP_Max
\ No newline at end of file