Log files for model pnueli-zuck.5 and tool configuration prism_from-prism_to-tra-gz_ex
[5.44, 5.799, 5.781, 5.996, 5.807]
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 9.638 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 00:01:19 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.4958460/tmp4t4ca030prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958460/tmp9dvjdkv8prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958460/tmp4t4ca030prism_from-prism_to-tra-gz_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.849 secs.
Sorting reachable states list...
Time for model construction: 3.525 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.4958460/tmp9dvjdkv8prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 5.44 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 8613728 bytes
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 11.202 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:01:52 GMT+02:00 2026
Hostname: r23m0211.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956218/tmpktssyurkprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956218/tmpoudbhswlprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956218/tmpktssyurkprism_from-prism_to-tra-gz_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.928 secs.
Sorting reachable states list...
Time for model construction: 3.861 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.4956218/tmpoudbhswlprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 5.799 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 8613728 bytes
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 9.818 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:41:33 GMT+02:00 2026
Hostname: n23m0258.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955425/tmpjy7p7ewxprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955425/tmpwnvz78gqprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955425/tmpjy7p7ewxprism_from-prism_to-tra-gz_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.854 secs.
Sorting reachable states list...
Time for model construction: 3.429 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.4955425/tmpwnvz78gqprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 5.781 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 8613728 bytes
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 10.628 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:36:34 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957549/tmp_64nogo4prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957549/tmplosokmj8prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957549/tmp_64nogo4prism_from-prism_to-tra-gz_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... 383980 397435 states
Reachable states exploration and model construction done in 3.167 secs.
Sorting reachable states list...
Time for model construction: 3.866 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.4957549/tmplosokmj8prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 5.996 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 8613728 bytes
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 10.361 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:41 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.4955481/tmp512og6c3prism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955481/tmpk7ng5vmeprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955481/tmp512og6c3prism_from-prism_to-tra-gz_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... 372754 397435 states
Reachable states exploration and model construction done in 3.272 secs.
Sorting reachable states list...
Time for model construction: 3.914 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.4955481/tmpk7ng5vmeprism_from-prism_to-tra-gz_ex_pnueli-zuck.5_tmp_outdir_/model.pexp"...
Time for exporting: 5.807 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 8613728 bytes