Here we release the details of test cases generated (with 8 hours budget) by MOREST found on the open-source projects (used as benchmarks in the paper).