Log files for model rabin.10 and tool configuration prism_from-prism_check_ex
Log file: prism_from-prism_check_ex_rabin.10_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 166.662 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:45:25 GMT+02:00 2026
Hostname: n23m0314.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966719/tmprf6vceo6prism_from-prism_check_ex_rabin.10_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4966719/tmprf6vceo6prism_from-prism_check_ex_rabin.10_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966719/tmprf6vceo6prism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4966719/tmprf6vceo6prism_from-prism_check_ex_rabin.10_tmp_indir_/property.props"...
1 property:
(1) "live": Pmax=? [ F "target" ]
---------------------------------------------------------------------
Model checking: "live": Pmax=? [ F "target" ]
Building model (engine:explicit)...
Computing reachable states... 178037 359140 529048 705336 884511 1063447 1235908 1410560 1581518 1754219 1928771 2094933 2270363 2434818 2596623 2769661 2933944 3105034 3267674 3437499 3592541 3668094 3837496 3998960 4118693 4266920 4411034 4558246 4721633 4876423 5030079 5193121 5362358 5515577 5667294 5819925 5970806 6117556 6262589 6409153 6544637 6686975 6831968 6968989 7115450 7262722 7414362 7596220 7769548 7917918 8079089 8223340 8374300 8534065
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_rabin.10_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 174.412 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:14:15 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.4961754/tmpqcuaou_uprism_from-prism_check_ex_rabin.10_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4961754/tmpqcuaou_uprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4961754/tmpqcuaou_uprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4961754/tmpqcuaou_uprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props"...
1 property:
(1) "live": Pmax=? [ F "target" ]
---------------------------------------------------------------------
Model checking: "live": Pmax=? [ F "target" ]
Building model (engine:explicit)...
Computing reachable states... 160344 335371 492901 658279 818963 1001934 1165804 1336850 1504232 1665702 1824987 1990412 2147412 2307514 2468481 2615374 2766472 2924512 3070245 3206550 3368577 3508039 3645377 3811188 3937947 4086831 4239546 4389191 4539353 4691242 4823531 4963689 5119926 5261224 5420778 5576753 5733978 5886104 6034991 6174142 6313041 6449375 6588703 6712986 6840541 6966763 7090552 7225554 7368833 7546733 7722596 7882885 8036042 8200261 8351602 8516808 8668184
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_rabin.10_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 146.035 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:48:32 GMT+02:00 2026
Hostname: n23m0248.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4963236/tmpt4yhecldprism_from-prism_check_ex_rabin.10_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4963236/tmpt4yhecldprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4963236/tmpt4yhecldprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4963236/tmpt4yhecldprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props"...
1 property:
(1) "live": Pmax=? [ F "target" ]
---------------------------------------------------------------------
Model checking: "live": Pmax=? [ F "target" ]
Building model (engine:explicit)...
Computing reachable states... 200845 406743 612151 799149 1006359 1177174 1371647 1568247 1762894 1949177 2143348 2327945 2514359 2712851 2901246 3076360 3272484 3452074 3640043 3826396 3926951 4110767 4262524 4441584 4611521 4771691 4932934 5137489 5313316 5485426 5672800 5848818 6006826 6173178 6337883 6505661 6656546 6810441 6986820 7157370 7317202 7508471 7703702 7896245 8092178 8272572 8449557 8624089
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_rabin.10_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 161.908 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:09:44 GMT+02:00 2026
Hostname: n23m0287.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4964919/tmpbwfij4zfprism_from-prism_check_ex_rabin.10_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4964919/tmpbwfij4zfprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4964919/tmpbwfij4zfprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4964919/tmpbwfij4zfprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props"...
1 property:
(1) "live": Pmax=? [ F "target" ]
---------------------------------------------------------------------
Model checking: "live": Pmax=? [ F "target" ]
Building model (engine:explicit)...
Computing reachable states... 177227 362135 527715 705381 885265 1059688 1232169 1405239 1578032 1749516 1921908 2093503 2268204 2425891 2584020 2760167 2938826 3102328 3266130 3422450 3589998 3738838 3817101 3985046 4129824 4285173 4433383 4587872 4739612 4900765 5076061 5231728 5397032 5560915 5728798 5882648 6023659 6173407 6323216 6475693 6625028 6770100 6916091 7068437 7218183 7368055 7551666 7735102 7906675 8079398 8241593 8395734 8553084
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_rabin.10_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 178.002 seconds
Return code: -9
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:20:50 GMT+02:00 2026
Hostname: n23m0045.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4962003/tmpbsl3xjxkprism_from-prism_check_ex_rabin.10_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4962003/tmpbsl3xjxkprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962003/tmpbsl3xjxkprism_from-prism_check_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"
Parsing properties file "/w0/tmp/slurm_tq429871.4962003/tmpbsl3xjxkprism_from-prism_check_ex_rabin.10_tmp_indir_/property.props"...
1 property:
(1) "live": Pmax=? [ F "target" ]
---------------------------------------------------------------------
Model checking: "live": Pmax=? [ F "target" ]
Building model (engine:explicit)...
Computing reachable states... 170774 336244 497046 664422 812241 985643 1142771 1299109 1458827 1623874 1774836 1933067 2078920 2240282 2393529 2549780 2721835 2868812 3018894 3171299 3337641 3487640 3648496 3784780 3926990 4019952 4147262 4268359 4415464 4549197 4665828 4795099 4914836 5070323 5220501 5370047 5513628 5670454 5827180 5974361 6110975 6244760 6393523 6538495 6673814 6802849 6914590 7053983 7186537 7317888 7482834 7659831 7816977 7968052 8134675 8286559 8438648 8588357
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g