Log files for model pnueli-zuck.5 and tool configuration prism_from-prism_to-umb_ex
[0.225, 0.206, 0.184, 0.178, 0.183]
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.5_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 7.139 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:22:12 GMT+02:00 2026
Hostname: n23m0338.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957053/tmp2bd7bf12prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957053/tmpao88lul4prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957053/tmp2bd7bf12prism_from-prism_to-umb_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... 361941 397435 states
Reachable states exploration and model construction done in 3.358 secs.
Sorting reachable states list...
Time for model construction: 4.296 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.4957053/tmpao88lul4prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb"...
Time for exporting: 0.225 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 57466880 bytes
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.5_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 6.068 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:31:49 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.4955023/tmp06obwitvprism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955023/tmph1luftfxprism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955023/tmp06obwitvprism_from-prism_to-umb_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... 378190 397435 states
Reachable states exploration and model construction done in 3.146 secs.
Sorting reachable states list...
Time for model construction: 3.901 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.4955023/tmph1luftfxprism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb"...
Time for exporting: 0.206 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 57466880 bytes
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.5_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 4.737 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:53:18 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.4958136/tmpbry3igeiprism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958136/tmp_rj76r06prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958136/tmpbry3igeiprism_from-prism_to-umb_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... 361805 397435 states
Reachable states exploration and model construction done in 3.255 secs.
Sorting reachable states list...
Time for model construction: 3.926 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.4958136/tmp_rj76r06prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb"...
Time for exporting: 0.184 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 57466880 bytes
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.5_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 4.733 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:38:08 GMT+02:00 2026
Hostname: n23m0034.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955276/tmpg89tacflprism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955276/tmp028hogn6prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955276/tmpg89tacflprism_from-prism_to-umb_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... 382940 397435 states
Reachable states exploration and model construction done in 3.155 secs.
Sorting reachable states list...
Time for model construction: 3.935 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.4955276/tmp028hogn6prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb"...
Time for exporting: 0.178 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 57466880 bytes
Log file: prism_from-prism_to-umb_ex_pnueli-zuck.5_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 4.461 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:01:54 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958483/tmpc_tt54g9prism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958483/tmpq3m6szkxprism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958483/tmpc_tt54g9prism_from-prism_to-umb_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... 392606 397435 states
Reachable states exploration and model construction done in 3.049 secs.
Sorting reachable states list...
Time for model construction: 3.628 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.4958483/tmpq3m6szkxprism_from-prism_to-umb_ex_pnueli-zuck.5_tmp_outdir_/model.umb"...
Time for exporting: 0.183 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 57466880 bytes