Log files for model pnueli-zuck.10 and tool configuration prism_from-prism_to-tra-gz_ex
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 124.520 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:22:45 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.4957070/tmpjqar1fm1prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957070/tmpr4jl9qebprism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957070/tmpjqar1fm1prism_from-prism_to-tra-gz_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... 207565 421759 638457 842018 1054592 1260885 1466387 1672202 1878267 2090096 2297434 2489225 2698605 2879737 3070535 3259411 3459051 3670713 3877153 4074884 4249844 4438360 4618638 4788036 4973033 5151219 5361554 5561393 5768577 5961422 6169135 6357419 6575482 6754386 6937479 7122287 7304678 7464683 7641636 7820580 7971596
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 139.321 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:47:50 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.4955662/tmpx2ypf7pgprism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955662/tmpdwm5oiqsprism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955662/tmpx2ypf7pgprism_from-prism_to-tra-gz_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... 197416 391164 584906 779159 979554 1168637 1370808 1553941 1755324 1943436 2139052 2322348 2514933 2711720 2903542 3082340 3270086 3451587 3629259 3797135 3980539 4156905 4318850 4487520 4651454 4799013 4968131 5123845 5289196 5469305 5621602 5790779 5988353 6179835 6360798 6567388 6767691 6975524 7182618 7350984 7514248 7675275 7852658 8011323 8152933
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 150.233 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 22:50:07 GMT+02:00 2026
Hostname: n23m0023.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4955761/tmp92v19d80prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4955761/tmpa30x7ic9prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4955761/tmp92v19d80prism_from-prism_to-tra-gz_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... 188798 391313 586860 768344 966218 1136844 1320275 1506212 1690476 1858213 2054298 2225884 2402970 2549128 2737581 2898791 3068288 3243098 3390221 3550248 3716825 3873208 4050117 4219882 4403258 4558863 4744436 4887856 5031906 5191985 5348769 5506643 5668619 5820567 5962973 6121533 6287509 6471888 6656528 6822207 7002866 7190264 7375973 7531514 7684561 7843557 7996370 8144570 8304232
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 137.962 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:09:29 GMT+02:00 2026
Hostname: n23m0310.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4956556/tmp1ofc6b5rprism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4956556/tmpqtd0pgrnprism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4956556/tmp1ofc6b5rprism_from-prism_to-tra-gz_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... 191297 399242 588167 782558 981567 1181408 1373691 1579137 1776045 1973158 2166799 2354377 2559086 2753654 2934277 3108936 3276631 3459308 3656453 3800724 3995548 4182754 4334165 4502860 4676925 4813804 4994730 5154835 5338833 5503783 5674335 5867303 6059166 6254303 6459799 6652674 6857411 7049500 7223980 7400885 7575372 7739495 7900365 8068415 8225564
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.
Log file: prism_from-prism_to-tra-gz_ex_pnueli-zuck.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism -exportmodel %outdir/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17
Wallclock time: 126.811 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Mon Oct 12 23:23:22 GMT+02:00 2026
Hostname: n23m0167.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4957106/tmpquxem5vbprism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_indir_/model.prism -exportmodel '/w0/tmp/slurm_tq429871.4957106/tmpkl7jfv8nprism_from-prism_to-tra-gz_ex_pnueli-zuck.10_tmp_outdir_/model.pexp.gz:format=explicit,states=false,zip=gzip,precision=17'
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4957106/tmpquxem5vbprism_from-prism_to-tra-gz_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... 204379 415397 618217 815539 1032341 1231738 1438022 1635310 1839551 2047693 2250451 2446591 2649753 2826455 3004324 3184178 3396648 3591214 3771348 3979715 4169599 4339453 4516635 4697811 4860699 5032509 5226263 5435353 5608235 5810519 5988644 6172781 6349323 6522985 6711024 6903238 7077122 7258536 7421173 7580388
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
############################## Output files ##############################
model.pexp.gz: File does not exist.