PRISM-TUM

Benchmark

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

Invocation (default)

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

Default settings.

Execution

Walltime:	17.07862401008606s
Return code:	0
Relative Error:	0.0004996182603487522

Log

4.803812509e-08