Evaluation anf inference of formulas are now hconsed (in Formula).

[tatoo.git] / res

diff --git a/res b/res
deleted file mode 100644 (file)
index cf46161..0000000
--- a/res
+++ /dev/null
@@ -1,18 +0,0 @@
-## Without any hcons in Run:
-real    0m17.668s
-user    0m17.204s
-sys     0m0.395s
-
-## With a hconsed fixpoint in BU_Oracle:
-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