Log files for model crowds.6-20 and tool configuration prism_from-prism_to-tra-gz_ex
[75.394, 76.428, 74.897, 66.979, 78.253]
Log file: prism_from-prism_to-tra-gz_ex_crowds.6-20_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 165.646 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:06 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.4954948/tmp9ge6u4xaprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954948/tmp1kzn6g67prism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954948/tmp9ge6u4xaprism_from-prism_to-tra-gz_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... 449223 814839 1337866 1657519 2040511 2502001 2871834 3348044 3851827 4070329 4269110 4538118 4828805 5271115 5812428 6383129 6940711 7433067 7675287 7926938 8188372 8434189 8660335 8905300 9114434 9747727 10633591 states
Reachable states exploration and model construction done in 81.281 secs.
Sorting reachable states list...
Time for model construction: 89.493 seconds.
Warning: Deadlocks detected and fixed in 230230 states
Type: DTMC
States: 10633591 (1 initial)
Transitions: 38261191
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954948/tmp1kzn6g67prism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp"...
Time for exporting: 75.394 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 150367701 bytes
Log file: prism_from-prism_to-tra-gz_ex_crowds.6-20_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 167.619 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:19:20 GMT+02:00 2026
Hostname: r23m0214.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956930/tmptgsj924dprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956930/tmpmp05pr3fprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956930/tmptgsj924dprism_from-prism_to-tra-gz_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... 455810 795263 1335373 1642766 2030316 2485890 2833554 3254247 3833890 4032008 4233145 4488281 4742249 5214765 5702885 6230679 6776200 7360020 7613499 7854170 8099133 8358323 8612032 8851926 9087208 9418436 10299642 10633591 states
Reachable states exploration and model construction done in 81.965 secs.
Sorting reachable states list...
Time for model construction: 90.534 seconds.
Warning: Deadlocks detected and fixed in 230230 states
Type: DTMC
States: 10633591 (1 initial)
Transitions: 38261191
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956930/tmpmp05pr3fprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp"...
Time for exporting: 76.428 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 150367701 bytes
Log file: prism_from-prism_to-tra-gz_ex_crowds.6-20_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 163.288 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:12:27 GMT+02:00 2026
Hostname: r23m0216.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956618/tmp4kto2zs8prism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956618/tmp10ra6j81prism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956618/tmp4kto2zs8prism_from-prism_to-tra-gz_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... 477471 820936 1398495 1689587 2180589 2601593 2967916 3502382 3916835 4120288 4333996 4594854 4970437 5398429 5965762 6512343 7011035 7477092 7720056 7975735 8237309 8411176 8640256 8848530 9073237 9563138 10463216 10633591 states
Reachable states exploration and model construction done in 81.243 secs.
Sorting reachable states list...
Time for model construction: 87.753 seconds.
Warning: Deadlocks detected and fixed in 230230 states
Type: DTMC
States: 10633591 (1 initial)
Transitions: 38261191
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956618/tmp10ra6j81prism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp"...
Time for exporting: 74.897 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 150367701 bytes
Log file: prism_from-prism_to-tra-gz_ex_crowds.6-20_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 147.178 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:47:50 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.4955665/tmpao1dfrdhprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955665/tmp0lorsuppprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955665/tmpao1dfrdhprism_from-prism_to-tra-gz_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... 544590 979301 1508808 1792387 2426847 2800895 3318692 3879373 4125546 4392330 4672892 5146551 5667081 6281590 6922783 7449551 7730888 8019709 8294408 8559626 8801625 9074588 9629476 10633591 states
Reachable states exploration and model construction done in 72.433 secs.
Sorting reachable states list...
Time for model construction: 79.583 seconds.
Warning: Deadlocks detected and fixed in 230230 states
Type: DTMC
States: 10633591 (1 initial)
Transitions: 38261191
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955665/tmp0lorsuppprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp"...
Time for exporting: 66.979 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 150367701 bytes
Log file: prism_from-prism_to-tra-gz_ex_crowds.6-20_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 165.766 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:58:27 GMT+02:00 2026
Hostname: n23m0313.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958344/tmp0kqsza6zprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958344/tmpt6w399deprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958344/tmp0kqsza6zprism_from-prism_to-tra-gz_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... 483094 864848 1421473 1694925 2168749 2583104 2912993 3423779 3881394 4091594 4287884 4569089 4906522 5364844 5930191 6462918 6987286 7472516 7738858 7981834 8235735 8442214 8714544 8942470 9170437 9886642 10633591 states
Reachable states exploration and model construction done in 80.233 secs.
Sorting reachable states list...
Time for model construction: 86.789 seconds.
Warning: Deadlocks detected and fixed in 230230 states
Type: DTMC
States: 10633591 (1 initial)
Transitions: 38261191
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958344/tmpt6w399deprism_from-prism_to-tra-gz_ex_crowds.6-20_tmp_outdir_/model.pexp"...
Time for exporting: 78.253 seconds.
---------------------------------------------------------------------
Note: There was 1 warning during computation.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 150367701 bytes