Log files for model eajs.5-250-11 and tool configuration storm_from-jani_check_sparse
[18.337, 17.802, 17.936, 20.290000000000003, 20.381]
Log file: storm_from-jani_check_sparse_eajs.5-250-11_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 19.847 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:29:06 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965897/tmpatc5lgd_storm_from-jani_check_sparse_eajs.5-250-11_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 18.334s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 10.03294069
Time for model checking: 1.474s.
Performance statistics:
* peak memory usage: 813MB
* CPU time: 19.645s
* wallclock time: 19.821s
Log file: storm_from-jani_check_sparse_eajs.5-250-11_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 19.374 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.4964827/tmp2l9zl48tstorm_from-jani_check_sparse_eajs.5-250-11_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: 17.798s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 10.03294069
Time for model checking: 1.524s.
Performance statistics:
* peak memory usage: 814MB
* CPU time: 19.138s
* wallclock time: 19.336s
Log file: storm_from-jani_check_sparse_eajs.5-250-11_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 19.686 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:56:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4967181/tmpan0buomqstorm_from-jani_check_sparse_eajs.5-250-11_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.003s.
Time for model construction: 17.933s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 10.03294069
Time for model checking: 1.716s.
Performance statistics:
* peak memory usage: 814MB
* CPU time: 19.482s
* wallclock time: 19.662s
Log file: storm_from-jani_check_sparse_eajs.5-250-11_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 21.844 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:39:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966400/tmpoyzpumjpstorm_from-jani_check_sparse_eajs.5-250-11_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: 20.286s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 10.03294069
Time for model checking: 1.512s.
Performance statistics:
* peak memory usage: 814MB
* CPU time: 21.612s
* wallclock time: 21.813s
Log file: storm_from-jani_check_sparse_eajs.5-250-11_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 22.019 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 06:57:21 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961016/tmpbsyz9t2cstorm_from-jani_check_sparse_eajs.5-250-11_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: 20.377s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 3049471
Transitions: 6977654
Choices: 4256193
Reward Models: utilityLocal
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* emptyBattery -> 13476 item(s)
Choice Labels: none
--------------------------------------------------------------
Model checking property "ExpUtil": R{"utilityLocal"}max=? [F "emptyBattery"] ...
Result (for initial states): 10.03294069
Time for model checking: 1.551s.
Performance statistics:
* peak memory usage: 814MB
* CPU time: 21.714s
* wallclock time: 21.942s