About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13418.231 | 1800000.00 | 4923196.00 | 3323.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r256-tall-171654365800137.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-S32C11, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365800137
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 35M
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 19 16:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 178K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K May 19 07:14 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 35M 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 1717424661184
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:
[[35mlola[0m][I] LoLA will run for 1800 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 39150
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 37021
[[35mlola[0m][I] find path: 1795
[[35mlola[0m][I] goal oriented search: 334
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 33410
[[35mlola[0m][I] find path: 3674
[[35mlola[0m][I] goal oriented search: 2066
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 32041
[[35mlola[0m][I] find path: 5021
[[35mlola[0m][I] goal oriented search: 2088
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 30937
[[35mlola[0m][I] find path: 6061
[[35mlola[0m][I] goal oriented search: 2152
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 30063
[[35mlola[0m][I] find path: 6887
[[35mlola[0m][I] goal oriented search: 2200
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 29290
[[35mlola[0m][I] find path: 7587
[[35mlola[0m][I] goal oriented search: 2273
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 28703
[[35mlola[0m][I] find path: 8148
[[35mlola[0m][I] goal oriented search: 2299
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 28101
[[35mlola[0m][I] find path: 8704
[[35mlola[0m][I] goal oriented search: 2345
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27573
[[35mlola[0m][I] find path: 9214
[[35mlola[0m][I] goal oriented search: 2363
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27065
[[35mlola[0m][I] find path: 9678
[[35mlola[0m][I] goal oriented search: 2407
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 26507
[[35mlola[0m][I] find path: 10109
[[35mlola[0m][I] goal oriented search: 2534
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 26126
[[35mlola[0m][I] find path: 10484
[[35mlola[0m][I] goal oriented search: 2540
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 25787
[[35mlola[0m][I] find path: 10819
[[35mlola[0m][I] goal oriented search: 2544
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 25513
[[35mlola[0m][I] find path: 11090
[[35mlola[0m][I] goal oriented search: 2547
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 25248
[[35mlola[0m][I] find path: 11351
[[35mlola[0m][I] goal oriented search: 2551
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 24967
[[35mlola[0m][I] find path: 11628
[[35mlola[0m][I] goal oriented search: 2555
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 24675
[[35mlola[0m][I] find path: 11918
[[35mlola[0m][I] goal oriented search: 2557
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 24437
[[35mlola[0m][I] find path: 12152
[[35mlola[0m][I] goal oriented search: 2561
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 24224
[[35mlola[0m][I] find path: 12363
[[35mlola[0m][I] goal oriented search: 2563
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 24007
[[35mlola[0m][I] find path: 12576
[[35mlola[0m][I] goal oriented search: 2567
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 23777
[[35mlola[0m][I] find path: 12762
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 23574
[[35mlola[0m][I] find path: 12965
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 23419
[[35mlola[0m][I] find path: 13120
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 23273
[[35mlola[0m][I] find path: 13266
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 23152
[[35mlola[0m][I] find path: 13387
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22989
[[35mlola[0m][I] find path: 13550
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22887
[[35mlola[0m][I] find path: 13652
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22763
[[35mlola[0m][I] find path: 13776
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22640
[[35mlola[0m][I] find path: 13899
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22504
[[35mlola[0m][I] find path: 14035
[[35mlola[0m][I] goal oriented search: 2611
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22373
[[35mlola[0m][I] find path: 14136
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22231
[[35mlola[0m][I] find path: 14278
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22144
[[35mlola[0m][I] find path: 14365
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22028
[[35mlola[0m][I] find path: 14481
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21892
[[35mlola[0m][I] find path: 14617
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21797
[[35mlola[0m][I] find path: 14712
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21703
[[35mlola[0m][I] find path: 14806
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21623
[[35mlola[0m][I] find path: 14886
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21547
[[35mlola[0m][I] find path: 14962
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21456
[[35mlola[0m][I] find path: 15053
[[35mlola[0m][I] goal oriented search: 2641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21364
[[35mlola[0m][I] find path: 15115
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21289
[[35mlola[0m][I] find path: 15190
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21216
[[35mlola[0m][I] find path: 15263
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21161
[[35mlola[0m][I] find path: 15318
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21081
[[35mlola[0m][I] find path: 15398
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21015
[[35mlola[0m][I] find path: 15464
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20962
[[35mlola[0m][I] find path: 15517
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20884
[[35mlola[0m][I] find path: 15595
[[35mlola[0m][I] goal oriented search: 2671
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20786
[[35mlola[0m][I] find path: 15663
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20697
[[35mlola[0m][I] find path: 15752
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20635
[[35mlola[0m][I] find path: 15814
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20575
[[35mlola[0m][I] find path: 15874
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20492
[[35mlola[0m][I] find path: 15957
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20438
[[35mlola[0m][I] find path: 16011
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20378
[[35mlola[0m][I] find path: 16071
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20337
[[35mlola[0m][I] find path: 16112
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20290
[[35mlola[0m][I] find path: 16159
[[35mlola[0m][I] goal oriented search: 2701
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20234
[[35mlola[0m][I] find path: 16191
[[35mlola[0m][I] goal oriented search: 2725
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20182
[[35mlola[0m][I] find path: 16243
[[35mlola[0m][I] goal oriented search: 2725
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20155
[[35mlola[0m][I] find path: 16270
[[35mlola[0m][I] goal oriented search: 2725
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20115
[[35mlola[0m][I] find path: 16308
[[35mlola[0m][I] goal oriented search: 2727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20079
[[35mlola[0m][I] find path: 16344
[[35mlola[0m][I] goal oriented search: 2727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20043
[[35mlola[0m][I] find path: 16380
[[35mlola[0m][I] goal oriented search: 2727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20013
[[35mlola[0m][I] find path: 16410
[[35mlola[0m][I] goal oriented search: 2727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19972
[[35mlola[0m][I] find path: 16451
[[35mlola[0m][I] goal oriented search: 2727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19935
[[35mlola[0m][I] find path: 16488
[[35mlola[0m][I] goal oriented search: 2727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19899
[[35mlola[0m][I] find path: 16524
[[35mlola[0m][I] goal oriented search: 2727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19846
[[35mlola[0m][I] find path: 16553
[[35mlola[0m][I] goal oriented search: 2751
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19822
[[35mlola[0m][I] find path: 16577
[[35mlola[0m][I] goal oriented search: 2751
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19751
[[35mlola[0m][I] find path: 16595
[[35mlola[0m][I] goal oriented search: 2804
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19733
[[35mlola[0m][I] find path: 16613
[[35mlola[0m][I] goal oriented search: 2804
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19697
[[35mlola[0m][I] find path: 16649
[[35mlola[0m][I] goal oriented search: 2804
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19673
[[35mlola[0m][I] find path: 16673
[[35mlola[0m][I] goal oriented search: 2804
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19648
[[35mlola[0m][I] find path: 16698
[[35mlola[0m][I] goal oriented search: 2804
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19615
[[35mlola[0m][I] find path: 16731
[[35mlola[0m][I] goal oriented search: 2804
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19561
[[35mlola[0m][I] find path: 16765
[[35mlola[0m][I] goal oriented search: 2824
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19524
[[35mlola[0m][I] find path: 16783
[[35mlola[0m][I] goal oriented search: 2843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19508
[[35mlola[0m][I] find path: 16799
[[35mlola[0m][I] goal oriented search: 2843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19479
[[35mlola[0m][I] find path: 16828
[[35mlola[0m][I] goal oriented search: 2843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19450
[[35mlola[0m][I] find path: 16857
[[35mlola[0m][I] goal oriented search: 2843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19427
[[35mlola[0m][I] find path: 16880
[[35mlola[0m][I] goal oriented search: 2843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19417
[[35mlola[0m][I] find path: 16890
[[35mlola[0m][I] goal oriented search: 2843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19399
[[35mlola[0m][I] find path: 16908
[[35mlola[0m][I] goal oriented search: 2843
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19367
[[35mlola[0m][I] find path: 16922
[[35mlola[0m][I] goal oriented search: 2861
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19344
[[35mlola[0m][I] find path: 16941
[[35mlola[0m][I] goal oriented search: 2865
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19310
[[35mlola[0m][I] find path: 16955
[[35mlola[0m][I] goal oriented search: 2885
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19280
[[35mlola[0m][I] find path: 16981
[[35mlola[0m][I] goal oriented search: 2889
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19246
[[35mlola[0m][I] find path: 17011
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19216
[[35mlola[0m][I] find path: 17041
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19196
[[35mlola[0m][I] find path: 17061
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19176
[[35mlola[0m][I] find path: 17081
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19157
[[35mlola[0m][I] find path: 17100
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19135
[[35mlola[0m][I] find path: 17122
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19111
[[35mlola[0m][I] find path: 17146
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19089
[[35mlola[0m][I] find path: 17168
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19066
[[35mlola[0m][I] find path: 17191
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19054
[[35mlola[0m][I] find path: 17203
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19027
[[35mlola[0m][I] find path: 17230
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19005
[[35mlola[0m][I] find path: 17252
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18978
[[35mlola[0m][I] find path: 17279
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18964
[[35mlola[0m][I] find path: 17293
[[35mlola[0m][I] goal oriented search: 2893
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18927
[[35mlola[0m][I] find path: 17311
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18911
[[35mlola[0m][I] find path: 17327
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18879
[[35mlola[0m][I] find path: 17359
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18867
[[35mlola[0m][I] find path: 17371
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18853
[[35mlola[0m][I] find path: 17385
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18834
[[35mlola[0m][I] find path: 17404
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18821
[[35mlola[0m][I] find path: 17417
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18807
[[35mlola[0m][I] find path: 17431
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18796
[[35mlola[0m][I] find path: 17442
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18774
[[35mlola[0m][I] find path: 17464
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18765
[[35mlola[0m][I] find path: 17473
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18747
[[35mlola[0m][I] find path: 17491
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18727
[[35mlola[0m][I] find path: 17511
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18706
[[35mlola[0m][I] find path: 17532
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18688
[[35mlola[0m][I] find path: 17550
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18680
[[35mlola[0m][I] find path: 17558
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18672
[[35mlola[0m][I] find path: 17566
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18666
[[35mlola[0m][I] find path: 17572
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18646
[[35mlola[0m][I] find path: 17592
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18634
[[35mlola[0m][I] find path: 17604
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18618
[[35mlola[0m][I] find path: 17620
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18602
[[35mlola[0m][I] find path: 17636
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18582
[[35mlola[0m][I] find path: 17656
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18565
[[35mlola[0m][I] find path: 17673
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18551
[[35mlola[0m][I] find path: 17687
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18538
[[35mlola[0m][I] find path: 17700
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18518
[[35mlola[0m][I] find path: 17720
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18499
[[35mlola[0m][I] find path: 17739
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18481
[[35mlola[0m][I] find path: 17757
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18477
[[35mlola[0m][I] find path: 17761
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18460
[[35mlola[0m][I] find path: 17778
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18448
[[35mlola[0m][I] find path: 17790
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18427
[[35mlola[0m][I] find path: 17811
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18417
[[35mlola[0m][I] find path: 17821
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18403
[[35mlola[0m][I] find path: 17835
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18397
[[35mlola[0m][I] find path: 17841
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18393
[[35mlola[0m][I] find path: 17845
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18383
[[35mlola[0m][I] find path: 17855
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18373
[[35mlola[0m][I] find path: 17865
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18371
[[35mlola[0m][I] find path: 17867
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18359
[[35mlola[0m][I] find path: 17879
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18349
[[35mlola[0m][I] find path: 17889
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18335
[[35mlola[0m][I] find path: 17903
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18322
[[35mlola[0m][I] find path: 17916
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18308
[[35mlola[0m][I] find path: 17930
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18294
[[35mlola[0m][I] find path: 17944
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18288
[[35mlola[0m][I] find path: 17950
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18278
[[35mlola[0m][I] find path: 17960
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18264
[[35mlola[0m][I] find path: 17974
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18252
[[35mlola[0m][I] find path: 17986
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18250
[[35mlola[0m][I] find path: 17988
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18234
[[35mlola[0m][I] find path: 18004
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18232
[[35mlola[0m][I] find path: 18006
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18224
[[35mlola[0m][I] find path: 18014
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18214
[[35mlola[0m][I] find path: 18024
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18200
[[35mlola[0m][I] find path: 18038
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18198
[[35mlola[0m][I] find path: 18040
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18192
[[35mlola[0m][I] find path: 18046
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18190
[[35mlola[0m][I] find path: 18048
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18180
[[35mlola[0m][I] find path: 18058
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18180
[[35mlola[0m][I] find path: 18058
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18174
[[35mlola[0m][I] find path: 18064
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18157
[[35mlola[0m][I] find path: 18081
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18153
[[35mlola[0m][I] find path: 18085
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18145
[[35mlola[0m][I] find path: 18093
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18137
[[35mlola[0m][I] find path: 18101
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18131
[[35mlola[0m][I] find path: 18107
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18129
[[35mlola[0m][I] find path: 18109
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18119
[[35mlola[0m][I] find path: 18119
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18107
[[35mlola[0m][I] find path: 18131
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18099
[[35mlola[0m][I] find path: 18139
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18095
[[35mlola[0m][I] find path: 18143
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18089
[[35mlola[0m][I] find path: 18149
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18083
[[35mlola[0m][I] find path: 18155
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18073
[[35mlola[0m][I] find path: 18165
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18071
[[35mlola[0m][I] find path: 18167
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18061
[[35mlola[0m][I] find path: 18177
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18057
[[35mlola[0m][I] find path: 18181
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18053
[[35mlola[0m][I] find path: 18185
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18048
[[35mlola[0m][I] find path: 18190
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18038
[[35mlola[0m][I] find path: 18200
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18028
[[35mlola[0m][I] find path: 18210
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18014
[[35mlola[0m][I] find path: 18224
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18011
[[35mlola[0m][I] find path: 18227
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18007
[[35mlola[0m][I] find path: 18231
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17999
[[35mlola[0m][I] find path: 18239
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17988
[[35mlola[0m][I] find path: 18250
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17969
[[35mlola[0m][I] find path: 18269
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17963
[[35mlola[0m][I] find path: 18275
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17963
[[35mlola[0m][I] find path: 18275
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17952
[[35mlola[0m][I] find path: 18286
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17946
[[35mlola[0m][I] find path: 18292
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17934
[[35mlola[0m][I] find path: 18304
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17930
[[35mlola[0m][I] find path: 18308
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17924
[[35mlola[0m][I] find path: 18314
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17913
[[35mlola[0m][I] find path: 18325
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17905
[[35mlola[0m][I] find path: 18333
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17901
[[35mlola[0m][I] find path: 18337
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17891
[[35mlola[0m][I] find path: 18347
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17883
[[35mlola[0m][I] find path: 18355
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17877
[[35mlola[0m][I] find path: 18361
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17871
[[35mlola[0m][I] find path: 18367
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17867
[[35mlola[0m][I] find path: 18371
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17854
[[35mlola[0m][I] find path: 18384
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17840
[[35mlola[0m][I] find path: 18398
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17825
[[35mlola[0m][I] find path: 18413
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17817
[[35mlola[0m][I] find path: 18421
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17803
[[35mlola[0m][I] find path: 18435
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17795
[[35mlola[0m][I] find path: 18443
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17793
[[35mlola[0m][I] find path: 18445
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17787
[[35mlola[0m][I] find path: 18451
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17777
[[35mlola[0m][I] find path: 18461
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17769
[[35mlola[0m][I] find path: 18469
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17763
[[35mlola[0m][I] find path: 18475
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17753
[[35mlola[0m][I] find path: 18485
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17753
[[35mlola[0m][I] find path: 18485
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17741
[[35mlola[0m][I] find path: 18497
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17728
[[35mlola[0m][I] find path: 18510
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17720
[[35mlola[0m][I] find path: 18518
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17714
[[35mlola[0m][I] find path: 18524
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17710
[[35mlola[0m][I] find path: 18528
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17706
[[35mlola[0m][I] find path: 18532
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17698
[[35mlola[0m][I] find path: 18540
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17690
[[35mlola[0m][I] find path: 18548
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17688
[[35mlola[0m][I] find path: 18550
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17682
[[35mlola[0m][I] find path: 18556
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17675
[[35mlola[0m][I] find path: 18563
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17659
[[35mlola[0m][I] find path: 18579
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17655
[[35mlola[0m][I] find path: 18583
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17653
[[35mlola[0m][I] find path: 18585
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17651
[[35mlola[0m][I] find path: 18587
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17639
[[35mlola[0m][I] find path: 18599
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17626
[[35mlola[0m][I] find path: 18612
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17626
[[35mlola[0m][I] find path: 18612
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17623
[[35mlola[0m][I] find path: 18615
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17621
[[35mlola[0m][I] find path: 18617
[[35mlola[0m][I] goal oriented search: 2912
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17592
[[35mlola[0m][I] find path: 18622
[[35mlola[0m][I] goal oriented search: 2936
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17571
[[35mlola[0m][I] find path: 18625
[[35mlola[0m][I] goal oriented search: 2954
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17562
[[35mlola[0m][I] find path: 18634
[[35mlola[0m][I] goal oriented search: 2954
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17554
[[35mlola[0m][I] find path: 18638
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17550
[[35mlola[0m][I] find path: 18642
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17547
[[35mlola[0m][I] find path: 18645
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17539
[[35mlola[0m][I] find path: 18653
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17530
[[35mlola[0m][I] find path: 18662
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17522
[[35mlola[0m][I] find path: 18670
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17522
[[35mlola[0m][I] find path: 18670
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17520
[[35mlola[0m][I] find path: 18672
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17516
[[35mlola[0m][I] find path: 18676
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17514
[[35mlola[0m][I] find path: 18678
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17512
[[35mlola[0m][I] find path: 18680
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17508
[[35mlola[0m][I] find path: 18684
[[35mlola[0m][I] goal oriented search: 2958
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17500
[[35mlola[0m][I] find path: 18690
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17496
[[35mlola[0m][I] find path: 18694
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17494
[[35mlola[0m][I] find path: 18696
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17491
[[35mlola[0m][I] find path: 18699
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17481
[[35mlola[0m][I] find path: 18709
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17471
[[35mlola[0m][I] find path: 18719
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17463
[[35mlola[0m][I] find path: 18727
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17459
[[35mlola[0m][I] find path: 18731
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17455
[[35mlola[0m][I] find path: 18735
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17453
[[35mlola[0m][I] find path: 18737
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17449
[[35mlola[0m][I] find path: 18741
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17447
[[35mlola[0m][I] find path: 18743
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17445
[[35mlola[0m][I] find path: 18745
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17443
[[35mlola[0m][I] find path: 18747
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17439
[[35mlola[0m][I] find path: 18751
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17437
[[35mlola[0m][I] find path: 18753
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17435
[[35mlola[0m][I] find path: 18755
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17433
[[35mlola[0m][I] find path: 18757
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17433
[[35mlola[0m][I] find path: 18757
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17431
[[35mlola[0m][I] find path: 18759
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17427
[[35mlola[0m][I] find path: 18763
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17419
[[35mlola[0m][I] find path: 18771
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17417
[[35mlola[0m][I] find path: 18773
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17411
[[35mlola[0m][I] find path: 18779
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17405
[[35mlola[0m][I] find path: 18785
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17399
[[35mlola[0m][I] find path: 18791
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17397
[[35mlola[0m][I] find path: 18793
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17388
[[35mlola[0m][I] find path: 18802
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17388
[[35mlola[0m][I] find path: 18802
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17382
[[35mlola[0m][I] find path: 18808
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17382
[[35mlola[0m][I] find path: 18808
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17380
[[35mlola[0m][I] find path: 18810
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17378
[[35mlola[0m][I] find path: 18812
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17374
[[35mlola[0m][I] find path: 18816
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17366
[[35mlola[0m][I] find path: 18824
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17362
[[35mlola[0m][I] find path: 18828
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17358
[[35mlola[0m][I] find path: 18832
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17351
[[35mlola[0m][I] find path: 18839
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17349
[[35mlola[0m][I] find path: 18841
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17341
[[35mlola[0m][I] find path: 18849
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17337
[[35mlola[0m][I] find path: 18853
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17333
[[35mlola[0m][I] find path: 18857
[[35mlola[0m][I] goal oriented search: 2960
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17323
[[35mlola[0m][I] find path: 18857
[[35mlola[0m][I] goal oriented search: 2970
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17318
[[35mlola[0m][I] find path: 18862
[[35mlola[0m][I] goal oriented search: 2970
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17314
[[35mlola[0m][I] find path: 18866
[[35mlola[0m][I] goal oriented search: 2970
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17312
[[35mlola[0m][I] find path: 18868
[[35mlola[0m][I] goal oriented search: 2970
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17308
[[35mlola[0m][I] find path: 18872
[[35mlola[0m][I] goal oriented search: 2970
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17300
[[35mlola[0m][I] find path: 18880
[[35mlola[0m][I] goal oriented search: 2970
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-S32C11"
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-S32C11, 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-171654365800137"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C11.tgz
mv MultiCrashLeafsetExtension-PT-S32C11 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 '
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 ;