CIF data-based synthesis performance benchmarking models

It would be nice to have a set of CIF models to test data-based synthesis performance. Especially also when we improve the performance, such as with #196 (closed).

A paper by Lousberg et al indicates they used 11 CIF models:

Martijn Goorden has a larger set of models (see this overview), but we have to check for each of them whether they can be contributed to Eclipse ESCET. The following is an overview of these models, there status (in terms of merge requests) and whether the models can be contributed (per the DCO requirements):

Nr	Name	Merge request	Status/DCO
1	agv	!522 (merged)	OK to contribute
2	ball-system	!532 (merged)	OK to contribute
3	central-lock-3doors
4	circular-table
5	cluster-tool	!523 (merged)	OK to contribute
6	intertwined-production
7	agent-formation	!525 (merged)	OK to contribute
8	production-cell	!526 (merged)	OK to contribute
9	testbed-rail
10	transfer-line
11	wafer-scanner	!834 (merged)	OK to contribute
12	work-cycle
13	adas	!527 (merged)	OK to contribute
14	water_lock	!319 (merged)	OK to contribute
15	festo	!317 (merged)	OK to contribute
16	container-terminal
17	swarm-segregation	!534 (merged)	OK to contribute
18	swarm-aggregation	!534 (merged)	OK to contribute
19	swarm-clustering	!534 (merged)	OK to contribute
20	swarm-formation	!534 (merged)	OK to contribute
21	bridge	!354 (merged)	OK to contribute
22	sumo
23	mri	!802 (merged)	OK to contribute
24	themepark	!524 (merged)	OK to contribute
25	transmission-grid
26	power-substation		sharing requested from author
27	information-system
28	robotnavigation
29	mri-state	!802 (merged)	OK to contribute
30	marijkesluis
31	blockchain
unfinished-1	function-block
unfinished-2	production-cell2
unfinished-3	flexible-assembly
unpublished-1	amigo
unpublished-2	4x4-sudoko	!355 (merged)	OK to contribute