- a temporary vanilla bin-packing constraint
- TaskSchedulerPropagator.isEntailed()

108 failures
- Remove some NPE
- empty vector of incoming VMs in TaskScheduler by default
Fix ShutdownVMModel

98 failures
Bug fix in ShutdownVMModel.

97 failures left
Fix naive search strategies.

93 failures
Fix SuspendVMModel and a part of RelocatableVMModel

Refactor ReconfigurationProblem for optimisation problems. Still need some work.

66 failures.
Do not delay the post of cost constraints. Another TODO

48 failures left