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=DotAndBoxes-COL-3
export BK_EXAMINATION=ReachabilityMix
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1763
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/DotAndBoxes-COL-3
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is DotAndBoxes-COL-3, examination is ReachabilityMix'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of ITS-Tools for DotAndBoxes/3 (Colored)

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

execution on node 37: cluster1u39.lip6.fr (runId=136937310101274_n_37)
=====================================================================
runnning ITS-Tools on DotAndBoxes-COL-3 (ReachabilityMix)
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 DotAndBoxes-COL-3, examination is ReachabilityMix
=====================================================================

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

START 1370195691
/home/mcc/BenchKit/bin/its-reach -i model.sep.flat.gal -t GAL --quiet -reachable-file ReachabilityMix.flat.prop --nowitness
FORMULA p_37_mix_eq_and FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_38_mix_eq_or FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_39_mix_eq_and_notx FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_40_mix_eq_or_notx FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_41_mix_eq_x TRUE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
FORMULA p_42_mix_full_and FALSE TECHNIQUES DECISION_DIAGRAMS STRUCTURAL_REDUCTIONS
STOP 1370195692

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

initial cost 13725
final cost 6066
Chosed[2],Eval1[6],FreePositions[12],OccupiedPositions[2],FreePositions[2],End[0],Chosed[3],Eval1[3],Chosed[20],Eval1[10],Eval1[11],FreePositions[6],Chosed[12],Chosed[10],FreePositions[13],Chosed[21],FreePositions[1],Eval1[12],Eval1[21],Eval1[24],Eval1[7],Chosed[30],Chosed[1],Eval1[14],Eval1[0],End[1],FreePositions[4],FreePositions[11],FreePositions[3],Eval1[1],Chosed[0],Eval1[30],Eval1[29],FreePositions[9],Chosed[6],FreePositions[10],Eval1[28],Chosed[28],Eval1[13],Eval1[4],FreePositions[0],Eval1[25],Chosed[24],Eval1[32],Chosed[11],OccupiedPositions[6],IsWinner[0],Chosed[19],Chosed[4],OccupiedPositions[12],Chosed[13],Chosed[29],Eval1[19],Eval1[22],Eval1[31],OccupiedPositions[11],OccupiedPositions[3],OccupiedPositions[1],IsWinner[1],Chosed[9],Eval1[9],FreePositions[14],Idle[0],OccupiedPositions[10],OccupiedPositions[9],FreePositions[7],OccupiedPositions[0],Eval1[15],OccupiedPositions[13],IsWinner[2],Chosed[22],Chosed[31],Eval1[2],Chosed[27],OccupiedPositions[4],Eval1[27],IsWinner[3],Eval1[18],Chosed[18],Idle[1],Eval1[33],OccupiedPositions[14],Eval1[20],OccupiedPositions[7],Eval1[16],Eval1[5],Chosed[14],Chosed[7],Eval1[34],Eval1[23],Chosed[32],Chosed[25],Chosed[15],FreePositions[15],OccupiedPositions[15],Chosed[5],Chosed[16],Chosed[33],FreePositions[5],OccupiedPositions[5],OccupiedPositions[16],FreePositions[16],Chosed[23],Chosed[17],Chosed[34],Chosed[8],OccupiedPositions[17],FreePositions[17],FreePositions[8],OccupiedPositions[8],Chosed[35],Chosed[26],Score[11],Score[12],Score[10],Score[13],Score[1],Score[2],Score[0],Score[19],Score[3],Score[14],Score[9],Score[4],Score[15],Score[18],Eval1[35],Score[16],Score[17],Score[5],Score[8],Eval1[26],Score[6],Score[7],Eval1[17],Eval1[8],
Read property : p_37_mix_eq_and with value :false
Read property : p_38_mix_eq_or with value :End[0] + End[1] != Idle[0] + Idle[1] || (End[0] >= 1 && IsWinner[1] >= 1 || End[1] >= 1 && IsWinner[3] >= 1)
Read property : p_39_mix_eq_and_notx with value :false
Read property : p_40_mix_eq_or_notx with value :End[0] + End[1] != Idle[0] + Idle[1] || (End[0] >= 1 && IsWinner[1] >= 1 || End[1] >= 1 && IsWinner[3] >= 1)
Read property : p_41_mix_eq_x with value :! (End[0] >= 1 && IsWinner[1] >= 1 || End[1] >= 1 && IsWinner[3] >= 1) || End[0] + End[1] != Idle[0] + Idle[1]
Read property : p_42_mix_full_and with value :false
Read property : p_43_mix_full_or with value :Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[0] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[10] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[0] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[10] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[1] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[11] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[1] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[11] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[2] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[12] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[2] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[12] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[3] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[13] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[3] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[13] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[4] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[14] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[4] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[14] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[5] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[15] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[5] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[15] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[6] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[16] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[6] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[16] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[7] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[17] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[7] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[17] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[8] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[18] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[8] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[18] >= 1 || Eval1[3] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[9] >= 1 || Eval1[21] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[19] >= 1 || Eval1[4] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[9] >= 1 || Eval1[22] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[19] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[0] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[10] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[0] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[10] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[1] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[11] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[1] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[11] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[2] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[12] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[2] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[12] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[3] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[13] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[3] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[13] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[4] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[14] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[4] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[14] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[5] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[15] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[5] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[15] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[6] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[16] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[6] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[16] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[7] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[17] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[7] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[17] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[8] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[18] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[8] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[18] >= 1 || Eval1[12] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[9] >= 1 || Eval1[30] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[19] >= 1 || Eval1[13] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[9] >= 1 || Eval1[31] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[19] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[0] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[10] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[0] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[10] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[1] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[11] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[1] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[11] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[2] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[12] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[2] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[12] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[3] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[13] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[3] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[13] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[4] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[14] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[4] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[14] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[5] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[15] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[5] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[15] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[6] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[16] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[6] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[16] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[7] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[17] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[7] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[17] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[8] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[18] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 &&
Unable to read property (skipping this line): OccupiedPositions[13] >= 1 && Score[8] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[18] >= 1 || Eval1[6] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[9] >= 1 || Eval1[24] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[19] >= 1 || Eval1[7] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[9] >= 1 || Eval1[25] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[19] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[0] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[10] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[0] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[10] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[1] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[11] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[1] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[11] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[2] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[12] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[2] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[12] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[3] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[13] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[3] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[13] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[4] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[14] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[4] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[14] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[5] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[15] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[5] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[15] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[6] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[16] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[6] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[16] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[7] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[17] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[7] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[17] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[8] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[18] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[8] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[18] >= 1 || Eval1[15] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[9] >= 1 || Eval1[33] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[19] >= 1 || Eval1[16] >= 1 && IsWinner[0] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[9] >= 1 || Eval1[34] >= 1 && IsWinner[2] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[19] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[0] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[10] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[0] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[10] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[1] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[11] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[1] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[11] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[2] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[12] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[2] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[12] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[3] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[13] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[3] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[13] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[4] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[14] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[4] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[14] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[5] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[15] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[5] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[15] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[6] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[16] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[6] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[16] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[7] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[17] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[7] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[17] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[8] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[18] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[8] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[18] >= 1 || Eval1[3] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[9] >= 1 || Eval1[21] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[19] >= 1 || Eval1[4] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[9] >= 1 || Eval1[22] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[19] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[0] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[10] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[0] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[10] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[1] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[11] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[1] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[11] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[2] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[12] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[2] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[12] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[3] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[13] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[3] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[13] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[4] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[14] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[4] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[14] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[5] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[15] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[5] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[15] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[6] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[16] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[6] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[16] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[7] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 &&
Unable to read property (skipping this line): OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[17] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[7] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[17] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[8] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[18] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[8] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[18] >= 1 || Eval1[12] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[9] >= 1 || Eval1[30] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[10] >= 1 && OccupiedPositions[0] >= 1 && OccupiedPositions[9] >= 1 && Score[19] >= 1 || Eval1[13] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[9] >= 1 || Eval1[31] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[11] >= 1 && OccupiedPositions[1] >= 1 && OccupiedPositions[10] >= 1 && Score[19] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[0] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[10] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[0] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[10] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[1] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[11] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[1] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[11] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[2] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[12] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[2] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[12] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[3] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[13] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[3] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[13] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[4] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[14] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[4] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[14] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[5] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[15] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[5] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[15] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[6] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[16] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[6] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[16] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[7] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[17] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[7] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[17] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[8] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[18] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[8] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[18] >= 1 || Eval1[6] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[9] >= 1 || Eval1[24] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[19] >= 1 || Eval1[7] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[9] >= 1 || Eval1[25] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[19] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[0] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[10] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[0] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[10] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[1] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[11] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[1] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[11] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[2] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[12] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[2] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[12] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[3] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[13] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[3] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[13] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[4] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[14] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[4] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[14] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[5] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[15] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[5] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[15] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[6] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[16] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[6] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[16] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[7] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[17] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[7] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[17] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[8] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[18] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[8] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[18] >= 1 || Eval1[15] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[9] >= 1 || Eval1[33] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[13] >= 1 && OccupiedPositions[3] >= 1 && OccupiedPositions[12] >= 1 && Score[19] >= 1 || Eval1[16] >= 1 && IsWinner[1] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[9] >= 1 || Eval1[34] >= 1 && IsWinner[3] >= 1 && OccupiedPositions[14] >= 1 && OccupiedPositions[4] >= 1 && OccupiedPositions[13] >= 1 && Score[19] >= 1 || Idle[0] + Idle[1] > End[0] + End[1]
Read property : p_44_mix_full_and_notx with value :false
-end of input-(1) : error 3 : , at offset 0, at : cannot match to any predicted input...
The parser returned 1 errors, parsing aborted

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