Log files for model egl.10-2 and tool configuration prism_from-tra-xz_import_ex

Parsed values
[ERR, ERR, ERR, ERR, ERR]
Log file: prism_from-tra-xz_import_ex_egl.10-2_rep1.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 0.541 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:50:43 GMT+02:00 2026
Hostname: n23m0135.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4966916/tmp1kn4i5d6prism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz:format=explicit'

Error: File I/O error reading from "/w0/tmp/slurm_tq429871.4966916/tmp1kn4i5d6prism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz".

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_egl.10-2_rep2.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 0.670 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:26:29 GMT+02:00 2026
Hostname: r23m0213.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965787/tmp2zi5w5jmprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz:format=explicit'

Error: File I/O error reading from "/w0/tmp/slurm_tq429871.4965787/tmp2zi5w5jmprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz".

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_egl.10-2_rep3.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 0.569 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:27:00 GMT+02:00 2026
Hostname: n23m0054.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965795/tmpnmi98sbxprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz:format=explicit'

Error: File I/O error reading from "/w0/tmp/slurm_tq429871.4965795/tmpnmi98sbxprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz".

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_egl.10-2_rep4.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 0.570 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:07:07 GMT+02:00 2026
Hostname: n23m0259.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4964799/tmpkmp5a7uwprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz:format=explicit'

Error: File I/O error reading from "/w0/tmp/slurm_tq429871.4964799/tmpkmp5a7uwprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz".

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g
Log file: prism_from-tra-xz_import_ex_egl.10-2_rep5.log
Command(s):
../bin/prism -javamaxmem 32g -buildall -ex -importmodel %indir/prism.model.pexp.xz:format=explicit
Wallclock time: 0.577 seconds
Return code: 1
##############################
PRISM
=====

Version: 4.11
Date: Tue Oct 13 09:19:10 GMT+02:00 2026
Hostname: r23m0197.hpc.itc.rwth-aachen.de
Memory limits: cudd=1g, java(heap)=32g
Command line: prism -javamaxmem 32g -buildall -ex -importmodel '/w0/tmp/slurm_tq429871.4965343/tmpqnozkxxbprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz:format=explicit'

Error: File I/O error reading from "/w0/tmp/slurm_tq429871.4965343/tmpqnozkxxbprism_from-tra-xz_import_ex_egl.10-2_tmp_indir_/prism.model.pexp.xz".

##############################Output to stderr##############################
Picked up JAVA_TOOL_OPTIONS: -Xmx32g