Generation of intermediate results in Schedule Synthesis
In the schedule synthesis, only results are generated in the DSE schedule generation during the search for optimal solutions in case of a completely successful search. However, the message returned in case of a timeout indicates, that already the intermediate results are returned.
Fix: Return also the intermediate results in case of a timeout.
(from redmine: issue id 2100, created on 2014-08-04, closed on 2015-08-12)