Log files for model crowds.5-20 and tool configuration prism_from-prism_to-tra-xz_ex
[152.456, 125.246, 125.315, 116.228, 158.929]
Log file: prism_from-prism_to-tra-xz_ex_crowds.5-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 167.935 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:25:03 GMT+02:00 2026
Hostname: r23m0213.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957159/tmp6xm3k5vkprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957159/tmpzc7bzjf0prism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957159/tmp6xm3k5vkprism_from-prism_to-tra-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... 456390 837675 1365148 1671718 2061951 states
Reachable states exploration and model construction done in 13.73 secs.
Sorting reachable states list...
Time for model construction: 14.81 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957159/tmpzc7bzjf0prism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp"...
Time for exporting: 152.456 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5181080 bytes
Log file: prism_from-prism_to-tra-xz_ex_crowds.5-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 143.577 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:36:33 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.4957555/tmp2pyi2dy9prism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957555/tmp36qhegl3prism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957555/tmp2pyi2dy9prism_from-prism_to-tra-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... 406506 749171 1221608 1537133 1924466 2061951 states
Reachable states exploration and model construction done in 15.327 secs.
Sorting reachable states list...
Time for model construction: 17.473 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957555/tmp36qhegl3prism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp"...
Time for exporting: 125.246 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5181080 bytes
Log file: prism_from-prism_to-tra-xz_ex_crowds.5-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 140.547 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:40:54 GMT+02:00 2026
Hostname: r23m0215.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957695/tmpkyl8rnbkprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957695/tmpucyxligrprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957695/tmpkyl8rnbkprism_from-prism_to-tra-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... 504489 840952 1382254 1673995 2061951 states
Reachable states exploration and model construction done in 13.703 secs.
Sorting reachable states list...
Time for model construction: 14.592 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957695/tmpucyxligrprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp"...
Time for exporting: 125.315 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5181080 bytes
Log file: prism_from-prism_to-tra-xz_ex_crowds.5-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 131.386 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:51:36 GMT+02:00 2026
Hostname: n23m0060.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958065/tmpfv1yk8woprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958065/tmpvgopzg_yprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958065/tmpfv1yk8woprism_from-prism_to-tra-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... 493767 843578 1391773 1686901 2061951 states
Reachable states exploration and model construction done in 13.505 secs.
Sorting reachable states list...
Time for model construction: 14.453 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958065/tmpvgopzg_yprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp"...
Time for exporting: 116.228 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5181080 bytes
Log file: prism_from-prism_to-tra-xz_ex_crowds.5-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 176.152 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:31:41 GMT+02:00 2026
Hostname: r23m0209.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957444/tmp0fjw_a_fprism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957444/tmpdri41av5prism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957444/tmp0fjw_a_fprism_from-prism_to-tra-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... 409275 775509 1336120 1642773 2061951 states
Reachable states exploration and model construction done in 14.132 secs.
Sorting reachable states list...
Time for model construction: 15.169 seconds.
Warning: Deadlocks detected and fixed in 53130 states
Type: DTMC
States: 2061951 (1 initial)
Transitions: 7374951
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957444/tmpdri41av5prism_from-prism_to-tra-xz_ex_crowds.5-20_tmp_outdir_/model.pexp"...
Time for exporting: 158.929 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 5181080 bytes