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-162089422500193.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-6, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422500193
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 152K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 115K 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.3K Mar 28 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K 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.8K Mar 27 10:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 10:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 13:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 13:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 1621292623196

starting LoLA
BK_INPUT RERS17pb115-PT-6
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: STATE EQUATION TRIES PLACE p702
lola: reporting
lola: not produced: 1381
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: STATE EQUATION TRIES PLACE p201
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p390
lola: STATE EQUATION TRIES PLACE p220
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p61
lola: STATE EQUATION TRIES PLACE p553
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p643
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p1379
lola: STATE EQUATION TRIES PLACE p1368
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p386
lola: STATE EQUATION TRIES PLACE p1393
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p421
lola: STATE EQUATION TRIES PLACE p795
lola: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p416
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 p1122
lola: 0 generators; 952890 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES PLACE p353
lola: reporting
lola: not produced: 1297
lola: find path: 44
lola: goal oriented search: 40
lola: 0 generators; 952890 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES PLACE p596
lola: reporting
lola: not produced: 1290
lola: find path: 44
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1011
lola: 0 generators; 952890 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 1290
lola: find path: 44
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p881
lola: 0 generators; 952890 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 1290
lola: find path: 44
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p903
lola: STATE EQUATION TRIES PLACE p1383
lola: 0 generators; 952890 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p834
lola: 0 generators; 952890 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p446
lola: 0 generators; 952890 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p854
lola: STATE EQUATION TRIES PLACE p736
lola: 0 generators; 952890 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p221
lola: 0 generators; 952890 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p365
lola: STATE EQUATION TRIES PLACE p762
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1282
lola: STATE EQUATION TRIES PLACE p1175
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1342
lola: STATE EQUATION TRIES PLACE p694
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1381
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p263
lola: STATE EQUATION TRIES PLACE p1342
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p122
lola: STATE EQUATION TRIES PLACE p40
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p401
lola: STATE EQUATION TRIES PLACE p777
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p756
lola: STATE EQUATION TRIES PLACE p267
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p739
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p974
lola: STATE EQUATION TRIES PLACE p946
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p192
lola: STATE EQUATION TRIES PLACE p9
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1187
lola: STATE EQUATION TRIES PLACE p688
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p398
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p157
lola: STATE EQUATION TRIES PLACE p839
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p424
lola: STATE EQUATION TRIES PLACE p1257
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p413
lola: STATE EQUATION TRIES PLACE p770
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p238
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1146
lola: STATE EQUATION TRIES PLACE p1033
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p201
lola: STATE EQUATION TRIES PLACE p835
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p419
lola: STATE EQUATION TRIES PLACE p146
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1138
lola: reporting
lola: not produced: 1271
lola: find path: 63
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p837
lola: STATE EQUATION TRIES PLACE p434
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p768
lola: STATE EQUATION TRIES PLACE p1292
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p778
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p243
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p241
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p813
lola: STATE EQUATION TRIES PLACE p1375
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p47
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1223
lola: STATE EQUATION TRIES PLACE p183
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p523
lola: STATE EQUATION TRIES PLACE p51
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p514
lola: STATE EQUATION TRIES PLACE p588
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1250
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p1298
lola: STATE EQUATION TRIES PLACE p668
lola: reporting
lola: not produced: 751
lola: find path: 583
lola: goal oriented search: 47
lola: STATE EQUATION TRIES PLACE p883
lola: STATE EQUATION TRIES PLACE p1397
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p875
lola: STATE EQUATION TRIES PLACE p1088
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1088
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p124
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p887
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p950
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p709
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p683
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p750
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1075
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1268
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p409
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p941
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1221
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1303
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p425
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p535
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p447
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1161
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1174
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1064
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p647
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p995
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p666
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1234
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p249
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p333
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1047
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p41
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1268
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p45
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p295
lola: STATE EQUATION TRIES PLACE p829
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p237
lola: STATE EQUATION TRIES PLACE p873
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1026
lola: STATE EQUATION TRIES PLACE p688
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p401
lola: STATE EQUATION TRIES PLACE p402
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p813
lola: STATE EQUATION TRIES PLACE p1238
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p662
lola: STATE EQUATION TRIES PLACE p197
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p848
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1250
lola: STATE EQUATION TRIES PLACE p1055
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p901
lola: STATE EQUATION TRIES PLACE p854
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1212
lola: STATE EQUATION TRIES PLACE p673
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p88
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p840
lola: STATE EQUATION TRIES PLACE p22
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p430
lola: STATE EQUATION TRIES PLACE p119
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p860
lola: STATE EQUATION TRIES PLACE p772
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p868
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p960
lola: STATE EQUATION TRIES PLACE p839
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1055
lola: STATE EQUATION TRIES PLACE p658
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1397
lola: STATE EQUATION TRIES PLACE p594
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p37
lola: STATE EQUATION TRIES PLACE p952
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p933
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p351
lola: STATE EQUATION TRIES PLACE p1185
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p340
lola: STATE EQUATION TRIES PLACE p926
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p542
lola: STATE EQUATION TRIES PLACE p747
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p1296
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p393
lola: STATE EQUATION TRIES PLACE p45
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p960
lola: STATE EQUATION TRIES PLACE p220
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p868
lola: STATE EQUATION TRIES PLACE p1253
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p264
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p514
lola: STATE EQUATION TRIES PLACE p353
lola: reporting
lola: not produced: 514
lola: find path: 583
lola: goal oriented search: 284
lola: STATE EQUATION TRIES PLACE p753
lola: STATE EQUATION TRIES PLACE p227
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p420
lola: STATE EQUATION TRIES PLACE p1347
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p697
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1239
lola: STATE EQUATION TRIES PLACE p760
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p292
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1234
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1262
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p351
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1030
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p647
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p744
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p959
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p391
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p296
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p351
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p874
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p146
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1261
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1194
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p926
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p486
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p698
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p579
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p542
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1043
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p281
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p249
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p393
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p97
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p424
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p299
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p703
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p1262
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p367
lola: reporting
lola: not produced: 400
lola: find path: 583
lola: goal oriented search: 398
lola: STATE EQUATION TRIES PLACE p854
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p764
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p842
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p725
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1194
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p448
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1241
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1250
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1250
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p37
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p429
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p873
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p336
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p88
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p926
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p901
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p721
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p196
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p425
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p854
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p393
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1194
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p881
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p451
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p295
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p733
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p945
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p831
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1312
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p717
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p717
lola: STATE EQUATION TRIES PLACE p693
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1175
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p922
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p747
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p885
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1258
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p397
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1303
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p760
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p701
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p365
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p306
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p748
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p845
lola: STATE EQUATION TRIES PLACE p514
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1276
lola: STATE EQUATION TRIES PLACE p387
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p227
lola: STATE EQUATION TRIES PLACE p1091
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p399
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p884
lola: STATE EQUATION TRIES PLACE p28
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1269
lola: STATE EQUATION TRIES PLACE p1308
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p401
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p447
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p897
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p690
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p769
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p115
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p343
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1267
lola: STATE EQUATION TRIES PLACE p912
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1088
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p963
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p901
lola: STATE EQUATION TRIES PLACE p522
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p368
lola: STATE EQUATION TRIES PLACE p1231
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p69
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1105
lola: STATE EQUATION TRIES PLACE p321
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p978
lola: STATE EQUATION TRIES PLACE p451
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p5
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p874
lola: STATE EQUATION TRIES PLACE p995
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1041
lola: STATE EQUATION TRIES PLACE p903
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p85
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p855
lola: STATE EQUATION TRIES PLACE p985
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1115
lola: STATE EQUATION TRIES PLACE p540
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p692
lola: STATE EQUATION TRIES PLACE p1264
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p517
lola: STATE EQUATION TRIES PLACE p978
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p367
lola: STATE EQUATION TRIES PLACE p39
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p760
lola: STATE EQUATION TRIES PLACE p699
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p389
lola: STATE EQUATION TRIES PLACE p1274
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1028
lola: STATE EQUATION TRIES PLACE p568
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p960
lola: STATE EQUATION TRIES PLACE p1255
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p770
lola: STATE EQUATION TRIES PLACE p698
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1265
lola: STATE EQUATION TRIES PLACE p764
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1250
lola: STATE EQUATION TRIES PLACE p877
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p89
lola: STATE EQUATION TRIES PLACE p409
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p998
lola: STATE EQUATION TRIES PLACE p365
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1175
lola: STATE EQUATION TRIES PLACE p299
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p869
lola: STATE EQUATION TRIES PLACE p1280
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1257
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p39
lola: STATE EQUATION TRIES PLACE p1167
lola: reporting
lola: not produced: 327
lola: find path: 583
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p1030
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p994
lola: STATE EQUATION TRIES PLACE p299
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p24
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p290
lola: STATE EQUATION TRIES PLACE p228
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p438
lola: STATE EQUATION TRIES PLACE p430
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p275
lola: STATE EQUATION TRIES PLACE p292
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p297
lola: STATE EQUATION TRIES PLACE p522
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p451
lola: STATE EQUATION TRIES PLACE p942
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p698
lola: STATE EQUATION TRIES PLACE p831
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1281
lola: STATE EQUATION TRIES PLACE p450
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p424
lola: STATE EQUATION TRIES PLACE p765
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p49
lola: STATE EQUATION TRIES PLACE p766
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1091
lola: STATE EQUATION TRIES PLACE p438
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p417
lola: STATE EQUATION TRIES PLACE p408
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1295
lola: STATE EQUATION TRIES PLACE p1233
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1295
lola: STATE EQUATION TRIES PLACE p1308
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1241
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p308
lola: STATE EQUATION TRIES PLACE p438
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p220
lola: STATE EQUATION TRIES PLACE p1295
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p220
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1303
lola: STATE EQUATION TRIES PLACE p299
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p429
lola: STATE EQUATION TRIES PLACE p302
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p147
lola: STATE EQUATION TRIES PLACE p420
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p135
lola: STATE EQUATION TRIES PLACE p1255
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1301
lola: STATE EQUATION TRIES PLACE p1269
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p20
lola: STATE EQUATION TRIES PLACE p848
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p430
lola: STATE EQUATION TRIES PLACE p302
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p582
lola: STATE EQUATION TRIES PLACE p1256
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1088
lola: STATE EQUATION TRIES PLACE p942
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p450
lola: STATE EQUATION TRIES PLACE p709
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p703
lola: STATE EQUATION TRIES PLACE p248
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1288
lola: STATE EQUATION TRIES PLACE p1026
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p424
lola: STATE EQUATION TRIES PLACE p1265
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p24
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p1255
lola: STATE EQUATION TRIES PLACE p1090
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p703
lola: STATE EQUATION TRIES PLACE p952
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p709
lola: STATE EQUATION TRIES PLACE p703
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p295
lola: STATE EQUATION TRIES PLACE p880
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p451
lola: STATE EQUATION TRIES PLACE p224
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p912
lola: STATE EQUATION TRIES PLACE p875
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p703
lola: STATE EQUATION TRIES PLACE p848
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p1233
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p941
lola: STATE EQUATION TRIES PLACE p1088
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p670
lola: STATE EQUATION TRIES PLACE p703
lola: reporting
lola: not produced: 145
lola: find path: 765
lola: goal oriented search: 471
lola: STATE EQUATION TRIES PLACE p275

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

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