Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422500198.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 RERS17pb115-PT-7, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422500198
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 9.3K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 74K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 13:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 13:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 69M May 5 16:51 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 StableMarking

=== Now, execution of the tool begins

BK_START 1621292654959

starting LoLA
BK_INPUT RERS17pb115-PT-7
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking

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: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p909
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p496
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p702
lola: STATE EQUATION TRIES PLACE p322
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p201
lola: STATE EQUATION TRIES PLACE p1381
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p1019
lola: STATE EQUATION TRIES PLACE p296
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p1051
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p201
lola: STATE EQUATION TRIES PLACE p390
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p220
lola: STATE EQUATION TRIES PLACE p61
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p553
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p643
lola: STATE EQUATION TRIES PLACE p1379
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p1368
lola: STATE EQUATION TRIES PLACE p386
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p1393
lola: STATE EQUATION TRIES PLACE p421
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p795
lola: STATE EQUATION TRIES PLACE p416
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p351
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p517
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 1361
lola: find path: 20
lola: STATE EQUATION TRIES PLACE p212
lola: 0 generators; 952890 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p907
lola: 0 generators; 952890 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p917
lola: 0 generators; 952890 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES PLACE p1393
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: 0 generators; 952890 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p870
lola: 0 generators; 952890 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1333
lola: 0 generators; 952890 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1089
lola: 0 generators; 952890 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p464
lola: 0 generators; 952890 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p666
lola: 0 generators; 952890 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p479
lola: 0 generators; 952890 candidates remain ( 0%), 45 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p299
lola: 0 generators; 952890 candidates remain ( 0%), 50 secs
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p895
lola: STATE EQUATION TRIES PLACE p588
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p106
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p471
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p950
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p619
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p988
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1329
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p121
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p465
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p709
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p207
lola: STATE EQUATION TRIES PLACE p734
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1018
lola: STATE EQUATION TRIES PLACE p930
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1203
lola: STATE EQUATION TRIES PLACE p805
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1390
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1309
lola: STATE EQUATION TRIES PLACE p581
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p909
lola: STATE EQUATION TRIES PLACE p23
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p920
lola: STATE EQUATION TRIES PLACE p836
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p344
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1295
lola: STATE EQUATION TRIES PLACE p523
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p475
lola: STATE EQUATION TRIES PLACE p1231
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1009
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p276
lola: STATE EQUATION TRIES PLACE p1223
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p802
lola: STATE EQUATION TRIES PLACE p368
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p158
lola: STATE EQUATION TRIES PLACE p635
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p658
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p29
lola: STATE EQUATION TRIES PLACE p1167
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p456
lola: STATE EQUATION TRIES PLACE p419
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p609
lola: STATE EQUATION TRIES PLACE p1175
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p344
lola: STATE EQUATION TRIES PLACE p298
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p865
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p938
lola: STATE EQUATION TRIES PLACE p1388
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p127
lola: STATE EQUATION TRIES PLACE p683
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1083
lola: STATE EQUATION TRIES PLACE p1256
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p159
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p658
lola: STATE EQUATION TRIES PLACE p1218
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p437
lola: STATE EQUATION TRIES PLACE p1385
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p7
lola: STATE EQUATION TRIES PLACE p82
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p960
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p729
lola: STATE EQUATION TRIES PLACE p864
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1283
lola: STATE EQUATION TRIES PLACE p1202
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p435
lola: STATE EQUATION TRIES PLACE p962
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p841
lola: STATE EQUATION TRIES PLACE p45
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p447
lola: STATE EQUATION TRIES PLACE p526
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p531
lola: STATE EQUATION TRIES PLACE p1218
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p159
lola: STATE EQUATION TRIES PLACE p906
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p811
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p568
lola: STATE EQUATION TRIES PLACE p262
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p187
lola: STATE EQUATION TRIES PLACE p1068
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p134
lola: STATE EQUATION TRIES PLACE p1053
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p94
lola: STATE EQUATION TRIES PLACE p42
lola: reporting
lola: not produced: 1296
lola: find path: 21
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p781
lola: STATE EQUATION TRIES PLACE p71
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1337
lola: STATE EQUATION TRIES PLACE p201
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p493
lola: STATE EQUATION TRIES PLACE p475
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p367
lola: STATE EQUATION TRIES PLACE p297
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p392
lola: STATE EQUATION TRIES PLACE p682
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p830
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1312
lola: STATE EQUATION TRIES PLACE p147
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1380
lola: STATE EQUATION TRIES PLACE p297
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p260
lola: STATE EQUATION TRIES PLACE p1231
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1354
lola: STATE EQUATION TRIES PLACE p401
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p629
lola: STATE EQUATION TRIES PLACE p447
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p362
lola: STATE EQUATION TRIES PLACE p301
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p624
lola: STATE EQUATION TRIES PLACE p476
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p902
lola: STATE EQUATION TRIES PLACE p221
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p808
lola: STATE EQUATION TRIES PLACE p1297
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p236
lola: STATE EQUATION TRIES PLACE p186
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p720
lola: STATE EQUATION TRIES PLACE p265
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p694
lola: STATE EQUATION TRIES PLACE p880
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p903
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p57
lola: STATE EQUATION TRIES PLACE p1301
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p719
lola: STATE EQUATION TRIES PLACE p686
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p671
lola: STATE EQUATION TRIES PLACE p1090
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p672
lola: STATE EQUATION TRIES PLACE p1255
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p390
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p935
lola: STATE EQUATION TRIES PLACE p486
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p221
lola: STATE EQUATION TRIES PLACE p1078
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1297
lola: STATE EQUATION TRIES PLACE p955
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p828
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p119
lola: STATE EQUATION TRIES PLACE p350
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p130
lola: STATE EQUATION TRIES PLACE p235
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p514
lola: STATE EQUATION TRIES PLACE p541
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p396
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p447
lola: STATE EQUATION TRIES PLACE p1046
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p239
lola: STATE EQUATION TRIES PLACE p883
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1312
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1235
lola: STATE EQUATION TRIES PLACE p896
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p883
lola: STATE EQUATION TRIES PLACE p1369
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p456
lola: STATE EQUATION TRIES PLACE p1008
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1007
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p290
lola: STATE EQUATION TRIES PLACE p555
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1113
lola: STATE EQUATION TRIES PLACE p1282
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p978
lola: STATE EQUATION TRIES PLACE p45
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p98
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1255
lola: STATE EQUATION TRIES PLACE p123
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p145
lola: STATE EQUATION TRIES PLACE p1007
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p647
lola: STATE EQUATION TRIES PLACE p476
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p942
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p682
lola: STATE EQUATION TRIES PLACE p880
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1280
lola: STATE EQUATION TRIES PLACE p948
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1293
lola: STATE EQUATION TRIES PLACE p68
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p45
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1035
lola: STATE EQUATION TRIES PLACE p475
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p447
lola: STATE EQUATION TRIES PLACE p988
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p847
lola: STATE EQUATION TRIES PLACE p11
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1210
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p96
lola: STATE EQUATION TRIES PLACE p258
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p258
lola: STATE EQUATION TRIES PLACE p389
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p635
lola: STATE EQUATION TRIES PLACE p747
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p999
lola: STATE EQUATION TRIES PLACE p1219
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1209
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p299
lola: STATE EQUATION TRIES PLACE p311
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1017
lola: STATE EQUATION TRIES PLACE p944
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p287
lola: STATE EQUATION TRIES PLACE p494
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p401
lola: STATE EQUATION TRIES PLACE p472
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p413
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p722
lola: STATE EQUATION TRIES PLACE p873
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1006
lola: STATE EQUATION TRIES PLACE p1380
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p918
lola: STATE EQUATION TRIES PLACE p274
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1226
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1276
lola: STATE EQUATION TRIES PLACE p580
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p594
lola: STATE EQUATION TRIES PLACE p34
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p863
lola: STATE EQUATION TRIES PLACE p884
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1196
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p727
lola: STATE EQUATION TRIES PLACE p746
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1039
lola: STATE EQUATION TRIES PLACE p1098
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p32
lola: STATE EQUATION TRIES PLACE p1043
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p881
lola: STATE EQUATION TRIES PLACE p224
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p873
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p97
lola: STATE EQUATION TRIES PLACE p860
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1115
lola: STATE EQUATION TRIES PLACE p860
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p401
lola: STATE EQUATION TRIES PLACE p877
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p20
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p49
lola: STATE EQUATION TRIES PLACE p687
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p388
lola: STATE EQUATION TRIES PLACE p732
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p135
lola: STATE EQUATION TRIES PLACE p590
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1079
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p88
lola: STATE EQUATION TRIES PLACE p936
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p280
lola: STATE EQUATION TRIES PLACE p879
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p738
lola: STATE EQUATION TRIES PLACE p115
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p493
lola: STATE EQUATION TRIES PLACE p1252
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p429
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p873
lola: STATE EQUATION TRIES PLACE p232
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p764
lola: STATE EQUATION TRIES PLACE p1268
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1302
lola: STATE EQUATION TRIES PLACE p159
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1170
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1295
lola: STATE EQUATION TRIES PLACE p682
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p363
lola: STATE EQUATION TRIES PLACE p919
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p312
lola: STATE EQUATION TRIES PLACE p224
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p683
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p224
lola: STATE EQUATION TRIES PLACE p1224
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p884
lola: STATE EQUATION TRIES PLACE p1279
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p949
lola: STATE EQUATION TRIES PLACE p11
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p306
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1352
lola: STATE EQUATION TRIES PLACE p114
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p25
lola: STATE EQUATION TRIES PLACE p87
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p538
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p941
lola: STATE EQUATION TRIES PLACE p82
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p294
lola: STATE EQUATION TRIES PLACE p1369
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p446
lola: STATE EQUATION TRIES PLACE p756
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1196
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p198
lola: STATE EQUATION TRIES PLACE p760
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p245
lola: STATE EQUATION TRIES PLACE p704
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p271
lola: STATE EQUATION TRIES PLACE p1180
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1337
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p473
lola: STATE EQUATION TRIES PLACE p26
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p306
lola: STATE EQUATION TRIES PLACE p658
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p355
lola: STATE EQUATION TRIES PLACE p485
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p720
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p24
lola: STATE EQUATION TRIES PLACE p959
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p260
lola: STATE EQUATION TRIES PLACE p221
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1377
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p312
lola: STATE EQUATION TRIES PLACE p224
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1302
lola: STATE EQUATION TRIES PLACE p57
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p668
lola: STATE EQUATION TRIES PLACE p344
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1167
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p209
lola: STATE EQUATION TRIES PLACE p183
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1046
lola: STATE EQUATION TRIES PLACE p836
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p815
lola: STATE EQUATION TRIES PLACE p350
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p367
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1377
lola: STATE EQUATION TRIES PLACE p1252
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p831
lola: STATE EQUATION TRIES PLACE p1179
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p449
lola: STATE EQUATION TRIES PLACE p1302
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p223
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1210
lola: STATE EQUATION TRIES PLACE p1055
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1361
lola: STATE EQUATION TRIES PLACE p140
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p767
lola: STATE EQUATION TRIES PLACE p23
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p308
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p297
lola: STATE EQUATION TRIES PLACE p124
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1025
lola: STATE EQUATION TRIES PLACE p713
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1025
lola: STATE EQUATION TRIES PLACE p941
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1026
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p312
lola: STATE EQUATION TRIES PLACE p288
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p472
lola: STATE EQUATION TRIES PLACE p133
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p357
lola: STATE EQUATION TRIES PLACE p302
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p911
lola: STATE EQUATION TRIES PLACE p1000
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p540
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p956
lola: STATE EQUATION TRIES PLACE p767
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p302
lola: STATE EQUATION TRIES PLACE p145
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p388
lola: STATE EQUATION TRIES PLACE p994
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1209
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p277
lola: STATE EQUATION TRIES PLACE p163
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p570
lola: STATE EQUATION TRIES PLACE p855
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p515
lola: STATE EQUATION TRIES PLACE p828
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p282
lola: STATE EQUATION TRIES PLACE p935
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p486
lola: STATE EQUATION TRIES PLACE p1025
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p134
lola: STATE EQUATION TRIES PLACE p237
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p733
lola: STATE EQUATION TRIES PLACE p1291
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p294
lola: STATE EQUATION TRIES PLACE p294
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p277
lola: STATE EQUATION TRIES PLACE p1257
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1019
lola: STATE EQUATION TRIES PLACE p1337
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p600
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p993
lola: STATE EQUATION TRIES PLACE p721
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1024
lola: STATE EQUATION TRIES PLACE p464
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1354
lola: STATE EQUATION TRIES PLACE p1297
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p554
lola: STATE EQUATION TRIES PLACE p687
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1234
lola: STATE EQUATION TRIES PLACE p399
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1292
lola: STATE EQUATION TRIES PLACE p722
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p725
lola: STATE EQUATION TRIES PLACE p682
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1096
lola: STATE EQUATION TRIES PLACE p684
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1365
lola: STATE EQUATION TRIES PLACE p266
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p703
lola: STATE EQUATION TRIES PLACE p409
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p217
lola: STATE EQUATION TRIES PLACE p251
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p248
lola: STATE EQUATION TRIES PLACE p911
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p869
lola: STATE EQUATION TRIES PLACE p389
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p472
lola: STATE EQUATION TRIES PLACE p828
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p77
lola: STATE EQUATION TRIES PLACE p919
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p271
lola: STATE EQUATION TRIES PLACE p642
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p159
lola: STATE EQUATION TRIES PLACE p1113
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p554
lola: STATE EQUATION TRIES PLACE p274
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p147
lola: STATE EQUATION TRIES PLACE p1096
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p957
lola: STATE EQUATION TRIES PLACE p185
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p90
lola: STATE EQUATION TRIES PLACE p769
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p235
lola: STATE EQUATION TRIES PLACE p124
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p85
lola: STATE EQUATION TRIES PLACE p689
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p287
lola: STATE EQUATION TRIES PLACE p277
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p208
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p343
lola: STATE EQUATION TRIES PLACE p1090
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p919
lola: STATE EQUATION TRIES PLACE p538
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1216
lola: STATE EQUATION TRIES PLACE p760
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p274
lola: STATE EQUATION TRIES PLACE p688
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1254
lola: STATE EQUATION TRIES PLACE p818
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p217
lola: STATE EQUATION TRIES PLACE p448
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p124
lola: STATE EQUATION TRIES PLACE p195
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p494
lola: STATE EQUATION TRIES PLACE p969
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p275
lola: STATE EQUATION TRIES PLACE p642
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1250
lola: STATE EQUATION TRIES PLACE p124
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1282
lola: STATE EQUATION TRIES PLACE p1305
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p45
lola: STATE EQUATION TRIES PLACE p683
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p277
lola: STATE EQUATION TRIES PLACE p1167
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p29
lola: STATE EQUATION TRIES PLACE p827
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1170
lola: STATE EQUATION TRIES PLACE p151
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p71
lola: STATE EQUATION TRIES PLACE p343
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p5
lola: STATE EQUATION TRIES PLACE p282
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p818
lola: STATE EQUATION TRIES PLACE p197
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1369
lola: STATE EQUATION TRIES PLACE p574
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p808
lola: STATE EQUATION TRIES PLACE p286
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p828
lola: STATE EQUATION TRIES PLACE p476
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p476
lola: STATE EQUATION TRIES PLACE p446
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p195
lola: STATE EQUATION TRIES PLACE p362
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p830
lola: STATE EQUATION TRIES PLACE p1258
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p108
lola: STATE EQUATION TRIES PLACE p1233
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p88
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p912
lola: STATE EQUATION TRIES PLACE p1092
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p402
lola: STATE EQUATION TRIES PLACE p1295
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p209
lola: STATE EQUATION TRIES PLACE p522
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1007
lola: STATE EQUATION TRIES PLACE p260
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p726
lola: STATE EQUATION TRIES PLACE p772
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p417
lola: STATE EQUATION TRIES PLACE p513
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p606
lola: STATE EQUATION TRIES PLACE p131
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p554
lola: STATE EQUATION TRIES PLACE p1180
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p1113
lola: STATE EQUATION TRIES PLACE p351
lola: reporting
lola: not produced: 525
lola: find path: 792
lola: goal oriented search: 64
lola: STATE EQUATION TRIES PLACE p842
lola: STATE EQUATION TRIES PLACE p425

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="RERS17pb115-PT-7"
export BK_EXAMINATION="StableMarking"
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 RERS17pb115-PT-7, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r182-tajo-162089422500198"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-7.tgz
mv RERS17pb115-PT-7 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;