Log files for model nand.40-4 and tool configuration storm_from-jani_check_sparse

Parsed values
[6.04, 5.027, 5.869000000000001, 5.718, 5.8580000000000005]
Log file: storm_from-jani_check_sparse_nand.40-4_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7.746 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:23:11 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962095/tmp_l10hxsdstorm_from-jani_check_sparse_nand.40-4_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: 6.039s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	3999522
Transitions: 	6288542
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 4 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "reliable": Pmin=? [F "target"] ...
Result (for initial states): 0.6186822208
Time for model checking: 1.672s.

Performance statistics:
  * peak memory usage: 766MB
  * CPU time: 7.538s
  * wallclock time: 7.714s
Log file: storm_from-jani_check_sparse_nand.40-4_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 6.571 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:41:59 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962919/tmpdl55v28istorm_from-jani_check_sparse_nand.40-4_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: 5.026s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	3999522
Transitions: 	6288542
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 4 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "reliable": Pmin=? [F "target"] ...
Result (for initial states): 0.6186822208
Time for model checking: 1.513s.

Performance statistics:
  * peak memory usage: 766MB
  * CPU time: 6.413s
  * wallclock time: 6.543s
Log file: storm_from-jani_check_sparse_nand.40-4_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7.541 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:23:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962092/tmp3yzje_hbstorm_from-jani_check_sparse_nand.40-4_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: 5.868s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	3999522
Transitions: 	6288542
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 4 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "reliable": Pmin=? [F "target"] ...
Result (for initial states): 0.6186822208
Time for model checking: 1.644s.

Performance statistics:
  * peak memory usage: 766MB
  * CPU time: 7.343s
  * wallclock time: 7.515s
Log file: storm_from-jani_check_sparse_nand.40-4_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7.306 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:47:34 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966814/tmp3x0gqyq4storm_from-jani_check_sparse_nand.40-4_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: 5.717s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	3999522
Transitions: 	6288542
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 4 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "reliable": Pmin=? [F "target"] ...
Result (for initial states): 0.6186822208
Time for model checking: 1.557s.

Performance statistics:
  * peak memory usage: 766MB
  * CPU time: 7.125s
  * wallclock time: 7.279s
Log file: storm_from-jani_check_sparse_nand.40-4_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7.522 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:08:09 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964860/tmpk_zfxdxfstorm_from-jani_check_sparse_nand.40-4_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: 5.857s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	3999522
Transitions: 	6288542
Reward Models:  none
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 4 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "reliable": Pmin=? [F "target"] ...
Result (for initial states): 0.6186822208
Time for model checking: 1.634s.

Performance statistics:
  * peak memory usage: 766MB
  * CPU time: 7.318s
  * wallclock time: 7.495s