Log files for model pnueli-zuck.10 and tool configuration prism_from-prism_to-umb-xz_ex
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 190.932 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:06:32 GMT+02:00 2026
Hostname: n23m0326.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956442/tmpeiqe4f1uprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956442/tmpv3x1ou8gprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956442/tmpeiqe4f1uprism_from-prism_to-umb-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... 198236 393713 587733 789848 991132 1187004 1380857 1584443 1779337 1974492 2178564 2376856 2571881 2749025 2942683 3103352 3289479 3471461 3630703 3810156 4001570 4170770 4344782 4476325 4635612 4790175 4947246 5099516 5270847 5416909 5576295 5764933 5950643 6110697 6285467 6476506 6658428 6810084 7009462 7182608 7352444 7511125 7669135 7826817 7968789 8099808 8249528
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 130.654 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:03:01 GMT+02:00 2026
Hostname: n23m0144.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956260/tmprd_pb7zcprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956260/tmpihzfm25iprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956260/tmprd_pb7zcprism_from-prism_to-umb-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... 203105 414710 625301 838458 1039076 1238439 1440081 1640777 1846079 2036699 2238779 2429429 2640432 2842214 3016933 3202223 3380039 3586080 3777696 3947354 4157836 4323440 4514192 4686263 4844086 5010256 5192222 5366655 5552907 5743518 5916648 6114509 6309297 6503185 6692876 6873727 7056606 7239872 7419853 7568781 7740678 7909968 8101002
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 143.118 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:38:21 GMT+02:00 2026
Hostname: r23m0210.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957643/tmpcxweh5buprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957643/tmphzrqnv4dprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957643/tmpcxweh5buprism_from-prism_to-umb-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... 198957 403598 600424 797091 1005994 1188264 1383433 1579889 1788294 1981422 2171049 2336053 2521235 2700106 2884729 3043621 3218373 3392571 3569301 3743365 3922251 4111712 4284560 4455521 4629654 4776049 4948109 5105493 5280074 5434507 5621260 5782477 5977227 6138893 6318356 6524665 6702203 6902945 7083389 7251876 7421204 7585199 7729843 7882003 8040173 8190545
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 127.674 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:55:00 GMT+02:00 2026
Hostname: n23m0269.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4958200/tmp0okzuxfvprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4958200/tmpq7tx79k0prism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4958200/tmp0okzuxfvprism_from-prism_to-umb-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... 209029 428172 642024 851953 1068797 1282878 1494181 1712951 1933051 2146484 2347583 2552690 2755698 2942648 3136489 3325717 3511633 3710547 3893149 4093073 4295104 4477818 4675019 4835125 5009345 5185226 5371863 5558113 5730949 5912789 6120881 6329955 6537568 6750273 6974316 7177019 7373172 7559455 7733723 7915783 8096497 8284026
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.
Log file: prism_from-prism_to-umb-xz_ex_pnueli-zuck.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.umbxz:format=umb,states=false,zip=xz
Wallclock time: 138.666 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:42:07 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.4955450/tmpthweujdsprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955450/tmp1mo6jalkprism_from-prism_to-umb-xz_ex_pnueli-zuck.10_tmp_outdir_/model.umbxz:format=umb,states=false,zip=xz'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955450/tmpthweujdsprism_from-prism_to-umb-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... 185997 391150 590928 785785 990562 1169802 1354110 1546635 1745777 1922341 2126040 2312091 2501477 2666217 2851675 3009765 3175061 3358512 3549442 3732474 3896285 4082848 4264577 4428891 4567262 4746569 4904709 5075328 5239123 5394979 5590061 5769301 5944838 6134294 6324524 6513593 6715496 6898617 7063499 7243632 7417788 7588968 7736445 7891860 8048412
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.umbxz: File does not exist.