Log files for model resource-gathering.1300-100-100 and tool configuration prism_from-prism_to-tra-xz_ex
[3495568.0, 3495568.0, 3495568.0, 3495568.0, 3495568.0]
Log file: prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 54.311 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:00:05 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.4956151/tmpgsf5are3prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956151/tmp_3ax96r5prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956151/tmpgsf5are3prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism"...
Type: MDP
Modules: robot goldcounter gemcounter
Actions: [right] [left] [top] [down]
Variables: gold gem attacked x y required_gold required_gem
Labels: "success"
Building model (engine:explicit)...
Computing reachable states... 401782 781719 958894 states
Reachable states exploration and model construction done in 7.396 secs.
Sorting reachable states list...
Time for model construction: 8.857 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4956151/tmp_3ax96r5prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 44.827 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 3495568 bytes
Log file: prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 77.639 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:53:52 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958162/tmpcxeg1db3prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958162/tmp3ri89n_2prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958162/tmpcxeg1db3prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism"...
Type: MDP
Modules: robot goldcounter gemcounter
Actions: [right] [left] [top] [down]
Variables: gold gem attacked x y required_gold required_gem
Labels: "success"
Building model (engine:explicit)...
Computing reachable states... 364548 704914 958894 states
Reachable states exploration and model construction done in 8.354 secs.
Sorting reachable states list...
Time for model construction: 9.992 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958162/tmp3ri89n_2prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 66.963 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 3495568 bytes
Log file: prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 76.403 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:29:49 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.4957367/tmpgjcl3w15prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957367/tmpbatxh5u5prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957367/tmpgjcl3w15prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism"...
Type: MDP
Modules: robot goldcounter gemcounter
Actions: [right] [left] [top] [down]
Variables: gold gem attacked x y required_gold required_gem
Labels: "success"
Building model (engine:explicit)...
Computing reachable states... 366695 711468 958894 states
Reachable states exploration and model construction done in 8.29 secs.
Sorting reachable states list...
Time for model construction: 9.827 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4957367/tmpbatxh5u5prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 65.916 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 3495568 bytes
Log file: prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 78.927 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:52:10 GMT+02:00 2026
Hostname: n23m0050.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958085/tmp31telotfprism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958085/tmpmmd4y7s1prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958085/tmp31telotfprism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism"...
Type: MDP
Modules: robot goldcounter gemcounter
Actions: [right] [left] [top] [down]
Variables: gold gem attacked x y required_gold required_gem
Labels: "success"
Building model (engine:explicit)...
Computing reachable states... 333029 665546 958894 states
Reachable states exploration and model construction done in 8.839 secs.
Sorting reachable states list...
Time for model construction: 10.606 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4958085/tmpmmd4y7s1prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 67.636 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 3495568 bytes
Log file: prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17
Wallclock time: 76.026 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:37:33 GMT+02:00 2026
Hostname: n23m0113.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955246/tmpxkbv3pw_prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955246/tmpl612e3zpprism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955246/tmpxkbv3pw_prism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism"...
Type: MDP
Modules: robot goldcounter gemcounter
Actions: [right] [left] [top] [down]
Variables: gold gem attacked x y required_gold required_gem
Labels: "success"
Building model (engine:explicit)...
Computing reachable states... 320146 682772 958894 states
Reachable states exploration and model construction done in 8.713 secs.
Sorting reachable states list...
Time for model construction: 10.467 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in plain text format to file "/w0/tmp/slurm_tq429871.4955246/tmpl612e3zpprism_from-prism_to-tra-xz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 64.893 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.xz: Size of output file is 3495568 bytes