Log files for model eajs.6-300-13 and tool configuration storm_from-jani_check_sparse
[68.021, 58.800999999999995, 67.49199999999999, 68.44699999999999, 67.27300000000001]
Log file: storm_from-jani_check_sparse_eajs.6-300-13_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 72.665 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:05:29 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961381/tmpfn_a5i1ostorm_from-jani_check_sparse_eajs.6-300-13_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 68.016s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 12.05111082
Time for model checking: 4.578s.
Performance statistics:
* peak memory usage: 2151MB
* CPU time: 71.876s
* wallclock time: 72.625s
Log file: storm_from-jani_check_sparse_eajs.6-300-13_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 62.977 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 08:51:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964033/tmpm9us1z4estorm_from-jani_check_sparse_eajs.6-300-13_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 58.797s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 12.05111082
Time for model checking: 4.120s.
Performance statistics:
* peak memory usage: 2151MB
* CPU time: 62.394s
* wallclock time: 62.946s
Log file: storm_from-jani_check_sparse_eajs.6-300-13_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 73.487 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:34:48 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962610/tmppdn0wwbfstorm_from-jani_check_sparse_eajs.6-300-13_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 67.487s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 12.05111082
Time for model checking: 5.926s.
Performance statistics:
* peak memory usage: 2151MB
* CPU time: 72.586s
* wallclock time: 73.450s
Log file: storm_from-jani_check_sparse_eajs.6-300-13_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 73.460 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:37:35 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962749/tmpylbz1vo3storm_from-jani_check_sparse_eajs.6-300-13_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
Time for model construction: 68.442s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 12.05111082
Time for model checking: 4.936s.
Performance statistics:
* peak memory usage: 2151MB
* CPU time: 72.658s
* wallclock time: 73.408s
Log file: storm_from-jani_check_sparse_eajs.6-300-13_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 71.477 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:02:54 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964613/tmpfcunlfi6storm_from-jani_check_sparse_eajs.6-300-13_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
Time for model construction: 67.269s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 7901694
Transitions: 19722777
Choices: 11897412
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 28620 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 12.05111082
Time for model checking: 4.145s.
Performance statistics:
* peak memory usage: 2151MB
* CPU time: 70.833s
* wallclock time: 71.442s