v0.3.0

This release adds:

• A script to generate timing data from the old concretizer (old_solve_parallel.py)
• A script to produce plots comparing the old concretizer and the ASP concretizer (analyze_old_vs_asp.py)

to the Docker image. The README has been extended with an example to show how to produce a CDF plot comparing old vs. ASP concretization times.

v0.2.0

This release adds:

• The input list to reproduce the full-scale analysis (full.list)
• A parallel version of the script producing CSV results (asp_solve_parallel.py)

to the Docker image. The README has been updated to mention these additions.

v0.1.0

First release of the Docker image used to reproduce results. The image contains:

• Three input files
• A serial script to analyze concretization times and produce data in CSV format
• Three scripts to generate different kind of plots based