Commit Graph

3 Commits

Author SHA1 Message Date
1718406edc
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 88] 2018-02-02 01:16:09 +01:00
26262d938b
Remove instances with missing statistics
Due to a mistake in handling SIGTERM signals, the statistics were
missing. Remove the affected instances to trigger new measurements.
2018-02-01 15:08:15 +01:00
8b6263235a
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 88] 2018-02-01 03:51:03 +01:00