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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 153K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K 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.5K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 13:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 13:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:14 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 73M 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 1621290727129

starting LoLA
BK_INPUT RERS17pb114-PT-5
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: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p404
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p848
lola: STATE EQUATION TRIES PLACE p1317
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p168
lola: STATE EQUATION TRIES PLACE p616
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p777
lola: STATE EQUATION TRIES PLACE p303
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p401
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1362
lola: STATE EQUATION TRIES PLACE p1426
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p318
lola: STATE EQUATION TRIES PLACE p141
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1365
lola: STATE EQUATION TRIES PLACE p636
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p211
lola: STATE EQUATION TRIES PLACE p1404
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1271
lola: STATE EQUATION TRIES PLACE p699
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p462
lola: STATE EQUATION TRIES PLACE p596
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p988
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p57
lola: STATE EQUATION TRIES PLACE p708
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p958
lola: STATE EQUATION TRIES PLACE p1400
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p884
lola: STATE EQUATION TRIES PLACE p62
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p244
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1369
lola: 0 generators; 1020306 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p905
lola: 0 generators; 1020306 candidates remain ( 0%), 5 secs
lola: STATE EQUATION TRIES PLACE p372
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1069
lola: 0 generators; 1020306 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p697
lola: 0 generators; 1020306 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES PLACE p294
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p88
lola: 0 generators; 1020306 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p277
lola: 0 generators; 1020306 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES PLACE p60
lola: reporting
lola: not produced: 1429
lola: 0 generators; 1020306 candidates remain ( 0%), 30 secs
lola: STATE EQUATION TRIES PLACE p946
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1329
lola: 0 generators; 1020306 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1407
lola: 0 generators; 1020306 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1334
lola: 0 generators; 1020306 candidates remain ( 0%), 45 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p738
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p562
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p88
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1389
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1250
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p425
lola: STATE EQUATION TRIES PLACE p297
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p479
lola: STATE EQUATION TRIES PLACE p348
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p991
lola: STATE EQUATION TRIES PLACE p180
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1051
lola: STATE EQUATION TRIES PLACE p950
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p319
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p70
lola: STATE EQUATION TRIES PLACE p149
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p805
lola: STATE EQUATION TRIES PLACE p1107
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p996
lola: STATE EQUATION TRIES PLACE p907
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p920
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p869
lola: STATE EQUATION TRIES PLACE p1366
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p687
lola: STATE EQUATION TRIES PLACE p399
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p708
lola: STATE EQUATION TRIES PLACE p962
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1059
lola: STATE EQUATION TRIES PLACE p133
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p321
lola: STATE EQUATION TRIES PLACE p1415
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p890
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p335
lola: STATE EQUATION TRIES PLACE p1310
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1138
lola: STATE EQUATION TRIES PLACE p1272
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1279
lola: STATE EQUATION TRIES PLACE p297
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p409
lola: STATE EQUATION TRIES PLACE p544
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1375
lola: STATE EQUATION TRIES PLACE p1245
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p321
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1289
lola: STATE EQUATION TRIES PLACE p1310
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p816
lola: STATE EQUATION TRIES PLACE p320
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1177
lola: STATE EQUATION TRIES PLACE p913
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p693
lola: STATE EQUATION TRIES PLACE p588
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p921
lola: STATE EQUATION TRIES PLACE p248
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p484
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1096
lola: STATE EQUATION TRIES PLACE p33
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1253
lola: STATE EQUATION TRIES PLACE p495
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p128
lola: STATE EQUATION TRIES PLACE p330
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p602
lola: STATE EQUATION TRIES PLACE p1008
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1345
lola: STATE EQUATION TRIES PLACE p470
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1239
lola: STATE EQUATION TRIES PLACE p128
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p803
lola: STATE EQUATION TRIES PLACE p950
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p396
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p895
lola: STATE EQUATION TRIES PLACE p1246
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p692
lola: STATE EQUATION TRIES PLACE p455
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p396
lola: STATE EQUATION TRIES PLACE p808
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p705
lola: STATE EQUATION TRIES PLACE p585
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p202
lola: STATE EQUATION TRIES PLACE p271
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p632
lola: STATE EQUATION TRIES PLACE p1188
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p420
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p311
lola: STATE EQUATION TRIES PLACE p448
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1107
lola: STATE EQUATION TRIES PLACE p1085
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p153
lola: STATE EQUATION TRIES PLACE p1404
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1059
lola: STATE EQUATION TRIES PLACE p1042
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p914
lola: STATE EQUATION TRIES PLACE p654
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1321
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p508
lola: STATE EQUATION TRIES PLACE p771
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1293
lola: STATE EQUATION TRIES PLACE p1256
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p238
lola: STATE EQUATION TRIES PLACE p504
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p115
lola: STATE EQUATION TRIES PLACE p1305
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p696
lola: STATE EQUATION TRIES PLACE p852
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1428
lola: STATE EQUATION TRIES PLACE p43
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1134
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1160
lola: STATE EQUATION TRIES PLACE p659
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p241
lola: STATE EQUATION TRIES PLACE p1266
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p90
lola: STATE EQUATION TRIES PLACE p670
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1060
lola: STATE EQUATION TRIES PLACE p1433
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1419
lola: STATE EQUATION TRIES PLACE p142
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p578
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1434
lola: STATE EQUATION TRIES PLACE p1090
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p237
lola: STATE EQUATION TRIES PLACE p1164
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p741
lola: STATE EQUATION TRIES PLACE p153
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1083
lola: STATE EQUATION TRIES PLACE p1003
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p370
lola: STATE EQUATION TRIES PLACE p1415
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p322
lola: STATE EQUATION TRIES PLACE p798
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p564
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p360
lola: STATE EQUATION TRIES PLACE p326
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1360
lola: STATE EQUATION TRIES PLACE p324
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1023
lola: STATE EQUATION TRIES PLACE p802
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p622
lola: STATE EQUATION TRIES PLACE p499
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p347
lola: STATE EQUATION TRIES PLACE p243
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1171
lola: STATE EQUATION TRIES PLACE p878
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1289
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p927
lola: STATE EQUATION TRIES PLACE p478
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1141
lola: STATE EQUATION TRIES PLACE p831
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p196
lola: STATE EQUATION TRIES PLACE p420
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p925
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p299
lola: STATE EQUATION TRIES PLACE p1055
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p28
lola: STATE EQUATION TRIES PLACE p353
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p574
lola: STATE EQUATION TRIES PLACE p687
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p880
lola: STATE EQUATION TRIES PLACE p994
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1421
lola: STATE EQUATION TRIES PLACE p414
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p827
lola: STATE EQUATION TRIES PLACE p111
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1039
lola: STATE EQUATION TRIES PLACE p193
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p485
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1268
lola: STATE EQUATION TRIES PLACE p239
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p146
lola: STATE EQUATION TRIES PLACE p307
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1287
lola: STATE EQUATION TRIES PLACE p110
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p833
lola: STATE EQUATION TRIES PLACE p661
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1308
lola: STATE EQUATION TRIES PLACE p1219
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1173
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p770
lola: STATE EQUATION TRIES PLACE p865
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p978
lola: STATE EQUATION TRIES PLACE p399
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p350
lola: STATE EQUATION TRIES PLACE p402
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p82
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p542
lola: STATE EQUATION TRIES PLACE p92
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1043
lola: STATE EQUATION TRIES PLACE p1197
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p528
lola: STATE EQUATION TRIES PLACE p1048
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p431
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p644
lola: STATE EQUATION TRIES PLACE p277
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p590
lola: STATE EQUATION TRIES PLACE p913
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p878
lola: STATE EQUATION TRIES PLACE p713
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1067
lola: STATE EQUATION TRIES PLACE p74
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p645
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p82
lola: STATE EQUATION TRIES PLACE p235
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p993
lola: STATE EQUATION TRIES PLACE p512
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p225
lola: STATE EQUATION TRIES PLACE p937
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1308
lola: STATE EQUATION TRIES PLACE p1161
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1375
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p438
lola: STATE EQUATION TRIES PLACE p1438
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1310
lola: STATE EQUATION TRIES PLACE p305
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p457
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p312
lola: STATE EQUATION TRIES PLACE p923
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p26
lola: STATE EQUATION TRIES PLACE p843
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p3
lola: STATE EQUATION TRIES PLACE p545
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p769
lola: STATE EQUATION TRIES PLACE p1336
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1015
lola: STATE EQUATION TRIES PLACE p1349
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p651
lola: STATE EQUATION TRIES PLACE p952
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p576
lola: STATE EQUATION TRIES PLACE p903
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p773
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p477
lola: STATE EQUATION TRIES PLACE p311
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1340
lola: STATE EQUATION TRIES PLACE p909
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p923
lola: STATE EQUATION TRIES PLACE p551
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p670
lola: STATE EQUATION TRIES PLACE p1335
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p541
lola: STATE EQUATION TRIES PLACE p898
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1270
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p855
lola: STATE EQUATION TRIES PLACE p592
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1046
lola: STATE EQUATION TRIES PLACE p591
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p581
lola: STATE EQUATION TRIES PLACE p253
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p861
lola: STATE EQUATION TRIES PLACE p1183
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1198
lola: STATE EQUATION TRIES PLACE p168
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p25
lola: STATE EQUATION TRIES PLACE p599
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1345
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p680
lola: STATE EQUATION TRIES PLACE p720
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p544
lola: STATE EQUATION TRIES PLACE p318
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p815
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p186
lola: STATE EQUATION TRIES PLACE p1439
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p477
lola: STATE EQUATION TRIES PLACE p1032
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1189
lola: STATE EQUATION TRIES PLACE p1132
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1067
lola: STATE EQUATION TRIES PLACE p788
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1207
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p347
lola: STATE EQUATION TRIES PLACE p287
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p420
lola: STATE EQUATION TRIES PLACE p1263
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1392
lola: STATE EQUATION TRIES PLACE p1402
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1347
lola: STATE EQUATION TRIES PLACE p612
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p978
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p816
lola: STATE EQUATION TRIES PLACE p25
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p555
lola: STATE EQUATION TRIES PLACE p619
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1125
lola: STATE EQUATION TRIES PLACE p1418
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p67
lola: STATE EQUATION TRIES PLACE p975
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p652
lola: STATE EQUATION TRIES PLACE p810
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p238
lola: STATE EQUATION TRIES PLACE p501
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p297
lola: STATE EQUATION TRIES PLACE p873
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p921
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p637
lola: STATE EQUATION TRIES PLACE p1227
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p236
lola: STATE EQUATION TRIES PLACE p911
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p668
lola: STATE EQUATION TRIES PLACE p254
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p744
lola: STATE EQUATION TRIES PLACE p290
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p196
lola: STATE EQUATION TRIES PLACE p83
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1439
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p618
lola: STATE EQUATION TRIES PLACE p932
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1341
lola: STATE EQUATION TRIES PLACE p681
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1294
lola: STATE EQUATION TRIES PLACE p855
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p762
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p133
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p301
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1173
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p752
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p499
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1433
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p316
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p708
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p118
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p484
lola: STATE EQUATION TRIES PLACE p330
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p654
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p19
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p479
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p177
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1181
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1426
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p409
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p939
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1303
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p247
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1150
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p742
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p903
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p935
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1057
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1214
lola: STATE EQUATION TRIES PLACE p1029
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p544
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p400
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p249
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1114
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p947
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p62
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1015
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1308
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p998
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p822
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p725
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p15
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p294
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p353
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p142
lola: STATE EQUATION TRIES PLACE p1090
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p920
lola: STATE EQUATION TRIES PLACE p208
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1412
lola: STATE EQUATION TRIES PLACE p466
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p912
lola: STATE EQUATION TRIES PLACE p1049
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1205
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1344
lola: STATE EQUATION TRIES PLACE p182
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p544
lola: STATE EQUATION TRIES PLACE p449
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p116
lola: STATE EQUATION TRIES PLACE p104
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p20
lola: STATE EQUATION TRIES PLACE p553
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p743
lola: STATE EQUATION TRIES PLACE p247
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1100
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p890
lola: STATE EQUATION TRIES PLACE p812
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1006
lola: STATE EQUATION TRIES PLACE p618
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p612
lola: STATE EQUATION TRIES PLACE p1234
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1005
lola: STATE EQUATION TRIES PLACE p353
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p82
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p904
lola: STATE EQUATION TRIES PLACE p1360
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p808
lola: STATE EQUATION TRIES PLACE p377
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p843
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p848
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p556
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p182
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p362
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1294
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p240
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p929
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p979
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p283
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p562
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1358
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1096
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1025
lola: STATE EQUATION TRIES PLACE p228
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p297
lola: STATE EQUATION TRIES PLACE p838
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p360
lola: STATE EQUATION TRIES PLACE p830
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1197
lola: STATE EQUATION TRIES PLACE p589
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1211
lola: STATE EQUATION TRIES PLACE p638
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p699
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p811
lola: STATE EQUATION TRIES PLACE p418
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p158
lola: STATE EQUATION TRIES PLACE p990
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p452
lola: STATE EQUATION TRIES PLACE p1275
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1403
lola: STATE EQUATION TRIES PLACE p1145
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p392
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p10
lola: STATE EQUATION TRIES PLACE p1257
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p845
lola: STATE EQUATION TRIES PLACE p711
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p699
lola: STATE EQUATION TRIES PLACE p449
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p725
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1043
lola: STATE EQUATION TRIES PLACE p1321
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1002
lola: STATE EQUATION TRIES PLACE p1181
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1176
lola: STATE EQUATION TRIES PLACE p546
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p242
lola: reporting
lola: not produced: 966
lola: goal oriented search: 463
lola: STATE EQUATION TRIES PLACE p1174

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="RERS17pb114-PT-5"
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 RERS17pb114-PT-5, 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-162089422400143"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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