res

   1 ## Without any hcons in Run:
   2 real    0m17.668s
   3 user    0m17.204s
   4 sys     0m0.395s
   5
   6 ## With a hconsed fixpoint in BU_Oracle:
   7 real    0m17.625s
   8 user    0m17.202s
   9 sys     0m0.395s
  10 (~0% better)
  11
  12 ## With hconsed fixpoint in BU_Oracle and BU_Over_approx
  13 eal     0m12.884s
  14 user    0m12.504s
  15 sys     0m0.356s
  16 (37% better)
  17
  18 ## With hconsed fixpoint in BU_Oracle, BU_Over_approx and TP_Max