Log files for model resource-gathering.1300-100-100 and tool configuration prism_from-prism_to-umb_ex
[98097664.0, 98097664.0, 98097664.0, 98097664.0, 98097664.0]
Log file: prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 10.774 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:03:35 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.4956295/tmpi0vk0darprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956295/tmpvhm12czaprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956295/tmpi0vk0darprism_from-prism_to-umb_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... 378861 724872 958894 states
Reachable states exploration and model construction done in 8.172 secs.
Sorting reachable states list...
Time for model construction: 9.937 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956295/tmpvhm12czaprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb"...
Time for exporting: 0.244 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 98097664 bytes
Log file: prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 9.609 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:04:10 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.4956309/tmpcgy4r7vbprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956309/tmp6yynuneeprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956309/tmpcgy4r7vbprism_from-prism_to-umb_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... 406535 789780 958894 states
Reachable states exploration and model construction done in 7.324 secs.
Sorting reachable states list...
Time for model construction: 8.776 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956309/tmp6yynuneeprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb"...
Time for exporting: 0.244 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 98097664 bytes
Log file: prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 11.778 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:07:04 GMT+02:00 2026
Hostname: n23m0056.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956451/tmpkcjxdv7tprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956451/tmp5afh13zlprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956451/tmpkcjxdv7tprism_from-prism_to-umb_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... 324387 657425 958894 states
Reachable states exploration and model construction done in 8.924 secs.
Sorting reachable states list...
Time for model construction: 10.862 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4956451/tmp5afh13zlprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb"...
Time for exporting: 0.287 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 98097664 bytes
Log file: prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 11.718 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:23:55 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.4957111/tmp33d13iudprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957111/tmp_ju8gn35prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957111/tmp33d13iudprism_from-prism_to-umb_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... 345416 657996 958894 states
Reachable states exploration and model construction done in 8.915 secs.
Sorting reachable states list...
Time for model construction: 10.746 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957111/tmp_ju8gn35prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb"...
Time for exporting: 0.251 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 98097664 bytes
Log file: prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umb:format=umb,states=false,zip=false
Wallclock time: 11.368 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:43:20 GMT+02:00 2026
Hostname: r23m0214.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957799/tmpcs614361prism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957799/tmp31gd6z2jprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb:format=umb,states=false,zip=false'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957799/tmpcs614361prism_from-prism_to-umb_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... 377532 684662 958894 states
Reachable states exploration and model construction done in 8.796 secs.
Sorting reachable states list...
Time for model construction: 10.374 seconds.
Type: MDP
States: 958894 (1 initial)
Transitions: 3325526
Choices: 3080702
Max/avg: 4/3.21
Exporting model in UMB format to file "/w0/tmp/slurm_tq429871.4957799/tmp31gd6z2jprism_from-prism_to-umb_ex_resource-gathering.1300-100-100_tmp_outdir_/model.umb"...
Time for exporting: 0.258 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umb: Size of output file is 98097664 bytes