Issue575

Issues
Show Unassigned
Show All
Search

Login




Register
Lost your login?

Help
Roundup docs

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.








 
Messages

 
  

   msg9029 (view)
   Author: malte
   Date: 2019-10-28.11:45:31
   
    
   
  

  

   
    
Closed.

   		
  

 
 
  

   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).

   		
  

 





History


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