Log files for model haddad-monmege.100-0.7 and tool configuration prism_from-prism_to-umb-gz_ex
[1606.0, 1605.0, 1605.0, 1606.0, 1607.0]
Log file: prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.346 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:45:34 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955588/tmp21iqxyo6prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955588/tmpm_2u5xj8prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955588/tmp21iqxyo6prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism"...
Type: DTMC
Modules: main
Actions: []
Variables: x
Labels: "Target"
Building model (engine:explicit)...
Computing reachable states... 201 states
Reachable states exploration and model construction done in 0.013 secs.
Sorting reachable states list...
Time for model construction: 0.04 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955588/tmpm_2u5xj8prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz"...
Time for exporting: 0.083 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 1606 bytes
Log file: prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.404 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:38:22 GMT+02:00 2026
Hostname: n23m0293.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957649/tmpzkctxpg_prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957649/tmpd8yzq41vprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957649/tmpzkctxpg_prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism"...
Type: DTMC
Modules: main
Actions: []
Variables: x
Labels: "Target"
Building model (engine:explicit)...
Computing reachable states... 201 states
Reachable states exploration and model construction done in 0.014 secs.
Sorting reachable states list...
Time for model construction: 0.047 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957649/tmpd8yzq41vprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz"...
Time for exporting: 0.097 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 1605 bytes
Log file: prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.457 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:43 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955791/tmpx_i2ivhjprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955791/tmpj5yuj7lxprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955791/tmpx_i2ivhjprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism"...
Type: DTMC
Modules: main
Actions: []
Variables: x
Labels: "Target"
Building model (engine:explicit)...
Computing reachable states... 201 states
Reachable states exploration and model construction done in 0.015 secs.
Sorting reachable states list...
Time for model construction: 0.049 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955791/tmpj5yuj7lxprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz"...
Time for exporting: 0.113 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 1605 bytes
Log file: prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.352 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:00:11 GMT+02:00 2026
Hostname: n23m0047.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958408/tmp8jmas75gprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958408/tmp4qlga2isprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958408/tmp8jmas75gprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism"...
Type: DTMC
Modules: main
Actions: []
Variables: x
Labels: "Target"
Building model (engine:explicit)...
Computing reachable states... 201 states
Reachable states exploration and model construction done in 0.013 secs.
Sorting reachable states list...
Time for model construction: 0.039 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4958408/tmp4qlga2isprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz"...
Time for exporting: 0.082 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 1606 bytes
Log file: prism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbgz:format=umb,states=false,zip=gzip
Wallclock time: 1.332 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:47:21 GMT+02:00 2026
Hostname: n23m0049.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957917/tmp3a0mttkwprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957917/tmp30c1i8xjprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz:format=umb,states=false,zip=gzip'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957917/tmp3a0mttkwprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism"...
Type: DTMC
Modules: main
Actions: []
Variables: x
Labels: "Target"
Building model (engine:explicit)...
Computing reachable states... 201 states
Reachable states exploration and model construction done in 0.013 secs.
Sorting reachable states list...
Time for model construction: 0.039 seconds.
Type: DTMC
States: 201 (1 initial)
Transitions: 400
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957917/tmp30c1i8xjprism_from-prism_to-umb-gz_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umbgz"...
Time for exporting: 0.083 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbgz: Size of output file is 1607 bytes