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-171654365700113.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-S32C06, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365700113
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:53 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 26K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 154K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K 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 24M 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 1717421661175

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:

[lola][I] LoLA will run for 1800 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 22813
[lola][I] reporting
[lola][I] not produced: 16877
[lola][I] find path: 2715
[lola][I] goal oriented search: 450
[lola][I] symmetry: 2771
[lola][I] reporting
[lola][I] not produced: 14469
[lola][I] find path: 3920
[lola][I] goal oriented search: 450
[lola][I] symmetry: 3974
[lola][I] reporting
[lola][I] not produced: 12967
[lola][I] find path: 4672
[lola][I] goal oriented search: 450
[lola][I] symmetry: 4724
[lola][I] reporting
[lola][I] not produced: 12045
[lola][I] find path: 5133
[lola][I] goal oriented search: 450
[lola][I] symmetry: 5185
[lola][I] reporting
[lola][I] not produced: 11199
[lola][I] find path: 5556
[lola][I] goal oriented search: 450
[lola][I] symmetry: 5608
[lola][I] reporting
[lola][I] not produced: 10667
[lola][I] find path: 5822
[lola][I] goal oriented search: 450
[lola][I] symmetry: 5874
[lola][I] reporting
[lola][I] not produced: 10265
[lola][I] find path: 6023
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6075
[lola][I] reporting
[lola][I] not produced: 9959
[lola][I] find path: 6176
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6228
[lola][I] reporting
[lola][I] not produced: 9713
[lola][I] find path: 6299
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6351
[lola][I] reporting
[lola][I] not produced: 9487
[lola][I] find path: 6412
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6464
[lola][I] reporting
[lola][I] not produced: 9313
[lola][I] find path: 6499
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6551
[lola][I] reporting
[lola][I] not produced: 9171
[lola][I] find path: 6570
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6622
[lola][I] reporting
[lola][I] not produced: 9051
[lola][I] find path: 6630
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6682
[lola][I] reporting
[lola][I] not produced: 8947
[lola][I] find path: 6682
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6734
[lola][I] reporting
[lola][I] not produced: 8829
[lola][I] find path: 6741
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6793
[lola][I] reporting
[lola][I] not produced: 8763
[lola][I] find path: 6774
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6826
[lola][I] reporting
[lola][I] not produced: 8681
[lola][I] find path: 6815
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6867
[lola][I] reporting
[lola][I] not produced: 8625
[lola][I] find path: 6843
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6895
[lola][I] reporting
[lola][I] not produced: 8561
[lola][I] find path: 6875
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6927
[lola][I] reporting
[lola][I] not produced: 8487
[lola][I] find path: 6912
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6964
[lola][I] reporting
[lola][I] not produced: 8459
[lola][I] find path: 6926
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6978
[lola][I] reporting
[lola][I] not produced: 8427
[lola][I] find path: 6942
[lola][I] goal oriented search: 450
[lola][I] symmetry: 6994
[lola][I] reporting
[lola][I] not produced: 8399
[lola][I] find path: 6956
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7008
[lola][I] reporting
[lola][I] not produced: 8377
[lola][I] find path: 6967
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7019
[lola][I] reporting
[lola][I] not produced: 8325
[lola][I] find path: 6993
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7045
[lola][I] reporting
[lola][I] not produced: 8295
[lola][I] find path: 7008
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7060
[lola][I] reporting
[lola][I] not produced: 8247
[lola][I] find path: 7032
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7084
[lola][I] reporting
[lola][I] not produced: 8237
[lola][I] find path: 7037
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7089
[lola][I] reporting
[lola][I] not produced: 8197
[lola][I] find path: 7057
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7109
[lola][I] reporting
[lola][I] not produced: 8161
[lola][I] find path: 7075
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7127
[lola][I] reporting
[lola][I] not produced: 8133
[lola][I] find path: 7089
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7141
[lola][I] reporting
[lola][I] not produced: 8121
[lola][I] find path: 7095
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7147
[lola][I] reporting
[lola][I] not produced: 8093
[lola][I] find path: 7109
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7161
[lola][I] reporting
[lola][I] not produced: 8081
[lola][I] find path: 7115
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7167
[lola][I] reporting
[lola][I] not produced: 8069
[lola][I] find path: 7121
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7173
[lola][I] reporting
[lola][I] not produced: 8061
[lola][I] find path: 7125
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7177
[lola][I] reporting
[lola][I] not produced: 8045
[lola][I] find path: 7133
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7185
[lola][I] reporting
[lola][I] not produced: 8041
[lola][I] find path: 7135
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7187
[lola][I] reporting
[lola][I] not produced: 8023
[lola][I] find path: 7144
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7196
[lola][I] reporting
[lola][I] not produced: 8019
[lola][I] find path: 7146
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7198
[lola][I] reporting
[lola][I] not produced: 8011
[lola][I] find path: 7150
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7202
[lola][I] reporting
[lola][I] not produced: 8005
[lola][I] find path: 7153
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7205
[lola][I] reporting
[lola][I] not produced: 7997
[lola][I] find path: 7157
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7209
[lola][I] reporting
[lola][I] not produced: 7989
[lola][I] find path: 7161
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7213
[lola][I] reporting
[lola][I] not produced: 7989
[lola][I] find path: 7161
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7213
[lola][I] reporting
[lola][I] not produced: 7977
[lola][I] find path: 7167
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7219
[lola][I] reporting
[lola][I] not produced: 7965
[lola][I] find path: 7173
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7225
[lola][I] reporting
[lola][I] not produced: 7953
[lola][I] find path: 7179
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7231
[lola][I] reporting
[lola][I] not produced: 7953
[lola][I] find path: 7179
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7231
[lola][I] reporting
[lola][I] not produced: 7941
[lola][I] find path: 7185
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7237
[lola][I] reporting
[lola][I] not produced: 7925
[lola][I] find path: 7193
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7245
[lola][I] reporting
[lola][I] not produced: 7913
[lola][I] find path: 7199
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7251
[lola][I] reporting
[lola][I] not produced: 7905
[lola][I] find path: 7203
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7255
[lola][I] reporting
[lola][I] not produced: 7901
[lola][I] find path: 7205
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7257
[lola][I] reporting
[lola][I] not produced: 7899
[lola][I] find path: 7206
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7258
[lola][I] reporting
[lola][I] not produced: 7887
[lola][I] find path: 7212
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7264
[lola][I] reporting
[lola][I] not produced: 7887
[lola][I] find path: 7212
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7264
[lola][I] reporting
[lola][I] not produced: 7883
[lola][I] find path: 7214
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7266
[lola][I] reporting
[lola][I] not produced: 7883
[lola][I] find path: 7214
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7266
[lola][I] reporting
[lola][I] not produced: 7875
[lola][I] find path: 7218
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7270
[lola][I] reporting
[lola][I] not produced: 7875
[lola][I] find path: 7218
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7270
[lola][I] reporting
[lola][I] not produced: 7865
[lola][I] find path: 7223
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7275
[lola][I] reporting
[lola][I] not produced: 7865
[lola][I] find path: 7223
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7275
[lola][I] reporting
[lola][I] not produced: 7863
[lola][I] find path: 7224
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7276
[lola][I] reporting
[lola][I] not produced: 7859
[lola][I] find path: 7226
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7278
[lola][I] reporting
[lola][I] not produced: 7859
[lola][I] find path: 7226
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7278
[lola][I] reporting
[lola][I] not produced: 7851
[lola][I] find path: 7230
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7282
[lola][I] reporting
[lola][I] not produced: 7847
[lola][I] find path: 7232
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7284
[lola][I] reporting
[lola][I] not produced: 7839
[lola][I] find path: 7236
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7288
[lola][I] reporting
[lola][I] not produced: 7833
[lola][I] find path: 7239
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7291
[lola][I] reporting
[lola][I] not produced: 7833
[lola][I] find path: 7239
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7291
[lola][I] reporting
[lola][I] not produced: 7825
[lola][I] find path: 7243
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7295
[lola][I] reporting
[lola][I] not produced: 7821
[lola][I] find path: 7245
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7297
[lola][I] reporting
[lola][I] not produced: 7819
[lola][I] find path: 7246
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7298
[lola][I] reporting
[lola][I] not produced: 7811
[lola][I] find path: 7250
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7302
[lola][I] reporting
[lola][I] not produced: 7811
[lola][I] find path: 7250
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7302
[lola][I] reporting
[lola][I] not produced: 7811
[lola][I] find path: 7250
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7302
[lola][I] reporting
[lola][I] not produced: 7803
[lola][I] find path: 7254
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7306
[lola][I] reporting
[lola][I] not produced: 7795
[lola][I] find path: 7258
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7310
[lola][I] reporting
[lola][I] not produced: 7795
[lola][I] find path: 7258
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7310
[lola][I] reporting
[lola][I] not produced: 7783
[lola][I] find path: 7264
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7316
[lola][I] reporting
[lola][I] not produced: 7779
[lola][I] find path: 7266
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7318
[lola][I] reporting
[lola][I] not produced: 7775
[lola][I] find path: 7268
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7320
[lola][I] reporting
[lola][I] not produced: 7767
[lola][I] find path: 7272
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7324
[lola][I] reporting
[lola][I] not produced: 7763
[lola][I] find path: 7274
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7326
[lola][I] reporting
[lola][I] not produced: 7755
[lola][I] find path: 7278
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7330
[lola][I] reporting
[lola][I] not produced: 7751
[lola][I] find path: 7280
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7332
[lola][I] reporting
[lola][I] not produced: 7745
[lola][I] find path: 7283
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7335
[lola][I] reporting
[lola][I] not produced: 7739
[lola][I] find path: 7286
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7338
[lola][I] reporting
[lola][I] not produced: 7739
[lola][I] find path: 7286
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7338
[lola][I] reporting
[lola][I] not produced: 7739
[lola][I] find path: 7286
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7338
[lola][I] reporting
[lola][I] not produced: 7735
[lola][I] find path: 7288
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7340
[lola][I] reporting
[lola][I] not produced: 7735
[lola][I] find path: 7288
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7340
[lola][I] reporting
[lola][I] not produced: 7733
[lola][I] find path: 7289
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7341
[lola][I] reporting
[lola][I] not produced: 7727
[lola][I] find path: 7292
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7344
[lola][I] reporting
[lola][I] not produced: 7727
[lola][I] find path: 7292
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7344
[lola][I] reporting
[lola][I] not produced: 7727
[lola][I] find path: 7292
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7344
[lola][I] reporting
[lola][I] not produced: 7727
[lola][I] find path: 7292
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7344
[lola][I] reporting
[lola][I] not produced: 7723
[lola][I] find path: 7294
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7346
[lola][I] reporting
[lola][I] not produced: 7721
[lola][I] find path: 7295
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7347
[lola][I] reporting
[lola][I] not produced: 7721
[lola][I] find path: 7295
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7347
[lola][I] reporting
[lola][I] not produced: 7717
[lola][I] find path: 7297
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7349
[lola][I] reporting
[lola][I] not produced: 7715
[lola][I] find path: 7298
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7350
[lola][I] reporting
[lola][I] not produced: 7715
[lola][I] find path: 7298
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7350
[lola][I] reporting
[lola][I] not produced: 7715
[lola][I] find path: 7298
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7350
[lola][I] reporting
[lola][I] not produced: 7707
[lola][I] find path: 7302
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7354
[lola][I] reporting
[lola][I] not produced: 7703
[lola][I] find path: 7304
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7356
[lola][I] reporting
[lola][I] not produced: 7699
[lola][I] find path: 7306
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7358
[lola][I] reporting
[lola][I] not produced: 7699
[lola][I] find path: 7306
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7358
[lola][I] reporting
[lola][I] not produced: 7699
[lola][I] find path: 7306
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7358
[lola][I] reporting
[lola][I] not produced: 7699
[lola][I] find path: 7306
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7358
[lola][I] reporting
[lola][I] not produced: 7691
[lola][I] find path: 7310
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7362
[lola][I] reporting
[lola][I] not produced: 7687
[lola][I] find path: 7312
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7364
[lola][I] reporting
[lola][I] not produced: 7679
[lola][I] find path: 7316
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7368
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 7318
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7370
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 7318
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7370
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 7318
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7370
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 7318
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7370
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 7318
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7370
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 7318
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7370
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 7318
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7370
[lola][I] reporting
[lola][I] not produced: 7673
[lola][I] find path: 7319
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7371
[lola][I] reporting
[lola][I] not produced: 7669
[lola][I] find path: 7321
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7373
[lola][I] reporting
[lola][I] not produced: 7667
[lola][I] find path: 7322
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7374
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] find path: 7324
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7376
[lola][I] reporting
[lola][I] not produced: 7659
[lola][I] find path: 7326
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7378
[lola][I] reporting
[lola][I] not produced: 7659
[lola][I] find path: 7326
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7378
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 7328
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7380
[lola][I] reporting
[lola][I] not produced: 7651
[lola][I] find path: 7330
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7382
[lola][I] reporting
[lola][I] not produced: 7651
[lola][I] find path: 7330
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7382
[lola][I] reporting
[lola][I] not produced: 7647
[lola][I] find path: 7332
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7384
[lola][I] reporting
[lola][I] not produced: 7647
[lola][I] find path: 7332
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7384
[lola][I] reporting
[lola][I] not produced: 7647
[lola][I] find path: 7332
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7384
[lola][I] reporting
[lola][I] not produced: 7647
[lola][I] find path: 7332
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7384
[lola][I] reporting
[lola][I] not produced: 7645
[lola][I] find path: 7333
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7385
[lola][I] reporting
[lola][I] not produced: 7645
[lola][I] find path: 7333
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7385
[lola][I] reporting
[lola][I] not produced: 7645
[lola][I] find path: 7333
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7385
[lola][I] reporting
[lola][I] not produced: 7641
[lola][I] find path: 7335
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7387
[lola][I] reporting
[lola][I] not produced: 7641
[lola][I] find path: 7335
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7387
[lola][I] reporting
[lola][I] not produced: 7641
[lola][I] find path: 7335
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7387
[lola][I] reporting
[lola][I] not produced: 7641
[lola][I] find path: 7335
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7387
[lola][I] reporting
[lola][I] not produced: 7639
[lola][I] find path: 7336
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7388
[lola][I] reporting
[lola][I] not produced: 7633
[lola][I] find path: 7339
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7391
[lola][I] reporting
[lola][I] not produced: 7633
[lola][I] find path: 7339
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7391
[lola][I] reporting
[lola][I] not produced: 7625
[lola][I] find path: 7343
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7395
[lola][I] reporting
[lola][I] not produced: 7625
[lola][I] find path: 7343
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7395
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7623
[lola][I] find path: 7344
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7396
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 7346
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7398
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 7346
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7398
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 7346
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7398
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 7346
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7398
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 7346
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7398
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 7346
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7398
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 7346
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7398
[lola][I] reporting
[lola][I] not produced: 7617
[lola][I] find path: 7347
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7399
[lola][I] reporting
[lola][I] not produced: 7617
[lola][I] find path: 7347
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7399
[lola][I] reporting
[lola][I] not produced: 7617
[lola][I] find path: 7347
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7399
[lola][I] reporting
[lola][I] not produced: 7617
[lola][I] find path: 7347
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7399
[lola][I] reporting
[lola][I] not produced: 7617
[lola][I] find path: 7347
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7399
[lola][I] reporting
[lola][I] not produced: 7613
[lola][I] find path: 7349
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7401
[lola][I] reporting
[lola][I] not produced: 7613
[lola][I] find path: 7349
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7401
[lola][I] reporting
[lola][I] not produced: 7613
[lola][I] find path: 7349
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7401
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7611
[lola][I] find path: 7350
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7402
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7607
[lola][I] find path: 7352
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7404
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7605
[lola][I] find path: 7353
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7405
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7601
[lola][I] find path: 7355
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7407
[lola][I] reporting
[lola][I] not produced: 7599
[lola][I] find path: 7356
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7408
[lola][I] reporting
[lola][I] not produced: 7599
[lola][I] find path: 7356
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7408
[lola][I] reporting
[lola][I] not produced: 7599
[lola][I] find path: 7356
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7408
[lola][I] reporting
[lola][I] not produced: 7599
[lola][I] find path: 7356
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7408
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 7357
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7409
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 7358
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7410
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 7359
[lola][I] goal oriented search: 450
[lola][I] symmetry: 7411

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-S32C06"
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-S32C06, 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-171654365700113"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C06.tgz
mv MultiCrashLeafsetExtension-PT-S32C06 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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;