Overflow in arithmetic operation when running reward-bounded algorithm

An arithmetic overflow exception was generated when running the command below on the attached modest model. I listed my machine spec and other information that might be helpful for diagnosis. abstractArbiter25state_234.modest

mcsta abstractArbiter25state_234.modest -S Memory --reward-bounded-alg StateElimination --alg IntervalIteration > output.txt

OS: Darwin Kernel Version 18.5.0, MacOS Mojave version 10.14.4 processor: 2.7 GHz Intel Core i7 memory: 16 GB 2133 MHz LPDDR3

Contents written to output.txt: abstractArbiter25state_234.modest: info: abstractArbiter25state_234 is a DTMC model. abstractArbiter25state_234.modest: info: Need 8 bytes per state. abstractArbiter25state_234.modest: info: Explored 80158413 states.

Terminal printout: [ERROR] FATAL UNHANDLED EXCEPTION: System.OverflowException: Arithmetic operation resulted in an overflow. at Modest.StateSpace.Memory..ctor (System.Int64 length, System.Boolean zeroMemory) [0x0001d] in :0 at Modest.StateSpace.Partition.Merge (Modest.StateSpace.Partition[] partitions, Modest.Modularity.OperationState operationState, System.String experimentStatusString) [0x007b2] in :0 at Modest.StateSpace.PartitionedStateSpace.MergePartitions (Modest.Modularity.OperationState operationState, System.String experimentStatusString) [0x0000b] in :0 at Modest.ModelChecking.MAModelChecker1[T].ModelCheck (System.String experimentString, Modest.Modularity.OperationState operationState, Modest.Modularity.ComponentErrorHandler ceh) [0x00905] in <704ceaa1ee80407c8d44bad47ced74d3>:0 at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheckGeneric[T] (Modest.Exploration.Network1[T] network, System.Object expInfoObj, System.String experimentString, Modest.StateSpace.StateProjections projections, System.Object propertiesObj, Modest.StateSpace.ComponentisedExpression[] distanceExps, System.Object parametersObj, Modest.Modularity.ILocation documentLocation, Modest.Modularity.OperationState operationState, Modest.Modularity.ComponentErrorHandler ceh) [0x000b5] in <704ceaa1ee80407c8d44bad47ced74d3>:0 at (wrapper delegate-invoke) type_16777215.invoke_AnalysisDataSet_Network1<State1>_object_string_StateProjections_object_ComponentisedExpression[]_object_ILocation_OperationState_ComponentErrorHandler(Modest.Exploration.Network1<CompiledAutomata.State1>,object,string,Modest.StateSpace.StateProjections,object,Modest.StateSpace.ComponentisedExpression[],object,Modest.Modularity.ILocation,Modest.Modularity.OperationState,Modest.Modularity.ComponentErrorHandler) at invoke Modest.Exploration.Network1__CompiledAutomata.State1\, CompiledAutomata10890767824702885931\, Version=0.0.0.0\, Culture=neutral\, PublicKeyToken=null__ : System.Object : System.String : Modest.StateSpace.StateProjections : System.Object : Modest.StateSpace.ComponentisedExpression__ : System.Object : Modest.Modularity.ILocation : Modest.Modularity.OperationState : Modest.Modularity.ComponentErrorHandler : Modest.Modularity.AnalysisDataSet.GeneratedClass.DoInvoke (System.Object , System.Object[] , System.Reflection.MethodInfo ) [0x00011] in <9dfaedfc16e24eca93fb767fe015ac98>:0 at Modest.DirectInvoker.InvokeDirect (System.Reflection.MethodInfo method, System.Object instance, System.Object[] parameters) [0x00189] in <d552551992da4170a64bbd79ca19b534>:0 at Modest.Exploration.NetworkGenericMethod.Invoke (System.Object network) [0x00021] in <580459dfc38f412089709c03e6616f76>:0 at Modest.ModelChecking.ModelCheckingAnalysisEngine.ModelCheck (Modest.Automaton.NSHAModel model, Modest.ModelChecking.ModelCheckingAnalysisEngine+CompilationParameters compilationParams, System.Object parametersObj, Modest.Modularity.OperationState operationState, Modest.Modularity.IErrorHandler errors) [0x009d5] in <704ceaa1ee80407c8d44bad47ced74d3>:0 at Modest.ModelChecking.ModelCheckingAnalysisEngine.Analyze (Modest.ModelChecking.ModelCheckingAnalysisEngine+AnalysisParams analysisParameters, Modest.Automaton.NSHAModel model, System.Collections.Generic.IEnumerable1[T] modelParameters, Modest.Modularity.OperationState operationState, Modest.Modularity.IErrorHandler errors) [0x00b94] in <704ceaa1ee80407c8d44bad47ced74d3>:0 at Modest.Modularity.AnalysisEngine3[M,EP,AP].Analyze (Modest.Modularity.IParameterObject analysisParameters, Modest.Modularity.IModel model, System.Collections.Generic.IEnumerable1[T] experiments, Modest.Modularity.OperationState operationState, Modest.Modularity.IErrorHandler errors) [0x00114] in :0 at Modest.Executables.Mcsta.Program.Run (Modest.Executables.Mcsta.Program+McstaParams parameters, System.Diagnostics.Stopwatch time) [0x00442] in <3c13b72722034516b619c5d85146d367>:0 at Modest.Executables.Mcsta.Program.Main (System.String[] args) [0x0007a] in <3c13b72722034516b619c5d85146d367>:0