X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=res;fp=res;h=0000000000000000000000000000000000000000;hb=05eaaee159125065661a69fbe3d11f54a3534f3f;hp=cf4616124e24888c2440a0d42b4f59065c872b96;hpb=71804e81fe8aaa4c95073663b1cabdb5ba1dc87a;p=tatoo.git

diff --git a/res b/res
deleted file mode 100644
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