Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r296-tall-162124162700422.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S24C08, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162700422
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 30M
-rw-r--r-- 1 mcc users 27K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 38K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 123K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.0K May 11 19:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 19:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 11 16:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 11 16:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 29M May 12 08:13 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 1621245472829

starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C08
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES TRANSITION Node0ReceiveTheLeafSetOfLx6ToReplaceNode6
sara: try reading problem file stateEquationProblem-QuasiLiveness-13520.sara.
lola: reporting
lola: not produced: 17042
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 14850
lola: find path: 2030
lola: goal oriented search: 162
lola: reporting
lola: not produced: 11454
lola: find path: 4002
lola: goal oriented search: 1586
lola: reporting
lola: not produced: 10524
lola: find path: 4910
lola: goal oriented search: 1608
lola: reporting
lola: not produced: 9971
lola: find path: 5379
lola: goal oriented search: 1692
lola: reporting
lola: not produced: 9635
lola: find path: 5713
lola: goal oriented search: 1694
lola: reporting
lola: not produced: 9417
lola: find path: 5929
lola: goal oriented search: 1696
lola: reporting
lola: not produced: 9208
lola: find path: 6134
lola: goal oriented search: 1700
lola: reporting
lola: not produced: 9064
lola: find path: 6278
lola: goal oriented search: 1700
lola: reporting
lola: not produced: 8940
lola: find path: 6400
lola: goal oriented search: 1702
lola: reporting
lola: not produced: 8815
lola: find path: 6525
lola: goal oriented search: 1702
lola: reporting
lola: not produced: 8718
lola: find path: 6622
lola: goal oriented search: 1702
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 8561
lola: find path: 6703
lola: goal oriented search: 1778
lola: reporting
lola: not produced: 8486
lola: find path: 6778
lola: goal oriented search: 1778
lola: reporting
lola: not produced: 8437
lola: find path: 6827
lola: goal oriented search: 1778

lola: reporting
lola: not produced: 8362
lola: find path: 6902
lola: goal oriented search: 1778
lola: reporting
lola: not produced: 8297
lola: find path: 6963
lola: goal oriented search: 1782
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION Node24AsksItsLeafSetToLx5ToReplaceNode4
lola: reporting
lola: not produced: 8251
lola: state equation: 1
lola: find path: 7008
lola: goal oriented search: 1782
sara: try reading problem file stateEquationProblem-QuasiLiveness-4874.sara.
lola: reporting
lola: not produced: 8213
lola: state equation: 1
lola: find path: 7046
lola: goal oriented search: 1782
lola: reporting
lola: not produced: 8178
lola: state equation: 1
lola: find path: 7081
lola: goal oriented search: 1782
lola: reporting
lola: not produced: 8099
lola: state equation: 1
lola: find path: 7135
lola: goal oriented search: 1807
lola: reporting
lola: not produced: 8062
lola: state equation: 1
lola: find path: 7172
lola: goal oriented search: 1807
lola: reporting
lola: not produced: 8027
lola: state equation: 1
lola: find path: 7207
lola: goal oriented search: 1807
lola: reporting
lola: not produced: 7997
lola: state equation: 1
lola: find path: 7237
lola: goal oriented search: 1807
lola: reporting
lola: not produced: 7973
lola: state equation: 1
lola: find path: 7261
lola: goal oriented search: 1807
lola: reporting
lola: not produced: 7948
lola: state equation: 1
lola: find path: 7286
lola: goal oriented search: 1807
lola: reporting
lola: not produced: 7920
lola: state equation: 1
lola: find path: 7314
lola: goal oriented search: 1807
lola: reporting
lola: not produced: 7900
lola: state equation: 1
lola: find path: 7332
lola: goal oriented search: 1809
lola: reporting
lola: not produced: 7875
lola: state equation: 1
lola: find path: 7357
lola: goal oriented search: 1809
lola: reporting
lola: not produced: 7849
lola: state equation: 1
lola: find path: 7383
lola: goal oriented search: 1809
lola: reporting
lola: not produced: 7821
lola: state equation: 1
lola: find path: 7411
lola: goal oriented search: 1809
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7800
lola: state equation: 1
lola: find path: 7432
lola: goal oriented search: 1809
lola: reporting
lola: not produced: 7736
lola: state equation: 1
lola: find path: 7454
lola: goal oriented search: 1851
lola: reporting
lola: not produced: 7716
lola: state equation: 1
lola: find path: 7470
lola: goal oriented search: 1855
lola: reporting
lola: not produced: 7691
lola: state equation: 1
lola: find path: 7487
lola: goal oriented search: 1863
lola: reporting
lola: not produced: 7679
lola: state equation: 1
lola: find path: 7499
lola: goal oriented search: 1863
lola: reporting
lola: not produced: 7662
lola: state equation: 1
lola: find path: 7516
lola: goal oriented search: 1863

lola: reporting
lola: not produced: 7648
lola: state equation: 1
lola: find path: 7528
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7629
lola: state equation: 1
lola: find path: 7547
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7603
lola: state equation: 1
lola: find path: 7573
lola: goal oriented search: 1865
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION Node19IsNotRespondingToNode3ToReplaceNode5
sara: try reading problem file stateEquationProblem-QuasiLiveness-4936.sara.
lola: reporting
lola: not produced: 7597
lola: state equation: 1
lola: find path: 7579
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7585
lola: state equation: 1
lola: find path: 7591
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7574
lola: state equation: 1
lola: find path: 7602
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7550
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7538
lola: state equation: 1
lola: find path: 7638
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7526
lola: state equation: 1
lola: find path: 7650
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7516
lola: state equation: 1
lola: find path: 7660
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7508
lola: state equation: 1
lola: find path: 7668
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7504
lola: state equation: 1
lola: find path: 7672
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7494
lola: state equation: 1
lola: find path: 7682
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7478
lola: state equation: 1
lola: find path: 7698
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7464
lola: state equation: 1
lola: find path: 7712
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7457
lola: state equation: 1
lola: find path: 7719
lola: goal oriented search: 1865
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7453
lola: state equation: 1
lola: find path: 7723
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7445
lola: state equation: 1
lola: find path: 7731
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7439
lola: state equation: 1
lola: find path: 7737
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7431
lola: state equation: 1
lola: find path: 7745
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7429
lola: state equation: 1
lola: find path: 7747
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7416
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7405
lola: state equation: 1
lola: find path: 7771
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7393
lola: state equation: 1
lola: find path: 7783
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7383
lola: state equation: 1
lola: find path: 7793
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7373
lola: state equation: 1
lola: find path: 7803
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7367
lola: state equation: 1
lola: find path: 7809
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7363
lola: state equation: 1
lola: find path: 7813
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7355
lola: state equation: 1
lola: find path: 7821
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7351
lola: state equation: 1
lola: find path: 7825
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7339
lola: state equation: 1
lola: find path: 7837
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7323
lola: state equation: 1
lola: find path: 7853
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7297
lola: state equation: 1
lola: find path: 7879
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7290
lola: state equation: 1
lola: find path: 7886
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7283
lola: state equation: 1
lola: find path: 7893
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7277
lola: state equation: 1
lola: find path: 7899
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7275
lola: state equation: 1
lola: find path: 7901
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7267
lola: state equation: 1
lola: find path: 7909
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7259
lola: state equation: 1
lola: find path: 7917
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7251
lola: state equation: 1
lola: find path: 7925
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7241
lola: state equation: 1
lola: find path: 7935
lola: goal oriented search: 1865
lola: reporting
lola: not produced: 7223
lola: state equation: 1
lola: find path: 7945
lola: goal oriented search: 1873
lola: reporting
lola: not produced: 7217
lola: state equation: 1
lola: find path: 7951
lola: goal oriented search: 1873
lola: reporting
lola: not produced: 7213
lola: state equation: 1
lola: find path: 7953
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7211
lola: state equation: 1
lola: find path: 7955
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7203
lola: state equation: 1
lola: find path: 7963
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7197
lola: state equation: 1
lola: find path: 7969
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7187
lola: state equation: 1
lola: find path: 7979
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7177
lola: state equation: 1
lola: find path: 7989
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7169
lola: state equation: 1
lola: find path: 7997
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7161
lola: state equation: 1
lola: find path: 8005
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7152
lola: state equation: 1
lola: find path: 8014
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7147
lola: state equation: 1
lola: find path: 8019
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7139
lola: state equation: 1
lola: find path: 8027
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7127
lola: state equation: 1
lola: find path: 8039
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7123
lola: state equation: 1
lola: find path: 8043
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7119
lola: state equation: 1
lola: find path: 8047
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7119
lola: state equation: 1
lola: find path: 8047
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7112
lola: state equation: 1
lola: find path: 8054
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7106
lola: state equation: 1
lola: find path: 8060
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7098
lola: state equation: 1
lola: find path: 8068
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7096
lola: state equation: 1
lola: find path: 8070
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7094
lola: state equation: 1
lola: find path: 8072
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7086
lola: state equation: 1
lola: find path: 8080
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7079
lola: state equation: 1
lola: find path: 8087
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7073
lola: state equation: 1
lola: find path: 8093
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7066
lola: state equation: 1
lola: find path: 8100
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7066
lola: state equation: 1
lola: find path: 8100
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7058
lola: state equation: 1
lola: find path: 8108
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7058
lola: state equation: 1
lola: find path: 8108
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7054
lola: state equation: 1
lola: find path: 8112
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7049
lola: state equation: 1
lola: find path: 8117
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7045
lola: state equation: 1
lola: find path: 8121
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7044
lola: state equation: 1
lola: find path: 8122
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7037
lola: state equation: 1
lola: find path: 8129
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7037
lola: state equation: 1
lola: find path: 8129
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7035
lola: state equation: 1
lola: find path: 8131
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7033
lola: state equation: 1
lola: find path: 8133
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7023
lola: state equation: 1
lola: find path: 8143
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7019
lola: state equation: 1
lola: find path: 8147
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7017
lola: state equation: 1
lola: find path: 8149
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7013
lola: state equation: 1
lola: find path: 8153
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7010
lola: state equation: 1
lola: find path: 8156
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7006
lola: state equation: 1
lola: find path: 8160
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7004
lola: state equation: 1
lola: find path: 8162
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7002
lola: state equation: 1
lola: find path: 8164
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 7000
lola: state equation: 1
lola: find path: 8166
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6995
lola: state equation: 1
lola: find path: 8171
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6991
lola: state equation: 1
lola: find path: 8175
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6989
lola: state equation: 1
lola: find path: 8177
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6985
lola: state equation: 1
lola: find path: 8181
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6981
lola: state equation: 1
lola: find path: 8185
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6979
lola: state equation: 1
lola: find path: 8187
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6977
lola: state equation: 1
lola: find path: 8189
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6973
lola: state equation: 1
lola: find path: 8193
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6969
lola: state equation: 1
lola: find path: 8197
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6967
lola: state equation: 1
lola: find path: 8199
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6961
lola: state equation: 1
lola: find path: 8205
lola: goal oriented search: 1875
lola: reporting
lola: not produced: 6951
lola: state equation: 1
lola: find path: 8211
lola: goal oriented search: 1879
lola: reporting
lola: not produced: 6943
lola: state equation: 1
lola: find path: 8215
lola: goal oriented search: 1883
lola: reporting
lola: not produced: 6943
lola: state equation: 1
lola: find path: 8215
lola: goal oriented search: 1883
lola: reporting
lola: not produced: 6935
lola: state equation: 1
lola: find path: 8223
lola: goal oriented search: 1883
lola: reporting
lola: not produced: 6931
lola: state equation: 1
lola: find path: 8227
lola: goal oriented search: 1883
lola: reporting
lola: not produced: 6929
lola: state equation: 1
lola: find path: 8229
lola: goal oriented search: 1883
lola: reporting
lola: not produced: 6923
lola: state equation: 1
lola: find path: 8233
lola: goal oriented search: 1885
lola: reporting
lola: not produced: 6915
lola: state equation: 1
lola: find path: 8237
lola: goal oriented search: 1889
lola: reporting
lola: not produced: 6907
lola: state equation: 1
lola: find path: 8245
lola: goal oriented search: 1889
lola: reporting
lola: not produced: 6905
lola: state equation: 1
lola: find path: 8247
lola: goal oriented search: 1889
lola: reporting
lola: not produced: 6877
lola: state equation: 1
lola: find path: 8247
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6873
lola: state equation: 1
lola: find path: 8251
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6869
lola: state equation: 1
lola: find path: 8255
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6867
lola: state equation: 1
lola: find path: 8257
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6863
lola: state equation: 1
lola: find path: 8261
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6859
lola: state equation: 1
lola: find path: 8265
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6857
lola: state equation: 1
lola: find path: 8267
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6857
lola: state equation: 1
lola: find path: 8267
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6856
lola: state equation: 1
lola: find path: 8268
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6856
lola: state equation: 1
lola: find path: 8268
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6856
lola: state equation: 1
lola: find path: 8268
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6856
lola: state equation: 1
lola: find path: 8268
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6852
lola: state equation: 1
lola: find path: 8272
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6850
lola: state equation: 1
lola: find path: 8274
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6846
lola: state equation: 1
lola: find path: 8278
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6846
lola: state equation: 1
lola: find path: 8278
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6844
lola: state equation: 1
lola: find path: 8280
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6844
lola: state equation: 1
lola: find path: 8280
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6838
lola: state equation: 1
lola: find path: 8286
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6832
lola: state equation: 1
lola: find path: 8292
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6828
lola: state equation: 1
lola: find path: 8296
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6828
lola: state equation: 1
lola: find path: 8296
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6824
lola: state equation: 1
lola: find path: 8300
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6820
lola: state equation: 1
lola: find path: 8304
lola: goal oriented search: 1917
lola: reporting
lola: not produced: 6812
lola: state equation: 1
lola: find path: 8310
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6812
lola: state equation: 1
lola: find path: 8310
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6810
lola: state equation: 1
lola: find path: 8312
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6810
lola: state equation: 1
lola: find path: 8312
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6808
lola: state equation: 1
lola: find path: 8314
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6808
lola: state equation: 1
lola: find path: 8314
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6806
lola: state equation: 1
lola: find path: 8316
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6806
lola: state equation: 1
lola: find path: 8316
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6804
lola: state equation: 1
lola: find path: 8318
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6804
lola: state equation: 1
lola: find path: 8318
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6800
lola: state equation: 1
lola: find path: 8322
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6798
lola: state equation: 1
lola: find path: 8324
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6794
lola: state equation: 1
lola: find path: 8328
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6792
lola: state equation: 1
lola: find path: 8330
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6790
lola: state equation: 1
lola: find path: 8332
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6788
lola: state equation: 1
lola: find path: 8334
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6786
lola: state equation: 1
lola: find path: 8336
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6786
lola: state equation: 1
lola: find path: 8336
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6784
lola: state equation: 1
lola: find path: 8338
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6784
lola: state equation: 1
lola: find path: 8338
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6780
lola: state equation: 1
lola: find path: 8342
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6773
lola: state equation: 1
lola: find path: 8349
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6771
lola: state equation: 1
lola: find path: 8351
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6765
lola: state equation: 1
lola: find path: 8357
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6765
lola: state equation: 1
lola: find path: 8357
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6763
lola: state equation: 1
lola: find path: 8359
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6759
lola: state equation: 1
lola: find path: 8363
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6759
lola: state equation: 1
lola: find path: 8363
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6755
lola: state equation: 1
lola: find path: 8367
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6755
lola: state equation: 1
lola: find path: 8367
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6753
lola: state equation: 1
lola: find path: 8369
lola: goal oriented search: 1919
lola: reporting
lola: not produced: 6749
lola: state equation: 1
lola: find path: 8371
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6745
lola: state equation: 1
lola: find path: 8375
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6743
lola: state equation: 1
lola: find path: 8377
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6741
lola: state equation: 1
lola: find path: 8379
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6739
lola: state equation: 1
lola: find path: 8381
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6737
lola: state equation: 1
lola: find path: 8383
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6737
lola: state equation: 1
lola: find path: 8383
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6735
lola: state equation: 1
lola: find path: 8385
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6733
lola: state equation: 1
lola: find path: 8387
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6733
lola: state equation: 1
lola: find path: 8387
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6731
lola: state equation: 1
lola: find path: 8389
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6729
lola: state equation: 1
lola: find path: 8391
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6727
lola: state equation: 1
lola: find path: 8393
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6725
lola: state equation: 1
lola: find path: 8395
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6723
lola: state equation: 1
lola: find path: 8397
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6723
lola: state equation: 1
lola: find path: 8397
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6723
lola: state equation: 1
lola: find path: 8397
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6721
lola: state equation: 1
lola: find path: 8399
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6717
lola: state equation: 1
lola: find path: 8403
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6717
lola: state equation: 1
lola: find path: 8403
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6713
lola: state equation: 1
lola: find path: 8407
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6711
lola: state equation: 1
lola: find path: 8409
lola: goal oriented search: 1921
lola: reporting
lola: not produced: 6699
lola: state equation: 1
lola: find path: 8411
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6697
lola: state equation: 1
lola: find path: 8413
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6697
lola: state equation: 1
lola: find path: 8413
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6697
lola: state equation: 1
lola: find path: 8413
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6697
lola: state equation: 1
lola: find path: 8413
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6697
lola: state equation: 1
lola: find path: 8413
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6695
lola: state equation: 1
lola: find path: 8415
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6693
lola: state equation: 1
lola: find path: 8417
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6691
lola: state equation: 1
lola: find path: 8419
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6683
lola: state equation: 1
lola: find path: 8427
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6681
lola: state equation: 1
lola: find path: 8429
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6676
lola: state equation: 1
lola: find path: 8434
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6676
lola: state equation: 1
lola: find path: 8434
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6674
lola: state equation: 1
lola: find path: 8436
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6674
lola: state equation: 1
lola: find path: 8436
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6672
lola: state equation: 1
lola: find path: 8438
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6670
lola: state equation: 1
lola: find path: 8440
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6670
lola: state equation: 1
lola: find path: 8440
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6668
lola: state equation: 1
lola: find path: 8442
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6664
lola: state equation: 1
lola: find path: 8446
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6662
lola: state equation: 1
lola: find path: 8448
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6662
lola: state equation: 1
lola: find path: 8448
lola: goal oriented search: 1931
lola: reporting
lola: not produced: 6660
lola: state equation: 1
lola: find path: 8448
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6660
lola: state equation: 1
lola: find path: 8448
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6660
lola: state equation: 1
lola: find path: 8448
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6658
lola: state equation: 1
lola: find path: 8450
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6657
lola: state equation: 1
lola: find path: 8451
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6657
lola: state equation: 1
lola: find path: 8451
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6657
lola: state equation: 1
lola: find path: 8451
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6655
lola: state equation: 1
lola: find path: 8453
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6649
lola: state equation: 1
lola: find path: 8459
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6647
lola: state equation: 1
lola: find path: 8461
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6643
lola: state equation: 1
lola: find path: 8465
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6641
lola: state equation: 1
lola: find path: 8467
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6639
lola: state equation: 1
lola: find path: 8469
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6639
lola: state equation: 1
lola: find path: 8469
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6639
lola: state equation: 1
lola: find path: 8469
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6639
lola: state equation: 1
lola: find path: 8469
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6637
lola: state equation: 1
lola: find path: 8471
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6637
lola: state equation: 1
lola: find path: 8471
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6633
lola: state equation: 1
lola: find path: 8475
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6633
lola: state equation: 1
lola: find path: 8475
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6633
lola: state equation: 1
lola: find path: 8475
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6633
lola: state equation: 1
lola: find path: 8475
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6631
lola: state equation: 1
lola: find path: 8477
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6627
lola: state equation: 1
lola: find path: 8481
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6627
lola: state equation: 1
lola: find path: 8481
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6627
lola: state equation: 1
lola: find path: 8481
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6625
lola: state equation: 1
lola: find path: 8483
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6625
lola: state equation: 1
lola: find path: 8483
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6625
lola: state equation: 1
lola: find path: 8483
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6623
lola: state equation: 1
lola: find path: 8485
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6621
lola: state equation: 1
lola: find path: 8487
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6613
lola: state equation: 1
lola: find path: 8495
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6611
lola: state equation: 1
lola: find path: 8497
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6609
lola: state equation: 1
lola: find path: 8499
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6609
lola: state equation: 1
lola: find path: 8499
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6606
lola: state equation: 1
lola: find path: 8502
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6604
lola: state equation: 1
lola: find path: 8504
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6598
lola: state equation: 1
lola: find path: 8510
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6594
lola: state equation: 1
lola: find path: 8514
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6594
lola: state equation: 1
lola: find path: 8514
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6594
lola: state equation: 1
lola: find path: 8514
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6592
lola: state equation: 1
lola: find path: 8516
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6592
lola: state equation: 1
lola: find path: 8516
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6592
lola: state equation: 1
lola: find path: 8516
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6592
lola: state equation: 1
lola: find path: 8516
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6592
lola: state equation: 1
lola: find path: 8516
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6590
lola: state equation: 1
lola: find path: 8518
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6588
lola: state equation: 1
lola: find path: 8520
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6586
lola: state equation: 1
lola: find path: 8522
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6586
lola: state equation: 1
lola: find path: 8522
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6584
lola: state equation: 1
lola: find path: 8524
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6582
lola: state equation: 1
lola: find path: 8526
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6582
lola: state equation: 1
lola: find path: 8526
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6578
lola: state equation: 1
lola: find path: 8530
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6578
lola: state equation: 1
lola: find path: 8530
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6576
lola: state equation: 1
lola: find path: 8532
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6576
lola: state equation: 1
lola: find path: 8532
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6576
lola: state equation: 1
lola: find path: 8532
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6576
lola: state equation: 1
lola: find path: 8532
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6576
lola: state equation: 1
lola: find path: 8532
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6576
lola: state equation: 1
lola: find path: 8532
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6574
lola: state equation: 1
lola: find path: 8534
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6572
lola: state equation: 1
lola: find path: 8536
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6570
lola: state equation: 1
lola: find path: 8538
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6568
lola: state equation: 1
lola: find path: 8540
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6566
lola: state equation: 1
lola: find path: 8542
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6566
lola: state equation: 1
lola: find path: 8542
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6566
lola: state equation: 1
lola: find path: 8542
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6566
lola: state equation: 1
lola: find path: 8542
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6563
lola: state equation: 1
lola: find path: 8545
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6563
lola: state equation: 1
lola: find path: 8545
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6563
lola: state equation: 1
lola: find path: 8545
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6560
lola: state equation: 1
lola: find path: 8548
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6560
lola: state equation: 1
lola: find path: 8548
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6558
lola: state equation: 1
lola: find path: 8550
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6554
lola: state equation: 1
lola: find path: 8554
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6554
lola: state equation: 1
lola: find path: 8554
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6554
lola: state equation: 1
lola: find path: 8554
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6554
lola: state equation: 1
lola: find path: 8554
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6554
lola: state equation: 1
lola: find path: 8554
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6552
lola: state equation: 1
lola: find path: 8556
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6552
lola: state equation: 1
lola: find path: 8556
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6552
lola: state equation: 1
lola: find path: 8556
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6550
lola: state equation: 1
lola: find path: 8558
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6550
lola: state equation: 1
lola: find path: 8558
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6548
lola: state equation: 1
lola: find path: 8560
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6548
lola: state equation: 1
lola: find path: 8560
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6548
lola: state equation: 1
lola: find path: 8560
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6548
lola: state equation: 1
lola: find path: 8560
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6542
lola: state equation: 1
lola: find path: 8566
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6540
lola: state equation: 1
lola: find path: 8568
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6540
lola: state equation: 1
lola: find path: 8568
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6536
lola: state equation: 1
lola: find path: 8572
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6536
lola: state equation: 1
lola: find path: 8572
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6534
lola: state equation: 1
lola: find path: 8574
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6531
lola: state equation: 1
lola: find path: 8577
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6529
lola: state equation: 1
lola: find path: 8579
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6529
lola: state equation: 1
lola: find path: 8579
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6529
lola: state equation: 1
lola: find path: 8579
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6529
lola: state equation: 1
lola: find path: 8579
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6527
lola: state equation: 1
lola: find path: 8581
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6525
lola: state equation: 1
lola: find path: 8583
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6525
lola: state equation: 1
lola: find path: 8583
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6525
lola: state equation: 1
lola: find path: 8583
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6525
lola: state equation: 1
lola: find path: 8583
lola: goal oriented search: 1933
lola: reporting
lola: not produced: 6523
lola: state equation: 1
lola: find path: 8585
lola: goal oriented search: 1933

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-S24C08"
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-4028"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S24C08, 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 r296-tall-162124162700422"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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