Log files for model crowds.6-20 and tool configuration storm_from-jani_check_sparse
[33.2, 32.742, 33.989, 30.465, 32.319]
Log file: storm_from-jani_check_sparse_crowds.6-20_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 33.200 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:30:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962404/tmpbk_fe55kstorm_from-jani_check_sparse_crowds.6-20_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: 31.194s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "positive": Pmin=? [F "target"] ...
Result (for initial states): 0.1204763709
Time for model checking: 1.969s.
Performance statistics:
* peak memory usage: 1744MB
* CPU time: 32.648s
* wallclock time: 33.170s
Log file: storm_from-jani_check_sparse_crowds.6-20_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 32.742 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:08:16 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961481/tmpf700ncqgstorm_from-jani_check_sparse_crowds.6-20_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: 30.847s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "positive": Pmin=? [F "target"] ...
Result (for initial states): 0.1204763709
Time for model checking: 1.859s.
Performance statistics:
* peak memory usage: 1744MB
* CPU time: 32.220s
* wallclock time: 32.712s
Log file: storm_from-jani_check_sparse_crowds.6-20_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 33.989 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 06:59:30 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961105/tmprglprkrpstorm_from-jani_check_sparse_crowds.6-20_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: 31.963s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "positive": Pmin=? [F "target"] ...
Result (for initial states): 0.1204763709
Time for model checking: 1.992s.
Performance statistics:
* peak memory usage: 1743MB
* CPU time: 33.379s
* wallclock time: 33.962s
Log file: storm_from-jani_check_sparse_crowds.6-20_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 30.465 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:23:49 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965614/tmpcyd6pym1storm_from-jani_check_sparse_crowds.6-20_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: 28.548s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "positive": Pmin=? [F "target"] ...
Result (for initial states): 0.1204763709
Time for model checking: 1.881s.
Performance statistics:
* peak memory usage: 1744MB
* CPU time: 29.978s
* wallclock time: 30.436s
Log file: storm_from-jani_check_sparse_crowds.6-20_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 32.319 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:22:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962071/tmpqh1ucul9storm_from-jani_check_sparse_crowds.6-20_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: 30.409s.
--------------------------------------------------------------
Model type: DTMC (sparse)
States: 10633591
Transitions: 38261191
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 230230 item(s)
* target -> 352935 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "positive": Pmin=? [F "target"] ...
Result (for initial states): 0.1204763709
Time for model checking: 1.880s.
Performance statistics:
* peak memory usage: 1744MB
* CPU time: 31.813s
* wallclock time: 32.296s