PRISM-TUM

Benchmark
Model:embedded v.1 (CTMC)
Parameter(s)MAX_COUNT = 8, T = 12
Property:actuators (prob-reach)
Invocation (default)
./pet/bin/pet reachability --precision 0.001 --relative-error --only-result -m embedded.prism -p embedded.props --property actuators --const MAX_COUNT=8,T=12
Default settings.
Execution
Walltime:17.704907178878784s
Return code:0
Relative Error:0.00040298797370505836
Log
0.1053460919