Storm.exact

Benchmark
Model:pacman v.1 (MDP)
Parameter(s)MAXSTEPS = 100
Property:crash (prob-reach)
Invocation (exact)
/home/tq429871/storm/build/bin/storm --prism /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/mdp/pacman/pacman.nm --prop /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/mdp/pacman/pacman.props crash --constants MAXSTEPS=100 --exact --timemem
Sparse engine with exact model checking
Execution
Walltime:456.629647731781s
Return code:0
Relative Error:0.0
Log
Storm 1.6.2

Date: Sat Sep  5 20:53:18 2020
Command line arguments: --prism /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/mdp/pacman/pacman.nm --prop /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks/qcomp/benchmarks/mdp/pacman/pacman.props crash --constants MAXSTEPS=100 --exact --timemem
Current working directory: /rwthfs/rz/cluster/home/tq429871/git/storm-qcomp-benchmarks

Time for model input parsing: 0.052s.

Time for model construction: 395.005s.

-------------------------------------------------------------- 
Model type: 	MDP (sparse)
States: 	16115358
Transitions: 	22140403
Choices: 	20214527
Reward Models:  none
State Labels: 	3 labels
   * deadlock -> 0 item(s)
   * Crash -> 375112 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "crash": Pmin=? [F "Crash"] ...
Result (for initial states): 20530731322849178168274065935141602924670578150393429768659213274416501568911383642435277893633713/37252902984619140625000000000000000000000000000000000000000000000000000000000000000000000000000000 (approx. 0.5511176225)
Time for model checking: 59.918s.

Performance statistics:
  * peak memory usage: 10276MB
  * CPU time: 450.103s
  * wallclock time: 456.577s