Log files for model crowds.5-20 and tool configuration prism_from-prism_to-umb-xz_ex
[1333932.0, 1331148.0, 1333932.0, 1335572.0, 1335572.0]
Log file: prism_from-prism_to-umb-xz_ex_crowds.5-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 39.127 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:40:54 GMT+02:00 2026
Hostname: n23m0269.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957692/tmpovgfzl3tprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957692/tmpefcom92zprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957692/tmpovgfzl3tprism_from-prism_to-umb-xz_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... 497172 928107 1449850 1775126 2061951 states
Reachable states exploration and model construction done in 12.726 secs.
Sorting reachable states list...
Time for model construction: 13.635 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.4957692/tmpefcom92zprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz"...
Time for exporting: 24.909 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1333932 bytes
Log file: prism_from-prism_to-umb-xz_ex_crowds.5-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 43.902 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:32:49 GMT+02:00 2026
Hostname: n23m0258.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957480/tmpub7s2dk_prism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957480/tmpazwwoa6qprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957480/tmpub7s2dk_prism_from-prism_to-umb-xz_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... 477589 782434 1330599 1607423 2061951 states
Reachable states exploration and model construction done in 14.657 secs.
Sorting reachable states list...
Time for model construction: 15.681 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.4957480/tmpazwwoa6qprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz"...
Time for exporting: 27.561 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1331148 bytes
Log file: prism_from-prism_to-umb-xz_ex_crowds.5-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 36.975 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:39:50 GMT+02:00 2026
Hostname: n23m0113.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955341/tmp8hd2q61mprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955341/tmpnurllkshprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955341/tmp8hd2q61mprism_from-prism_to-umb-xz_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... 484821 860620 1374936 1630813 2061951 states
Reachable states exploration and model construction done in 14.53 secs.
Sorting reachable states list...
Time for model construction: 15.588 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.4955341/tmpnurllkshprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz"...
Time for exporting: 20.781 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1333932 bytes
Log file: prism_from-prism_to-umb-xz_ex_crowds.5-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 42.201 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:14:13 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.4956698/tmpwj4volvnprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956698/tmp8ce0pnvlprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956698/tmpwj4volvnprism_from-prism_to-umb-xz_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... 459369 842670 1392574 1718273 2061951 states
Reachable states exploration and model construction done in 13.064 secs.
Sorting reachable states list...
Time for model construction: 14.067 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.4956698/tmp8ce0pnvlprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz"...
Time for exporting: 27.477 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1335572 bytes
Log file: prism_from-prism_to-umb-xz_ex_crowds.5-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 35.833 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:54:11 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955926/tmpcs2jxq8rprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955926/tmpx_8a3uptprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955926/tmpcs2jxq8rprism_from-prism_to-umb-xz_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... 448210 855900 1395926 1691648 2061951 states
Reachable states exploration and model construction done in 13.46 secs.
Sorting reachable states list...
Time for model construction: 14.326 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.4955926/tmpx_8a3uptprism_from-prism_to-umb-xz_ex_crowds.5-20_tmp_outdir_/model.umbxz"...
Time for exporting: 20.916 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 1335572 bytes