epmc

Model:	haddad-monmege v.1 (DTMC)
Parameter(s)	N = 100, p = 0.7
Property:	target (prob-reach)

./fix-syntax java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files haddad-monmege.pm --property-input-files haddad-monmege.prctl --property-input-names target --translate-messages false --value-floating-point-output-native true --const N=100,p=0.7

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:	1.6383745670318604s
Return code:	0
Note(s):	The tool result '0' is tagged as incorrect. The reference result is '3152519739159347/4503599627370496' (approx. 0.7) which means a relative error of '1.0' which is larger than the goal precision '0.001'.
Relative Error:	1.0

running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property target
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-done 201 0
iterating
iterating-done 34 0
model-checking-done 0
target: 0.0