Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r340-tall-167889212800138.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is RERS2020-PT-pb101, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r340-tall-167889212800138
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 84M
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 08:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 08:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 08:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 08:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 08:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 08:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 83M Mar 5 18:23 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 1679026053281

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=RERS2020-PT-pb101
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT RERS2020-PT-pb101
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 6251448 kB
After kill :
MemTotal: 16393216 kB
MemFree: 11787156 kB

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: 902
lola: STATE EQUATION TRIES PLACE ps851
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps817
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps448
lola: STATE EQUATION TRIES PLACE ps854
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps731
lola: STATE EQUATION TRIES PLACE ps671
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps862
lola: STATE EQUATION TRIES PLACE ps459
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps742
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES PLACE ps366
lola: reporting
lola: not produced: 902
lola: 0 generators; 406351 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES PLACE ps217
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps746
lola: 0 generators; 406351 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps442
lola: 0 generators; 406351 candidates remain ( 0%), 10 secs
lola: STATE EQUATION TRIES PLACE ps638
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps439
lola: STATE EQUATION TRIES PLACE ps618
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps351
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps410
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps142
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps513
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps300
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps901
lola: STATE EQUATION TRIES PLACE ps788
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps124
lola: STATE EQUATION TRIES PLACE ps768
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps488
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps211
lola: STATE EQUATION TRIES PLACE ps351
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps344
lola: STATE EQUATION TRIES PLACE ps450
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps405
lola: STATE EQUATION TRIES PLACE ps167
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps854
lola: STATE EQUATION TRIES PLACE ps439
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps365
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps523
lola: STATE EQUATION TRIES PLACE ps462
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps302
lola: STATE EQUATION TRIES PLACE ps208
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps807
lola: STATE EQUATION TRIES PLACE ps666
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps255
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps525
lola: STATE EQUATION TRIES PLACE ps343
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps198
lola: STATE EQUATION TRIES PLACE ps46
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps408
lola: STATE EQUATION TRIES PLACE ps264
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps296
lola: STATE EQUATION TRIES PLACE ps83
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps648
lola: STATE EQUATION TRIES PLACE ps160
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps406
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps42
lola: STATE EQUATION TRIES PLACE ps222
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps2
lola: STATE EQUATION TRIES PLACE ps708
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps390
lola: STATE EQUATION TRIES PLACE ps410
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps549
lola: STATE EQUATION TRIES PLACE ps820
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps709
lola: STATE EQUATION TRIES PLACE ps621
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps503
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps274
lola: STATE EQUATION TRIES PLACE ps797
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps528
lola: STATE EQUATION TRIES PLACE ps681
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps226
lola: STATE EQUATION TRIES PLACE ps371
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps225
lola: STATE EQUATION TRIES PLACE ps465
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps56
lola: STATE EQUATION TRIES PLACE ps807
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps262
lola: STATE EQUATION TRIES PLACE ps77
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps869
lola: STATE EQUATION TRIES PLACE ps882
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps718
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps10
lola: STATE EQUATION TRIES PLACE ps838
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps838
lola: STATE EQUATION TRIES PLACE ps902
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps715
lola: STATE EQUATION TRIES PLACE ps18
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps232
lola: STATE EQUATION TRIES PLACE ps567
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps522
lola: STATE EQUATION TRIES PLACE ps191
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps610
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps83
lola: STATE EQUATION TRIES PLACE ps891
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps469
lola: STATE EQUATION TRIES PLACE ps761
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps51
lola: STATE EQUATION TRIES PLACE ps680
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps234
lola: STATE EQUATION TRIES PLACE ps386
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps541
lola: STATE EQUATION TRIES PLACE ps269
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps492
lola: STATE EQUATION TRIES PLACE ps612
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps517
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps534
lola: STATE EQUATION TRIES PLACE ps452
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps116
lola: STATE EQUATION TRIES PLACE ps252
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps162
lola: STATE EQUATION TRIES PLACE ps205
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps71
lola: STATE EQUATION TRIES PLACE ps469
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps570
lola: STATE EQUATION TRIES PLACE ps95
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps779
lola: STATE EQUATION TRIES PLACE ps689
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps188
lola: STATE EQUATION TRIES PLACE ps416
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps207
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps734
lola: STATE EQUATION TRIES PLACE ps230
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps759
lola: STATE EQUATION TRIES PLACE ps802
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps236
lola: STATE EQUATION TRIES PLACE ps594
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps835
lola: STATE EQUATION TRIES PLACE ps278
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps642
lola: STATE EQUATION TRIES PLACE ps153
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps257
lola: STATE EQUATION TRIES PLACE ps448
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps191
lola: STATE EQUATION TRIES PLACE ps246
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps610
lola: STATE EQUATION TRIES PLACE ps409
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps483
lola: STATE EQUATION TRIES PLACE ps609
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps708
lola: STATE EQUATION TRIES PLACE ps12
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps258
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps826
lola: STATE EQUATION TRIES PLACE ps143
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps213
lola: STATE EQUATION TRIES PLACE ps470
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps441
lola: STATE EQUATION TRIES PLACE ps834
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps361
lola: STATE EQUATION TRIES PLACE ps828
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps249
lola: STATE EQUATION TRIES PLACE ps149
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps182
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps764
lola: STATE EQUATION TRIES PLACE ps619
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps480
lola: STATE EQUATION TRIES PLACE ps388
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps351
lola: STATE EQUATION TRIES PLACE ps82
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps686
lola: STATE EQUATION TRIES PLACE ps728
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps576
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps374
lola: STATE EQUATION TRIES PLACE ps60
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps3
lola: STATE EQUATION TRIES PLACE ps316
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps863
lola: STATE EQUATION TRIES PLACE ps272
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps820
lola: STATE EQUATION TRIES PLACE ps82
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps81
lola: STATE EQUATION TRIES PLACE ps793
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps328
lola: STATE EQUATION TRIES PLACE ps717
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps502
lola: STATE EQUATION TRIES PLACE ps856
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps756
lola: STATE EQUATION TRIES PLACE ps308
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps818
lola: STATE EQUATION TRIES PLACE ps554
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps242
lola: STATE EQUATION TRIES PLACE ps74
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps860
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps240
lola: STATE EQUATION TRIES PLACE ps14
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps654
lola: STATE EQUATION TRIES PLACE ps668
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps395
lola: STATE EQUATION TRIES PLACE ps55
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps823
lola: STATE EQUATION TRIES PLACE ps627
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps837
lola: STATE EQUATION TRIES PLACE ps438
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps512
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps461
lola: STATE EQUATION TRIES PLACE ps346
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps349
lola: STATE EQUATION TRIES PLACE ps66
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps393
lola: STATE EQUATION TRIES PLACE ps679
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps576
lola: STATE EQUATION TRIES PLACE ps303
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps245
lola: STATE EQUATION TRIES PLACE ps241
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps0
lola: STATE EQUATION TRIES PLACE ps395
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps884
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps307
lola: STATE EQUATION TRIES PLACE ps34
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps737
lola: STATE EQUATION TRIES PLACE ps757
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps826
lola: STATE EQUATION TRIES PLACE ps661
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps623
lola: STATE EQUATION TRIES PLACE ps312
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps874
lola: STATE EQUATION TRIES PLACE ps562
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps685
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps43
lola: STATE EQUATION TRIES PLACE ps698
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps714
lola: STATE EQUATION TRIES PLACE ps130
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps111
lola: STATE EQUATION TRIES PLACE ps206
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps360
lola: STATE EQUATION TRIES PLACE ps184
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps784
lola: STATE EQUATION TRIES PLACE ps342
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps395
lola: STATE EQUATION TRIES PLACE ps241
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps298
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps753
lola: STATE EQUATION TRIES PLACE ps829
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps534
lola: STATE EQUATION TRIES PLACE ps713
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps797
lola: STATE EQUATION TRIES PLACE ps357
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps804
lola: STATE EQUATION TRIES PLACE ps368
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps187
lola: STATE EQUATION TRIES PLACE ps85
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps179
lola: STATE EQUATION TRIES PLACE ps371
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps303
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps466
lola: STATE EQUATION TRIES PLACE ps734
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps429
lola: STATE EQUATION TRIES PLACE ps877
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps56
lola: STATE EQUATION TRIES PLACE ps223
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps343
lola: STATE EQUATION TRIES PLACE ps158
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps795
lola: STATE EQUATION TRIES PLACE ps140
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps263
lola: STATE EQUATION TRIES PLACE ps655
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps503
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps4
lola: STATE EQUATION TRIES PLACE ps887
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps654
lola: STATE EQUATION TRIES PLACE ps341
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps595
lola: STATE EQUATION TRIES PLACE ps414
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps647
lola: STATE EQUATION TRIES PLACE ps193
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps753
lola: STATE EQUATION TRIES PLACE ps378
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps789
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps101
lola: STATE EQUATION TRIES PLACE ps373
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps566
lola: STATE EQUATION TRIES PLACE ps188
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps690
lola: STATE EQUATION TRIES PLACE ps607
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps387
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps312
lola: STATE EQUATION TRIES PLACE ps98
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps759
lola: STATE EQUATION TRIES PLACE ps35
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps315
lola: STATE EQUATION TRIES PLACE ps783
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps576
lola: STATE EQUATION TRIES PLACE ps19
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps126
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps736
lola: STATE EQUATION TRIES PLACE ps482
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps397
lola: STATE EQUATION TRIES PLACE ps323
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps208
lola: STATE EQUATION TRIES PLACE ps586
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps895
lola: STATE EQUATION TRIES PLACE ps541
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps431
lola: STATE EQUATION TRIES PLACE ps161
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps279
lola: STATE EQUATION TRIES PLACE ps719
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps665
lola: STATE EQUATION TRIES PLACE ps826
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps534
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps816
lola: STATE EQUATION TRIES PLACE ps166
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps799
lola: STATE EQUATION TRIES PLACE ps597
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps114
lola: STATE EQUATION TRIES PLACE ps856
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps895
lola: STATE EQUATION TRIES PLACE ps611
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps832
lola: STATE EQUATION TRIES PLACE ps241
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps365
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps96
lola: STATE EQUATION TRIES PLACE ps363
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps583
lola: STATE EQUATION TRIES PLACE ps450
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps681
lola: STATE EQUATION TRIES PLACE ps313
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps9
lola: STATE EQUATION TRIES PLACE ps607
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps497
lola: STATE EQUATION TRIES PLACE ps757
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps134
lola: STATE EQUATION TRIES PLACE ps676
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps554
lola: STATE EQUATION TRIES PLACE ps649
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps611
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps504
lola: STATE EQUATION TRIES PLACE ps706
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps113
lola: STATE EQUATION TRIES PLACE ps128
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps800
lola: STATE EQUATION TRIES PLACE ps511
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps34
lola: STATE EQUATION TRIES PLACE ps315
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps560
lola: STATE EQUATION TRIES PLACE ps470
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps513
lola: STATE EQUATION TRIES PLACE ps420
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps697
lola: STATE EQUATION TRIES PLACE ps752
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps85
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps334
lola: STATE EQUATION TRIES PLACE ps39
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps360
lola: STATE EQUATION TRIES PLACE ps92
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps683
lola: STATE EQUATION TRIES PLACE ps361
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps735
lola: STATE EQUATION TRIES PLACE ps320
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps564
lola: STATE EQUATION TRIES PLACE ps799
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps558
lola: STATE EQUATION TRIES PLACE ps860
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps197
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps42
lola: STATE EQUATION TRIES PLACE ps517
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps651
lola: STATE EQUATION TRIES PLACE ps417
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps206
lola: STATE EQUATION TRIES PLACE ps689
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps414
lola: STATE EQUATION TRIES PLACE ps323
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps160
lola: STATE EQUATION TRIES PLACE ps19
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps570
lola: STATE EQUATION TRIES PLACE ps575
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps602
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps877
lola: STATE EQUATION TRIES PLACE ps98
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps802
lola: STATE EQUATION TRIES PLACE ps749
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps574
lola: STATE EQUATION TRIES PLACE ps613
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps284
lola: STATE EQUATION TRIES PLACE ps465
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps126
lola: STATE EQUATION TRIES PLACE ps267
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps466
lola: STATE EQUATION TRIES PLACE ps135
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps386
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps791
lola: STATE EQUATION TRIES PLACE ps748
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps145
lola: STATE EQUATION TRIES PLACE ps711
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps528
lola: STATE EQUATION TRIES PLACE ps699
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps519
lola: STATE EQUATION TRIES PLACE ps244
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps699
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps814
lola: STATE EQUATION TRIES PLACE ps695
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps438
lola: STATE EQUATION TRIES PLACE ps670
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps585
lola: STATE EQUATION TRIES PLACE ps183
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps49
lola: STATE EQUATION TRIES PLACE ps199
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps845
lola: STATE EQUATION TRIES PLACE ps734
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps421
lola: STATE EQUATION TRIES PLACE ps458
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps865
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps141
lola: STATE EQUATION TRIES PLACE ps532
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps498
lola: STATE EQUATION TRIES PLACE ps439
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps898
lola: STATE EQUATION TRIES PLACE ps464
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps806
lola: STATE EQUATION TRIES PLACE ps633
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps678
lola: STATE EQUATION TRIES PLACE ps782
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps88
lola: STATE EQUATION TRIES PLACE ps410
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps259
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps436
lola: STATE EQUATION TRIES PLACE ps121
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps753
lola: STATE EQUATION TRIES PLACE ps492
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps621
lola: STATE EQUATION TRIES PLACE ps320
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps446
lola: STATE EQUATION TRIES PLACE ps280
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps877
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps354
lola: STATE EQUATION TRIES PLACE ps340
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps237
lola: STATE EQUATION TRIES PLACE ps272
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps529
lola: STATE EQUATION TRIES PLACE ps214
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps44
lola: STATE EQUATION TRIES PLACE ps301
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps388
lola: STATE EQUATION TRIES PLACE ps301
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps511
lola: STATE EQUATION TRIES PLACE ps580
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps265
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps270
lola: STATE EQUATION TRIES PLACE ps629
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps501
lola: STATE EQUATION TRIES PLACE ps610
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps27
lola: STATE EQUATION TRIES PLACE ps533
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps214
lola: STATE EQUATION TRIES PLACE ps362
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps417
lola: STATE EQUATION TRIES PLACE ps299
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps78
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps16
lola: STATE EQUATION TRIES PLACE ps881
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps232
lola: STATE EQUATION TRIES PLACE ps525
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps605
lola: STATE EQUATION TRIES PLACE ps536
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps593
lola: STATE EQUATION TRIES PLACE ps624
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps206
lola: STATE EQUATION TRIES PLACE ps362
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps55
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps734
lola: STATE EQUATION TRIES PLACE ps379
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps385
lola: STATE EQUATION TRIES PLACE ps504
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps455
lola: STATE EQUATION TRIES PLACE ps26
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps43
lola: STATE EQUATION TRIES PLACE ps405
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps613
lola: STATE EQUATION TRIES PLACE ps768
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps169
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps895
lola: STATE EQUATION TRIES PLACE ps145
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps71
lola: STATE EQUATION TRIES PLACE ps688
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps122
lola: STATE EQUATION TRIES PLACE ps698
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps752
lola: STATE EQUATION TRIES PLACE ps619
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps596
lola: STATE EQUATION TRIES PLACE ps780
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps64
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps854
lola: STATE EQUATION TRIES PLACE ps361
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps460
lola: STATE EQUATION TRIES PLACE ps634
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps47
lola: STATE EQUATION TRIES PLACE ps476
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps356
lola: STATE EQUATION TRIES PLACE ps692
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps532
lola: STATE EQUATION TRIES PLACE ps190
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps601
lola: STATE EQUATION TRIES PLACE ps396
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps221
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps37
lola: STATE EQUATION TRIES PLACE ps439
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps741
lola: STATE EQUATION TRIES PLACE ps519
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps300
lola: STATE EQUATION TRIES PLACE ps872
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps738
lola: STATE EQUATION TRIES PLACE ps642
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps565
lola: STATE EQUATION TRIES PLACE ps590
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps298
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps136
lola: STATE EQUATION TRIES PLACE ps885
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps71
lola: STATE EQUATION TRIES PLACE ps474
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps574
lola: STATE EQUATION TRIES PLACE ps442
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps445
lola: STATE EQUATION TRIES PLACE ps728
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps802
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps386
lola: STATE EQUATION TRIES PLACE ps395
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps865
lola: STATE EQUATION TRIES PLACE ps714
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps209
lola: STATE EQUATION TRIES PLACE ps839
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps895
lola: STATE EQUATION TRIES PLACE ps301
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps561
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps521
lola: STATE EQUATION TRIES PLACE ps537
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps704
lola: STATE EQUATION TRIES PLACE ps727
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps236
lola: STATE EQUATION TRIES PLACE ps892
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps561
lola: STATE EQUATION TRIES PLACE ps525
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps712
lola: STATE EQUATION TRIES PLACE ps784
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps284
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps740
lola: STATE EQUATION TRIES PLACE ps4
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps205
lola: STATE EQUATION TRIES PLACE ps16
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps212
lola: STATE EQUATION TRIES PLACE ps594
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps533
lola: STATE EQUATION TRIES PLACE ps575
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps289
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps467
lola: STATE EQUATION TRIES PLACE ps884
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps82
lola: STATE EQUATION TRIES PLACE ps875
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps344
lola: STATE EQUATION TRIES PLACE ps66
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps43
lola: STATE EQUATION TRIES PLACE ps121
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps245
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps871
lola: STATE EQUATION TRIES PLACE ps904
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps291
lola: STATE EQUATION TRIES PLACE ps685
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps34
lola: STATE EQUATION TRIES PLACE ps294
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps486
lola: STATE EQUATION TRIES PLACE ps710
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps155
lola: STATE EQUATION TRIES PLACE ps428
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps340
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps124
lola: STATE EQUATION TRIES PLACE ps208
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps124
lola: STATE EQUATION TRIES PLACE ps108
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps321
lola: STATE EQUATION TRIES PLACE ps883
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps88
lola: STATE EQUATION TRIES PLACE ps289
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps193
lola: STATE EQUATION TRIES PLACE ps513
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps326
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps234
lola: STATE EQUATION TRIES PLACE ps718
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps293
lola: STATE EQUATION TRIES PLACE ps488
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps559
lola: STATE EQUATION TRIES PLACE ps723
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps875
lola: STATE EQUATION TRIES PLACE ps78
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps209
lola: STATE EQUATION TRIES PLACE ps582
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps620
lola: STATE EQUATION TRIES PLACE ps686
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps145
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps189
lola: STATE EQUATION TRIES PLACE ps9
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps809
lola: STATE EQUATION TRIES PLACE ps6
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps220
lola: STATE EQUATION TRIES PLACE ps202
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps124
lola: STATE EQUATION TRIES PLACE ps208
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps573
lola: STATE EQUATION TRIES PLACE ps553
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps820
lola: STATE EQUATION TRIES PLACE ps93
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps498
lola: STATE EQUATION TRIES PLACE ps366
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps276
lola: STATE EQUATION TRIES PLACE ps757
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps96
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps368
lola: STATE EQUATION TRIES PLACE ps460
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps870
lola: STATE EQUATION TRIES PLACE ps50
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps886
lola: STATE EQUATION TRIES PLACE ps334
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps128
lola: STATE EQUATION TRIES PLACE ps709
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps487
lola: STATE EQUATION TRIES PLACE ps832
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps197
lola: STATE EQUATION TRIES PLACE ps521
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps615
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps256
lola: STATE EQUATION TRIES PLACE ps817
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps444
lola: STATE EQUATION TRIES PLACE ps73
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps592
lola: STATE EQUATION TRIES PLACE ps603
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps70
lola: STATE EQUATION TRIES PLACE ps70
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps674
lola: STATE EQUATION TRIES PLACE ps628
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps448
lola: STATE EQUATION TRIES PLACE ps758
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps328
lola: STATE EQUATION TRIES PLACE ps447
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps100
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps240
lola: STATE EQUATION TRIES PLACE ps635
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps326
lola: STATE EQUATION TRIES PLACE ps516
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps378
lola: STATE EQUATION TRIES PLACE ps63
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps600
lola: STATE EQUATION TRIES PLACE ps786
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps237
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps334
lola: STATE EQUATION TRIES PLACE ps350
lola: reporting
lola: not produced: 902
lola: STATE EQUATION TRIES PLACE ps296
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 1

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="RERS2020-PT-pb101"
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-5348"
echo " Executing tool lola"
echo " Input is RERS2020-PT-pb101, 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 r340-tall-167889212800138"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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