Some information about the Coreutils experiments presented in the KLEE OSDI paper.