Log files for model fms.8 and tool configuration storm_from-jani_to-drn_sparse
[14.157, 14.141, 14.19, 14.066, 14.188]
Log file: storm_from-jani_to-drn_sparse_fms.8_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 46.365 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:14:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956703/tmpyrb0saqxstorm_from-jani_to-drn_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956703/tmpghbqbftestorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 32.159s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956703/tmpghbqbftestorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn'.
Time for model export: 14.157s.
Performance statistics:
* peak memory usage: 1299MB
* CPU time: 45.578s
* wallclock time: 46.331s
############################## Output files ##############################
model.drn: Size of output file is 962033075 bytes
Log file: storm_from-jani_to-drn_sparse_fms.8_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 46.328 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:53:36 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955896/tmpdj0c3k1istorm_from-jani_to-drn_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955896/tmpk80zmw3nstorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 32.140s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955896/tmpk80zmw3nstorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn'.
Time for model export: 14.141s.
Performance statistics:
* peak memory usage: 1299MB
* CPU time: 45.526s
* wallclock time: 46.295s
############################## Output files ##############################
model.drn: Size of output file is 962033075 bytes
Log file: storm_from-jani_to-drn_sparse_fms.8_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 45.397 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:52:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958105/tmpz2dac6l8storm_from-jani_to-drn_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958105/tmpvxy9dr9ostorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 31.164s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4958105/tmpvxy9dr9ostorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn'.
Time for model export: 14.190s.
Performance statistics:
* peak memory usage: 1298MB
* CPU time: 44.594s
* wallclock time: 45.368s
############################## Output files ##############################
model.drn: Size of output file is 962033075 bytes
Log file: storm_from-jani_to-drn_sparse_fms.8_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 45.881 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:04:47 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956332/tmp8g5pnlk5storm_from-jani_to-drn_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956332/tmpu14ur5vistorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 31.148s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956332/tmpu14ur5vistorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn'.
Time for model export: 14.066s.
Performance statistics:
* peak memory usage: 1299MB
* CPU time: 44.525s
* wallclock time: 45.228s
############################## Output files ##############################
model.drn: Size of output file is 962033075 bytes
Log file: storm_from-jani_to-drn_sparse_fms.8_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 44.854 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:41:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957725/tmp5lwgchixstorm_from-jani_to-drn_sparse_fms.8_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957725/tmpkhuamwefstorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn drn --compression none
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 30.621s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 4459455
Transitions: 38533968
Reward Models: productivity
State Labels: 2 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4957725/tmpkhuamwefstorm_from-jani_to-drn_sparse_fms.8_tmp_outdir_/model.drn'.
Time for model export: 14.188s.
Performance statistics:
* peak memory usage: 1299MB
* CPU time: 44.110s
* wallclock time: 44.823s
############################## Output files ##############################
model.drn: Size of output file is 962033075 bytes