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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 94K 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 24K Mar 28 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 13:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 13:36 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 1621292937036

starting LoLA
BK_INPUT RERS17pb115-PT-8
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: 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: reporting
lola: not produced: 1381
lola: STATE EQUATION TRIES PLACE p553
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: STATE EQUATION TRIES PLACE p189
lola: reporting
lola: not produced: 1381
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES PLACE p906
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES PLACE p1392
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES PLACE p104
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES PLACE p851
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES PLACE p536
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 20 secs
lola: STATE EQUATION TRIES PLACE p846
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES PLACE p1391
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES PLACE p1186
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: 0 generators; 952890 candidates remain ( 0%), 35 secs
lola: STATE EQUATION TRIES PLACE p228
lola: STATE EQUATION TRIES PLACE p1241
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p880
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1257
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p61
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1094
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p72
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p285
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p973
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p942
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p584
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p823
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p828
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p272
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p991
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p643
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p378
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1025
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p589
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1355
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p752
lola: STATE EQUATION TRIES PLACE p910
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p871
lola: STATE EQUATION TRIES PLACE p1114
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p140
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p136
lola: STATE EQUATION TRIES PLACE p703
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p703
lola: STATE EQUATION TRIES PLACE p101
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p830
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p88
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p857
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p477
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p269
lola: STATE EQUATION TRIES PLACE p489
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1001
lola: STATE EQUATION TRIES PLACE p1136
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1217
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1232
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1032
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p258
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1376
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p153
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1226
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p66
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p977
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1247
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1001
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p116
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1200
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p984
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p60
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p436
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1090
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p513
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p476
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1396
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p137
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1052
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1264
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1324
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p288
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p503
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1109
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1037
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p865
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p103
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1149
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1389
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p857
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p826
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p533
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1141
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1348
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1134
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1248
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p825
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p124
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p451
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p55
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1119
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1066
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p155
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p563
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1256
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p881
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p547
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p588
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p753
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p391
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p286
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p225
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p100
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p165
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1242
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1349
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p178
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1031
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p250
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p796
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p202
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p872
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p625
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p854
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p497
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1068
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1253
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1350
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1159
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p280
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1311
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p406
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1296
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p664
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p565
lola: STATE EQUATION TRIES PLACE p660
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p415
lola: STATE EQUATION TRIES PLACE p556
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p710
lola: STATE EQUATION TRIES PLACE p366
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1267
lola: STATE EQUATION TRIES PLACE p484
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p511
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1094
lola: STATE EQUATION TRIES PLACE p1379
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1298
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p17
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p660
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1195
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p948
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p864
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p503
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p885
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p847
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p447
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p752
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p510
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1252
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p318
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p492
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p288
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p234
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p992
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1296
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p299
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p145
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1168
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p851
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p917
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p30
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p305
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p293
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1052
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1003
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p675
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p97
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p216
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1117
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1249
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p155
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p782
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1072
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p376
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p399
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p574
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p537
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p778
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p786
lola: reporting
lola: not produced: 1337
lola: find path: 24
lola: goal oriented search: 20
lola: STATE EQUATION TRIES PLACE p1385
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p294
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p943
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1262
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1041
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p301
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p145
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p446
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p957
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p748
lola: STATE EQUATION TRIES PLACE p440
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p831
lola: STATE EQUATION TRIES PLACE p869
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1380
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p25
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1262
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p429
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p308
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p401
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p699
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p698
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p225
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p952
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p778
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p125
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p415
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p737
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p845
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p901
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p392
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p388
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1037
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p336
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p486
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p765
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p130
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1027
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1026
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p922
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1282
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p947
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p82
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p124
lola: STATE EQUATION TRIES PLACE p96
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p996
lola: STATE EQUATION TRIES PLACE p90
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p133
lola: STATE EQUATION TRIES PLACE p949
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p694
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p258
lola: STATE EQUATION TRIES PLACE p227
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p692
lola: STATE EQUATION TRIES PLACE p365
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p5
lola: STATE EQUATION TRIES PLACE p944
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p290
lola: STATE EQUATION TRIES PLACE p1205
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p515
lola: STATE EQUATION TRIES PLACE p896
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p12
lola: STATE EQUATION TRIES PLACE p1190
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p240
lola: STATE EQUATION TRIES PLACE p392
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1295
lola: STATE EQUATION TRIES PLACE p943
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p3
lola: STATE EQUATION TRIES PLACE p225
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1234
lola: STATE EQUATION TRIES PLACE p938
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p67
lola: STATE EQUATION TRIES PLACE p1280
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p367
lola: STATE EQUATION TRIES PLACE p941
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p917
lola: STATE EQUATION TRIES PLACE p347
lola: reporting
lola: not produced: 373
lola: find path: 24
lola: goal oriented search: 984
lola: STATE EQUATION TRIES PLACE p1312
lola: STATE EQUATION TRIES PLACE p946
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p737
lola: STATE EQUATION TRIES PLACE p367
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p515
lola: STATE EQUATION TRIES PLACE p830
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p581
lola: STATE EQUATION TRIES PLACE p1017
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1071
lola: STATE EQUATION TRIES PLACE p449
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p951
lola: STATE EQUATION TRIES PLACE p939
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p818
lola: STATE EQUATION TRIES PLACE p438
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1028
lola: STATE EQUATION TRIES PLACE p1020
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p289
lola: STATE EQUATION TRIES PLACE p939
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p145
lola: STATE EQUATION TRIES PLACE p940
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p876
lola: STATE EQUATION TRIES PLACE p732
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1026
lola: STATE EQUATION TRIES PLACE p402
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1027
lola: STATE EQUATION TRIES PLACE p1000
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p131
lola: STATE EQUATION TRIES PLACE p301
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p937
lola: STATE EQUATION TRIES PLACE p930
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p119
lola: STATE EQUATION TRIES PLACE p694
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1187
lola: STATE EQUATION TRIES PLACE p1033
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1303
lola: STATE EQUATION TRIES PLACE p692
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1234
lola: STATE EQUATION TRIES PLACE p1031
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p300
lola: STATE EQUATION TRIES PLACE p959
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p574
lola: STATE EQUATION TRIES PLACE p998
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1115
lola: STATE EQUATION TRIES PLACE p932
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p12
lola: STATE EQUATION TRIES PLACE p1018
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p951
lola: STATE EQUATION TRIES PLACE p1046
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p698
lola: STATE EQUATION TRIES PLACE p933
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p984
lola: STATE EQUATION TRIES PLACE p869
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p416
lola: STATE EQUATION TRIES PLACE p343
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p947
lola: STATE EQUATION TRIES PLACE p1267
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p972
lola: STATE EQUATION TRIES PLACE p737
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p1020
lola: STATE EQUATION TRIES PLACE p1280
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p290
lola: STATE EQUATION TRIES PLACE p1069
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p741
lola: STATE EQUATION TRIES PLACE p1257
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p514
lola: STATE EQUATION TRIES PLACE p946
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p415
lola: STATE EQUATION TRIES PLACE p574
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p26
lola: STATE EQUATION TRIES PLACE p952
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p855
lola: STATE EQUATION TRIES PLACE p1235
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p972
lola: STATE EQUATION TRIES PLACE p68
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p818
lola: STATE EQUATION TRIES PLACE p747
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p969
lola: STATE EQUATION TRIES PLACE p940
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p515
lola: STATE EQUATION TRIES PLACE p1006
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p688
lola: STATE EQUATION TRIES PLACE p47
lola: reporting
lola: not produced: 296
lola: find path: 24
lola: goal oriented search: 1061
lola: STATE EQUATION TRIES PLACE p300
lola: STATE EQUATION TRIES PLACE p912

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

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