Log files for model pnueli-zuck.10 and tool configuration prism_from-prism_import_ex

Parsed values
[MO, MO, MO, MO, MO]
Log file: prism_from-prism_import_ex_pnueli-zuck.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 139.674 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 06:58:59 GMT+02:00 2026
Hostname: n23m0038.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4961081/tmp6ubbxgndprism_from-prism_import_ex_pnueli-zuck.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961081/tmp6ubbxgndprism_from-prism_import_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... 188477 384689 581536 785326 999089 1193433 1388736 1587849 1789890 1980566 2180248 2362961 2559050 2752836 2926233 3088025 3269070 3438479 3588988 3789084 3954032 4131025 4304058 4456232 4625512 4787277 4956684 5134277 5300789 5472335 5648994 5822065 6023220 6208944 6399180 6603964 6793560 6994555 7181371 7344314 7507509 7671233 7844789 7994814 8139391 8309145
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pnueli-zuck.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 130.813 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 07:24:19 GMT+02:00 2026
Hostname: n23m0032.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962129/tmp3kmc4wu6prism_from-prism_import_ex_pnueli-zuck.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962129/tmp3kmc4wu6prism_from-prism_import_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... 196966 399530 602610 806030 1013818 1209136 1407910 1604085 1816406 2003881 2192757 2375510 2571581 2746149 2919810 3091615 3299450 3477585 3664577 3848728 4025643 4187937 4348359 4507778 4688048 4848135 5011204 5160653 5344584 5526121 5692822 5858383 6033917 6201840 6373458 6548732 6719393 6896368 7055691 7227804 7398668 7541826 7706043
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pnueli-zuck.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 140.336 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:19:40 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965357/tmp0m91dde7prism_from-prism_import_ex_pnueli-zuck.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965357/tmp0m91dde7prism_from-prism_import_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... 189142 386975 587890 799109 1004964 1197798 1399475 1594881 1799826 1992900 2197838 2381247 2572766 2746199 2932999 3100398 3263182 3442217 3603971 3794586 3978986 4160285 4333514 4483973 4655599 4814816 4989468 5157018 5333184 5500012 5672459 5858865 6054489 6227473 6415319 6622280 6802561 6996603 7183265 7352708 7498872 7664731 7827224 7966134 8123544 8286572
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pnueli-zuck.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 138.389 seconds
Return code: -9
##############################
PRISM
=====

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

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962196/tmpv_zvynooprism_from-prism_import_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... 196972 405882 609430 810521 1020771 1220878 1413745 1612237 1803705 1986274 2170047 2353242 2544432 2728288 2919823 3072482 3258383 3422431 3590866 3790977 3981511 4135779 4332807 4508158 4681253 4847704 5007260 5170553 5358430 5517836 5677865 5841639 6028572 6211559 6399874 6598716 6794017 6988770 7164995 7338273 7513267 7679874 7857235 8027801 8190012
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_import_ex_pnueli-zuck.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism
Wallclock time: 141.001 seconds
Return code: -9
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:28:35 GMT+02:00 2026
Hostname: n23m0237.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4965870/tmpmpmbtuwzprism_from-prism_import_ex_pnueli-zuck.10_tmp_indir_/model.prism

Parsing PRISM model file "/w0/tmp/slurm_tq429871.4965870/tmpmpmbtuwzprism_from-prism_import_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... 198849 403591 604675 813507 1014201 1211227 1409364 1610161 1806491 1990446 2184023 2364511 2543855 2713342 2905477 3075136 3246661 3413970 3580322 3757518 3932250 4117458 4289862 4487545 4634353 4818575 4975359 5130516 5303050 5482126 5638108 5799479 5965388 6157723 6336629 6519780 6720269 6919073 7087898 7276898 7443096 7598071 7760485 7902908 8058507 8211643
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g