[MO, MO, MO, MO, MO]

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

Version: 4.11
Date: Mon Oct 12 22:31:14 GMT+02:00 2026
Hostname: n23m0261.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4954997/tmpg5wfl952prism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4954997/tmp4dfc7f38prism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4954997/tmpg5wfl952prism_from-prism_to-tra-xz_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... 198906 408067 617503 820184 1031887 1229946 1426427 1608929 1820571 1997673 2174633 2308671 2486819 2646218 2791302 2983064 3104903 3262760 3421755 3547859 3706810 3870698 4067973 4208802 4391739 4569410 4718901 4893129 5037409 5184796 5356212 5509364 5655131 5782726 5936620 6105371 6247586 6413346 6592615 6748989 6902818 7058133 7203193 7360036 7511854 7658423 7818731 7966076 8117603 8292360
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Tue Oct 13 00:01:54 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.4958482/tmpiy24eq56prism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958482/tmpdrgrsdxdprism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958482/tmpiy24eq56prism_from-prism_to-tra-xz_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... 202569 406273 613253 824560 1026033 1223162 1427599 1639562 1841129 2032720 2231930 2430323 2619313 2795916 2968870 3150720 3358876 3547897 3741053 3932172 4112965 4285929 4462663 4642845 4807115 4984896 5155608 5361946 5547838 5744626 5923633 6121104 6318918 6488832 6671509 6851172 7033628 7209246 7386705 7547049 7695766
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:55:23 GMT+02:00 2026
Hostname: n23m0308.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955979/tmp9afnkbm_prism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955979/tmphcz7p9brprism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955979/tmp9afnkbm_prism_from-prism_to-tra-xz_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... 200402 396036 586545 795562 983668 1172306 1370065 1562903 1746734 1945111 2119432 2296095 2484596 2680758 2871674 3053800 3239381 3421373 3594803 3773007 3959980 4157492 4342335 4512493 4680664 4836295 4975851 5112708 5272102 5432152 5596484 5753431 5886576 6062163 6232121 6420129 6599445 6802409 7000408 7186034 7367290 7538250 7699890 7875600 8032237 8175069
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:45:33 GMT+02:00 2026
Hostname: n23m0043.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955586/tmpjneqkm1lprism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955586/tmp60hwzxb0prism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955586/tmpjneqkm1lprism_from-prism_to-tra-xz_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... 193533 401582 602406 807462 1017993 1217787 1413182 1616919 1812539 2001379 2190401 2376051 2560945 2724980 2916094 3085949 3261929 3426991 3598322 3766501 3948958 4125967 4294742 4494862 4646081 4826474 4985021 5153024 5327410 5505927 5679221 5855341 6044097 6226575 6406662 6607809 6804549 7012918 7193835 7372334 7527840 7684467 7850393 7996845 8155056 8330787
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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

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

Version: 4.11
Date: Mon Oct 12 22:52:27 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.4955856/tmpb9ofkt1nprism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955856/tmpy49rfp2fprism_from-prism_to-tra-xz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.xz:format=explicit,states=false,zip=xz,precision=17'

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955856/tmpb9ofkt1nprism_from-prism_to-tra-xz_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... 197045 392819 583344 781788 979836 1147576 1346336 1531484 1715467 1903790 2092154 2271856 2459923 2637834 2827713 2998884 3193897 3356872 3536379 3700539 3871937 4061379 4247833 4427586 4588207 4764900 4935332 5087634 5250908 5430161 5592148 5756870 5918365 6089081 6269380 6472438 6675573 6865053 7065735 7247904 7409148 7579505 7751524 7916055 8060817 8228402
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

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