Log haddad-monmege.100-0.7_prism_from-prism_to-umb

Log file: prism_from-prism_to-umb_ex_haddad-monmege.100-0.7_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: 2.512 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:28:59 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954911/tmp8ie175ceprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954911/tmp0t_ne0swprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954911/tmp8ie175ceprism_from-prism_to-umb_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.096 seconds.

Type:        DTMC
States:      201 (1 initial)
Transitions: 400

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4954911/tmp0t_ne0swprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb"...
Time for exporting: 0.111 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 15360 bytes

Log file: prism_from-prism_to-umb_ex_haddad-monmege.100-0.7_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: 1.367 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:49:53 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.4957990/tmph271ughlprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957990/tmpgr2qor7uprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957990/tmph271ughlprism_from-prism_to-umb_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.4957990/tmpgr2qor7uprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb"...
Time for exporting: 0.087 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 15360 bytes

Log file: prism_from-prism_to-umb_ex_haddad-monmege.100-0.7_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: 1.304 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:47:16 GMT+02:00 2026
Hostname: n23m0070.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955650/tmpch6p3vbqprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955650/tmpvzux78rjprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955650/tmpch6p3vbqprism_from-prism_to-umb_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.011 secs.
Sorting reachable states list...

Time for model construction: 0.034 seconds.

Type:        DTMC
States:      201 (1 initial)
Transitions: 400

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4955650/tmpvzux78rjprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb"...
Time for exporting: 0.076 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 15360 bytes

Log file: prism_from-prism_to-umb_ex_haddad-monmege.100-0.7_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: 1.302 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:18:11 GMT+02:00 2026
Hostname: n23m0057.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956892/tmp8a6d7c6iprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956892/tmprftgf9ogprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956892/tmp8a6d7c6iprism_from-prism_to-umb_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.012 secs.
Sorting reachable states list...

Time for model construction: 0.037 seconds.

Type:        DTMC
States:      201 (1 initial)
Transitions: 400

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956892/tmprftgf9ogprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb"...
Time for exporting: 0.075 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 15360 bytes

Log file: prism_from-prism_to-umb_ex_haddad-monmege.100-0.7_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: 1.375 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:10:05 GMT+02:00 2026
Hostname: r23m0212.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956565/tmpqc2iaaihprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956565/tmpln9hp3pbprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb:format=umb,states=false,zip=false'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956565/tmpqc2iaaihprism_from-prism_to-umb_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.044 seconds.

Type:        DTMC
States:      201 (1 initial)
Transitions: 400

Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956565/tmpln9hp3pbprism_from-prism_to-umb_ex_haddad-monmege.100-0.7_tmp_outdir_/model.umb"...
Time for exporting: 0.093 seconds.


##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.umb:	Size of output file is 15360 bytes

Log files for model haddad-monmege.100-0.7 and tool configuration prism_from-prism_to-umb_ex