Log files for model firewire.false-36-800 and tool configuration storm_from-jani_check_sparse
[7.749, 8.685, 8.863, 7.994, 9.012]
Log file: storm_from-jani_check_sparse_firewire.false-36-800_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7.749 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:58:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967273/tmp26cimntistorm_from-jani_check_sparse_firewire.false-36-800_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 0.879s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 6.839s.
Performance statistics:
* peak memory usage: 204MB
* CPU time: 7.670s
* wallclock time: 7.723s
Log file: storm_from-jani_check_sparse_firewire.false-36-800_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 8.685 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:41:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962900/tmp36t8erqbstorm_from-jani_check_sparse_firewire.false-36-800_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 0.980s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.673s.
Performance statistics:
* peak memory usage: 204MB
* CPU time: 8.585s
* wallclock time: 8.660s
Log file: storm_from-jani_check_sparse_firewire.false-36-800_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 8.863 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 06:57:22 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961011/tmpfzsl5310storm_from-jani_check_sparse_firewire.false-36-800_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 0.863s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.109s.
Performance statistics:
* peak memory usage: 204MB
* CPU time: 7.918s
* wallclock time: 7.978s
Log file: storm_from-jani_check_sparse_firewire.false-36-800_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7.994 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:28:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965865/tmpliz8co_9storm_from-jani_check_sparse_firewire.false-36-800_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 0.878s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 7.082s.
Performance statistics:
* peak memory usage: 204MB
* CPU time: 7.907s
* wallclock time: 7.966s
Log file: storm_from-jani_check_sparse_firewire.false-36-800_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 9.012 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:57:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967228/tmpoh2ywb_6storm_from-jani_check_sparse_firewire.false-36-800_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 0.873s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 212268
Transitions: 481792
Choices: 478756
Reward Models: time
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* done -> 2 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "deadline": Pmin=? [true Urew{"time"}<=800 "done"] ...
Result (for initial states): 0.939453125
Time for model checking: 8.106s.
Performance statistics:
* peak memory usage: 204MB
* CPU time: 8.930s
* wallclock time: 8.985s