About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11467.987 | 1800000.00 | 7050505.00 | 294.00 | [undef] | Time out reached |
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-162124162700438.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-S24C11, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162700438
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 37K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 135K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 97K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.4K May 11 19:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 11 19:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.3K May 11 16:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 11 16:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 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 36M 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 StableMarking
=== Now, execution of the tool begins
BK_START 1621247310864
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C11
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfLx6ToReplaceNode9
sara: try reading problem file stateEquationProblem-ConstantPlace-17217.sara.
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: reporting
lola: not produced: 19251
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 13133
lola: find path: 3224
lola: symmetry: 2894
lola: reporting
lola: not produced: 9867
lola: find path: 4858
lola: symmetry: 4526
lola: reporting
lola: not produced: 8357
lola: find path: 5615
lola: symmetry: 5279
lola: reporting
lola: not produced: 7637
lola: find path: 5975
lola: symmetry: 5639
lola: reporting
lola: not produced: 7139
lola: find path: 6224
lola: symmetry: 5888
lola: reporting
lola: not produced: 6851
lola: find path: 6368
lola: symmetry: 6032
lola: reporting
lola: not produced: 6645
lola: find path: 6471
lola: symmetry: 6135
lola: reporting
lola: not produced: 6497
lola: find path: 6545
lola: symmetry: 6209
lola: reporting
lola: not produced: 6369
lola: find path: 6609
lola: symmetry: 6273
lola: reporting
lola: not produced: 6253
lola: find path: 6667
lola: symmetry: 6331
lola: reporting
lola: not produced: 6175
lola: find path: 6706
lola: symmetry: 6370
lola: reporting
lola: not produced: 6067
lola: find path: 6760
lola: symmetry: 6424
lola: reporting
lola: not produced: 5983
lola: find path: 6802
lola: symmetry: 6466
lola: reporting
lola: not produced: 5937
lola: find path: 6825
lola: symmetry: 6489
lola: reporting
lola: not produced: 5875
lola: find path: 6856
lola: symmetry: 6520
lola: reporting
lola: not produced: 5817
lola: find path: 6885
lola: symmetry: 6549
lola: reporting
lola: not produced: 5777
lola: find path: 6905
lola: symmetry: 6569
lola: reporting
lola: not produced: 5753
lola: find path: 6917
lola: symmetry: 6581
lola: reporting
lola: not produced: 5707
lola: find path: 6940
lola: symmetry: 6604
lola: reporting
lola: not produced: 5663
lola: find path: 6962
lola: symmetry: 6626
lola: reporting
lola: not produced: 5613
lola: find path: 6987
lola: symmetry: 6651
lola: reporting
lola: not produced: 5577
lola: find path: 7005
lola: symmetry: 6669
lola: reporting
lola: not produced: 5517
lola: find path: 7035
lola: symmetry: 6699
lola: reporting
lola: not produced: 5495
lola: find path: 7046
lola: symmetry: 6710
lola: reporting
lola: not produced: 5459
lola: find path: 7064
lola: symmetry: 6728
lola: reporting
lola: not produced: 5419
lola: find path: 7084
lola: symmetry: 6748
lola: reporting
lola: not produced: 5399
lola: find path: 7094
lola: symmetry: 6758
lola: reporting
lola: not produced: 5375
lola: find path: 7106
lola: symmetry: 6770
lola: reporting
lola: not produced: 5353
lola: find path: 7117
lola: symmetry: 6781
lola: reporting
lola: not produced: 5313
lola: find path: 7137
lola: symmetry: 6801
lola: reporting
lola: not produced: 5301
lola: find path: 7143
lola: symmetry: 6807
lola: reporting
lola: not produced: 5281
lola: find path: 7153
lola: symmetry: 6817
lola: reporting
lola: not produced: 5281
lola: find path: 7153
lola: symmetry: 6817
lola: reporting
lola: not produced: 5253
lola: find path: 7167
lola: symmetry: 6831
lola: reporting
lola: not produced: 5251
lola: find path: 7168
lola: symmetry: 6832
lola: reporting
lola: not produced: 5239
lola: find path: 7174
lola: symmetry: 6838
lola: reporting
lola: not produced: 5215
lola: find path: 7186
lola: symmetry: 6850
lola: reporting
lola: not produced: 5193
lola: find path: 7197
lola: symmetry: 6861
lola: reporting
lola: not produced: 5181
lola: find path: 7203
lola: symmetry: 6867
lola: reporting
lola: not produced: 5171
lola: find path: 7208
lola: symmetry: 6872
lola: reporting
lola: not produced: 5161
lola: find path: 7213
lola: symmetry: 6877
lola: reporting
lola: not produced: 5137
lola: find path: 7225
lola: symmetry: 6889
lola: reporting
lola: not produced: 5127
lola: find path: 7230
lola: symmetry: 6894
lola: reporting
lola: not produced: 5091
lola: find path: 7248
lola: symmetry: 6912
lola: reporting
lola: not produced: 5075
lola: find path: 7256
lola: symmetry: 6920
lola: reporting
lola: not produced: 5049
lola: find path: 7269
lola: symmetry: 6933
lola: reporting
lola: not produced: 5037
lola: find path: 7275
lola: symmetry: 6939
lola: reporting
lola: not produced: 5013
lola: find path: 7287
lola: symmetry: 6951
lola: reporting
lola: not produced: 5001
lola: find path: 7293
lola: symmetry: 6957
lola: reporting
lola: not produced: 4975
lola: find path: 7306
lola: symmetry: 6970
lola: reporting
lola: not produced: 4947
lola: find path: 7320
lola: symmetry: 6984
lola: reporting
lola: not produced: 4939
lola: find path: 7324
lola: symmetry: 6988
lola: reporting
lola: not produced: 4935
lola: find path: 7326
lola: symmetry: 6990
lola: reporting
lola: not produced: 4923
lola: find path: 7332
lola: symmetry: 6996
lola: reporting
lola: not produced: 4907
lola: find path: 7340
lola: symmetry: 7004
lola: reporting
lola: not produced: 4887
lola: find path: 7350
lola: symmetry: 7014
lola: reporting
lola: not produced: 4879
lola: find path: 7354
lola: symmetry: 7018
lola: reporting
lola: not produced: 4867
lola: find path: 7360
lola: symmetry: 7024
lola: reporting
lola: not produced: 4849
lola: find path: 7369
lola: symmetry: 7033
lola: reporting
lola: not produced: 4829
lola: find path: 7379
lola: symmetry: 7043
lola: reporting
lola: not produced: 4825
lola: find path: 7381
lola: symmetry: 7045
lola: reporting
lola: not produced: 4803
lola: find path: 7392
lola: symmetry: 7056
lola: reporting
lola: not produced: 4795
lola: find path: 7396
lola: symmetry: 7060
lola: reporting
lola: not produced: 4775
lola: find path: 7406
lola: symmetry: 7070
lola: reporting
lola: not produced: 4745
lola: find path: 7421
lola: symmetry: 7085
lola: reporting
lola: not produced: 4737
lola: find path: 7425
lola: symmetry: 7089
lola: reporting
lola: not produced: 4733
lola: find path: 7427
lola: symmetry: 7091
lola: reporting
lola: not produced: 4729
lola: find path: 7429
lola: symmetry: 7093
lola: reporting
lola: not produced: 4713
lola: find path: 7437
lola: symmetry: 7101
lola: reporting
lola: not produced: 4691
lola: find path: 7448
lola: symmetry: 7112
lola: reporting
lola: not produced: 4685
lola: find path: 7451
lola: symmetry: 7115
lola: reporting
lola: not produced: 4677
lola: find path: 7455
lola: symmetry: 7119
lola: reporting
lola: not produced: 4199
lola: find path: 7456
lola: goal oriented search: 238
lola: symmetry: 7358
lola: reporting
lola: not produced: 4195
lola: find path: 7458
lola: goal oriented search: 238
lola: symmetry: 7360
lola: reporting
lola: not produced: 4195
lola: find path: 7458
lola: goal oriented search: 238
lola: symmetry: 7360
lola: reporting
lola: not produced: 4179
lola: find path: 7466
lola: goal oriented search: 238
lola: symmetry: 7368
lola: reporting
lola: not produced: 4171
lola: find path: 7470
lola: goal oriented search: 238
lola: symmetry: 7372
lola: reporting
lola: not produced: 4171
lola: find path: 7470
lola: goal oriented search: 238
lola: symmetry: 7372
lola: reporting
lola: not produced: 4151
lola: find path: 7480
lola: goal oriented search: 238
lola: symmetry: 7382
lola: reporting
lola: not produced: 4135
lola: find path: 7488
lola: goal oriented search: 238
lola: symmetry: 7390
lola: reporting
lola: not produced: 4119
lola: find path: 7496
lola: goal oriented search: 238
lola: symmetry: 7398
lola: reporting
lola: not produced: 4115
lola: find path: 7498
lola: goal oriented search: 238
lola: symmetry: 7400
lola: reporting
lola: not produced: 4111
lola: find path: 7500
lola: goal oriented search: 238
lola: symmetry: 7402
lola: reporting
lola: not produced: 4107
lola: find path: 7502
lola: goal oriented search: 238
lola: symmetry: 7404
lola: reporting
lola: not produced: 4107
lola: find path: 7502
lola: goal oriented search: 238
lola: symmetry: 7404
lola: reporting
lola: not produced: 4089
lola: find path: 7511
lola: goal oriented search: 238
lola: symmetry: 7413
lola: reporting
lola: not produced: 4089
lola: find path: 7511
lola: goal oriented search: 238
lola: symmetry: 7413
lola: reporting
lola: not produced: 4089
lola: find path: 7511
lola: goal oriented search: 238
lola: symmetry: 7413
lola: reporting
lola: not produced: 4089
lola: find path: 7511
lola: goal oriented search: 238
lola: symmetry: 7413
lola: reporting
lola: not produced: 4081
lola: find path: 7515
lola: goal oriented search: 238
lola: symmetry: 7417
lola: reporting
lola: not produced: 4081
lola: find path: 7515
lola: goal oriented search: 238
lola: symmetry: 7417
lola: reporting
lola: not produced: 4081
lola: find path: 7515
lola: goal oriented search: 238
lola: symmetry: 7417
lola: reporting
lola: not produced: 4073
lola: find path: 7519
lola: goal oriented search: 238
lola: symmetry: 7421
lola: reporting
lola: not produced: 4073
lola: find path: 7519
lola: goal oriented search: 238
lola: symmetry: 7421
lola: reporting
lola: not produced: 4073
lola: find path: 7519
lola: goal oriented search: 238
lola: symmetry: 7421
lola: reporting
lola: not produced: 4061
lola: find path: 7525
lola: goal oriented search: 238
lola: symmetry: 7427
lola: reporting
lola: not produced: 4049
lola: find path: 7531
lola: goal oriented search: 238
lola: symmetry: 7433
lola: reporting
lola: not produced: 4049
lola: find path: 7531
lola: goal oriented search: 238
lola: symmetry: 7433
lola: reporting
lola: not produced: 4045
lola: find path: 7533
lola: goal oriented search: 238
lola: symmetry: 7435
lola: reporting
lola: not produced: 4045
lola: find path: 7533
lola: goal oriented search: 238
lola: symmetry: 7435
lola: reporting
lola: not produced: 4025
lola: find path: 7543
lola: goal oriented search: 238
lola: symmetry: 7445
lola: reporting
lola: not produced: 4025
lola: find path: 7543
lola: goal oriented search: 238
lola: symmetry: 7445
lola: reporting
lola: not produced: 4021
lola: find path: 7545
lola: goal oriented search: 238
lola: symmetry: 7447
lola: reporting
lola: not produced: 4013
lola: find path: 7549
lola: goal oriented search: 238
lola: symmetry: 7451
lola: reporting
lola: not produced: 4005
lola: find path: 7553
lola: goal oriented search: 238
lola: symmetry: 7455
lola: reporting
lola: not produced: 4005
lola: find path: 7553
lola: goal oriented search: 238
lola: symmetry: 7455
lola: reporting
lola: not produced: 4005
lola: find path: 7553
lola: goal oriented search: 238
lola: symmetry: 7455
lola: reporting
lola: not produced: 3997
lola: find path: 7557
lola: goal oriented search: 238
lola: symmetry: 7459
lola: reporting
lola: not produced: 3989
lola: find path: 7561
lola: goal oriented search: 238
lola: symmetry: 7463
lola: reporting
lola: not produced: 3989
lola: find path: 7561
lola: goal oriented search: 238
lola: symmetry: 7463
lola: reporting
lola: not produced: 3975
lola: find path: 7568
lola: goal oriented search: 238
lola: symmetry: 7470
lola: reporting
lola: not produced: 3975
lola: find path: 7568
lola: goal oriented search: 238
lola: symmetry: 7470
lola: reporting
lola: not produced: 3971
lola: find path: 7570
lola: goal oriented search: 238
lola: symmetry: 7472
lola: reporting
lola: not produced: 3971
lola: find path: 7570
lola: goal oriented search: 238
lola: symmetry: 7472
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3967
lola: find path: 7572
lola: goal oriented search: 238
lola: symmetry: 7474
lola: reporting
lola: not produced: 3963
lola: find path: 7574
lola: goal oriented search: 238
lola: symmetry: 7476
lola: reporting
lola: not produced: 3963
lola: find path: 7574
lola: goal oriented search: 238
lola: symmetry: 7476
lola: reporting
lola: not produced: 3959
lola: find path: 7576
lola: goal oriented search: 238
lola: symmetry: 7478
lola: reporting
lola: not produced: 3959
lola: find path: 7576
lola: goal oriented search: 238
lola: symmetry: 7478
lola: reporting
lola: not produced: 3955
lola: find path: 7578
lola: goal oriented search: 238
lola: symmetry: 7480
lola: reporting
lola: not produced: 3951
lola: find path: 7580
lola: goal oriented search: 238
lola: symmetry: 7482
lola: reporting
lola: not produced: 3887
lola: find path: 7585
lola: goal oriented search: 265
lola: symmetry: 7514
lola: reporting
lola: not produced: 3887
lola: find path: 7585
lola: goal oriented search: 265
lola: symmetry: 7514
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3875
lola: find path: 7591
lola: goal oriented search: 265
lola: symmetry: 7520
lola: reporting
lola: not produced: 3867
lola: find path: 7595
lola: goal oriented search: 265
lola: symmetry: 7524
lola: reporting
lola: not produced: 3863
lola: find path: 7597
lola: goal oriented search: 265
lola: symmetry: 7526
lola: reporting
lola: not produced: 3861
lola: find path: 7598
lola: goal oriented search: 265
lola: symmetry: 7527
lola: reporting
lola: not produced: 3861
lola: find path: 7598
lola: goal oriented search: 265
lola: symmetry: 7527
lola: reporting
lola: not produced: 3857
lola: find path: 7600
lola: goal oriented search: 265
lola: symmetry: 7529
lola: reporting
lola: not produced: 3857
lola: find path: 7600
lola: goal oriented search: 265
lola: symmetry: 7529
lola: reporting
lola: not produced: 3853
lola: find path: 7602
lola: goal oriented search: 265
lola: symmetry: 7531
lola: reporting
lola: not produced: 3853
lola: find path: 7602
lola: goal oriented search: 265
lola: symmetry: 7531
lola: reporting
lola: not produced: 3853
lola: find path: 7602
lola: goal oriented search: 265
lola: symmetry: 7531
lola: reporting
lola: not produced: 3853
lola: find path: 7602
lola: goal oriented search: 265
lola: symmetry: 7531
lola: reporting
lola: not produced: 3853
lola: find path: 7602
lola: goal oriented search: 265
lola: symmetry: 7531
lola: reporting
lola: not produced: 3849
lola: find path: 7604
lola: goal oriented search: 265
lola: symmetry: 7533
lola: reporting
lola: not produced: 3849
lola: find path: 7604
lola: goal oriented search: 265
lola: symmetry: 7533
lola: reporting
lola: not produced: 3837
lola: find path: 7610
lola: goal oriented search: 265
lola: symmetry: 7539
lola: reporting
lola: not produced: 3833
lola: find path: 7612
lola: goal oriented search: 265
lola: symmetry: 7541
lola: STATE EQUATION TRIES PLACE Node0HasAskedItsLeafSetToLx9ToReplaceNode1
sara: try reading problem file stateEquationProblem-ConstantPlace-4475.sara.
lola: reporting
lola: not produced: 3829
lola: state equation: 1
lola: find path: 7613
lola: goal oriented search: 265
lola: symmetry: 7543
lola: reporting
lola: not produced: 3825
lola: state equation: 1
lola: find path: 7615
lola: goal oriented search: 265
lola: symmetry: 7545
lola: reporting
lola: not produced: 3825
lola: state equation: 1
lola: find path: 7615
lola: goal oriented search: 265
lola: symmetry: 7545
lola: reporting
lola: not produced: 3825
lola: state equation: 1
lola: find path: 7615
lola: goal oriented search: 265
lola: symmetry: 7545
lola: reporting
lola: not produced: 3825
lola: state equation: 1
lola: find path: 7615
lola: goal oriented search: 265
lola: symmetry: 7545
lola: reporting
lola: not produced: 3823
lola: state equation: 1
lola: find path: 7616
lola: goal oriented search: 265
lola: symmetry: 7546
lola: reporting
lola: not produced: 3823
lola: state equation: 1
lola: find path: 7616
lola: goal oriented search: 265
lola: symmetry: 7546
lola: reporting
lola: not produced: 3823
lola: state equation: 1
lola: find path: 7616
lola: goal oriented search: 265
lola: symmetry: 7546
lola: reporting
lola: not produced: 3823
lola: state equation: 1
lola: find path: 7616
lola: goal oriented search: 265
lola: symmetry: 7546
lola: reporting
lola: not produced: 3809
lola: state equation: 1
lola: find path: 7623
lola: goal oriented search: 265
lola: symmetry: 7553
lola: reporting
lola: not produced: 3805
lola: state equation: 1
lola: find path: 7625
lola: goal oriented search: 265
lola: symmetry: 7555
lola: reporting
lola: not produced: 3805
lola: state equation: 1
lola: find path: 7625
lola: goal oriented search: 265
lola: symmetry: 7555
lola: reporting
lola: not produced: 3805
lola: state equation: 1
lola: find path: 7625
lola: goal oriented search: 265
lola: symmetry: 7555
lola: reporting
lola: not produced: 3805
lola: state equation: 1
lola: find path: 7625
lola: goal oriented search: 265
lola: symmetry: 7555
lola: reporting
lola: not produced: 3805
lola: state equation: 1
lola: find path: 7625
lola: goal oriented search: 265
lola: symmetry: 7555
lola: reporting
lola: not produced: 3801
lola: state equation: 1
lola: find path: 7627
lola: goal oriented search: 265
lola: symmetry: 7557
lola: reporting
lola: not produced: 3801
lola: state equation: 1
lola: find path: 7627
lola: goal oriented search: 265
lola: symmetry: 7557
lola: reporting
lola: not produced: 3797
lola: state equation: 1
lola: find path: 7629
lola: goal oriented search: 265
lola: symmetry: 7559
lola: reporting
lola: not produced: 3797
lola: state equation: 1
lola: find path: 7629
lola: goal oriented search: 265
lola: symmetry: 7559
lola: reporting
lola: not produced: 3797
lola: state equation: 1
lola: find path: 7629
lola: goal oriented search: 265
lola: symmetry: 7559
lola: reporting
lola: not produced: 3797
lola: state equation: 1
lola: find path: 7629
lola: goal oriented search: 265
lola: symmetry: 7559
lola: reporting
lola: not produced: 3797
lola: state equation: 1
lola: find path: 7629
lola: goal oriented search: 265
lola: symmetry: 7559
lola: reporting
lola: not produced: 3785
lola: state equation: 1
lola: find path: 7635
lola: goal oriented search: 265
lola: symmetry: 7565
lola: reporting
lola: not produced: 3785
lola: state equation: 1
lola: find path: 7635
lola: goal oriented search: 265
lola: symmetry: 7565
lola: reporting
lola: not produced: 3785
lola: state equation: 1
lola: find path: 7635
lola: goal oriented search: 265
lola: symmetry: 7565
lola: reporting
lola: not produced: 3781
lola: state equation: 1
lola: find path: 7637
lola: goal oriented search: 265
lola: symmetry: 7567
lola: reporting
lola: not produced: 3781
lola: state equation: 1
lola: find path: 7637
lola: goal oriented search: 265
lola: symmetry: 7567
lola: reporting
lola: not produced: 3781
lola: state equation: 1
lola: find path: 7637
lola: goal oriented search: 265
lola: symmetry: 7567
lola: reporting
lola: not produced: 3777
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 265
lola: symmetry: 7569
lola: reporting
lola: not produced: 3777
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 265
lola: symmetry: 7569
lola: reporting
lola: not produced: 3777
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 265
lola: symmetry: 7569
lola: reporting
lola: not produced: 3777
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 265
lola: symmetry: 7569
lola: reporting
lola: not produced: 3777
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 265
lola: symmetry: 7569
lola: reporting
lola: not produced: 3777
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 265
lola: symmetry: 7569
lola: reporting
lola: not produced: 3769
lola: state equation: 1
lola: find path: 7643
lola: goal oriented search: 265
lola: symmetry: 7573
lola: reporting
lola: not produced: 3769
lola: state equation: 1
lola: find path: 7643
lola: goal oriented search: 265
lola: symmetry: 7573
lola: reporting
lola: not produced: 3769
lola: state equation: 1
lola: find path: 7643
lola: goal oriented search: 265
lola: symmetry: 7573
lola: reporting
lola: not produced: 3769
lola: state equation: 1
lola: find path: 7643
lola: goal oriented search: 265
lola: symmetry: 7573
lola: reporting
lola: not produced: 3769
lola: state equation: 1
lola: find path: 7643
lola: goal oriented search: 265
lola: symmetry: 7573
lola: reporting
lola: not produced: 3769
lola: state equation: 1
lola: find path: 7643
lola: goal oriented search: 265
lola: symmetry: 7573
lola: reporting
lola: not produced: 3759
lola: state equation: 1
lola: find path: 7648
lola: goal oriented search: 265
lola: symmetry: 7578
lola: reporting
lola: not produced: 3755
lola: state equation: 1
lola: find path: 7650
lola: goal oriented search: 265
lola: symmetry: 7580
lola: reporting
lola: not produced: 3751
lola: state equation: 1
lola: find path: 7652
lola: goal oriented search: 265
lola: symmetry: 7582
lola: reporting
lola: not produced: 3751
lola: state equation: 1
lola: find path: 7652
lola: goal oriented search: 265
lola: symmetry: 7582
lola: reporting
lola: not produced: 3747
lola: state equation: 1
lola: find path: 7654
lola: goal oriented search: 265
lola: symmetry: 7584
lola: reporting
lola: not produced: 3743
lola: state equation: 1
lola: find path: 7656
lola: goal oriented search: 265
lola: symmetry: 7586
lola: reporting
lola: not produced: 3743
lola: state equation: 1
lola: find path: 7656
lola: goal oriented search: 265
lola: symmetry: 7586
lola: reporting
lola: not produced: 3739
lola: state equation: 1
lola: find path: 7658
lola: goal oriented search: 265
lola: symmetry: 7588
lola: reporting
lola: not produced: 3731
lola: state equation: 1
lola: find path: 7662
lola: goal oriented search: 265
lola: symmetry: 7592
lola: reporting
lola: not produced: 3727
lola: state equation: 1
lola: find path: 7664
lola: goal oriented search: 265
lola: symmetry: 7594
lola: reporting
lola: not produced: 3727
lola: state equation: 1
lola: find path: 7664
lola: goal oriented search: 265
lola: symmetry: 7594
lola: reporting
lola: not produced: 3723
lola: state equation: 1
lola: find path: 7666
lola: goal oriented search: 265
lola: symmetry: 7596
lola: reporting
lola: not produced: 3723
lola: state equation: 1
lola: find path: 7666
lola: goal oriented search: 265
lola: symmetry: 7596
lola: reporting
lola: not produced: 3719
lola: state equation: 1
lola: find path: 7668
lola: goal oriented search: 265
lola: symmetry: 7598
lola: reporting
lola: not produced: 3715
lola: state equation: 1
lola: find path: 7670
lola: goal oriented search: 265
lola: symmetry: 7600
lola: reporting
lola: not produced: 3715
lola: state equation: 1
lola: find path: 7670
lola: goal oriented search: 265
lola: symmetry: 7600
lola: reporting
lola: not produced: 3711
lola: state equation: 1
lola: find path: 7672
lola: goal oriented search: 265
lola: symmetry: 7602
lola: reporting
lola: not produced: 3711
lola: state equation: 1
lola: find path: 7672
lola: goal oriented search: 265
lola: symmetry: 7602
lola: reporting
lola: not produced: 3707
lola: state equation: 1
lola: find path: 7674
lola: goal oriented search: 265
lola: symmetry: 7604
lola: reporting
lola: not produced: 3707
lola: state equation: 1
lola: find path: 7674
lola: goal oriented search: 265
lola: symmetry: 7604
lola: reporting
lola: not produced: 3707
lola: state equation: 1
lola: find path: 7674
lola: goal oriented search: 265
lola: symmetry: 7604
lola: reporting
lola: not produced: 3707
lola: state equation: 1
lola: find path: 7674
lola: goal oriented search: 265
lola: symmetry: 7604
lola: reporting
lola: not produced: 3703
lola: state equation: 1
lola: find path: 7676
lola: goal oriented search: 265
lola: symmetry: 7606
lola: reporting
lola: not produced: 3699
lola: state equation: 1
lola: find path: 7678
lola: goal oriented search: 265
lola: symmetry: 7608
lola: reporting
lola: not produced: 3699
lola: state equation: 1
lola: find path: 7678
lola: goal oriented search: 265
lola: symmetry: 7608
lola: reporting
lola: not produced: 3695
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 265
lola: symmetry: 7610
lola: reporting
lola: not produced: 3695
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 265
lola: symmetry: 7610
lola: reporting
lola: not produced: 3695
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 265
lola: symmetry: 7610
lola: reporting
lola: not produced: 3695
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 265
lola: symmetry: 7610
lola: reporting
lola: not produced: 3695
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 265
lola: symmetry: 7610
lola: reporting
lola: not produced: 3695
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 265
lola: symmetry: 7610
lola: reporting
lola: not produced: 3693
lola: state equation: 1
lola: find path: 7681
lola: goal oriented search: 265
lola: symmetry: 7611
lola: reporting
lola: not produced: 3693
lola: state equation: 1
lola: find path: 7681
lola: goal oriented search: 265
lola: symmetry: 7611
lola: reporting
lola: not produced: 3689
lola: state equation: 1
lola: find path: 7683
lola: goal oriented search: 265
lola: symmetry: 7613
lola: reporting
lola: not produced: 3689
lola: state equation: 1
lola: find path: 7683
lola: goal oriented search: 265
lola: symmetry: 7613
lola: reporting
lola: not produced: 3679
lola: state equation: 1
lola: find path: 7688
lola: goal oriented search: 265
lola: symmetry: 7618
lola: reporting
lola: not produced: 3673
lola: state equation: 1
lola: find path: 7691
lola: goal oriented search: 265
lola: symmetry: 7621
lola: reporting
lola: not produced: 3669
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 265
lola: symmetry: 7623
lola: reporting
lola: not produced: 3661
lola: state equation: 1
lola: find path: 7697
lola: goal oriented search: 265
lola: symmetry: 7627
lola: reporting
lola: not produced: 3657
lola: state equation: 1
lola: find path: 7699
lola: goal oriented search: 265
lola: symmetry: 7629
lola: reporting
lola: not produced: 3657
lola: state equation: 1
lola: find path: 7699
lola: goal oriented search: 265
lola: symmetry: 7629
lola: reporting
lola: not produced: 3657
lola: state equation: 1
lola: find path: 7699
lola: goal oriented search: 265
lola: symmetry: 7629
lola: reporting
lola: not produced: 3649
lola: state equation: 1
lola: find path: 7703
lola: goal oriented search: 265
lola: symmetry: 7633
lola: reporting
lola: not produced: 3641
lola: state equation: 1
lola: find path: 7707
lola: goal oriented search: 265
lola: symmetry: 7637
lola: reporting
lola: not produced: 3627
lola: state equation: 1
lola: find path: 7714
lola: goal oriented search: 265
lola: symmetry: 7644
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3623
lola: state equation: 1
lola: find path: 7716
lola: goal oriented search: 265
lola: symmetry: 7646
lola: reporting
lola: not produced: 3619
lola: state equation: 1
lola: find path: 7718
lola: goal oriented search: 265
lola: symmetry: 7648
lola: reporting
lola: not produced: 3619
lola: state equation: 1
lola: find path: 7718
lola: goal oriented search: 265
lola: symmetry: 7648
lola: reporting
lola: not produced: 3611
lola: state equation: 1
lola: find path: 7722
lola: goal oriented search: 265
lola: symmetry: 7652
lola: reporting
lola: not produced: 3611
lola: state equation: 1
lola: find path: 7722
lola: goal oriented search: 265
lola: symmetry: 7652
lola: reporting
lola: not produced: 3611
lola: state equation: 1
lola: find path: 7722
lola: goal oriented search: 265
lola: symmetry: 7652
lola: reporting
lola: not produced: 3611
lola: state equation: 1
lola: find path: 7722
lola: goal oriented search: 265
lola: symmetry: 7652
lola: reporting
lola: not produced: 3611
lola: state equation: 1
lola: find path: 7722
lola: goal oriented search: 265
lola: symmetry: 7652
lola: reporting
lola: not produced: 3607
lola: state equation: 1
lola: find path: 7724
lola: goal oriented search: 265
lola: symmetry: 7654
lola: reporting
lola: not produced: 3607
lola: state equation: 1
lola: find path: 7724
lola: goal oriented search: 265
lola: symmetry: 7654
lola: reporting
lola: not produced: 3599
lola: state equation: 1
lola: find path: 7728
lola: goal oriented search: 265
lola: symmetry: 7658
lola: reporting
lola: not produced: 3595
lola: state equation: 1
lola: find path: 7730
lola: goal oriented search: 265
lola: symmetry: 7660
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3595
lola: state equation: 1
lola: find path: 7730
lola: goal oriented search: 265
lola: symmetry: 7660
lola: reporting
lola: not produced: 3595
lola: state equation: 1
lola: find path: 7730
lola: goal oriented search: 265
lola: symmetry: 7660
lola: reporting
lola: not produced: 3591
lola: state equation: 1
lola: find path: 7732
lola: goal oriented search: 265
lola: symmetry: 7662
lola: reporting
lola: not produced: 3591
lola: state equation: 1
lola: find path: 7732
lola: goal oriented search: 265
lola: symmetry: 7662
lola: reporting
lola: not produced: 3587
lola: state equation: 1
lola: find path: 7734
lola: goal oriented search: 265
lola: symmetry: 7664
lola: reporting
lola: not produced: 3587
lola: state equation: 1
lola: find path: 7734
lola: goal oriented search: 265
lola: symmetry: 7664
lola: reporting
lola: not produced: 3587
lola: state equation: 1
lola: find path: 7734
lola: goal oriented search: 265
lola: symmetry: 7664
lola: reporting
lola: not produced: 3587
lola: state equation: 1
lola: find path: 7734
lola: goal oriented search: 265
lola: symmetry: 7664
lola: reporting
lola: not produced: 3587
lola: state equation: 1
lola: find path: 7734
lola: goal oriented search: 265
lola: symmetry: 7664
lola: reporting
lola: not produced: 3587
lola: state equation: 1
lola: find path: 7734
lola: goal oriented search: 265
lola: symmetry: 7664
lola: reporting
lola: not produced: 3583
lola: state equation: 1
lola: find path: 7736
lola: goal oriented search: 265
lola: symmetry: 7666
lola: reporting
lola: not produced: 3579
lola: state equation: 1
lola: find path: 7738
lola: goal oriented search: 265
lola: symmetry: 7668
lola: reporting
lola: not produced: 3579
lola: state equation: 1
lola: find path: 7738
lola: goal oriented search: 265
lola: symmetry: 7668
lola: reporting
lola: not produced: 3579
lola: state equation: 1
lola: find path: 7738
lola: goal oriented search: 265
lola: symmetry: 7668
lola: reporting
lola: not produced: 3575
lola: state equation: 1
lola: find path: 7740
lola: goal oriented search: 265
lola: symmetry: 7670
lola: reporting
lola: not produced: 3575
lola: state equation: 1
lola: find path: 7740
lola: goal oriented search: 265
lola: symmetry: 7670
lola: reporting
lola: not produced: 3571
lola: state equation: 1
lola: find path: 7742
lola: goal oriented search: 265
lola: symmetry: 7672
lola: reporting
lola: not produced: 3571
lola: state equation: 1
lola: find path: 7742
lola: goal oriented search: 265
lola: symmetry: 7672
lola: reporting
lola: not produced: 3571
lola: state equation: 1
lola: find path: 7742
lola: goal oriented search: 265
lola: symmetry: 7672
lola: reporting
lola: not produced: 3571
lola: state equation: 1
lola: find path: 7742
lola: goal oriented search: 265
lola: symmetry: 7672
lola: reporting
lola: not produced: 3571
lola: state equation: 1
lola: find path: 7742
lola: goal oriented search: 265
lola: symmetry: 7672
lola: reporting
lola: not produced: 3567
lola: state equation: 1
lola: find path: 7744
lola: goal oriented search: 265
lola: symmetry: 7674
lola: reporting
lola: not produced: 3567
lola: state equation: 1
lola: find path: 7744
lola: goal oriented search: 265
lola: symmetry: 7674
lola: reporting
lola: not produced: 3567
lola: state equation: 1
lola: find path: 7744
lola: goal oriented search: 265
lola: symmetry: 7674
lola: reporting
lola: not produced: 3567
lola: state equation: 1
lola: find path: 7744
lola: goal oriented search: 265
lola: symmetry: 7674
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: STATE EQUATION TRIES PLACE Node18HasAskedItsLeafSetToLx9ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node1ThinksNode19ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfLx10ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node24ThinksNode4ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToRx9ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node22ThinksNode5ShouldBeNodeMasterToReplaceNode18
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: STATE EQUATION TRIES PLACE Node22ThinksNode7ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node24ThinksNode21ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node2ThinksNode5ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node2ThinksNode4ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node24ThinksNode4ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfRx10ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode8
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfRx10ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfRx10ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node1ThinksNode20ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node22HasTheLeafSetOfRx10ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToRx9ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node16HasTheLeafSetOfRx10ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node23ThinksNode3ShouldBeNodeMasterToReplaceNode14
lola: reporting
lola: not produced: 3563
lola: state equation: 1
lola: find path: 7746
lola: goal oriented search: 265
lola: symmetry: 7676
lola: STATE EQUATION TRIES PLACE Node5HasAskedItsLeafSetToLx10ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node5HasAskedItsLeafSetToRx10ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node1ThinksNode21ShouldBeNodeMasterToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node22HasAskedItsLeafSetToLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node24ThinksNode18ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node23HasTheLeafSetOfRx10ToReplaceNode15
lola: STATE EQUATION TRIES PLACE RequestOfNode9IsSentToLx10
lola: reporting
lola: not produced: 3559
lola: state equation: 1
lola: find path: 7748
lola: goal oriented search: 265
lola: symmetry: 7678
lola: STATE EQUATION TRIES PLACE Node4ThinksNode15ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfLx10ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node6ThinksNode15ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node21HasTheLeafSetOfLx10ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node0ThinksNode21ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToRx10ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node24ThinksNode21ShouldBeNodeMasterToReplaceNode13
lola: reporting
lola: not produced: 3555
lola: state equation: 1
lola: find path: 7750
lola: goal oriented search: 265
lola: symmetry: 7680
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node24ThinksNode22ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node24ThinksNode21ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfLx10ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node22HasTheLeafSetOfRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node13HasTheLeafSetOfLx10ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToLx10ToReplaceNode10
lola: reporting
lola: not produced: 3551
lola: state equation: 1
lola: find path: 7752
lola: goal oriented search: 265
lola: symmetry: 7682
lola: STATE EQUATION TRIES PLACE Node5HasAskedItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node7ThinksNode8ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToRx10ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfLx10ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node1ThinksNode22ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node2ThinksNode21ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node23HasTheLeafSetOfLx10ToReplaceNode6
lola: reporting
lola: not produced: 3551
lola: state equation: 1
lola: find path: 7752
lola: goal oriented search: 265
lola: symmetry: 7682
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToLx10ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node1ThinksNode20ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node1ThinksNode3ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node23ThinksNode20ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfLx9ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node17ThinksNode16ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfRx9ToReplaceNode16
lola: reporting
lola: not produced: 3547
lola: state equation: 1
lola: find path: 7754
lola: goal oriented search: 265
lola: symmetry: 7684
lola: STATE EQUATION TRIES PLACE Node19ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node21HasTheLeafSetOfRx9ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node22ThinksNode19ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node23ThinksNode20ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node0ThinksNode7ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfLx9ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node1ThinksNode4ShouldBeNodeMasterToReplaceNode7
lola: reporting
lola: not produced: 3543
lola: state equation: 1
lola: find path: 7756
lola: goal oriented search: 265
lola: symmetry: 7686
lola: STATE EQUATION TRIES PLACE Node20ThinksNode8ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node21ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToRx9ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node0ThinksNode1ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node1ThinksNode19ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node24ThinksNode4ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node24ThinksNode5ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node23ThinksNode6ShouldBeNodeMasterToReplaceNode11
lola: reporting
lola: not produced: 3539
lola: state equation: 1
lola: find path: 7758
lola: goal oriented search: 265
lola: symmetry: 7688
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node0HasTheLeafSetOfRx10ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node13HasTheLeafSetOfRx10ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node19HasAskedItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE LeafSetOfLx10IsSentToNode17
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfLx10ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node3ThinksNode19ShouldBeNodeMasterToReplaceNode17
lola: reporting
lola: not produced: 3539
lola: state equation: 1
lola: find path: 7758
lola: goal oriented search: 265
lola: symmetry: 7688
lola: STATE EQUATION TRIES PLACE Node23ThinksNode8ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToRx9ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node23ThinksNode17ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node1ThinksNode6ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE LeafSetOfLx10IsSentToNode9
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfRx9ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node1ThinksNode3ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node2ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 3539
lola: state equation: 1
lola: find path: 7758
lola: goal oriented search: 265
lola: symmetry: 7688
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfRx9ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node12HasAskedItsLeafSetToRx10ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node3ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node22ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node2ThinksNode6ShouldBeNodeMasterToReplaceNode13
lola: reporting
lola: not produced: 3539
lola: state equation: 1
lola: find path: 7758
lola: goal oriented search: 265
lola: symmetry: 7688
lola: STATE EQUATION TRIES PLACE Node23ThinksNode2ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node24ThinksNode20ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node17HasAskedItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToLx10ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node22ThinksNode6ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node14HasAskedItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToRx9ToReplaceNode16
lola: reporting
lola: not produced: 3539
lola: state equation: 1
lola: find path: 7758
lola: goal oriented search: 265
lola: symmetry: 7688
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfRx10ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node24ThinksNode3ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToRx10ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfRx10ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node14HasAskedItsLeafSetToRx10ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfLx9ToReplaceNode2
lola: reporting
lola: not produced: 3539
lola: state equation: 1
lola: find path: 7758
lola: goal oriented search: 265
lola: symmetry: 7688
lola: STATE EQUATION TRIES PLACE Node0ThinksNode23ShouldBeNodeMasterToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node2ThinksNode6ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node2HasAskedItsLeafSetToLx10ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node0ThinksNode1ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node3ThinksNode18ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node20ThinksNode9ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfLx10ToReplaceNode5
lola: reporting
lola: not produced: 3539
lola: state equation: 1
lola: find path: 7758
lola: goal oriented search: 265
lola: symmetry: 7688
lola: STATE EQUATION TRIES PLACE Lx10HasReceivedTheRequestOfNode20
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToRx9ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToRx9ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node1HasTheLeafSetOfLx9ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node5ThinksNode8ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToRx10ToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfLx10ToReplaceNode8
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node16HasTheLeafSetOfLx9ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node0ThinksNode5ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node9HasTheLeafSetOfLx9ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToLx10ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node9HasAskedItsLeafSetToLx9ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node23ThinksNode2ShouldBeNodeMasterToReplaceNode22
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node13HasTheLeafSetOfRx9ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node1ThinksNode21ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node0ThinksNode23ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfLx10ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfLx10ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfLx10ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node3ThinksNode6ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node0ThinksNode21ShouldBeNodeMasterToReplaceNode4
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node0ThinksNode4ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfLx9ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx9ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node23ThinksNode7ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node24ThinksNode4ShouldBeNodeMasterToReplaceNode10
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node0ThinksNode5ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node0ThinksNode2ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx9ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx10ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node0ThinksNode3ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfLx9ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node19ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfRx9ToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node20ThinksNode7ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node24ThinksNode2ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node13HasTheLeafSetOfRx9ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node20ThinksNode6ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node20ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node20HasAskedItsLeafSetToLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node1HasTheLeafSetOfRx9ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node15HasTheLeafSetOfRx10ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node9HasTheLeafSetOfLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node2HasAskedItsLeafSetToLx10ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToLx9ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToLx10ToReplaceNode11
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node6ThinksNode17ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node14HasAskedItsLeafSetToLx10ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node23ThinksNode3ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node20HasAskedItsLeafSetToRx10ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfRx9ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Lx10HasReceivedTheRequestOfNode20
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node24ThinksNode3ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToLx10ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node21ThinksNode5ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node2ThinksNode5ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node13HasTheLeafSetOfRx9ToReplaceNode17
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node22ThinksNode21ShouldBeNodeMasterToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node5HasAskedItsLeafSetToLx10ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node20ThinksNode6ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node1ThinksNode22ShouldBeNodeMasterToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node15HasTheLeafSetOfLx10ToReplaceNode8
lola: reporting
lola: not produced: 3535
lola: state equation: 1
lola: find path: 7760
lola: goal oriented search: 265
lola: symmetry: 7690
lola: STATE EQUATION TRIES PLACE Node1HasTheLeafSetOfRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node22ThinksNode20ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfRx9ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node12HasTheLeafSetOfRx10ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToRx9ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node22ThinksNode3ShouldBeNodeMasterToReplaceNode8
lola: reporting
lola: not produced: 3531
lola: state equation: 1
lola: find path: 7762
lola: goal oriented search: 265
lola: symmetry: 7692
lola: STATE EQUATION TRIES PLACE Rx10HasReceivedTheRequestOfNode4
lola: STATE EQUATION TRIES PLACE Node4HasAskedItsLeafSetToLx10ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfRx10ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node24ThinksNode21ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node22HasTheLeafSetOfLx10ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node23HasTheLeafSetOfLx10ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node22ThinksNode4ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node3ThinksNode5ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 3531
lola: state equation: 1
lola: find path: 7762
lola: goal oriented search: 265
lola: symmetry: 7692
lola: STATE EQUATION TRIES PLACE Node12HasAskedItsLeafSetToRx9ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node19ThinksNode6ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node23ThinksNode4ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfRx10ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node24ThinksNode1ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node22HasAskedItsLeafSetToLx9ToReplaceNode10
lola: reporting
lola: not produced: 3527
lola: state equation: 1
lola: find path: 7764
lola: goal oriented search: 265
lola: symmetry: 7694
lola: STATE EQUATION TRIES PLACE Node0ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToRx9ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node23ThinksNode21ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node14HasAskedItsLeafSetToRx9ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node17HasAskedItsLeafSetToLx9ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfLx9ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node0ThinksNode2ShouldBeNodeMasterToReplaceNode9
lola: reporting
lola: not produced: 3527
lola: state equation: 1
lola: find path: 7764
lola: goal oriented search: 265
lola: symmetry: 7694
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfRx9ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node4HasAskedItsLeafSetToLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node0ThinksNode21ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node21HasTheLeafSetOfLx10ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToRx10ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfLx9ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node23ThinksNode2ShouldBeNodeMasterToReplaceNode6
lola: reporting
lola: not produced: 3527
lola: state equation: 1
lola: find path: 7764
lola: goal oriented search: 265
lola: symmetry: 7694
lola: STATE EQUATION TRIES PLACE Node3ThinksNode19ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToLx9ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node22ThinksNode4ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfRx9ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node4ThinksNode6ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node0ThinksNode20ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE RequestOfNode23IsSentToRx10
lola: reporting
lola: not produced: 3527
lola: state equation: 1
lola: find path: 7764
lola: goal oriented search: 265
lola: symmetry: 7694
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfRx10ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node9HasTheLeafSetOfRx9ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx10ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node24ThinksNode2ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node23ThinksNode22ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node18HasAskedItsLeafSetToLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node24ThinksNode1ShouldBeNodeMasterToReplaceNode11
lola: reporting
lola: not produced: 3527
lola: state equation: 1
lola: find path: 7764
lola: goal oriented search: 265
lola: symmetry: 7694
lola: STATE EQUATION TRIES PLACE Node1ThinksNode4ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE LeafSetOfRx10IsSentToNode24
lola: STATE EQUATION TRIES PLACE Node16HasTheLeafSetOfRx10ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node4HasTheLeafSetOfLx9ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfRx10ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node12HasTheLeafSetOfLx10ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfRx10ToReplaceNode14
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node3ThinksNode19ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node0ThinksNode21ShouldBeNodeMasterToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node5ThinksNode16ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node15HasTheLeafSetOfLx10ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToLx9ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node9HasTheLeafSetOfLx9ToReplaceNode11
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node4ThinksNode18ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node4HasTheLeafSetOfLx10ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfRx9ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node23ThinksNode19ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfLx10ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node4HasTheLeafSetOfRx10ToReplaceNode18
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node15HasTheLeafSetOfRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node23ThinksNode4ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node12IsNotifiedThatHeIsTheNewMaster
lola: STATE EQUATION TRIES PLACE Node17HasAskedItsLeafSetToRx9ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node0ThinksNode6ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToRx10ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToRx10ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Rx10HasReceivedTheRequestOfNode16
lola: STATE EQUATION TRIES PLACE Node4HasTheLeafSetOfLx9ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node22ThinksNode4ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node2ThinksNode4ShouldBeNodeMasterToReplaceNode17
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node0ThinksNode2ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node5ThinksNode18ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node4ThinksNode8ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfLx9ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToRx10ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node2ThinksNode19ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node20HasAskedItsLeafSetToRx9ToReplaceNode16
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node23ThinksNode21ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfRx10ToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfRx9ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node1ThinksNode17ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node21ThinksNode4ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node14HasAskedItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node0ThinksNode20ShouldBeNodeMasterToReplaceNode10
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node0ThinksNode20ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node23ThinksNode5ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfLx10ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node5HasAskedItsLeafSetToLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Rx10HasReceivedTheRequestOfNode4
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToRx10ToReplaceNode22
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node20ThinksNode8ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node2ThinksNode20ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node0ThinksNode22ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node22HasTheLeafSetOfLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node23ThinksNode4ShouldBeNodeMasterToReplaceNode13
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node0ThinksNode18ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node22HasAskedItsLeafSetToLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node19HasAskedItsLeafSetToRx10ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node23ThinksNode18ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfLx9ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfRx10ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node2ThinksNode21ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfRx10ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfRx10ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node1ThinksNode3ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node19HasAskedItsLeafSetToRx9ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToLx10ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node1ThinksNode22ShouldBeNodeMasterToReplaceNode13
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 7765
lola: goal oriented search: 265
lola: symmetry: 7695
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfRx9ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node2ThinksNode20ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node20ThinksNode7ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE LeafSetOfLx10IsSentToNode17
lola: STATE EQUATION TRIES PLACE Node5ThinksNode6ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node6ThinksNode17ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node22IsNotifiedThatHeIsTheNewMaster
lola: reporting
lola: not produced: 3517
lola: state equation: 1
lola: find path: 7769
lola: goal oriented search: 265
lola: symmetry: 7699
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfLx10ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToRx10ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node3ThinksNode19ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node4ThinksNode5ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node23ThinksNode4ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node24ThinksNode1ShouldBeNodeMasterToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node0ThinksNode2ShouldBeNodeMasterToReplaceNode18
lola: reporting
lola: not produced: 3513
lola: state equation: 1
lola: find path: 7771
lola: goal oriented search: 265
lola: symmetry: 7701
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfLx9ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node1ThinksNode16ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node23HasTheLeafSetOfLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node4ThinksNode5ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToRx10ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node1ThinksNode19ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfRx10ToReplaceNode15
lola: reporting
lola: not produced: 3513
lola: state equation: 1
lola: find path: 7771
lola: goal oriented search: 265
lola: symmetry: 7701
lola: STATE EQUATION TRIES PLACE Node2ThinksNode20ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfRx10ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node15HasTheLeafSetOfLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node24ThinksNode3ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node1ThinksNode19ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node0HasAskedItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE RequestOfNode1IsSentToLx10
lola: reporting
lola: not produced: 3513
lola: state equation: 1
lola: find path: 7771
lola: goal oriented search: 265
lola: symmetry: 7701
lola: STATE EQUATION TRIES PLACE Node20ThinksNode6ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node24ThinksNode21ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node2HasAskedItsLeafSetToLx9ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToRx9ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node2ThinksNode21ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfRx10ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node9HasTheLeafSetOfLx9ToReplaceNode11
lola: reporting
lola: not produced: 3513
lola: state equation: 1
lola: find path: 7771
lola: goal oriented search: 265
lola: symmetry: 7701
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToLx9ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfLx10ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node1HasTheLeafSetOfLx9ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToRx10ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node22ThinksNode7ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Rx9HasReceivedTheRequestOfNode15
lola: reporting
lola: not produced: 3513
lola: state equation: 1
lola: find path: 7771
lola: goal oriented search: 265
lola: symmetry: 7701
lola: STATE EQUATION TRIES PLACE Node0HasAskedItsLeafSetToLx9ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node0ThinksNode17ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node24ThinksNode1ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node23ThinksNode4ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfLx9ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfRx10ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToLx10ToReplaceNode2
lola: reporting
lola: not produced: 3509
lola: state equation: 1
lola: find path: 7773
lola: goal oriented search: 265
lola: symmetry: 7703
lola: STATE EQUATION TRIES PLACE Node16HasTheLeafSetOfLx10ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfLx9ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfRx9ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node4ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node18ThinksNode17ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE RequestOfNode22IsSentToRx10
lola: STATE EQUATION TRIES PLACE Node24ThinksNode22ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 3509
lola: state equation: 1
lola: find path: 7773
lola: goal oriented search: 265
lola: symmetry: 7703
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToRx9ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node17HasAskedItsLeafSetToRx9ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node23ThinksNode4ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node16HasTheLeafSetOfLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node24ThinksNode3ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node23ThinksNode6ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node1ThinksNode20ShouldBeNodeMasterToReplaceNode6
lola: reporting
lola: not produced: 3509
lola: state equation: 1
lola: find path: 7773
lola: goal oriented search: 265
lola: symmetry: 7703
lola: STATE EQUATION TRIES PLACE Node20ThinksNode5ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node12HasTheLeafSetOfLx10ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfRx10ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node20HasAskedItsLeafSetToLx10ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToLx10ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node23HasTheLeafSetOfRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node2ThinksNode18ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 3509
lola: state equation: 1
lola: find path: 7773
lola: goal oriented search: 265
lola: symmetry: 7703
lola: STATE EQUATION TRIES PLACE Node7HasTheLeafSetOfLx9ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node24ThinksNode2ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node24ThinksNode19ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfRx9ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node23ThinksNode18ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node4ThinksNode6ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node5HasAskedItsLeafSetToLx10ToReplaceNode11
lola: reporting
lola: not produced: 3509
lola: state equation: 1
lola: find path: 7773
lola: goal oriented search: 265
lola: symmetry: 7703
lola: STATE EQUATION TRIES PLACE Node2ThinksNode18ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node21ThinksNode5ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node5ThinksNode16ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node21ThinksNode4ShouldBeNodeMasterToReplaceNode10
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-S24C11"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S24C11, 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 r296-tall-162124162700438"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C11.tgz
mv MultiCrashLeafsetExtension-PT-S24C11 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 '
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 ;