Thanks! I think the results look good:
coverage: goes up and down by at most 1 in 4 domains, nothing unusual.
time: can't be evaluated since these are all portfolios and iterated searches, but shouldn't be problematic.
memory: can be evaluated for LAMA-2011, where memory usage decreases significantly, sometimes by more than 1 GB.
quality: increases for 3 out 4 tested configurations.
So I'd say this looks good to merge, but I haven't seen the code. Can you add a link to the pull request, please?
|