Log nand.60-4_prism_from-prism_import

Log file: prism_from-prism_import_ex_nand.60-4_rep1.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 38.663 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:21:25 GMT+02:00 2026
Hostname: n23m0242.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962032/tmpgan7v0ovprism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962032/tmpgan7v0ovprism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     multiplex
Actions:     []
Variables:   u c s z zx zy x y
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 1730153 3565941 5320870 7053955 8739298 10513139 12265093 14015635 15673312 17441078 18826082 states
Reachable states exploration and model construction done in 32.768 secs.
Sorting reachable states list...

Time for model construction: 37.986 seconds.

Type:        DTMC
States:      18826082 (1 initial)
Transitions: 29772212


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

Log file: prism_from-prism_import_ex_nand.60-4_rep2.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 32.429 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:47:33 GMT+02:00 2026
Hostname: n23m0135.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966815/tmpoff25_q9prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966815/tmpoff25_q9prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     multiplex
Actions:     []
Variables:   u c s z zx zy x y
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 2044868 4145541 6309334 8381896 10578444 12531529 14724945 16849408 18826082 states
Reachable states exploration and model construction done in 27.212 secs.
Sorting reachable states list...

Time for model construction: 31.837 seconds.

Type:        DTMC
States:      18826082 (1 initial)
Transitions: 29772212


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

Log file: prism_from-prism_import_ex_nand.60-4_rep3.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 41.056 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:27:00 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.4965813/tmpcbmld_h6prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965813/tmpcbmld_h6prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     multiplex
Actions:     []
Variables:   u c s z zx zy x y
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 1650975 3227656 4785001 6458598 8073563 9773722 11503981 13012414 14698087 16245164 17913588 18826082 states
Reachable states exploration and model construction done in 34.806 secs.
Sorting reachable states list...

Time for model construction: 40.302 seconds.

Type:        DTMC
States:      18826082 (1 initial)
Transitions: 29772212


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

Log file: prism_from-prism_import_ex_nand.60-4_rep4.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 36.450 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:31:31 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962460/tmpqzgk29a9prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962460/tmpqzgk29a9prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     multiplex
Actions:     []
Variables:   u c s z zx zy x y
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 1791832 3686603 5530495 7511003 9385763 11217690 13061837 15010433 16943641 18589509 18826082 states
Reachable states exploration and model construction done in 30.489 secs.
Sorting reachable states list...

Time for model construction: 35.563 seconds.

Type:        DTMC
States:      18826082 (1 initial)
Transitions: 29772212


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

Log file: prism_from-prism_import_ex_nand.60-4_rep5.log

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 36.066 seconds
Return code: 0
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:38:09 GMT+02:00 2026
Hostname: n23m0279.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962768/tmpciws6x1_prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962768/tmpciws6x1_prism_from-prism_import_ex_nand.60-4_tmp_indir_/model.prism"...

Type:        DTMC
Modules:     multiplex
Actions:     []
Variables:   u c s z zx zy x y
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 1807859 3659364 5572997 7448208 9272479 11256389 13050546 14876779 16732637 18525023 18826082 states
Reachable states exploration and model construction done in 30.541 secs.
Sorting reachable states list...

Time for model construction: 35.259 seconds.

Type:        DTMC
States:      18826082 (1 initial)
Transitions: 29772212


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

Log files for model nand.60-4 and tool configuration prism_from-prism_import_ex