Log files for model crowds.5-20 and tool configuration prism_from-prism_import_ex
[14.62, 15.428, 14.529, 14.722, 15.026]
Log file: prism_from-prism_import_ex_crowds.5-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 15.258 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:02:23 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964575/tmp6jmtbl6wprism_from-prism_import_ex_crowds.5-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964575/tmp6jmtbl6wprism_from-prism_import_ex_crowds.5-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... 498076 886961 1391728 1674143 2061951 states
Reachable states exploration and model construction done in 13.755 secs.
Sorting reachable states list...
Time for model construction: 14.62 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_crowds.5-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 16.340 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 06:58:57 GMT+02:00 2026
Hostname: n23m0032.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961080/tmp7sow0kynprism_from-prism_import_ex_crowds.5-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961080/tmp7sow0kynprism_from-prism_import_ex_crowds.5-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... 464962 829780 1368774 1621096 2061951 states
Reachable states exploration and model construction done in 14.376 secs.
Sorting reachable states list...
Time for model construction: 15.428 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_crowds.5-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 15.138 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:39:06 GMT+02:00 2026
Hostname: r23m0206.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966394/tmp_me3pg2dprism_from-prism_import_ex_crowds.5-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966394/tmp_me3pg2dprism_from-prism_import_ex_crowds.5-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... 489018 856383 1390561 1680558 2061951 states
Reachable states exploration and model construction done in 13.63 secs.
Sorting reachable states list...
Time for model construction: 14.529 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_crowds.5-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 15.358 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:59:53 GMT+02:00 2026
Hostname: n23m0263.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4967324/tmp39w7s91bprism_from-prism_import_ex_crowds.5-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4967324/tmp39w7s91bprism_from-prism_import_ex_crowds.5-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... 446026 808493 1362006 1660383 2061951 states
Reachable states exploration and model construction done in 13.809 secs.
Sorting reachable states list...
Time for model construction: 14.722 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_crowds.5-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 15.656 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:02:23 GMT+02:00 2026
Hostname: n23m0276.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964580/tmph3ibyoo_prism_from-prism_import_ex_crowds.5-20_tmp_indir_/model.prism
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964580/tmph3ibyoo_prism_from-prism_import_ex_crowds.5-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... 496423 817642 1357435 1632997 2061951 states
Reachable states exploration and model construction done in 14.127 secs.
Sorting reachable states list...
Time for model construction: 15.026 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g