Title speed up PDB evaluation
Priority bug Status resolved
Superseder Nosy List florian, jendrik, malte, silvan
Assigned To Keywords
Optional summary

Created on 2015-09-28.13:14:11 by jendrik, last changed by malte.

msg9029 (view) Author: malte Date: 2019-10-28.11:45:31
msg9028 (view) Author: jendrik Date: 2019-10-26.22:21:19
Yes, let's close it. We're looking at the evaluation speed of PDB heuristics in issue348 anyway.
msg9024 (view) Author: malte Date: 2019-10-26.20:05:11
We haven't touched this for four years, and I think many things have changed since then. Should we close this?
msg4625 (view) Author: jendrik Date: 2015-09-28.13:14:11
Using the task interface (mainly the transformation from GlobalStates to States) 
made the evaluation of PDBs slower. We should think about ways for making it 
faster again. One way might be to operate on packed states (issue348).
Date User Action Args
2019-10-28 11:45:31maltesetstatus: chatting -> resolved
messages: + msg9029
2019-10-26 22:21:19jendriksetmessages: + msg9028
2019-10-26 20:05:11maltesetstatus: unread -> chatting
messages: + msg9024
2018-12-03 11:37:28jendriksettitle: make PDB evaluation fast again -> speed up PDB evaluation
2015-09-28 14:05:17silvansetnosy: + silvan
2015-09-28 13:14:11jendrikcreate