PRISM-TUM

Benchmark
Model:csma v.1 (MDP)
Parameter(s)N = 3, K = 4
Property:all_before_max (prob-reach)
Invocation (default)
./pet/bin/pet reachability --precision 0.001 --relative-error --only-result -m csma.3-4.prism -p csma.props --property all_before_max
Default settings.
Execution
Walltime:70.96054887771606s
Return code:0
Relative Error:4.5493576631615835e-05
Log
0.9324045085