Commit Graph

3 Commits

Author SHA1 Message Date
be60dd6850
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 81] 2018-02-01 20:13:50 +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
078f2cd091
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 81] 2018-02-01 02:04:47 +01:00