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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 19 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K 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 20M 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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1717419750123

starting LoLA
BK_EXAMINATION: QuasiLiveness
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: 22050
[lola][I] reporting
[lola][I] not produced: 22050
[lola][I] reporting
[lola][I] not produced: 22050
[lola][I] reporting
[lola][I] not produced: 18096
[lola][I] find path: 3155
[lola][I] goal oriented search: 799
[lola][I] reporting
[lola][I] not produced: 16075
[lola][I] find path: 4778
[lola][I] goal oriented search: 1197
[lola][I] reporting
[lola][I] not produced: 14650
[lola][I] find path: 5778
[lola][I] goal oriented search: 1622
[lola][I] reporting
[lola][I] not produced: 13842
[lola][I] find path: 6578
[lola][I] goal oriented search: 1630
[lola][I] reporting
[lola][I] not produced: 13208
[lola][I] find path: 7185
[lola][I] goal oriented search: 1657
[lola][I] reporting
[lola][I] not produced: 12797
[lola][I] find path: 7596
[lola][I] goal oriented search: 1657
[lola][I] reporting
[lola][I] not produced: 12518
[lola][I] find path: 7869
[lola][I] goal oriented search: 1663
[lola][I] reporting
[lola][I] not produced: 12198
[lola][I] find path: 8147
[lola][I] goal oriented search: 1705
[lola][I] reporting
[lola][I] not produced: 11886
[lola][I] find path: 8447
[lola][I] goal oriented search: 1717
[lola][I] reporting
[lola][I] not produced: 11672
[lola][I] find path: 8661
[lola][I] goal oriented search: 1717
[lola][I] reporting
[lola][I] not produced: 11459
[lola][I] find path: 8855
[lola][I] goal oriented search: 1736
[lola][I] reporting
[lola][I] not produced: 11235
[lola][I] find path: 9025
[lola][I] goal oriented search: 1790
[lola][I] reporting
[lola][I] not produced: 11031
[lola][I] find path: 9229
[lola][I] goal oriented search: 1790
[lola][I] reporting
[lola][I] not produced: 10882
[lola][I] find path: 9364
[lola][I] goal oriented search: 1804
[lola][I] reporting
[lola][I] not produced: 10757
[lola][I] find path: 9489
[lola][I] goal oriented search: 1804
[lola][I] reporting
[lola][I] not produced: 10613
[lola][I] find path: 9615
[lola][I] goal oriented search: 1822
[lola][I] reporting
[lola][I] not produced: 10504
[lola][I] find path: 9724
[lola][I] goal oriented search: 1822
[lola][I] reporting
[lola][I] not produced: 10397
[lola][I] find path: 9831
[lola][I] goal oriented search: 1822
[lola][I] reporting
[lola][I] not produced: 10332
[lola][I] find path: 9896
[lola][I] goal oriented search: 1822
[lola][I] reporting
[lola][I] not produced: 10216
[lola][I] find path: 9996
[lola][I] goal oriented search: 1838
[lola][I] reporting
[lola][I] not produced: 10158
[lola][I] find path: 10054
[lola][I] goal oriented search: 1838
[lola][I] reporting
[lola][I] not produced: 10078
[lola][I] find path: 10134
[lola][I] goal oriented search: 1838
[lola][I] reporting
[lola][I] not produced: 10037
[lola][I] find path: 10171
[lola][I] goal oriented search: 1842
[lola][I] reporting
[lola][I] not produced: 9962
[lola][I] find path: 10213
[lola][I] goal oriented search: 1875
[lola][I] reporting
[lola][I] not produced: 9915
[lola][I] find path: 10260
[lola][I] goal oriented search: 1875
[lola][I] reporting
[lola][I] not produced: 9867
[lola][I] find path: 10308
[lola][I] goal oriented search: 1875
[lola][I] reporting
[lola][I] not produced: 9808
[lola][I] find path: 10351
[lola][I] goal oriented search: 1891
[lola][I] reporting
[lola][I] not produced: 9747
[lola][I] find path: 10402
[lola][I] goal oriented search: 1901
[lola][I] reporting
[lola][I] not produced: 9689
[lola][I] find path: 10458
[lola][I] goal oriented search: 1903
[lola][I] reporting
[lola][I] not produced: 9657
[lola][I] find path: 10488
[lola][I] goal oriented search: 1905
[lola][I] reporting
[lola][I] not produced: 9612
[lola][I] find path: 10531
[lola][I] goal oriented search: 1907
[lola][I] reporting
[lola][I] not produced: 9566
[lola][I] find path: 10577
[lola][I] goal oriented search: 1907
[lola][I] reporting
[lola][I] not produced: 9527
[lola][I] find path: 10616
[lola][I] goal oriented search: 1907
[lola][I] reporting
[lola][I] not produced: 9498
[lola][I] find path: 10643
[lola][I] goal oriented search: 1909
[lola][I] reporting
[lola][I] not produced: 9451
[lola][I] find path: 10690
[lola][I] goal oriented search: 1909
[lola][I] reporting
[lola][I] not produced: 9417
[lola][I] find path: 10724
[lola][I] goal oriented search: 1909
[lola][I] reporting
[lola][I] not produced: 9389
[lola][I] find path: 10752
[lola][I] goal oriented search: 1909
[lola][I] reporting
[lola][I] not produced: 9352
[lola][I] find path: 10787
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9323
[lola][I] find path: 10816
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9293
[lola][I] find path: 10846
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9251
[lola][I] find path: 10888
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9207
[lola][I] find path: 10932
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9199
[lola][I] find path: 10940
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9171
[lola][I] find path: 10968
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9141
[lola][I] find path: 10998
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9108
[lola][I] find path: 11031
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9079
[lola][I] find path: 11060
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9053
[lola][I] find path: 11086
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9026
[lola][I] find path: 11113
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 9005
[lola][I] find path: 11134
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 8991
[lola][I] find path: 11148
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 8979
[lola][I] find path: 11160
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 8962
[lola][I] find path: 11177
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 8943
[lola][I] find path: 11196
[lola][I] goal oriented search: 1911
[lola][I] reporting
[lola][I] not produced: 8917
[lola][I] find path: 11210
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8900
[lola][I] find path: 11227
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8882
[lola][I] find path: 11245
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8869
[lola][I] find path: 11258
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8854
[lola][I] find path: 11273
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8828
[lola][I] find path: 11299
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8812
[lola][I] find path: 11315
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8797
[lola][I] find path: 11330
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8780
[lola][I] find path: 11347
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8761
[lola][I] find path: 11366
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8746
[lola][I] find path: 11381
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8730
[lola][I] find path: 11397
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8709
[lola][I] find path: 11418
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8698
[lola][I] find path: 11429
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8692
[lola][I] find path: 11435
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 8661
[lola][I] find path: 11452
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8642
[lola][I] find path: 11471
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8635
[lola][I] find path: 11478
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8628
[lola][I] find path: 11485
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8624
[lola][I] find path: 11489
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8616
[lola][I] find path: 11497
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8613
[lola][I] find path: 11500
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8594
[lola][I] find path: 11519
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8586
[lola][I] find path: 11527
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8576
[lola][I] find path: 11537
[lola][I] goal oriented search: 1937
[lola][I] reporting
[lola][I] not produced: 8561
[lola][I] find path: 11549
[lola][I] goal oriented search: 1940
[lola][I] reporting
[lola][I] not produced: 8552
[lola][I] find path: 11558
[lola][I] goal oriented search: 1940
[lola][I] reporting
[lola][I] not produced: 8546
[lola][I] find path: 11564
[lola][I] goal oriented search: 1940
[lola][I] reporting
[lola][I] not produced: 8537
[lola][I] find path: 11573
[lola][I] goal oriented search: 1940
[lola][I] reporting
[lola][I] not produced: 8525
[lola][I] find path: 11583
[lola][I] goal oriented search: 1942
[lola][I] reporting
[lola][I] not produced: 8519
[lola][I] find path: 11589
[lola][I] goal oriented search: 1942
[lola][I] reporting
[lola][I] not produced: 8509
[lola][I] find path: 11599
[lola][I] goal oriented search: 1942
[lola][I] reporting
[lola][I] not produced: 8492
[lola][I] find path: 11605
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8490
[lola][I] find path: 11607
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8484
[lola][I] find path: 11613
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8478
[lola][I] find path: 11619
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8464
[lola][I] find path: 11633
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8462
[lola][I] find path: 11635
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8460
[lola][I] find path: 11637
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8454
[lola][I] find path: 11643
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8446
[lola][I] find path: 11651
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8437
[lola][I] find path: 11660
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8421
[lola][I] find path: 11676
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8411
[lola][I] find path: 11686
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8400
[lola][I] find path: 11697
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8391
[lola][I] find path: 11706
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8386
[lola][I] find path: 11711
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8384
[lola][I] find path: 11713
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8373
[lola][I] find path: 11724
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8358
[lola][I] find path: 11739
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8348
[lola][I] find path: 11749
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8342
[lola][I] find path: 11755
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8341
[lola][I] find path: 11756
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8334
[lola][I] find path: 11763
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8328
[lola][I] find path: 11769
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8319
[lola][I] find path: 11778
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8311
[lola][I] find path: 11786
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8303
[lola][I] find path: 11794
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8298
[lola][I] find path: 11799
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8296
[lola][I] find path: 11801
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8282
[lola][I] find path: 11815
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8276
[lola][I] find path: 11821
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8274
[lola][I] find path: 11823
[lola][I] goal oriented search: 1953
[lola][I] reporting
[lola][I] not produced: 8256
[lola][I] find path: 11831
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8256
[lola][I] find path: 11831
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8253
[lola][I] find path: 11834
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8249
[lola][I] find path: 11838
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8247
[lola][I] find path: 11840
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8234
[lola][I] find path: 11853
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8228
[lola][I] find path: 11859
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8222
[lola][I] find path: 11865
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8219
[lola][I] find path: 11868
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8212
[lola][I] find path: 11875
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8207
[lola][I] find path: 11880
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8205
[lola][I] find path: 11882
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8201
[lola][I] find path: 11886
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8201
[lola][I] find path: 11886
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8197
[lola][I] find path: 11890
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8195
[lola][I] find path: 11892
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 8185
[lola][I] find path: 11896
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8181
[lola][I] find path: 11900
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8174
[lola][I] find path: 11907
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8172
[lola][I] find path: 11909
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8170
[lola][I] find path: 11911
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8168
[lola][I] find path: 11913
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8164
[lola][I] find path: 11917
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8158
[lola][I] find path: 11923
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8156
[lola][I] find path: 11925
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8155
[lola][I] find path: 11926
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8153
[lola][I] find path: 11928
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8142
[lola][I] find path: 11939
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8132
[lola][I] find path: 11949
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8126
[lola][I] find path: 11955
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8121
[lola][I] find path: 11960
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8117
[lola][I] find path: 11964
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8113
[lola][I] find path: 11968
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8112
[lola][I] find path: 11969
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8112
[lola][I] find path: 11969
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8106
[lola][I] find path: 11975
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8099
[lola][I] find path: 11982
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8095
[lola][I] find path: 11986
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8088
[lola][I] find path: 11993
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8078
[lola][I] find path: 12003
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8074
[lola][I] find path: 12007
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8072
[lola][I] find path: 12009
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8062
[lola][I] find path: 12019
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8050
[lola][I] find path: 12031
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8050
[lola][I] find path: 12031
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8041
[lola][I] find path: 12040
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8039
[lola][I] find path: 12042
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8039
[lola][I] find path: 12042
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8037
[lola][I] find path: 12044
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8035
[lola][I] find path: 12046
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8031
[lola][I] find path: 12050
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8026
[lola][I] find path: 12055
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8026
[lola][I] find path: 12055
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8016
[lola][I] find path: 12065
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8012
[lola][I] find path: 12069
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8010
[lola][I] find path: 12071
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8006
[lola][I] find path: 12075
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 8002
[lola][I] find path: 12079
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7998
[lola][I] find path: 12083
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7996
[lola][I] find path: 12085
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7988
[lola][I] find path: 12093
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7984
[lola][I] find path: 12097
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7982
[lola][I] find path: 12099
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7982
[lola][I] find path: 12099
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7982
[lola][I] find path: 12099
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7980
[lola][I] find path: 12101
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7978
[lola][I] find path: 12103
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7971
[lola][I] find path: 12110
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7963
[lola][I] find path: 12118
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7961
[lola][I] find path: 12120
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7960
[lola][I] find path: 12121
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7956
[lola][I] find path: 12125
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7954
[lola][I] find path: 12127
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7952
[lola][I] find path: 12129
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7947
[lola][I] find path: 12134
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7936
[lola][I] find path: 12145
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7932
[lola][I] find path: 12149
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7930
[lola][I] find path: 12151
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7927
[lola][I] find path: 12154
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7925
[lola][I] find path: 12156
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7921
[lola][I] find path: 12160
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7921
[lola][I] find path: 12160
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7917
[lola][I] find path: 12164
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7912
[lola][I] find path: 12169
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7912
[lola][I] find path: 12169
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7910
[lola][I] find path: 12171
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7908
[lola][I] find path: 12173
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7906
[lola][I] find path: 12175
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7906
[lola][I] find path: 12175
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7906
[lola][I] find path: 12175
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7902
[lola][I] find path: 12179
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7898
[lola][I] find path: 12183
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7896
[lola][I] find path: 12185
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7890
[lola][I] find path: 12191
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7890
[lola][I] find path: 12191
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7888
[lola][I] find path: 12193
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7886
[lola][I] find path: 12195
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7886
[lola][I] find path: 12195
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7886
[lola][I] find path: 12195
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7884
[lola][I] find path: 12197
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7884
[lola][I] find path: 12197
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7876
[lola][I] find path: 12205
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7876
[lola][I] find path: 12205
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7876
[lola][I] find path: 12205
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7870
[lola][I] find path: 12211
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7870
[lola][I] find path: 12211
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7869
[lola][I] find path: 12212
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7869
[lola][I] find path: 12212
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7869
[lola][I] find path: 12212
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7867
[lola][I] find path: 12214
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7867
[lola][I] find path: 12214
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7862
[lola][I] find path: 12219
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7859
[lola][I] find path: 12222
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7855
[lola][I] find path: 12226
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7853
[lola][I] find path: 12228
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7851
[lola][I] find path: 12230
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7851
[lola][I] find path: 12230
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7851
[lola][I] find path: 12230
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7847
[lola][I] find path: 12234
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7844
[lola][I] find path: 12237
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7844
[lola][I] find path: 12237
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7838
[lola][I] find path: 12243
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7836
[lola][I] find path: 12245
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7836
[lola][I] find path: 12245
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7836
[lola][I] find path: 12245
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7830
[lola][I] find path: 12251
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7830
[lola][I] find path: 12251
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7830
[lola][I] find path: 12251
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7823
[lola][I] find path: 12258
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7819
[lola][I] find path: 12262
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7816
[lola][I] find path: 12265
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7812
[lola][I] find path: 12269
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7810
[lola][I] find path: 12271
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7810
[lola][I] find path: 12271
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7808
[lola][I] find path: 12273
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7806
[lola][I] find path: 12275
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7799
[lola][I] find path: 12282
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7799
[lola][I] find path: 12282
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7799
[lola][I] find path: 12282
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7798
[lola][I] find path: 12283
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7795
[lola][I] find path: 12286
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7795
[lola][I] find path: 12286
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7788
[lola][I] find path: 12293
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7788
[lola][I] find path: 12293
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7786
[lola][I] find path: 12295
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7784
[lola][I] find path: 12297
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7782
[lola][I] find path: 12299
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7781
[lola][I] find path: 12300
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7781
[lola][I] find path: 12300
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7781
[lola][I] find path: 12300
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7781
[lola][I] find path: 12300
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7779
[lola][I] find path: 12302
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7777
[lola][I] find path: 12304
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7777
[lola][I] find path: 12304
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7777
[lola][I] find path: 12304
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7777
[lola][I] find path: 12304
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7777
[lola][I] find path: 12304
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7775
[lola][I] find path: 12306
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7773
[lola][I] find path: 12308
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7769
[lola][I] find path: 12312
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7769
[lola][I] find path: 12312
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7767
[lola][I] find path: 12314
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7765
[lola][I] find path: 12316
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7761
[lola][I] find path: 12320
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7761
[lola][I] find path: 12320
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7759
[lola][I] find path: 12322
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7759
[lola][I] find path: 12322
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7757
[lola][I] find path: 12324
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7753
[lola][I] find path: 12328
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7751
[lola][I] find path: 12330
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7751
[lola][I] find path: 12330
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7749
[lola][I] find path: 12332
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7747
[lola][I] find path: 12334
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7741
[lola][I] find path: 12340
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7739
[lola][I] find path: 12342
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7739
[lola][I] find path: 12342
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7739
[lola][I] find path: 12342
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7737
[lola][I] find path: 12344
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7737
[lola][I] find path: 12344
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7737
[lola][I] find path: 12344
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7733
[lola][I] find path: 12348
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7733
[lola][I] find path: 12348
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7730
[lola][I] find path: 12351
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7726
[lola][I] find path: 12355
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7724
[lola][I] find path: 12357
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7722
[lola][I] find path: 12359
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7722
[lola][I] find path: 12359
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7720
[lola][I] find path: 12361
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7720
[lola][I] find path: 12361
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7718
[lola][I] find path: 12363
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7716
[lola][I] find path: 12365
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7714
[lola][I] find path: 12367
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7714
[lola][I] find path: 12367
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7710
[lola][I] find path: 12371
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7710
[lola][I] find path: 12371
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7707
[lola][I] find path: 12374
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7702
[lola][I] find path: 12379
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7702
[lola][I] find path: 12379
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7698
[lola][I] find path: 12383
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7692
[lola][I] find path: 12389
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7692
[lola][I] find path: 12389
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7692
[lola][I] find path: 12389
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7681
[lola][I] find path: 12400
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7681
[lola][I] find path: 12400
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7676
[lola][I] find path: 12405
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7674
[lola][I] find path: 12407
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7674
[lola][I] find path: 12407
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7672
[lola][I] find path: 12409
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7666
[lola][I] find path: 12415
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] find path: 12418
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] find path: 12418
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] find path: 12418
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] find path: 12418
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] find path: 12418
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] find path: 12418
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7659
[lola][I] find path: 12422
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 12426
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7655
[lola][I] find path: 12426
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7651
[lola][I] find path: 12430
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7651
[lola][I] find path: 12430
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7650
[lola][I] find path: 12431
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7646
[lola][I] find path: 12435
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7641
[lola][I] find path: 12440
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7639
[lola][I] find path: 12442
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7639
[lola][I] find path: 12442
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7639
[lola][I] find path: 12442
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7639
[lola][I] find path: 12442
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7637
[lola][I] find path: 12444
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7637
[lola][I] find path: 12444
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7637
[lola][I] find path: 12444
[lola][I] goal oriented search: 1969
[lola][I] reporting
[lola][I] not produced: 7637
[lola][I] find path: 12444
[lola][I] goal oriented search: 1969

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-S24C12"
export BK_EXAMINATION="QuasiLiveness"
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-S24C12, examination is QuasiLiveness"
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-171654365700087"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C12.tgz
mv MultiCrashLeafsetExtension-PT-S24C12 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;