Log files for model oscillators.8-10-0.1-1-0.1-1.0 and tool configuration storm_from-jani_check_sparse

Parsed values
[62.037, 63.548, 65.036, 45.71, 50.992]
Log file: storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 62.037 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 08:52:04 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964110/tmptxkpt_p4storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 9.072s.

Time for model construction: 49.694s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	24311
Transitions: 	76623
Reward Models:  time_to_synch
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 2 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "time_to_synch": R{"time_to_synch"}min=? [F "target"] ...
Result (for initial states): 6.007420358
Time for model checking: 0.013s.

Performance statistics:
  * peak memory usage: 860MB
  * CPU time: 61.469s
  * wallclock time: 61.979s
Log file: storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 63.548 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:03:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961273/tmp0lpp9la4storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 9.635s.

Time for model construction: 50.897s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	24311
Transitions: 	76623
Reward Models:  time_to_synch
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 2 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "time_to_synch": R{"time_to_synch"}min=? [F "target"] ...
Result (for initial states): 6.007420358
Time for model checking: 0.013s.

Performance statistics:
  * peak memory usage: 860MB
  * CPU time: 62.966s
  * wallclock time: 63.499s
Log file: storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 65.036 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:41:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966506/tmpzrm7igx3storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 9.107s.

Time for model construction: 53.005s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	24311
Transitions: 	76623
Reward Models:  time_to_synch
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 2 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "time_to_synch": R{"time_to_synch"}min=? [F "target"] ...
Result (for initial states): 6.007420358
Time for model checking: 0.013s.

Performance statistics:
  * peak memory usage: 860MB
  * CPU time: 64.485s
  * wallclock time: 64.985s
Log file: storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 45.710 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:17:33 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961867/tmpouw5yd7vstorm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 8.002s.

Time for model construction: 35.039s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	24311
Transitions: 	76623
Reward Models:  time_to_synch
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 2 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "time_to_synch": R{"time_to_synch"}min=? [F "target"] ...
Result (for initial states): 6.007420358
Time for model checking: 0.011s.

Performance statistics:
  * peak memory usage: 860MB
  * CPU time: 45.307s
  * wallclock time: 45.664s
Log file: storm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 50.992 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 08:59:12 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4964392/tmpdj66um3dstorm_from-jani_check_sparse_oscillators.8-10-0.1-1-0.1-1.0_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model input parsing: 9.333s.

Time for model construction: 38.849s.

-------------------------------------------------------------- 
Model type: 	DTMC (sparse)
States: 	24311
Transitions: 	76623
Reward Models:  time_to_synch
State Labels: 	3 labels
   * init -> 1 item(s)
   * deadlock -> 0 item(s)
   * target -> 2 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "time_to_synch": R{"time_to_synch"}min=? [F "target"] ...
Result (for initial states): 6.007420358
Time for model checking: 0.013s.

Performance statistics:
  * peak memory usage: 860MB
  * CPU time: 50.478s
  * wallclock time: 50.933s