PRISM-TUM

Benchmark

Model:	zeroconf v.1 (MDP)
Parameter(s)	N = 1000, K = 8, reset = False
Property:	correct_min (prob-reach)

Invocation (default)

./pet/bin/pet reachability --precision 0.001 --relative-error --only-result -m zeroconf.prism -p zeroconf.props --property correct_min --const N=1000,K=8,reset=false

Default settings.

Execution

Walltime:	3.420172691345215s
Return code:	0
Relative Error:	0.0002475301640449584

Log

5.041352791e-09