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