[MO, MO, MO, MO, MO]

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 141.553 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:32:03 GMT+02:00 2026
Hostname: n23m0044.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962480/tmp7jotw1gpprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962480/tmp7jotw1gpprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions:     []
Variables:   c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 192248 385246 571844 765380 957466 1131701 1310627 1475926 1634692 1814754 1981776 2160822 2325274 2491804 2671329 2840761 3004565 3148304 3331949 3498381 3679117 3835291 3992476 4176976 4268626 4428724 4595617 4760115 4918672 5075289 5237923 5405742 5576094 5755932 5905659 6068662 6218970 6389035 6552010 6711039 6853351 7013219 7162445 7313653 7494096 7676395
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 168.710 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:34:54 GMT+02:00 2026
Hostname: n23m0254.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966189/tmpl7ebt_pzprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966189/tmpl7ebt_pzprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions:     []
Variables:   c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 179406 364194 535727 715302 894735 1073744 1245987 1421718 1591204 1759532 1934113 2102001 2276351 2432632 2583319 2761952 2929436 3107480 3260737 3431893 3533582 3692680 3855604 4005295 4157320 4314845 4479062 4646297 4808561 4965199 5140984 5298935 5462432 5618849 5767598 5909268 6060113 6203295 6327428 6480454 6633730 6777322 6913279 7062643 7182189 7315547 7486907 7644789 7781328 7924278 8073791 8230318 8363777 8514724 8656287
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 179.036 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:09:44 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.4964915/tmplkof71fzprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964915/tmplkof71fzprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions:     []
Variables:   c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 170467 343931 517192 685928 853668 1030994 1180344 1350504 1503541 1651203 1811965 1966558 2120199 2261670 2416486 2556881 2713455 2864078 3016201 3182720 3329933 3488101 3648745 3715541 3874132 4018046 4169112 4308229 4443408 4562145 4710434 4844658 4968273 5116818 5267703 5415191 5565090 5717016 5848607 5984458 6119126 6244201 6384823 6511668 6632067 6780618 6915847 7059670 7202114 7347431 7522121 7696693 7860773 8008397 8151323 8286750 8414989 8559797 8720425
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 166.669 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:43:40 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.4963002/tmpcb679eglprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4963002/tmpcb679eglprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions:     []
Variables:   c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 179753 359493 531807 712498 888809 1064129 1229850 1407884 1579244 1749395 1916322 2081752 2257908 2423646 2583101 2759773 2924035 3095460 3255561 3426665 3578287 3650539 3811659 3964458 4116282 4275171 4429642 4572556 4728318 4887013 5058379 5219479 5378541 5537734 5695459 5852823 5995039 6141178 6287511 6434664 6585150 6740363 6892342 7045649 7196445 7351999 7536702 7718964 7886431 8043842 8186470 8328991 8490838 8652497 8808350
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g

Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 164.167 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 08:59:43 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.4964423/tmpfx0klmmcprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964423/tmpfx0klmmcprism_from-prism_import_ex_rabin.10_tmp_indir_/model.prism"...

Type:        MDP
Modules:     process1 process2 process3 process4 process5 process6 process7 process8 process9 process10
Actions:     []
Variables:   c b r p1 b1 r1 draw1 p2 b2 r2 draw2 p3 b3 r3 draw3 p4 b4 r4 draw4 p5 b5 r5 draw5 p6 b6 r6 draw6 p7 b7 r7 draw7 p8 b8 r8 draw8 p9 b9 r9 draw9 p10 b10 r10 draw10
Labels:      "target"

---------------------------------------------------------------------

Building model (engine:explicit)...

Computing reachable states... 177337 357698 528550 704038 880791 1058616 1229338 1415768 1577074 1756746 1919686 2094963 2259101 2421575 2580972 2744635 2923011 3089114 3256440 3414865 3570929 3643025 3814357 3975800 4114870 4266629 4426563 4583458 4746987 4899362 5057385 5232867 5402365 5553021 5706671 5865181 6019679 6169632 6323844 6472975 6626094 6774188 6922432 7073887 7221600 7372496 7552455 7728140 7895841 8059173 8209622 8354694 8512155 8661309
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g