About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12126.380 | 1800000.00 | 6851625.00 | 340.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r256-tall-171654365700123.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S32C08, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365700123
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 9.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 28M May 18 16:43 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1717423119110
starting LoLA
BK_EXAMINATION: StableMarking
BK_TIME_CONFINEMENT: 1800
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 1800 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 24797
[[35mlola[0m][I] find path: 1305
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 1199
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21031
[[35mlola[0m][I] find path: 3194
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 3076
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18545
[[35mlola[0m][I] find path: 4437
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 4319
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 16965
[[35mlola[0m][I] find path: 5227
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 5109
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 16201
[[35mlola[0m][I] find path: 5609
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 5491
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 15309
[[35mlola[0m][I] find path: 6055
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 5937
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14541
[[35mlola[0m][I] find path: 6439
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 6321
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14101
[[35mlola[0m][I] find path: 6661
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 6539
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13367
[[35mlola[0m][I] find path: 7028
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 6906
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12867
[[35mlola[0m][I] find path: 7278
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7156
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12559
[[35mlola[0m][I] find path: 7432
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7310
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12263
[[35mlola[0m][I] find path: 7580
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7458
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11969
[[35mlola[0m][I] find path: 7727
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7605
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11761
[[35mlola[0m][I] find path: 7831
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7709
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11639
[[35mlola[0m][I] find path: 7892
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7770
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11451
[[35mlola[0m][I] find path: 7986
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7864
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11217
[[35mlola[0m][I] find path: 8103
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 7981
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11055
[[35mlola[0m][I] find path: 8184
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8062
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10899
[[35mlola[0m][I] find path: 8262
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8140
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10753
[[35mlola[0m][I] find path: 8335
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8213
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10601
[[35mlola[0m][I] find path: 8411
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8289
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10449
[[35mlola[0m][I] find path: 8487
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8365
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10333
[[35mlola[0m][I] find path: 8545
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8423
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10267
[[35mlola[0m][I] find path: 8578
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8456
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10145
[[35mlola[0m][I] find path: 8639
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8517
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10051
[[35mlola[0m][I] find path: 8686
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8564
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9999
[[35mlola[0m][I] find path: 8712
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8590
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9895
[[35mlola[0m][I] find path: 8764
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8642
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9827
[[35mlola[0m][I] find path: 8798
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8676
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9771
[[35mlola[0m][I] find path: 8826
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8704
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9727
[[35mlola[0m][I] find path: 8848
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8726
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9657
[[35mlola[0m][I] find path: 8883
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8761
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9603
[[35mlola[0m][I] find path: 8910
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8788
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9583
[[35mlola[0m][I] find path: 8920
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8798
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9535
[[35mlola[0m][I] find path: 8944
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8822
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9499
[[35mlola[0m][I] find path: 8962
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8840
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9477
[[35mlola[0m][I] find path: 8973
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8851
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9429
[[35mlola[0m][I] find path: 8997
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8875
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9395
[[35mlola[0m][I] find path: 9014
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8892
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9367
[[35mlola[0m][I] find path: 9028
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8906
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9335
[[35mlola[0m][I] find path: 9044
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8922
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9327
[[35mlola[0m][I] find path: 9048
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8926
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9305
[[35mlola[0m][I] find path: 9059
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8937
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9293
[[35mlola[0m][I] find path: 9065
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8943
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9271
[[35mlola[0m][I] find path: 9076
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8954
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9239
[[35mlola[0m][I] find path: 9092
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8970
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9211
[[35mlola[0m][I] find path: 9106
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8984
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9183
[[35mlola[0m][I] find path: 9120
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 8998
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9153
[[35mlola[0m][I] find path: 9135
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9013
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9137
[[35mlola[0m][I] find path: 9143
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9021
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9109
[[35mlola[0m][I] find path: 9157
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9035
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9105
[[35mlola[0m][I] find path: 9159
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9037
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9093
[[35mlola[0m][I] find path: 9165
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9043
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9069
[[35mlola[0m][I] find path: 9177
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9055
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9057
[[35mlola[0m][I] find path: 9183
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9061
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9049
[[35mlola[0m][I] find path: 9187
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9065
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9037
[[35mlola[0m][I] find path: 9193
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9071
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9001
[[35mlola[0m][I] find path: 9211
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9089
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8991
[[35mlola[0m][I] find path: 9216
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9094
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8975
[[35mlola[0m][I] find path: 9224
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9102
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8967
[[35mlola[0m][I] find path: 9228
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9106
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8955
[[35mlola[0m][I] find path: 9234
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9112
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8953
[[35mlola[0m][I] find path: 9235
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9113
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8929
[[35mlola[0m][I] find path: 9247
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9125
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8921
[[35mlola[0m][I] find path: 9251
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9129
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8899
[[35mlola[0m][I] find path: 9262
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9140
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8883
[[35mlola[0m][I] find path: 9270
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9148
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8879
[[35mlola[0m][I] find path: 9272
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8863
[[35mlola[0m][I] find path: 9280
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9158
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8837
[[35mlola[0m][I] find path: 9293
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9171
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8805
[[35mlola[0m][I] find path: 9309
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9187
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8805
[[35mlola[0m][I] find path: 9309
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9187
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8781
[[35mlola[0m][I] find path: 9321
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9199
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8757
[[35mlola[0m][I] find path: 9333
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9211
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8749
[[35mlola[0m][I] find path: 9337
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9215
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8745
[[35mlola[0m][I] find path: 9339
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9217
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8733
[[35mlola[0m][I] find path: 9345
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9223
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8711
[[35mlola[0m][I] find path: 9356
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9234
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8695
[[35mlola[0m][I] find path: 9364
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9242
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8687
[[35mlola[0m][I] find path: 9368
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9246
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8683
[[35mlola[0m][I] find path: 9370
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9248
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8675
[[35mlola[0m][I] find path: 9374
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9252
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8665
[[35mlola[0m][I] find path: 9379
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8661
[[35mlola[0m][I] find path: 9381
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9259
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8645
[[35mlola[0m][I] find path: 9389
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9267
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8633
[[35mlola[0m][I] find path: 9395
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9273
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8617
[[35mlola[0m][I] find path: 9403
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9281
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8609
[[35mlola[0m][I] find path: 9407
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9285
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8601
[[35mlola[0m][I] find path: 9411
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9289
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8585
[[35mlola[0m][I] find path: 9419
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9297
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8579
[[35mlola[0m][I] find path: 9422
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9300
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8575
[[35mlola[0m][I] find path: 9424
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9302
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8563
[[35mlola[0m][I] find path: 9430
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9308
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8559
[[35mlola[0m][I] find path: 9432
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9310
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8547
[[35mlola[0m][I] find path: 9438
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9316
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8543
[[35mlola[0m][I] find path: 9440
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9318
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8535
[[35mlola[0m][I] find path: 9444
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9322
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8531
[[35mlola[0m][I] find path: 9446
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9324
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8523
[[35mlola[0m][I] find path: 9450
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9328
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8519
[[35mlola[0m][I] find path: 9452
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9330
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8511
[[35mlola[0m][I] find path: 9456
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9334
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8511
[[35mlola[0m][I] find path: 9456
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9334
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8503
[[35mlola[0m][I] find path: 9460
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9338
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8499
[[35mlola[0m][I] find path: 9462
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9340
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8491
[[35mlola[0m][I] find path: 9466
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9344
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8479
[[35mlola[0m][I] find path: 9472
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9350
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8463
[[35mlola[0m][I] find path: 9480
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9358
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8455
[[35mlola[0m][I] find path: 9484
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9362
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8441
[[35mlola[0m][I] find path: 9491
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9369
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8431
[[35mlola[0m][I] find path: 9496
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9374
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8431
[[35mlola[0m][I] find path: 9496
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9374
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8423
[[35mlola[0m][I] find path: 9500
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9378
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8423
[[35mlola[0m][I] find path: 9500
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9378
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8423
[[35mlola[0m][I] find path: 9500
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9378
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8409
[[35mlola[0m][I] find path: 9507
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9385
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8397
[[35mlola[0m][I] find path: 9513
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9391
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8393
[[35mlola[0m][I] find path: 9515
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9393
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8385
[[35mlola[0m][I] find path: 9519
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9397
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8385
[[35mlola[0m][I] find path: 9519
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9397
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8385
[[35mlola[0m][I] find path: 9519
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9397
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8379
[[35mlola[0m][I] find path: 9522
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9400
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8369
[[35mlola[0m][I] find path: 9527
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9405
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8361
[[35mlola[0m][I] find path: 9531
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9409
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8347
[[35mlola[0m][I] find path: 9538
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9416
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8335
[[35mlola[0m][I] find path: 9544
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9422
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8323
[[35mlola[0m][I] find path: 9550
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8319
[[35mlola[0m][I] find path: 9552
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9430
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8311
[[35mlola[0m][I] find path: 9556
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9434
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8311
[[35mlola[0m][I] find path: 9556
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9434
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8299
[[35mlola[0m][I] find path: 9562
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9440
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8291
[[35mlola[0m][I] find path: 9566
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9444
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8283
[[35mlola[0m][I] find path: 9570
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9448
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8275
[[35mlola[0m][I] find path: 9574
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9452
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8263
[[35mlola[0m][I] find path: 9580
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9458
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8263
[[35mlola[0m][I] find path: 9580
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9458
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8261
[[35mlola[0m][I] find path: 9581
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9459
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8261
[[35mlola[0m][I] find path: 9581
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9459
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8257
[[35mlola[0m][I] find path: 9583
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9461
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8257
[[35mlola[0m][I] find path: 9583
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9461
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8253
[[35mlola[0m][I] find path: 9585
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9463
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8247
[[35mlola[0m][I] find path: 9588
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9466
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8239
[[35mlola[0m][I] find path: 9592
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9470
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8239
[[35mlola[0m][I] find path: 9592
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9470
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8235
[[35mlola[0m][I] find path: 9594
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9472
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8225
[[35mlola[0m][I] find path: 9599
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9477
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8221
[[35mlola[0m][I] find path: 9601
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9479
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8221
[[35mlola[0m][I] find path: 9601
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9479
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8215
[[35mlola[0m][I] find path: 9604
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9482
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8207
[[35mlola[0m][I] find path: 9608
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9486
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8203
[[35mlola[0m][I] find path: 9610
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9488
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8187
[[35mlola[0m][I] find path: 9618
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9496
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8187
[[35mlola[0m][I] find path: 9618
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9496
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8179
[[35mlola[0m][I] find path: 9622
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9500
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8167
[[35mlola[0m][I] find path: 9628
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9506
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8167
[[35mlola[0m][I] find path: 9628
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9506
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8167
[[35mlola[0m][I] find path: 9628
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9506
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8167
[[35mlola[0m][I] find path: 9628
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9506
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8163
[[35mlola[0m][I] find path: 9630
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9508
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8163
[[35mlola[0m][I] find path: 9630
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9508
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8163
[[35mlola[0m][I] find path: 9630
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9508
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8163
[[35mlola[0m][I] find path: 9630
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9508
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8159
[[35mlola[0m][I] find path: 9632
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9510
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8157
[[35mlola[0m][I] find path: 9633
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9511
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8157
[[35mlola[0m][I] find path: 9633
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9511
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8157
[[35mlola[0m][I] find path: 9633
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9511
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8157
[[35mlola[0m][I] find path: 9633
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9511
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8157
[[35mlola[0m][I] find path: 9633
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9511
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8157
[[35mlola[0m][I] find path: 9633
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9511
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8153
[[35mlola[0m][I] find path: 9635
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9513
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8149
[[35mlola[0m][I] find path: 9637
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9515
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8149
[[35mlola[0m][I] find path: 9637
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9515
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8141
[[35mlola[0m][I] find path: 9641
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9519
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8137
[[35mlola[0m][I] find path: 9643
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9521
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8135
[[35mlola[0m][I] find path: 9644
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9522
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8133
[[35mlola[0m][I] find path: 9645
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9523
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8127
[[35mlola[0m][I] find path: 9648
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9526
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8115
[[35mlola[0m][I] find path: 9654
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9532
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8115
[[35mlola[0m][I] find path: 9654
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9532
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8115
[[35mlola[0m][I] find path: 9654
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9532
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8103
[[35mlola[0m][I] find path: 9660
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9538
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8095
[[35mlola[0m][I] find path: 9664
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9542
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8083
[[35mlola[0m][I] find path: 9670
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9548
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8079
[[35mlola[0m][I] find path: 9672
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9550
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8079
[[35mlola[0m][I] find path: 9672
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9550
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8079
[[35mlola[0m][I] find path: 9672
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9550
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8075
[[35mlola[0m][I] find path: 9674
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9552
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8071
[[35mlola[0m][I] find path: 9676
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9554
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8067
[[35mlola[0m][I] find path: 9678
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9556
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8067
[[35mlola[0m][I] find path: 9678
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9556
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8063
[[35mlola[0m][I] find path: 9680
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9558
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8059
[[35mlola[0m][I] find path: 9682
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9560
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8059
[[35mlola[0m][I] find path: 9682
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9560
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8055
[[35mlola[0m][I] find path: 9684
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9562
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8051
[[35mlola[0m][I] find path: 9686
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9564
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8049
[[35mlola[0m][I] find path: 9687
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9565
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8049
[[35mlola[0m][I] find path: 9687
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9565
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8033
[[35mlola[0m][I] find path: 9695
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9573
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8033
[[35mlola[0m][I] find path: 9695
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9573
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8033
[[35mlola[0m][I] find path: 9695
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9573
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8029
[[35mlola[0m][I] find path: 9697
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9575
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8017
[[35mlola[0m][I] find path: 9703
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9581
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8013
[[35mlola[0m][I] find path: 9705
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9583
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8009
[[35mlola[0m][I] find path: 9707
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9585
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8009
[[35mlola[0m][I] find path: 9707
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9585
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8007
[[35mlola[0m][I] find path: 9708
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9586
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 8003
[[35mlola[0m][I] find path: 9710
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9588
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7995
[[35mlola[0m][I] find path: 9714
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9592
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7979
[[35mlola[0m][I] find path: 9722
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9600
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7979
[[35mlola[0m][I] find path: 9722
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9600
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7979
[[35mlola[0m][I] find path: 9722
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9600
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7971
[[35mlola[0m][I] find path: 9726
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9604
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7971
[[35mlola[0m][I] find path: 9726
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9604
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7967
[[35mlola[0m][I] find path: 9728
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9606
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7959
[[35mlola[0m][I] find path: 9732
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9610
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7959
[[35mlola[0m][I] find path: 9732
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9610
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7951
[[35mlola[0m][I] find path: 9736
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9614
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7951
[[35mlola[0m][I] find path: 9736
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9614
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7947
[[35mlola[0m][I] find path: 9738
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9616
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7943
[[35mlola[0m][I] find path: 9740
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9618
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7935
[[35mlola[0m][I] find path: 9744
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9622
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7935
[[35mlola[0m][I] find path: 9744
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9622
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7931
[[35mlola[0m][I] find path: 9746
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9624
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7927
[[35mlola[0m][I] find path: 9748
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9626
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7923
[[35mlola[0m][I] find path: 9750
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9628
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7921
[[35mlola[0m][I] find path: 9751
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9629
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7917
[[35mlola[0m][I] find path: 9753
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9631
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7913
[[35mlola[0m][I] find path: 9755
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9633
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7913
[[35mlola[0m][I] find path: 9755
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9633
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7913
[[35mlola[0m][I] find path: 9755
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9633
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7913
[[35mlola[0m][I] find path: 9755
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9633
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7909
[[35mlola[0m][I] find path: 9757
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9635
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7905
[[35mlola[0m][I] find path: 9759
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9637
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7895
[[35mlola[0m][I] find path: 9764
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9642
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7895
[[35mlola[0m][I] find path: 9764
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9642
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7891
[[35mlola[0m][I] find path: 9766
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9644
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7891
[[35mlola[0m][I] find path: 9766
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9644
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7889
[[35mlola[0m][I] find path: 9767
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9645
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7885
[[35mlola[0m][I] find path: 9769
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9647
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7881
[[35mlola[0m][I] find path: 9771
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9649
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7879
[[35mlola[0m][I] find path: 9772
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9650
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7875
[[35mlola[0m][I] find path: 9774
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9652
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7871
[[35mlola[0m][I] find path: 9776
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9654
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7867
[[35mlola[0m][I] find path: 9778
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9656
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7863
[[35mlola[0m][I] find path: 9780
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9658
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7857
[[35mlola[0m][I] find path: 9783
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9661
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7853
[[35mlola[0m][I] find path: 9785
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9663
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7851
[[35mlola[0m][I] find path: 9786
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9664
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7851
[[35mlola[0m][I] find path: 9786
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9664
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7851
[[35mlola[0m][I] find path: 9786
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9664
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7847
[[35mlola[0m][I] find path: 9788
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9666
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7847
[[35mlola[0m][I] find path: 9788
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9666
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7847
[[35mlola[0m][I] find path: 9788
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9666
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7847
[[35mlola[0m][I] find path: 9788
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9666
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7843
[[35mlola[0m][I] find path: 9790
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9668
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7835
[[35mlola[0m][I] find path: 9794
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9672
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7827
[[35mlola[0m][I] find path: 9798
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9676
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7827
[[35mlola[0m][I] find path: 9798
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9676
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7827
[[35mlola[0m][I] find path: 9798
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9676
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7827
[[35mlola[0m][I] find path: 9798
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9676
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7823
[[35mlola[0m][I] find path: 9800
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9678
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7823
[[35mlola[0m][I] find path: 9800
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9678
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7821
[[35mlola[0m][I] find path: 9801
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9679
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7817
[[35mlola[0m][I] find path: 9803
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9681
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7809
[[35mlola[0m][I] find path: 9807
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9685
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7809
[[35mlola[0m][I] find path: 9807
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9685
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7805
[[35mlola[0m][I] find path: 9809
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9687
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7805
[[35mlola[0m][I] find path: 9809
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9687
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7803
[[35mlola[0m][I] find path: 9810
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9688
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7803
[[35mlola[0m][I] find path: 9810
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9688
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7803
[[35mlola[0m][I] find path: 9810
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9688
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7803
[[35mlola[0m][I] find path: 9810
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9688
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7803
[[35mlola[0m][I] find path: 9810
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9688
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7795
[[35mlola[0m][I] find path: 9814
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9692
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7795
[[35mlola[0m][I] find path: 9814
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9692
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7791
[[35mlola[0m][I] find path: 9816
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9694
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7791
[[35mlola[0m][I] find path: 9816
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9694
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7791
[[35mlola[0m][I] find path: 9816
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9694
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7791
[[35mlola[0m][I] find path: 9816
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9694
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7791
[[35mlola[0m][I] find path: 9816
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9694
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7789
[[35mlola[0m][I] find path: 9817
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9695
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7789
[[35mlola[0m][I] find path: 9817
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9695
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7785
[[35mlola[0m][I] find path: 9819
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9697
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7785
[[35mlola[0m][I] find path: 9819
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9697
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7785
[[35mlola[0m][I] find path: 9819
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9697
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7777
[[35mlola[0m][I] find path: 9823
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7769
[[35mlola[0m][I] find path: 9827
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9705
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7769
[[35mlola[0m][I] find path: 9827
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9705
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7769
[[35mlola[0m][I] find path: 9827
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9705
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7769
[[35mlola[0m][I] find path: 9827
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9705
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7769
[[35mlola[0m][I] find path: 9827
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9705
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7767
[[35mlola[0m][I] find path: 9828
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9706
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7767
[[35mlola[0m][I] find path: 9828
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9706
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7763
[[35mlola[0m][I] find path: 9830
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9708
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7763
[[35mlola[0m][I] find path: 9830
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9708
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7763
[[35mlola[0m][I] find path: 9830
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9708
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7763
[[35mlola[0m][I] find path: 9830
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9708
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7763
[[35mlola[0m][I] find path: 9830
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9708
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7759
[[35mlola[0m][I] find path: 9832
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9710
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7759
[[35mlola[0m][I] find path: 9832
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9710
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7755
[[35mlola[0m][I] find path: 9834
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9712
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7747
[[35mlola[0m][I] find path: 9838
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9716
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7747
[[35mlola[0m][I] find path: 9838
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9716
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7747
[[35mlola[0m][I] find path: 9838
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9716
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7743
[[35mlola[0m][I] find path: 9840
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7743
[[35mlola[0m][I] find path: 9840
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7743
[[35mlola[0m][I] find path: 9840
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7743
[[35mlola[0m][I] find path: 9840
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7743
[[35mlola[0m][I] find path: 9840
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7743
[[35mlola[0m][I] find path: 9840
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7735
[[35mlola[0m][I] find path: 9844
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7727
[[35mlola[0m][I] find path: 9848
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9726
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7727
[[35mlola[0m][I] find path: 9848
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9726
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7727
[[35mlola[0m][I] find path: 9848
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9726
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7727
[[35mlola[0m][I] find path: 9848
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9726
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7727
[[35mlola[0m][I] find path: 9848
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9726
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 7723
[[35mlola[0m][I] find path: 9850
[[35mlola[0m][I] goal oriented search: 148
[[35mlola[0m][I] symmetry: 9728
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="MultiCrashLeafsetExtension-PT-S32C08"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
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-5568"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S32C08, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r256-tall-171654365700123"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C08.tgz
mv MultiCrashLeafsetExtension-PT-S32C08 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;