Log files for model pnueli-zuck.5 and tool configuration prism_from-tra-xz_import_ex
[3.429, 3.961, 4.059, 4.042, 3.782]
Log file: prism_from-tra-xz_import_ex_pnueli-zuck.5_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 4.932 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:32:17 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 -importmodel '/w0/tmp/slurm_tq429871.4966065/tmpw43p_3h_prism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4966065/tmpw43p_3h_prism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz"...
Type: MDP (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 3.429 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_pnueli-zuck.5_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 5.669 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:33:44 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 -importmodel '/w0/tmp/slurm_tq429871.4962569/tmp8ff9y0n6prism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962569/tmp8ff9y0n6prism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz"...
Type: MDP (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 3.961 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_pnueli-zuck.5_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 5.843 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:46:57 GMT+02:00 2026
Hostname: n23m0032.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4963153/tmpp1aatrx_prism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4963153/tmpp1aatrx_prism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz"...
Type: MDP (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 4.059 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_pnueli-zuck.5_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 8.419 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:24:23 GMT+02:00 2026
Hostname: n23m0065.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4962143/tmp4d41wg6gprism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4962143/tmp4d41wg6gprism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz"...
Type: MDP (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 4.042 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_pnueli-zuck.5_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 5.482 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:27:00 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965809/tmpt8cz35ntprism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz:format=explicit'
Importing model from "/w0/tmp/slurm_tq429871.4965809/tmpt8cz35ntprism_from-tra-xz_import_ex_pnueli-zuck.5_tmp_indir_/prism.model.pexp.xz"...
Type: MDP (from file header)
Variables: x
Labels: "target"
---------------------------------------------------------------------
Building model (engine:explicit)...
Time for model construction: 3.782 seconds.
Type: MDP
States: 397435 (1 initial)
Transitions: 2313746
Choices: 2145026
Max/avg: 10/5.40
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g