epmc

Benchmark
Model:rectangle-tireworld v.1 (MDP)
Parameter(s)xy = 11
Property:goal (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files rectangle-tireworld.11.jani --model-input-type jani --property-input-names goal --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.
Execution
Walltime:5.683870077133179s
Return code:0
Relative Error:8.265e-12
Log
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
model-checking
analysing-property goal
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-done 242 0
iterating
iterating-done 47 0
num-states-in-filter 1 "initial"
model-checking-done 2
goal: 0.999999999991735