Author jendrik
Recipients andrew.coles, erez, florian, jendrik, malte, silvia
Date 2016-11-29.11:54:22
Due to newer CPLEX versions removing support for 32-bit builds, the discussion 
about 64-bit builds came up again. I repeated Florian's experiment on the bigger 
benchmark set and with some new optimal configurations. The general picture 
remains the same though. Coverage decreases in many domains for all configs.

The question is whether and how we want to act on these results. This may be 
something we should discuss in a Fast Downward meeting.
Date User Action Args
2016-11-29 11:54:22jendriksetmessageid: <>
2016-11-29 11:54:22jendriksetrecipients: + jendrik, malte, erez, andrew.coles, silvia, florian
2016-11-29 11:54:22jendriklinkissue213 messages
2016-11-29 11:54:22jendrikcreate