Log files for model majority.2100 and tool configuration storm_from-jani_check_sparse
[16.473, 15.647, 15.654, 16.145, 20.436]
Log file: storm_from-jani_check_sparse_majority.2100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 16.473 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:18:06 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965283/tmp459qednwstorm_from-jani_check_sparse_majority.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 0.883s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 192000
Transitions: 1961600
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 3000 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.05429919317
Time for model checking: 15.551s.
Performance statistics:
* peak memory usage: 210MB
* CPU time: 16.383s
* wallclock time: 16.445s
Log file: storm_from-jani_check_sparse_majority.2100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 15.647 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:36:28 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962693/tmp78pjo2k6storm_from-jani_check_sparse_majority.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 0.916s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 192000
Transitions: 1961600
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 3000 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.05429919317
Time for model checking: 14.690s.
Performance statistics:
* peak memory usage: 211MB
* CPU time: 15.536s
* wallclock time: 15.616s
Log file: storm_from-jani_check_sparse_majority.2100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 15.654 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:42:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962931/tmpehb8sxc_storm_from-jani_check_sparse_majority.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 0.931s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 192000
Transitions: 1961600
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 3000 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.05429919317
Time for model checking: 14.686s.
Performance statistics:
* peak memory usage: 210MB
* CPU time: 15.553s
* wallclock time: 15.628s
Log file: storm_from-jani_check_sparse_majority.2100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 16.145 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:45:53 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4963109/tmplfzj9r2ystorm_from-jani_check_sparse_majority.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 0.904s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 192000
Transitions: 1961600
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 3000 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.05429919317
Time for model checking: 15.204s.
Performance statistics:
* peak memory usage: 210MB
* CPU time: 16.042s
* wallclock time: 16.119s
Log file: storm_from-jani_check_sparse_majority.2100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 20.436 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:32:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966097/tmputpl1g3hstorm_from-jani_check_sparse_majority.2100_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.008s.
Time for model construction: 0.921s.
--------------------------------------------------------------
Model type: CTMC (sparse)
States: 192000
Transitions: 1961600
Reward Models: none
State Labels: 3 labels
* init -> 1 item(s)
* deadlock -> 0 item(s)
* target -> 3000 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "change_state": Pmin=? [true U<=2100 "target"] ...
Result (for initial states): 0.05429919317
Time for model checking: 19.475s.
Performance statistics:
* peak memory usage: 210MB
* CPU time: 20.301s
* wallclock time: 20.407s