Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r289-tall-167873940200326.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marcie
Input is PhilosophersDyn-PT-10, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r289-tall-167873940200326
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 39K Feb 26 12:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 195K Feb 26 12:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 288K Feb 26 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Feb 26 12:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 138K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 537K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 89K Feb 26 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 443K Feb 26 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.3M Feb 26 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 6.5M Feb 26 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.8M Mar 5 18:23 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-00
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-01
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-02
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-03
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-04
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-05
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-06
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-07
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-08
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-09
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-10
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-11
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-12
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-13
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-14
FORMULA_NAME PhilosophersDyn-PT-10-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1678767728811

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marcie
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PhilosophersDyn-PT-10
Not applying reductions.
Model is PT
ReachabilityCardinality PT
timeout --kill-after=10s --signal=SIGINT 1m for testing only

Marcie built on Linux at 2019-11-18.
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: /home/mcc/BenchKit/bin//../marcie/bin/marcie --net-file=model.pnml --mcc-file=ReachabilityCardinality.xml --memory=6 --mcc-mode

parse successfull
net created successfully

Net: PhilosophersDyn_PT_10
(NrP: 170 NrTr: 2310 NrArc: 18190)

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.095sec

net check time: 0m 0.002sec

init dd package: 0m 2.781sec


RS generation: 10m19.129sec


-> reachability set: #nodes 1086823 (1.1e+06) #states 199,051 (5)



starting MCC model checker
--------------------------

checking: AG [WaitLeft_9<=1]
normalized: ~ [E [true U ~ [WaitLeft_9<=1]]]

abstracting: (WaitLeft_9<=1)
states: 199,051 (5)
-> the formula is TRUE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-09 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.732sec

checking: EF [~ [[~ [HasRight_8<=Neighbourhood_9_2] | HasRight_6<=1]]]
normalized: E [true U ~ [[HasRight_6<=1 | ~ [HasRight_8<=Neighbourhood_9_2]]]]

abstracting: (HasRight_8<=Neighbourhood_9_2)
states: 189,585 (5)
abstracting: (HasRight_6<=1)
states: 199,051 (5)
-> the formula is FALSE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-08 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 1.687sec

checking: EF [~ [[~ [1<=Outside_8] | [[Neighbourhood_2_7<=HasRight_5 | [~ [1<=WaitLeft_4] & ~ [[~ [Forks_6<=Neighbourhood_1_10] & [~ [Neighbourhood_10_9<=Neighbourhood_5_4] & ~ [Neighbourhood_1_8<=Outside_5]]]]]] | Forks_3<=1]]]]
normalized: E [true U ~ [[[Forks_3<=1 | [Neighbourhood_2_7<=HasRight_5 | [~ [[[~ [Neighbourhood_1_8<=Outside_5] & ~ [Neighbourhood_10_9<=Neighbourhood_5_4]] & ~ [Forks_6<=Neighbourhood_1_10]]] & ~ [1<=WaitLeft_4]]]] | ~ [1<=Outside_8]]]]

abstracting: (1<=Outside_8)
states: 123,391 (5)
abstracting: (1<=WaitLeft_4)
states: 37,677 (4)
abstracting: (Forks_6<=Neighbourhood_1_10)
states: 180,421 (5)
abstracting: (Neighbourhood_10_9<=Neighbourhood_5_4)
states: 190,773 (5)
abstracting: (Neighbourhood_1_8<=Outside_5)
states: 197,109 (5)
abstracting: (Neighbourhood_2_7<=HasRight_5)
states: 190,891 (5)
abstracting: (Forks_3<=1)
states: 199,051 (5)
-> the formula is FALSE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-12 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 3.159sec

checking: AG [[[~ [1<=Neighbourhood_10_6] | [[[[~ [1<=Neighbourhood_6_3] | [[[1<=Neighbourhood_4_6 & Neighbourhood_5_10<=1] & [Neighbourhood_1_1<=WaitRight_7 & 1<=Neighbourhood_5_4]] & ~ [WaitLeft_3<=1]]] | [[1<=WaitRight_6 & 1<=Neighbourhood_4_8] | 1<=Neighbourhood_2_2]] & [Neighbourhood_9_10<=1 & [~ [[[Outside_9<=1 | 1<=Neighbourhood_7_3] | 1<=Neighbourhood_7_6]] | Neighbourhood_9_3<=0]]] & Forks_8<=1]] | HasLeft_3<=0]]
normalized: ~ [E [true U ~ [[HasLeft_3<=0 | [[Forks_8<=1 & [[Neighbourhood_9_10<=1 & [Neighbourhood_9_3<=0 | ~ [[1<=Neighbourhood_7_6 | [Outside_9<=1 | 1<=Neighbourhood_7_3]]]]] & [[1<=Neighbourhood_2_2 | [1<=WaitRight_6 & 1<=Neighbourhood_4_8]] | [[~ [WaitLeft_3<=1] & [[Neighbourhood_1_1<=WaitRight_7 & 1<=Neighbourhood_5_4] & [1<=Neighbourhood_4_6 & Neighbourhood_5_10<=1]]] | ~ [1<=Neighbourhood_6_3]]]]] | ~ [1<=Neighbourhood_10_6]]]]]]

abstracting: (1<=Neighbourhood_10_6)
states: 8,406 (3)
abstracting: (1<=Neighbourhood_6_3)
states: 8,406 (3)
abstracting: (Neighbourhood_5_10<=1)
states: 199,051 (5)
abstracting: (1<=Neighbourhood_4_6)
states: 8,406 (3)
abstracting: (1<=Neighbourhood_5_4)
states: 8,406 (3)
abstracting: (Neighbourhood_1_1<=WaitRight_7)
states: 199,045 (5)
abstracting: (WaitLeft_3<=1)
states: 199,051 (5)
abstracting: (1<=Neighbourhood_4_8)
states: 8,406 (3)
abstracting: (1<=WaitRight_6)
states: 37,677 (4)
abstracting: (1<=Neighbourhood_2_2)
states: 6
abstracting: (1<=Neighbourhood_7_3)
states: 8,406 (3)
abstracting: (Outside_9<=1)
states: 199,051 (5)
abstracting: (1<=Neighbourhood_7_6)
states: 8,406 (3)
abstracting: (Neighbourhood_9_3<=0)
states: 190,645 (5)
abstracting: (Neighbourhood_9_10<=1)
states: 199,051 (5)
abstracting: (Forks_8<=1)
states: 199,051 (5)
abstracting: (HasLeft_3<=0)
states: 189,339 (5)
-> the formula is FALSE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-10 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 9.867sec

checking: AG [[Neighbourhood_3_4<=0 | [~ [[[[[[~ [Neighbourhood_7_10<=0] | [WaitLeft_2<=0 & 1<=Neighbourhood_10_2]] | ~ [[Neighbourhood_6_4<=0 | 1<=Neighbourhood_5_6]]] & Forks_2<=WaitLeft_9] | ~ [[[Neighbourhood_1_2<=Forks_5 | [Neighbourhood_9_8<=0 | Neighbourhood_5_3<=Neighbourhood_9_2]] | [Think_6<=Neighbourhood_3_5 | [Neighbourhood_1_6<=1 & Neighbourhood_9_3<=0]]]]] & HasLeft_3<=1]] | ~ [Neighbourhood_1_9<=0]]]]
normalized: ~ [E [true U ~ [[Neighbourhood_3_4<=0 | [~ [Neighbourhood_1_9<=0] | ~ [[HasLeft_3<=1 & [~ [[[Think_6<=Neighbourhood_3_5 | [Neighbourhood_1_6<=1 & Neighbourhood_9_3<=0]] | [Neighbourhood_1_2<=Forks_5 | [Neighbourhood_9_8<=0 | Neighbourhood_5_3<=Neighbourhood_9_2]]]] | [Forks_2<=WaitLeft_9 & [~ [[Neighbourhood_6_4<=0 | 1<=Neighbourhood_5_6]] | [[WaitLeft_2<=0 & 1<=Neighbourhood_10_2] | ~ [Neighbourhood_7_10<=0]]]]]]]]]]]]

abstracting: (Neighbourhood_7_10<=0)
states: 190,645 (5)
abstracting: (1<=Neighbourhood_10_2)
states: 8,406 (3)
abstracting: (WaitLeft_2<=0)
states: 161,374 (5)
abstracting: (1<=Neighbourhood_5_6)
states: 8,406 (3)
abstracting: (Neighbourhood_6_4<=0)
states: 190,645 (5)
abstracting: (Forks_2<=WaitLeft_9)
states: 182,930 (5)
abstracting: (Neighbourhood_5_3<=Neighbourhood_9_2)
states: 190,773 (5)
abstracting: (Neighbourhood_9_8<=0)
states: 190,645 (5)
abstracting: (Neighbourhood_1_2<=Forks_5)
states: 191,133 (5)
abstracting: (Neighbourhood_9_3<=0)
states: 190,645 (5)
abstracting: (Neighbourhood_1_6<=1)
states: 199,051 (5)
abstracting: (Think_6<=Neighbourhood_3_5)
states: 171,507 (5)
abstracting: (HasLeft_3<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_1_9<=0)
states: 190,645 (5)
abstracting: (Neighbourhood_3_4<=0)
states: 190,645 (5)
-> the formula is FALSE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-15 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 7.711sec

checking: AG [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=27 | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=21]]
normalized: ~ [E [true U ~ [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=27 | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=21]]]]

abstracting: (sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=21)
states: 199,051 (5)
abstracting: (sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=27)
states: 199,051 (5)
-> the formula is TRUE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-02 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 1.463sec

checking: AG [sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]
normalized: ~ [E [true U ~ [sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]]]

abstracting: (sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10))
states: 199,051 (5)
-> the formula is TRUE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-03 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.000sec

checking: AG [[[Neighbourhood_3_5<=1 | [[~ [Neighbourhood_6_10<=Think_7] | ~ [WaitLeft_1<=1]] & [[[Neighbourhood_7_1<=1 | [[Think_7<=1 | [1<=Neighbourhood_5_5 | 1<=WaitRight_6]] | 1<=Neighbourhood_1_5]] | [[[1<=WaitLeft_2 & ~ [Neighbourhood_5_4<=Neighbourhood_7_2]] & [1<=Neighbourhood_8_3 | [Think_3<=WaitLeft_8 & 1<=Neighbourhood_1_4]]] | [[~ [Neighbourhood_5_1<=Neighbourhood_10_2] | [Neighbourhood_5_9<=1 & Neighbourhood_9_2<=1]] & [[1<=Neighbourhood_8_5 | 1<=WaitLeft_7] | [1<=WaitLeft_10 & 1<=Outside_7]]]]] | [Forks_3<=0 & [[[~ [Neighbourhood_7_10<=Neighbourhood_6_6] & ~ [HasRight_10<=0]] | [~ [Neighbourhood_2_2<=1] | [Neighbourhood_5_9<=1 | Neighbourhood_5_1<=1]]] | ~ [1<=Neighbourhood_1_7]]]]]] | ~ [[[1<=Think_9 | [[[~ [[Neighbourhood_9_3<=0 & Neighbourhood_7_10<=Neighbourhood_4_1]] & ~ [[Neighbourhood_8_1<=0 | 1<=Neighbourhood_10_2]]] & [[1<=Neighbourhood_2_5 | [1<=HasLeft_10 & WaitRight_5<=Neighbourhood_3_10]] | Neighbourhood_8_2<=0]] | 1<=Neighbourhood_6_9]] | Neighbourhood_10_9<=0]]]]
normalized: ~ [E [true U ~ [[[Neighbourhood_3_5<=1 | [[[[Neighbourhood_7_1<=1 | [1<=Neighbourhood_1_5 | [Think_7<=1 | [1<=Neighbourhood_5_5 | 1<=WaitRight_6]]]] | [[[1<=Neighbourhood_8_3 | [Think_3<=WaitLeft_8 & 1<=Neighbourhood_1_4]] & [1<=WaitLeft_2 & ~ [Neighbourhood_5_4<=Neighbourhood_7_2]]] | [[[1<=WaitLeft_10 & 1<=Outside_7] | [1<=Neighbourhood_8_5 | 1<=WaitLeft_7]] & [[Neighbourhood_5_9<=1 & Neighbourhood_9_2<=1] | ~ [Neighbourhood_5_1<=Neighbourhood_10_2]]]]] | [Forks_3<=0 & [[[[Neighbourhood_5_9<=1 | Neighbourhood_5_1<=1] | ~ [Neighbourhood_2_2<=1]] | [~ [HasRight_10<=0] & ~ [Neighbourhood_7_10<=Neighbourhood_6_6]]] | ~ [1<=Neighbourhood_1_7]]]] & [~ [WaitLeft_1<=1] | ~ [Neighbourhood_6_10<=Think_7]]]] | ~ [[Neighbourhood_10_9<=0 | [1<=Think_9 | [1<=Neighbourhood_6_9 | [[Neighbourhood_8_2<=0 | [1<=Neighbourhood_2_5 | [1<=HasLeft_10 & WaitRight_5<=Neighbourhood_3_10]]] & [~ [[Neighbourhood_8_1<=0 | 1<=Neighbourhood_10_2]] & ~ [[Neighbourhood_9_3<=0 & Neighbourhood_7_10<=Neighbourhood_4_1]]]]]]]]]]]]

abstracting: (Neighbourhood_7_10<=Neighbourhood_4_1)
states: 190,773 (5)
abstracting: (Neighbourhood_9_3<=0)
states: 190,645 (5)
abstracting: (1<=Neighbourhood_10_2)
states: 8,406 (3)
abstracting: (Neighbourhood_8_1<=0)
states: 190,645 (5)
abstracting: (WaitRight_5<=Neighbourhood_3_10)
states: 162,343 (5)
abstracting: (1<=HasLeft_10)
states: 9,712 (3)
abstracting: (1<=Neighbourhood_2_5)
states: 8,406 (3)
abstracting: (Neighbourhood_8_2<=0)
states: 190,645 (5)
abstracting: (1<=Neighbourhood_6_9)
states: 8,406 (3)
abstracting: (1<=Think_9)
states: 28,271 (4)
abstracting: (Neighbourhood_10_9<=0)
states: 190,645 (5)
abstracting: (Neighbourhood_6_10<=Think_7)
states: 191,372 (5)
abstracting: (WaitLeft_1<=1)
states: 199,051 (5)
abstracting: (1<=Neighbourhood_1_7)
states: 8,406 (3)
abstracting: (Neighbourhood_7_10<=Neighbourhood_6_6)
states: 190,645 (5)
abstracting: (HasRight_10<=0)
states: 189,339 (5)
abstracting: (Neighbourhood_2_2<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_5_1<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_5_9<=1)
states: 199,051 (5)
abstracting: (Forks_3<=0)
states: 179,933 (5)
abstracting: (Neighbourhood_5_1<=Neighbourhood_10_2)
states: 190,773 (5)
abstracting: (Neighbourhood_9_2<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_5_9<=1)
states: 199,051 (5)
abstracting: (1<=WaitLeft_7)
states: 37,677 (4)
abstracting: (1<=Neighbourhood_8_5)
states: 8,406 (3)
abstracting: (1<=Outside_7)
states: 123,391 (5)
abstracting: (1<=WaitLeft_10)
states: 37,677 (4)
abstracting: (Neighbourhood_5_4<=Neighbourhood_7_2)
states: 190,773 (5)
abstracting: (1<=WaitLeft_2)
states: 37,677 (4)
abstracting: (1<=Neighbourhood_1_4)
states: 8,406 (3)
abstracting: (Think_3<=WaitLeft_8)
states: 175,242 (5)
abstracting: (1<=Neighbourhood_8_3)
states: 8,406 (3)
abstracting: (1<=WaitRight_6)
states: 37,677 (4)
abstracting: (1<=Neighbourhood_5_5)
states: 6
abstracting: (Think_7<=1)
states: 199,051 (5)
abstracting: (1<=Neighbourhood_1_5)
states: 8,406 (3)
abstracting: (Neighbourhood_7_1<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_3_5<=1)
states: 199,051 (5)
-> the formula is TRUE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-13 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m12.912sec

checking: EF [[[~ [1<=Neighbourhood_2_5] & ~ [HasLeft_5<=1]] & [[[[~ [[~ [[1<=Neighbourhood_10_6 | Outside_2<=WaitRight_5]] | ~ [Neighbourhood_7_6<=Neighbourhood_7_5]]] | [~ [Forks_3<=1] & [~ [Neighbourhood_9_9<=Think_9] | [[Neighbourhood_9_6<=Neighbourhood_3_4 | 1<=Neighbourhood_5_1] | [WaitLeft_6<=Neighbourhood_8_5 & Neighbourhood_1_7<=Neighbourhood_8_10]]]]] | [[Outside_7<=Neighbourhood_7_8 | HasRight_3<=Neighbourhood_10_10] | 1<=Neighbourhood_7_3]] | [[[[[[1<=Forks_7 | 1<=Outside_3] & ~ [Neighbourhood_7_3<=1]] | ~ [Neighbourhood_9_4<=Neighbourhood_6_1]] | 1<=Neighbourhood_8_9] | ~ [1<=Neighbourhood_3_7]] & [Neighbourhood_9_9<=HasRight_1 | ~ [1<=HasRight_10]]]] & [[[[[[~ [Neighbourhood_10_2<=WaitRight_6] & ~ [Neighbourhood_3_5<=0]] | [[Think_8<=1 | Neighbourhood_4_5<=Neighbourhood_1_1] | [Neighbourhood_9_1<=1 & Neighbourhood_1_9<=1]]] | ~ [1<=Neighbourhood_4_3]] | [Neighbourhood_7_9<=1 & [~ [[1<=Neighbourhood_7_7 | Neighbourhood_2_5<=0]] | ~ [[1<=Neighbourhood_9_3 & Neighbourhood_7_7<=0]]]]] & [Neighbourhood_10_5<=Neighbourhood_9_10 | [Think_6<=1 & ~ [[[Neighbourhood_1_2<=Think_3 & Neighbourhood_10_7<=Outside_1] | ~ [Neighbourhood_4_1<=0]]]]]] | [Neighbourhood_1_1<=Outside_9 & 1<=HasRight_4]]]]]
normalized: E [true U [[[[Neighbourhood_1_1<=Outside_9 & 1<=HasRight_4] | [[Neighbourhood_10_5<=Neighbourhood_9_10 | [Think_6<=1 & ~ [[~ [Neighbourhood_4_1<=0] | [Neighbourhood_1_2<=Think_3 & Neighbourhood_10_7<=Outside_1]]]]] & [[Neighbourhood_7_9<=1 & [~ [[1<=Neighbourhood_9_3 & Neighbourhood_7_7<=0]] | ~ [[1<=Neighbourhood_7_7 | Neighbourhood_2_5<=0]]]] | [~ [1<=Neighbourhood_4_3] | [[[Neighbourhood_9_1<=1 & Neighbourhood_1_9<=1] | [Think_8<=1 | Neighbourhood_4_5<=Neighbourhood_1_1]] | [~ [Neighbourhood_3_5<=0] & ~ [Neighbourhood_10_2<=WaitRight_6]]]]]]] & [[[Neighbourhood_9_9<=HasRight_1 | ~ [1<=HasRight_10]] & [~ [1<=Neighbourhood_3_7] | [1<=Neighbourhood_8_9 | [~ [Neighbourhood_9_4<=Neighbourhood_6_1] | [~ [Neighbourhood_7_3<=1] & [1<=Forks_7 | 1<=Outside_3]]]]]] | [[1<=Neighbourhood_7_3 | [Outside_7<=Neighbourhood_7_8 | HasRight_3<=Neighbourhood_10_10]] | [[[[[WaitLeft_6<=Neighbourhood_8_5 & Neighbourhood_1_7<=Neighbourhood_8_10] | [Neighbourhood_9_6<=Neighbourhood_3_4 | 1<=Neighbourhood_5_1]] | ~ [Neighbourhood_9_9<=Think_9]] & ~ [Forks_3<=1]] | ~ [[~ [Neighbourhood_7_6<=Neighbourhood_7_5] | ~ [[1<=Neighbourhood_10_6 | Outside_2<=WaitRight_5]]]]]]]] & [~ [HasLeft_5<=1] & ~ [1<=Neighbourhood_2_5]]]]

abstracting: (1<=Neighbourhood_2_5)
states: 8,406 (3)
abstracting: (HasLeft_5<=1)
states: 199,051 (5)
abstracting: (Outside_2<=WaitRight_5)
states: 101,399 (5)
abstracting: (1<=Neighbourhood_10_6)
states: 8,406 (3)
abstracting: (Neighbourhood_7_6<=Neighbourhood_7_5)
states: 190,645 (5)
abstracting: (Forks_3<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_9_9<=Think_9)
states: 199,047 (5)
abstracting: (1<=Neighbourhood_5_1)
states: 8,406 (3)
abstracting: (Neighbourhood_9_6<=Neighbourhood_3_4)
states: 190,773 (5)
abstracting: (Neighbourhood_1_7<=Neighbourhood_8_10)
states: 190,773 (5)
abstracting: (WaitLeft_6<=Neighbourhood_8_5)
states: 162,343 (5)
abstracting: (HasRight_3<=Neighbourhood_10_10)
states: 189,339 (5)
abstracting: (Outside_7<=Neighbourhood_7_8)
states: 75,660 (4)
abstracting: (1<=Neighbourhood_7_3)
states: 8,406 (3)
abstracting: (1<=Outside_3)
states: 123,391 (5)
abstracting: (1<=Forks_7)
states: 19,118 (4)
abstracting: (Neighbourhood_7_3<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_9_4<=Neighbourhood_6_1)
states: 190,773 (5)
abstracting: (1<=Neighbourhood_8_9)
states: 8,406 (3)
abstracting: (1<=Neighbourhood_3_7)
states: 8,406 (3)
abstracting: (1<=HasRight_10)
states: 9,712 (3)
abstracting: (Neighbourhood_9_9<=HasRight_1)
states: 199,045 (5)
abstracting: (Neighbourhood_10_2<=WaitRight_6)
states: 191,614 (5)
abstracting: (Neighbourhood_3_5<=0)
states: 190,645 (5)
abstracting: (Neighbourhood_4_5<=Neighbourhood_1_1)
states: 190,645 (5)
abstracting: (Think_8<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_1_9<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_9_1<=1)
states: 199,051 (5)
abstracting: (1<=Neighbourhood_4_3)
states: 8,406 (3)
abstracting: (Neighbourhood_2_5<=0)
states: 190,645 (5)
abstracting: (1<=Neighbourhood_7_7)
states: 6
abstracting: (Neighbourhood_7_7<=0)
states: 199,045 (5)
abstracting: (1<=Neighbourhood_9_3)
states: 8,406 (3)
abstracting: (Neighbourhood_7_9<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_10_7<=Outside_1)
states: 197,109 (5)
abstracting: (Neighbourhood_1_2<=Think_3)
states: 191,372 (5)
abstracting: (Neighbourhood_4_1<=0)
states: 190,645 (5)
abstracting: (Think_6<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_10_5<=Neighbourhood_9_10)
states: 191,691 (5)
abstracting: (1<=HasRight_4)
states: 9,712 (3)
abstracting: (Neighbourhood_1_1<=Outside_9)
states: 199,051 (5)
-> the formula is FALSE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-14 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m10.928sec

checking: AG [[[[[~ [[1<=Neighbourhood_10_6 & [[[1<=HasLeft_1 | HasLeft_2<=Neighbourhood_6_8] & [Neighbourhood_7_3<=1 | 1<=Neighbourhood_9_2]] & [~ [Neighbourhood_2_6<=1] | ~ [Neighbourhood_1_2<=1]]]]] | [[[~ [Forks_10<=HasLeft_7] | Forks_7<=Outside_8] | [[~ [WaitRight_7<=Neighbourhood_10_1] & ~ [1<=Neighbourhood_5_8]] | WaitLeft_8<=Neighbourhood_7_2]] | ~ [[[1<=Forks_2 & ~ [1<=HasRight_3]] & 1<=Neighbourhood_7_8]]]] | ~ [[[[Neighbourhood_2_7<=Forks_3 & HasRight_2<=Neighbourhood_4_7] | ~ [1<=Neighbourhood_5_2]] | 1<=HasLeft_7]]] | [[[1<=HasLeft_2 | [1<=WaitRight_7 & 1<=Neighbourhood_8_9]] & ~ [Neighbourhood_4_6<=Neighbourhood_5_6]] & [[HasRight_6<=Neighbourhood_2_5 | [[1<=Neighbourhood_2_4 | [[1<=HasRight_2 | Neighbourhood_10_1<=Neighbourhood_4_9] & 1<=Neighbourhood_8_9]] | [~ [[Think_7<=HasRight_10 | 1<=Neighbourhood_4_9]] | [Neighbourhood_4_2<=Neighbourhood_6_1 & ~ [1<=Neighbourhood_2_3]]]]] | ~ [[[[[Neighbourhood_9_6<=0 & HasRight_6<=WaitRight_7] & [Neighbourhood_6_9<=Neighbourhood_10_1 & WaitLeft_5<=1]] | ~ [Neighbourhood_8_2<=Neighbourhood_7_3]] & ~ [[[Think_4<=Think_5 & 1<=Think_4] | [HasRight_2<=Neighbourhood_1_10 & Neighbourhood_8_8<=0]]]]]]]] | HasLeft_4<=0]]
normalized: ~ [E [true U ~ [[HasLeft_4<=0 | [[[[~ [[1<=Neighbourhood_7_8 & [1<=Forks_2 & ~ [1<=HasRight_3]]]] | [[WaitLeft_8<=Neighbourhood_7_2 | [~ [1<=Neighbourhood_5_8] & ~ [WaitRight_7<=Neighbourhood_10_1]]] | [Forks_7<=Outside_8 | ~ [Forks_10<=HasLeft_7]]]] | ~ [[1<=Neighbourhood_10_6 & [[~ [Neighbourhood_1_2<=1] | ~ [Neighbourhood_2_6<=1]] & [[Neighbourhood_7_3<=1 | 1<=Neighbourhood_9_2] & [1<=HasLeft_1 | HasLeft_2<=Neighbourhood_6_8]]]]]] | ~ [[1<=HasLeft_7 | [~ [1<=Neighbourhood_5_2] | [Neighbourhood_2_7<=Forks_3 & HasRight_2<=Neighbourhood_4_7]]]]] | [[~ [[~ [[[HasRight_2<=Neighbourhood_1_10 & Neighbourhood_8_8<=0] | [Think_4<=Think_5 & 1<=Think_4]]] & [~ [Neighbourhood_8_2<=Neighbourhood_7_3] | [[Neighbourhood_6_9<=Neighbourhood_10_1 & WaitLeft_5<=1] & [Neighbourhood_9_6<=0 & HasRight_6<=WaitRight_7]]]]] | [HasRight_6<=Neighbourhood_2_5 | [[[Neighbourhood_4_2<=Neighbourhood_6_1 & ~ [1<=Neighbourhood_2_3]] | ~ [[Think_7<=HasRight_10 | 1<=Neighbourhood_4_9]]] | [1<=Neighbourhood_2_4 | [1<=Neighbourhood_8_9 & [1<=HasRight_2 | Neighbourhood_10_1<=Neighbourhood_4_9]]]]]] & [~ [Neighbourhood_4_6<=Neighbourhood_5_6] & [1<=HasLeft_2 | [1<=WaitRight_7 & 1<=Neighbourhood_8_9]]]]]]]]]

abstracting: (1<=Neighbourhood_8_9)
states: 8,406 (3)
abstracting: (1<=WaitRight_7)
states: 37,677 (4)
abstracting: (1<=HasLeft_2)
states: 9,712 (3)
abstracting: (Neighbourhood_4_6<=Neighbourhood_5_6)
states: 190,645 (5)
abstracting: (Neighbourhood_10_1<=Neighbourhood_4_9)
states: 190,773 (5)
abstracting: (1<=HasRight_2)
states: 9,712 (3)
abstracting: (1<=Neighbourhood_8_9)
states: 8,406 (3)
abstracting: (1<=Neighbourhood_2_4)
states: 8,406 (3)
abstracting: (1<=Neighbourhood_4_9)
states: 8,406 (3)
abstracting: (Think_7<=HasRight_10)
states: 172,055 (5)
abstracting: (1<=Neighbourhood_2_3)
states: 8,406 (3)
abstracting: (Neighbourhood_4_2<=Neighbourhood_6_1)
states: 190,773 (5)
abstracting: (HasRight_6<=Neighbourhood_2_5)
states: 189,585 (5)
abstracting: (HasRight_6<=WaitRight_7)
states: 190,854 (5)
abstracting: (Neighbourhood_9_6<=0)
states: 190,645 (5)
abstracting: (WaitLeft_5<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_6_9<=Neighbourhood_10_1)
states: 190,773 (5)
abstracting: (Neighbourhood_8_2<=Neighbourhood_7_3)
states: 190,773 (5)
abstracting: (1<=Think_4)
states: 28,271 (4)
abstracting: (Think_4<=Think_5)
states: 174,000 (5)
abstracting: (Neighbourhood_8_8<=0)
states: 199,045 (5)
abstracting: (HasRight_2<=Neighbourhood_1_10)
states: 189,585 (5)
abstracting: (HasRight_2<=Neighbourhood_4_7)
states: 189,585 (5)
abstracting: (Neighbourhood_2_7<=Forks_3)
states: 191,133 (5)
abstracting: (1<=Neighbourhood_5_2)
states: 8,406 (3)
abstracting: (1<=HasLeft_7)
states: 9,712 (3)
abstracting: (HasLeft_2<=Neighbourhood_6_8)
states: 189,585 (5)
abstracting: (1<=HasLeft_1)
states: 9,712 (3)
abstracting: (1<=Neighbourhood_9_2)
states: 8,406 (3)
abstracting: (Neighbourhood_7_3<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_2_6<=1)
states: 199,051 (5)
abstracting: (Neighbourhood_1_2<=1)
states: 199,051 (5)
abstracting: (1<=Neighbourhood_10_6)
states: 8,406 (3)
abstracting: (Forks_10<=HasLeft_7)
states: 180,447 (5)
abstracting: (Forks_7<=Outside_8)
states: 193,023 (5)
abstracting: (WaitRight_7<=Neighbourhood_10_1)
states: 162,343 (5)
abstracting: (1<=Neighbourhood_5_8)
states: 8,406 (3)
abstracting: (WaitLeft_8<=Neighbourhood_7_2)
states: 162,343 (5)
abstracting: (1<=HasRight_3)
states: 9,712 (3)
abstracting: (1<=Forks_2)
states: 19,118 (4)
abstracting: (1<=Neighbourhood_7_8)
states: 8,406 (3)
abstracting: (HasLeft_4<=0)
states: 189,339 (5)
-> the formula is TRUE

FORMULA PhilosophersDyn-PT-10-ReachabilityCardinality-11 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m19.551sec

checking: EF [~ [[[[~ [[sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=98 & [~ [86<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & [21<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]]]]] & sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=10] | ~ [58<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]] | sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)]]]
normalized: E [true U ~ [[sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) | [~ [58<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] | [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=10 & ~ [[sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=98 & [[21<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)] & ~ [86<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]]]]]]]]]]

abstracting: (86<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10))
states: 0
abstracting: (sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5))
states: 141,701 (5)
abstracting: (21<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10))
states: 0
abstracting: (sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=98)
states: 199,051 (5)
abstracting: (sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9))
states: 33,611 (4)
abstracting: (sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=10)
states: 199,051 (5)
abstracting: (58<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10))
states: 0
abstracting: (sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7))
MC time: 8m 5.013sec

checking: AG [[[~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] | [~ [84<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)] | ~ [[[[sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) & sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=33] & ~ [[95<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & 50<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]]] & [[[[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=63] | ~ [50<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)]] | sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]]]]] | sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=14]]
normalized: ~ [E [true U ~ [[sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=14 | [~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] | [~ [[[~ [[95<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & 50<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]] & [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) & sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=33]] & [sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) | [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=63] | ~ [50<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)]]]]]] | ~ [84<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]]]]]]]

abstracting: (84<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9))
states: 0
abstracting: (50<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3))
MC time: 6m44.999sec

checking: EF [[96<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & [[sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=94 & [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & [~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=83] & [~ [sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)] & [[~ [2<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & [34<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]] | [~ [50<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)] & ~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=69]]]]]]] & [~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=10] | ~ [[[sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) & ~ [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=66 | sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]]] & [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=34 & sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=18]]]]]]]
normalized: E [true U [96<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & [[~ [[[sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=34 & sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=18] & [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) & ~ [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=66 | sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]]]]] | ~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=10]] & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=94 & [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & [[~ [sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)] & [[~ [2<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & [34<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]] | [~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=69] & ~ [50<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)]]]] & ~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=83]]]]]]]

abstracting: (sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=83)
MC time: 5m37.000sec

checking: EF [[89<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) & [[~ [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=37] & ~ [[51<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) & [[[[sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & 77<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)] & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=11]] | sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=71] | [[~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)] | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] | [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=47 & sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=13]]]]]]] & ~ [[~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) & sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=81] | ~ [99<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)]]]]]]]
normalized: E [true U [89<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) & [[~ [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=37] & ~ [[51<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) & [[[sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) | ~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)]] | [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=47 & sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=13]]] | [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=71 | [[sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & 77<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)] & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=11]]]]]]] & ~ [[[~ [99<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)] | [sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) & sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=81]] & ~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]]]]]]

abstracting: (sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10))
MC time: 4m40.999sec

checking: AG [[52<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | [~ [[sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) & [[[[[33<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=3] | ~ [57<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)]] & sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)] & [~ [[18<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) | 67<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)]] & [[sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) & 83<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)] | ~ [22<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]]]] | [sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=10 | ~ [[[46<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=65] | sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]]]]]] | ~ [[~ [[[sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)] | sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)]] | [55<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | [[~ [62<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & ~ [sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]] & [[sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) & sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)] | ~ [95<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]]]]]]]]]
normalized: ~ [E [true U ~ [[52<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | [~ [[~ [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) | [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]]] | [55<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | [[~ [62<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & ~ [sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]] & [~ [95<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)] | [sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) & sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)]]]]]] | ~ [[sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) & [[sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=10 | ~ [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) | [46<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=65]]]] | [[[~ [22<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)] | [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) & 83<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)]] & ~ [[18<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) | 67<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)]]] & [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) & [~ [57<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)] | [33<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=3]]]]]]]]]]]]

abstracting: (sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=3)
states: 199,051 (5)
abstracting: (33<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10))
states: 0
abstracting: (57<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9))
states: 0
abstracting: (sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6))
states: 33,611 (4)
abstracting: (67<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6))
states: 0
abstracting: (18<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9))
states: 0
abstracting: (83<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9))
states: 0
abstracting: (sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3))
MC time: 3m53.999sec

checking: AG [[~ [[[~ [[[[[sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) & sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)] | sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)] | [[sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=16] & sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=44]] & 11<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]] | [[[64<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & [59<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & [sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=99]]] | [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) & [[sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=97 | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=77] | sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=5]]] & [~ [16<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)] | ~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]]]] & [[[[sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=65 & [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | [10<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]]] & [[~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)] | [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)]] | ~ [92<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)]]] | [13<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) | [~ [[sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) & sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=93]] | [62<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) | [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) | sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=54]]]]] & [11<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) | [[64<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & ~ [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)]] | [[[27<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) & sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=25] & [sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=89 | 4<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]] & [[72<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) | 12<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)] & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=30 | 69<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]]]]]]]] | ~ [[~ [sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)] | [~ [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=53 & [[[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=13] | [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]] & [~ [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=37] | sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=12]]]] & ~ [[[41<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)] | [~ [37<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)] | ~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)]]]]]]]]]
normalized: ~ [E [true U ~ [[~ [[[[11<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) | [[[[72<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) | 12<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)] & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=30 | 69<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]] & [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=89 | 4<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)] & [27<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9) & sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=25]]] | [64<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & ~ [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)]]]] & [[13<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) | [~ [[sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5) & sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=93]] | [62<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) | [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) | sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=54]]]] | [[~ [92<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)] | [[sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)] | ~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)]]] & [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=65 & [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | [10<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]]]]]] & [[[~ [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)] | ~ [16<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)]] & [[sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) & [sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)<=5 | [sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)<=97 | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=77]]] | [64<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) & [59<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & [sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) | sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=99]]]]] | ~ [[11<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & [[sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=44 & [sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) | sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=16]] | [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6) | [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10) & sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]]]]]]]] | ~ [[[~ [[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=53 & [[[sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)<=sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3) | sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=13] | [sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9)]] & [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=12 | ~ [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=37]]]]] & ~ [[[~ [37<=sum(Forks_2, Forks_9, Forks_3, Forks_4, Forks_5, Forks_6, Forks_7, Forks_1, Forks_8, Forks_10)] | ~ [sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)]] | [41<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) | sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)]]]] | ~ [sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]]]]]]]

abstracting: (sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5))
states: 141,701 (5)
abstracting: (sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6))
states: 199,051 (5)
abstracting: (41<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7))
states: 0
abstracting: (sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9))
MC time: 3m14.998sec

checking: EF [~ [[[[~ [[sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=98 & [~ [86<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & [21<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]]]]] & sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=10] | ~ [58<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]] | sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)]]]
normalized: E [true U ~ [[sum(Neighbourhood_3_10, Neighbourhood_5_7, Neighbourhood_2_9, Neighbourhood_1_10, Neighbourhood_8_3, Neighbourhood_7_4, Neighbourhood_4_6, Neighbourhood_10_10, Neighbourhood_2_8, Neighbourhood_4_5, Neighbourhood_7_2, Neighbourhood_10_1, Neighbourhood_5_6, Neighbourhood_8_4, Neighbourhood_3_9, Neighbourhood_10_9, Neighbourhood_3_5, Neighbourhood_1_8, Neighbourhood_2_1, Neighbourhood_7_6, Neighbourhood_4_9, Neighbourhood_9_10, Neighbourhood_5_9, Neighbourhood_8_10, Neighbourhood_5_4, Neighbourhood_6_2, Neighbourhood_8_6, Neighbourhood_3_7, Neighbourhood_7_1, Neighbourhood_9_5, Neighbourhood_1_3, Neighbourhood_10_7, Neighbourhood_1_1, Neighbourhood_2_5, Neighbourhood_10_3, Neighbourhood_8_1, Neighbourhood_6_6, Neighbourhood_5_2, Neighbourhood_2_3, Neighbourhood_6_4, Neighbourhood_4_7, Neighbourhood_9_3, Neighbourhood_3_2, Neighbourhood_10_5, Neighbourhood_10_6, Neighbourhood_7_9, Neighbourhood_8_8, Neighbourhood_2_4, Neighbourhood_1_5, Neighbourhood_3_3, Neighbourhood_4_2, Neighbourhood_6_10, Neighbourhood_4_1, Neighbourhood_7_8, Neighbourhood_8_7, Neighbourhood_7_10, Neighbourhood_6_9, Neighbourhood_1_4, Neighbourhood_9_8, Neighbourhood_1_6, Neighbourhood_10_8, Neighbourhood_9_6, Neighbourhood_6_8, Neighbourhood_4_3, Neighbourhood_8_5, Neighbourhood_9_7, Neighbourhood_9_4, Neighbourhood_3_1, Neighbourhood_4_10, Neighbourhood_5_3, Neighbourhood_2_6, Neighbourhood_4_4, Neighbourhood_10_2, Neighbourhood_6_7, Neighbourhood_2_7, Neighbourhood_9_9, Neighbourhood_6_1, Neighbourhood_5_8, Neighbourhood_1_2, Neighbourhood_7_5, Neighbourhood_10_4, Neighbourhood_2_2, Neighbourhood_9_2, Neighbourhood_6_3, Neighbourhood_1_7, Neighbourhood_1_9, Neighbourhood_6_5, Neighbourhood_5_1, Neighbourhood_5_10, Neighbourhood_4_8, Neighbourhood_3_6, Neighbourhood_7_7, Neighbourhood_3_4, Neighbourhood_8_9, Neighbourhood_5_5, Neighbourhood_8_2, Neighbourhood_3_8, Neighbourhood_9_1, Neighbourhood_2_10, Neighbourhood_7_3)<=sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7) | [[sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=10 & ~ [[sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9) & [sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=98 & [~ [86<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)] & [21<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10) & sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5)]]]]]] | ~ [58<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10)]]]]]

abstracting: (58<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10))
states: 0
abstracting: (sum(Think_10, Think_5, Think_4, Think_6, Think_7, Think_3, Think_2, Think_1, Think_8, Think_9)<=sum(WaitRight_4, WaitRight_6, WaitRight_7, WaitRight_3, WaitRight_8, WaitRight_2, WaitRight_9, WaitRight_1, WaitRight_10, WaitRight_5))
states: 141,701 (5)
abstracting: (21<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10))
states: 0
abstracting: (86<=sum(Outside_1, Outside_2, Outside_9, Outside_8, Outside_7, Outside_6, Outside_5, Outside_3, Outside_4, Outside_10))
states: 0
abstracting: (sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=98)
states: 199,051 (5)
abstracting: (sum(WaitLeft_6, WaitLeft_9, WaitLeft_8, WaitLeft_1, WaitLeft_3, WaitLeft_2, WaitLeft_5, WaitLeft_10, WaitLeft_4, WaitLeft_7)<=sum(HasRight_5, HasRight_4, HasRight_7, HasRight_6, HasRight_10, HasRight_1, HasRight_8, HasRight_3, HasRight_2, HasRight_9))
states: 33,611 (4)
abstracting: (sum(HasLeft_7, HasLeft_4, HasLeft_5, HasLeft_2, HasLeft_10, HasLeft_3, HasLeft_9, HasLeft_8, HasLeft_1, HasLeft_6)<=10)
states: 199,051 (5)
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 9763024 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16166680 kB

BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
check for constant places
ok
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: 0m 0.021sec

55774 98347 141096 167356 209756 224647 287670 337482 383357 414508 442036 481527 510318 536385 562319 584490 596913 613821 634831 652780 661712 670817 680284 687434 711898 765110 772306 782272 803364 832905 855622 882475 906139 923742 932656 956737 972722 983767 990330 1019573 1028268 1037186 1042561 1070832 1079335 1086032 1089974
iterations count:4743148 (2053), effective:7890 (3)

initing FirstDep: 0m 0.021sec


iterations count:73597 (31), effective:106 (0)

iterations count:34570 (14), effective:48 (0)

idd.h:1025: Timeout: after 484 sec


idd.h:1025: Timeout: after 404 sec


idd.h:1025: Timeout: after 336 sec


idd.h:1025: Timeout: after 280 sec


idd.h:1025: Timeout: after 233 sec


idd.h:1025: Timeout: after 194 sec

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.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhilosophersDyn-PT-10"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marcie"
echo " Input is PhilosophersDyn-PT-10, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r289-tall-167873940200326"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-PT-10.tgz
mv PhilosophersDyn-PT-10 execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;