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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K 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 31K May 19 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 27K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 12 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 12 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 18M 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 1717418444113

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: 19546
[lola][I] reporting
[lola][I] not produced: 19546
[lola][I] reporting
[lola][I] not produced: 15236
[lola][I] find path: 2915
[lola][I] goal oriented search: 1395
[lola][I] reporting
[lola][I] not produced: 13468
[lola][I] find path: 4616
[lola][I] goal oriented search: 1462
[lola][I] reporting
[lola][I] not produced: 12293
[lola][I] find path: 5533
[lola][I] goal oriented search: 1720
[lola][I] reporting
[lola][I] not produced: 11608
[lola][I] find path: 6094
[lola][I] goal oriented search: 1844
[lola][I] reporting
[lola][I] not produced: 11158
[lola][I] find path: 6516
[lola][I] goal oriented search: 1872
[lola][I] reporting
[lola][I] not produced: 10796
[lola][I] find path: 6847
[lola][I] goal oriented search: 1903
[lola][I] reporting
[lola][I] not produced: 10526
[lola][I] find path: 7117
[lola][I] goal oriented search: 1903
[lola][I] reporting
[lola][I] not produced: 10286
[lola][I] find path: 7355
[lola][I] goal oriented search: 1905
[lola][I] reporting
[lola][I] not produced: 10113
[lola][I] find path: 7512
[lola][I] goal oriented search: 1921
[lola][I] reporting
[lola][I] not produced: 9918
[lola][I] find path: 7707
[lola][I] goal oriented search: 1921
[lola][I] reporting
[lola][I] not produced: 9762
[lola][I] find path: 7861
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 9650
[lola][I] find path: 7973
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 9531
[lola][I] find path: 8092
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 9431
[lola][I] find path: 8192
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 9336
[lola][I] find path: 8287
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 9260
[lola][I] find path: 8363
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 9200
[lola][I] find path: 8423
[lola][I] goal oriented search: 1923
[lola][I] reporting
[lola][I] not produced: 9127
[lola][I] find path: 8492
[lola][I] goal oriented search: 1927
[lola][I] reporting
[lola][I] not produced: 9055
[lola][I] find path: 8552
[lola][I] goal oriented search: 1939
[lola][I] reporting
[lola][I] not produced: 8961
[lola][I] find path: 8592
[lola][I] goal oriented search: 1993
[lola][I] reporting
[lola][I] not produced: 8935
[lola][I] find path: 8616
[lola][I] goal oriented search: 1995
[lola][I] reporting
[lola][I] not produced: 8892
[lola][I] find path: 8657
[lola][I] goal oriented search: 1997
[lola][I] reporting
[lola][I] not produced: 8862
[lola][I] find path: 8685
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8806
[lola][I] find path: 8741
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8781
[lola][I] find path: 8766
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8747
[lola][I] find path: 8800
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8715
[lola][I] find path: 8832
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8661
[lola][I] find path: 8886
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8619
[lola][I] find path: 8928
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8596
[lola][I] find path: 8951
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8566
[lola][I] find path: 8981
[lola][I] goal oriented search: 1999
[lola][I] reporting
[lola][I] not produced: 8479
[lola][I] find path: 9009
[lola][I] goal oriented search: 2058
[lola][I] reporting
[lola][I] not produced: 8440
[lola][I] find path: 9040
[lola][I] goal oriented search: 2066
[lola][I] reporting
[lola][I] not produced: 8416
[lola][I] find path: 9062
[lola][I] goal oriented search: 2068
[lola][I] reporting
[lola][I] not produced: 8385
[lola][I] find path: 9082
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8371
[lola][I] find path: 9096
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8355
[lola][I] find path: 9112
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8345
[lola][I] find path: 9122
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8333
[lola][I] find path: 9134
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8316
[lola][I] find path: 9151
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8303
[lola][I] find path: 9164
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8289
[lola][I] find path: 9178
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8285
[lola][I] find path: 9182
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8264
[lola][I] find path: 9203
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8259
[lola][I] find path: 9208
[lola][I] goal oriented search: 2079
[lola][I] reporting
[lola][I] not produced: 8233
[lola][I] find path: 9232
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8212
[lola][I] find path: 9253
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8204
[lola][I] find path: 9261
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8194
[lola][I] find path: 9271
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8186
[lola][I] find path: 9279
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8174
[lola][I] find path: 9291
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8168
[lola][I] find path: 9297
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8144
[lola][I] find path: 9321
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8123
[lola][I] find path: 9342
[lola][I] goal oriented search: 2081
[lola][I] reporting
[lola][I] not produced: 8105
[lola][I] find path: 9356
[lola][I] goal oriented search: 2085
[lola][I] reporting
[lola][I] not produced: 8082
[lola][I] find path: 9377
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 8076
[lola][I] find path: 9383
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 8062
[lola][I] find path: 9397
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 8050
[lola][I] find path: 9409
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 8024
[lola][I] find path: 9435
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 8012
[lola][I] find path: 9447
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 8001
[lola][I] find path: 9458
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7989
[lola][I] find path: 9470
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7979
[lola][I] find path: 9480
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7971
[lola][I] find path: 9488
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7958
[lola][I] find path: 9501
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7946
[lola][I] find path: 9513
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7940
[lola][I] find path: 9519
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7926
[lola][I] find path: 9533
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7916
[lola][I] find path: 9543
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7910
[lola][I] find path: 9549
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7908
[lola][I] find path: 9551
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7902
[lola][I] find path: 9557
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7887
[lola][I] find path: 9572
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7878
[lola][I] find path: 9581
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7869
[lola][I] find path: 9590
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7863
[lola][I] find path: 9596
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7853
[lola][I] find path: 9606
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7846
[lola][I] find path: 9613
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7846
[lola][I] find path: 9613
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7839
[lola][I] find path: 9620
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7837
[lola][I] find path: 9622
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7821
[lola][I] find path: 9638
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7813
[lola][I] find path: 9646
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7807
[lola][I] find path: 9652
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7800
[lola][I] find path: 9659
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7790
[lola][I] find path: 9669
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7780
[lola][I] find path: 9679
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7776
[lola][I] find path: 9683
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7766
[lola][I] find path: 9693
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7756
[lola][I] find path: 9703
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7752
[lola][I] find path: 9707
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7748
[lola][I] find path: 9711
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7736
[lola][I] find path: 9723
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7729
[lola][I] find path: 9730
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7723
[lola][I] find path: 9736
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7721
[lola][I] find path: 9738
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7717
[lola][I] find path: 9742
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7709
[lola][I] find path: 9750
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7705
[lola][I] find path: 9754
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7695
[lola][I] find path: 9764
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7689
[lola][I] find path: 9770
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7689
[lola][I] find path: 9770
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7685
[lola][I] find path: 9774
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7677
[lola][I] find path: 9782
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7675
[lola][I] find path: 9784
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7664
[lola][I] find path: 9795
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7658
[lola][I] find path: 9801
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7651
[lola][I] find path: 9808
[lola][I] goal oriented search: 2087
[lola][I] reporting
[lola][I] not produced: 7643
[lola][I] find path: 9812
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7639
[lola][I] find path: 9816
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7637
[lola][I] find path: 9818
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7629
[lola][I] find path: 9826
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7627
[lola][I] find path: 9828
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] find path: 9836
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7608
[lola][I] find path: 9847
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7597
[lola][I] find path: 9858
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7595
[lola][I] find path: 9860
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7593
[lola][I] find path: 9862
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7589
[lola][I] find path: 9866
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7581
[lola][I] find path: 9874
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7581
[lola][I] find path: 9874
[lola][I] goal oriented search: 2091
[lola][I] reporting
[lola][I] not produced: 7568
[lola][I] find path: 9886
[lola][I] goal oriented search: 2092
[lola][I] reporting
[lola][I] not produced: 7566
[lola][I] find path: 9888
[lola][I] goal oriented search: 2092
[lola][I] reporting
[lola][I] not produced: 7559
[lola][I] find path: 9894
[lola][I] goal oriented search: 2093
[lola][I] reporting
[lola][I] not produced: 7557
[lola][I] find path: 9896
[lola][I] goal oriented search: 2093
[lola][I] reporting
[lola][I] not produced: 7555
[lola][I] find path: 9896
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7549
[lola][I] find path: 9902
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7537
[lola][I] find path: 9914
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7528
[lola][I] find path: 9923
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7526
[lola][I] find path: 9925
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7522
[lola][I] find path: 9929
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7514
[lola][I] find path: 9937
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7514
[lola][I] find path: 9937
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7503
[lola][I] find path: 9948
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7497
[lola][I] find path: 9954
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7489
[lola][I] find path: 9962
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7479
[lola][I] find path: 9972
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7475
[lola][I] find path: 9976
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7463
[lola][I] find path: 9988
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7455
[lola][I] find path: 9996
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7453
[lola][I] find path: 9998
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7453
[lola][I] find path: 9998
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7445
[lola][I] find path: 10006
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7440
[lola][I] find path: 10011
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7439
[lola][I] find path: 10012
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7430
[lola][I] find path: 10021
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7426
[lola][I] find path: 10025
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7420
[lola][I] find path: 10031
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7416
[lola][I] find path: 10035
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7409
[lola][I] find path: 10042
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7405
[lola][I] find path: 10046
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7398
[lola][I] find path: 10053
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7398
[lola][I] find path: 10053
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7392
[lola][I] find path: 10059
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7390
[lola][I] find path: 10061
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7378
[lola][I] find path: 10073
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7375
[lola][I] find path: 10076
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7371
[lola][I] find path: 10080
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7367
[lola][I] find path: 10084
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7361
[lola][I] find path: 10090
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7355
[lola][I] find path: 10096
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7353
[lola][I] find path: 10098
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7349
[lola][I] find path: 10102
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7347
[lola][I] find path: 10104
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7339
[lola][I] find path: 10112
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7337
[lola][I] find path: 10114
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7332
[lola][I] find path: 10119
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7328
[lola][I] find path: 10123
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7322
[lola][I] find path: 10129
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7320
[lola][I] find path: 10131
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7316
[lola][I] find path: 10135
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7306
[lola][I] find path: 10145
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7306
[lola][I] find path: 10145
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7304
[lola][I] find path: 10147
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7302
[lola][I] find path: 10149
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7300
[lola][I] find path: 10151
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7300
[lola][I] find path: 10151
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7295
[lola][I] find path: 10156
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7293
[lola][I] find path: 10158
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7287
[lola][I] find path: 10164
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7287
[lola][I] find path: 10164
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7281
[lola][I] find path: 10170
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7273
[lola][I] find path: 10178
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7269
[lola][I] find path: 10182
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7265
[lola][I] find path: 10186
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7263
[lola][I] find path: 10188
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7259
[lola][I] find path: 10192
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7259
[lola][I] find path: 10192
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7256
[lola][I] find path: 10195
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7254
[lola][I] find path: 10197
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7252
[lola][I] find path: 10199
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7250
[lola][I] find path: 10201
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7250
[lola][I] find path: 10201
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7242
[lola][I] find path: 10209
[lola][I] goal oriented search: 2095
[lola][I] reporting
[lola][I] not produced: 7232
[lola][I] find path: 10217
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7232
[lola][I] find path: 10217
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7232
[lola][I] find path: 10217
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7230
[lola][I] find path: 10219
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7230
[lola][I] find path: 10219
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7230
[lola][I] find path: 10219
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7230
[lola][I] find path: 10219
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7224
[lola][I] find path: 10225
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7224
[lola][I] find path: 10225
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7220
[lola][I] find path: 10229
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7218
[lola][I] find path: 10231
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7214
[lola][I] find path: 10235
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7214
[lola][I] find path: 10235
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7206
[lola][I] find path: 10243
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7202
[lola][I] find path: 10247
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7198
[lola][I] find path: 10251
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7196
[lola][I] find path: 10253
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7194
[lola][I] find path: 10255
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7194
[lola][I] find path: 10255
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7194
[lola][I] find path: 10255
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7192
[lola][I] find path: 10257
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7192
[lola][I] find path: 10257
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7190
[lola][I] find path: 10259
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7186
[lola][I] find path: 10263
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7181
[lola][I] find path: 10268
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7181
[lola][I] find path: 10268
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7175
[lola][I] find path: 10274
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7175
[lola][I] find path: 10274
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7173
[lola][I] find path: 10276
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7171
[lola][I] find path: 10278
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7169
[lola][I] find path: 10280
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7167
[lola][I] find path: 10282
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7163
[lola][I] find path: 10286
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7161
[lola][I] find path: 10288
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7159
[lola][I] find path: 10290
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7159
[lola][I] find path: 10290
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7157
[lola][I] find path: 10292
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7154
[lola][I] find path: 10295
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7152
[lola][I] find path: 10297
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7148
[lola][I] find path: 10301
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7148
[lola][I] find path: 10301
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7148
[lola][I] find path: 10301
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7146
[lola][I] find path: 10303
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7140
[lola][I] find path: 10309
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7138
[lola][I] find path: 10311
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7131
[lola][I] find path: 10318
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7129
[lola][I] find path: 10320
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7125
[lola][I] find path: 10324
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7117
[lola][I] find path: 10332
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7117
[lola][I] find path: 10332
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7117
[lola][I] find path: 10332
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7117
[lola][I] find path: 10332
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7117
[lola][I] find path: 10332
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7117
[lola][I] find path: 10332
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7111
[lola][I] find path: 10338
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7109
[lola][I] find path: 10340
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7107
[lola][I] find path: 10342
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7107
[lola][I] find path: 10342
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7107
[lola][I] find path: 10342
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7103
[lola][I] find path: 10346
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7103
[lola][I] find path: 10346
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7101
[lola][I] find path: 10348
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7096
[lola][I] find path: 10353
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7092
[lola][I] find path: 10357
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7092
[lola][I] find path: 10357
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7092
[lola][I] find path: 10357
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7090
[lola][I] find path: 10359
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7088
[lola][I] find path: 10361
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7086
[lola][I] find path: 10363
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7086
[lola][I] find path: 10363
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7086
[lola][I] find path: 10363
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7082
[lola][I] find path: 10367
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7080
[lola][I] find path: 10369
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7078
[lola][I] find path: 10371
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7076
[lola][I] find path: 10373
[lola][I] goal oriented search: 2097
[lola][I] reporting
[lola][I] not produced: 7060
[lola][I] find path: 10373
[lola][I] goal oriented search: 2113
[lola][I] reporting
[lola][I] not produced: 7060
[lola][I] find path: 10373
[lola][I] goal oriented search: 2113
[lola][I] reporting
[lola][I] not produced: 7044
[lola][I] find path: 10373
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7044
[lola][I] find path: 10373
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7044
[lola][I] find path: 10373
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7040
[lola][I] find path: 10377
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7040
[lola][I] find path: 10377
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7040
[lola][I] find path: 10377
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7038
[lola][I] find path: 10379
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7038
[lola][I] find path: 10379
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7038
[lola][I] find path: 10379
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7038
[lola][I] find path: 10379
[lola][I] goal oriented search: 2129
[lola][I] reporting
[lola][I] not produced: 7020
[lola][I] find path: 10381
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7020
[lola][I] find path: 10381
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7014
[lola][I] find path: 10387
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7010
[lola][I] find path: 10391
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7008
[lola][I] find path: 10393
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7008
[lola][I] find path: 10393
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7008
[lola][I] find path: 10393
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7006
[lola][I] find path: 10395
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7006
[lola][I] find path: 10395
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7002
[lola][I] find path: 10399
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 7000
[lola][I] find path: 10401
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6998
[lola][I] find path: 10403
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6996
[lola][I] find path: 10405
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6994
[lola][I] find path: 10407
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6992
[lola][I] find path: 10409
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6992
[lola][I] find path: 10409
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6992
[lola][I] find path: 10409
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6988
[lola][I] find path: 10413
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6986
[lola][I] find path: 10415
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6986
[lola][I] find path: 10415
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6982
[lola][I] find path: 10419
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6981
[lola][I] find path: 10420
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6977
[lola][I] find path: 10424
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6975
[lola][I] find path: 10426
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6973
[lola][I] find path: 10428
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6967
[lola][I] find path: 10434
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6967
[lola][I] find path: 10434
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6965
[lola][I] find path: 10436
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6965
[lola][I] find path: 10436
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6963
[lola][I] find path: 10438
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6963
[lola][I] find path: 10438
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6963
[lola][I] find path: 10438
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6963
[lola][I] find path: 10438
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6961
[lola][I] find path: 10440
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6961
[lola][I] find path: 10440
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6959
[lola][I] find path: 10442
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6959
[lola][I] find path: 10442
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6957
[lola][I] find path: 10444
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6956
[lola][I] find path: 10445
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6947
[lola][I] find path: 10454
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6947
[lola][I] find path: 10454
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6945
[lola][I] find path: 10456
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6945
[lola][I] find path: 10456
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6945
[lola][I] find path: 10456
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6945
[lola][I] find path: 10456
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6943
[lola][I] find path: 10458
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6943
[lola][I] find path: 10458
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6941
[lola][I] find path: 10460
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6941
[lola][I] find path: 10460
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6939
[lola][I] find path: 10462
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6933
[lola][I] find path: 10468
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6933
[lola][I] find path: 10468
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6933
[lola][I] find path: 10468
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6933
[lola][I] find path: 10468
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6933
[lola][I] find path: 10468
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6928
[lola][I] find path: 10473
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6924
[lola][I] find path: 10477
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6920
[lola][I] find path: 10481
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6920
[lola][I] find path: 10481
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6920
[lola][I] find path: 10481
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6918
[lola][I] find path: 10483
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6916
[lola][I] find path: 10485
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6916
[lola][I] find path: 10485
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6916
[lola][I] find path: 10485
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6916
[lola][I] find path: 10485
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6914
[lola][I] find path: 10487
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6914
[lola][I] find path: 10487
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6914
[lola][I] find path: 10487
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6912
[lola][I] find path: 10489
[lola][I] goal oriented search: 2145
[lola][I] reporting
[lola][I] not produced: 6912
[lola][I] find path: 10489
[lola][I] goal oriented search: 2145

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

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