From b669a3acef838a2841695eda8add73d85cc421d7 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 27 Oct 2016 21:42:11 +0200
Subject: [PATCH] Only sort bucket queue if more than 10% is unsorted

Former-commit-id: 7ebd1e49c8a74198e4e36e5eeffdfc0ddb158020
---
 src/storage/BucketPriorityQueue.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/BucketPriorityQueue.cpp b/src/storage/BucketPriorityQueue.cpp
index eb174cce0..c758be7ee 100644
--- a/src/storage/BucketPriorityQueue.cpp
+++ b/src/storage/BucketPriorityQueue.cpp
@@ -14,7 +14,7 @@ namespace storm {
 
         template<typename ValueType>
         void BucketPriorityQueue<ValueType>::fix() {
-            if (currentBucket < buckets.size() && nrUnsortedItems > 0) {
+            if (currentBucket < buckets.size() && nrUnsortedItems > buckets[currentBucket].size() / 10) {
                 // Fix current bucket
                 std::make_heap(buckets[currentBucket].begin(), buckets[currentBucket].end(), compare);
                 nrUnsortedItems = 0;