Log files for model firewire.false-36-800 and tool configuration prism_from-prism_check_ex
Log file: prism_from-prism_check_ex_firewire.false-36-800_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 0.612 seconds
Return code: 1
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:51:49 GMT+02:00 2026
Hostname: n23m0303.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4966964/tmp447f0bkhprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4966964/tmp447f0bkhprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966964/tmp447f0bkhprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism"...
Type: MDP
Modules: wire12 node1 wire21 node2
Actions: [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables: w12 y1 y2 x1 s1 w21 z1 z2 x2 s2
Labels: "done"
Rewards: "time"
Parsing properties file "/w0/tmp/slurm_tq429871.4966964/tmp447f0bkhprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props"...
Error: Syntax error ("^", line 2, column 23).
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_firewire.false-36-800_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 0.684 seconds
Return code: 1
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:47:29 GMT+02:00 2026
Hostname: n23m0272.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex /w0/tmp/slurm_tq429871.4963181/tmpvh3qors3prism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4963181/tmpvh3qors3prism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4963181/tmpvh3qors3prism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism"...
Type: MDP
Modules: wire12 node1 wire21 node2
Actions: [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables: w12 y1 y2 x1 s1 w21 z1 z2 x2 s2
Labels: "done"
Rewards: "time"
Parsing properties file "/w0/tmp/slurm_tq429871.4963181/tmpvh3qors3prism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props"...
Error: Syntax error ("^", line 2, column 23).
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_firewire.false-36-800_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 0.898 seconds
Return code: 1
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:38:33 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.4966365/tmpniem658wprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4966365/tmpniem658wprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966365/tmpniem658wprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism"...
Type: MDP
Modules: wire12 node1 wire21 node2
Actions: [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables: w12 y1 y2 x1 s1 w21 z1 z2 x2 s2
Labels: "done"
Rewards: "time"
Parsing properties file "/w0/tmp/slurm_tq429871.4966365/tmpniem658wprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props"...
Error: Syntax error ("^", line 2, column 23).
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_firewire.false-36-800_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 0.611 seconds
Return code: 1
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 09:41:12 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.4966470/tmpcfkdxdpiprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4966470/tmpcfkdxdpiprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4966470/tmpcfkdxdpiprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism"...
Type: MDP
Modules: wire12 node1 wire21 node2
Actions: [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables: w12 y1 y2 x1 s1 w21 z1 z2 x2 s2
Labels: "done"
Rewards: "time"
Parsing properties file "/w0/tmp/slurm_tq429871.4966470/tmpcfkdxdpiprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props"...
Error: Syntax error ("^", line 2, column 23).
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-prism_check_ex_firewire.false-36-800_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex %indir/model.prism %indir/property.props
Wallclock time: 0.623 seconds
Return code: 1
##############################
PRISM
=====
Version: 4.11
Date: Tue Oct 13 07:28:45 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.4962338/tmpclzbcpbrprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism /w0/tmp/slurm_tq429871.4962338/tmpclzbcpbrprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props
Parsing PRISM model file "/w0/tmp/slurm_tq429871.4962338/tmpclzbcpbrprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/model.prism"...
Type: MDP
Modules: wire12 node1 wire21 node2
Actions: [] [snd_req12] [snd_ack12] [snd_idle12] [time] [rec_req12] [rec_ack12] [rec_idle12] [rec_idle21] [rec_req21] [rec_ack21] [snd_req21] [snd_ack21] [snd_idle21]
Variables: w12 y1 y2 x1 s1 w21 z1 z2 x2 s2
Labels: "done"
Rewards: "time"
Parsing properties file "/w0/tmp/slurm_tq429871.4962338/tmpclzbcpbrprism_from-prism_check_ex_firewire.false-36-800_tmp_indir_/property.props"...
Error: Syntax error ("^", line 2, column 23).
##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g