#451 Add dining philosophers as CIF benchmark model.

2 jobs for 451-add-dining-philosophers-as-cif-benchmark-model in 0 seconds (queued for 44 minutes and 28 seconds)