Message6122

Author malte
Recipients florian, gabi, jendrik, malte, salome, silvan
Date 2017-01-14.12:52:51
Content
> Another thing that surprised me in the results was that lama-first has the
> same coverage as seq-sat-lama-2011. I thought lama-first is the first step
> of seq-sat-lama-2011. Are the other steps not helping, or just not showing
> up in the report?

Lama is an iterated search configuration, so the later steps are only run after
the first step has succeeded. Their purpose is to find solutions of higher quality.
History
Date User Action Args
2017-01-14 12:52:51maltesetmessageid: <1484394771.64.0.07733224739.issue383@unibas.ch>
2017-01-14 12:52:51maltesetrecipients: + malte, gabi, jendrik, silvan, florian, salome
2017-01-14 12:52:51maltelinkissue383 messages
2017-01-14 12:52:51maltecreate