Log polling.18-16_storm_from-umb_check

Log file: storm_from-umb_check_sparse_polling.18-16_rep1.log

Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 9.732 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:55:05 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4967113/tmpeeyftsmkstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4967113/tmpeeyftsmkstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 1.118s.

-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	7077888
Transitions: 	69599232
Reward Models:  none
State Labels: 	4 labels
   * serve_s1 -> 131072 item(s)
   * deadlock -> 0 item(s)
   * serve_s2 -> 131072 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "s1_before_s2": P=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 8.583s.

Performance statistics:
  * peak memory usage: 5695MB
  * CPU time: 8.577s
  * wallclock time: 9.706s

Log file: storm_from-umb_check_sparse_polling.18-16_rep2.log

Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 12.126 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:00:45 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4964472/tmpyzvul1kjstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4964472/tmpyzvul1kjstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 1.623s.

-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	7077888
Transitions: 	69599232
Reward Models:  none
State Labels: 	4 labels
   * serve_s1 -> 131072 item(s)
   * deadlock -> 0 item(s)
   * serve_s2 -> 131072 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "s1_before_s2": P=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 10.471s.

Performance statistics:
  * peak memory usage: 5697MB
  * CPU time: 10.706s
  * wallclock time: 12.100s

Log file: storm_from-umb_check_sparse_polling.18-16_rep3.log

Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 10.081 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:31:15 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4965998/tmp1u5146yestorm_from-umb_check_sparse_polling.18-16_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4965998/tmp1u5146yestorm_from-umb_check_sparse_polling.18-16_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 1.210s.

-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	7077888
Transitions: 	69599232
Reward Models:  none
State Labels: 	4 labels
   * serve_s1 -> 131072 item(s)
   * deadlock -> 0 item(s)
   * serve_s2 -> 131072 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "s1_before_s2": P=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 8.759s.

Performance statistics:
  * peak memory usage: 5694MB
  * CPU time: 8.983s
  * wallclock time: 9.973s

Log file: storm_from-umb_check_sparse_polling.18-16_rep4.log

Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 9.683 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 09:54:32 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4967095/tmp6ty96mycstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4967095/tmp6ty96mycstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 1.211s.

-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	7077888
Transitions: 	69599232
Reward Models:  none
State Labels: 	4 labels
   * serve_s1 -> 131072 item(s)
   * deadlock -> 0 item(s)
   * serve_s2 -> 131072 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "s1_before_s2": P=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 8.443s.

Performance statistics:
  * peak memory usage: 5694MB
  * CPU time: 8.670s
  * wallclock time: 9.658s

Log file: storm_from-umb_check_sparse_polling.18-16_rep5.log

Command(s):
../bin/storm --timemem --buildfull --explicit-umb %indir/storm.model.umb --prop %indir/property.props
Wallclock time: 9.914 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)

Date: Tue Oct 13 07:06:37 2026
Command line arguments: --timemem --buildfull --explicit-umb /w0/tmp/slurm_tq429871.4961427/tmp_we4l01tstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/storm.model.umb --prop /w0/tmp/slurm_tq429871.4961427/tmp_we4l01tstorm_from-umb_check_sparse_polling.18-16_tmp_indir_/property.props
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments

Time for model construction: 1.195s.

-------------------------------------------------------------- 
Model type: 	CTMC (sparse)
States: 	7077888
Transitions: 	69599232
Reward Models:  none
State Labels: 	4 labels
   * serve_s1 -> 131072 item(s)
   * deadlock -> 0 item(s)
   * serve_s2 -> 131072 item(s)
   * init -> 1 item(s)
Choice Labels: 	none
-------------------------------------------------------------- 

Model checking property "s1_before_s2": P=? [(!"serve_s2") U "serve_s1"] ...
Result (for initial states): 0.539005252
Time for model checking: 8.687s.

Performance statistics:
  * peak memory usage: 5695MB
  * CPU time: 8.882s
  * wallclock time: 9.887s

Log files for model polling.18-16 and tool configuration storm_from-umb_check_sparse