Author malte
Recipients jendrik, malte, mkatz, silvan
Date 2017-12-20.12:26:34
Someone want to set up an experiment for this? The code change to test this is
simple, only a few lines. Michael or I can give pointers to the necessary
changes if it helps.

This is only relevant for configurations involving lazy search and preferred
operators, so I suggest we test lazy search with the FF heuristic and preferred
operators, lama-first, and lama (separately).
Date User Action Args
2017-12-20 12:26:34maltesetmessageid: <>
2017-12-20 12:26:34maltesetrecipients: + malte, jendrik, mkatz, silvan
2017-12-20 12:26:34maltelinkissue756 messages
2017-12-20 12:26:34maltecreate