Log files for model crowds.5-20 and tool configuration prism_from-prism_to-umb-gz_ex
[17934394.0, 17934384.0, 17934395.0, 17934395.0, 17934395.0]
Log file: prism_from-prism_to-umb-gz_ex_crowds.5-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 15.829 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:44 GMT+02:00 2026
Hostname: n23m0097.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958098/tmpd6bp_ux9prism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958098/tmpmjc239u8prism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958098/tmpd6bp_ux9prism_from-prism_to-umb-gz_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... 469090 853645 1394032 1694907 2061951 states
Reachable states exploration and model construction done in 13.353 secs.
Sorting reachable states list...
Time for model construction: 14.361 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958098/tmpmjc239u8prism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz"...
Time for exporting: 0.865 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17934394 bytes
Log file: prism_from-prism_to-umb-gz_ex_crowds.5-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 16.301 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:37:33 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955259/tmp6tspak4qprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955259/tmp32kvp3s5prism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955259/tmp6tspak4qprism_from-prism_to-umb-gz_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... 493956 846735 1376375 1652093 2061951 states
Reachable states exploration and model construction done in 14.012 secs.
Sorting reachable states list...
Time for model construction: 14.894 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955259/tmp32kvp3s5prism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz"...
Time for exporting: 0.8 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17934384 bytes
Log file: prism_from-prism_to-umb-gz_ex_crowds.5-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 16.425 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:18:12 GMT+02:00 2026
Hostname: n23m0107.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956878/tmpl_ez0a5gprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956878/tmperpkpvosprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956878/tmpl_ez0a5gprism_from-prism_to-umb-gz_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... 495841 844916 1382965 1661502 2061951 states
Reachable states exploration and model construction done in 13.862 secs.
Sorting reachable states list...
Time for model construction: 14.832 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956878/tmperpkpvosprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz"...
Time for exporting: 0.951 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17934395 bytes
Log file: prism_from-prism_to-umb-gz_ex_crowds.5-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 16.794 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:08:16 GMT+02:00 2026
Hostname: n23m0071.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956496/tmpouvf8ovqprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956496/tmp_t642fdyprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956496/tmpouvf8ovqprism_from-prism_to-umb-gz_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... 442999 781651 1303303 1616917 2061951 states
Reachable states exploration and model construction done in 14.46 secs.
Sorting reachable states list...
Time for model construction: 15.348 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956496/tmp_t642fdyprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz"...
Time for exporting: 0.808 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17934395 bytes
Log file: prism_from-prism_to-umb-gz_ex_crowds.5-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 16.996 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:35:50 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955188/tmpsttssdklprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955188/tmpu77pvbktprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955188/tmpsttssdklprism_from-prism_to-umb-gz_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... 464227 819300 1356681 1629777 2061951 states
Reachable states exploration and model construction done in 14.291 secs.
Sorting reachable states list...
Time for model construction: 15.547 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955188/tmpu77pvbktprism_from-prism_to-umb-gz_ex_crowds.5-20_tmp_outdir_/model.umbgz"...
Time for exporting: 0.83 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 17934395 bytes