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=PhilosophersDyn-PT-03
export BK_EXAMINATION=CTLMix
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1664
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/PhilosophersDyn-PT-03
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is PhilosophersDyn-PT-03, examination is CTLMix'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of marcie for PhilosophersDyn/03 (P/T)

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

execution on node 33: cluster1u35.lip6.fr (runId=136972135900910_n_33)
=====================================================================
runnning marcie on PhilosophersDyn-PT-03 (CTLMix)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool marcie:
Test is PhilosophersDyn-PT-03, examination is CTLMix
=====================================================================

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

START 1369746284

Marcie rev. 1103M (build: rohrch on 2013-02-17)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mem=4 --mcc-file=CTLMix.txt

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 60 NrTr: 330)

net check time: 0m0sec

parse mcc successfull!

place and transition orderings generation:0m0sec

init dd package: 0m1sec


RS generation: 0m1sec


-> reachability set: #nodes 23114 (2.3e+04) #states 7,251 (3)



starting CTL model checker
--------------------------

checking: EG [[ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) & [HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]]]
normalized: EG [[ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) & [HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]]]

.
EG iterations: 1
-> the formula is FALSE

FORMULA p_1876_mix_eq_and FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec

checking: EG [[[HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]] | ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) ]]
normalized: EG [[ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) | [HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]]]

.
EG iterations: 1
-> the formula is FALSE

FORMULA p_1877_mix_eq_or FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec

checking: EG [[ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) & [HasRight_3=Think_3 & [HasRight_1=Think_1 & [true & HasRight_2=Think_2]]]]]
normalized: EG [[ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) & [HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]]]

.
EG iterations: 1
-> the formula is FALSE

FORMULA p_1878_mix_eq_and_notx FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec

checking: EG [[ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) | [HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]]]
normalized: EG [[ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) | [HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]]]

.
EG iterations: 1
-> the formula is FALSE

FORMULA p_1879_mix_eq_or_notx FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec

checking: AF [EF [[AF [ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) ] xor [HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]]]]
normalized: ~ [EG [~ [E [true U [[~ [[HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]]] & ~ [EG [~ [ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) ]]]] | [[HasRight_3=Think_3 & [HasRight_1=Think_1 & [HasRight_2=Think_2 & true]]] & EG [~ [ ( ( WaitRight_1 + WaitRight_3 ) + WaitRight_2 ) != ( ( HasRight_2 + HasRight_1 ) + HasRight_3 ) ]]]]]]]]


EG iterations: 0

EG iterations: 0

EG iterations: 0
-> the formula is FALSE

FORMULA p_1880_mix_eq_x FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec

checking: AG [[[[Outside_3<=Think_3 & [Outside_2<=Think_2 & [Outside_1<=Think_1 & true]]] & true] & [["Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) | ["Neighbourhood_4_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [2, oo) | ["Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | [["Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) | [[["Neighbourhood_3_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) | ["Forks_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | ["Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) | [[[["Neighbourhood_1_1" \in [1, oo) && "Forks_1" \in [2, oo) && "Outside_2" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | ["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | [["Outside_5" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | [[[[["Neighbourhood_4_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | [["Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) | ["Neighbourhood_2_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_5" \in [1, oo) | ["Neighbourhood_2_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [2, oo) | ["Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_4" \in [1, oo) | [["Neighbourhood_3_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) | ["Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_2" \in [1, oo) | ["Neighbourhood_1_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) | [[[[[["Neighbourhood_2_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) | ["Neighbourhood_1_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_5" \in [1, oo) | [["Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) | [[["Neighbourhood_4_4" \in [1, oo) && "Forks_4" \in [2, oo) && "Outside_3" \in [1, oo) | ["Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_4" \in [1, oo) | ["Neighbourhood_5_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) | [["Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) | ["Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | ["Neighbourhood_4_4" \in [1, oo) && "Forks_4" \in [2, oo) && "Outside_1" \in [1, oo) | [[[["Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) | [[[[["Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) | ["Neighbourhood_2_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [2, oo) | ["Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [1, oo) | ["Forks_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) | [["Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Neighbourhood_4_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_5" \in [1, oo) | ["Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) | [[["Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) | ["Neighbourhood_3_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [1, oo) | [[[[["Outside_3" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | ["Neighbourhood_2_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) | [["Outside_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo) | [[["Neighbourhood_1_1" \in [1, oo) && "Forks_1" \in [2, oo) && "Outside_4" \in [1, oo) | [["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) | ["Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) | [[[[[["Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | [["Neighbourhood_3_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) | [[["Neighbourhood_1_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [2, oo) | ["Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | [["Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) | ["Neighbourhood_5_5" \in [1, oo) && "Forks_5" \in [2, oo) && "Outside_2" \in [1, oo) | ["Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) | ["Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) | ["Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) | ["Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_3" \in [1, oo) | ["Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) | "Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo)]]]]]]]]]]] | "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)]]]] | "Neighbourhood_1_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo)] | "Neighbourhood_1_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo)]]] | "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo)]] | "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo)] | "Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo)] | "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo)] | "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo)]]]]]] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_5" \in [1, oo)]] | "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo)]]]] | "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) && "Outside_5" \in [1, oo)]]] | "Outside_4" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo)] | "Neighbourhood_4_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)] | "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) && "Outside_5" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)] | "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) && "Outside_5" \in [1, oo)]]]]] | "Forks_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo)]]]]] | "Neighbourhood_5_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo)] | "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) && "Outside_5" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo)]] | "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo)] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo)]]]] | "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) && "Outside_5" \in [1, oo)]]]] | "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo)] | "Neighbourhood_1_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_5" \in [1, oo)]]]] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_5" \in [1, oo)]]]] | "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo)] | "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) && "Outside_5" \in [1, oo)] | "Outside_1" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)]]]]] | "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo)]]]]] | "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo)]]] | "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo)] | "Outside_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo)] | "Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo)]] | "Forks_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)]]]]] | "Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [2, oo)] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)]]]] | "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo)]]] | "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo)]]]] | "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo)]]]
normalized: ~ [E [true U ~ [[["Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) | [[[["Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) | [[["Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | ["Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) | [[[["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_5" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) | [[[[["Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo) | [["Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) | ["Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) && "Outside_5" \in [1, oo) | ["Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo) | [[["Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | [[[[["Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) | [[[[["Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) | [[[["Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_5" \in [1, oo) | [[[["Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) && "Outside_5" \in [1, oo) | ["Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | [[[["Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) && "Outside_5" \in [1, oo) | [[[["Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | [["Outside_3" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) | ["Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | ["Neighbourhood_5_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) | [[[[["Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_4" \in [1, oo) | [[[[["Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) && "Outside_5" \in [1, oo) | [[[[[[[[[[[["Outside_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo) && "Outside_5" \in [1, oo) | [[[[["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | [["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) | [[["Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | ["Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) | ["Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) | ["Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_3" \in [1, oo) | ["Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) | [["Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) | [[["Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) | ["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) | [[[["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) | [[[[[[[[[[["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_3" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo)] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo)] | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo)] | "Neighbourhood_5_5" \in [1, oo) && "Forks_5" \in [2, oo) && "Outside_2" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo)]] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_1_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [2, oo)]]] | "Outside_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)]] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)]]]]]] | "Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)] | "Outside_5" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo)]] | "Outside_1" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)]] | "Outside_5" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo)] | "Forks_1" \in [2, oo) && "Outside_4" \in [1, oo) && "Neighbourhood_1_1" \in [1, oo)] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [2, oo)]]] | "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)] | "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [2, oo)] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [2, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_3" \in [1, oo)] | "Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)]] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo)]] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_3" \in [1, oo)] | "Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [2, oo)] | "Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)]]]]] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)]]]] | "Neighbourhood_4_4" \in [1, oo) && "Forks_4" \in [2, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo)] | "Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)]] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_4" \in [1, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Forks_4" \in [2, oo) && "Outside_3" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo)] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo)]] | "Outside_5" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo)] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo)]]]]]] | "Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_2" \in [1, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)]] | "Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_4" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [2, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)]] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo)] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)]]]]] | "Outside_5" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)]] | "Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_1_1" \in [1, oo) && "Forks_1" \in [2, oo) && "Outside_2" \in [1, oo)]]]] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo)] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)]] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [2, oo)] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)]] & [true & [Outside_3<=Think_3 & [Outside_2<=Think_2 & [Outside_1<=Think_1 & true]]]]]]]]

-> the formula is FALSE

FORMULA p_1881_mix_full_and FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec

checking: EG [[[[[[["Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) | ["Neighbourhood_5_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) | ["Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) && "Outside_5" \in [1, oo) | [[[[[["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_5" \in [1, oo) | ["Neighbourhood_4_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [2, oo) | [[["Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | [[[[["Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) | ["Neighbourhood_1_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) | ["Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) && "Outside_5" \in [1, oo) | [[["Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) | ["Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) | [["Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | [[[[[["Outside_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) | [["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) | [[[["Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) && "Outside_5" \in [1, oo) | ["Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) | [[[["Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo) | ["Neighbourhood_3_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [2, oo) | ["Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) | [[[["Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | ["Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | [["Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) | ["Neighbourhood_1_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_1" \in [2, oo) | ["Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) && "Outside_5" \in [1, oo) | ["Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | ["Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) | ["Neighbourhood_4_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) | [[[["Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | [["Outside_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | [["Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) && "Outside_5" \in [1, oo) | ["Neighbourhood_1_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) | [[["Outside_4" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | ["Neighbourhood_4_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) | [[[[["Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_5" \in [1, oo) | [["Outside_5" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo) | ["Forks_2" \in [2, oo) && "Outside_3" \in [1, oo) && "Neighbourhood_2_2" \in [1, oo) | ["Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) | [[["Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | ["Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) | [[[["Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | [["Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) | ["Neighbourhood_4_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) | ["Neighbourhood_3_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) | [["Outside_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo) | [["Outside_1" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) | [[[[[["Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Neighbourhood_3_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | "Neighbourhood_1_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [1, oo)]]]]]]] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo)] | "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo)] | "Forks_5" \in [2, oo) && "Outside_2" \in [1, oo) && "Neighbourhood_5_5" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)]]]] | "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo)]]] | "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo)]]]] | "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_5" \in [1, oo)]]] | "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo)] | "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo)] | "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) && "Outside_5" \in [1, oo)]]]] | "Outside_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo)]]]] | "Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_3" \in [1, oo)]] | "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) && "Outside_5" \in [1, oo)] | "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [2, oo)]]] | "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) && "Outside_5" \in [1, oo)] | "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo)]]] | "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo)]] | "Neighbourhood_2_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo)]]]]]]]] | "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo)]]] | "Outside_1" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo)] | "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo)]]]]]] | "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) && "Outside_5" \in [1, oo)] | "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) && "Outside_5" \in [1, oo)] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_5" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo)]] | "Neighbourhood_1_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo)]] | "Forks_3" \in [2, oo) && "Outside_1" \in [1, oo) && "Neighbourhood_3_3" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)] | "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo)] | "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo)]]] | "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo)]]]]]] | "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo)]]]] | "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) && "Outside_5" \in [1, oo)] | "Neighbourhood_1_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo)]] | "Outside_2" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo)] | "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo)]]] | "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo)] | "Neighbourhood_3_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo)]]]] | "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [2, oo)] | "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo)] | "Neighbourhood_4_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)] | [true & [Outside_3<=Think_3 & [[Outside_1<=Think_1 & true] & Outside_2<=Think_2]]]]]
normalized: EG [[[true & [Outside_3<=Think_3 & [Outside_2<=Think_2 & [Outside_1<=Think_1 & true]]]] | ["Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_4_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [2, oo) | ["Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | [[[["Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) | ["Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) | ["Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) | [[["Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_1_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_1" \in [2, oo) | [["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | [[[["Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) | ["Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | [[[[[["Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | [[["Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) | ["Neighbourhood_3_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [2, oo) | ["Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) | ["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) | ["Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_1" \in [1, oo) | [["Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) | [["Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) | ["Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) | [[["Outside_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_4" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) | [[[[[["Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | ["Neighbourhood_4_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [2, oo) | [[["Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) | [[[[[[[["Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [1, oo) | ["Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) | ["Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | [["Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | [[["Outside_5" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) | [[["Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) | [[["Neighbourhood_2_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [2, oo) | ["Neighbourhood_5_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [2, oo) | ["Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) | [["Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_3" \in [1, oo) | [[[["Neighbourhood_1_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_1" \in [2, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) | [[[["Outside_5" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) | ["Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) | ["Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | [[["Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | [[[["Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) | [[["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) | [[[["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) | ["Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | ["Neighbourhood_5_5" \in [1, oo) && "Forks_5" \in [2, oo) && "Outside_2" \in [1, oo) | ["Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) | [[[[[[["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_3" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)]]]]]] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_1_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [2, oo)]] | "Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo)]] | "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)]] | "Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)]]]] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_5_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [2, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)]]] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Forks_2" \in [2, oo) && "Outside_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo)]] | "Outside_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo)]]]]] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [2, oo)]]] | "Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)]] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo)]] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo)]]]] | "Neighbourhood_2_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [2, oo)] | "Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo)] | "Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo)] | "Neighbourhood_1_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_1" \in [2, oo)] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo)]] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)]]]] | "Outside_5" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo)] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [2, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [2, oo)] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)]]]] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo)]]]] | "Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)]] | "Outside_5" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo)]]]]]] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)]] | "Neighbourhood_2_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [2, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo)]]]]] | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)]]] | "Neighbourhood_4_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [2, oo)] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)]]]]]] | "Outside_5" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo)] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)]]]]]]]

......
EG iterations: 6
-> the formula is FALSE

FORMULA p_1882_mix_full_or FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec

checking: EG [[[[["Outside_4" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo) | [[["Neighbourhood_5_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) | [["Neighbourhood_5_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) | ["Neighbourhood_4_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) | ["Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) | ["Forks_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_5" \in [1, oo) | ["Forks_4" \in [2, oo) && "Outside_2" \in [1, oo) && "Neighbourhood_4_4" \in [1, oo) | ["Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) | [[["Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo) | ["Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) && "Outside_5" \in [1, oo) | [[[[[["Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Forks_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | ["Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) | ["Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) | ["Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) | ["Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo) | ["Neighbourhood_1_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_1" \in [1, oo) | ["Forks_3" \in [2, oo) && "Outside_1" \in [1, oo) && "Neighbourhood_3_3" \in [1, oo) | [["Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) | [[[["Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo) && "Outside_5" \in [1, oo) | ["Forks_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) && "Outside_5" \in [1, oo) | [["Outside_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) | ["Neighbourhood_3_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_5" \in [1, oo) | ["Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | ["Neighbourhood_4_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [2, oo) | ["Outside_4" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) | ["Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) && "Outside_5" \in [1, oo) | ["Neighbourhood_2_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) | ["Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | ["Neighbourhood_4_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [2, oo) | ["Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) | ["Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | ["Neighbourhood_4_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_1" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) | ["Neighbourhood_5_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) | ["Forks_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) | ["Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) | ["Neighbourhood_2_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) && "Outside_5" \in [1, oo) | ["Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) | ["Neighbourhood_4_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_5" \in [1, oo) | ["Neighbourhood_1_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) | ["Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | ["Forks_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_5" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo) | ["Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) | ["Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_2" \in [2, oo) && "Neighbourhood_2_2" \in [1, oo) | ["Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) | ["Outside_4" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) | ["Outside_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) | [[["Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) | ["Neighbourhood_2_2" \in [1, oo) && "Forks_2" \in [2, oo) && "Outside_5" \in [1, oo) | [["Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) | [["Outside_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) | [[[[[["Neighbourhood_5_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_5" \in [1, oo) | ["Outside_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo) | [["Outside_1" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo) | [["Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) | [[[["Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | ["Neighbourhood_2_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) | [["Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) && "Outside_5" \in [1, oo) | [[["Outside_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) | ["Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) | ["Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) | "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)]]] | "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) && "Outside_5" \in [1, oo)] | "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) && "Outside_5" \in [1, oo)]] | "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo)]]] | "Outside_2" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo)]] | "Neighbourhood_5_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo)]] | "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo)]]] | "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo)] | "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo)] | "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo)] | "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_5" \in [1, oo)]] | "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo)]] | "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo)]]] | "Outside_1" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)] | "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo)]]] | "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo)] | "Neighbourhood_2_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo)]] | "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) && "Outside_5" \in [1, oo)]]]]]]]]]]]]]] | "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_1" \in [1, oo)] | "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) && "Outside_5" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo)] | "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo)]]]]] | "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo)]]]]]]]]] | "Outside_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo)]] | "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo)] | "Neighbourhood_5_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo)]] | "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo)] | "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo)] & ~ [[true & [Outside_3<=Think_3 & [[true & Outside_1<=Think_1] & Outside_2<=Think_2]]]]]]
normalized: EG [[~ [[[Outside_3<=Think_3 & [Outside_2<=Think_2 & [Outside_1<=Think_1 & true]]] & true]] & ["Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | [["Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) | [["Outside_5" \in [1, oo) && "Neighbourhood_2_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo) | [[[[[[[[["Neighbourhood_1_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_1" \in [2, oo) | ["Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo) | [[[[["Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo) | ["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_1_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_1" \in [1, oo) | ["Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo) | ["Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | [[[[[[[[[[[[[["Outside_5" \in [1, oo) && "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) | [["Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) | ["Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) | [[["Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[["Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_5_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [2, oo) | [[["Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo) | [["Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) | [["Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo) | ["Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo) | ["Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo) | ["Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | [[["Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo) | [["Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) | [["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [1, oo) | ["Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | ["Neighbourhood_5_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [2, oo) | [[["Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo) | [["Outside_5" \in [1, oo) && "Forks_3" \in [2, oo) && "Neighbourhood_3_3" \in [1, oo) | ["Outside_5" \in [1, oo) && "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) | [[["Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo) | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Neighbourhood_2_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_2" \in [1, oo)]] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo)] | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)]]]] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)]] | "Neighbourhood_1_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_1" \in [2, oo)]] | "Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_5_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo)]]]]]] | "Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [1, oo)]] | "Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)]] | "Outside_5" \in [1, oo) && "Neighbourhood_2_2" \in [1, oo) && "Forks_2" \in [2, oo)] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)]]] | "Outside_5" \in [1, oo) && "Neighbourhood_3_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo)] | "Neighbourhood_1_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_1" \in [2, oo)] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [2, oo)] | "Outside_5" \in [1, oo) && "Forks_4" \in [2, oo) && "Neighbourhood_4_4" \in [1, oo)] | "Neighbourhood_3_3" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [2, oo)] | "Outside_5" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_2_4" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_5_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_5" \in [2, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [2, oo)] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_4" \in [1, oo)] | "Neighbourhood_5_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [2, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_5_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_4_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_2" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_4_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_2" \in [2, oo)] | "Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_5_1" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_1" \in [1, oo)] | "Neighbourhood_1_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_1" \in [2, oo)] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_2" \in [1, oo)] | "Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [2, oo)] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Outside_5" \in [1, oo) && "Forks_1" \in [2, oo) && "Neighbourhood_1_1" \in [1, oo)] | "Neighbourhood_5_3" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_3" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_3" \in [2, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [2, oo)] | "Neighbourhood_2_3" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_1_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_1" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_3_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_5" \in [1, oo)] | "Outside_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Forks_4" \in [1, oo)]] | "Outside_5" \in [1, oo) && "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_4" \in [1, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_1_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_1" \in [1, oo)]]]] | "Neighbourhood_1_3" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_3" \in [1, oo)]] | "Neighbourhood_3_3" \in [1, oo) && "Forks_3" \in [2, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo)] | "Forks_1" \in [1, oo) && "Neighbourhood_1_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_3_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_3" \in [2, oo)] | "Neighbourhood_3_4" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_3" \in [1, oo)] | "Neighbourhood_3_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_4" \in [1, oo)] | "Neighbourhood_4_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_2_2" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [2, oo)] | "Outside_5" \in [1, oo) && "Neighbourhood_2_5" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_5" \in [1, oo)] | "Neighbourhood_2_5" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_3_2" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_3" \in [1, oo)] | "Neighbourhood_5_2" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo)]]]]]] | "Outside_5" \in [1, oo) && "Forks_5" \in [2, oo) && "Neighbourhood_5_5" \in [1, oo)] | "Neighbourhood_1_2" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_3" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_1_4" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [1, oo)]]] | "Neighbourhood_2_4" \in [1, oo) && "Forks_2" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_4_4" \in [1, oo) && "Forks_4" \in [2, oo) && "Outside_2" \in [1, oo)] | "Forks_5" \in [1, oo) && "Neighbourhood_4_5" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_2_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_2" \in [1, oo)] | "Neighbourhood_4_3" \in [1, oo) && "Forks_3" \in [1, oo) && "Forks_4" \in [1, oo) && "Outside_3" \in [1, oo)] | "Neighbourhood_3_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Forks_3" \in [1, oo) && "Outside_1" \in [1, oo)] | "Neighbourhood_4_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_1" \in [1, oo) && "Forks_4" \in [1, oo)] | "Neighbourhood_5_1" \in [1, oo) && "Forks_1" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_5" \in [1, oo)]] | "Neighbourhood_5_4" \in [1, oo) && "Forks_5" \in [1, oo) && "Outside_2" \in [1, oo) && "Forks_4" \in [1, oo)]]] | "Neighbourhood_4_4" \in [1, oo) && "Outside_4" \in [1, oo) && "Forks_4" \in [2, oo)]]]]]

......
EG iterations: 6
-> the formula is FALSE

FORMULA p_1883_mix_full_and_notx FALSE TECHNIQUES DECISION_DIAGRAMS

mc time: 0m0sec


total processing time: 0m6sec

STOP 1369746290

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

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m0sec

801 1739 2418 2739 3364 3400 3606 3925 5280 5869 6115 7039 7041 7557 7437 7608 7780 9487 10273 10897 11437 11547 11827 12964 13629 14319 15130 15596 15681 16132 16917 17264 17488 18076 18210 18569 19406 19697 20239 20426 20980 21737 21996 22251 22488 22629 22954 23217 23114
iterations count:49042 (148), effective:545 (1)

initing FirstDep: 0m0sec


iterations count:330 (1), effective:0 (0)

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