X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=res;fp=res;h=cf4616124e24888c2440a0d42b4f59065c872b96;hb=d55b57eafd6e36fa697e4b8073008c1b551b1e4e;hp=19e73f925ef9259e407faada980bf1bdf52ccfa0;hpb=47c422581d5abf820d950613a419c8fa3f97ca11;p=tatoo.git

diff --git a/res b/res
index 19e73f9..cf46161 100644
--- 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