New way of compiling and testing case studies, implemented for pairs