Author florian
Recipients florian, gabi, jendrik, malte, salome, silvan
Date 2017-01-14.11:08:13
Unfortunately, this was not the easy fix, I hoped it would be.

(still all results in one report, sorry)

Coverage goes down by a lot, especially in miconic-fulladl, parcprinter and sokoban.
Interestingly, miconic-fulladl is the domain that looks really good in the
plots. It seems that a lot of tasks are now detected as unsolvable (see for example

Looks like this is the same issue mentioned in msg2522 and msg2543.

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?

Maybe we have to let this issue rest until we can look at the landmark code as a
Let's hope its not another 3.5 years.
Date User Action Args
2017-01-14 11:08:13floriansetmessageid: <>
2017-01-14 11:08:13floriansetrecipients: + florian, malte, gabi, jendrik, silvan, salome
2017-01-14 11:08:13florianlinkissue383 messages
2017-01-14 11:08:13floriancreate