Published December 14, 2023
| Version v1.1
Software
Open
Advanced Consistency Restoration with Higher-Order Short-Cut Rules
Authors/Creators
- 1. Technical University Darmstadt
- 2. Philipps-Universität Marburg
-
3.
Philipps University of Marburg
Description
This is our evaluation artifact for the extended version of our ICGT23 submission "Advanced Consistency Restoration with Higher-Order Short-Cut Rules".
It consists of a VM containing a preinstalled eMoflon together with a PDF file explaining installation and implementation details.
We also included our own measurements.
Note that in comparison to the first version, you need a Gurobi license to execute the benchmark and that the previous version 1.0 is also available here.
Files
ArtifactEvaluation.pdf
Files
(5.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:8433f939a1b7248fbbdb676dae117716
|
665.1 kB | Preview Download |
|
md5:f890c1df499ec667b89a3a3a103fbf42
|
236.0 kB | Preview Download |
|
md5:7ab06c975a1dae5f9d0982151be27d3c
|
81.7 kB | Preview Download |
|
md5:fd49e4a4115aa9fae8929a207614c112
|
12.1 kB | Preview Download |
|
md5:d163df3f3856c7444885ed7932baf455
|
867 Bytes | Preview Download |
|
md5:be31270fa90abd2352fd86df29b81705
|
5.7 GB | Download |