Log files for model resource-gathering.1300-100-100 and tool configuration prism_from-prism_to-tra_ex
[5.668, 4.822, 5.305, 5.274, 5.369]
Log file: prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 16.939 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:24:27 GMT+02:00 2026
Hostname: n23m0255.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957137/tmphgzf2dkbprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957137/tmpux944kt3prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957137/tmphgzf2dkbprism_from-prism_to-tra_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... 330967 668745 958894 states
Reachable states exploration and model construction done in 8.864 secs.
Sorting reachable states list...
Time for model construction: 10.604 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.4957137/tmpux944kt3prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 5.668 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 76769962 bytes
Log file: prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 17.526 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:33:00 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.4955080/tmpe8uyeyqlprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955080/tmpnwvnmr35prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955080/tmpe8uyeyqlprism_from-prism_to-tra_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... 362903 673458 958894 states
Reachable states exploration and model construction done in 8.656 secs.
Sorting reachable states list...
Time for model construction: 10.779 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.4955080/tmpnwvnmr35prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 4.822 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 76769962 bytes
Log file: prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 15.817 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:40:23 GMT+02:00 2026
Hostname: n23m0264.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955367/tmp6npcpmdmprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955367/tmpf6z15o2sprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955367/tmp6npcpmdmprism_from-prism_to-tra_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... 368343 713941 958894 states
Reachable states exploration and model construction done in 8.228 secs.
Sorting reachable states list...
Time for model construction: 9.83 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.4955367/tmpf6z15o2sprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 5.305 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 76769962 bytes
Log file: prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 14.950 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:34:07 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.4955124/tmpbnseoefrprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955124/tmpftur8235prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955124/tmpbnseoefrprism_from-prism_to-tra_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... 408992 779119 958894 states
Reachable states exploration and model construction done in 7.554 secs.
Sorting reachable states list...
Time for model construction: 9.037 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.4955124/tmpftur8235prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 5.274 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 76769962 bytes
Log file: prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp:format=explicit,states=false,zip=false,precision=17
Wallclock time: 17.395 seconds
Return code: 0
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:28:24 GMT+02:00 2026
Hostname: r23m0219.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954872/tmpyts9_gg7prism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954872/tmpmprgm0nnprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954872/tmpyts9_gg7prism_from-prism_to-tra_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... 364678 711354 958894 states
Reachable states exploration and model construction done in 8.607 secs.
Sorting reachable states list...
Time for model construction: 10.106 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.4954872/tmpmprgm0nnprism_from-prism_to-tra_ex_resource-gathering.1300-100-100_tmp_outdir_/model.pexp"...
Time for exporting: 5.369 seconds.
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp: Size of output file is 76769962 bytes