Log files for model pnueli-zuck.5 and tool configuration storm_from-jani_to-umb_sparse
[0.045, 0.049, 0.04, 0.042, 0.043]
Log file: storm_from-jani_to-umb_sparse_pnueli-zuck.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 2.201 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:30:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957392/tmpbs9vxac8storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957392/tmpchtcrq83storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 2.121s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957392/tmpchtcrq83storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb'.
Time for model export: 0.045s.
Performance statistics:
* peak memory usage: 165MB
* CPU time: 2.109s
* wallclock time: 2.171s
############################## Output files ##############################
model.umb: Size of output file is 61800448 bytes
Log file: storm_from-jani_to-umb_sparse_pnueli-zuck.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 2.671 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:36:25 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955201/tmp8y0a0k9tstorm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955201/tmpgwwjibgdstorm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 2.047s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955201/tmpgwwjibgdstorm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb'.
Time for model export: 0.049s.
Performance statistics:
* peak memory usage: 165MB
* CPU time: 2.030s
* wallclock time: 2.102s
############################## Output files ##############################
model.umb: Size of output file is 61800448 bytes
Log file: storm_from-jani_to-umb_sparse_pnueli-zuck.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 1.956 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:04:27 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958543/tmpuzpeklg8storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958543/tmppesty9c1storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.883s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958543/tmppesty9c1storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb'.
Time for model export: 0.040s.
Performance statistics:
* peak memory usage: 165MB
* CPU time: 1.889s
* wallclock time: 1.928s
############################## Output files ##############################
model.umb: Size of output file is 61800448 bytes
Log file: storm_from-jani_to-umb_sparse_pnueli-zuck.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 2.033 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:00:04 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956166/tmpllwfg2uustorm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956166/tmpy3afkng8storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.961s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956166/tmpy3afkng8storm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb'.
Time for model export: 0.042s.
Performance statistics:
* peak memory usage: 166MB
* CPU time: 1.958s
* wallclock time: 2.008s
############################## Output files ##############################
model.umb: Size of output file is 61800448 bytes
Log file: storm_from-jani_to-umb_sparse_pnueli-zuck.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb umb --compression none
Wallclock time: 2.305 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:23 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954877/tmpm7a8bzozstorm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954877/tmpqw03m6scstorm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb umb --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 1.986s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 397435
Transitions: 2492035
Choices: 2323315
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 10000 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954877/tmpqw03m6scstorm_from-jani_to-umb_sparse_pnueli-zuck.5_tmp_outdir_/model.umb'.
Time for model export: 0.043s.
Performance statistics:
* peak memory usage: 164MB
* CPU time: 1.971s
* wallclock time: 2.036s
############################## Output files ##############################
model.umb: Size of output file is 61800448 bytes