Message6748

Author guillem
Recipients florian, guillem, jendrik, malte, manuel, silvan
Date 2017-12-13.15:59:15
Content
I have (finally!) uploaded some experiment results here:

http://ai.cs.unibas.ch/_tmp_files/frances/issue724-v1-sat-issue724-base-issue724-v1-compare.html
http://ai.cs.unibas.ch/_tmp_files/frances/issue724-v1-opt-issue724-base-issue724-v1-compare.html

They include configurations for:
* lama-first
* ehc(ff)
* A* + blind heur.
* A* + lm-cut
* seq-opt-bjolp

The only significant differences seem to be in memory usage (which I assume are given in KB).
I don't have a clear intuition of the source of these differences, although they are perhaps small enough to ignore them?
History
Date User Action Args
2017-12-13 15:59:15guillemsetmessageid: <1513177155.38.0.47311650002.issue724@unibas.ch>
2017-12-13 15:59:15guillemsetrecipients: + guillem, malte, jendrik, silvan, florian, manuel
2017-12-13 15:59:15guillemlinkissue724 messages
2017-12-13 15:59:15guillemcreate