Hi all, To make it easier for people who try to reproduce our OSDI'08 experiments, I have decided to put together a web page with some additional details: http://klee.llvm.org/CoreutilsExperiments.html Best, Cristian