First test that shows correctness with respect to KU Leuven models
Added files containing data for benchmark