PRISM-TUM

Benchmark
Model:pacman v.1 (MDP)
Parameter(s)MAXSTEPS = 60
Property:crash (prob-reach)
Invocation (default)
./pet/bin/pet reachability --precision 0.001 --relative-error --only-result -m pacman.nm -p pacman.props --property crash --const MAXSTEPS=60
Default settings.
Execution
Walltime:227.53217267990112s
Return code:0
Relative Error:0.0004984532664894598
Log
0.5513821984