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 | ||
| 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 | ||
| 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 | ||
| 30 | marijkesluis | ||
| 31 | blockchain | ||
| unfinished-1 | function-block | ||
| unfinished-2 | production-cell2 | ||
| unfinished-3 | flexible-assembly | ||
|
|
amigo | ||
| unpublished-2 | 4x4-sudoko | !355 (merged) | OK to contribute |