Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r296-tall-162124162800497.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 MultiCrashLeafsetExtension-PT-S32C12, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162800497
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 72M
-rw-r--r-- 1 mcc users 52K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 181K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 32K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K May 12 08:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 12 08:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 12 08:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 08:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.8K May 11 19:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 11 19:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 11 16:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 11 16:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 71M May 12 08:13 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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1621253001170

starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C12
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness

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: STATE EQUATION TRIES TRANSITION Node27AsksItsLeafSetToRx9ToReplaceNode19
sara: try reading problem file stateEquationProblem-QuasiLiveness-16071.sara.
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: reporting
lola: not produced: 41330
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 39525
lola: find path: 1365
lola: goal oriented search: 440
lola: reporting
lola: not produced: 36406
lola: find path: 3097
lola: goal oriented search: 1827
lola: reporting
lola: not produced: 34518
lola: find path: 4234
lola: goal oriented search: 2578
lola: reporting
lola: not produced: 33474
lola: find path: 5199
lola: goal oriented search: 2657
lola: reporting
lola: not produced: 32616
lola: find path: 6011
lola: goal oriented search: 2703
lola: reporting
lola: not produced: 31830
lola: find path: 6753
lola: goal oriented search: 2747
lola: reporting
lola: not produced: 31040
lola: find path: 7497
lola: goal oriented search: 2793
lola: reporting
lola: not produced: 30372
lola: find path: 8101
lola: goal oriented search: 2857
lola: reporting
lola: not produced: 29382
lola: find path: 8655
lola: goal oriented search: 3293
lola: reporting
lola: not produced: 28873
lola: find path: 9158
lola: goal oriented search: 3299
lola: reporting
lola: not produced: 28416
lola: find path: 9613
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 28006
lola: find path: 10023
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 27630
lola: find path: 10399
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 27297
lola: find path: 10732
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 27003
lola: find path: 11026
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 26682
lola: find path: 11347
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 26430
lola: find path: 11599
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 26216
lola: find path: 11813
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 26010
lola: find path: 12019
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 25804
lola: find path: 12225
lola: goal oriented search: 3301
lola: reporting
lola: not produced: 25526
lola: find path: 12471
lola: goal oriented search: 3333
lola: reporting
lola: not produced: 25334
lola: find path: 12663
lola: goal oriented search: 3333
lola: reporting
lola: not produced: 25147
lola: find path: 12843
lola: goal oriented search: 3340
lola: reporting
lola: not produced: 24990
lola: find path: 13000
lola: goal oriented search: 3340
lola: reporting
lola: not produced: 24771
lola: find path: 13145
lola: goal oriented search: 3414
lola: reporting
lola: not produced: 24657
lola: find path: 13249
lola: goal oriented search: 3424
lola: reporting
lola: not produced: 24556
lola: find path: 13348
lola: goal oriented search: 3426
lola: reporting
lola: not produced: 24426
lola: find path: 13478
lola: goal oriented search: 3426
lola: reporting
lola: not produced: 24292
lola: find path: 13610
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 24158
lola: find path: 13744
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 24046
lola: find path: 13856
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23944
lola: find path: 13958
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23856
lola: find path: 14046
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23772
lola: find path: 14130
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23696
lola: find path: 14206
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23601
lola: find path: 14301
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23506
lola: find path: 14396
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23419
lola: find path: 14483
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23348
lola: find path: 14554
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23220
lola: find path: 14682
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23123
lola: find path: 14779
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 23052
lola: find path: 14850
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 22973
lola: find path: 14929
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 22917
lola: find path: 14985
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 22828
lola: find path: 15074
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 22768
lola: find path: 15134
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 22732
lola: find path: 15170
lola: goal oriented search: 3428
lola: reporting
lola: not produced: 22662
lola: find path: 15228
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22606
lola: find path: 15284
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22534
lola: find path: 15356
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22464
lola: find path: 15426
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22389
lola: find path: 15501
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22327
lola: find path: 15563
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22264
lola: find path: 15626
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22198
lola: find path: 15692
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22151
lola: find path: 15739
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22095
lola: find path: 15795
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 22039
lola: find path: 15851
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 21984
lola: find path: 15906
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 21929
lola: find path: 15961
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 21876
lola: find path: 16014
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 21805
lola: find path: 16085
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 21767
lola: find path: 16123
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 21720
lola: find path: 16170
lola: goal oriented search: 3440
lola: reporting
lola: not produced: 21648
lola: find path: 16228
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21608
lola: find path: 16268
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21559
lola: find path: 16317
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21506
lola: find path: 16370
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21470
lola: find path: 16406
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21443
lola: find path: 16433
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21417
lola: find path: 16459
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21395
lola: find path: 16481
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21371
lola: find path: 16505
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21333
lola: find path: 16543
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21301
lola: find path: 16575
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21269
lola: find path: 16607
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21215
lola: find path: 16661
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21187
lola: find path: 16689
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21145
lola: find path: 16731
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21112
lola: find path: 16764
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21080
lola: find path: 16796
lola: goal oriented search: 3454
lola: reporting
lola: not produced: 21048
lola: find path: 16820
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 21016
lola: find path: 16852
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20976
lola: find path: 16892
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20946
lola: find path: 16922
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20923
lola: find path: 16945
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20907
lola: find path: 16961
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20859
lola: find path: 17009
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20830
lola: find path: 17038
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20806
lola: find path: 17062
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20778
lola: find path: 17090
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20758
lola: find path: 17110
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20735
lola: find path: 17133
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20713
lola: find path: 17155
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20671
lola: find path: 17197
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20639
lola: find path: 17229
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20608
lola: find path: 17260
lola: goal oriented search: 3462
lola: reporting
lola: not produced: 20577
lola: find path: 17285
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20545
lola: find path: 17317
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20520
lola: find path: 17342
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20474
lola: find path: 17388
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20456
lola: find path: 17406
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20444
lola: find path: 17418
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20416
lola: find path: 17446
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20373
lola: find path: 17489
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20353
lola: find path: 17509
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20328
lola: find path: 17534
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20294
lola: find path: 17568
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20278
lola: find path: 17584
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20236
lola: find path: 17626
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20214
lola: find path: 17648
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 20169
lola: find path: 17683
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20155
lola: find path: 17697
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20125
lola: find path: 17727
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20105
lola: find path: 17747
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20090
lola: find path: 17762
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20074
lola: find path: 17778
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20060
lola: find path: 17792
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20044
lola: find path: 17808
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20034
lola: find path: 17818
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 20016
lola: find path: 17836
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 19995
lola: find path: 17857
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 19981
lola: find path: 17871
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 19952
lola: find path: 17900
lola: goal oriented search: 3478
lola: reporting
lola: not produced: 19921
lola: find path: 17929
lola: goal oriented search: 3480
lola: reporting
lola: not produced: 19884
lola: find path: 17948
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19860
lola: find path: 17972
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19831
lola: find path: 18001
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19817
lola: find path: 18015
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19805
lola: find path: 18027
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19784
lola: find path: 18048
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19771
lola: find path: 18061
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19765
lola: find path: 18067
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19746
lola: find path: 18086
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19730
lola: find path: 18102
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19716
lola: find path: 18116
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19712
lola: find path: 18120
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19699
lola: find path: 18133
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19691
lola: find path: 18141
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19669
lola: find path: 18163
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19669
lola: find path: 18163
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19660
lola: find path: 18172
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19622
lola: find path: 18210
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19604
lola: find path: 18228
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19594
lola: find path: 18238
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19584
lola: find path: 18248
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19574
lola: find path: 18258
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19559
lola: find path: 18273
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19539
lola: find path: 18293
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19529
lola: find path: 18303
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19519
lola: find path: 18313
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19501
lola: find path: 18331
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19468
lola: find path: 18364
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19462
lola: find path: 18370
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19450
lola: find path: 18382
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19441
lola: find path: 18391
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19431
lola: find path: 18401
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19427
lola: find path: 18405
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19417
lola: find path: 18415
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19402
lola: find path: 18430
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19396
lola: find path: 18436
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19376
lola: find path: 18456
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19357
lola: find path: 18475
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19345
lola: find path: 18487
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19335
lola: find path: 18497
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19315
lola: find path: 18517
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19301
lola: find path: 18531
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19276
lola: find path: 18556
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19260
lola: find path: 18572
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19252
lola: find path: 18580
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19240
lola: find path: 18592
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19238
lola: find path: 18594
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19238
lola: find path: 18594
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19228
lola: find path: 18604
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19222
lola: find path: 18610
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19218
lola: find path: 18614
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19208
lola: find path: 18624
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19203
lola: find path: 18629
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19195
lola: find path: 18637
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19187
lola: find path: 18645
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19174
lola: find path: 18658
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19172
lola: find path: 18660
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19160
lola: find path: 18672
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19156
lola: find path: 18676
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19150
lola: find path: 18682
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19142
lola: find path: 18690
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19124
lola: find path: 18708
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19122
lola: find path: 18710
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19110
lola: find path: 18722
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19104
lola: find path: 18728
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19096
lola: find path: 18736
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19088
lola: find path: 18744
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19088
lola: find path: 18744
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19078
lola: find path: 18754
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19070
lola: find path: 18762
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19056
lola: find path: 18776
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19050
lola: find path: 18782
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19044
lola: find path: 18788
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19030
lola: find path: 18802
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19020
lola: find path: 18812
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 19010
lola: find path: 18822
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18998
lola: find path: 18834
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18991
lola: find path: 18841
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18980
lola: find path: 18852
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18965
lola: find path: 18867
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18949
lola: find path: 18883
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18945
lola: find path: 18887
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18945
lola: find path: 18887
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18943
lola: find path: 18889
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18939
lola: find path: 18893
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18935
lola: find path: 18897
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18923
lola: find path: 18909
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18921
lola: find path: 18911
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18917
lola: find path: 18915
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18905
lola: find path: 18927
lola: goal oriented search: 3498
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 18897
lola: find path: 18935
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18895
lola: find path: 18937
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18893
lola: find path: 18939
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18881
lola: find path: 18951
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18875
lola: find path: 18957
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18861
lola: find path: 18971
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18857
lola: find path: 18975
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18844
lola: find path: 18988
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18832
lola: find path: 19000
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18824
lola: find path: 19008
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18816
lola: find path: 19016
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18798
lola: find path: 19034
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18792
lola: find path: 19040
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18787
lola: find path: 19045
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18781
lola: find path: 19051
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18775
lola: find path: 19057
lola: goal oriented search: 3498
lola: reporting
lola: not produced: 18769
lola: find path: 19063
lola: goal oriented search: 3498
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
lola: STATE EQUATION TRIES TRANSITION Node21IsNotRespondingToNode31ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node8DetectsThatNode11CanReplaceNode20
lola: reporting
lola: not produced: 18767
lola: find path: 19065
lola: goal oriented search: 3498
lola: STATE EQUATION TRIES TRANSITION Node2InformsHeIsTheNodeMasterToNode20
lola: STATE EQUATION TRIES TRANSITION Node25DetectsThatNode9CanReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node20ReceiveTheLeafSetOfRx9ToReplaceNode21
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode4ToReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node4ReceiveTheLeafSetOfRx10ToReplaceNode20
lola: reporting
lola: not produced: 18753
lola: find path: 19079
lola: goal oriented search: 3498
lola: STATE EQUATION TRIES TRANSITION Node28InformsHeIsTheNodeMasterToNode6
lola: STATE EQUATION TRIES TRANSITION Node8AsksItsLeafSetToRx10ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node10DetectsThatNode12CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node20IsNotRespondingToNode29ToReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node22AsksItsLeafSetToLx10ToReplaceNode2
lola: reporting
lola: not produced: 18745
lola: find path: 19087
lola: goal oriented search: 3498
lola: STATE EQUATION TRIES TRANSITION Node32ReceiveTheLeafSetOfLx11ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node0ReceiveTheLeafSetOfLx10ToReplaceNode1
lola: STATE EQUATION TRIES TRANSITION Node27AsksItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode23
lola: STATE EQUATION TRIES TRANSITION Node4InformsHeIsTheNodeMasterToNode20
lola: reporting
lola: not produced: 18734
lola: find path: 19097
lola: goal oriented search: 3499
lola: STATE EQUATION TRIES TRANSITION Node19IsNotRespondingToNode7ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node31DetectsThatNode21CanReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node6IsNotRespondingToNode1ToReplaceNode7
lola: STATE EQUATION TRIES TRANSITION Node26ReceiveTheLeafSetOfRx9ToReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node6DetectsThatNode20CanReplaceNode15
lola: reporting
lola: not produced: 18734
lola: find path: 19097
lola: goal oriented search: 3499
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode13CanReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node31DetectsThatNode12CanReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node8InformsHeIsTheNodeMasterToNode6
lola: STATE EQUATION TRIES TRANSITION Node0ReceiveTheLeafSetOfLx10ToReplaceNode2
lola: STATE EQUATION TRIES TRANSITION Node8AsksItsLeafSetToLx11ToReplaceNode10
lola: reporting
lola: not produced: 18706
lola: find path: 19103
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode11CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node28DetectsThatNode10CanReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node32AsksItsLeafSetToLx10ToReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node22IsNotRespondingToNode8ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node2DetectsThatNode24CanReplaceNode8
lola: reporting
lola: not produced: 18702
lola: find path: 19107
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node30DetectsThatNode19CanReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node3DetectsThatNode26CanReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node8IsNotRespondingToNode27ToReplaceNode21
lola: STATE EQUATION TRIES TRANSITION Node21IsNotRespondingToNode5ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node4IsNotRespondingToNode3ToReplaceNode13
lola: reporting
lola: not produced: 18694
lola: find path: 19115
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node3DetectsThatNode11CanReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node9IsNotRespondingToNode1ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node28IsNotRespondingToNode29ToReplaceNode27
lola: STATE EQUATION TRIES TRANSITION Node25InformsHeIsTheNodeMasterToNode7
lola: STATE EQUATION TRIES TRANSITION Node20InformsHeIsTheNodeMasterToNode24
lola: reporting
lola: not produced: 18686
lola: find path: 19123
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node22IsNotRespondingToNode9ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node31DetectsThatNode3CanReplaceNode7
lola: STATE EQUATION TRIES TRANSITION Node26SeeksANewMasterToReplaceNode2
lola: STATE EQUATION TRIES TRANSITION Node24IsNotRespondingToNode25ToReplaceNode9
lola: STATE EQUATION TRIES TRANSITION Node25SeeksANewMasterToReplaceNode0
lola: reporting
lola: not produced: 18673
lola: find path: 19136
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node0AsksItsLeafSetToRx8ToReplaceNode28
lola: STATE EQUATION TRIES TRANSITION Node6DetectsThatNode25CanReplaceNode15
lola: STATE EQUATION TRIES TRANSITION Node4InformsHeIsTheNodeMasterToNode1
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode24CanReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node18ReceiveTheLeafSetOfRx10ToReplaceNode21
lola: reporting
lola: not produced: 18660
lola: find path: 19149
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node23IsNotRespondingToNode6ToReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node31InformsHeIsTheNodeMasterToNode30
lola: STATE EQUATION TRIES TRANSITION Node5ReceiveTheLeafSetOfLx9ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node4DetectsThatNode27CanReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode32
lola: reporting
lola: not produced: 18652
lola: find path: 19157
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node30InformsHeIsTheNodeMasterToNode6
lola: STATE EQUATION TRIES TRANSITION Node5SeeksANewMasterToReplaceNode26
lola: STATE EQUATION TRIES TRANSITION Node21IsNotRespondingToNode3ToReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node21ReceiveTheLeafSetOfLx9ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node17ReceiveTheLeafSetOfRx9ToReplaceNode20
lola: reporting
lola: not produced: 18646
lola: find path: 19163
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node32ReceiveTheLeafSetOfLx11ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node23AsksItsLeafSetToLx10ToReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node31DetectsThatNode21CanReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node25InformsHeIsTheNodeMasterToNode20
lola: STATE EQUATION TRIES TRANSITION Node30IsNotRespondingToNode0ToReplaceNode22
lola: reporting
lola: not produced: 18640
lola: find path: 19169
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode22ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node25AsksItsLeafSetToRx10ToReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node8IsNotRespondingToNode32ToReplaceNode24
lola: STATE EQUATION TRIES TRANSITION Node21IsNotRespondingToNode30ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node3IsNotRespondingToNode31ToReplaceNode17
lola: reporting
lola: not produced: 18634
lola: find path: 19175
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode0
lola: STATE EQUATION TRIES TRANSITION Node3DetectsThatNode9CanReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node26SeeksANewMasterToReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node31DetectsThatNode28CanReplaceNode26
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode32
lola: reporting
lola: not produced: 18626
lola: find path: 19183
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode11CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node11AsksItsLeafSetToLx10ToReplaceNode15
lola: STATE EQUATION TRIES TRANSITION Node20AsksItsLeafSetToRx9ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node9IsNotRespondingToNode2ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node22AsksItsLeafSetToLx7ToReplaceNode1
lola: reporting
lola: not produced: 18622
lola: find path: 19187
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node6AsksItsLeafSetToLx11ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node8IsNotRespondingToNode1ToReplaceNode9
lola: STATE EQUATION TRIES TRANSITION Node1AsksItsLeafSetToRx7ToReplaceNode31
lola: STATE EQUATION TRIES TRANSITION Node28IsNotRespondingToNode3ToReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node13IsNotRespondingToNode5ToReplaceNode15
lola: reporting
lola: not produced: 18607
lola: find path: 19202
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node27IsNotRespondingToNode31ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node2ReceiveTheLeafSetOfRx11ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node5ReceiveTheLeafSetOfLx10ToReplaceNode7
lola: STATE EQUATION TRIES TRANSITION Node15ReceiveTheLeafSetOfLx3ToReplaceNode2
lola: STATE EQUATION TRIES TRANSITION Node24IsNotRespondingToNode31ToReplaceNode10
lola: reporting
lola: not produced: 18603
lola: find path: 19206
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node4DetectsThatNode11CanReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node30DetectsThatNode25CanReplaceNode23
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode13CanReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node24ReceiveTheLeafSetOfLx11ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode7CanReplaceNode8
lola: reporting
lola: not produced: 18592
lola: find path: 19217
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node1IsNotRespondingToNode32ToReplaceNode29
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode26ToReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node25InformsHeIsTheNodeMasterToNode19
lola: STATE EQUATION TRIES TRANSITION Node23AsksItsLeafSetToLx9ToReplaceNode5
lola: STATE EQUATION TRIES TRANSITION Node31AsksItsLeafSetToRx10ToReplaceNode20
lola: reporting
lola: not produced: 18588
lola: find path: 19221
lola: goal oriented search: 3521
lola: STATE EQUATION TRIES TRANSITION Node29DetectsThatNode27CanReplaceNode9
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode25CanReplaceNode7
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode11CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node0AsksItsLeafSetToRx11ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node3AsksItsLeafSetToRx10ToReplaceNode30
lola: reporting
lola: not produced: 18576
lola: find path: 19227
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node5InformsHeIsTheNodeMasterToNode20
lola: STATE EQUATION TRIES TRANSITION Node29AsksItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node26IsNotRespondingToNode2ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode2ToReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node28DetectsThatNode25CanReplaceNode23
lola: reporting
lola: not produced: 18570
lola: find path: 19233
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode25CanReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node12AsksItsLeafSetToRx10ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node2IsNotRespondingToNode1ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node30ReceiveTheLeafSetOfRx11ToReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node9ReceiveTheLeafSetOfRx9ToReplaceNode20
lola: reporting
lola: not produced: 18559
lola: find path: 19244
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode2CanReplaceNode3
lola: STATE EQUATION TRIES TRANSITION Node15SeeksANewMasterToReplaceNode28
lola: STATE EQUATION TRIES TRANSITION Node21InformsHeIsTheNodeMasterToNode30
lola: STATE EQUATION TRIES TRANSITION Node4AsksItsLeafSetToRx11ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node6AsksItsLeafSetToLx9ToReplaceNode10
lola: reporting
lola: not produced: 18557
lola: find path: 19246
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node22IsNotRespondingToNode3ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node18IsNotRespondingToNode10ToReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node12ReceiveTheLeafSetOfLx11ToReplaceNode1
lola: STATE EQUATION TRIES TRANSITION Node29IsNotRespondingToNode30ToReplaceNode26
lola: STATE EQUATION TRIES TRANSITION Node11InformsHeIsTheNodeMasterToNode17
lola: reporting
lola: not produced: 18551
lola: find path: 19252
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node0InformsHeIsTheNodeMasterToNode30
lola: STATE EQUATION TRIES TRANSITION Node31SeeksANewMasterToReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode3ToReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node0AsksItsLeafSetToRx8ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode30ToReplaceNode20
lola: reporting
lola: not produced: 18545
lola: find path: 19258
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node2DetectsThatNode3CanReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node12AsksItsLeafSetToLx9ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node2AsksItsLeafSetToRx10ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node31SeeksANewMasterToReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node23IsNotRespondingToNode7ToReplaceNode9
lola: reporting
lola: not produced: 18538
lola: find path: 19265
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node8ReceiveTheLeafSetOfLx10ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node2AsksItsLeafSetToLx11ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node21InformsHeIsTheNodeMasterToNode30
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode26CanReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node21AsksItsLeafSetToRx9ToReplaceNode19
lola: reporting
lola: not produced: 18532
lola: find path: 19271
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node0SeeksANewMasterToReplaceNode21
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode11CanReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node22IsNotRespondingToNode24ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node14AsksItsLeafSetToLx10ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node10IsNotRespondingToNode29ToReplaceNode11
lola: reporting
lola: not produced: 18522
lola: find path: 19281
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node8SeeksANewMasterToReplaceNode23
lola: STATE EQUATION TRIES TRANSITION Node28ReceiveTheLeafSetOfRx8ToReplaceNode29
lola: STATE EQUATION TRIES TRANSITION Node27IsNotRespondingToNode32ToReplaceNode8
lola: STATE EQUATION TRIES TRANSITION Node9ReceiveTheLeafSetOfLx9ToReplaceNode8
lola: reporting
lola: not produced: 18520
lola: find path: 19283
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node5IsNotRespondingToNode28ToReplaceNode6
lola: STATE EQUATION TRIES TRANSITION Node22AsksItsLeafSetToLx11ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node21AsksItsLeafSetToRx10ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node23IsNotRespondingToNode24ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node4DetectsThatNode5CanReplaceNode18
lola: reporting
lola: not produced: 18512
lola: find path: 19291
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node20ReceiveTheLeafSetOfLx10ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node18AsksItsLeafSetToRx11ToReplaceNode28
lola: STATE EQUATION TRIES TRANSITION Node10AsksItsLeafSetToRx11ToReplaceNode27
lola: STATE EQUATION TRIES TRANSITION Node28DetectsThatNode5CanReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode26CanReplaceNode20
lola: reporting
lola: not produced: 18508
lola: find path: 19295
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node5SeeksANewMasterToReplaceNode28
lola: STATE EQUATION TRIES TRANSITION Node27IsNotRespondingToNode28ToReplaceNode9
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode9CanReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node27ReceiveTheLeafSetOfRx10ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node22IsNotRespondingToNode32ToReplaceNode11
lola: reporting
lola: not produced: 18504
lola: find path: 19299
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node27AsksItsLeafSetToRx9ToReplaceNode24
lola: STATE EQUATION TRIES TRANSITION Node27DetectsThatNode10CanReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node3DetectsThatNode25CanReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node17ReceiveTheLeafSetOfRx9ToReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node12AsksItsLeafSetToRx10ToReplaceNode19
lola: reporting
lola: not produced: 18500
lola: find path: 19303
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode24CanReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node20ReceiveTheLeafSetOfLx11ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode24CanReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node10IsNotRespondingToNode31ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node11ReceiveTheLeafSetOfLx9ToReplaceNode9
lola: reporting
lola: not produced: 18492
lola: find path: 19311
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node8AsksItsLeafSetToLx5ToReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode4CanReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node28DetectsThatNode26CanReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node18IsNotRespondingToNode7ToReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node9AsksItsLeafSetToLx9ToReplaceNode7
lola: reporting
lola: not produced: 18483
lola: find path: 19320
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node32ReceiveTheLeafSetOfLx11ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node2ReceiveTheLeafSetOfLx10ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node10IsNotRespondingToNode8ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node9IsNotRespondingToNode24ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node3ReceiveTheLeafSetOfRx11ToReplaceNode20
lola: reporting
lola: not produced: 18483
lola: find path: 19320
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node24IsNotRespondingToNode32ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node24IsNotRespondingToNode27ToReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node25AsksItsLeafSetToLx10ToReplaceNode4
lola: STATE EQUATION TRIES TRANSITION Node27AsksItsLeafSetToLx10ToReplaceNode4
lola: STATE EQUATION TRIES TRANSITION Node2DetectsThatNode7CanReplaceNode19
lola: reporting
lola: not produced: 18473
lola: find path: 19330
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node4ReceiveTheLeafSetOfLx11ToReplaceNode2
lola: STATE EQUATION TRIES TRANSITION Node17AsksItsLeafSetToLx11ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node26IsNotRespondingToNode2ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node28ReceiveTheLeafSetOfRx8ToReplaceNode29
lola: STATE EQUATION TRIES TRANSITION Node9SeeksANewMasterToReplaceNode20
lola: reporting
lola: not produced: 18471
lola: find path: 19332
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode6ToReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node10ReceiveTheLeafSetOfRx10ToReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node17ReceiveTheLeafSetOfRx9ToReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node5DetectsThatNode22CanReplaceNode15
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode4CanReplaceNode14
lola: reporting
lola: not produced: 18471
lola: find path: 19332
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Lx11ReceiveARequestToSendItsLeafSetToNode17
lola: STATE EQUATION TRIES TRANSITION Node9DetectsThatNode10CanReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node20ReceiveTheLeafSetOfRx9ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node17AsksItsLeafSetToLx11ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node8AsksItsLeafSetToLx5ToReplaceNode12
lola: reporting
lola: not produced: 18471
lola: find path: 19332
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode32ToReplaceNode8
lola: STATE EQUATION TRIES TRANSITION Node9DetectsThatNode21CanReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node19IsNotRespondingToNode1ToReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node27AsksItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node23IsNotRespondingToNode7ToReplaceNode9
lola: reporting
lola: not produced: 18467
lola: find path: 19336
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node20AsksItsLeafSetToRx11ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode2CanReplaceNode6
lola: STATE EQUATION TRIES TRANSITION Node9IsNotRespondingToNode6ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node23ReceiveTheLeafSetOfRx9ToReplaceNode27
lola: reporting
lola: not produced: 18461
lola: find path: 19342
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node0AsksItsLeafSetToRx10ToReplaceNode32
lola: STATE EQUATION TRIES TRANSITION Node4IsNotRespondingToNode1ToReplaceNode5
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode0ToReplaceNode19
lola: STATE EQUATION TRIES TRANSITION Node14AsksItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node25IsNotRespondingToNode4ToReplaceNode10
lola: reporting
lola: not produced: 18444
lola: find path: 19359
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node12InformsHeIsTheNodeMasterToNode26
lola: STATE EQUATION TRIES TRANSITION Node30AsksItsLeafSetToLx9ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node29AsksItsLeafSetToLx9ToReplaceNode6
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode10
lola: STATE EQUATION TRIES TRANSITION Node25SeeksANewMasterToReplaceNode23
lola: reporting
lola: not produced: 18432
lola: find path: 19371
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node11AsksItsLeafSetToRx10ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node1AsksItsLeafSetToRx11ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node5DetectsThatNode10CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode28CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node26DetectsThatNode21CanReplaceNode17
lola: reporting
lola: not produced: 18424
lola: find path: 19379
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node25DetectsThatNode8CanReplaceNode21
lola: STATE EQUATION TRIES TRANSITION Node3DetectsThatNode21CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node17ReceiveTheLeafSetOfLx9ToReplaceNode4
lola: STATE EQUATION TRIES TRANSITION Node31AsksItsLeafSetToRx9ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node27AsksItsLeafSetToLx10ToReplaceNode12
lola: reporting
lola: not produced: 18422
lola: find path: 19381
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node9ReceiveTheLeafSetOfLx9ToReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node10AsksItsLeafSetToRx9ToReplaceNode22
lola: STATE EQUATION TRIES TRANSITION Node31AsksItsLeafSetToRx11ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node7DetectsThatNode18CanReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode10CanReplaceNode20
lola: reporting
lola: not produced: 18416
lola: find path: 19387
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode3ToReplaceNode24
lola: STATE EQUATION TRIES TRANSITION Node9ReceiveTheLeafSetOfRx9ToReplaceNode31
lola: STATE EQUATION TRIES TRANSITION Node27IsNotRespondingToNode2ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node23AsksItsLeafSetToRx11ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node30DetectsThatNode3CanReplaceNode10
lola: reporting
lola: not produced: 18412
lola: find path: 19391
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node31AsksItsLeafSetToRx10ToReplaceNode21
lola: STATE EQUATION TRIES TRANSITION Node27ReceiveTheLeafSetOfLx9ToReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode32
lola: STATE EQUATION TRIES TRANSITION Node18IsNotRespondingToNode7ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node2DetectsThatNode21CanReplaceNode19
lola: reporting
lola: not produced: 18406
lola: find path: 19397
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node2IsNotRespondingToNode1ToReplaceNode3
lola: STATE EQUATION TRIES TRANSITION Node0AsksItsLeafSetToRx11ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node17AsksItsLeafSetToRx11ToReplaceNode27
lola: STATE EQUATION TRIES TRANSITION Node9IsNotRespondingToNode31ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node28ReceiveTheLeafSetOfRx10ToReplaceNode21
lola: reporting
lola: not produced: 18404
lola: find path: 19399
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node9SeeksANewMasterToReplaceNode3
lola: STATE EQUATION TRIES TRANSITION Node18AsksItsLeafSetToRx9ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node31DetectsThatNode25CanReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node17AsksItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES TRANSITION Node29IsNotRespondingToNode32ToReplaceNode24
lola: reporting
lola: not produced: 18400
lola: find path: 19403
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Rx11ReceiveARequestToSendItsLeafSetToNode20
lola: STATE EQUATION TRIES TRANSITION Node12ReceiveTheLeafSetOfRx10ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node26IsNotRespondingToNode4ToReplaceNode6
lola: STATE EQUATION TRIES TRANSITION Node3ReceiveTheLeafSetOfRx8ToReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node20AsksItsLeafSetToRx9ToReplaceNode16
lola: reporting
lola: not produced: 18400
lola: find path: 19403
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node14IsNotRespondingToNode26ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node25AsksItsLeafSetToRx5ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node1ReceiveTheLeafSetOfRx10ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node4IsNotRespondingToNode30ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode12CanReplaceNode15
lola: reporting
lola: not produced: 18390
lola: find path: 19413
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node1AsksItsLeafSetToLx10ToReplaceNode5
lola: STATE EQUATION TRIES TRANSITION Node26AsksItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES TRANSITION Node3IsNotRespondingToNode32ToReplaceNode23
lola: STATE EQUATION TRIES TRANSITION Node21AsksItsLeafSetToRx10ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode32
lola: reporting
lola: not produced: 18386
lola: find path: 19417
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node8InformsHeIsTheNodeMasterToNode21
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode3CanReplaceNode9
lola: STATE EQUATION TRIES TRANSITION Node7IsNotRespondingToNode32ToReplaceNode8
lola: STATE EQUATION TRIES TRANSITION Node3DetectsThatNode10CanReplaceNode20
lola: reporting
lola: not produced: 18376
lola: find path: 19427
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node28ReceiveTheLeafSetOfLx11ToReplaceNode15
lola: STATE EQUATION TRIES TRANSITION Node24ReceiveTheLeafSetOfRx8ToReplaceNode31
lola: STATE EQUATION TRIES TRANSITION Node6IsNotRespondingToNode31ToReplaceNode25
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode29ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node13IsNotRespondingToNode10ToReplaceNode17
lola: reporting
lola: not produced: 18369
lola: find path: 19434
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node29DetectsThatNode8CanReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node2AsksItsLeafSetToRx6ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node26DetectsThatNode7CanReplaceNode8
lola: STATE EQUATION TRIES TRANSITION Node5AsksItsLeafSetToRx10ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node19SeeksANewMasterToReplaceNode30
lola: reporting
lola: not produced: 18363
lola: find path: 19440
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode23CanReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode10ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node23AsksItsLeafSetToLx10ToReplaceNode8
lola: STATE EQUATION TRIES TRANSITION Node2ReceiveTheLeafSetOfRx11ToReplaceNode25
lola: STATE EQUATION TRIES TRANSITION Node30DetectsThatNode25CanReplaceNode7
lola: reporting
lola: not produced: 18357
lola: find path: 19446
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode1ToReplaceNode13
lola: STATE EQUATION TRIES TRANSITION Node26IsNotRespondingToNode32ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode3ToReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node5IsNotRespondingToNode4ToReplaceNode15
lola: STATE EQUATION TRIES TRANSITION Node17AsksItsLeafSetToLx11ToReplaceNode3
lola: reporting
lola: not produced: 18353
lola: find path: 19450
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode1CanReplaceNode5
lola: STATE EQUATION TRIES TRANSITION Node26IsNotRespondingToNode4ToReplaceNode7
lola: STATE EQUATION TRIES TRANSITION Node10ReceiveTheLeafSetOfLx9ToReplaceNode6
lola: STATE EQUATION TRIES TRANSITION Node13AsksItsLeafSetToLx10ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node6AsksItsLeafSetToRx11ToReplaceNode30
lola: reporting
lola: not produced: 18347
lola: find path: 19456
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node4DetectsThatNode21CanReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node25IsNotRespondingToNode27ToReplaceNode9
lola: STATE EQUATION TRIES TRANSITION Node20IsNotRespondingToNode21ToReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node3DetectsThatNode8CanReplaceNode24
lola: STATE EQUATION TRIES TRANSITION Node14IsNotRespondingToNode3ToReplaceNode15
lola: reporting
lola: not produced: 18345
lola: find path: 19458
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node19ReceiveTheLeafSetOfRx10ToReplaceNode30
lola: STATE EQUATION TRIES TRANSITION Node13ReceiveTheLeafSetOfLx11ToReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Node5DetectsThatNode23CanReplaceNode9
lola: STATE EQUATION TRIES TRANSITION Node11IsNotRespondingToNode26ToReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node28ReceiveTheLeafSetOfLx11ToReplaceNode0
lola: reporting
lola: not produced: 18343
lola: find path: 19460
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node21IsNotRespondingToNode31ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node30DetectsThatNode25CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node8IsNotRespondingToNode3ToReplaceNode23
lola: STATE EQUATION TRIES TRANSITION Node19DetectsThatNode14CanReplaceNode15
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode27CanReplaceNode18
lola: reporting
lola: not produced: 18341
lola: find path: 19462
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node5DetectsThatNode21CanReplaceNode15
lola: STATE EQUATION TRIES TRANSITION Node8AsksItsLeafSetToLx10ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node27AsksItsLeafSetToRx11ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node28DetectsThatNode5CanReplaceNode7
lola: STATE EQUATION TRIES TRANSITION Node3ReceiveTheLeafSetOfRx9ToReplaceNode23
lola: reporting
lola: not produced: 18339
lola: find path: 19464
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node0InformsHeIsTheNodeMasterToNode19
lola: STATE EQUATION TRIES TRANSITION Node28DetectsThatNode27CanReplaceNode7
lola: STATE EQUATION TRIES TRANSITION Node10IsNotRespondingToNode23ToReplaceNode11
lola: STATE EQUATION TRIES TRANSITION Node29AsksItsLeafSetToLx8ToReplaceNode12
lola: STATE EQUATION TRIES TRANSITION Node2AsksItsLeafSetToRx10ToReplaceNode30
lola: reporting
lola: not produced: 18333
lola: find path: 19470
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node10IsNotRespondingToNode29ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node14AsksItsLeafSetToLx10ToReplaceNode5
lola: STATE EQUATION TRIES TRANSITION Node26IsNotRespondingToNode0ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node23DetectsThatNode19CanReplaceNode14
lola: STATE EQUATION TRIES TRANSITION Lx10ReceiveARequestToSendItsLeafSetToNode4
lola: reporting
lola: not produced: 18329
lola: find path: 19474
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node2ReceiveTheLeafSetOfRx11ToReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node31InformsHeIsTheNodeMasterToNode15
lola: STATE EQUATION TRIES TRANSITION Node8IsNotRespondingToNode3ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node3AsksItsLeafSetToRx8ToReplaceNode18
lola: STATE EQUATION TRIES TRANSITION Node27InformsHeIsTheNodeMasterToNode5
lola: reporting
lola: not produced: 18323
lola: find path: 19480
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node14AsksItsLeafSetToRx9ToReplaceNode28
lola: STATE EQUATION TRIES TRANSITION Node12AsksItsLeafSetToRx11ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node12AsksItsLeafSetToRx10ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node15AsksItsLeafSetToLx0ToReplaceNode4
lola: STATE EQUATION TRIES TRANSITION Node26IsNotRespondingToNode2ToReplaceNode20
lola: reporting
lola: not produced: 18317
lola: find path: 19486
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node27IsNotRespondingToNode4ToReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node5AsksItsLeafSetToRx11ToReplaceNode17
lola: STATE EQUATION TRIES TRANSITION Node1DetectsThatNode27CanReplaceNode20
lola: STATE EQUATION TRIES TRANSITION Node7ReceiveTheLeafSetOfLx9ToReplaceNode12
lola: reporting
lola: not produced: 18307
lola: find path: 19496
lola: goal oriented search: 3527
lola: STATE EQUATION TRIES TRANSITION Node0DetectsThatNode28CanReplaceNode4
lola: STATE EQUATION TRIES TRANSITION Node31AsksItsLeafSetToRx9ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node25AsksItsLeafSetToRx11ToReplaceNode16
lola: STATE EQUATION TRIES TRANSITION Node30DetectsThatNode29CanReplaceNode10
lola: STATE EQUATION TRIES TRANSITION Node32DetectsThatNode2CanReplaceNode24
lola: reporting
lola: not produced: 18297
lola: find path: 19506
lola: goal oriented search: 3527

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="MultiCrashLeafsetExtension-PT-S32C12"
export BK_EXAMINATION="QuasiLiveness"
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 MultiCrashLeafsetExtension-PT-S32C12, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r296-tall-162124162800497"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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