Fst fixpoint is now hconsed.

[tatoo.git] / res

diff --git a/res b/res
new file mode 100644 (file)
index 0000000..19e73f9
--- /dev/null
+++ b/res
@@ -0,0 +1,10 @@
+## 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
+