Introduction

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

export BK_INPUT=GlobalRessAlloc-COL-03
export BK_EXAMINATION=ReachabilityFireability
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1751
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/GlobalRessAlloc-COL-03
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is GlobalRessAlloc-COL-03, examination is ReachabilityFireability'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of ITS-Tools for GlobalRessAlloc/03 (Colored)

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

execution on node 4: quadhexa-2.u-paris10.fr (runId=136952152000172_n_4)
=====================================================================
runnning ITS-Tools on GlobalRessAlloc-COL-03 (ReachabilityFireability)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool ITS-Tools:
Test is GlobalRessAlloc-COL-03, examination is ReachabilityFireability
=====================================================================

--------------------
content from stdout:

START 1370126879
/home/mcc/BenchKit/bin/its-reach -i model.sep.flat.gal -t GAL --quiet -reachable-file ReachabilityFireability.flat.prop --nowitness
FORMULA p_2_fireability_and FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_3_fireability_or FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_4_fireability_and_notx FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_5_fireability_or_notx FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
STOP 1370126879

--------------------
content from stderr:

initial cost 436
final cost 81
Processes[0],pr_in[0],pr_released[0],in_critical_s[0],in_critical_s[12],Resources[0],in_critical_s[6],Processes[1],pr_in[1],pr_released[1],in_critical_s[1],in_critical_s[13],Resources[1],in_critical_s[7],Processes[2],pr_in[2],pr_released[2],in_critical_s[2],in_critical_s[14],Resources[2],in_critical_s[8],in_critical_s[10],Resources[4],in_critical_s[4],in_critical_s[16],in_critical_s[3],in_critical_s[15],Resources[3],in_critical_s[9],in_critical_s[11],Resources[5],in_critical_s[5],in_critical_s[17],
Read property : p_2_fireability_and with value :(Processes[0] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[5] >= 1) && (Processes[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1)
Read property : p_3_fireability_or with value :Processes[0] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || (Processes[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1)
Read property : p_4_fireability_and_notx with value :(Processes[0] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[5] >= 1) && (Processes[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1)
Read property : p_5_fireability_or_notx with value :Processes[0] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || (Processes[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1)
Read property : p_6_fireability_x with value :! (Processes[0] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1 && Resources[5] >= 1) && (Processes[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[5] >= 1) || (Processes[0] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[0] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[3] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[4] >= 1 || Processes[0] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[1] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[2] >= 1 && Resources[1] >= 1 && Resources[5] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[0] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[1] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[1] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[2] >= 1 && Resources[2] >= 1 && Resources[2] >= 1 || Processes[0] >= 1 && Resources[2] >= 1 && Resources[3] >= 1 || Processes[1] >= 1 && Resources[2] >
predicate(1) : error 3 : , at offset 10485
near [Index: 5496 (Start: 156189394-Stop: 156189402) ='Resources', type<4> Line: 1 LinePos:10485]
: cannot match to any predicted input...
The parser returned 1 errors, parsing aborted

--------------------
content from /tmp/BenchKit_head_log_file.1751: