Log files for model cluster.128-2000-20 and tool configuration storm_from-jani_check_sparse
[40.919, 43.589, 37.24, 42.192, 56.853]
Log file: storm_from-jani_check_sparse_cluster.128-2000-20_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 40.919 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:49:34 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4963279/tmp4cbcggw6storm_from-jani_check_sparse_cluster.128-2000-20_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 1.613s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 597012
Transitions: 2908192
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* minimum -> 141117 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "qos1": Pmin=? [true U<=2000 (!"minimum")] ...
Result (for initial states): 0.001072402534
Time for model checking: 39.279s.
Performance statistics:
* peak memory usage: 192MB
* CPU time: 40.777s
* wallclock time: 40.896s
Log file: storm_from-jani_check_sparse_cluster.128-2000-20_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 43.589 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:07:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964837/tmpzyspxoc7storm_from-jani_check_sparse_cluster.128-2000-20_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 1.904s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 597012
Transitions: 2908192
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* minimum -> 141117 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "qos1": Pmin=? [true U<=2000 (!"minimum")] ...
Result (for initial states): 0.001072402534
Time for model checking: 41.643s.
Performance statistics:
* peak memory usage: 193MB
* CPU time: 43.376s
* wallclock time: 43.550s
Log file: storm_from-jani_check_sparse_cluster.128-2000-20_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 37.240 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 08:53:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964173/tmp9au60_ugstorm_from-jani_check_sparse_cluster.128-2000-20_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 1.642s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 597012
Transitions: 2908192
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* minimum -> 141117 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "qos1": Pmin=? [true U<=2000 (!"minimum")] ...
Result (for initial states): 0.001072402534
Time for model checking: 35.574s.
Performance statistics:
* peak memory usage: 193MB
* CPU time: 37.123s
* wallclock time: 37.218s
Log file: storm_from-jani_check_sparse_cluster.128-2000-20_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 42.192 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:29:18 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962351/tmpy4kby3ssstorm_from-jani_check_sparse_cluster.128-2000-20_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 1.610s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 597012
Transitions: 2908192
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* minimum -> 141117 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "qos1": Pmin=? [true U<=2000 (!"minimum")] ...
Result (for initial states): 0.001072402534
Time for model checking: 40.555s.
Performance statistics:
* peak memory usage: 192MB
* CPU time: 42.055s
* wallclock time: 42.169s
Log file: storm_from-jani_check_sparse_cluster.128-2000-20_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 56.853 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:59:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967319/tmpeb1g_z41storm_from-jani_check_sparse_cluster.128-2000-20_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 1.970s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 597012
Transitions: 2908192
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* minimum -> 141117 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "qos1": Pmin=? [true U<=2000 (!"minimum")] ...
Result (for initial states): 0.001072402534
Time for model checking: 54.843s.
Performance statistics:
* peak memory usage: 192MB
* CPU time: 56.524s
* wallclock time: 56.817s