Model:eajs v.1 (MDP)
Parameter(s)N = 6, energy_capacity = 300, B = 13
Property:ExpUtil (exp-reward)
Invocation (default)
./fix-syntax java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files eajs.6.prism --property-input-files eajs.props --property-input-names ExpUtil --translate-messages false --value-floating-point-output-native true --const energy_capacity=300,B=13
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.
Return code:-6
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
# A fatal error has been detected by the Java Runtime Environment:
#  SIGSEGV (0xb) at pc=0x00007f5f2348a71d, pid=2766, tid=2776
# JRE version: OpenJDK Runtime Environment (10.0.2+13) (build 10.0.2+13-Ubuntu-1ubuntu0.18.04.4)
# Java VM: OpenJDK 64-Bit Server VM (10.0.2+13-Ubuntu-1ubuntu0.18.04.4, mixed mode, tiered, compressed oops, g1 gc, linux-amd64)
# Problematic frame:
# V  [libjvm.so+0x74c71d]
# Core dump will be written. Default location: Core dumps may be processed with "/usr/share/apport/apport %p %s %c %d %P" (or dumping to /home/qcomp/core.2766)
# An error report file with more information is saved as:
# /home/qcomp/hs_err_pid2766.log
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp