Klee got famous with coreutils experiments. As they reimplement coreutils in Rust, maybe it would be interesting to prepare e.g. Dockerfile allowing to repeat experiment but on those: https://github.com/uutils/coreutils