Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2021-input.r159-oct2-162089267700022.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is PhilosophersDyn-COL-20, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r159-oct2-162089267700022
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 400K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 119K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 82K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 09:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 09:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Mar 25 11:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K Mar 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 32K May 5 16:51 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-COL-20-ReachabilityCardinality-00
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-01
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-02
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-03
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-04
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-05
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-06
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-07
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-08
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-09
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-10
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-11
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-12
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-13
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-14
FORMULA_NAME PhilosophersDyn-COL-20-ReachabilityCardinality-15

=== Now, execution of the tool begins

BK_START 1621176456299

Running Version 0
[2021-05-16 14:47:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-16 14:47:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-16 14:47:38] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-16 14:47:38] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-16 14:47:39] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 508 ms
[2021-05-16 14:47:39] [INFO ] Imported 8 HL places and 7 HL transitions for a total of 540 PT places and 17240.0 transition bindings in 17 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 6 ms.
Working with output stream class java.io.PrintStream
[2021-05-16 14:47:39] [INFO ] Built PT skeleton of HLPN with 8 places and 7 transitions in 2 ms.
[2021-05-16 14:47:39] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_3923728053628531307.dot
Incomplete random walk after 100007 steps, including 4290 resets, run finished after 133 ms. (steps per millisecond=751 ) properties (out of 16) seen :12
Running SMT prover for 4 properties.
// Phase 1: matrix 7 rows 8 cols
[2021-05-16 14:47:39] [INFO ] Computed 3 place invariants in 7 ms
[2021-05-16 14:47:39] [INFO ] [Real]Absence check using 3 positive place invariants in 3 ms returned unsat
[2021-05-16 14:47:39] [INFO ] [Real]Absence check using 3 positive place invariants in 2 ms returned sat
[2021-05-16 14:47:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 14:47:39] [INFO ] [Real]Absence check using state equation in 11 ms returned sat
[2021-05-16 14:47:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 14:47:39] [INFO ] [Nat]Absence check using 3 positive place invariants in 1 ms returned sat
[2021-05-16 14:47:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 14:47:39] [INFO ] [Nat]Absence check using state equation in 6 ms returned sat
[2021-05-16 14:47:39] [INFO ] State equation strengthened by 3 read => feed constraints.
[2021-05-16 14:47:39] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2021-05-16 14:47:39] [INFO ] Computed and/alt/rep : 6/25/6 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-16 14:47:39] [INFO ] Added : 5 causal constraints over 1 iterations in 24 ms. Result :sat
[2021-05-16 14:47:39] [INFO ] [Real]Absence check using 3 positive place invariants in 1 ms returned sat
[2021-05-16 14:47:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-16 14:47:39] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-16 14:47:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-16 14:47:39] [INFO ] [Nat]Absence check using 3 positive place invariants in 1 ms returned sat
[2021-05-16 14:47:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 14:47:39] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-16 14:47:39] [INFO ] [Nat]Added 3 Read/Feed constraints in 1 ms returned sat
[2021-05-16 14:47:39] [INFO ] Computed and/alt/rep : 6/25/6 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-16 14:47:39] [INFO ] Added : 5 causal constraints over 1 iterations in 26 ms. Result :sat
Successfully simplified 2 atomic propositions for a total of 2 simplifications.
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-16 14:47:40] [INFO ] Flatten gal took : 14 ms
[2021-05-16 14:47:40] [INFO ] Flatten gal took : 26 ms
[2021-05-16 14:47:40] [INFO ] Unfolded HLPN to a Petri net with 540 places and 17220 transitions in 299 ms.
[2021-05-16 14:47:40] [INFO ] Unfolded HLPN properties in 3 ms.
Successfully produced net in file /tmp/petri1001_15896884901401686829.dot
Ensure Unique test removed 190 transitions
Reduce redundant transitions removed 190 transitions.
Incomplete random walk after 10000 steps, including 1147 resets, run finished after 603 ms. (steps per millisecond=16 ) properties (out of 14) seen :9
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-09 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA PhilosophersDyn-COL-20-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 35 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 35 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 34 resets, run finished after 83 ms. (steps per millisecond=120 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 27 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 10001 steps, including 35 resets, run finished after 80 ms. (steps per millisecond=125 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
[2021-05-16 14:47:41] [INFO ] Flow matrix only has 15510 transitions (discarded 1520 similar events)
// Phase 1: matrix 15510 rows 540 cols
[2021-05-16 14:47:42] [INFO ] Computed 79 place invariants in 844 ms
[2021-05-16 14:47:42] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:5
[2021-05-16 14:47:42] [INFO ] [Nat]Absence check using 60 positive place invariants in 12 ms returned sat
[2021-05-16 14:47:42] [INFO ] [Nat]Absence check using 60 positive and 19 generalized place invariants in 20 ms returned sat
[2021-05-16 14:47:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 14:47:48] [INFO ] [Nat]Absence check using state equation in 5403 ms returned unsat :0 sat :5
[2021-05-16 14:47:49] [INFO ] State equation strengthened by 8060 read => feed constraints.
[2021-05-16 14:47:52] [INFO ] [Nat]Added 8060 Read/Feed constraints in 3284 ms returned sat
Attempting to minimize the solution found.
Minimization took 3 ms.
[2021-05-16 14:48:07] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :3
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
This parikh vector is obviously unfeasible : no match in initial state.
Support contains 540 out of 540 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 540/540 places, 17030/17030 transitions.
Applied a total of 0 rules in 3320 ms. Remains 540 /540 variables (removed 0) and now considering 17030/17030 (removed 0) transitions.
[2021-05-16 14:48:10] [INFO ] Flow matrix only has 15510 transitions (discarded 1520 similar events)
// Phase 1: matrix 15510 rows 540 cols
[2021-05-16 14:48:11] [INFO ] Computed 79 place invariants in 740 ms
[2021-05-16 14:48:17] [INFO ] Dead Transitions using invariants and state equation in 6514 ms returned [840, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 880, 900, 920, 940, 960, 980, 1000, 1020, 1040, 1060, 1080, 1100, 1120, 1140, 1160, 1180, 1200, 1220, 1241, 1260, 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268, 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276, 1277, 1278, 1279, 1281, 1301, 1321, 1341, 1361, 1381, 1401, 1421, 1441, 1461, 1481, 1501, 1521, 1541, 1561, 1581, 1601, 1621, 1642, 1662, 1680, 1681, 1682, 1683, 1684, 1685, 1686, 1687, 1688, 1689, 1690, 1691, 1692, 1693, 1694, 1695, 1696, 1697, 1698, 1699, 1702, 1722, 1742, 1762, 1782, 1802, 1822, 1842, 1862, 1882, 1902, 1922, 1942, 1962, 1982, 2002, 2022, 2043, 2063, 2083, 2100, 2101, 2102, 2103, 2104, 2105, 2106, 2107, 2108, 2109, 2110, 2111, 2112, 2113, 2114, 2115, 2116, 2117, 2118, 2119, 2123, 2143, 2163, 2183, 2203, 2223, 2243, 2263, 2283, 2303, 2323, 2343, 2363, 2383, 2403, 2423, 2444, 2464, 2484, 2504, 2520, 2521, 2522, 2523, 2524, 2525, 2526, 2527, 2528, 2529, 2530, 2531, 2532, 2533, 2534, 2535, 2536, 2537, 2538, 2539, 2544, 2564, 2584, 2604, 2624, 2644, 2664, 2684, 2704, 2724, 2744, 2764, 2784, 2804, 2824, 2845, 2865, 2885, 2905, 2925, 2940, 2941, 2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2950, 2951, 2952, 2953, 2954, 2955, 2956, 2957, 2958, 2959, 2965, 2985, 3005, 3025, 3045, 3065, 3085, 3105, 3125, 3145, 3165, 3185, 3205, 3225, 3246, 3266, 3286, 3306, 3326, 3346, 3360, 3361, 3362, 3363, 3364, 3365, 3366, 3367, 3368, 3369, 3370, 3371, 3372, 3373, 3374, 3375, 3376, 3377, 3378, 3379, 3386, 3406, 3426, 3446, 3466, 3486, 3506, 3526, 3546, 3566, 3586, 3606, 3626, 3647, 3667, 3687, 3707, 3727, 3747, 3767, 3780, 3781, 3782, 3783, 3784, 3785, 3786, 3787, 3788, 3789, 3790, 3791, 3792, 3793, 3794, 3795, 3796, 3797, 3798, 3799, 3807, 3827, 3847, 3867, 3887, 3907, 3927, 3947, 3967, 3987, 4007, 4027, 4048, 4068, 4088, 4108, 4128, 4148, 4168, 4188, 4200, 4201, 4202, 4203, 4204, 4205, 4206, 4207, 4208, 4209, 4210, 4211, 4212, 4213, 4214, 4215, 4216, 4217, 4218, 4219, 4228, 4248, 4268, 4288, 4308, 4328, 4348, 4368, 4388, 4408, 4428, 4449, 4469, 4489, 4509, 4529, 4549, 4569, 4589, 4609, 4620, 4621, 4622, 4623, 4624, 4625, 4626, 4627, 4628, 4629, 4630, 4631, 4632, 4633, 4634, 4635, 4636, 4637, 4638, 4639, 4649, 4669, 4689, 4709, 4729, 4749, 4769, 4789, 4809, 4829, 4850, 4870, 4890, 4910, 4930, 4950, 4970, 4990, 5010, 5030, 5040, 5041, 5042, 5043, 5044, 5045, 5046, 5047, 5048, 5049, 5050, 5051, 5052, 5053, 5054, 5055, 5056, 5057, 5058, 5059, 5070, 5090, 5110, 5130, 5150, 5170, 5190, 5210, 5230, 5251, 5271, 5291, 5311, 5331, 5351, 5371, 5391, 5411, 5431, 5451, 5460, 5461, 5462, 5463, 5464, 5465, 5466, 5467, 5468, 5469, 5470, 5471, 5472, 5473, 5474, 5475, 5476, 5477, 5478, 5479, 5491, 5511, 5531, 5551, 5571, 5591, 5611, 5631, 5652, 5672, 5692, 5712, 5732, 5752, 5772, 5792, 5812, 5832, 5852, 5872, 5880, 5881, 5882, 5883, 5884, 5885, 5886, 5887, 5888, 5889, 5890, 5891, 5892, 5893, 5894, 5895, 5896, 5897, 5898, 5899, 5912, 5932, 5952, 5972, 5992, 6012, 6032, 6053, 6073, 6093, 6113, 6133, 6153, 6173, 6193, 6213, 6233, 6253, 6273, 6293, 6300, 6301, 6302, 6303, 6304, 6305, 6306, 6307, 6308, 6309, 6310, 6311, 6312, 6313, 6314, 6315, 6316, 6317, 6318, 6319, 6333, 6353, 6373, 6393, 6413, 6433, 6454, 6474, 6494, 6514, 6534, 6554, 6574, 6594, 6614, 6634, 6654, 6674, 6694, 6714, 6720, 6721, 6722, 6723, 6724, 6725, 6726, 6727, 6728, 6729, 6730, 6731, 6732, 6733, 6734, 6735, 6736, 6737, 6738, 6739, 6754, 6774, 6794, 6814, 6834, 6855, 6875, 6895, 6915, 6935, 6955, 6975, 6995, 7015, 7035, 7055, 7075, 7095, 7115, 7135, 7140, 7141, 7142, 7143, 7144, 7145, 7146, 7147, 7148, 7149, 7150, 7151, 7152, 7153, 7154, 7155, 7156, 7157, 7158, 7159, 7175, 7195, 7215, 7235, 7256, 7276, 7296, 7316, 7336, 7356, 7376, 7396, 7416, 7436, 7456, 7476, 7496, 7516, 7536, 7556, 7560, 7561, 7562, 7563, 7564, 7565, 7566, 7567, 7568, 7569, 7570, 7571, 7572, 7573, 7574, 7575, 7576, 7577, 7578, 7579, 7596, 7616, 7636, 7657, 7677, 7697, 7717, 7737, 7757, 7777, 7797, 7817, 7837, 7857, 7877, 7897, 7917, 7937, 7957, 7977, 7980, 7981, 7982, 7983, 7984, 7985, 7986, 7987, 7988, 7989, 7990, 7991, 7992, 7993, 7994, 7995, 7996, 7997, 7998, 7999, 8017, 8037, 8058, 8078, 8098, 8118, 8138, 8158, 8178, 8198, 8218, 8238, 8258, 8278, 8298, 8318, 8338, 8358, 8378, 8398, 8400, 8401, 8402, 8403, 8404, 8405, 8406, 8407, 8408, 8409, 8410, 8411, 8412, 8413, 8414, 8415, 8416, 8417, 8418, 8419, 8438, 8459, 8479, 8499, 8519, 8539, 8559, 8579, 8599, 8619, 8639, 8659, 8679, 8699, 8719, 8739, 8759, 8779, 8799, 8819, 8820, 8821, 8822, 8823, 8824, 8825, 8826, 8827, 8828, 8829, 8830, 8831, 8832, 8833, 8834, 8835, 8836, 8837, 8838, 8839, 8840, 8841, 8842, 8843, 8844, 8845, 8846, 8847, 8848, 8849, 8850, 8851, 8852, 8853, 8854, 8855, 8856, 8857, 8858, 8859, 8860, 8880, 8900, 8920, 8940, 8960, 8980, 9000, 9020, 9040, 9060, 9080, 9100, 9120, 9140, 9160, 9180, 9200, 9220, 9241, 9260, 9261, 9262, 9263, 9264, 9265, 9266, 9267, 9268, 9269, 9270, 9271, 9272, 9273, 9274, 9275, 9276, 9277, 9278, 9279, 9281, 9301, 9321, 9341, 9361, 9381, 9401, 9421, 9441, 9461, 9481, 9501, 9521, 9541, 9561, 9581, 9601, 9621, 9642, 9662, 9680, 9681, 9682, 9683, 9684, 9685, 9686, 9687, 9688, 9689, 9690, 9691, 9692, 9693, 9694, 9695, 9696, 9697, 9698, 9699, 9702, 9722, 9742, 9762, 9782, 9802, 9822, 9842, 9862, 9882, 9902, 9922, 9942, 9962, 9982, 10002, 10022, 10043, 10063, 10083, 10100, 10101, 10102, 10103, 10104, 10105, 10106, 10107, 10108, 10109, 10110, 10111, 10112, 10113, 10114, 10115, 10116, 10117, 10118, 10119, 10123, 10143, 10163, 10183, 10203, 10223, 10243, 10263, 10283, 10303, 10323, 10343, 10363, 10383, 10403, 10423, 10444, 10464, 10484, 10504, 10520, 10521, 10522, 10523, 10524, 10525, 10526, 10527, 10528, 10529, 10530, 10531, 10532, 10533, 10534, 10535, 10536, 10537, 10538, 10539, 10544, 10564, 10584, 10604, 10624, 10644, 10664, 10684, 10704, 10724, 10744, 10764, 10784, 10804, 10824, 10845, 10865, 10885, 10905, 10925, 10940, 10941, 10942, 10943, 10944, 10945, 10946, 10947, 10948, 10949, 10950, 10951, 10952, 10953, 10954, 10955, 10956, 10957, 10958, 10959, 10965, 10985, 11005, 11025, 11045, 11065, 11085, 11105, 11125, 11145, 11165, 11185, 11205, 11225, 11246, 11266, 11286, 11306, 11326, 11346, 11360, 11361, 11362, 11363, 11364, 11365, 11366, 11367, 11368, 11369, 11370, 11371, 11372, 11373, 11374, 11375, 11376, 11377, 11378, 11379, 11386, 11406, 11426, 11446, 11466, 11486, 11506, 11526, 11546, 11566, 11586, 11606, 11626, 11647, 11667, 11687, 11707, 11727, 11747, 11767, 11780, 11781, 11782, 11783, 11784, 11785, 11786, 11787, 11788, 11789, 11790, 11791, 11792, 11793, 11794, 11795, 11796, 11797, 11798, 11799, 11807, 11827, 11847, 11867, 11887, 11907, 11927, 11947, 11967, 11987, 12007, 12027, 12048, 12068, 12088, 12108, 12128, 12148, 12168, 12188, 12200, 12201, 12202, 12203, 12204, 12205, 12206, 12207, 12208, 12209, 12210, 12211, 12212, 12213, 12214, 12215, 12216, 12217, 12218, 12219, 12228, 12248, 12268, 12288, 12308, 12328, 12348, 12368, 12388, 12408, 12428, 12449, 12469, 12489, 12509, 12529, 12549, 12569, 12589, 12609, 12620, 12621, 12622, 12623, 12624, 12625, 12626, 12627, 12628, 12629, 12630, 12631, 12632, 12633, 12634, 12635, 12636, 12637, 12638, 12639, 12649, 12669, 12689, 12709, 12729, 12749, 12769, 12789, 12809, 12829, 12850, 12870, 12890, 12910, 12930, 12950, 12970, 12990, 13010, 13030, 13040, 13041, 13042, 13043, 13044, 13045, 13046, 13047, 13048, 13049, 13050, 13051, 13052, 13053, 13054, 13055, 13056, 13057, 13058, 13059, 13070, 13090, 13110, 13130, 13150, 13170, 13190, 13210, 13230, 13251, 13271, 13291, 13311, 13331, 13351, 13371, 13391, 13411, 13431, 13451, 13460, 13461, 13462, 13463, 13464, 13465, 13466, 13467, 13468, 13469, 13470, 13471, 13472, 13473, 13474, 13475, 13476, 13477, 13478, 13479, 13491, 13511, 13531, 13551, 13571, 13591, 13611, 13631, 13652, 13672, 13692, 13712, 13732, 13752, 13772, 13792, 13812, 13832, 13852, 13872, 13880, 13881, 13882, 13883, 13884, 13885, 13886, 13887, 13888, 13889, 13890, 13891, 13892, 13893, 13894, 13895, 13896, 13897, 13898, 13899, 13912, 13932, 13952, 13972, 13992, 14012, 14032, 14053, 14073, 14093, 14113, 14133, 14153, 14173, 14193, 14213, 14233, 14253, 14273, 14293, 14300, 14301, 14302, 14303, 14304, 14305, 14306, 14307, 14308, 14309, 14310, 14311, 14312, 14313, 14314, 14315, 14316, 14317, 14318, 14319, 14333, 14353, 14373, 14393, 14413, 14433, 14454, 14474, 14494, 14514, 14534, 14554, 14574, 14594, 14614, 14634, 14654, 14674, 14694, 14714, 14720, 14721, 14722, 14723, 14724, 14725, 14726, 14727, 14728, 14729, 14730, 14731, 14732, 14733, 14734, 14735, 14736, 14737, 14738, 14739, 14754, 14774, 14794, 14814, 14834, 14855, 14875, 14895, 14915, 14935, 14955, 14975, 14995, 15015, 15035, 15055, 15075, 15095, 15115, 15135, 15140, 15141, 15142, 15143, 15144, 15145, 15146, 15147, 15148, 15149, 15150, 15151, 15152, 15153, 15154, 15155, 15156, 15157, 15158, 15159, 15175, 15195, 15215, 15235, 15256, 15276, 15296, 15316, 15336, 15356, 15376, 15396, 15416, 15436, 15456, 15476, 15496, 15516, 15536, 15556, 15560, 15561, 15562, 15563, 15564, 15565, 15566, 15567, 15568, 15569, 15570, 15571, 15572, 15573, 15574, 15575, 15576, 15577, 15578, 15579, 15596, 15616, 15636, 15657, 15677, 15697, 15717, 15737, 15757, 15777, 15797, 15817, 15837, 15857, 15877, 15897, 15917, 15937, 15957, 15977, 15980, 15981, 15982, 15983, 15984, 15985, 15986, 15987, 15988, 15989, 15990, 15991, 15992, 15993, 15994, 15995, 15996, 15997, 15998, 15999, 16017, 16037, 16058, 16078, 16098, 16118, 16138, 16158, 16178, 16198, 16218, 16238, 16258, 16278, 16298, 16318, 16338, 16358, 16378, 16398, 16400, 16401, 16402, 16403, 16404, 16405, 16406, 16407, 16408, 16409, 16410, 16411, 16412, 16413, 16414, 16415, 16416, 16417, 16418, 16419, 16438, 16459, 16479, 16499, 16519, 16539, 16559, 16579, 16599, 16619, 16639, 16659, 16679, 16699, 16719, 16739, 16759, 16779, 16799, 16819, 16820, 16821, 16822, 16823, 16824, 16825, 16826, 16827, 16828, 16829, 16830, 16831, 16832, 16833, 16834, 16835, 16836, 16837, 16838, 16839]
Found 1560 dead transitions using SMT.
Drop transitions removed 1560 transitions
Dead transitions reduction (with SMT) triggered by suspicious arc values removed 1560 transitions :[16839, 16838, 16837, 16836, 16835, 16834, 16833, 16832, 16831, 16830, 16829, 16828, 16827, 16826, 16825, 16824, 16823, 16822, 16821, 16820, 16819, 16799, 16779, 16759, 16739, 16719, 16699, 16679, 16659, 16639, 16619, 16599, 16579, 16559, 16539, 16519, 16499, 16479, 16459, 16438, 16419, 16418, 16417, 16416, 16415, 16414, 16413, 16412, 16411, 16410, 16409, 16408, 16407, 16406, 16405, 16404, 16403, 16402, 16401, 16400, 16398, 16378, 16358, 16338, 16318, 16298, 16278, 16258, 16238, 16218, 16198, 16178, 16158, 16138, 16118, 16098, 16078, 16058, 16037, 16017, 15999, 15998, 15997, 15996, 15995, 15994, 15993, 15992, 15991, 15990, 15989, 15988, 15987, 15986, 15985, 15984, 15983, 15982, 15981, 15980, 15977, 15957, 15937, 15917, 15897, 15877, 15857, 15837, 15817, 15797, 15777, 15757, 15737, 15717, 15697, 15677, 15657, 15636, 15616, 15596, 15579, 15578, 15577, 15576, 15575, 15574, 15573, 15572, 15571, 15570, 15569, 15568, 15567, 15566, 15565, 15564, 15563, 15562, 15561, 15560, 15556, 15536, 15516, 15496, 15476, 15456, 15436, 15416, 15396, 15376, 15356, 15336, 15316, 15296, 15276, 15256, 15235, 15215, 15195, 15175, 15159, 15158, 15157, 15156, 15155, 15154, 15153, 15152, 15151, 15150, 15149, 15148, 15147, 15146, 15145, 15144, 15143, 15142, 15141, 15140, 15135, 15115, 15095, 15075, 15055, 15035, 15015, 14995, 14975, 14955, 14935, 14915, 14895, 14875, 14855, 14834, 14814, 14794, 14774, 14754, 14739, 14738, 14737, 14736, 14735, 14734, 14733, 14732, 14731, 14730, 14729, 14728, 14727, 14726, 14725, 14724, 14723, 14722, 14721, 14720, 14714, 14694, 14674, 14654, 14634, 14614, 14594, 14574, 14554, 14534, 14514, 14494, 14474, 14454, 14433, 14413, 14393, 14373, 14353, 14333, 14319, 14318, 14317, 14316, 14315, 14314, 14313, 14312, 14311, 14310, 14309, 14308, 14307, 14306, 14305, 14304, 14303, 14302, 14301, 14300, 14293, 14273, 14253, 14233, 14213, 14193, 14173, 14153, 14133, 14113, 14093, 14073, 14053, 14032, 14012, 13992, 13972, 13952, 13932, 13912, 13899, 13898, 13897, 13896, 13895, 13894, 13893, 13892, 13891, 13890, 13889, 13888, 13887, 13886, 13885, 13884, 13883, 13882, 13881, 13880, 13872, 13852, 13832, 13812, 13792, 13772, 13752, 13732, 13712, 13692, 13672, 13652, 13631, 13611, 13591, 13571, 13551, 13531, 13511, 13491, 13479, 13478, 13477, 13476, 13475, 13474, 13473, 13472, 13471, 13470, 13469, 13468, 13467, 13466, 13465, 13464, 13463, 13462, 13461, 13460, 13451, 13431, 13411, 13391, 13371, 13351, 13331, 13311, 13291, 13271, 13251, 13230, 13210, 13190, 13170, 13150, 13130, 13110, 13090, 13070, 13059, 13058, 13057, 13056, 13055, 13054, 13053, 13052, 13051, 13050, 13049, 13048, 13047, 13046, 13045, 13044, 13043, 13042, 13041, 13040, 13030, 13010, 12990, 12970, 12950, 12930, 12910, 12890, 12870, 12850, 12829, 12809, 12789, 12769, 12749, 12729, 12709, 12689, 12669, 12649, 12639, 12638, 12637, 12636, 12635, 12634, 12633, 12632, 12631, 12630, 12629, 12628, 12627, 12626, 12625, 12624, 12623, 12622, 12621, 12620, 12609, 12589, 12569, 12549, 12529, 12509, 12489, 12469, 12449, 12428, 12408, 12388, 12368, 12348, 12328, 12308, 12288, 12268, 12248, 12228, 12219, 12218, 12217, 12216, 12215, 12214, 12213, 12212, 12211, 12210, 12209, 12208, 12207, 12206, 12205, 12204, 12203, 12202, 12201, 12200, 12188, 12168, 12148, 12128, 12108, 12088, 12068, 12048, 12027, 12007, 11987, 11967, 11947, 11927, 11907, 11887, 11867, 11847, 11827, 11807, 11799, 11798, 11797, 11796, 11795, 11794, 11793, 11792, 11791, 11790, 11789, 11788, 11787, 11786, 11785, 11784, 11783, 11782, 11781, 11780, 11767, 11747, 11727, 11707, 11687, 11667, 11647, 11626, 11606, 11586, 11566, 11546, 11526, 11506, 11486, 11466, 11446, 11426, 11406, 11386, 11379, 11378, 11377, 11376, 11375, 11374, 11373, 11372, 11371, 11370, 11369, 11368, 11367, 11366, 11365, 11364, 11363, 11362, 11361, 11360, 11346, 11326, 11306, 11286, 11266, 11246, 11225, 11205, 11185, 11165, 11145, 11125, 11105, 11085, 11065, 11045, 11025, 11005, 10985, 10965, 10959, 10958, 10957, 10956, 10955, 10954, 10953, 10952, 10951, 10950, 10949, 10948, 10947, 10946, 10945, 10944, 10943, 10942, 10941, 10940, 10925, 10905, 10885, 10865, 10845, 10824, 10804, 10784, 10764, 10744, 10724, 10704, 10684, 10664, 10644, 10624, 10604, 10584, 10564, 10544, 10539, 10538, 10537, 10536, 10535, 10534, 10533, 10532, 10531, 10530, 10529, 10528, 10527, 10526, 10525, 10524, 10523, 10522, 10521, 10520, 10504, 10484, 10464, 10444, 10423, 10403, 10383, 10363, 10343, 10323, 10303, 10283, 10263, 10243, 10223, 10203, 10183, 10163, 10143, 10123, 10119, 10118, 10117, 10116, 10115, 10114, 10113, 10112, 10111, 10110, 10109, 10108, 10107, 10106, 10105, 10104, 10103, 10102, 10101, 10100, 10083, 10063, 10043, 10022, 10002, 9982, 9962, 9942, 9922, 9902, 9882, 9862, 9842, 9822, 9802, 9782, 9762, 9742, 9722, 9702, 9699, 9698, 9697, 9696, 9695, 9694, 9693, 9692, 9691, 9690, 9689, 9688, 9687, 9686, 9685, 9684, 9683, 9682, 9681, 9680, 9662, 9642, 9621, 9601, 9581, 9561, 9541, 9521, 9501, 9481, 9461, 9441, 9421, 9401, 9381, 9361, 9341, 9321, 9301, 9281, 9279, 9278, 9277, 9276, 9275, 9274, 9273, 9272, 9271, 9270, 9269, 9268, 9267, 9266, 9265, 9264, 9263, 9262, 9261, 9260, 9241, 9220, 9200, 9180, 9160, 9140, 9120, 9100, 9080, 9060, 9040, 9020, 9000, 8980, 8960, 8940, 8920, 8900, 8880, 8860, 8859, 8858, 8857, 8856, 8855, 8854, 8853, 8852, 8851, 8850, 8849, 8848, 8847, 8846, 8845, 8844, 8843, 8842, 8841, 8840, 8839, 8838, 8837, 8836, 8835, 8834, 8833, 8832, 8831, 8830, 8829, 8828, 8827, 8826, 8825, 8824, 8823, 8822, 8821, 8820, 8819, 8799, 8779, 8759, 8739, 8719, 8699, 8679, 8659, 8639, 8619, 8599, 8579, 8559, 8539, 8519, 8499, 8479, 8459, 8438, 8419, 8418, 8417, 8416, 8415, 8414, 8413, 8412, 8411, 8410, 8409, 8408, 8407, 8406, 8405, 8404, 8403, 8402, 8401, 8400, 8398, 8378, 8358, 8338, 8318, 8298, 8278, 8258, 8238, 8218, 8198, 8178, 8158, 8138, 8118, 8098, 8078, 8058, 8037, 8017, 7999, 7998, 7997, 7996, 7995, 7994, 7993, 7992, 7991, 7990, 7989, 7988, 7987, 7986, 7985, 7984, 7983, 7982, 7981, 7980, 7977, 7957, 7937, 7917, 7897, 7877, 7857, 7837, 7817, 7797, 7777, 7757, 7737, 7717, 7697, 7677, 7657, 7636, 7616, 7596, 7579, 7578, 7577, 7576, 7575, 7574, 7573, 7572, 7571, 7570, 7569, 7568, 7567, 7566, 7565, 7564, 7563, 7562, 7561, 7560, 7556, 7536, 7516, 7496, 7476, 7456, 7436, 7416, 7396, 7376, 7356, 7336, 7316, 7296, 7276, 7256, 7235, 7215, 7195, 7175, 7159, 7158, 7157, 7156, 7155, 7154, 7153, 7152, 7151, 7150, 7149, 7148, 7147, 7146, 7145, 7144, 7143, 7142, 7141, 7140, 7135, 7115, 7095, 7075, 7055, 7035, 7015, 6995, 6975, 6955, 6935, 6915, 6895, 6875, 6855, 6834, 6814, 6794, 6774, 6754, 6739, 6738, 6737, 6736, 6735, 6734, 6733, 6732, 6731, 6730, 6729, 6728, 6727, 6726, 6725, 6724, 6723, 6722, 6721, 6720, 6714, 6694, 6674, 6654, 6634, 6614, 6594, 6574, 6554, 6534, 6514, 6494, 6474, 6454, 6433, 6413, 6393, 6373, 6353, 6333, 6319, 6318, 6317, 6316, 6315, 6314, 6313, 6312, 6311, 6310, 6309, 6308, 6307, 6306, 6305, 6304, 6303, 6302, 6301, 6300, 6293, 6273, 6253, 6233, 6213, 6193, 6173, 6153, 6133, 6113, 6093, 6073, 6053, 6032, 6012, 5992, 5972, 5952, 5932, 5912, 5899, 5898, 5897, 5896, 5895, 5894, 5893, 5892, 5891, 5890, 5889, 5888, 5887, 5886, 5885, 5884, 5883, 5882, 5881, 5880, 5872, 5852, 5832, 5812, 5792, 5772, 5752, 5732, 5712, 5692, 5672, 5652, 5631, 5611, 5591, 5571, 5551, 5531, 5511, 5491, 5479, 5478, 5477, 5476, 5475, 5474, 5473, 5472, 5471, 5470, 5469, 5468, 5467, 5466, 5465, 5464, 5463, 5462, 5461, 5460, 5451, 5431, 5411, 5391, 5371, 5351, 5331, 5311, 5291, 5271, 5251, 5230, 5210, 5190, 5170, 5150, 5130, 5110, 5090, 5070, 5059, 5058, 5057, 5056, 5055, 5054, 5053, 5052, 5051, 5050, 5049, 5048, 5047, 5046, 5045, 5044, 5043, 5042, 5041, 5040, 5030, 5010, 4990, 4970, 4950, 4930, 4910, 4890, 4870, 4850, 4829, 4809, 4789, 4769, 4749, 4729, 4709, 4689, 4669, 4649, 4639, 4638, 4637, 4636, 4635, 4634, 4633, 4632, 4631, 4630, 4629, 4628, 4627, 4626, 4625, 4624, 4623, 4622, 4621, 4620, 4609, 4589, 4569, 4549, 4529, 4509, 4489, 4469, 4449, 4428, 4408, 4388, 4368, 4348, 4328, 4308, 4288, 4268, 4248, 4228, 4219, 4218, 4217, 4216, 4215, 4214, 4213, 4212, 4211, 4210, 4209, 4208, 4207, 4206, 4205, 4204, 4203, 4202, 4201, 4200, 4188, 4168, 4148, 4128, 4108, 4088, 4068, 4048, 4027, 4007, 3987, 3967, 3947, 3927, 3907, 3887, 3867, 3847, 3827, 3807, 3799, 3798, 3797, 3796, 3795, 3794, 3793, 3792, 3791, 3790, 3789, 3788, 3787, 3786, 3785, 3784, 3783, 3782, 3781, 3780, 3767, 3747, 3727, 3707, 3687, 3667, 3647, 3626, 3606, 3586, 3566, 3546, 3526, 3506, 3486, 3466, 3446, 3426, 3406, 3386, 3379, 3378, 3377, 3376, 3375, 3374, 3373, 3372, 3371, 3370, 3369, 3368, 3367, 3366, 3365, 3364, 3363, 3362, 3361, 3360, 3346, 3326, 3306, 3286, 3266, 3246, 3225, 3205, 3185, 3165, 3145, 3125, 3105, 3085, 3065, 3045, 3025, 3005, 2985, 2965, 2959, 2958, 2957, 2956, 2955, 2954, 2953, 2952, 2951, 2950, 2949, 2948, 2947, 2946, 2945, 2944, 2943, 2942, 2941, 2940, 2925, 2905, 2885, 2865, 2845, 2824, 2804, 2784, 2764, 2744, 2724, 2704, 2684, 2664, 2644, 2624, 2604, 2584, 2564, 2544, 2539, 2538, 2537, 2536, 2535, 2534, 2533, 2532, 2531, 2530, 2529, 2528, 2527, 2526, 2525, 2524, 2523, 2522, 2521, 2520, 2504, 2484, 2464, 2444, 2423, 2403, 2383, 2363, 2343, 2323, 2303, 2283, 2263, 2243, 2223, 2203, 2183, 2163, 2143, 2123, 2119, 2118, 2117, 2116, 2115, 2114, 2113, 2112, 2111, 2110, 2109, 2108, 2107, 2106, 2105, 2104, 2103, 2102, 2101, 2100, 2083, 2063, 2043, 2022, 2002, 1982, 1962, 1942, 1922, 1902, 1882, 1862, 1842, 1822, 1802, 1782, 1762, 1742, 1722, 1702, 1699, 1698, 1697, 1696, 1695, 1694, 1693, 1692, 1691, 1690, 1689, 1688, 1687, 1686, 1685, 1684, 1683, 1682, 1681, 1680, 1662, 1642, 1621, 1601, 1581, 1561, 1541, 1521, 1501, 1481, 1461, 1441, 1421, 1401, 1381, 1361, 1341, 1321, 1301, 1281, 1279, 1278, 1277, 1276, 1275, 1274, 1273, 1272, 1271, 1270, 1269, 1268, 1267, 1266, 1265, 1264, 1263, 1262, 1261, 1260, 1241, 1220, 1200, 1180, 1160, 1140, 1120, 1100, 1080, 1060, 1040, 1020, 1000, 980, 960, 940, 920, 900, 880, 860, 859, 858, 857, 856, 855, 854, 853, 852, 851, 850, 849, 848, 847, 846, 845, 844, 843, 842, 841, 840]
Starting structural reductions, iteration 1 : 540/540 places, 15470/17030 transitions.
Applied a total of 0 rules in 2056 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 540/540 places, 15470/17030 transitions.
[2021-05-16 14:48:20] [INFO ] Flatten gal took : 1055 ms
[2021-05-16 14:48:21] [INFO ] Flatten gal took : 745 ms
[2021-05-16 14:48:21] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1858802469458482408.gal : 122 ms
[2021-05-16 14:48:21] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality969484589896895758.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1858802469458482408.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality969484589896895758.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality1858802469458482408.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality969484589896895758.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality969484589896895758.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 102
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :102 after 103
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :103 after 109
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :109 after 133
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :133 after 141
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :141 after 213
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :213 after 295
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :295 after 607
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :607 after 1369
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :1369 after 2700
Detected timeout of ITS tools.
[2021-05-16 14:48:37] [INFO ] Flatten gal took : 653 ms
[2021-05-16 14:48:37] [INFO ] Applying decomposition
[2021-05-16 14:48:38] [INFO ] Flatten gal took : 635 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16823715996297417759.txt, -o, /tmp/graph16823715996297417759.bin, -w, /tmp/graph16823715996297417759.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16823715996297417759.bin, -l, -1, -v, -w, /tmp/graph16823715996297417759.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 14:48:40] [INFO ] Decomposing Gal with order
[2021-05-16 14:48:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 14:50:42] [INFO ] Removed a total of 46130 redundant transitions.
[2021-05-16 14:50:47] [INFO ] Flatten gal took : 126137 ms
[2021-05-16 14:50:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 14060 labels/synchronizations in 4735 ms.
[2021-05-16 14:50:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7894293386052673851.gal : 122 ms
[2021-05-16 14:50:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6278439761617343259.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality7894293386052673851.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6278439761617343259.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality7894293386052673851.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6278439761617343259.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6278439761617343259.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 7
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :7 after 10
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :10 after 14
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :14 after 28
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :28 after 37
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :37 after 116
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :116 after 196
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :196 after 472
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :472 after 1262
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :1262 after 2094
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6987099061056447558
[2021-05-16 14:51:12] [INFO ] Built C files in 169ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6987099061056447558
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6987099061056447558]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6987099061056447558] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6987099061056447558] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 731522 steps, including 83861 resets, run timeout after 30001 ms. (steps per millisecond=24 ) properties seen :{}
Incomplete Best-First random walk after 1000000 steps, including 3524 resets, run finished after 4059 ms. (steps per millisecond=246 ) properties (out of 5) seen :0
Incomplete Best-First random walk after 1000001 steps, including 3545 resets, run finished after 2159 ms. (steps per millisecond=463 ) properties (out of 5) seen :0
Interrupted Best-First random walk after 649358 steps, including 2231 resets, run timeout after 5001 ms. (steps per millisecond=129 ) properties seen :{}
Incomplete Best-First random walk after 1000001 steps, including 2810 resets, run finished after 2356 ms. (steps per millisecond=424 ) properties (out of 5) seen :0
Interrupted Best-First random walk after 653938 steps, including 2310 resets, run timeout after 5001 ms. (steps per millisecond=130 ) properties seen :{}
Interrupted probabilistic random walk after 567940 steps, run timeout after 30001 ms. (steps per millisecond=18 ) properties seen :{}
Probabilistic random walk after 567940 steps, saw 146345 distinct states, run finished after 30001 ms. (steps per millisecond=18 ) properties seen :{}
Running SMT prover for 5 properties.
// Phase 1: matrix 15470 rows 540 cols
[2021-05-16 14:52:33] [INFO ] Computed 79 place invariants in 1657 ms
[2021-05-16 14:52:34] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:5
[2021-05-16 14:52:34] [INFO ] [Nat]Absence check using 15 positive place invariants in 5 ms returned sat
[2021-05-16 14:52:34] [INFO ] [Nat]Absence check using 15 positive and 64 generalized place invariants in 74 ms returned sat
[2021-05-16 14:52:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 14:52:46] [INFO ] [Nat]Absence check using state equation in 11887 ms returned unsat :0 sat :5
[2021-05-16 14:52:46] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2021-05-16 14:52:48] [INFO ] [Nat]Added 8020 Read/Feed constraints in 1942 ms returned sat
[2021-05-16 14:53:34] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :0
Incomplete Parikh walk after 35300 steps, including 1002 resets, run finished after 1171 ms. (steps per millisecond=30 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 36500 steps, including 1002 resets, run finished after 1524 ms. (steps per millisecond=23 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 53200 steps, including 1002 resets, run finished after 1614 ms. (steps per millisecond=32 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 38600 steps, including 1002 resets, run finished after 1199 ms. (steps per millisecond=32 ) properties (out of 5) seen :0 could not realise parikh vector
Incomplete Parikh walk after 39000 steps, including 1002 resets, run finished after 1247 ms. (steps per millisecond=31 ) properties (out of 5) seen :0 could not realise parikh vector
Support contains 540 out of 540 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 2151 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Starting structural reductions, iteration 0 : 540/540 places, 15470/15470 transitions.
Applied a total of 0 rules in 2091 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
// Phase 1: matrix 15470 rows 540 cols
[2021-05-16 14:53:47] [INFO ] Computed 79 place invariants in 1830 ms
[2021-05-16 14:53:48] [INFO ] Implicit Places using invariants in 2451 ms returned []
Implicit Place search using SMT only with invariants took 2457 ms to find 0 implicit places.
// Phase 1: matrix 15470 rows 540 cols
[2021-05-16 14:53:49] [INFO ] Computed 79 place invariants in 1696 ms
[2021-05-16 14:53:56] [INFO ] Dead Transitions using invariants and state equation in 8581 ms returned []
Finished structural reductions, in 1 iterations. Remains : 540/540 places, 15470/15470 transitions.
Incomplete random walk after 100000 steps, including 11464 resets, run finished after 3633 ms. (steps per millisecond=27 ) properties (out of 5) seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 15470 rows 540 cols
[2021-05-16 14:54:02] [INFO ] Computed 79 place invariants in 1680 ms
[2021-05-16 14:54:02] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:5
[2021-05-16 14:54:02] [INFO ] [Nat]Absence check using 15 positive place invariants in 5 ms returned sat
[2021-05-16 14:54:02] [INFO ] [Nat]Absence check using 15 positive and 64 generalized place invariants in 38 ms returned sat
[2021-05-16 14:54:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 14:54:15] [INFO ] [Nat]Absence check using state equation in 12713 ms returned unsat :0 sat :5
[2021-05-16 14:54:15] [INFO ] State equation strengthened by 8020 read => feed constraints.
[2021-05-16 14:54:18] [INFO ] [Nat]Added 8020 Read/Feed constraints in 3061 ms returned sat
[2021-05-16 14:55:09] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :0
[2021-05-16 14:55:10] [INFO ] Flatten gal took : 962 ms
[2021-05-16 14:55:11] [INFO ] Flatten gal took : 636 ms
[2021-05-16 14:55:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11005606655783552078.gal : 59 ms
[2021-05-16 14:55:11] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12507191958923811499.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality11005606655783552078.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12507191958923811499.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality11005606655783552078.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12507191958923811499.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12507191958923811499.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 102
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :102 after 103
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :103 after 109
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :109 after 133
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :133 after 141
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :141 after 213
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :213 after 295
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :295 after 607
Detected timeout of ITS tools.
[2021-05-16 14:55:27] [INFO ] Flatten gal took : 719 ms
[2021-05-16 14:55:27] [INFO ] Applying decomposition
[2021-05-16 14:55:27] [INFO ] Flatten gal took : 740 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph12824363059629444291.txt, -o, /tmp/graph12824363059629444291.bin, -w, /tmp/graph12824363059629444291.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph12824363059629444291.bin, -l, -1, -v, -w, /tmp/graph12824363059629444291.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 14:55:30] [INFO ] Decomposing Gal with order
[2021-05-16 14:55:30] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 14:57:53] [INFO ] Removed a total of 44570 redundant transitions.
[2021-05-16 14:57:56] [INFO ] Flatten gal took : 145348 ms
[2021-05-16 14:58:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 14060 labels/synchronizations in 4688 ms.
[2021-05-16 14:58:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13286453079473310682.gal : 103 ms
[2021-05-16 14:58:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality51628248794939506.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13286453079473310682.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality51628248794939506.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality13286453079473310682.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality51628248794939506.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality51628248794939506.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :4 after 10
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :10 after 20
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :20 after 28
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :28 after 46
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :46 after 90
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :90 after 235
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :235 after 444
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :444 after 1154
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :1154 after 2168
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4275322836257088133
[2021-05-16 14:58:19] [INFO ] Built C files in 397ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4275322836257088133
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4275322836257088133]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4275322836257088133] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4275322836257088133] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Applied a total of 0 rules in 747 ms. Remains 540 /540 variables (removed 0) and now considering 15470/15470 (removed 0) transitions.
Running SMT prover for 5 properties.
// Phase 1: matrix 15470 rows 540 cols
[2021-05-16 14:58:23] [INFO ] Computed 79 place invariants in 1664 ms
[2021-05-16 14:58:23] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:5
[2021-05-16 14:58:23] [INFO ] [Nat]Absence check using 15 positive place invariants in 6 ms returned sat
[2021-05-16 14:58:23] [INFO ] [Nat]Absence check using 15 positive and 64 generalized place invariants in 78 ms returned sat
[2021-05-16 14:58:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-16 14:58:40] [INFO ] [Nat]Absence check using state equation in 16136 ms returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 3663 ms.
[2021-05-16 14:58:43] [INFO ] SMT Verify possible in nat domain returned unsat :0 sat :5
[2021-05-16 14:58:44] [INFO ] Flatten gal took : 827 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin6104924330466732698
[2021-05-16 14:58:46] [INFO ] Too many transitions (15470) to apply POR reductions. Disabling POR matrices.
[2021-05-16 14:58:46] [INFO ] Built C files in 626ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6104924330466732698
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6104924330466732698]
[2021-05-16 14:58:46] [INFO ] Applying decomposition
[2021-05-16 14:58:47] [INFO ] Flatten gal took : 2235 ms
[2021-05-16 14:58:49] [INFO ] Flatten gal took : 3058 ms
[2021-05-16 14:58:50] [INFO ] Input system was already deterministic with 15470 transitions.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph4685345354128954706.txt, -o, /tmp/graph4685345354128954706.bin, -w, /tmp/graph4685345354128954706.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph4685345354128954706.bin, -l, -1, -v, -w, /tmp/graph4685345354128954706.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-16 14:58:54] [INFO ] Decomposing Gal with order
[2021-05-16 14:58:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 14:58:57] [INFO ] Ran tautology test, simplified 0 / 5 in 9632 ms.
[2021-05-16 14:58:57] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-02(UNSAT) depth K=0 took 66 ms
[2021-05-16 14:58:57] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-04(UNSAT) depth K=0 took 60 ms
[2021-05-16 14:58:57] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-08(UNSAT) depth K=0 took 47 ms
[2021-05-16 14:58:57] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-13(UNSAT) depth K=0 took 49 ms
[2021-05-16 14:58:57] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-15(UNSAT) depth K=0 took 50 ms
[2021-05-16 14:58:59] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-02(UNSAT) depth K=1 took 1888 ms
[2021-05-16 14:59:01] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-04(UNSAT) depth K=1 took 2023 ms
[2021-05-16 14:59:02] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-08(UNSAT) depth K=1 took 857 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 15470 rows 540 cols
[2021-05-16 14:59:03] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-13(UNSAT) depth K=1 took 409 ms
[2021-05-16 14:59:05] [INFO ] Computed 79 place invariants in 2778 ms
inv : -Neighbourhood_1 - Neighbourhood_3 - Neighbourhood_14 - Neighbourhood_16 - Neighbourhood_19 + Neighbourhood_20 + Neighbourhood_22 + Neighbourhood_24 + Neighbourhood_25 + Neighbourhood_26 + Neighbourhood_27 + Neighbourhood_28 + Neighbourhood_29 + Neighbourhood_30 + Neighbourhood_31 + Neighbourhood_32 + Neighbourhood_33 + Neighbourhood_35 + Neighbourhood_37 + Neighbourhood_38 - Neighbourhood_41 - Neighbourhood_43 - Neighbourhood_54 - Neighbourhood_56 - Neighbourhood_59 + Neighbourhood_60 + Neighbourhood_62 + Neighbourhood_64 + Neighbourhood_65 + Neighbourhood_66 + Neighbourhood_67 + Neighbourhood_68 + Neighbourhood_69 + Neighbourhood_70 + Neighbourhood_71 + Neighbourhood_72 + Neighbourhood_73 + Neighbourhood_75 + Neighbourhood_77 + Neighbourhood_78 - Neighbourhood_81 - Neighbourhood_83 - Neighbourhood_94 - Neighbourhood_96 - Neighbourhood_99 - Neighbourhood_101 - Neighbourhood_103 - Neighbourhood_114 - Neighbourhood_116 - Neighbourhood_119 - Neighbourhood_121 - Neighbourhood_123 - Neighbourhood_134 - Neighbourhood_136 - Neighbourhood_139 - Neighbourhood_141 - Neighbourhood_143 - Neighbourhood_154 - Neighbourhood_156 - Neighbourhood_159 - Neighbourhood_161 - Neighbourhood_163 - Neighbourhood_174 - Neighbourhood_176 - Neighbourhood_179 - Neighbourhood_181 - Neighbourhood_183 - Neighbourhood_194 - Neighbourhood_196 - Neighbourhood_199 - Neighbourhood_201 - Neighbourhood_203 - Neighbourhood_214 - Neighbourhood_216 - Neighbourhood_219 - Neighbourhood_221 - Neighbourhood_223 - Neighbourhood_234 - Neighbourhood_236 - Neighbourhood_239 - Neighbourhood_241 - Neighbourhood_243 - Neighbourhood_254 - Neighbourhood_256 - Neighbourhood_259 - Neighbourhood_261 - Neighbourhood_263 - Neighbourhood_274 - Neighbourhood_276 - Neighbourhood_279 + Neighbourhood_280 + Neighbourhood_282 + Neighbourhood_284 + Neighbourhood_285 + Neighbourhood_286 + Neighbourhood_287 + Neighbourhood_288 + Neighbourhood_289 + Neighbourhood_290 + Neighbourhood_291 + Neighbourhood_292 + Neighbourhood_293 + Neighbourhood_295 + Neighbourhood_297 + Neighbourhood_298 - Neighbourhood_301 - Neighbourhood_303 - Neighbourhood_314 - Neighbourhood_316 - Neighbourhood_319 + Neighbourhood_320 + Neighbourhood_322 + Neighbourhood_324 + Neighbourhood_325 + Neighbourhood_326 + Neighbourhood_327 + Neighbourhood_328 + Neighbourhood_329 + Neighbourhood_330 + Neighbourhood_331 + Neighbourhood_332 + Neighbourhood_333 + Neighbourhood_335 + Neighbourhood_337 + Neighbourhood_338 - Neighbourhood_341 - Neighbourhood_343 - Neighbourhood_354 - Neighbourhood_356 - Neighbourhood_359 - Neighbourhood_361 - Neighbourhood_363 - Neighbourhood_374 - Neighbourhood_376 - Neighbourhood_379 + Neighbourhood_380 + Neighbourhood_382 + Neighbourhood_384 + Neighbourhood_385 + Neighbourhood_386 + Neighbourhood_387 + Neighbourhood_388 + Neighbourhood_389 + Neighbourhood_390 + Neighbourhood_391 + Neighbourhood_392 + Neighbourhood_393 + Neighbourhood_395 + Neighbourhood_397 + Neighbourhood_398 = 0
inv : HasRight_3 + WaitRight_3 + Think_3 - Neighbourhood_3 - Neighbourhood_23 - Neighbourhood_43 - Neighbourhood_63 - Neighbourhood_83 - Neighbourhood_103 - Neighbourhood_123 - Neighbourhood_143 - Neighbourhood_163 - Neighbourhood_183 - Neighbourhood_203 - Neighbourhood_223 - Neighbourhood_243 - Neighbourhood_263 - Neighbourhood_283 - Neighbourhood_303 - Neighbourhood_323 - Neighbourhood_343 - Neighbourhood_363 - Neighbourhood_383 = 0
inv : HasLeft_10 + WaitLeft_10 + Think_10 - Neighbourhood_5 - Neighbourhood_10 - Neighbourhood_13 - Neighbourhood_25 - Neighbourhood_30 - Neighbourhood_33 - Neighbourhood_45 - Neighbourhood_50 - Neighbourhood_53 - Neighbourhood_65 - Neighbourhood_70 - Neighbourhood_73 - Neighbourhood_85 - Neighbourhood_90 - Neighbourhood_93 + Neighbourhood_100 + Neighbourhood_101 + Neighbourhood_102 + Neighbourhood_103 + Neighbourhood_104 + Neighbourhood_106 + Neighbourhood_107 + Neighbourhood_108 + Neighbourhood_109 + Neighbourhood_111 + Neighbourhood_112 + Neighbourhood_114 + Neighbourhood_115 + Neighbourhood_116 + Neighbourhood_117 + Neighbourhood_118 + Neighbourhood_119 - Neighbourhood_125 - Neighbourhood_130 - Neighbourhood_133 - Neighbourhood_145 - Neighbourhood_150 - Neighbourhood_153 - Neighbourhood_165 - Neighbourhood_170 - Neighbourhood_173 - Neighbourhood_185 - Neighbourhood_190 - Neighbourhood_193 - Neighbourhood_205 - Neighbourhood_210 - Neighbourhood_213 - Neighbourhood_225 - Neighbourhood_230 - Neighbourhood_233 - Neighbourhood_245 - Neighbourhood_250 - Neighbourhood_253 + Neighbourhood_260 + Neighbourhood_261 + Neighbourhood_262 + Neighbourhood_263 + Neighbourhood_264 + Neighbourhood_266 + Neighbourhood_267 + Neighbourhood_268 + Neighbourhood_269 + Neighbourhood_271 + Neighbourhood_272 + Neighbourhood_274 + Neighbourhood_275 + Neighbourhood_276 + Neighbourhood_277 + Neighbourhood_278 + Neighbourhood_279 - Neighbourhood_285 - Neighbourhood_290 - Neighbourhood_293 - Neighbourhood_305 - Neighbourhood_310 - Neighbourhood_313 - Neighbourhood_325 - Neighbourhood_330 - Neighbourhood_333 - Neighbourhood_345 - Neighbourhood_350 - Neighbourhood_353 - Neighbourhood_365 - Neighbourhood_370 - Neighbourhood_373 - Neighbourhood_385 - Neighbourhood_390 - Neighbourhood_393 = 0
inv : Outside_6 + Neighbourhood_120 + Neighbourhood_121 + Neighbourhood_122 + Neighbourhood_123 + Neighbourhood_124 + Neighbourhood_125 + Neighbourhood_126 + Neighbourhood_127 + Neighbourhood_128 + Neighbourhood_129 + Neighbourhood_130 + Neighbourhood_131 + Neighbourhood_132 + Neighbourhood_133 + Neighbourhood_134 + Neighbourhood_135 + Neighbourhood_136 + Neighbourhood_137 + Neighbourhood_138 + Neighbourhood_139 = 1
inv : HasRight_14 + WaitRight_14 + Think_14 - Neighbourhood_280 - Neighbourhood_281 - Neighbourhood_282 - Neighbourhood_283 - Neighbourhood_284 - Neighbourhood_285 - Neighbourhood_286 - Neighbourhood_287 - Neighbourhood_288 - Neighbourhood_289 - Neighbourhood_290 - Neighbourhood_291 - Neighbourhood_292 - Neighbourhood_293 - Neighbourhood_294 - Neighbourhood_295 - Neighbourhood_296 - Neighbourhood_297 - Neighbourhood_298 - Neighbourhood_299 = 0
inv : HasRight_5 + WaitRight_5 + Think_5 - Neighbourhood_5 - Neighbourhood_25 - Neighbourhood_45 - Neighbourhood_65 - Neighbourhood_85 - Neighbourhood_105 - Neighbourhood_125 - Neighbourhood_145 - Neighbourhood_165 - Neighbourhood_185 - Neighbourhood_205 - Neighbourhood_225 - Neighbourhood_245 - Neighbourhood_265 - Neighbourhood_285 - Neighbourhood_305 - Neighbourhood_325 - Neighbourhood_345 - Neighbourhood_365 - Neighbourhood_385 = 0
inv : HasLeft_2 + WaitLeft_2 + Think_2 - Neighbourhood_2 - Neighbourhood_15 - Neighbourhood_22 - Neighbourhood_35 - Neighbourhood_42 - Neighbourhood_55 - Neighbourhood_62 - Neighbourhood_75 - Neighbourhood_82 - Neighbourhood_95 - Neighbourhood_102 - Neighbourhood_115 - Neighbourhood_122 - Neighbourhood_135 - Neighbourhood_142 - Neighbourhood_155 - Neighbourhood_162 - Neighbourhood_175 - Neighbourhood_182 - Neighbourhood_195 - Neighbourhood_202 - Neighbourhood_215 - Neighbourhood_222 - Neighbourhood_235 - Neighbourhood_242 - Neighbourhood_255 - Neighbourhood_262 - Neighbourhood_275 - Neighbourhood_282 - Neighbourhood_295 + Neighbourhood_300 + Neighbourhood_301 + Neighbourhood_303 + Neighbourhood_304 + Neighbourhood_305 + Neighbourhood_306 + Neighbourhood_307 + Neighbourhood_308 + Neighbourhood_309 + Neighbourhood_310 + Neighbourhood_311 + Neighbourhood_312 + Neighbourhood_313 + Neighbourhood_314 + Neighbourhood_316 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_319 - Neighbourhood_322 - Neighbourhood_335 - Neighbourhood_342 - Neighbourhood_355 - Neighbourhood_362 - Neighbourhood_375 - Neighbourhood_382 - Neighbourhood_395 = 0
inv : Outside_14 + Neighbourhood_280 + Neighbourhood_281 + Neighbourhood_282 + Neighbourhood_283 + Neighbourhood_284 + Neighbourhood_285 + Neighbourhood_286 + Neighbourhood_287 + Neighbourhood_288 + Neighbourhood_289 + Neighbourhood_290 + Neighbourhood_291 + Neighbourhood_292 + Neighbourhood_293 + Neighbourhood_294 + Neighbourhood_295 + Neighbourhood_296 + Neighbourhood_297 + Neighbourhood_298 + Neighbourhood_299 = 1
inv : Neighbourhood_5 + Neighbourhood_7 + Neighbourhood_10 + Neighbourhood_13 + Neighbourhood_17 + Neighbourhood_18 + Neighbourhood_25 + Neighbourhood_27 + Neighbourhood_30 + Neighbourhood_33 + Neighbourhood_37 + Neighbourhood_38 + Neighbourhood_45 + Neighbourhood_47 + Neighbourhood_50 + Neighbourhood_53 + Neighbourhood_57 + Neighbourhood_58 + Neighbourhood_65 + Neighbourhood_67 + Neighbourhood_70 + Neighbourhood_73 + Neighbourhood_77 + Neighbourhood_78 + Neighbourhood_85 + Neighbourhood_87 + Neighbourhood_90 + Neighbourhood_93 + Neighbourhood_97 + Neighbourhood_98 - Neighbourhood_100 - Neighbourhood_101 - Neighbourhood_102 - Neighbourhood_103 - Neighbourhood_104 - Neighbourhood_106 - Neighbourhood_108 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_112 - Neighbourhood_114 - Neighbourhood_115 - Neighbourhood_116 - Neighbourhood_119 + Neighbourhood_125 + Neighbourhood_127 + Neighbourhood_130 + Neighbourhood_133 + Neighbourhood_137 + Neighbourhood_138 - Neighbourhood_140 - Neighbourhood_141 - Neighbourhood_142 - Neighbourhood_143 - Neighbourhood_144 - Neighbourhood_146 - Neighbourhood_148 - Neighbourhood_149 - Neighbourhood_151 - Neighbourhood_152 - Neighbourhood_154 - Neighbourhood_155 - Neighbourhood_156 - Neighbourhood_159 + Neighbourhood_165 + Neighbourhood_167 + Neighbourhood_170 + Neighbourhood_173 + Neighbourhood_177 + Neighbourhood_178 + Neighbourhood_185 + Neighbourhood_187 + Neighbourhood_190 + Neighbourhood_193 + Neighbourhood_197 + Neighbourhood_198 - Neighbourhood_200 - Neighbourhood_201 - Neighbourhood_202 - Neighbourhood_203 - Neighbourhood_204 - Neighbourhood_206 - Neighbourhood_208 - Neighbourhood_209 - Neighbourhood_211 - Neighbourhood_212 - Neighbourhood_214 - Neighbourhood_215 - Neighbourhood_216 - Neighbourhood_219 + Neighbourhood_225 + Neighbourhood_227 + Neighbourhood_230 + Neighbourhood_233 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_245 + Neighbourhood_247 + Neighbourhood_250 + Neighbourhood_253 + Neighbourhood_257 + Neighbourhood_258 - Neighbourhood_260 - Neighbourhood_261 - Neighbourhood_262 - Neighbourhood_263 - Neighbourhood_264 - Neighbourhood_266 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_272 - Neighbourhood_274 - Neighbourhood_275 - Neighbourhood_276 - Neighbourhood_279 + Neighbourhood_285 + Neighbourhood_287 + Neighbourhood_290 + Neighbourhood_293 + Neighbourhood_297 + Neighbourhood_298 + Neighbourhood_305 + Neighbourhood_307 + Neighbourhood_310 + Neighbourhood_313 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_325 + Neighbourhood_327 + Neighbourhood_330 + Neighbourhood_333 + Neighbourhood_337 + Neighbourhood_338 - Neighbourhood_340 - Neighbourhood_341 - Neighbourhood_342 - Neighbourhood_343 - Neighbourhood_344 - Neighbourhood_346 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_351 - Neighbourhood_352 - Neighbourhood_354 - Neighbourhood_355 - Neighbourhood_356 - Neighbourhood_359 - Neighbourhood_360 - Neighbourhood_361 - Neighbourhood_362 - Neighbourhood_363 - Neighbourhood_364 - Neighbourhood_366 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_371 - Neighbourhood_372 - Neighbourhood_374 - Neighbourhood_375 - Neighbourhood_376 - Neighbourhood_379 + Neighbourhood_385 + Neighbourhood_387 + Neighbourhood_390 + Neighbourhood_393 + Neighbourhood_397 + Neighbourhood_398 = 0
inv : Neighbourhood_14 + Neighbourhood_34 + Neighbourhood_54 + Neighbourhood_74 + Neighbourhood_94 + Neighbourhood_114 + Neighbourhood_134 + Neighbourhood_154 + Neighbourhood_174 + Neighbourhood_194 + Neighbourhood_214 + Neighbourhood_234 + Neighbourhood_254 + Neighbourhood_274 - Neighbourhood_280 - Neighbourhood_281 - Neighbourhood_282 - Neighbourhood_283 - Neighbourhood_284 - Neighbourhood_285 - Neighbourhood_286 - Neighbourhood_287 - Neighbourhood_288 - Neighbourhood_289 - Neighbourhood_290 - Neighbourhood_291 - Neighbourhood_292 - Neighbourhood_293 - Neighbourhood_295 - Neighbourhood_296 - Neighbourhood_297 - Neighbourhood_298 - Neighbourhood_299 + Neighbourhood_314 + Neighbourhood_334 + Neighbourhood_354 + Neighbourhood_374 + Neighbourhood_394 = 0
inv : Neighbourhood_13 + Neighbourhood_33 + Neighbourhood_53 + Neighbourhood_73 + Neighbourhood_93 + Neighbourhood_113 + Neighbourhood_133 + Neighbourhood_153 + Neighbourhood_173 + Neighbourhood_193 + Neighbourhood_213 + Neighbourhood_233 + Neighbourhood_253 - Neighbourhood_260 - Neighbourhood_261 - Neighbourhood_262 - Neighbourhood_263 - Neighbourhood_264 - Neighbourhood_265 - Neighbourhood_266 - Neighbourhood_267 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_270 - Neighbourhood_271 - Neighbourhood_272 - Neighbourhood_274 - Neighbourhood_275 - Neighbourhood_276 - Neighbourhood_277 - Neighbourhood_278 - Neighbourhood_279 + Neighbourhood_293 + Neighbourhood_313 + Neighbourhood_333 + Neighbourhood_353 + Neighbourhood_373 + Neighbourhood_393 = 0
inv : HasLeft_9 + WaitLeft_9 + Think_9 - Neighbourhood_9 - Neighbourhood_29 - Neighbourhood_49 - Neighbourhood_69 - Neighbourhood_89 - Neighbourhood_109 - Neighbourhood_129 - Neighbourhood_149 - Neighbourhood_169 - Neighbourhood_189 - Neighbourhood_209 - Neighbourhood_229 - Neighbourhood_249 - Neighbourhood_269 - Neighbourhood_289 - Neighbourhood_309 - Neighbourhood_329 - Neighbourhood_349 - Neighbourhood_369 - Neighbourhood_389 = 0
inv : HasLeft_8 + WaitLeft_8 + Think_8 - Neighbourhood_2 - Neighbourhood_6 - Neighbourhood_8 - Neighbourhood_9 - Neighbourhood_11 - Neighbourhood_15 - Neighbourhood_22 - Neighbourhood_26 - Neighbourhood_28 - Neighbourhood_29 - Neighbourhood_31 - Neighbourhood_35 + Neighbourhood_40 + Neighbourhood_41 + Neighbourhood_43 + Neighbourhood_44 + Neighbourhood_45 + Neighbourhood_47 + Neighbourhood_50 + Neighbourhood_52 + Neighbourhood_53 + Neighbourhood_54 + Neighbourhood_56 + Neighbourhood_57 + Neighbourhood_58 + Neighbourhood_59 - Neighbourhood_62 - Neighbourhood_66 - Neighbourhood_68 - Neighbourhood_69 - Neighbourhood_71 - Neighbourhood_75 - Neighbourhood_82 - Neighbourhood_86 - Neighbourhood_88 - Neighbourhood_89 - Neighbourhood_91 - Neighbourhood_95 - Neighbourhood_102 - Neighbourhood_106 - Neighbourhood_108 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_115 + Neighbourhood_120 + Neighbourhood_121 + Neighbourhood_123 + Neighbourhood_124 + Neighbourhood_125 + Neighbourhood_127 + Neighbourhood_130 + Neighbourhood_132 + Neighbourhood_133 + Neighbourhood_134 + Neighbourhood_136 + Neighbourhood_137 + Neighbourhood_138 + Neighbourhood_139 - Neighbourhood_142 - Neighbourhood_146 - Neighbourhood_148 - Neighbourhood_149 - Neighbourhood_151 - Neighbourhood_155 - Neighbourhood_162 - Neighbourhood_166 - Neighbourhood_168 - Neighbourhood_169 - Neighbourhood_171 - Neighbourhood_175 + Neighbourhood_180 + Neighbourhood_181 + Neighbourhood_183 + Neighbourhood_184 + Neighbourhood_185 + Neighbourhood_187 + Neighbourhood_190 + Neighbourhood_192 + Neighbourhood_193 + Neighbourhood_194 + Neighbourhood_196 + Neighbourhood_197 + Neighbourhood_198 + Neighbourhood_199 - Neighbourhood_202 - Neighbourhood_206 - Neighbourhood_208 - Neighbourhood_209 - Neighbourhood_211 - Neighbourhood_215 + Neighbourhood_220 + Neighbourhood_221 + Neighbourhood_223 + Neighbourhood_224 + Neighbourhood_225 + Neighbourhood_227 + Neighbourhood_230 + Neighbourhood_232 + Neighbourhood_233 + Neighbourhood_234 + Neighbourhood_236 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_239 - Neighbourhood_242 - Neighbourhood_246 - Neighbourhood_248 - Neighbourhood_249 - Neighbourhood_251 - Neighbourhood_255 - Neighbourhood_262 - Neighbourhood_266 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_275 - Neighbourhood_282 - Neighbourhood_286 - Neighbourhood_288 - Neighbourhood_289 - Neighbourhood_291 - Neighbourhood_295 + Neighbourhood_300 + Neighbourhood_301 + Neighbourhood_303 + Neighbourhood_304 + Neighbourhood_305 + Neighbourhood_307 + Neighbourhood_310 + Neighbourhood_312 + Neighbourhood_313 + Neighbourhood_314 + Neighbourhood_316 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_319 - Neighbourhood_322 - Neighbourhood_326 - Neighbourhood_328 - Neighbourhood_329 - Neighbourhood_331 - Neighbourhood_335 - Neighbourhood_342 - Neighbourhood_346 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_351 - Neighbourhood_355 - Neighbourhood_362 - Neighbourhood_366 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_371 - Neighbourhood_375 - Neighbourhood_382 - Neighbourhood_386 - Neighbourhood_388 - Neighbourhood_389 - Neighbourhood_391 - Neighbourhood_395 = 0
inv : HasRight_1 + WaitRight_1 + Think_1 - Neighbourhood_1 - Neighbourhood_21 - Neighbourhood_41 - Neighbourhood_61 - Neighbourhood_81 - Neighbourhood_101 - Neighbourhood_121 - Neighbourhood_141 - Neighbourhood_161 - Neighbourhood_181 - Neighbourhood_201 - Neighbourhood_221 - Neighbourhood_241 - Neighbourhood_261 - Neighbourhood_281 - Neighbourhood_301 - Neighbourhood_321 - Neighbourhood_341 - Neighbourhood_361 - Neighbourhood_381 = 0
inv : -Neighbourhood_5 - Neighbourhood_10 - Neighbourhood_13 - Neighbourhood_25 - Neighbourhood_30 - Neighbourhood_33 - Neighbourhood_45 - Neighbourhood_50 - Neighbourhood_53 - Neighbourhood_65 - Neighbourhood_70 - Neighbourhood_73 - Neighbourhood_85 - Neighbourhood_90 - Neighbourhood_93 + Neighbourhood_100 + Neighbourhood_101 + Neighbourhood_102 + Neighbourhood_103 + Neighbourhood_104 + Neighbourhood_106 + Neighbourhood_107 + Neighbourhood_108 + Neighbourhood_109 + Neighbourhood_111 + Neighbourhood_112 + Neighbourhood_114 + Neighbourhood_115 + Neighbourhood_116 + Neighbourhood_117 + Neighbourhood_118 + Neighbourhood_119 - Neighbourhood_125 - Neighbourhood_130 - Neighbourhood_133 - Neighbourhood_145 - Neighbourhood_150 - Neighbourhood_153 - Neighbourhood_165 - Neighbourhood_170 - Neighbourhood_173 - Neighbourhood_185 - Neighbourhood_190 - Neighbourhood_193 + Neighbourhood_200 + Neighbourhood_201 + Neighbourhood_202 + Neighbourhood_203 + Neighbourhood_204 + Neighbourhood_206 + Neighbourhood_207 + Neighbourhood_208 + Neighbourhood_209 + Neighbourhood_211 + Neighbourhood_212 + Neighbourhood_214 + Neighbourhood_215 + Neighbourhood_216 + Neighbourhood_217 + Neighbourhood_218 + Neighbourhood_219 - Neighbourhood_225 - Neighbourhood_230 - Neighbourhood_233 - Neighbourhood_245 - Neighbourhood_250 - Neighbourhood_253 + Neighbourhood_260 + Neighbourhood_261 + Neighbourhood_262 + Neighbourhood_263 + Neighbourhood_264 + Neighbourhood_266 + Neighbourhood_267 + Neighbourhood_268 + Neighbourhood_269 + Neighbourhood_271 + Neighbourhood_272 + Neighbourhood_274 + Neighbourhood_275 + Neighbourhood_276 + Neighbourhood_277 + Neighbourhood_278 + Neighbourhood_279 - Neighbourhood_285 - Neighbourhood_290 - Neighbourhood_293 - Neighbourhood_305 - Neighbourhood_310 - Neighbourhood_313 - Neighbourhood_325 - Neighbourhood_330 - Neighbourhood_333 - Neighbourhood_345 - Neighbourhood_350 - Neighbourhood_353 - Neighbourhood_365 - Neighbourhood_370 - Neighbourhood_373 - Neighbourhood_385 - Neighbourhood_390 - Neighbourhood_393 = 0
inv : HasRight_17 + WaitRight_17 + Think_17 - Neighbourhood_340 - Neighbourhood_341 - Neighbourhood_342 - Neighbourhood_343 - Neighbourhood_344 - Neighbourhood_345 - Neighbourhood_346 - Neighbourhood_347 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_350 - Neighbourhood_351 - Neighbourhood_352 - Neighbourhood_353 - Neighbourhood_354 - Neighbourhood_355 - Neighbourhood_356 - Neighbourhood_357 - Neighbourhood_358 - Neighbourhood_359 = 0
inv : HasLeft_7 + WaitLeft_7 + Think_7 - Neighbourhood_7 - Neighbourhood_27 - Neighbourhood_47 - Neighbourhood_67 - Neighbourhood_87 - Neighbourhood_107 - Neighbourhood_127 - Neighbourhood_147 - Neighbourhood_167 - Neighbourhood_187 - Neighbourhood_207 - Neighbourhood_227 - Neighbourhood_247 - Neighbourhood_267 - Neighbourhood_287 - Neighbourhood_307 - Neighbourhood_327 - Neighbourhood_347 - Neighbourhood_367 - Neighbourhood_387 = 0
inv : Neighbourhood_1 + Neighbourhood_2 + Neighbourhood_3 + Neighbourhood_4 + Neighbourhood_5 + Neighbourhood_6 + Neighbourhood_7 + Neighbourhood_8 + Neighbourhood_9 + Neighbourhood_10 + Neighbourhood_11 + Neighbourhood_13 + Neighbourhood_14 + Neighbourhood_15 + Neighbourhood_16 + Neighbourhood_17 + Neighbourhood_18 + Neighbourhood_19 - Neighbourhood_20 - Neighbourhood_32 - Neighbourhood_40 - Neighbourhood_52 - Neighbourhood_60 - Neighbourhood_72 - Neighbourhood_80 - Neighbourhood_92 - Neighbourhood_100 - Neighbourhood_112 - Neighbourhood_120 - Neighbourhood_132 - Neighbourhood_140 - Neighbourhood_152 - Neighbourhood_160 - Neighbourhood_172 - Neighbourhood_180 - Neighbourhood_192 - Neighbourhood_200 - Neighbourhood_212 - Neighbourhood_220 - Neighbourhood_232 + Neighbourhood_241 + Neighbourhood_242 + Neighbourhood_243 + Neighbourhood_244 + Neighbourhood_245 + Neighbourhood_246 + Neighbourhood_247 + Neighbourhood_248 + Neighbourhood_249 + Neighbourhood_250 + Neighbourhood_251 + Neighbourhood_253 + Neighbourhood_254 + Neighbourhood_255 + Neighbourhood_256 + Neighbourhood_257 + Neighbourhood_258 + Neighbourhood_259 - Neighbourhood_260 - Neighbourhood_272 - Neighbourhood_280 - Neighbourhood_292 - Neighbourhood_300 - Neighbourhood_312 - Neighbourhood_320 - Neighbourhood_332 - Neighbourhood_340 - Neighbourhood_352 - Neighbourhood_360 - Neighbourhood_372 - Neighbourhood_380 - Neighbourhood_392 = 0
inv : HasRight_4 + WaitRight_4 + Think_4 + Neighbourhood_5 + Neighbourhood_7 + Neighbourhood_10 + Neighbourhood_13 + Neighbourhood_17 + Neighbourhood_18 + Neighbourhood_25 + Neighbourhood_27 + Neighbourhood_30 + Neighbourhood_33 + Neighbourhood_37 + Neighbourhood_38 + Neighbourhood_45 + Neighbourhood_47 + Neighbourhood_50 + Neighbourhood_53 + Neighbourhood_57 + Neighbourhood_58 + Neighbourhood_65 + Neighbourhood_67 + Neighbourhood_70 + Neighbourhood_73 + Neighbourhood_77 + Neighbourhood_78 - Neighbourhood_80 - Neighbourhood_81 - Neighbourhood_82 - Neighbourhood_83 - Neighbourhood_84 - Neighbourhood_86 - Neighbourhood_88 - Neighbourhood_89 - Neighbourhood_91 - Neighbourhood_92 - Neighbourhood_94 - Neighbourhood_95 - Neighbourhood_96 - Neighbourhood_99 - Neighbourhood_100 - Neighbourhood_101 - Neighbourhood_102 - Neighbourhood_103 - Neighbourhood_104 - Neighbourhood_106 - Neighbourhood_108 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_112 - Neighbourhood_114 - Neighbourhood_115 - Neighbourhood_116 - Neighbourhood_119 + Neighbourhood_125 + Neighbourhood_127 + Neighbourhood_130 + Neighbourhood_133 + Neighbourhood_137 + Neighbourhood_138 - Neighbourhood_140 - Neighbourhood_141 - Neighbourhood_142 - Neighbourhood_143 - Neighbourhood_144 - Neighbourhood_146 - Neighbourhood_148 - Neighbourhood_149 - Neighbourhood_151 - Neighbourhood_152 - Neighbourhood_154 - Neighbourhood_155 - Neighbourhood_156 - Neighbourhood_159 + Neighbourhood_165 + Neighbourhood_167 + Neighbourhood_170 + Neighbourhood_173 + Neighbourhood_177 + Neighbourhood_178 + Neighbourhood_185 + Neighbourhood_187 + Neighbourhood_190 + Neighbourhood_193 + Neighbourhood_197 + Neighbourhood_198 - Neighbourhood_200 - Neighbourhood_201 - Neighbourhood_202 - Neighbourhood_203 - Neighbourhood_204 - Neighbourhood_206 - Neighbourhood_208 - Neighbourhood_209 - Neighbourhood_211 - Neighbourhood_212 - Neighbourhood_214 - Neighbourhood_215 - Neighbourhood_216 - Neighbourhood_219 + Neighbourhood_225 + Neighbourhood_227 + Neighbourhood_230 + Neighbourhood_233 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_245 + Neighbourhood_247 + Neighbourhood_250 + Neighbourhood_253 + Neighbourhood_257 + Neighbourhood_258 - Neighbourhood_260 - Neighbourhood_261 - Neighbourhood_262 - Neighbourhood_263 - Neighbourhood_264 - Neighbourhood_266 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_272 - Neighbourhood_274 - Neighbourhood_275 - Neighbourhood_276 - Neighbourhood_279 + Neighbourhood_285 + Neighbourhood_287 + Neighbourhood_290 + Neighbourhood_293 + Neighbourhood_297 + Neighbourhood_298 + Neighbourhood_305 + Neighbourhood_307 + Neighbourhood_310 + Neighbourhood_313 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_325 + Neighbourhood_327 + Neighbourhood_330 + Neighbourhood_333 + Neighbourhood_337 + Neighbourhood_338 - Neighbourhood_340 - Neighbourhood_341 - Neighbourhood_342 - Neighbourhood_343 - Neighbourhood_344 - Neighbourhood_346 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_351 - Neighbourhood_352 - Neighbourhood_354 - Neighbourhood_355 - Neighbourhood_356 - Neighbourhood_359 - Neighbourhood_360 - Neighbourhood_361 - Neighbourhood_362 - Neighbourhood_363 - Neighbourhood_364 - Neighbourhood_366 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_371 - Neighbourhood_372 - Neighbourhood_374 - Neighbourhood_375 - Neighbourhood_376 - Neighbourhood_379 + Neighbourhood_385 + Neighbourhood_387 + Neighbourhood_390 + Neighbourhood_393 + Neighbourhood_397 + Neighbourhood_398 = 0
inv : -Neighbourhood_2 - Neighbourhood_6 - Neighbourhood_8 - Neighbourhood_9 - Neighbourhood_11 - Neighbourhood_15 - Neighbourhood_22 - Neighbourhood_26 - Neighbourhood_28 - Neighbourhood_29 - Neighbourhood_31 - Neighbourhood_35 + Neighbourhood_40 + Neighbourhood_41 + Neighbourhood_43 + Neighbourhood_44 + Neighbourhood_45 + Neighbourhood_47 + Neighbourhood_50 + Neighbourhood_52 + Neighbourhood_53 + Neighbourhood_54 + Neighbourhood_56 + Neighbourhood_57 + Neighbourhood_58 + Neighbourhood_59 - Neighbourhood_62 - Neighbourhood_66 - Neighbourhood_68 - Neighbourhood_69 - Neighbourhood_71 - Neighbourhood_75 - Neighbourhood_82 - Neighbourhood_86 - Neighbourhood_88 - Neighbourhood_89 - Neighbourhood_91 - Neighbourhood_95 - Neighbourhood_102 - Neighbourhood_106 - Neighbourhood_108 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_115 + Neighbourhood_120 + Neighbourhood_121 + Neighbourhood_123 + Neighbourhood_124 + Neighbourhood_125 + Neighbourhood_127 + Neighbourhood_130 + Neighbourhood_132 + Neighbourhood_133 + Neighbourhood_134 + Neighbourhood_136 + Neighbourhood_137 + Neighbourhood_138 + Neighbourhood_139 - Neighbourhood_142 - Neighbourhood_146 - Neighbourhood_148 - Neighbourhood_149 - Neighbourhood_151 - Neighbourhood_155 + Neighbourhood_160 + Neighbourhood_161 + Neighbourhood_163 + Neighbourhood_164 + Neighbourhood_165 + Neighbourhood_167 + Neighbourhood_170 + Neighbourhood_172 + Neighbourhood_173 + Neighbourhood_174 + Neighbourhood_176 + Neighbourhood_177 + Neighbourhood_178 + Neighbourhood_179 + Neighbourhood_180 + Neighbourhood_181 + Neighbourhood_183 + Neighbourhood_184 + Neighbourhood_185 + Neighbourhood_187 + Neighbourhood_190 + Neighbourhood_192 + Neighbourhood_193 + Neighbourhood_194 + Neighbourhood_196 + Neighbourhood_197 + Neighbourhood_198 + Neighbourhood_199 - Neighbourhood_202 - Neighbourhood_206 - Neighbourhood_208 - Neighbourhood_209 - Neighbourhood_211 - Neighbourhood_215 + Neighbourhood_220 + Neighbourhood_221 + Neighbourhood_223 + Neighbourhood_224 + Neighbourhood_225 + Neighbourhood_227 + Neighbourhood_230 + Neighbourhood_232 + Neighbourhood_233 + Neighbourhood_234 + Neighbourhood_236 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_239 - Neighbourhood_242 - Neighbourhood_246 - Neighbourhood_248 - Neighbourhood_249 - Neighbourhood_251 - Neighbourhood_255 - Neighbourhood_262 - Neighbourhood_266 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_275 - Neighbourhood_282 - Neighbourhood_286 - Neighbourhood_288 - Neighbourhood_289 - Neighbourhood_291 - Neighbourhood_295 + Neighbourhood_300 + Neighbourhood_301 + Neighbourhood_303 + Neighbourhood_304 + Neighbourhood_305 + Neighbourhood_307 + Neighbourhood_310 + Neighbourhood_312 + Neighbourhood_313 + Neighbourhood_314 + Neighbourhood_316 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_319 - Neighbourhood_322 - Neighbourhood_326 - Neighbourhood_328 - Neighbourhood_329 - Neighbourhood_331 - Neighbourhood_335 - Neighbourhood_342 - Neighbourhood_346 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_351 - Neighbourhood_355 - Neighbourhood_362 - Neighbourhood_366 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_371 - Neighbourhood_375 - Neighbourhood_382 - Neighbourhood_386 - Neighbourhood_388 - Neighbourhood_389 - Neighbourhood_391 - Neighbourhood_395 = 0
inv : HasLeft_12 + WaitLeft_12 + Think_12 - Neighbourhood_12 - Neighbourhood_32 - Neighbourhood_52 - Neighbourhood_72 - Neighbourhood_92 - Neighbourhood_112 - Neighbourhood_132 - Neighbourhood_152 - Neighbourhood_172 - Neighbourhood_192 - Neighbourhood_212 - Neighbourhood_232 - Neighbourhood_252 - Neighbourhood_272 - Neighbourhood_292 - Neighbourhood_312 - Neighbourhood_332 - Neighbourhood_352 - Neighbourhood_372 - Neighbourhood_392 = 0
inv : Outside_10 + Neighbourhood_5 + Neighbourhood_10 + Neighbourhood_13 + Neighbourhood_25 + Neighbourhood_30 + Neighbourhood_33 + Neighbourhood_45 + Neighbourhood_50 + Neighbourhood_53 + Neighbourhood_65 + Neighbourhood_70 + Neighbourhood_73 + Neighbourhood_85 + Neighbourhood_90 + Neighbourhood_93 - Neighbourhood_100 - Neighbourhood_101 - Neighbourhood_102 - Neighbourhood_103 - Neighbourhood_104 - Neighbourhood_106 - Neighbourhood_107 - Neighbourhood_108 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_112 - Neighbourhood_114 - Neighbourhood_115 - Neighbourhood_116 - Neighbourhood_117 - Neighbourhood_118 - Neighbourhood_119 + Neighbourhood_125 + Neighbourhood_130 + Neighbourhood_133 + Neighbourhood_145 + Neighbourhood_150 + Neighbourhood_153 + Neighbourhood_165 + Neighbourhood_170 + Neighbourhood_173 + Neighbourhood_185 + Neighbourhood_190 + Neighbourhood_193 + Neighbourhood_205 + Neighbourhood_210 + Neighbourhood_213 + Neighbourhood_225 + Neighbourhood_230 + Neighbourhood_233 + Neighbourhood_245 + Neighbourhood_250 + Neighbourhood_253 - Neighbourhood_260 - Neighbourhood_261 - Neighbourhood_262 - Neighbourhood_263 - Neighbourhood_264 - Neighbourhood_266 - Neighbourhood_267 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_272 - Neighbourhood_274 - Neighbourhood_275 - Neighbourhood_276 - Neighbourhood_277 - Neighbourhood_278 - Neighbourhood_279 + Neighbourhood_285 + Neighbourhood_290 + Neighbourhood_293 + Neighbourhood_305 + Neighbourhood_310 + Neighbourhood_313 + Neighbourhood_325 + Neighbourhood_330 + Neighbourhood_333 + Neighbourhood_345 + Neighbourhood_350 + Neighbourhood_353 + Neighbourhood_365 + Neighbourhood_370 + Neighbourhood_373 + Neighbourhood_385 + Neighbourhood_390 + Neighbourhood_393 = 1
inv : Neighbourhood_18 + Neighbourhood_38 + Neighbourhood_58 + Neighbourhood_78 + Neighbourhood_98 + Neighbourhood_118 + Neighbourhood_138 + Neighbourhood_158 + Neighbourhood_178 + Neighbourhood_198 + Neighbourhood_218 + Neighbourhood_238 + Neighbourhood_258 + Neighbourhood_278 + Neighbourhood_298 + Neighbourhood_318 + Neighbourhood_338 + Neighbourhood_358 - Neighbourhood_360 - Neighbourhood_361 - Neighbourhood_362 - Neighbourhood_363 - Neighbourhood_364 - Neighbourhood_365 - Neighbourhood_366 - Neighbourhood_367 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_370 - Neighbourhood_371 - Neighbourhood_372 - Neighbourhood_373 - Neighbourhood_374 - Neighbourhood_375 - Neighbourhood_376 - Neighbourhood_377 - Neighbourhood_379 + Neighbourhood_398 = 0
inv : Outside_2 + Neighbourhood_2 + Neighbourhood_15 + Neighbourhood_22 + Neighbourhood_35 + Neighbourhood_42 + Neighbourhood_55 + Neighbourhood_62 + Neighbourhood_75 + Neighbourhood_82 + Neighbourhood_95 + Neighbourhood_102 + Neighbourhood_115 + Neighbourhood_122 + Neighbourhood_135 + Neighbourhood_142 + Neighbourhood_155 + Neighbourhood_162 + Neighbourhood_175 + Neighbourhood_182 + Neighbourhood_195 + Neighbourhood_202 + Neighbourhood_215 + Neighbourhood_222 + Neighbourhood_235 + Neighbourhood_242 + Neighbourhood_255 + Neighbourhood_262 + Neighbourhood_275 + Neighbourhood_282 + Neighbourhood_295 - Neighbourhood_300 - Neighbourhood_301 - Neighbourhood_303 - Neighbourhood_304 - Neighbourhood_305 - Neighbourhood_306 - Neighbourhood_307 - Neighbourhood_308 - Neighbourhood_309 - Neighbourhood_310 - Neighbourhood_311 - Neighbourhood_312 - Neighbourhood_313 - Neighbourhood_314 - Neighbourhood_316 - Neighbourhood_317 - Neighbourhood_318 - Neighbourhood_319 + Neighbourhood_322 + Neighbourhood_335 + Neighbourhood_342 + Neighbourhood_355 + Neighbourhood_362 + Neighbourhood_375 + Neighbourhood_382 + Neighbourhood_395 = 1
inv : Outside_5 + Neighbourhood_5 + Neighbourhood_25 + Neighbourhood_45 + Neighbourhood_65 + Neighbourhood_85 + Neighbourhood_105 + Neighbourhood_125 + Neighbourhood_145 + Neighbourhood_165 + Neighbourhood_185 + Neighbourhood_205 + Neighbourhood_225 + Neighbourhood_245 + Neighbourhood_265 + Neighbourhood_285 + Neighbourhood_305 + Neighbourhood_325 + Neighbourhood_345 + Neighbourhood_365 + Neighbourhood_385 = 1
inv : HasLeft_15 + WaitLeft_15 + Think_15 - Neighbourhood_15 - Neighbourhood_35 - Neighbourhood_55 - Neighbourhood_75 - Neighbourhood_95 - Neighbourhood_115 - Neighbourhood_135 - Neighbourhood_155 - Neighbourhood_175 - Neighbourhood_195 - Neighbourhood_215 - Neighbourhood_235 - Neighbourhood_255 - Neighbourhood_275 - Neighbourhood_295 - Neighbourhood_315 - Neighbourhood_335 - Neighbourhood_355 - Neighbourhood_375 - Neighbourhood_395 = 0
inv : Outside_19 + Neighbourhood_380 + Neighbourhood_381 + Neighbourhood_382 + Neighbourhood_383 + Neighbourhood_384 + Neighbourhood_385 + Neighbourhood_386 + Neighbourhood_387 + Neighbourhood_388 + Neighbourhood_389 + Neighbourhood_390 + Neighbourhood_391 + Neighbourhood_392 + Neighbourhood_393 + Neighbourhood_394 + Neighbourhood_395 + Neighbourhood_396 + Neighbourhood_397 + Neighbourhood_398 + Neighbourhood_399 = 1
inv : HasRight_2 + WaitRight_2 + Think_2 - Neighbourhood_2 - Neighbourhood_15 - Neighbourhood_22 - Neighbourhood_35 - Neighbourhood_42 - Neighbourhood_55 - Neighbourhood_62 - Neighbourhood_75 - Neighbourhood_82 - Neighbourhood_95 - Neighbourhood_102 - Neighbourhood_115 - Neighbourhood_122 - Neighbourhood_135 - Neighbourhood_142 - Neighbourhood_155 - Neighbourhood_162 - Neighbourhood_175 - Neighbourhood_182 - Neighbourhood_195 - Neighbourhood_202 - Neighbourhood_215 - Neighbourhood_222 - Neighbourhood_235 - Neighbourhood_242 - Neighbourhood_255 - Neighbourhood_262 - Neighbourhood_275 - Neighbourhood_282 - Neighbourhood_295 + Neighbourhood_300 + Neighbourhood_301 + Neighbourhood_303 + Neighbourhood_304 + Neighbourhood_305 + Neighbourhood_306 + Neighbourhood_307 + Neighbourhood_308 + Neighbourhood_309 + Neighbourhood_310 + Neighbourhood_311 + Neighbourhood_312 + Neighbourhood_313 + Neighbourhood_314 + Neighbourhood_316 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_319 - Neighbourhood_322 - Neighbourhood_335 - Neighbourhood_342 - Neighbourhood_355 - Neighbourhood_362 - Neighbourhood_375 - Neighbourhood_382 - Neighbourhood_395 = 0
inv : -Neighbourhood_2 - Neighbourhood_6 - Neighbourhood_9 - Neighbourhood_11 - Neighbourhood_15 - Neighbourhood_22 - Neighbourhood_26 - Neighbourhood_29 - Neighbourhood_31 - Neighbourhood_35 + Neighbourhood_40 + Neighbourhood_41 + Neighbourhood_43 + Neighbourhood_44 + Neighbourhood_45 + Neighbourhood_47 + Neighbourhood_48 + Neighbourhood_50 + Neighbourhood_52 + Neighbourhood_53 + Neighbourhood_54 + Neighbourhood_56 + Neighbourhood_57 + Neighbourhood_58 + Neighbourhood_59 - Neighbourhood_62 - Neighbourhood_66 - Neighbourhood_69 - Neighbourhood_71 - Neighbourhood_75 - Neighbourhood_82 - Neighbourhood_86 - Neighbourhood_89 - Neighbourhood_91 - Neighbourhood_95 - Neighbourhood_102 - Neighbourhood_106 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_115 + Neighbourhood_120 + Neighbourhood_121 + Neighbourhood_123 + Neighbourhood_124 + Neighbourhood_125 + Neighbourhood_127 + Neighbourhood_128 + Neighbourhood_130 + Neighbourhood_132 + Neighbourhood_133 + Neighbourhood_134 + Neighbourhood_136 + Neighbourhood_137 + Neighbourhood_138 + Neighbourhood_139 - Neighbourhood_142 - Neighbourhood_146 - Neighbourhood_149 - Neighbourhood_151 - Neighbourhood_155 - Neighbourhood_162 - Neighbourhood_166 - Neighbourhood_169 - Neighbourhood_171 - Neighbourhood_175 + Neighbourhood_180 + Neighbourhood_181 + Neighbourhood_183 + Neighbourhood_184 + Neighbourhood_185 + Neighbourhood_187 + Neighbourhood_188 + Neighbourhood_190 + Neighbourhood_192 + Neighbourhood_193 + Neighbourhood_194 + Neighbourhood_196 + Neighbourhood_197 + Neighbourhood_198 + Neighbourhood_199 - Neighbourhood_202 - Neighbourhood_206 - Neighbourhood_209 - Neighbourhood_211 - Neighbourhood_215 + Neighbourhood_220 + Neighbourhood_221 + Neighbourhood_223 + Neighbourhood_224 + Neighbourhood_225 + Neighbourhood_227 + Neighbourhood_228 + Neighbourhood_230 + Neighbourhood_232 + Neighbourhood_233 + Neighbourhood_234 + Neighbourhood_236 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_239 - Neighbourhood_242 - Neighbourhood_246 - Neighbourhood_249 - Neighbourhood_251 - Neighbourhood_255 - Neighbourhood_262 - Neighbourhood_266 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_275 - Neighbourhood_282 - Neighbourhood_286 - Neighbourhood_289 - Neighbourhood_291 - Neighbourhood_295 + Neighbourhood_300 + Neighbourhood_301 + Neighbourhood_303 + Neighbourhood_304 + Neighbourhood_305 + Neighbourhood_307 + Neighbourhood_308 + Neighbourhood_310 + Neighbourhood_312 + Neighbourhood_313 + Neighbourhood_314 + Neighbourhood_316 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_319 - Neighbourhood_322 - Neighbourhood_326 - Neighbourhood_329 - Neighbourhood_331 - Neighbourhood_335 - Neighbourhood_342 - Neighbourhood_346 - Neighbourhood_349 - Neighbourhood_351 - Neighbourhood_355 - Neighbourhood_362 - Neighbourhood_366 - Neighbourhood_369 - Neighbourhood_371 - Neighbourhood_375 - Neighbourhood_382 - Neighbourhood_386 - Neighbourhood_389 - Neighbourhood_391 - Neighbourhood_395 = 0
inv : HasRight_11 + WaitRight_11 + Think_11 - Neighbourhood_220 - Neighbourhood_221 - Neighbourhood_222 - Neighbourhood_223 - Neighbourhood_224 - Neighbourhood_225 - Neighbourhood_226 - Neighbourhood_227 - Neighbourhood_228 - Neighbourhood_229 - Neighbourhood_230 - Neighbourhood_231 - Neighbourhood_232 - Neighbourhood_233 - Neighbourhood_234 - Neighbourhood_235 - Neighbourhood_236 - Neighbourhood_237 - Neighbourhood_238 - Neighbourhood_239 = 0
inv : HasRight_8 + WaitRight_8 + Think_8 - Neighbourhood_2 - Neighbourhood_6 - Neighbourhood_8 - Neighbourhood_9 - Neighbourhood_11 - Neighbourhood_15 - Neighbourhood_22 - Neighbourhood_26 - Neighbourhood_28 - Neighbourhood_29 - Neighbourhood_31 - Neighbourhood_35 + Neighbourhood_40 + Neighbourhood_41 + Neighbourhood_43 + Neighbourhood_44 + Neighbourhood_45 + Neighbourhood_47 + Neighbourhood_50 + Neighbourhood_52 + Neighbourhood_53 + Neighbourhood_54 + Neighbourhood_56 + Neighbourhood_57 + Neighbourhood_58 + Neighbourhood_59 - Neighbourhood_62 - Neighbourhood_66 - Neighbourhood_68 - Neighbourhood_69 - Neighbourhood_71 - Neighbourhood_75 - Neighbourhood_82 - Neighbourhood_86 - Neighbourhood_88 - Neighbourhood_89 - Neighbourhood_91 - Neighbourhood_95 - Neighbourhood_102 - Neighbourhood_106 - Neighbourhood_108 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_115 + Neighbourhood_120 + Neighbourhood_121 + Neighbourhood_123 + Neighbourhood_124 + Neighbourhood_125 + Neighbourhood_127 + Neighbourhood_130 + Neighbourhood_132 + Neighbourhood_133 + Neighbourhood_134 + Neighbourhood_136 + Neighbourhood_137 + Neighbourhood_138 + Neighbourhood_139 - Neighbourhood_142 - Neighbourhood_146 - Neighbourhood_148 - Neighbourhood_149 - Neighbourhood_151 - Neighbourhood_155 - Neighbourhood_162 - Neighbourhood_166 - Neighbourhood_168 - Neighbourhood_169 - Neighbourhood_171 - Neighbourhood_175 + Neighbourhood_180 + Neighbourhood_181 + Neighbourhood_183 + Neighbourhood_184 + Neighbourhood_185 + Neighbourhood_187 + Neighbourhood_190 + Neighbourhood_192 + Neighbourhood_193 + Neighbourhood_194 + Neighbourhood_196 + Neighbourhood_197 + Neighbourhood_198 + Neighbourhood_199 - Neighbourhood_202 - Neighbourhood_206 - Neighbourhood_208 - Neighbourhood_209 - Neighbourhood_211 - Neighbourhood_215 + Neighbourhood_220 + Neighbourhood_221 + Neighbourhood_223 + Neighbourhood_224 + Neighbourhood_225 + Neighbourhood_227 + Neighbourhood_230 + Neighbourhood_232 + Neighbourhood_233 + Neighbourhood_234 + Neighbourhood_236 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_239 - Neighbourhood_242 - Neighbourhood_246 - Neighbourhood_248 - Neighbourhood_249 - Neighbourhood_251 - Neighbourhood_255 - Neighbourhood_262 - Neighbourhood_266 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_275 - Neighbourhood_282 - Neighbourhood_286 - Neighbourhood_288 - Neighbourhood_289 - Neighbourhood_291 - Neighbourhood_295 + Neighbourhood_300 + Neighbourhood_301 + Neighbourhood_303 + Neighbourhood_304 + Neighbourhood_305 + Neighbourhood_307 + Neighbourhood_310 + Neighbourhood_312 + Neighbourhood_313 + Neighbourhood_314 + Neighbourhood_316 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_319 - Neighbourhood_322 - Neighbourhood_326 - Neighbourhood_328 - Neighbourhood_329 - Neighbourhood_331 - Neighbourhood_335 - Neighbourhood_342 - Neighbourhood_346 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_351 - Neighbourhood_355 - Neighbourhood_362 - Neighbourhood_366 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_371 - Neighbourhood_375 - Neighbourhood_382 - Neighbourhood_386 - Neighbourhood_388 - Neighbourhood_389 - Neighbourhood_391 - Neighbourhood_395 = 0
inv : Outside_0 + Neighbourhood_0 + Neighbourhood_12 + Neighbourhood_20 + Neighbourhood_32 + Neighbourhood_40 + Neighbourhood_52 + Neighbourhood_60 + Neighbourhood_72 + Neighbourhood_80 + Neighbourhood_92 + Neighbourhood_100 + Neighbourhood_112 + Neighbourhood_120 + Neighbourhood_132 + Neighbourhood_140 + Neighbourhood_152 + Neighbourhood_160 + Neighbourhood_172 + Neighbourhood_180 + Neighbourhood_192 + Neighbourhood_200 + Neighbourhood_212 + Neighbourhood_220 + Neighbourhood_232 - Neighbourhood_241 - Neighbourhood_242 - Neighbourhood_243 - Neighbourhood_244 - Neighbourhood_245 - Neighbourhood_246 - Neighbourhood_247 - Neighbourhood_248 - Neighbourhood_249 - Neighbourhood_250 - Neighbourhood_251 - Neighbourhood_253 - Neighbourhood_254 - Neighbourhood_255 - Neighbourhood_256 - Neighbourhood_257 - Neighbourhood_258 - Neighbourhood_259 + Neighbourhood_260 + Neighbourhood_272 + Neighbourhood_280 + Neighbourhood_292 + Neighbourhood_300 + Neighbourhood_312 + Neighbourhood_320 + Neighbourhood_332 + Neighbourhood_340 + Neighbourhood_352 + Neighbourhood_360 + Neighbourhood_372 + Neighbourhood_380 + Neighbourhood_392 = 1
inv : Outside_13 + Neighbourhood_260 + Neighbourhood_261 + Neighbourhood_262 + Neighbourhood_263 + Neighbourhood_264 + Neighbourhood_265 + Neighbourhood_266 + Neighbourhood_267 + Neighbourhood_268 + Neighbourhood_269 + Neighbourhood_270 + Neighbourhood_271 + Neighbourhood_272 + Neighbourhood_273 + Neighbourhood_274 + Neighbourhood_275 + Neighbourhood_276 + Neighbourhood_277 + Neighbourhood_278 + Neighbourhood_279 = 1
inv : HasLeft_0 + WaitLeft_0 + Think_0 - Neighbourhood_0 - Neighbourhood_12 - Neighbourhood_20 - Neighbourhood_32 - Neighbourhood_40 - Neighbourhood_52 - Neighbourhood_60 - Neighbourhood_72 - Neighbourhood_80 - Neighbourhood_92 - Neighbourhood_100 - Neighbourhood_112 - Neighbourhood_120 - Neighbourhood_132 - Neighbourhood_140 - Neighbourhood_152 - Neighbourhood_160 - Neighbourhood_172 - Neighbourhood_180 - Neighbourhood_192 - Neighbourhood_200 - Neighbourhood_212 - Neighbourhood_220 - Neighbourhood_232 + Neighbourhood_241 + Neighbourhood_242 + Neighbourhood_243 + Neighbourhood_244 + Neighbourhood_245 + Neighbourhood_246 + Neighbourhood_247 + Neighbourhood_248 + Neighbourhood_249 + Neighbourhood_250 + Neighbourhood_251 + Neighbourhood_253 + Neighbourhood_254 + Neighbourhood_255 + Neighbourhood_256 + Neighbourhood_257 + Neighbourhood_258 + Neighbourhood_259 - Neighbourhood_260 - Neighbourhood_272 - Neighbourhood_280 - Neighbourhood_292 - Neighbourhood_300 - Neighbourhood_312 - Neighbourhood_320 - Neighbourhood_332 - Neighbourhood_340 - Neighbourhood_352 - Neighbourhood_360 - Neighbourhood_372 - Neighbourhood_380 - Neighbourhood_392 = 0
inv : HasLeft_11 + WaitLeft_11 + Think_11 - Neighbourhood_220 - Neighbourhood_221 - Neighbourhood_222 - Neighbourhood_223 - Neighbourhood_224 - Neighbourhood_225 - Neighbourhood_226 - Neighbourhood_227 - Neighbourhood_228 - Neighbourhood_229 - Neighbourhood_230 - Neighbourhood_231 - Neighbourhood_232 - Neighbourhood_233 - Neighbourhood_234 - Neighbourhood_235 - Neighbourhood_236 - Neighbourhood_237 - Neighbourhood_238 - Neighbourhood_239 = 0
inv : Outside_7 + Neighbourhood_7 + Neighbourhood_27 + Neighbourhood_47 + Neighbourhood_67 + Neighbourhood_87 + Neighbourhood_107 + Neighbourhood_127 + Neighbourhood_147 + Neighbourhood_167 + Neighbourhood_187 + Neighbourhood_207 + Neighbourhood_227 + Neighbourhood_247 + Neighbourhood_267 + Neighbourhood_287 + Neighbourhood_307 + Neighbourhood_327 + Neighbourhood_347 + Neighbourhood_367 + Neighbourhood_387 = 1
inv : Neighbourhood_9 + Neighbourhood_11 + Neighbourhood_29 + Neighbourhood_31 + Neighbourhood_49 + Neighbourhood_51 + Neighbourhood_69 + Neighbourhood_71 + Neighbourhood_89 + Neighbourhood_91 + Neighbourhood_109 + Neighbourhood_111 + Neighbourhood_129 + Neighbourhood_131 + Neighbourhood_149 + Neighbourhood_151 + Neighbourhood_169 + Neighbourhood_171 - Neighbourhood_180 - Neighbourhood_181 - Neighbourhood_182 - Neighbourhood_183 - Neighbourhood_184 - Neighbourhood_185 - Neighbourhood_186 - Neighbourhood_187 - Neighbourhood_188 - Neighbourhood_190 - Neighbourhood_192 - Neighbourhood_193 - Neighbourhood_194 - Neighbourhood_195 - Neighbourhood_196 - Neighbourhood_197 - Neighbourhood_198 - Neighbourhood_199 + Neighbourhood_209 + Neighbourhood_211 - Neighbourhood_220 - Neighbourhood_221 - Neighbourhood_222 - Neighbourhood_223 - Neighbourhood_224 - Neighbourhood_225 - Neighbourhood_226 - Neighbourhood_227 - Neighbourhood_228 - Neighbourhood_230 - Neighbourhood_232 - Neighbourhood_233 - Neighbourhood_234 - Neighbourhood_235 - Neighbourhood_236 - Neighbourhood_237 - Neighbourhood_238 - Neighbourhood_239 + Neighbourhood_249 + Neighbourhood_251 + Neighbourhood_269 + Neighbourhood_271 + Neighbourhood_289 + Neighbourhood_291 + Neighbourhood_309 + Neighbourhood_311 + Neighbourhood_329 + Neighbourhood_331 + Neighbourhood_349 + Neighbourhood_351 + Neighbourhood_369 + Neighbourhood_371 + Neighbourhood_389 + Neighbourhood_391 = 0
inv : Outside_15 + Neighbourhood_15 + Neighbourhood_35 + Neighbourhood_55 + Neighbourhood_75 + Neighbourhood_95 + Neighbourhood_115 + Neighbourhood_135 + Neighbourhood_155 + Neighbourhood_175 + Neighbourhood_195 + Neighbourhood_215 + Neighbourhood_235 + Neighbourhood_255 + Neighbourhood_275 + Neighbourhood_295 + Neighbourhood_315 + Neighbourhood_335 + Neighbourhood_355 + Neighbourhood_375 + Neighbourhood_395 = 1
inv : HasLeft_17 + WaitLeft_17 + Think_17 - Neighbourhood_340 - Neighbourhood_341 - Neighbourhood_342 - Neighbourhood_343 - Neighbourhood_344 - Neighbourhood_345 - Neighbourhood_346 - Neighbourhood_347 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_350 - Neighbourhood_351 - Neighbourhood_352 - Neighbourhood_353 - Neighbourhood_354 - Neighbourhood_355 - Neighbourhood_356 - Neighbourhood_357 - Neighbourhood_358 - Neighbourhood_359 = 0
inv : Outside_16 + Neighbourhood_320 + Neighbourhood_321 + Neighbourhood_322 + Neighbourhood_323 + Neighbourhood_324 + Neighbourhood_325 + Neighbourhood_326 + Neighbourhood_327 + Neighbourhood_328 + Neighbourhood_329 + Neighbourhood_330 + Neighbourhood_331 + Neighbourhood_332 + Neighbourhood_333 + Neighbourhood_334 + Neighbourhood_335 + Neighbourhood_336 + Neighbourhood_337 + Neighbourhood_338 + Neighbourhood_339 = 1
inv : HasRight_7 + WaitRight_7 + Think_7 - Neighbourhood_7 - Neighbourhood_27 - Neighbourhood_47 - Neighbourhood_67 - Neighbourhood_87 - Neighbourhood_107 - Neighbourhood_127 - Neighbourhood_147 - Neighbourhood_167 - Neighbourhood_187 - Neighbourhood_207 - Neighbourhood_227 - Neighbourhood_247 - Neighbourhood_267 - Neighbourhood_287 - Neighbourhood_307 - Neighbourhood_327 - Neighbourhood_347 - Neighbourhood_367 - Neighbourhood_387 = 0
inv : HasLeft_6 + WaitLeft_6 + Think_6 - Neighbourhood_120 - Neighbourhood_121 - Neighbourhood_122 - Neighbourhood_123 - Neighbourhood_124 - Neighbourhood_125 - Neighbourhood_126 - Neighbourhood_127 - Neighbourhood_128 - Neighbourhood_129 - Neighbourhood_130 - Neighbourhood_131 - Neighbourhood_132 - Neighbourhood_133 - Neighbourhood_134 - Neighbourhood_135 - Neighbourhood_136 - Neighbourhood_137 - Neighbourhood_138 - Neighbourhood_139 = 0
inv : HasRight_16 + WaitRight_16 + Think_16 - Neighbourhood_320 - Neighbourhood_321 - Neighbourhood_322 - Neighbourhood_323 - Neighbourhood_324 - Neighbourhood_325 - Neighbourhood_326 - Neighbourhood_327 - Neighbourhood_328 - Neighbourhood_329 - Neighbourhood_330 - Neighbourhood_331 - Neighbourhood_332 - Neighbourhood_333 - Neighbourhood_334 - Neighbourhood_335 - Neighbourhood_336 - Neighbourhood_337 - Neighbourhood_338 - Neighbourhood_339 = 0
inv : -Neighbourhood_9 - Neighbourhood_29 - Neighbourhood_49 - Neighbourhood_69 - Neighbourhood_89 - Neighbourhood_109 - Neighbourhood_129 - Neighbourhood_149 - Neighbourhood_169 + Neighbourhood_180 + Neighbourhood_181 + Neighbourhood_182 + Neighbourhood_183 + Neighbourhood_184 + Neighbourhood_185 + Neighbourhood_186 + Neighbourhood_187 + Neighbourhood_188 + Neighbourhood_190 + Neighbourhood_191 + Neighbourhood_192 + Neighbourhood_193 + Neighbourhood_194 + Neighbourhood_195 + Neighbourhood_196 + Neighbourhood_197 + Neighbourhood_198 + Neighbourhood_199 - Neighbourhood_209 - Neighbourhood_229 - Neighbourhood_249 - Neighbourhood_269 - Neighbourhood_289 - Neighbourhood_309 - Neighbourhood_329 - Neighbourhood_349 - Neighbourhood_369 - Neighbourhood_389 = 0
inv : HasRight_0 + WaitRight_0 + Think_0 - Neighbourhood_0 - Neighbourhood_12 - Neighbourhood_20 - Neighbourhood_32 - Neighbourhood_40 - Neighbourhood_52 - Neighbourhood_60 - Neighbourhood_72 - Neighbourhood_80 - Neighbourhood_92 - Neighbourhood_100 - Neighbourhood_112 - Neighbourhood_120 - Neighbourhood_132 - Neighbourhood_140 - Neighbourhood_152 - Neighbourhood_160 - Neighbourhood_172 - Neighbourhood_180 - Neighbourhood_192 - Neighbourhood_200 - Neighbourhood_212 - Neighbourhood_220 - Neighbourhood_232 + Neighbourhood_241 + Neighbourhood_242 + Neighbourhood_243 + Neighbourhood_244 + Neighbourhood_245 + Neighbourhood_246 + Neighbourhood_247 + Neighbourhood_248 + Neighbourhood_249 + Neighbourhood_250 + Neighbourhood_251 + Neighbourhood_253 + Neighbourhood_254 + Neighbourhood_255 + Neighbourhood_256 + Neighbourhood_257 + Neighbourhood_258 + Neighbourhood_259 - Neighbourhood_260 - Neighbourhood_272 - Neighbourhood_280 - Neighbourhood_292 - Neighbourhood_300 - Neighbourhood_312 - Neighbourhood_320 - Neighbourhood_332 - Neighbourhood_340 - Neighbourhood_352 - Neighbourhood_360 - Neighbourhood_372 - Neighbourhood_380 - Neighbourhood_392 = 0
inv : HasLeft_1 + WaitLeft_1 + Think_1 - Neighbourhood_1 - Neighbourhood_21 - Neighbourhood_41 - Neighbourhood_61 - Neighbourhood_81 - Neighbourhood_101 - Neighbourhood_121 - Neighbourhood_141 - Neighbourhood_161 - Neighbourhood_181 - Neighbourhood_201 - Neighbourhood_221 - Neighbourhood_241 - Neighbourhood_261 - Neighbourhood_281 - Neighbourhood_301 - Neighbourhood_321 - Neighbourhood_341 - Neighbourhood_361 - Neighbourhood_381 = 0
inv : HasLeft_18 + WaitLeft_18 + Think_18 - Neighbourhood_360 - Neighbourhood_361 - Neighbourhood_362 - Neighbourhood_363 - Neighbourhood_364 - Neighbourhood_365 - Neighbourhood_366 - Neighbourhood_367 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_370 - Neighbourhood_371 - Neighbourhood_372 - Neighbourhood_373 - Neighbourhood_374 - Neighbourhood_375 - Neighbourhood_376 - Neighbourhood_377 - Neighbourhood_378 - Neighbourhood_379 = 0
inv : Outside_8 + Neighbourhood_2 + Neighbourhood_6 + Neighbourhood_8 + Neighbourhood_9 + Neighbourhood_11 + Neighbourhood_15 + Neighbourhood_22 + Neighbourhood_26 + Neighbourhood_28 + Neighbourhood_29 + Neighbourhood_31 + Neighbourhood_35 - Neighbourhood_40 - Neighbourhood_41 - Neighbourhood_43 - Neighbourhood_44 - Neighbourhood_45 - Neighbourhood_47 - Neighbourhood_50 - Neighbourhood_52 - Neighbourhood_53 - Neighbourhood_54 - Neighbourhood_56 - Neighbourhood_57 - Neighbourhood_58 - Neighbourhood_59 + Neighbourhood_62 + Neighbourhood_66 + Neighbourhood_68 + Neighbourhood_69 + Neighbourhood_71 + Neighbourhood_75 + Neighbourhood_82 + Neighbourhood_86 + Neighbourhood_88 + Neighbourhood_89 + Neighbourhood_91 + Neighbourhood_95 + Neighbourhood_102 + Neighbourhood_106 + Neighbourhood_108 + Neighbourhood_109 + Neighbourhood_111 + Neighbourhood_115 - Neighbourhood_120 - Neighbourhood_121 - Neighbourhood_123 - Neighbourhood_124 - Neighbourhood_125 - Neighbourhood_127 - Neighbourhood_130 - Neighbourhood_132 - Neighbourhood_133 - Neighbourhood_134 - Neighbourhood_136 - Neighbourhood_137 - Neighbourhood_138 - Neighbourhood_139 + Neighbourhood_142 + Neighbourhood_146 + Neighbourhood_148 + Neighbourhood_149 + Neighbourhood_151 + Neighbourhood_155 + Neighbourhood_162 + Neighbourhood_166 + Neighbourhood_168 + Neighbourhood_169 + Neighbourhood_171 + Neighbourhood_175 - Neighbourhood_180 - Neighbourhood_181 - Neighbourhood_183 - Neighbourhood_184 - Neighbourhood_185 - Neighbourhood_187 - Neighbourhood_190 - Neighbourhood_192 - Neighbourhood_193 - Neighbourhood_194 - Neighbourhood_196 - Neighbourhood_197 - Neighbourhood_198 - Neighbourhood_199 + Neighbourhood_202 + Neighbourhood_206 + Neighbourhood_208 + Neighbourhood_209 + Neighbourhood_211 + Neighbourhood_215 - Neighbourhood_220 - Neighbourhood_221 - Neighbourhood_223 - Neighbourhood_224 - Neighbourhood_225 - Neighbourhood_227 - Neighbourhood_230 - Neighbourhood_232 - Neighbourhood_233 - Neighbourhood_234 - Neighbourhood_236 - Neighbourhood_237 - Neighbourhood_238 - Neighbourhood_239 + Neighbourhood_242 + Neighbourhood_246 + Neighbourhood_248 + Neighbourhood_249 + Neighbourhood_251 + Neighbourhood_255 + Neighbourhood_262 + Neighbourhood_266 + Neighbourhood_268 + Neighbourhood_269 + Neighbourhood_271 + Neighbourhood_275 + Neighbourhood_282 + Neighbourhood_286 + Neighbourhood_288 + Neighbourhood_289 + Neighbourhood_291 + Neighbourhood_295 - Neighbourhood_300 - Neighbourhood_301 - Neighbourhood_303 - Neighbourhood_304 - Neighbourhood_305 - Neighbourhood_307 - Neighbourhood_310 - Neighbourhood_312 - Neighbourhood_313 - Neighbourhood_314 - Neighbourhood_316 - Neighbourhood_317 - Neighbourhood_318 - Neighbourhood_319 + Neighbourhood_322 + Neighbourhood_326 + Neighbourhood_328 + Neighbourhood_329 + Neighbourhood_331 + Neighbourhood_335 + Neighbourhood_342 + Neighbourhood_346 + Neighbourhood_348 + Neighbourhood_349 + Neighbourhood_351 + Neighbourhood_355 + Neighbourhood_362 + Neighbourhood_366 + Neighbourhood_368 + Neighbourhood_369 + Neighbourhood_371 + Neighbourhood_375 + Neighbourhood_382 + Neighbourhood_386 + Neighbourhood_388 + Neighbourhood_389 + Neighbourhood_391 + Neighbourhood_395 = 1
inv : Outside_12 + Neighbourhood_12 + Neighbourhood_32 + Neighbourhood_52 + Neighbourhood_72 + Neighbourhood_92 + Neighbourhood_112 + Neighbourhood_132 + Neighbourhood_152 + Neighbourhood_172 + Neighbourhood_192 + Neighbourhood_212 + Neighbourhood_232 + Neighbourhood_252 + Neighbourhood_272 + Neighbourhood_292 + Neighbourhood_312 + Neighbourhood_332 + Neighbourhood_352 + Neighbourhood_372 + Neighbourhood_392 = 1
inv : Neighbourhood_19 + Neighbourhood_39 + Neighbourhood_59 + Neighbourhood_79 + Neighbourhood_99 + Neighbourhood_119 + Neighbourhood_139 + Neighbourhood_159 + Neighbourhood_179 + Neighbourhood_199 + Neighbourhood_219 + Neighbourhood_239 + Neighbourhood_259 + Neighbourhood_279 + Neighbourhood_299 + Neighbourhood_319 + Neighbourhood_339 + Neighbourhood_359 + Neighbourhood_379 - Neighbourhood_380 - Neighbourhood_381 - Neighbourhood_382 - Neighbourhood_383 - Neighbourhood_384 - Neighbourhood_385 - Neighbourhood_386 - Neighbourhood_387 - Neighbourhood_388 - Neighbourhood_389 - Neighbourhood_390 - Neighbourhood_391 - Neighbourhood_392 - Neighbourhood_393 - Neighbourhood_394 - Neighbourhood_395 - Neighbourhood_396 - Neighbourhood_397 - Neighbourhood_398 = 0
inv : -Neighbourhood_3 - Neighbourhood_14 - Neighbourhood_23 - Neighbourhood_34 - Neighbourhood_43 - Neighbourhood_54 + Neighbourhood_60 + Neighbourhood_61 + Neighbourhood_62 + Neighbourhood_64 + Neighbourhood_65 + Neighbourhood_66 + Neighbourhood_67 + Neighbourhood_68 + Neighbourhood_69 + Neighbourhood_70 + Neighbourhood_71 + Neighbourhood_72 + Neighbourhood_73 + Neighbourhood_75 + Neighbourhood_76 + Neighbourhood_77 + Neighbourhood_78 + Neighbourhood_79 - Neighbourhood_83 - Neighbourhood_94 - Neighbourhood_103 - Neighbourhood_114 - Neighbourhood_123 - Neighbourhood_134 - Neighbourhood_143 - Neighbourhood_154 - Neighbourhood_163 - Neighbourhood_174 - Neighbourhood_183 - Neighbourhood_194 - Neighbourhood_203 - Neighbourhood_214 - Neighbourhood_223 - Neighbourhood_234 - Neighbourhood_243 - Neighbourhood_254 - Neighbourhood_263 - Neighbourhood_274 + Neighbourhood_280 + Neighbourhood_281 + Neighbourhood_282 + Neighbourhood_284 + Neighbourhood_285 + Neighbourhood_286 + Neighbourhood_287 + Neighbourhood_288 + Neighbourhood_289 + Neighbourhood_290 + Neighbourhood_291 + Neighbourhood_292 + Neighbourhood_293 + Neighbourhood_295 + Neighbourhood_296 + Neighbourhood_297 + Neighbourhood_298 + Neighbourhood_299 - Neighbourhood_303 - Neighbourhood_314 - Neighbourhood_323 - Neighbourhood_334 - Neighbourhood_343 - Neighbourhood_354 - Neighbourhood_363 - Neighbourhood_374 - Neighbourhood_383 - Neighbourhood_394 = 0
inv : HasRight_6 + WaitRight_6 + Think_6 - Neighbourhood_120 - Neighbourhood_121 - Neighbourhood_122 - Neighbourhood_123 - Neighbourhood_124 - Neighbourhood_125 - Neighbourhood_126 - Neighbourhood_127 - Neighbourhood_128 - Neighbourhood_129 - Neighbourhood_130 - Neighbourhood_131 - Neighbourhood_132 - Neighbourhood_133 - Neighbourhood_134 - Neighbourhood_135 - Neighbourhood_136 - Neighbourhood_137 - Neighbourhood_138 - Neighbourhood_139 = 0
inv : HasLeft_19 + WaitLeft_19 + Think_19 - Neighbourhood_380 - Neighbourhood_381 - Neighbourhood_382 - Neighbourhood_383 - Neighbourhood_384 - Neighbourhood_385 - Neighbourhood_386 - Neighbourhood_387 - Neighbourhood_388 - Neighbourhood_389 - Neighbourhood_390 - Neighbourhood_391 - Neighbourhood_392 - Neighbourhood_393 - Neighbourhood_394 - Neighbourhood_395 - Neighbourhood_396 - Neighbourhood_397 - Neighbourhood_398 - Neighbourhood_399 = 0
inv : HasLeft_16 + WaitLeft_16 + Think_16 - Neighbourhood_320 - Neighbourhood_321 - Neighbourhood_322 - Neighbourhood_323 - Neighbourhood_324 - Neighbourhood_325 - Neighbourhood_326 - Neighbourhood_327 - Neighbourhood_328 - Neighbourhood_329 - Neighbourhood_330 - Neighbourhood_331 - Neighbourhood_332 - Neighbourhood_333 - Neighbourhood_334 - Neighbourhood_335 - Neighbourhood_336 - Neighbourhood_337 - Neighbourhood_338 - Neighbourhood_339 = 0
inv : HasLeft_4 + WaitLeft_4 + Think_4 + Neighbourhood_5 + Neighbourhood_7 + Neighbourhood_10 + Neighbourhood_13 + Neighbourhood_17 + Neighbourhood_18 + Neighbourhood_25 + Neighbourhood_27 + Neighbourhood_30 + Neighbourhood_33 + Neighbourhood_37 + Neighbourhood_38 + Neighbourhood_45 + Neighbourhood_47 + Neighbourhood_50 + Neighbourhood_53 + Neighbourhood_57 + Neighbourhood_58 + Neighbourhood_65 + Neighbourhood_67 + Neighbourhood_70 + Neighbourhood_73 + Neighbourhood_77 + Neighbourhood_78 - Neighbourhood_80 - Neighbourhood_81 - Neighbourhood_82 - Neighbourhood_83 - Neighbourhood_84 - Neighbourhood_86 - Neighbourhood_88 - Neighbourhood_89 - Neighbourhood_91 - Neighbourhood_92 - Neighbourhood_94 - Neighbourhood_95 - Neighbourhood_96 - Neighbourhood_99 - Neighbourhood_100 - Neighbourhood_101 - Neighbourhood_102 - Neighbourhood_103 - Neighbourhood_104 - Neighbourhood_106 - Neighbourhood_108 - Neighbourhood_109 - Neighbourhood_111 - Neighbourhood_112 - Neighbourhood_114 - Neighbourhood_115 - Neighbourhood_116 - Neighbourhood_119 + Neighbourhood_125 + Neighbourhood_127 + Neighbourhood_130 + Neighbourhood_133 + Neighbourhood_137 + Neighbourhood_138 - Neighbourhood_140 - Neighbourhood_141 - Neighbourhood_142 - Neighbourhood_143 - Neighbourhood_144 - Neighbourhood_146 - Neighbourhood_148 - Neighbourhood_149 - Neighbourhood_151 - Neighbourhood_152 - Neighbourhood_154 - Neighbourhood_155 - Neighbourhood_156 - Neighbourhood_159 + Neighbourhood_165 + Neighbourhood_167 + Neighbourhood_170 + Neighbourhood_173 + Neighbourhood_177 + Neighbourhood_178 + Neighbourhood_185 + Neighbourhood_187 + Neighbourhood_190 + Neighbourhood_193 + Neighbourhood_197 + Neighbourhood_198 - Neighbourhood_200 - Neighbourhood_201 - Neighbourhood_202 - Neighbourhood_203 - Neighbourhood_204 - Neighbourhood_206 - Neighbourhood_208 - Neighbourhood_209 - Neighbourhood_211 - Neighbourhood_212 - Neighbourhood_214 - Neighbourhood_215 - Neighbourhood_216 - Neighbourhood_219 + Neighbourhood_225 + Neighbourhood_227 + Neighbourhood_230 + Neighbourhood_233 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_245 + Neighbourhood_247 + Neighbourhood_250 + Neighbourhood_253 + Neighbourhood_257 + Neighbourhood_258 - Neighbourhood_260 - Neighbourhood_261 - Neighbourhood_262 - Neighbourhood_263 - Neighbourhood_264 - Neighbourhood_266 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_271 - Neighbourhood_272 - Neighbourhood_274 - Neighbourhood_275 - Neighbourhood_276 - Neighbourhood_279 + Neighbourhood_285 + Neighbourhood_287 + Neighbourhood_290 + Neighbourhood_293 + Neighbourhood_297 + Neighbourhood_298 + Neighbourhood_305 + Neighbourhood_307 + Neighbourhood_310 + Neighbourhood_313 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_325 + Neighbourhood_327 + Neighbourhood_330 + Neighbourhood_333 + Neighbourhood_337 + Neighbourhood_338 - Neighbourhood_340 - Neighbourhood_341 - Neighbourhood_342 - Neighbourhood_343 - Neighbourhood_344 - Neighbourhood_346 - Neighbourhood_348 - Neighbourhood_349 - Neighbourhood_351 - Neighbourhood_352 - Neighbourhood_354 - Neighbourhood_355 - Neighbourhood_356 - Neighbourhood_359 - Neighbourhood_360 - Neighbourhood_361 - Neighbourhood_362 - Neighbourhood_363 - Neighbourhood_364 - Neighbourhood_366 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_371 - Neighbourhood_372 - Neighbourhood_374 - Neighbourhood_375 - Neighbourhood_376 - Neighbourhood_379 + Neighbourhood_385 + Neighbourhood_387 + Neighbourhood_390 + Neighbourhood_393 + Neighbourhood_397 + Neighbourhood_398 = 0
inv : HasRight_12 + WaitRight_12 + Think_12 - Neighbourhood_12 - Neighbourhood_32 - Neighbourhood_52 - Neighbourhood_72 - Neighbourhood_92 - Neighbourhood_112 - Neighbourhood_132 - Neighbourhood_152 - Neighbourhood_172 - Neighbourhood_192 - Neighbourhood_212 - Neighbourhood_232 - Neighbourhood_252 - Neighbourhood_272 - Neighbourhood_292 - Neighbourhood_312 - Neighbourhood_332 - Neighbourhood_352 - Neighbourhood_372 - Neighbourhood_392 = 0
inv : HasRight_15 + WaitRight_15 + Think_15 - Neighbourhood_15 - Neighbourhood_35 - Neighbourhood_55 - Neighbourhood_75 - Neighbourhood_95 - Neighbourhood_115 - Neighbourhood_135 - Neighbourhood_155 - Neighbourhood_175 - Neighbourhood_195 - Neighbourhood_215 - Neighbourhood_235 - Neighbourhood_255 - Neighbourhood_275 - Neighbourhood_295 - Neighbourhood_315 - Neighbourhood_335 - Neighbourhood_355 - Neighbourhood_375 - Neighbourhood_395 = 0
inv : -Neighbourhood_7 - Neighbourhood_18 - Neighbourhood_27 - Neighbourhood_38 - Neighbourhood_47 - Neighbourhood_58 - Neighbourhood_67 - Neighbourhood_78 - Neighbourhood_87 - Neighbourhood_98 - Neighbourhood_107 - Neighbourhood_118 - Neighbourhood_127 - Neighbourhood_138 + Neighbourhood_140 + Neighbourhood_141 + Neighbourhood_142 + Neighbourhood_143 + Neighbourhood_144 + Neighbourhood_145 + Neighbourhood_146 + Neighbourhood_148 + Neighbourhood_149 + Neighbourhood_150 + Neighbourhood_151 + Neighbourhood_152 + Neighbourhood_153 + Neighbourhood_154 + Neighbourhood_155 + Neighbourhood_156 + Neighbourhood_157 + Neighbourhood_159 - Neighbourhood_167 - Neighbourhood_178 - Neighbourhood_187 - Neighbourhood_198 - Neighbourhood_207 - Neighbourhood_218 - Neighbourhood_227 - Neighbourhood_238 - Neighbourhood_247 - Neighbourhood_258 - Neighbourhood_267 - Neighbourhood_278 - Neighbourhood_287 - Neighbourhood_298 - Neighbourhood_307 - Neighbourhood_318 - Neighbourhood_327 - Neighbourhood_338 - Neighbourhood_347 - Neighbourhood_358 + Neighbourhood_360 + Neighbourhood_361 + Neighbourhood_362 + Neighbourhood_363 + Neighbourhood_364 + Neighbourhood_365 + Neighbourhood_366 + Neighbourhood_368 + Neighbourhood_369 + Neighbourhood_370 + Neighbourhood_371 + Neighbourhood_372 + Neighbourhood_373 + Neighbourhood_374 + Neighbourhood_375 + Neighbourhood_376 + Neighbourhood_377 + Neighbourhood_379 - Neighbourhood_387 - Neighbourhood_398 = 0
inv : HasLeft_3 + WaitLeft_3 + Think_3 - Neighbourhood_3 - Neighbourhood_23 - Neighbourhood_43 - Neighbourhood_63 - Neighbourhood_83 - Neighbourhood_103 - Neighbourhood_123 - Neighbourhood_143 - Neighbourhood_163 - Neighbourhood_183 - Neighbourhood_203 - Neighbourhood_223 - Neighbourhood_243 - Neighbourhood_263 - Neighbourhood_283 - Neighbourhood_303 - Neighbourhood_323 - Neighbourhood_343 - Neighbourhood_363 - Neighbourhood_383 = 0
inv : Neighbourhood_6 + Neighbourhood_26 + Neighbourhood_46 + Neighbourhood_66 + Neighbourhood_86 + Neighbourhood_106 - Neighbourhood_120 - Neighbourhood_121 - Neighbourhood_122 - Neighbourhood_123 - Neighbourhood_124 - Neighbourhood_125 - Neighbourhood_127 - Neighbourhood_128 - Neighbourhood_129 - Neighbourhood_130 - Neighbourhood_131 - Neighbourhood_132 - Neighbourhood_133 - Neighbourhood_134 - Neighbourhood_135 - Neighbourhood_136 - Neighbourhood_137 - Neighbourhood_138 - Neighbourhood_139 + Neighbourhood_146 + Neighbourhood_166 + Neighbourhood_186 + Neighbourhood_206 + Neighbourhood_226 + Neighbourhood_246 + Neighbourhood_266 + Neighbourhood_286 + Neighbourhood_306 + Neighbourhood_326 + Neighbourhood_346 + Neighbourhood_366 + Neighbourhood_386 = 0
inv : -Neighbourhood_15 - Neighbourhood_35 - Neighbourhood_55 - Neighbourhood_75 - Neighbourhood_95 - Neighbourhood_115 - Neighbourhood_135 - Neighbourhood_155 - Neighbourhood_175 - Neighbourhood_195 - Neighbourhood_215 - Neighbourhood_235 - Neighbourhood_255 - Neighbourhood_275 - Neighbourhood_295 + Neighbourhood_300 + Neighbourhood_301 + Neighbourhood_302 + Neighbourhood_303 + Neighbourhood_304 + Neighbourhood_305 + Neighbourhood_306 + Neighbourhood_307 + Neighbourhood_308 + Neighbourhood_309 + Neighbourhood_310 + Neighbourhood_311 + Neighbourhood_312 + Neighbourhood_313 + Neighbourhood_314 + Neighbourhood_316 + Neighbourhood_317 + Neighbourhood_318 + Neighbourhood_319 - Neighbourhood_335 - Neighbourhood_355 - Neighbourhood_375 - Neighbourhood_395 = 0
inv : -Neighbourhood_5 - Neighbourhood_13 - Neighbourhood_25 - Neighbourhood_33 - Neighbourhood_45 - Neighbourhood_53 - Neighbourhood_65 - Neighbourhood_73 - Neighbourhood_85 - Neighbourhood_93 + Neighbourhood_100 + Neighbourhood_101 + Neighbourhood_102 + Neighbourhood_103 + Neighbourhood_104 + Neighbourhood_106 + Neighbourhood_107 + Neighbourhood_108 + Neighbourhood_109 + Neighbourhood_110 + Neighbourhood_111 + Neighbourhood_112 + Neighbourhood_114 + Neighbourhood_115 + Neighbourhood_116 + Neighbourhood_117 + Neighbourhood_118 + Neighbourhood_119 - Neighbourhood_125 - Neighbourhood_133 - Neighbourhood_145 - Neighbourhood_153 - Neighbourhood_165 - Neighbourhood_173 - Neighbourhood_185 - Neighbourhood_193 - Neighbourhood_205 - Neighbourhood_213 - Neighbourhood_225 - Neighbourhood_233 - Neighbourhood_245 - Neighbourhood_253 + Neighbourhood_260 + Neighbourhood_261 + Neighbourhood_262 + Neighbourhood_263 + Neighbourhood_264 + Neighbourhood_266 + Neighbourhood_267 + Neighbourhood_268 + Neighbourhood_269 + Neighbourhood_270 + Neighbourhood_271 + Neighbourhood_272 + Neighbourhood_274 + Neighbourhood_275 + Neighbourhood_276 + Neighbourhood_277 + Neighbourhood_278 + Neighbourhood_279 - Neighbourhood_285 - Neighbourhood_293 - Neighbourhood_305 - Neighbourhood_313 - Neighbourhood_325 - Neighbourhood_333 - Neighbourhood_345 - Neighbourhood_353 - Neighbourhood_365 - Neighbourhood_373 - Neighbourhood_385 - Neighbourhood_393 = 0
inv : Outside_9 + Neighbourhood_9 + Neighbourhood_29 + Neighbourhood_49 + Neighbourhood_69 + Neighbourhood_89 + Neighbourhood_109 + Neighbourhood_129 + Neighbourhood_149 + Neighbourhood_169 + Neighbourhood_189 + Neighbourhood_209 + Neighbourhood_229 + Neighbourhood_249 + Neighbourhood_269 + Neighbourhood_289 + Neighbourhood_309 + Neighbourhood_329 + Neighbourhood_349 + Neighbourhood_369 + Neighbourhood_389 = 1
inv : Outside_17 + Neighbourhood_340 + Neighbourhood_341 + Neighbourhood_342 + Neighbourhood_343 + Neighbourhood_344 + Neighbourhood_345 + Neighbourhood_346 + Neighbourhood_347 + Neighbourhood_348 + Neighbourhood_349 + Neighbourhood_350 + Neighbourhood_351 + Neighbourhood_352 + Neighbourhood_353 + Neighbourhood_354 + Neighbourhood_355 + Neighbourhood_356 + Neighbourhood_357 + Neighbourhood_358 + Neighbourhood_359 = 1
inv : -Neighbourhood_12 - Neighbourhood_32 - Neighbourhood_52 - Neighbourhood_72 - Neighbourhood_92 - Neighbourhood_112 - Neighbourhood_132 - Neighbourhood_152 - Neighbourhood_172 - Neighbourhood_192 - Neighbourhood_212 - Neighbourhood_232 + Neighbourhood_240 + Neighbourhood_241 + Neighbourhood_242 + Neighbourhood_243 + Neighbourhood_244 + Neighbourhood_245 + Neighbourhood_246 + Neighbourhood_247 + Neighbourhood_248 + Neighbourhood_249 + Neighbourhood_250 + Neighbourhood_251 + Neighbourhood_253 + Neighbourhood_254 + Neighbourhood_255 + Neighbourhood_256 + Neighbourhood_257 + Neighbourhood_258 + Neighbourhood_259 - Neighbourhood_272 - Neighbourhood_292 - Neighbourhood_312 - Neighbourhood_332 - Neighbourhood_352 - Neighbourhood_372 - Neighbourhood_392 = 0
inv : HasLeft_5 + WaitLeft_5 + Think_5 - Neighbourhood_5 - Neighbourhood_25 - Neighbourhood_45 - Neighbourhood_65 - Neighbourhood_85 - Neighbourhood_105 - Neighbourhood_125 - Neighbourhood_145 - Neighbourhood_165 - Neighbourhood_185 - Neighbourhood_205 - Neighbourhood_225 - Neighbourhood_245 - Neighbourhood_265 - Neighbourhood_285 - Neighbourhood_305 - Neighbourhood_325 - Neighbourhood_345 - Neighbourhood_365 - Neighbourhood_385 = 0
inv : HasLeft_13 + WaitLeft_13 + Think_13 - Neighbourhood_260 - Neighbourhood_261 - Neighbourhood_262 - Neighbourhood_263 - Neighbourhood_264 - Neighbourhood_265 - Neighbourhood_266 - Neighbourhood_267 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_270 - Neighbourhood_271 - Neighbourhood_272 - Neighbourhood_273 - Neighbourhood_274 - Neighbourhood_275 - Neighbourhood_276 - Neighbourhood_277 - Neighbourhood_278 - Neighbourhood_279 = 0
inv : Neighbourhood_3 + Neighbourhood_14 + Neighbourhood_16 + Neighbourhood_23 + Neighbourhood_34 + Neighbourhood_36 + Neighbourhood_43 + Neighbourhood_54 + Neighbourhood_56 - Neighbourhood_60 - Neighbourhood_61 - Neighbourhood_62 - Neighbourhood_64 - Neighbourhood_65 - Neighbourhood_66 - Neighbourhood_67 - Neighbourhood_68 - Neighbourhood_69 - Neighbourhood_70 - Neighbourhood_71 - Neighbourhood_72 - Neighbourhood_73 - Neighbourhood_75 - Neighbourhood_77 - Neighbourhood_78 - Neighbourhood_79 + Neighbourhood_83 + Neighbourhood_94 + Neighbourhood_96 + Neighbourhood_103 + Neighbourhood_114 + Neighbourhood_116 + Neighbourhood_123 + Neighbourhood_134 + Neighbourhood_136 + Neighbourhood_143 + Neighbourhood_154 + Neighbourhood_156 + Neighbourhood_163 + Neighbourhood_174 + Neighbourhood_176 + Neighbourhood_183 + Neighbourhood_194 + Neighbourhood_196 + Neighbourhood_203 + Neighbourhood_214 + Neighbourhood_216 + Neighbourhood_223 + Neighbourhood_234 + Neighbourhood_236 + Neighbourhood_243 + Neighbourhood_254 + Neighbourhood_256 + Neighbourhood_263 + Neighbourhood_274 + Neighbourhood_276 - Neighbourhood_280 - Neighbourhood_281 - Neighbourhood_282 - Neighbourhood_284 - Neighbourhood_285 - Neighbourhood_286 - Neighbourhood_287 - Neighbourhood_288 - Neighbourhood_289 - Neighbourhood_290 - Neighbourhood_291 - Neighbourhood_292 - Neighbourhood_293 - Neighbourhood_295 - Neighbourhood_297 - Neighbourhood_298 - Neighbourhood_299 + Neighbourhood_303 + Neighbourhood_314 + Neighbourhood_316 - Neighbourhood_320 - Neighbourhood_321 - Neighbourhood_322 - Neighbourhood_324 - Neighbourhood_325 - Neighbourhood_326 - Neighbourhood_327 - Neighbourhood_328 - Neighbourhood_329 - Neighbourhood_330 - Neighbourhood_331 - Neighbourhood_332 - Neighbourhood_333 - Neighbourhood_335 - Neighbourhood_337 - Neighbourhood_338 - Neighbourhood_339 + Neighbourhood_343 + Neighbourhood_354 + Neighbourhood_356 + Neighbourhood_363 + Neighbourhood_374 + Neighbourhood_376 + Neighbourhood_383 + Neighbourhood_394 + Neighbourhood_396 = 0
inv : Outside_3 + Neighbourhood_3 + Neighbourhood_23 + Neighbourhood_43 + Neighbourhood_63 + Neighbourhood_83 + Neighbourhood_103 + Neighbourhood_123 + Neighbourhood_143 + Neighbourhood_163 + Neighbourhood_183 + Neighbourhood_203 + Neighbourhood_223 + Neighbourhood_243 + Neighbourhood_263 + Neighbourhood_283 + Neighbourhood_303 + Neighbourhood_323 + Neighbourhood_343 + Neighbourhood_363 + Neighbourhood_383 = 1
inv : HasRight_10 + WaitRight_10 + Think_10 - Neighbourhood_5 - Neighbourhood_10 - Neighbourhood_13 - Neighbourhood_25 - Neighbourhood_30 - Neighbourhood_33 - Neighbourhood_45 - Neighbourhood_50 - Neighbourhood_53 - Neighbourhood_65 - Neighbourhood_70 - Neighbourhood_73 - Neighbourhood_85 - Neighbourhood_90 - Neighbourhood_93 + Neighbourhood_100 + Neighbourhood_101 + Neighbourhood_102 + Neighbourhood_103 + Neighbourhood_104 + Neighbourhood_106 + Neighbourhood_107 + Neighbourhood_108 + Neighbourhood_109 + Neighbourhood_111 + Neighbourhood_112 + Neighbourhood_114 + Neighbourhood_115 + Neighbourhood_116 + Neighbourhood_117 + Neighbourhood_118 + Neighbourhood_119 - Neighbourhood_125 - Neighbourhood_130 - Neighbourhood_133 - Neighbourhood_145 - Neighbourhood_150 - Neighbourhood_153 - Neighbourhood_165 - Neighbourhood_170 - Neighbourhood_173 - Neighbourhood_185 - Neighbourhood_190 - Neighbourhood_193 - Neighbourhood_205 - Neighbourhood_210 - Neighbourhood_213 - Neighbourhood_225 - Neighbourhood_230 - Neighbourhood_233 - Neighbourhood_245 - Neighbourhood_250 - Neighbourhood_253 + Neighbourhood_260 + Neighbourhood_261 + Neighbourhood_262 + Neighbourhood_263 + Neighbourhood_264 + Neighbourhood_266 + Neighbourhood_267 + Neighbourhood_268 + Neighbourhood_269 + Neighbourhood_271 + Neighbourhood_272 + Neighbourhood_274 + Neighbourhood_275 + Neighbourhood_276 + Neighbourhood_277 + Neighbourhood_278 + Neighbourhood_279 - Neighbourhood_285 - Neighbourhood_290 - Neighbourhood_293 - Neighbourhood_305 - Neighbourhood_310 - Neighbourhood_313 - Neighbourhood_325 - Neighbourhood_330 - Neighbourhood_333 - Neighbourhood_345 - Neighbourhood_350 - Neighbourhood_353 - Neighbourhood_365 - Neighbourhood_370 - Neighbourhood_373 - Neighbourhood_385 - Neighbourhood_390 - Neighbourhood_393 = 0
inv : HasRight_18 + WaitRight_18 + Think_18 - Neighbourhood_360 - Neighbourhood_361 - Neighbourhood_362 - Neighbourhood_363 - Neighbourhood_364 - Neighbourhood_365 - Neighbourhood_366 - Neighbourhood_367 - Neighbourhood_368 - Neighbourhood_369 - Neighbourhood_370 - Neighbourhood_371 - Neighbourhood_372 - Neighbourhood_373 - Neighbourhood_374 - Neighbourhood_375 - Neighbourhood_376 - Neighbourhood_377 - Neighbourhood_378 - Neighbourhood_379 = 0
inv : Outside_1 + Neighbourhood_1 + Neighbourhood_21 + Neighbourhood_41 + Neighbourhood_61 + Neighbourhood_81 + Neighbourhood_101 + Neighbourhood_121 + Neighbourhood_141 + Neighbourhood_161 + Neighbourhood_181 + Neighbourhood_201 + Neighbourhood_221 + Neighbourhood_241 + Neighbourhood_261 + Neighbourhood_281 + Neighbourhood_301 + Neighbourhood_321 + Neighbourhood_341 + Neighbourhood_361 + Neighbourhood_381 = 1
inv : Outside_11 + Neighbourhood_220 + Neighbourhood_221 + Neighbourhood_222 + Neighbourhood_223 + Neighbourhood_224 + Neighbourhood_225 + Neighbourhood_226 + Neighbourhood_227 + Neighbourhood_228 + Neighbourhood_229 + Neighbourhood_230 + Neighbourhood_231 + Neighbourhood_232 + Neighbourhood_233 + Neighbourhood_234 + Neighbourhood_235 + Neighbourhood_236 + Neighbourhood_237 + Neighbourhood_238 + Neighbourhood_239 = 1
inv : HasRight_13 + WaitRight_13 + Think_13 - Neighbourhood_260 - Neighbourhood_261 - Neighbourhood_262 - Neighbourhood_263 - Neighbourhood_264 - Neighbourhood_265 - Neighbourhood_266 - Neighbourhood_267 - Neighbourhood_268 - Neighbourhood_269 - Neighbourhood_270 - Neighbourhood_271 - Neighbourhood_272 - Neighbourhood_273 - Neighbourhood_274 - Neighbourhood_275 - Neighbourhood_276 - Neighbourhood_277 - Neighbourhood_278 - Neighbourhood_279 = 0
inv : HasRight_19 + WaitRight_19 + Think_19 - Neighbourhood_380 - Neighbourhood_381 - Neighbourhood_382 - Neighbourhood_383 - Neighbourhood_384 - Neighbourhood_385 - Neighbourhood_386 - Neighbourhood_387 - Neighbourhood_388 - Neighbourhood_389 - Neighbourhood_390 - Neighbourhood_391 - Neighbourhood_392 - Neighbourhood_393 - Neighbourhood_394 - Neighbourhood_395 - Neighbourhood_396 - Neighbourhood_397 - Neighbourhood_398 - Neighbourhood_399 = 0
inv : HasLeft_14 + WaitLeft_14 + Think_14 - Neighbourhood_280 - Neighbourhood_281 - Neighbourhood_282 - Neighbourhood_283 - Neighbourhood_284 - Neighbourhood_285 - Neighbourhood_286 - Neighbourhood_287 - Neighbourhood_288 - Neighbourhood_289 - Neighbourhood_290 - Neighbourhood_291 - Neighbourhood_292 - Neighbourhood_293 - Neighbourhood_294 - Neighbourhood_295 - Neighbourhood_296 - Neighbourhood_297 - Neighbourhood_298 - Neighbourhood_299 = 0
inv : Outside_18 + Neighbourhood_360 + Neighbourhood_361 + Neighbourhood_362 + Neighbourhood_363 + Neighbourhood_364 + Neighbourhood_365 + Neighbourhood_366 + Neighbourhood_367 + Neighbourhood_368 + Neighbourhood_369 + Neighbourhood_370 + Neighbourhood_371 + Neighbourhood_372 + Neighbourhood_373 + Neighbourhood_374 + Neighbourhood_375 + Neighbourhood_376 + Neighbourhood_377 + Neighbourhood_378 + Neighbourhood_379 = 1
inv : HasRight_9 + WaitRight_9 + Think_9 - Neighbourhood_9 - Neighbourhood_29 - Neighbourhood_49 - Neighbourhood_69 - Neighbourhood_89 - Neighbourhood_109 - Neighbourhood_129 - Neighbourhood_149 - Neighbourhood_169 - Neighbourhood_189 - Neighbourhood_209 - Neighbourhood_229 - Neighbourhood_249 - Neighbourhood_269 - Neighbourhood_289 - Neighbourhood_309 - Neighbourhood_329 - Neighbourhood_349 - Neighbourhood_369 - Neighbourhood_389 = 0
inv : Outside_4 - Neighbourhood_5 - Neighbourhood_7 - Neighbourhood_10 - Neighbourhood_13 - Neighbourhood_17 - Neighbourhood_18 - Neighbourhood_25 - Neighbourhood_27 - Neighbourhood_30 - Neighbourhood_33 - Neighbourhood_37 - Neighbourhood_38 - Neighbourhood_45 - Neighbourhood_47 - Neighbourhood_50 - Neighbourhood_53 - Neighbourhood_57 - Neighbourhood_58 - Neighbourhood_65 - Neighbourhood_67 - Neighbourhood_70 - Neighbourhood_73 - Neighbourhood_77 - Neighbourhood_78 + Neighbourhood_80 + Neighbourhood_81 + Neighbourhood_82 + Neighbourhood_83 + Neighbourhood_84 + Neighbourhood_86 + Neighbourhood_88 + Neighbourhood_89 + Neighbourhood_91 + Neighbourhood_92 + Neighbourhood_94 + Neighbourhood_95 + Neighbourhood_96 + Neighbourhood_99 + Neighbourhood_100 + Neighbourhood_101 + Neighbourhood_102 + Neighbourhood_103 + Neighbourhood_104 + Neighbourhood_106 + Neighbourhood_108 + Neighbourhood_109 + Neighbourhood_111 + Neighbourhood_112 + Neighbourhood_114 + Neighbourhood_115 + Neighbourhood_116 + Neighbourhood_119 - Neighbourhood_125 - Neighbourhood_127 - Neighbourhood_130 - Neighbourhood_133 - Neighbourhood_137 - Neighbourhood_138 + Neighbourhood_140 + Neighbourhood_141 + Neighbourhood_142 + Neighbourhood_143 + Neighbourhood_144 + Neighbourhood_146 + Neighbourhood_148 + Neighbourhood_149 + Neighbourhood_151 + Neighbourhood_152 + Neighbourhood_154 + Neighbourhood_155 + Neighbourhood_156 + Neighbourhood_159 - Neighbourhood_165 - Neighbourhood_167 - Neighbourhood_170 - Neighbourhood_173 - Neighbourhood_177 - Neighbourhood_178 - Neighbourhood_185 - Neighbourhood_187 - Neighbourhood_190 - Neighbourhood_193 - Neighbourhood_197 - Neighbourhood_198 + Neighbourhood_200 + Neighbourhood_201 + Neighbourhood_202 + Neighbourhood_203 + Neighbourhood_204 + Neighbourhood_206 + Neighbourhood_208 + Neighbourhood_209 + Neighbourhood_211 + Neighbourhood_212 + Neighbourhood_214 + Neighbourhood_215 + Neighbourhood_216 + Neighbourhood_219 - Neighbourhood_225 - Neighbourhood_227 - Neighbourhood_230 - Neighbourhood_233 - Neighbourhood_237 - Neighbourhood_238 - Neighbourhood_245 - Neighbourhood_247 - Neighbourhood_250 - Neighbourhood_253 - Neighbourhood_257 - Neighbourhood_258 + Neighbourhood_260 + Neighbourhood_261 + Neighbourhood_262 + Neighbourhood_263 + Neighbourhood_264 + Neighbourhood_266 + Neighbourhood_268 + Neighbourhood_269 + Neighbourhood_271 + Neighbourhood_272 + Neighbourhood_274 + Neighbourhood_275 + Neighbourhood_276 + Neighbourhood_279 - Neighbourhood_285 - Neighbourhood_287 - Neighbourhood_290 - Neighbourhood_293 - Neighbourhood_297 - Neighbourhood_298 - Neighbourhood_305 - Neighbourhood_307 - Neighbourhood_310 - Neighbourhood_313 - Neighbourhood_317 - Neighbourhood_318 - Neighbourhood_325 - Neighbourhood_327 - Neighbourhood_330 - Neighbourhood_333 - Neighbourhood_337 - Neighbourhood_338 + Neighbourhood_340 + Neighbourhood_341 + Neighbourhood_342 + Neighbourhood_343 + Neighbourhood_344 + Neighbourhood_346 + Neighbourhood_348 + Neighbourhood_349 + Neighbourhood_351 + Neighbourhood_352 + Neighbourhood_354 + Neighbourhood_355 + Neighbourhood_356 + Neighbourhood_359 + Neighbourhood_360 + Neighbourhood_361 + Neighbourhood_362 + Neighbourhood_363 + Neighbourhood_364 + Neighbourhood_366 + Neighbourhood_368 + Neighbourhood_369 + Neighbourhood_371 + Neighbourhood_372 + Neighbourhood_374 + Neighbourhood_375 + Neighbourhood_376 + Neighbourhood_379 - Neighbourhood_385 - Neighbourhood_387 - Neighbourhood_390 - Neighbourhood_393 - Neighbourhood_397 - Neighbourhood_398 = 1
Total of 79 invariants.
[2021-05-16 14:59:05] [INFO ] Computed 79 place invariants in 2804 ms
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6104924330466732698] killed by timeout after 72 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin6104924330466732698] killed by timeout after 72 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-16 15:00:12] [INFO ] BMC solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-15(UNSAT) depth K=1 took 69828 ms
[2021-05-16 15:01:31] [INFO ] Proved 540 variables to be positive in 148932 ms
[2021-05-16 15:01:31] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesPhilosophersDyn-COL-20-ReachabilityCardinality-02
[2021-05-16 15:01:31] [INFO ] KInduction solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-02(SAT) depth K=0 took 205 ms
[2021-05-16 15:01:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesPhilosophersDyn-COL-20-ReachabilityCardinality-04
[2021-05-16 15:01:32] [INFO ] KInduction solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-04(SAT) depth K=0 took 222 ms
[2021-05-16 15:01:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesPhilosophersDyn-COL-20-ReachabilityCardinality-08
[2021-05-16 15:01:32] [INFO ] KInduction solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-08(SAT) depth K=0 took 287 ms
[2021-05-16 15:01:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesPhilosophersDyn-COL-20-ReachabilityCardinality-13
[2021-05-16 15:01:32] [INFO ] KInduction solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-13(SAT) depth K=0 took 222 ms
[2021-05-16 15:01:32] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesPhilosophersDyn-COL-20-ReachabilityCardinality-15
[2021-05-16 15:01:32] [INFO ] KInduction solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-15(SAT) depth K=0 took 229 ms
[2021-05-16 15:03:05] [INFO ] Removed a total of 46130 redundant transitions.
[2021-05-16 15:03:10] [INFO ] Flatten gal took : 256255 ms
[2021-05-16 15:03:29] [INFO ] Fuse similar labels procedure discarded/fused a total of 14060 labels/synchronizations in 12911 ms.
[2021-05-16 15:03:35] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16691509452426647858.gal : 179 ms
[2021-05-16 15:03:35] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5745297178966282251.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16691509452426647858.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5745297178966282251.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16691509452426647858.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5745297178966282251.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality5745297178966282251.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 7
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :7 after 10
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :10 after 14
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :14 after 28
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :28 after 37
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :37 after 116
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :116 after 196
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :196 after 472
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :472 after 1262
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :1262 after 2148
SDD proceeding with computation,5 properties remain. new max is 4096
SDD size :2148 after 5068
SDD proceeding with computation,5 properties remain. new max is 8192
SDD size :5068 after 9224
SDD proceeding with computation,5 properties remain. new max is 16384
SDD size :9224 after 18014
ITS-tools command line returned an error code 137
[2021-05-16 15:07:38] [INFO ] Applying decomposition
[2021-05-16 15:07:40] [INFO ] Flatten gal took : 1462 ms
[2021-05-16 15:07:41] [INFO ] Decomposing Gal with order
[2021-05-16 15:07:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-16 15:07:47] [INFO ] Removed a total of 76920 redundant transitions.
[2021-05-16 15:07:48] [INFO ] Flatten gal took : 4652 ms
[2021-05-16 15:07:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 40 labels/synchronizations in 616 ms.
[2021-05-16 15:07:49] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16919974247473622605.gal : 94 ms
[2021-05-16 15:07:49] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6403493203199683928.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality16919974247473622605.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6403493203199683928.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality16919974247473622605.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6403493203199683928.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality6403493203199683928.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 101
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :101 after 106
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :106 after 108
SDD proceeding with computation,5 properties remain. new max is 32
SDD size :108 after 132
SDD proceeding with computation,5 properties remain. new max is 64
SDD size :132 after 140
SDD proceeding with computation,5 properties remain. new max is 128
SDD size :140 after 212
SDD proceeding with computation,5 properties remain. new max is 256
SDD size :212 after 296
SDD proceeding with computation,5 properties remain. new max is 512
SDD size :296 after 1062
SDD proceeding with computation,5 properties remain. new max is 1024
SDD size :1062 after 1381
SDD proceeding with computation,5 properties remain. new max is 2048
SDD size :1381 after 2720
SDD proceeding with computation,5 properties remain. new max is 4096
SDD size :2720 after 5055
SDD proceeding with computation,5 properties remain. new max is 8192
SDD size :5055 after 8957
SDD proceeding with computation,5 properties remain. new max is 16384
SDD size :8957 after 16015
[2021-05-16 15:11:54] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesPhilosophersDyn-COL-20-ReachabilityCardinality-02
[2021-05-16 15:11:54] [INFO ] KInduction solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-02(SAT) depth K=1 took 619838 ms
SDD proceeding with computation,5 properties remain. new max is 32768
SDD size :16015 after 32922
ITS-tools command line returned an error code 137
[2021-05-16 15:17:52] [INFO ] Flatten gal took : 1291 ms
[2021-05-16 15:17:55] [INFO ] Input system was already deterministic with 15470 transitions.
[2021-05-16 15:17:56] [INFO ] Transformed 540 places.
[2021-05-16 15:17:56] [INFO ] Transformed 15470 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-16 15:17:59] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1429306707898845239.gal : 101 ms
[2021-05-16 15:17:59] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17823908462662325224.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1429306707898845239.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17823908462662325224.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality1429306707898845239.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17823908462662325224.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file /tmp/ReachabilityCardinality17823908462662325224.prop.
SDD proceeding with computation,5 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,5 properties remain. new max is 8
SDD size :5 after 179
SDD proceeding with computation,5 properties remain. new max is 16
SDD size :179 after 251
ITS-tools command line returned an error code 137
[2021-05-16 15:19:07] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesPhilosophersDyn-COL-20-ReachabilityCardinality-04
[2021-05-16 15:19:07] [INFO ] KInduction solution for property PhilosophersDyn-COL-20-ReachabilityCardinality-04(SAT) depth K=1 took 433726 ms
[2021-05-16 15:19:08] [WARNING] SMT solver unexpectedly returned 'unknown' answer, retrying.
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:279)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-16 15:19:08] [WARNING] Unexpected error occurred while running SMT. Was verifying PhilosophersDyn-COL-20-ReachabilityCardinality-08 K-induction depth 1
Exception in thread "Thread-15" java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:344)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$1(Gal2SMTFrontEnd.java:279)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:586)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
... 3 more
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:385)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$0(Gal2SMTFrontEnd.java:357)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:164)
at java.base/java.lang.Thread.run(Thread.java:834)
[2021-05-16 15:19:10] [WARNING] Unexpected error occurred while running SMT. Was verifying PhilosophersDyn-COL-20-ReachabilityCardinality-02 SMT depth 2
java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:411)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.access$0(Gal2SMTFrontEnd.java:357)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:164)
at java.base/java.lang.Thread.run(Thread.java:834)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Solver has unexpectedly terminated")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:385)
... 3 more
[2021-05-16 15:19:10] [INFO ] During BMC, SMT solver timed out at depth 2
[2021-05-16 15:19:10] [INFO ] BMC solving timed out (3600000 secs) at depth 2
[2021-05-16 15:19:10] [INFO ] SMT solved 0/ 5 properties. Interrupting SMT analysis.

BK_STOP 1621178351558

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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-COL-20"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
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-4028"
echo " Executing tool itstools"
echo " Input is PhilosophersDyn-COL-20, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r159-oct2-162089267700022"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-COL-20.tgz
mv PhilosophersDyn-COL-20 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 ;