Improving thread management
Improving thread management
Refactoring delta stepping
Now correctness uses 3 threads