projects
/
tatoo.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
19e73f925ef9259e407faada980bf1bdf52ccfa0
[tatoo.git]
/
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