Commit Graph

3 Commits

Author SHA1 Message Date
dc01c1e477
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 102] 2018-02-02 07:47:52 +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
157a25398d
Add benchmark result [m-mp | ipc-2000 | blocks-strips-typed | 102] 2018-02-01 07:23:37 +01:00