Log crowds.6-20_prism_from-prism_import

Log file: prism_from-prism_import_ex_crowds.6-20_rep1.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 96.618 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:16:34 GMT+02:00 2026
Hostname: r23m0199.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965215/tmpjc286k0dprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965215/tmpjc286k0dprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     crowds
Actions:     []
Variables:   launch new runCount start run lastSeen good bad recordLast badObserve deliver done observe0 observe1 observe2 observe3 observe4 observe5 observe6 observe7 observe8 observe9 observe10 observe11 observe12 observe13 observe14 observe15 observe16 observe17 observe18 observe19
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 435240 786127 1280425 1609303 1841560 2416932 2670695 3077359 3597078 3936053 4123389 4338453 4574801 4874884 5300894 5779294 6236159 6741343 7267870 7551650 7780734 8021477 8257017 8491603 8724033 8884236 9099446 9594246 10370118 10633591 states
Reachable states exploration and model construction done in 87.589 secs.
Sorting reachable states list...

Time for model construction: 95.953 seconds.

Warning: Deadlocks detected and fixed in 230230 states

Type:        DTMC
States:      10633591 (1 initial)
Transitions: 38261191

---------------------------------------------------------------------

Note: There was 1 warning during computation.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_crowds.6-20_rep2.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 72.581 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:37:31 GMT+02:00 2026
Hostname: n23m0135.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966309/tmpvsy4jpykprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966309/tmpvsy4jpykprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     crowds
Actions:     []
Variables:   launch new runCount start run lastSeen good bad recordLast badObserve deliver done observe0 observe1 observe2 observe3 observe4 observe5 observe6 observe7 observe8 observe9 observe10 observe11 observe12 observe13 observe14 observe15 observe16 observe17 observe18 observe19
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 522073 982122 1530118 1947064 2541329 2979044 3631798 4012134 4258892 4608322 5094272 5638040 6355193 6993654 7542883 7880152 8189016 8505823 8838403 9142278 10038664 10633591 states
Reachable states exploration and model construction done in 64.747 secs.
Sorting reachable states list...

Time for model construction: 71.956 seconds.

Warning: Deadlocks detected and fixed in 230230 states

Type:        DTMC
States:      10633591 (1 initial)
Transitions: 38261191

---------------------------------------------------------------------

Note: There was 1 warning during computation.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_crowds.6-20_rep3.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 85.056 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 06:58:58 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961087/tmplk380fv4prism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961087/tmplk380fv4prism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     crowds
Actions:     []
Variables:   launch new runCount start run lastSeen good bad recordLast badObserve deliver done observe0 observe1 observe2 observe3 observe4 observe5 observe6 observe7 observe8 observe9 observe10 observe11 observe12 observe13 observe14 observe15 observe16 observe17 observe18 observe19
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 466346 835208 1407081 1693381 2181868 2609358 2970706 3547345 3924986 4141463 4395301 4675351 5115266 5566354 6216669 6735443 7314593 7621062 7893474 8156552 8398679 8680840 8926992 9159011 9884738 10633591 states
Reachable states exploration and model construction done in 77.74 secs.
Sorting reachable states list...

Time for model construction: 84.349 seconds.

Warning: Deadlocks detected and fixed in 230230 states

Type:        DTMC
States:      10633591 (1 initial)
Transitions: 38261191

---------------------------------------------------------------------

Note: There was 1 warning during computation.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_crowds.6-20_rep4.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 90.757 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:03:58 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964655/tmp25uqvlicprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964655/tmp25uqvlicprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     crowds
Actions:     []
Variables:   launch new runCount start run lastSeen good bad recordLast badObserve deliver done observe0 observe1 observe2 observe3 observe4 observe5 observe6 observe7 observe8 observe9 observe10 observe11 observe12 observe13 observe14 observe15 observe16 observe17 observe18 observe19
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 443599 799609 1333062 1647770 2046024 2518526 2898382 3358821 3856202 4053380 4260466 4526962 4820924 5281310 5731199 6268194 6779268 7357497 7615021 7868175 8099353 8346075 8519207 8740779 8978212 9297550 10021873 10633591 states
Reachable states exploration and model construction done in 82.551 secs.
Sorting reachable states list...

Time for model construction: 90.095 seconds.

Warning: Deadlocks detected and fixed in 230230 states

Type:        DTMC
States:      10633591 (1 initial)
Transitions: 38261191

---------------------------------------------------------------------

Note: There was 1 warning during computation.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log file: prism_from-prism_import_ex_crowds.6-20_rep5.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 88.506 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:09:44 GMT+02:00 2026
Hostname: r23m0211.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964931/tmpvnd308geprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964931/tmpvnd308geprism_from-prism_import_ex_crowds.6-20_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     crowds
Actions:     []
Variables:   launch new runCount start run lastSeen good bad recordLast badObserve deliver done observe0 observe1 observe2 observe3 observe4 observe5 observe6 observe7 observe8 observe9 observe10 observe11 observe12 observe13 observe14 observe15 observe16 observe17 observe18 observe19
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 493581 859895 1415875 1696751 2154584 2595796 2954933 3457267 3905022 4107594 4346206 4591677 4932440 5374658 5883237 6429957 6934652 7437541 7697737 7949816 8193053 8375956 8620977 8849767 9071528 9578281 10467422 10633591 states
Reachable states exploration and model construction done in 81.226 secs.
Sorting reachable states list...

Time for model construction: 87.721 seconds.

Warning: Deadlocks detected and fixed in 230230 states

Type:        DTMC
States:      10633591 (1 initial)
Transitions: 38261191

---------------------------------------------------------------------

Note: There was 1 warning during computation.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Log files for model crowds.6-20 and tool configuration prism_from-prism_import_ex