Lost your login?
Created on 2015-09-28.13:14:11 by jendrik, last changed by silvan.
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).