Log files for model pnueli-zuck.5 and tool configuration prism_from-prism_to-umb-xz_ex
[17.979, 16.58, 17.092, 15.311, 15.663]
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.5_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: 22.614 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:46:42 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955624/tmpdza10ebxprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955624/tmpsjd2ownqprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955624/tmpdza10ebxprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 369323 397435 states
Reachable states exploration and model construction done in 3.271 secs.
Sorting reachable states list...
Time for model construction: 4.026 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955624/tmpsjd2ownqprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz"...
Time for exporting: 17.979 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 2555888 bytes
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.5_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: 20.764 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:59:36 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.4958387/tmp2c1ne5k_prism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958387/tmpk65xxu_rprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958387/tmp2c1ne5k_prism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 397435 states
Reachable states exploration and model construction done in 2.998 secs.
Sorting reachable states list...
Time for model construction: 3.587 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958387/tmpk65xxu_rprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz"...
Time for exporting: 16.58 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 2555888 bytes
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.5_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: 21.338 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:08:51 GMT+02:00 2026
Hostname: n23m0310.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956531/tmph133natuprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956531/tmppqlxx1mjprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956531/tmph133natuprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 392160 397435 states
Reachable states exploration and model construction done in 3.049 secs.
Sorting reachable states list...
Time for model construction: 3.635 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956531/tmppqlxx1mjprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz"...
Time for exporting: 17.092 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 2555888 bytes
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.5_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: 19.266 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:42:10 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.4957746/tmplypth9ivprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957746/tmpv6dhou6sprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957746/tmplypth9ivprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 397435 states
Reachable states exploration and model construction done in 2.76 secs.
Sorting reachable states list...
Time for model construction: 3.384 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957746/tmpv6dhou6sprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz"...
Time for exporting: 15.311 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 2555888 bytes
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.5_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: 19.844 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:05:55 GMT+02:00 2026
Hostname: n23m0048.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956399/tmpzgn2bsxtprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956399/tmp639jwhegprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956399/tmpzgn2bsxtprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_indir_/model.prism"...
Type: MDP
Modules: process0 process1 process2 process3 process4
Actions: []
Variables: p0 p1 p2 p3 p4
Labels: "target"
Building model (engine:explicit)...
Computing reachable states... 397435 states
Reachable states exploration and model construction done in 2.878 secs.
Sorting reachable states list...
Time for model construction: 3.466 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956399/tmp639jwhegprism_from-prism_to-umb-xz_ex_pnueli-zuck.5_tmp_outdir_/model.umbxz"...
Time for exporting: 15.663 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: Size of output file is 2555888 bytes