From 8646d614d4197d4e94b46a93fb82a725b02b2a01 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 20 Dec 2017 20:45:47 +0100
Subject: [PATCH] reduced the number of initial buckets for the hash map used
 in explicit model building

---
 src/storm/storage/sparse/StateStorage.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/sparse/StateStorage.cpp b/src/storm/storage/sparse/StateStorage.cpp
index a007ab2ea..a3ea05f4f 100644
--- a/src/storm/storage/sparse/StateStorage.cpp
+++ b/src/storm/storage/sparse/StateStorage.cpp
@@ -5,7 +5,7 @@ namespace storm {
         namespace sparse {
                         
             template <typename StateType>
-            StateStorage<StateType>::StateStorage(uint64_t bitsPerState) : stateToId(bitsPerState, 10000000), initialStateIndices(), deadlockStateIndices(), bitsPerState(bitsPerState) {
+            StateStorage<StateType>::StateStorage(uint64_t bitsPerState) : stateToId(bitsPerState, 100000), initialStateIndices(), deadlockStateIndices(), bitsPerState(bitsPerState) {
                 // Intentionally left empty.
             }