Patrick Lühne
1215e9c543
Some instances have hyphens within variable names. Unfortunately, support for hyphens in variable names was missing in plasp 3.1.0, which resulted in incorrect ASP output. Additionally, clingo just printed an info message in the affected cases, which is why these incorrect benchmark runs weren’t easy to spot immediately. This removes all the affected results in order to run them again with plasp 3.1.1. Note that the new release doesn’t change anything else, and thus, the other results aren’t invalidated by the plasp update.