epmc

Model:	herman v.1 (DTMC)
Parameter(s)	N = 15
Property:	steps (exp-reward)

java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files herman.15.prism --property-input-files herman.props --property-input-names steps --translate-messages false --value-floating-point-output-native true

Default settings. The option --translate-messages is set to false to ease the parsing of the output while the --value-floating-point-output-native is set to true to get the float values printed in full, instead of with only 7 digits of precision given by the default %.7f format.

Walltime:	265.44166922569275s
Return code:	1

running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
start-parsing	

Unexpected error occurred during parsing: java.lang.OutOfMemoryError: Java heap space