Related to #428, which was fixed in e3df22b but broken in a refactoring (b6c3cb0)
e3df22b
b6c3cb0
Several changes has been made: - Parallel result merge - Scoring algorithm slightly changed (see result_score()) - Proper Thread locking on global data manipulation