Benchmarks

In the past, we applied CoBaSA to algorithmically synthesize architectural models using the actual production design data and constraints arising during the development of the Boeing 787 Dreamliner. We make available a family of 60 benchmark instances derived from Boeing data.