Log files for model resource-gathering.1300-100-100 and tool configuration prism_from-prism_to-tra-gz_ex
[16340814.0, 16340814.0, 16340814.0, 16340814.0, 16340814.0]
Log file: prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_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: 16.745 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:29:13 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.4957345/tmp9rzi28r7prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957345/tmp390pupeaprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957345/tmp9rzi28r7prism_from-prism_to-tra-gz_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... 378753 745287 958894 states
Reachable states exploration and model construction done in 7.702 secs.
Sorting reachable states list...
Time for model construction: 9.179 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.4957345/tmp390pupeaprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 6.918 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 16340814 bytes
Log file: prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_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: 16.304 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:30:05 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954953/tmp3jwgxpw9prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954953/tmpa9oiky5_prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954953/tmp3jwgxpw9prism_from-prism_to-tra-gz_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... 405904 773114 958894 states
Reachable states exploration and model construction done in 7.459 secs.
Sorting reachable states list...
Time for model construction: 8.967 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.4954953/tmpa9oiky5_prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 6.712 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 16340814 bytes
Log file: prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_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: 16.162 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:27:27 GMT+02:00 2026
Hostname: n23m0040.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957267/tmpd9vq_ajyprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957267/tmpd6gbwpfmprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957267/tmpd9vq_ajyprism_from-prism_to-tra-gz_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... 398884 769646 958894 states
Reachable states exploration and model construction done in 7.487 secs.
Sorting reachable states list...
Time for model construction: 8.973 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.4957267/tmpd6gbwpfmprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 6.548 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 16340814 bytes
Log file: prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_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: 17.784 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:31:49 GMT+02:00 2026
Hostname: n23m0040.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955027/tmpnikflc3pprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955027/tmp8tcnqcsyprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955027/tmpnikflc3pprism_from-prism_to-tra-gz_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... 358352 673498 958894 states
Reachable states exploration and model construction done in 8.774 secs.
Sorting reachable states list...
Time for model construction: 10.589 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.4955027/tmp8tcnqcsyprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 6.39 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 16340814 bytes
Log file: prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_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: 19.793 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:31:41 GMT+02:00 2026
Hostname: r23m0207.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957442/tmp17hg_as8prism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957442/tmpm8nodcgfprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957442/tmp17hg_as8prism_from-prism_to-tra-gz_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... 324274 673413 958894 states
Reachable states exploration and model construction done in 8.94 secs.
Sorting reachable states list...
Time for model construction: 10.796 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.4957442/tmpm8nodcgfprism_from-prism_to-tra-gz_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 6.615 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: Size of output file is 16340814 bytes