[MO, MO, MO, MO, MO]

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: 129.091 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:42:45 GMT+02:00 2026
Hostname: r23m0204.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957768/tmpb53yy0_7prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957768/tmp1sduysr5prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957768/tmpb53yy0_7prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions:     []
Variables:   p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels:      "target"

Building model (engine:explicit)...

Computing reachable states... 202073 411250 618389 826282 1037821 1238504 1443280 1645581 1848889 2057251 2254651 2442825 2645356 2819623 3013962 3194637 3405114 3603780 3798347 3982248 4176416 4365712 4536120 4717034 4896363 5063973 5237641 5420056 5616965 5812859 5999010 6197525 6379632 6577391 6714679 6896641 7058533 7240643 7413967 7575966 7728199 7900674
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	File does not exist.

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: 127.659 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:35:49 GMT+02:00 2026
Hostname: n23m0055.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955190/tmp_zbtqb5sprism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955190/tmpumnv3gncprism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955190/tmp_zbtqb5sprism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions:     []
Variables:   p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels:      "target"

Building model (engine:explicit)...

Computing reachable states... 209103 424017 642245 838007 1052168 1259027 1452061 1682007 1865101 2086721 2269930 2486565 2682075 2892350 3084455 3302326 3495409 3683892 3867245 4064695 4294028 4506688 4696716 4906634 5097049 5302311 5495111 5669832 5846521 6042430 6212105 6391366 6626730 6840654 7054334 7282686 7484080 7693056 7891043 8085116 8279501
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	File does not exist.

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: 126.391 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:00:04 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956154/tmpt0mhi8x0prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956154/tmpjmkrd3ujprism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956154/tmpt0mhi8x0prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions:     []
Variables:   p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels:      "target"

Building model (engine:explicit)...

Computing reachable states... 205898 419137 633684 832329 1038399 1236604 1438615 1642208 1846773 2050479 2255629 2446071 2664077 2833624 3016081 3199454 3402835 3608840 3802841 3998566 4187870 4367220 4545386 4729678 4907841 5090452 5279343 5490168 5685303 5888179 6076092 6269837 6454825 6659008 6846839 7016311 7183373 7367108 7541071 7692188 7866440
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	File does not exist.

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: 139.901 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 23:06:29 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.4956436/tmpl8jfju1cprism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956436/tmp7zesp3s_prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956436/tmpl8jfju1cprism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions:     []
Variables:   p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels:      "target"

Building model (engine:explicit)...

Computing reachable states... 194785 388293 584913 781951 982751 1175755 1370651 1557050 1750176 1943687 2144113 2343407 2541125 2724297 2913735 3092215 3293775 3460676 3638363 3805556 3976430 4149020 4337664 4528974 4676607 4879650 5024529 5167300 5355880 5516665 5684175 5855666 6010939 6179585 6374334 6567856 6775996 6984700 7174853 7367841 7540802 7699017 7871634 8035949 8205379 8367956
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	File does not exist.

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: 127.805 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Mon Oct 12 22:46:09 GMT+02:00 2026
Hostname: r23m0215.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955601/tmpg_p1vmv_prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955601/tmpbftsqzp_prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_outdir_/model.pexp:format=explicit,states=false,zip=false,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955601/tmpg_p1vmv_prism_from-prism_to-tra_ex_pnueli-zuck.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process0 process1 process2 process3 process4 process5 process6 process7 process8 process9
Actions:     []
Variables:   p0 p1 p2 p3 p4 p5 p6 p7 p8 p9
Labels:      "target"

Building model (engine:explicit)...

Computing reachable states... 224010 448653 668484 894757 1117781 1331694 1561811 1788558 2027690 2230355 2435819 2642983 2854006 3030206 3227094 3442442 3656187 3867758 4090189 4259748 4455817 4634339 4805377 4992498 5166176 5368290 5594604 5801087 6015889 6236930 6437901 6643322 6831940 7027213 7229822 7415586 7606121 7782140
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

############################## Output files ##############################
model.pexp:	File does not exist.