1
0
Commit Graph

3 Commits

Author SHA1 Message Date
7c52e0096b
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-25 01:48:10 +01:00
1215e9c543
Remove results with errors
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.
2017-11-25 00:58:41 +01:00
4283533ebc
Add benchmark result [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 5] 2017-11-24 16:46:03 +01:00