Log files for model pnueli-zuck.5 and tool configuration prism_from-prism_to-tra_ex
[2.929, 3.215, 2.877, 3.36, 3.001]
Log file: prism_from-prism_to-tra_ex_pnueli-zuck.5_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 7.064 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:44:30 GMT+02:00 2026
Hostname: n23m0071.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957854/tmpjqa7scnvprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957854/tmpwejiwi5gprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957854/tmpjqa7scnvprism_from-prism_to-tra_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.84 secs.
Sorting reachable states list...
Time for model construction: 3.502 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957854/tmpwejiwi5gprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 2.929 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 41142821 bytes
Log file: prism_from-prism_to-tra_ex_pnueli-zuck.5_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 7.531 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:03:00 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.4956276/tmpruamnzksprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956276/tmpkeiyp6w4prism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956276/tmpruamnzksprism_from-prism_to-tra_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... 394303 397435 states
Reachable states exploration and model construction done in 3.033 secs.
Sorting reachable states list...
Time for model construction: 3.634 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956276/tmpkeiyp6w4prism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 3.215 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 41142821 bytes
Log file: prism_from-prism_to-tra_ex_pnueli-zuck.5_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 7.694 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:56:33 GMT+02:00 2026
Hostname: n23m0322.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956029/tmp4wi7g1jkprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956029/tmprh5nhuxsprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956029/tmp4wi7g1jkprism_from-prism_to-tra_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.714 secs.
Sorting reachable states list...
Time for model construction: 3.475 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956029/tmprh5nhuxsprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 2.877 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 41142821 bytes
Log file: prism_from-prism_to-tra_ex_pnueli-zuck.5_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 7.757 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:29:32 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.4954925/tmp3jtm_2apprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954925/tmpiv7j5gfrprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954925/tmp3jtm_2apprism_from-prism_to-tra_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... 386675 397435 states
Reachable states exploration and model construction done in 3.106 secs.
Sorting reachable states list...
Time for model construction: 3.771 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4954925/tmpiv7j5gfrprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 3.36 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 41142821 bytes
Log file: prism_from-prism_to-tra_ex_pnueli-zuck.5_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 7.494 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:54:44 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.4955943/tmpmr65e_6wprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955943/tmpfjnojtaqprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955943/tmpmr65e_6wprism_from-prism_to-tra_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... 386115 397435 states
Reachable states exploration and model construction done in 3.099 secs.
Sorting reachable states list...
Time for model construction: 3.852 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955943/tmpfjnojtaqprism_from-prism_to-tra_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 3.001 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 41142821 bytes