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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 12K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K 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 69K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 12 05:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Apr 12 05:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 26M 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 1717422124200

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: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 30430
[lola][I] reporting
[lola][I] not produced: 29159
[lola][I] find path: 1164
[lola][I] goal oriented search: 107
[lola][I] reporting
[lola][I] not produced: 26290
[lola][I] find path: 3093
[lola][I] goal oriented search: 1047
[lola][I] reporting
[lola][I] not produced: 24824
[lola][I] find path: 4262
[lola][I] goal oriented search: 1344
[lola][I] reporting
[lola][I] not produced: 23900
[lola][I] find path: 5109
[lola][I] goal oriented search: 1421
[lola][I] reporting
[lola][I] not produced: 23077
[lola][I] find path: 5730
[lola][I] goal oriented search: 1623
[lola][I] reporting
[lola][I] not produced: 22407
[lola][I] find path: 6216
[lola][I] goal oriented search: 1807
[lola][I] reporting
[lola][I] not produced: 21949
[lola][I] find path: 6669
[lola][I] goal oriented search: 1812
[lola][I] reporting
[lola][I] not produced: 21575
[lola][I] find path: 7041
[lola][I] goal oriented search: 1814
[lola][I] reporting
[lola][I] not produced: 21227
[lola][I] find path: 7389
[lola][I] goal oriented search: 1814
[lola][I] reporting
[lola][I] not produced: 20851
[lola][I] find path: 7718
[lola][I] goal oriented search: 1861
[lola][I] reporting
[lola][I] not produced: 20559
[lola][I] find path: 8010
[lola][I] goal oriented search: 1861
[lola][I] reporting
[lola][I] not produced: 20328
[lola][I] find path: 8241
[lola][I] goal oriented search: 1861
[lola][I] reporting
[lola][I] not produced: 20099
[lola][I] find path: 8470
[lola][I] goal oriented search: 1861
[lola][I] reporting
[lola][I] not produced: 19909
[lola][I] find path: 8660
[lola][I] goal oriented search: 1861
[lola][I] reporting
[lola][I] not produced: 19697
[lola][I] find path: 8848
[lola][I] goal oriented search: 1885
[lola][I] reporting
[lola][I] not produced: 19532
[lola][I] find path: 9013
[lola][I] goal oriented search: 1885
[lola][I] reporting
[lola][I] not produced: 19369
[lola][I] find path: 9176
[lola][I] goal oriented search: 1885
[lola][I] reporting
[lola][I] not produced: 19252
[lola][I] find path: 9293
[lola][I] goal oriented search: 1885
[lola][I] reporting
[lola][I] not produced: 19053
[lola][I] find path: 9444
[lola][I] goal oriented search: 1933
[lola][I] reporting
[lola][I] not produced: 18905
[lola][I] find path: 9592
[lola][I] goal oriented search: 1933
[lola][I] reporting
[lola][I] not produced: 18788
[lola][I] find path: 9709
[lola][I] goal oriented search: 1933
[lola][I] reporting
[lola][I] not produced: 18658
[lola][I] find path: 9809
[lola][I] goal oriented search: 1963
[lola][I] reporting
[lola][I] not produced: 18503
[lola][I] find path: 9891
[lola][I] goal oriented search: 2036
[lola][I] reporting
[lola][I] not produced: 18421
[lola][I] find path: 9973
[lola][I] goal oriented search: 2036
[lola][I] reporting
[lola][I] not produced: 18270
[lola][I] find path: 10062
[lola][I] goal oriented search: 2098
[lola][I] reporting
[lola][I] not produced: 18192
[lola][I] find path: 10140
[lola][I] goal oriented search: 2098
[lola][I] reporting
[lola][I] not produced: 18074
[lola][I] find path: 10200
[lola][I] goal oriented search: 2156
[lola][I] reporting
[lola][I] not produced: 17883
[lola][I] find path: 10261
[lola][I] goal oriented search: 2286
[lola][I] reporting
[lola][I] not produced: 17783
[lola][I] find path: 10318
[lola][I] goal oriented search: 2329
[lola][I] reporting
[lola][I] not produced: 17716
[lola][I] find path: 10379
[lola][I] goal oriented search: 2335
[lola][I] reporting
[lola][I] not produced: 17670
[lola][I] find path: 10423
[lola][I] goal oriented search: 2337
[lola][I] reporting
[lola][I] not produced: 17592
[lola][I] find path: 10491
[lola][I] goal oriented search: 2347
[lola][I] reporting
[lola][I] not produced: 17546
[lola][I] find path: 10537
[lola][I] goal oriented search: 2347
[lola][I] reporting
[lola][I] not produced: 17502
[lola][I] find path: 10581
[lola][I] goal oriented search: 2347
[lola][I] reporting
[lola][I] not produced: 17430
[lola][I] find path: 10651
[lola][I] goal oriented search: 2349
[lola][I] reporting
[lola][I] not produced: 17380
[lola][I] find path: 10701
[lola][I] goal oriented search: 2349
[lola][I] reporting
[lola][I] not produced: 17328
[lola][I] find path: 10753
[lola][I] goal oriented search: 2349
[lola][I] reporting
[lola][I] not produced: 17277
[lola][I] find path: 10804
[lola][I] goal oriented search: 2349
[lola][I] reporting
[lola][I] not produced: 17239
[lola][I] find path: 10840
[lola][I] goal oriented search: 2351
[lola][I] reporting
[lola][I] not produced: 17181
[lola][I] find path: 10898
[lola][I] goal oriented search: 2351
[lola][I] reporting
[lola][I] not produced: 17133
[lola][I] find path: 10946
[lola][I] goal oriented search: 2351
[lola][I] reporting
[lola][I] not produced: 17094
[lola][I] find path: 10983
[lola][I] goal oriented search: 2353
[lola][I] reporting
[lola][I] not produced: 17051
[lola][I] find path: 11026
[lola][I] goal oriented search: 2353
[lola][I] reporting
[lola][I] not produced: 17014
[lola][I] find path: 11063
[lola][I] goal oriented search: 2353
[lola][I] reporting
[lola][I] not produced: 16974
[lola][I] find path: 11101
[lola][I] goal oriented search: 2355
[lola][I] reporting
[lola][I] not produced: 16948
[lola][I] find path: 11127
[lola][I] goal oriented search: 2355
[lola][I] reporting
[lola][I] not produced: 16918
[lola][I] find path: 11157
[lola][I] goal oriented search: 2355
[lola][I] reporting
[lola][I] not produced: 16890
[lola][I] find path: 11185
[lola][I] goal oriented search: 2355
[lola][I] reporting
[lola][I] not produced: 16856
[lola][I] find path: 11217
[lola][I] goal oriented search: 2357
[lola][I] reporting
[lola][I] not produced: 16820
[lola][I] find path: 11253
[lola][I] goal oriented search: 2357
[lola][I] reporting
[lola][I] not produced: 16780
[lola][I] find path: 11293
[lola][I] goal oriented search: 2357
[lola][I] reporting
[lola][I] not produced: 16746
[lola][I] find path: 11323
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16726
[lola][I] find path: 11343
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16704
[lola][I] find path: 11365
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16688
[lola][I] find path: 11381
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16654
[lola][I] find path: 11415
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16632
[lola][I] find path: 11437
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16609
[lola][I] find path: 11460
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16594
[lola][I] find path: 11475
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16574
[lola][I] find path: 11495
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16554
[lola][I] find path: 11515
[lola][I] goal oriented search: 2361
[lola][I] reporting
[lola][I] not produced: 16534
[lola][I] find path: 11531
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16522
[lola][I] find path: 11543
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16494
[lola][I] find path: 11571
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16486
[lola][I] find path: 11579
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16472
[lola][I] find path: 11593
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16452
[lola][I] find path: 11613
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16436
[lola][I] find path: 11629
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16410
[lola][I] find path: 11655
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16400
[lola][I] find path: 11665
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16388
[lola][I] find path: 11677
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16372
[lola][I] find path: 11693
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16356
[lola][I] find path: 11709
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16342
[lola][I] find path: 11723
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16329
[lola][I] find path: 11736
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16311
[lola][I] find path: 11754
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16299
[lola][I] find path: 11766
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16289
[lola][I] find path: 11776
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16278
[lola][I] find path: 11787
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16260
[lola][I] find path: 11805
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16248
[lola][I] find path: 11817
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16240
[lola][I] find path: 11825
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16232
[lola][I] find path: 11833
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16223
[lola][I] find path: 11842
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16215
[lola][I] find path: 11850
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16206
[lola][I] find path: 11859
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16194
[lola][I] find path: 11871
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16188
[lola][I] find path: 11877
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16178
[lola][I] find path: 11887
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16166
[lola][I] find path: 11899
[lola][I] goal oriented search: 2365
[lola][I] reporting
[lola][I] not produced: 16110
[lola][I] find path: 11901
[lola][I] goal oriented search: 2419
[lola][I] reporting
[lola][I] not produced: 16094
[lola][I] find path: 11917
[lola][I] goal oriented search: 2419
[lola][I] reporting
[lola][I] not produced: 16086
[lola][I] find path: 11925
[lola][I] goal oriented search: 2419
[lola][I] reporting
[lola][I] not produced: 16077
[lola][I] find path: 11934
[lola][I] goal oriented search: 2419
[lola][I] reporting
[lola][I] not produced: 16065
[lola][I] find path: 11944
[lola][I] goal oriented search: 2421
[lola][I] reporting
[lola][I] not produced: 16049
[lola][I] find path: 11958
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 16037
[lola][I] find path: 11970
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 16031
[lola][I] find path: 11976
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 16019
[lola][I] find path: 11988
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 16013
[lola][I] find path: 11994
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 16001
[lola][I] find path: 12006
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15994
[lola][I] find path: 12013
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15988
[lola][I] find path: 12019
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15982
[lola][I] find path: 12025
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15980
[lola][I] find path: 12027
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15969
[lola][I] find path: 12038
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15963
[lola][I] find path: 12044
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15961
[lola][I] find path: 12046
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15957
[lola][I] find path: 12050
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15951
[lola][I] find path: 12056
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15947
[lola][I] find path: 12060
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15939
[lola][I] find path: 12068
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15937
[lola][I] find path: 12070
[lola][I] goal oriented search: 2423
[lola][I] reporting
[lola][I] not produced: 15917
[lola][I] find path: 12080
[lola][I] goal oriented search: 2433
[lola][I] reporting
[lola][I] not produced: 15907
[lola][I] find path: 12088
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15905
[lola][I] find path: 12090
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15903
[lola][I] find path: 12092
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15896
[lola][I] find path: 12099
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15888
[lola][I] find path: 12107
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15884
[lola][I] find path: 12111
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15880
[lola][I] find path: 12115
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15878
[lola][I] find path: 12117
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15868
[lola][I] find path: 12127
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15862
[lola][I] find path: 12133
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15856
[lola][I] find path: 12139
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15850
[lola][I] find path: 12145
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15850
[lola][I] find path: 12145
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15846
[lola][I] find path: 12149
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15842
[lola][I] find path: 12153
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15835
[lola][I] find path: 12160
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15829
[lola][I] find path: 12166
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15827
[lola][I] find path: 12168
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15821
[lola][I] find path: 12174
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15811
[lola][I] find path: 12184
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15807
[lola][I] find path: 12188
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15793
[lola][I] find path: 12202
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15785
[lola][I] find path: 12210
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15779
[lola][I] find path: 12216
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15776
[lola][I] find path: 12219
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15772
[lola][I] find path: 12223
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15770
[lola][I] find path: 12225
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15764
[lola][I] find path: 12231
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15762
[lola][I] find path: 12233
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15758
[lola][I] find path: 12237
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15756
[lola][I] find path: 12239
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15750
[lola][I] find path: 12245
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15746
[lola][I] find path: 12249
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15738
[lola][I] find path: 12257
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15727
[lola][I] find path: 12268
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15725
[lola][I] find path: 12270
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15721
[lola][I] find path: 12274
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15713
[lola][I] find path: 12282
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15705
[lola][I] find path: 12290
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15697
[lola][I] find path: 12298
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15695
[lola][I] find path: 12300
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15693
[lola][I] find path: 12302
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15689
[lola][I] find path: 12306
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15685
[lola][I] find path: 12310
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15683
[lola][I] find path: 12312
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15675
[lola][I] find path: 12320
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15671
[lola][I] find path: 12324
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15665
[lola][I] find path: 12330
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15656
[lola][I] find path: 12339
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15656
[lola][I] find path: 12339
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15654
[lola][I] find path: 12341
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15652
[lola][I] find path: 12343
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15646
[lola][I] find path: 12349
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15640
[lola][I] find path: 12355
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15637
[lola][I] find path: 12358
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15637
[lola][I] find path: 12358
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15633
[lola][I] find path: 12362
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15627
[lola][I] find path: 12368
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15615
[lola][I] find path: 12380
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15613
[lola][I] find path: 12382
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15611
[lola][I] find path: 12384
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15609
[lola][I] find path: 12386
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15605
[lola][I] find path: 12390
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15601
[lola][I] find path: 12394
[lola][I] goal oriented search: 2435
[lola][I] reporting
[lola][I] not produced: 15591
[lola][I] find path: 12400
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15590
[lola][I] find path: 12401
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15588
[lola][I] find path: 12403
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15585
[lola][I] find path: 12406
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15583
[lola][I] find path: 12408
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15579
[lola][I] find path: 12412
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15573
[lola][I] find path: 12418
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15565
[lola][I] find path: 12426
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15559
[lola][I] find path: 12432
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15555
[lola][I] find path: 12436
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15555
[lola][I] find path: 12436
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15551
[lola][I] find path: 12440
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15547
[lola][I] find path: 12444
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15539
[lola][I] find path: 12452
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15537
[lola][I] find path: 12454
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15533
[lola][I] find path: 12458
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15529
[lola][I] find path: 12462
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15527
[lola][I] find path: 12464
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15521
[lola][I] find path: 12470
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15521
[lola][I] find path: 12470
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15515
[lola][I] find path: 12476
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15515
[lola][I] find path: 12476
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15512
[lola][I] find path: 12479
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15512
[lola][I] find path: 12479
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15510
[lola][I] find path: 12481
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15508
[lola][I] find path: 12483
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15508
[lola][I] find path: 12483
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15508
[lola][I] find path: 12483
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15504
[lola][I] find path: 12487
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15504
[lola][I] find path: 12487
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15504
[lola][I] find path: 12487
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15500
[lola][I] find path: 12491
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15500
[lola][I] find path: 12491
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15500
[lola][I] find path: 12491
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15494
[lola][I] find path: 12497
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15490
[lola][I] find path: 12501
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15490
[lola][I] find path: 12501
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15486
[lola][I] find path: 12505
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15480
[lola][I] find path: 12511
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15480
[lola][I] find path: 12511
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15476
[lola][I] find path: 12515
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15472
[lola][I] find path: 12519
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15468
[lola][I] find path: 12523
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15464
[lola][I] find path: 12527
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15454
[lola][I] find path: 12537
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15454
[lola][I] find path: 12537
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15454
[lola][I] find path: 12537
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15452
[lola][I] find path: 12539
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15448
[lola][I] find path: 12543
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15444
[lola][I] find path: 12547
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15442
[lola][I] find path: 12549
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15438
[lola][I] find path: 12553
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15436
[lola][I] find path: 12555
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15432
[lola][I] find path: 12559
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15428
[lola][I] find path: 12563
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15426
[lola][I] find path: 12565
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15422
[lola][I] find path: 12569
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15420
[lola][I] find path: 12571
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15418
[lola][I] find path: 12573
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15416
[lola][I] find path: 12575
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15414
[lola][I] find path: 12577
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15414
[lola][I] find path: 12577
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15414
[lola][I] find path: 12577
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15414
[lola][I] find path: 12577
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15414
[lola][I] find path: 12577
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15414
[lola][I] find path: 12577
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15414
[lola][I] find path: 12577
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15412
[lola][I] find path: 12579
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15410
[lola][I] find path: 12581
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15408
[lola][I] find path: 12583
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15402
[lola][I] find path: 12589
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15400
[lola][I] find path: 12591
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15396
[lola][I] find path: 12595
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15394
[lola][I] find path: 12597
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15390
[lola][I] find path: 12601
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15388
[lola][I] find path: 12603
[lola][I] goal oriented search: 2439
[lola][I] reporting
[lola][I] not produced: 15386
[lola][I] find path: 12603
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15380
[lola][I] find path: 12609
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15380
[lola][I] find path: 12609
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15376
[lola][I] find path: 12613
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15374
[lola][I] find path: 12615
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15370
[lola][I] find path: 12619
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15370
[lola][I] find path: 12619
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15368
[lola][I] find path: 12621
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15360
[lola][I] find path: 12629
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15356
[lola][I] find path: 12633
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15356
[lola][I] find path: 12633
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15354
[lola][I] find path: 12635
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15354
[lola][I] find path: 12635
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15354
[lola][I] find path: 12635
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15352
[lola][I] find path: 12637
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15350
[lola][I] find path: 12639
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15348
[lola][I] find path: 12641
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15344
[lola][I] find path: 12645
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15344
[lola][I] find path: 12645
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15342
[lola][I] find path: 12647
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15340
[lola][I] find path: 12649
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15338
[lola][I] find path: 12651
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15334
[lola][I] find path: 12655
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15334
[lola][I] find path: 12655
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15334
[lola][I] find path: 12655
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15328
[lola][I] find path: 12661
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15327
[lola][I] find path: 12662
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15327
[lola][I] find path: 12662
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15325
[lola][I] find path: 12664
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15324
[lola][I] find path: 12665
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15324
[lola][I] find path: 12665
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15318
[lola][I] find path: 12671
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15316
[lola][I] find path: 12673
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15314
[lola][I] find path: 12675
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15314
[lola][I] find path: 12675
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15312
[lola][I] find path: 12677
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15308
[lola][I] find path: 12681
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15306
[lola][I] find path: 12683
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15304
[lola][I] find path: 12685
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15300
[lola][I] find path: 12689
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15295
[lola][I] find path: 12694
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15295
[lola][I] find path: 12694
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15295
[lola][I] find path: 12694
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15291
[lola][I] find path: 12698
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15289
[lola][I] find path: 12700
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15287
[lola][I] find path: 12702
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15278
[lola][I] find path: 12711
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15276
[lola][I] find path: 12713
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15274
[lola][I] find path: 12715
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15272
[lola][I] find path: 12717
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15268
[lola][I] find path: 12721
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15262
[lola][I] find path: 12727
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15259
[lola][I] find path: 12730
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15257
[lola][I] find path: 12732
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15253
[lola][I] find path: 12736
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15253
[lola][I] find path: 12736
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15253
[lola][I] find path: 12736
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15251
[lola][I] find path: 12738
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15251
[lola][I] find path: 12738
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15249
[lola][I] find path: 12740
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15247
[lola][I] find path: 12742
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15247
[lola][I] find path: 12742
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15247
[lola][I] find path: 12742
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15241
[lola][I] find path: 12748
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15241
[lola][I] find path: 12748
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15233
[lola][I] find path: 12756
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15229
[lola][I] find path: 12760
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15229
[lola][I] find path: 12760
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15229
[lola][I] find path: 12760
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15229
[lola][I] find path: 12760
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15227
[lola][I] find path: 12762
[lola][I] goal oriented search: 2441
[lola][I] reporting
[lola][I] not produced: 15225
[lola][I] find path: 12764
[lola][I] goal oriented search: 2441

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

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C07.tgz
mv MultiCrashLeafsetExtension-PT-S32C07 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 ;