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-171654365700122.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S32C08, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365700122
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 9.7K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 28M May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1717422847102

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: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32610
[lola][I] reporting
[lola][I] not produced: 32369
[lola][I] find path: 241
[lola][I] reporting
[lola][I] not produced: 27886
[lola][I] find path: 3139
[lola][I] goal oriented search: 1585
[lola][I] reporting
[lola][I] not produced: 25477
[lola][I] find path: 4190
[lola][I] goal oriented search: 2943
[lola][I] reporting
[lola][I] not produced: 24496
[lola][I] find path: 4908
[lola][I] goal oriented search: 3206
[lola][I] reporting
[lola][I] not produced: 23810
[lola][I] find path: 5516
[lola][I] goal oriented search: 3284
[lola][I] reporting
[lola][I] not produced: 23266
[lola][I] find path: 6054
[lola][I] goal oriented search: 3290
[lola][I] reporting
[lola][I] not produced: 22841
[lola][I] find path: 6479
[lola][I] goal oriented search: 3290
[lola][I] reporting
[lola][I] not produced: 22474
[lola][I] find path: 6846
[lola][I] goal oriented search: 3290
[lola][I] reporting
[lola][I] not produced: 22112
[lola][I] find path: 7208
[lola][I] goal oriented search: 3290
[lola][I] reporting
[lola][I] not produced: 21787
[lola][I] find path: 7511
[lola][I] goal oriented search: 3312
[lola][I] reporting
[lola][I] not produced: 21511
[lola][I] find path: 7787
[lola][I] goal oriented search: 3312
[lola][I] reporting
[lola][I] not produced: 21287
[lola][I] find path: 8011
[lola][I] goal oriented search: 3312
[lola][I] reporting
[lola][I] not produced: 20981
[lola][I] find path: 8278
[lola][I] goal oriented search: 3351
[lola][I] reporting
[lola][I] not produced: 20735
[lola][I] find path: 8489
[lola][I] goal oriented search: 3386
[lola][I] reporting
[lola][I] not produced: 20563
[lola][I] find path: 8661
[lola][I] goal oriented search: 3386
[lola][I] reporting
[lola][I] not produced: 20408
[lola][I] find path: 8816
[lola][I] goal oriented search: 3386
[lola][I] reporting
[lola][I] not produced: 20259
[lola][I] find path: 8965
[lola][I] goal oriented search: 3386
[lola][I] reporting
[lola][I] not produced: 20095
[lola][I] find path: 9126
[lola][I] goal oriented search: 3389
[lola][I] reporting
[lola][I] not produced: 19970
[lola][I] find path: 9251
[lola][I] goal oriented search: 3389
[lola][I] reporting
[lola][I] not produced: 19815
[lola][I] find path: 9406
[lola][I] goal oriented search: 3389
[lola][I] reporting
[lola][I] not produced: 19722
[lola][I] find path: 9499
[lola][I] goal oriented search: 3389
[lola][I] reporting
[lola][I] not produced: 19555
[lola][I] find path: 9606
[lola][I] goal oriented search: 3449
[lola][I] reporting
[lola][I] not produced: 19449
[lola][I] find path: 9702
[lola][I] goal oriented search: 3459
[lola][I] reporting
[lola][I] not produced: 19350
[lola][I] find path: 9797
[lola][I] goal oriented search: 3463
[lola][I] reporting
[lola][I] not produced: 19278
[lola][I] find path: 9869
[lola][I] goal oriented search: 3463
[lola][I] reporting
[lola][I] not produced: 19199
[lola][I] find path: 9948
[lola][I] goal oriented search: 3463
[lola][I] reporting
[lola][I] not produced: 19139
[lola][I] find path: 10008
[lola][I] goal oriented search: 3463
[lola][I] reporting
[lola][I] not produced: 19047
[lola][I] find path: 10100
[lola][I] goal oriented search: 3463
[lola][I] reporting
[lola][I] not produced: 18957
[lola][I] find path: 10190
[lola][I] goal oriented search: 3463
[lola][I] reporting
[lola][I] not produced: 18896
[lola][I] find path: 10249
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18856
[lola][I] find path: 10289
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18816
[lola][I] find path: 10329
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18778
[lola][I] find path: 10367
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18746
[lola][I] find path: 10399
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18722
[lola][I] find path: 10423
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18675
[lola][I] find path: 10470
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18649
[lola][I] find path: 10496
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18633
[lola][I] find path: 10512
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18603
[lola][I] find path: 10542
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18583
[lola][I] find path: 10562
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18540
[lola][I] find path: 10605
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18515
[lola][I] find path: 10630
[lola][I] goal oriented search: 3465
[lola][I] reporting
[lola][I] not produced: 18471
[lola][I] find path: 10668
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18438
[lola][I] find path: 10701
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18412
[lola][I] find path: 10727
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18392
[lola][I] find path: 10747
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18373
[lola][I] find path: 10766
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18341
[lola][I] find path: 10798
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18296
[lola][I] find path: 10843
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18262
[lola][I] find path: 10877
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18229
[lola][I] find path: 10910
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18187
[lola][I] find path: 10952
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18168
[lola][I] find path: 10971
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18162
[lola][I] find path: 10977
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18144
[lola][I] find path: 10995
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18112
[lola][I] find path: 11027
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18083
[lola][I] find path: 11056
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18054
[lola][I] find path: 11085
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18046
[lola][I] find path: 11093
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 18022
[lola][I] find path: 11117
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17998
[lola][I] find path: 11141
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17984
[lola][I] find path: 11155
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17976
[lola][I] find path: 11163
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17948
[lola][I] find path: 11191
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17922
[lola][I] find path: 11217
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17900
[lola][I] find path: 11239
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17874
[lola][I] find path: 11265
[lola][I] goal oriented search: 3471
[lola][I] reporting
[lola][I] not produced: 17846
[lola][I] find path: 11291
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17834
[lola][I] find path: 11303
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17810
[lola][I] find path: 11327
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17798
[lola][I] find path: 11339
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17794
[lola][I] find path: 11343
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17762
[lola][I] find path: 11375
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17742
[lola][I] find path: 11395
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17709
[lola][I] find path: 11428
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17705
[lola][I] find path: 11432
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17691
[lola][I] find path: 11446
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17673
[lola][I] find path: 11464
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17659
[lola][I] find path: 11478
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17619
[lola][I] find path: 11518
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17601
[lola][I] find path: 11536
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17579
[lola][I] find path: 11558
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17567
[lola][I] find path: 11570
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17555
[lola][I] find path: 11582
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17525
[lola][I] find path: 11612
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17518
[lola][I] find path: 11619
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17508
[lola][I] find path: 11629
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17484
[lola][I] find path: 11653
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17472
[lola][I] find path: 11665
[lola][I] goal oriented search: 3473
[lola][I] reporting
[lola][I] not produced: 17364
[lola][I] find path: 11689
[lola][I] goal oriented search: 3557
[lola][I] reporting
[lola][I] not produced: 17349
[lola][I] find path: 11704
[lola][I] goal oriented search: 3557
[lola][I] reporting
[lola][I] not produced: 17331
[lola][I] find path: 11712
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17315
[lola][I] find path: 11728
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17301
[lola][I] find path: 11742
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17285
[lola][I] find path: 11758
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17269
[lola][I] find path: 11774
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17257
[lola][I] find path: 11786
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17249
[lola][I] find path: 11794
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17233
[lola][I] find path: 11810
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17227
[lola][I] find path: 11816
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17211
[lola][I] find path: 11832
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17195
[lola][I] find path: 11848
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17191
[lola][I] find path: 11852
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17181
[lola][I] find path: 11862
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17169
[lola][I] find path: 11874
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17155
[lola][I] find path: 11888
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17137
[lola][I] find path: 11906
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17127
[lola][I] find path: 11916
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17119
[lola][I] find path: 11924
[lola][I] goal oriented search: 3567
[lola][I] reporting
[lola][I] not produced: 17087
[lola][I] find path: 11952
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17083
[lola][I] find path: 11956
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17078
[lola][I] find path: 11961
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17062
[lola][I] find path: 11977
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17056
[lola][I] find path: 11983
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17045
[lola][I] find path: 11994
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17038
[lola][I] find path: 12001
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17030
[lola][I] find path: 12009
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 17008
[lola][I] find path: 12031
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16998
[lola][I] find path: 12041
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16986
[lola][I] find path: 12053
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16980
[lola][I] find path: 12059
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16970
[lola][I] find path: 12069
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16958
[lola][I] find path: 12081
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16956
[lola][I] find path: 12083
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16946
[lola][I] find path: 12093
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16940
[lola][I] find path: 12099
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16930
[lola][I] find path: 12109
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16916
[lola][I] find path: 12123
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16909
[lola][I] find path: 12130
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16901
[lola][I] find path: 12138
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16893
[lola][I] find path: 12146
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16887
[lola][I] find path: 12152
[lola][I] goal oriented search: 3571
[lola][I] reporting
[lola][I] not produced: 16838
[lola][I] find path: 12160
[lola][I] goal oriented search: 3612
[lola][I] reporting
[lola][I] not produced: 16822
[lola][I] find path: 12176
[lola][I] goal oriented search: 3612
[lola][I] reporting
[lola][I] not produced: 16806
[lola][I] find path: 12192
[lola][I] goal oriented search: 3612
[lola][I] reporting
[lola][I] not produced: 16800
[lola][I] find path: 12198
[lola][I] goal oriented search: 3612
[lola][I] reporting
[lola][I] not produced: 16794
[lola][I] find path: 12204
[lola][I] goal oriented search: 3612
[lola][I] reporting
[lola][I] not produced: 16750
[lola][I] find path: 12216
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16748
[lola][I] find path: 12218
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16742
[lola][I] find path: 12224
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16737
[lola][I] find path: 12229
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16733
[lola][I] find path: 12233
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16727
[lola][I] find path: 12239
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16721
[lola][I] find path: 12245
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16713
[lola][I] find path: 12253
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16705
[lola][I] find path: 12261
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16703
[lola][I] find path: 12263
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16691
[lola][I] find path: 12275
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16681
[lola][I] find path: 12285
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16679
[lola][I] find path: 12287
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16673
[lola][I] find path: 12293
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16667
[lola][I] find path: 12299
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16661
[lola][I] find path: 12305
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16657
[lola][I] find path: 12309
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16648
[lola][I] find path: 12318
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16646
[lola][I] find path: 12320
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16638
[lola][I] find path: 12328
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16632
[lola][I] find path: 12334
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16628
[lola][I] find path: 12338
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16622
[lola][I] find path: 12344
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16622
[lola][I] find path: 12344
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16606
[lola][I] find path: 12360
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16602
[lola][I] find path: 12364
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16598
[lola][I] find path: 12368
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16592
[lola][I] find path: 12374
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16586
[lola][I] find path: 12380
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16576
[lola][I] find path: 12390
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16568
[lola][I] find path: 12398
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16554
[lola][I] find path: 12412
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16544
[lola][I] find path: 12422
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16540
[lola][I] find path: 12426
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16533
[lola][I] find path: 12433
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16527
[lola][I] find path: 12439
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16517
[lola][I] find path: 12449
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16517
[lola][I] find path: 12449
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16511
[lola][I] find path: 12455
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16507
[lola][I] find path: 12459
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16497
[lola][I] find path: 12469
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16487
[lola][I] find path: 12479
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16481
[lola][I] find path: 12485
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16475
[lola][I] find path: 12491
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16465
[lola][I] find path: 12501
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16457
[lola][I] find path: 12509
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16447
[lola][I] find path: 12519
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16441
[lola][I] find path: 12525
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16430
[lola][I] find path: 12536
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16421
[lola][I] find path: 12545
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16413
[lola][I] find path: 12553
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16410
[lola][I] find path: 12556
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16406
[lola][I] find path: 12560
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16402
[lola][I] find path: 12564
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16398
[lola][I] find path: 12568
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16394
[lola][I] find path: 12572
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16390
[lola][I] find path: 12576
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16376
[lola][I] find path: 12590
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16372
[lola][I] find path: 12594
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16365
[lola][I] find path: 12601
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16361
[lola][I] find path: 12605
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16359
[lola][I] find path: 12607
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16357
[lola][I] find path: 12609
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16353
[lola][I] find path: 12613
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16347
[lola][I] find path: 12619
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16337
[lola][I] find path: 12629
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16329
[lola][I] find path: 12637
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16327
[lola][I] find path: 12639
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16325
[lola][I] find path: 12641
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16321
[lola][I] find path: 12645
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16321
[lola][I] find path: 12645
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16309
[lola][I] find path: 12657
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16305
[lola][I] find path: 12661
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16305
[lola][I] find path: 12661
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16301
[lola][I] find path: 12665
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16299
[lola][I] find path: 12667
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16295
[lola][I] find path: 12671
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16293
[lola][I] find path: 12673
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16293
[lola][I] find path: 12673
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16286
[lola][I] find path: 12680
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16284
[lola][I] find path: 12682
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16280
[lola][I] find path: 12686
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16272
[lola][I] find path: 12694
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16270
[lola][I] find path: 12696
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16270
[lola][I] find path: 12696
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16268
[lola][I] find path: 12698
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16264
[lola][I] find path: 12702
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16258
[lola][I] find path: 12708
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16251
[lola][I] find path: 12715
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16251
[lola][I] find path: 12715
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16249
[lola][I] find path: 12717
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16239
[lola][I] find path: 12727
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16235
[lola][I] find path: 12731
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16227
[lola][I] find path: 12739
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16227
[lola][I] find path: 12739
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16225
[lola][I] find path: 12741
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16223
[lola][I] find path: 12743
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16219
[lola][I] find path: 12747
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16215
[lola][I] find path: 12751
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16207
[lola][I] find path: 12759
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16207
[lola][I] find path: 12759
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16205
[lola][I] find path: 12761
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16205
[lola][I] find path: 12761
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16203
[lola][I] find path: 12763
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16201
[lola][I] find path: 12765
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16201
[lola][I] find path: 12765
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16197
[lola][I] find path: 12769
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16195
[lola][I] find path: 12771
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16193
[lola][I] find path: 12773
[lola][I] goal oriented search: 3644
[lola][I] reporting
[lola][I] not produced: 16177
[lola][I] find path: 12777
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16175
[lola][I] find path: 12779
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16175
[lola][I] find path: 12779
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16171
[lola][I] find path: 12783
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16171
[lola][I] find path: 12783
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16169
[lola][I] find path: 12785
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16169
[lola][I] find path: 12785
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16165
[lola][I] find path: 12789
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16165
[lola][I] find path: 12789
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16159
[lola][I] find path: 12795
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16156
[lola][I] find path: 12798
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16152
[lola][I] find path: 12802
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16148
[lola][I] find path: 12806
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16142
[lola][I] find path: 12812
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16140
[lola][I] find path: 12814
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16138
[lola][I] find path: 12816
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16132
[lola][I] find path: 12822
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16132
[lola][I] find path: 12822
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16130
[lola][I] find path: 12824
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16130
[lola][I] find path: 12824
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16130
[lola][I] find path: 12824
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16128
[lola][I] find path: 12826
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16128
[lola][I] find path: 12826
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16124
[lola][I] find path: 12830
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16124
[lola][I] find path: 12830
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16120
[lola][I] find path: 12834
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16120
[lola][I] find path: 12834
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16116
[lola][I] find path: 12838
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16112
[lola][I] find path: 12842
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16108
[lola][I] find path: 12846
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16106
[lola][I] find path: 12848
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16100
[lola][I] find path: 12854
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16100
[lola][I] find path: 12854
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16100
[lola][I] find path: 12854
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16096
[lola][I] find path: 12858
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16094
[lola][I] find path: 12860
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16092
[lola][I] find path: 12862
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16092
[lola][I] find path: 12862
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16088
[lola][I] find path: 12866
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16082
[lola][I] find path: 12872
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16080
[lola][I] find path: 12874
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16080
[lola][I] find path: 12874
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16078
[lola][I] find path: 12876
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16076
[lola][I] find path: 12878
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16071
[lola][I] find path: 12883
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16071
[lola][I] find path: 12883
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16067
[lola][I] find path: 12887
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16063
[lola][I] find path: 12891
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16059
[lola][I] find path: 12895
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16057
[lola][I] find path: 12897
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16053
[lola][I] find path: 12901
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16053
[lola][I] find path: 12901
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16051
[lola][I] find path: 12903
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16045
[lola][I] find path: 12909
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16041
[lola][I] find path: 12913
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16037
[lola][I] find path: 12917
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16034
[lola][I] find path: 12920
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16028
[lola][I] find path: 12926
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16026
[lola][I] find path: 12928
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16024
[lola][I] find path: 12930
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16022
[lola][I] find path: 12932
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16020
[lola][I] find path: 12934
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16014
[lola][I] find path: 12940
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16014
[lola][I] find path: 12940
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16014
[lola][I] find path: 12940
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16014
[lola][I] find path: 12940
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16006
[lola][I] find path: 12948
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 16004
[lola][I] find path: 12950
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 15998
[lola][I] find path: 12956
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 15994
[lola][I] find path: 12960
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 15992
[lola][I] find path: 12962
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 15992
[lola][I] find path: 12962
[lola][I] goal oriented search: 3656
[lola][I] reporting
[lola][I] not produced: 15990
[lola][I] find path: 12964
[lola][I] goal oriented search: 3656

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C08"
export BK_EXAMINATION="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-S32C08, 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-171654365700122"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C08.tgz
mv MultiCrashLeafsetExtension-PT-S32C08 execution
cd execution
if [ "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 ;