Log files for model pnueli-zuck.5 and tool configuration storm_from-jani_to-drn_sparse
[0.773, 0.759, 0.804, 0.773, 0.764]
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.5_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 2.763 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:26:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957242/tmptd8sd0aystorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957242/tmp9pj1afy8storm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn drn --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.960s.
--------------------------------------------------------------
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.4957242/tmp9pj1afy8storm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn'.
Time for model export: 0.773s.
Performance statistics:
* peak memory usage: 134MB
* CPU time: 2.698s
* wallclock time: 2.739s
############################## Output files ##############################
model.drn: Size of output file is 60741143 bytes
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.5_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 2.723 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:29:50 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957372/tmp6g6qr9f7storm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957372/tmp_0fiu82pstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn drn --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.929s.
--------------------------------------------------------------
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.4957372/tmp_0fiu82pstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn'.
Time for model export: 0.759s.
Performance statistics:
* peak memory usage: 135MB
* CPU time: 2.631s
* wallclock time: 2.694s
############################## Output files ##############################
model.drn: Size of output file is 60741143 bytes
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.5_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 3.000 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:43:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4957804/tmp88prj0jtstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957804/tmpvhxcu8ujstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn drn --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.158s.
--------------------------------------------------------------
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.4957804/tmpvhxcu8ujstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn'.
Time for model export: 0.804s.
Performance statistics:
* peak memory usage: 133MB
* CPU time: 2.933s
* wallclock time: 2.968s
############################## Output files ##############################
model.drn: Size of output file is 60741143 bytes
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.5_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 2.887 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 00:00:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4958409/tmpzq0r9alestorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4958409/tmpg4aqz7d8storm_from-jani_to-drn_sparse_pnueli-zuck.5_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: 2.075s.
--------------------------------------------------------------
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.4958409/tmpg4aqz7d8storm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn'.
Time for model export: 0.773s.
Performance statistics:
* peak memory usage: 134MB
* CPU time: 2.793s
* wallclock time: 2.854s
############################## Output files ##############################
model.drn: Size of output file is 60741143 bytes
Log file: storm_from-jani_to-drn_sparse_pnueli-zuck.5_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.drn drn --compression none
Wallclock time: 2.810 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.4957387/tmpcigrzd8pstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4957387/tmpopc2km_pstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn drn --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.011s.
--------------------------------------------------------------
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.4957387/tmpopc2km_pstorm_from-jani_to-drn_sparse_pnueli-zuck.5_tmp_outdir_/model.drn'.
Time for model export: 0.764s.
Performance statistics:
* peak memory usage: 134MB
* CPU time: 2.723s
* wallclock time: 2.781s
############################## Output files ##############################
model.drn: Size of output file is 60741143 bytes