#451 Add dining philosophers as CIF benchmark model.

Merged Dennis Hendriks requested to merge 451-add-dining-philosophers-as-cif-benchmark-model into develop

I've opted to adapt the model from four forks and philosophers in the current test model to the traditional number of five forks and philosophers. For the synthesis time this barely makes a difference.

Closes #451 (closed)

Merge request reports