Add scripts to benchmark data-based synthesis to CIF benchmarks

It would be useful to have some scripts to compare one alternative against another, to determine which is better. This way, we can more easily evaluate potential performance improvements. It can also help us to more easily do experiments to determine what settings should be the default settings, for best performance.

changed milestone to %v0.6

added CIF TypeEnhancement labels

assigned to @ddennis

I have some quickly put together scripts that I can develop further and contribute.

marked this issue as related to #376 (closed)

mentioned in issue #376 (closed)

marked this issue as related to #377 (closed)

mentioned in issue #378 (closed)

marked this issue as related to #378 (closed)

mentioned in issue #379 (closed)

marked this issue as related to #379 (closed)

mentioned in issue #380 (closed)

marked this issue as related to #380 (closed)

mentioned in merge request !327 (closed)

mentioned in issue #196 (closed)

changed milestone to %v0.7

@freijnen How do the models listed in the issue description (table) relate to the models at https://github.com/ffhreijnen/CASE2019)? Should the ones from GitHub be added to the table, or do they overlap with existing entries?

changed milestone to %v0.8

mentioned in issue #448 (closed)

mentioned in issue #451 (closed)

created branch 375-add-scripts-to-benchmark-data-based-synthesis-to-cif-benchmarks to address this issue

mentioned in commit e30f97bf

mentioned in merge request !405 (merged)

closed with merge request !405 (merged)

mentioned in commit 0bbc654a

mentioned in issue #455 (closed)