Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 13K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Apr 12 06:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 179K Apr 12 06:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 15M May 18 16:43 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 1717417786189

starting LoLA
BK_EXAMINATION: StableMarking
BK_TIME_CONFINEMENT: 1800
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

[lola][I] LoLA will run for 1800 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] reporting
[lola][I] not produced: 15177
[lola][I] reporting
[lola][I] not produced: 15177
[lola][I] reporting
[lola][I] not produced: 15177
[lola][I] reporting
[lola][I] not produced: 15177
[lola][I] reporting
[lola][I] not produced: 15177
[lola][I] reporting
[lola][I] not produced: 11557
[lola][I] find path: 1730
[lola][I] goal oriented search: 309
[lola][I] symmetry: 1581
[lola][I] reporting
[lola][I] not produced: 6947
[lola][I] find path: 4040
[lola][I] goal oriented search: 309
[lola][I] symmetry: 3881
[lola][I] reporting
[lola][I] not produced: 5953
[lola][I] find path: 4537
[lola][I] goal oriented search: 309
[lola][I] symmetry: 4378
[lola][I] reporting
[lola][I] not produced: 5555
[lola][I] find path: 4736
[lola][I] goal oriented search: 309
[lola][I] symmetry: 4577
[lola][I] reporting
[lola][I] not produced: 5265
[lola][I] find path: 4881
[lola][I] goal oriented search: 309
[lola][I] symmetry: 4722
[lola][I] reporting
[lola][I] not produced: 5083
[lola][I] find path: 4972
[lola][I] goal oriented search: 309
[lola][I] symmetry: 4813
[lola][I] reporting
[lola][I] not produced: 4931
[lola][I] find path: 5048
[lola][I] goal oriented search: 309
[lola][I] symmetry: 4889
[lola][I] reporting
[lola][I] not produced: 4759
[lola][I] find path: 5134
[lola][I] goal oriented search: 309
[lola][I] symmetry: 4975
[lola][I] reporting
[lola][I] not produced: 4609
[lola][I] find path: 5209
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5050
[lola][I] reporting
[lola][I] not produced: 4543
[lola][I] find path: 5242
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5083
[lola][I] reporting
[lola][I] not produced: 4477
[lola][I] find path: 5275
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5116
[lola][I] reporting
[lola][I] not produced: 4437
[lola][I] find path: 5295
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5136
[lola][I] reporting
[lola][I] not produced: 4379
[lola][I] find path: 5324
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5165
[lola][I] reporting
[lola][I] not produced: 4337
[lola][I] find path: 5345
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5186
[lola][I] reporting
[lola][I] not produced: 4285
[lola][I] find path: 5371
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5212
[lola][I] reporting
[lola][I] not produced: 4261
[lola][I] find path: 5383
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5224
[lola][I] reporting
[lola][I] not produced: 4245
[lola][I] find path: 5391
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5232
[lola][I] reporting
[lola][I] not produced: 4203
[lola][I] find path: 5412
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5253
[lola][I] reporting
[lola][I] not produced: 4171
[lola][I] find path: 5428
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5269
[lola][I] reporting
[lola][I] not produced: 4147
[lola][I] find path: 5440
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5281
[lola][I] reporting
[lola][I] not produced: 4139
[lola][I] find path: 5444
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5285
[lola][I] reporting
[lola][I] not produced: 4127
[lola][I] find path: 5450
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5291
[lola][I] reporting
[lola][I] not produced: 4087
[lola][I] find path: 5470
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5311
[lola][I] reporting
[lola][I] not produced: 4045
[lola][I] find path: 5491
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5332
[lola][I] reporting
[lola][I] not produced: 4029
[lola][I] find path: 5499
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5340
[lola][I] reporting
[lola][I] not produced: 4019
[lola][I] find path: 5504
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5345
[lola][I] reporting
[lola][I] not produced: 4003
[lola][I] find path: 5512
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5353
[lola][I] reporting
[lola][I] not produced: 3987
[lola][I] find path: 5520
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5361
[lola][I] reporting
[lola][I] not produced: 3967
[lola][I] find path: 5530
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5371
[lola][I] reporting
[lola][I] not produced: 3945
[lola][I] find path: 5541
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5382
[lola][I] reporting
[lola][I] not produced: 3925
[lola][I] find path: 5551
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5392
[lola][I] reporting
[lola][I] not produced: 3907
[lola][I] find path: 5560
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5401
[lola][I] reporting
[lola][I] not produced: 3889
[lola][I] find path: 5569
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5410
[lola][I] reporting
[lola][I] not produced: 3871
[lola][I] find path: 5578
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5419
[lola][I] reporting
[lola][I] not produced: 3867
[lola][I] find path: 5580
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5421
[lola][I] reporting
[lola][I] not produced: 3867
[lola][I] find path: 5580
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5421
[lola][I] reporting
[lola][I] not produced: 3857
[lola][I] find path: 5585
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5426
[lola][I] reporting
[lola][I] not produced: 3845
[lola][I] find path: 5591
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5432
[lola][I] reporting
[lola][I] not produced: 3841
[lola][I] find path: 5593
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5434
[lola][I] reporting
[lola][I] not produced: 3825
[lola][I] find path: 5601
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5442
[lola][I] reporting
[lola][I] not produced: 3815
[lola][I] find path: 5606
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5447
[lola][I] reporting
[lola][I] not produced: 3811
[lola][I] find path: 5608
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5449
[lola][I] reporting
[lola][I] not produced: 3793
[lola][I] find path: 5617
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5458
[lola][I] reporting
[lola][I] not produced: 3787
[lola][I] find path: 5620
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5461
[lola][I] reporting
[lola][I] not produced: 3781
[lola][I] find path: 5623
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5464
[lola][I] reporting
[lola][I] not produced: 3777
[lola][I] find path: 5625
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5466
[lola][I] reporting
[lola][I] not produced: 3763
[lola][I] find path: 5632
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5473
[lola][I] reporting
[lola][I] not produced: 3751
[lola][I] find path: 5638
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5479
[lola][I] reporting
[lola][I] not produced: 3735
[lola][I] find path: 5646
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5487
[lola][I] reporting
[lola][I] not produced: 3735
[lola][I] find path: 5646
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5487
[lola][I] reporting
[lola][I] not produced: 3725
[lola][I] find path: 5651
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5492
[lola][I] reporting
[lola][I] not produced: 3721
[lola][I] find path: 5653
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5494
[lola][I] reporting
[lola][I] not produced: 3717
[lola][I] find path: 5655
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5496
[lola][I] reporting
[lola][I] not produced: 3717
[lola][I] find path: 5655
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5496
[lola][I] reporting
[lola][I] not produced: 3705
[lola][I] find path: 5661
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5502
[lola][I] reporting
[lola][I] not produced: 3697
[lola][I] find path: 5665
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5506
[lola][I] reporting
[lola][I] not produced: 3689
[lola][I] find path: 5669
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5510
[lola][I] reporting
[lola][I] not produced: 3685
[lola][I] find path: 5671
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5512
[lola][I] reporting
[lola][I] not produced: 3677
[lola][I] find path: 5675
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5516
[lola][I] reporting
[lola][I] not produced: 3673
[lola][I] find path: 5677
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5518
[lola][I] reporting
[lola][I] not produced: 3669
[lola][I] find path: 5679
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5520
[lola][I] reporting
[lola][I] not produced: 3667
[lola][I] find path: 5680
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5521
[lola][I] reporting
[lola][I] not produced: 3645
[lola][I] find path: 5691
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5532
[lola][I] reporting
[lola][I] not produced: 3641
[lola][I] find path: 5693
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5534
[lola][I] reporting
[lola][I] not produced: 3629
[lola][I] find path: 5699
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5540
[lola][I] reporting
[lola][I] not produced: 3625
[lola][I] find path: 5701
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5542
[lola][I] reporting
[lola][I] not produced: 3621
[lola][I] find path: 5703
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5544
[lola][I] reporting
[lola][I] not produced: 3617
[lola][I] find path: 5705
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5546
[lola][I] reporting
[lola][I] not produced: 3611
[lola][I] find path: 5708
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5549
[lola][I] reporting
[lola][I] not produced: 3607
[lola][I] find path: 5710
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5551
[lola][I] reporting
[lola][I] not produced: 3599
[lola][I] find path: 5714
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5555
[lola][I] reporting
[lola][I] not produced: 3599
[lola][I] find path: 5714
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5555
[lola][I] reporting
[lola][I] not produced: 3599
[lola][I] find path: 5714
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5555
[lola][I] reporting
[lola][I] not produced: 3593
[lola][I] find path: 5717
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5558
[lola][I] reporting
[lola][I] not produced: 3593
[lola][I] find path: 5717
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5558
[lola][I] reporting
[lola][I] not produced: 3589
[lola][I] find path: 5719
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5560
[lola][I] reporting
[lola][I] not produced: 3585
[lola][I] find path: 5721
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5562
[lola][I] reporting
[lola][I] not produced: 3579
[lola][I] find path: 5724
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5565
[lola][I] reporting
[lola][I] not produced: 3575
[lola][I] find path: 5726
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5567
[lola][I] reporting
[lola][I] not produced: 3575
[lola][I] find path: 5726
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5567
[lola][I] reporting
[lola][I] not produced: 3563
[lola][I] find path: 5732
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5573
[lola][I] reporting
[lola][I] not produced: 3555
[lola][I] find path: 5736
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5577
[lola][I] reporting
[lola][I] not produced: 3551
[lola][I] find path: 5738
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5579
[lola][I] reporting
[lola][I] not produced: 3551
[lola][I] find path: 5738
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5579
[lola][I] reporting
[lola][I] not produced: 3551
[lola][I] find path: 5738
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5579
[lola][I] reporting
[lola][I] not produced: 3551
[lola][I] find path: 5738
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5579
[lola][I] reporting
[lola][I] not produced: 3551
[lola][I] find path: 5738
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5579
[lola][I] reporting
[lola][I] not produced: 3547
[lola][I] find path: 5740
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5581
[lola][I] reporting
[lola][I] not produced: 3547
[lola][I] find path: 5740
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5581
[lola][I] reporting
[lola][I] not produced: 3547
[lola][I] find path: 5740
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5581
[lola][I] reporting
[lola][I] not produced: 3547
[lola][I] find path: 5740
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5581
[lola][I] reporting
[lola][I] not produced: 3547
[lola][I] find path: 5740
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5581
[lola][I] reporting
[lola][I] not produced: 3545
[lola][I] find path: 5741
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5582
[lola][I] reporting
[lola][I] not produced: 3543
[lola][I] find path: 5742
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5583
[lola][I] reporting
[lola][I] not produced: 3539
[lola][I] find path: 5744
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5585
[lola][I] reporting
[lola][I] not produced: 3539
[lola][I] find path: 5744
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5585
[lola][I] reporting
[lola][I] not produced: 3539
[lola][I] find path: 5744
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5585
[lola][I] reporting
[lola][I] not produced: 3535
[lola][I] find path: 5746
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5587
[lola][I] reporting
[lola][I] not produced: 3535
[lola][I] find path: 5746
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5587
[lola][I] reporting
[lola][I] not produced: 3529
[lola][I] find path: 5749
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5590
[lola][I] reporting
[lola][I] not produced: 3525
[lola][I] find path: 5751
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5592
[lola][I] reporting
[lola][I] not produced: 3523
[lola][I] find path: 5752
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5593
[lola][I] reporting
[lola][I] not produced: 3523
[lola][I] find path: 5752
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5593
[lola][I] reporting
[lola][I] not produced: 3521
[lola][I] find path: 5753
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5594
[lola][I] reporting
[lola][I] not produced: 3517
[lola][I] find path: 5755
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5596
[lola][I] reporting
[lola][I] not produced: 3513
[lola][I] find path: 5757
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5598
[lola][I] reporting
[lola][I] not produced: 3513
[lola][I] find path: 5757
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5598
[lola][I] reporting
[lola][I] not produced: 3509
[lola][I] find path: 5759
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5600
[lola][I] reporting
[lola][I] not produced: 3503
[lola][I] find path: 5762
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5603
[lola][I] reporting
[lola][I] not produced: 3499
[lola][I] find path: 5764
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5605
[lola][I] reporting
[lola][I] not produced: 3493
[lola][I] find path: 5767
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5608
[lola][I] reporting
[lola][I] not produced: 3493
[lola][I] find path: 5767
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5608
[lola][I] reporting
[lola][I] not produced: 3489
[lola][I] find path: 5769
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5610
[lola][I] reporting
[lola][I] not produced: 3489
[lola][I] find path: 5769
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5610
[lola][I] reporting
[lola][I] not produced: 3489
[lola][I] find path: 5769
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5610
[lola][I] reporting
[lola][I] not produced: 3489
[lola][I] find path: 5769
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5610
[lola][I] reporting
[lola][I] not produced: 3489
[lola][I] find path: 5769
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5610
[lola][I] reporting
[lola][I] not produced: 3485
[lola][I] find path: 5771
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5612
[lola][I] reporting
[lola][I] not produced: 3485
[lola][I] find path: 5771
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5612
[lola][I] reporting
[lola][I] not produced: 3485
[lola][I] find path: 5771
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5612
[lola][I] reporting
[lola][I] not produced: 3477
[lola][I] find path: 5775
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5616
[lola][I] reporting
[lola][I] not produced: 3475
[lola][I] find path: 5776
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5617
[lola][I] reporting
[lola][I] not produced: 3475
[lola][I] find path: 5776
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5617
[lola][I] reporting
[lola][I] not produced: 3471
[lola][I] find path: 5778
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5619
[lola][I] reporting
[lola][I] not produced: 3463
[lola][I] find path: 5782
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5623
[lola][I] reporting
[lola][I] not produced: 3463
[lola][I] find path: 5782
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5623
[lola][I] reporting
[lola][I] not produced: 3463
[lola][I] find path: 5782
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5623
[lola][I] reporting
[lola][I] not produced: 3463
[lola][I] find path: 5782
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5623
[lola][I] reporting
[lola][I] not produced: 3463
[lola][I] find path: 5782
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5623
[lola][I] reporting
[lola][I] not produced: 3453
[lola][I] find path: 5787
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5628
[lola][I] reporting
[lola][I] not produced: 3453
[lola][I] find path: 5787
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5628
[lola][I] reporting
[lola][I] not produced: 3453
[lola][I] find path: 5787
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5628
[lola][I] reporting
[lola][I] not produced: 3453
[lola][I] find path: 5787
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5628
[lola][I] reporting
[lola][I] not produced: 3449
[lola][I] find path: 5789
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5630
[lola][I] reporting
[lola][I] not produced: 3449
[lola][I] find path: 5789
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5630
[lola][I] reporting
[lola][I] not produced: 3449
[lola][I] find path: 5789
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5630
[lola][I] reporting
[lola][I] not produced: 3449
[lola][I] find path: 5789
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5630
[lola][I] reporting
[lola][I] not produced: 3441
[lola][I] find path: 5793
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5634
[lola][I] reporting
[lola][I] not produced: 3441
[lola][I] find path: 5793
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5634
[lola][I] reporting
[lola][I] not produced: 3441
[lola][I] find path: 5793
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5634
[lola][I] reporting
[lola][I] not produced: 3435
[lola][I] find path: 5796
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5637
[lola][I] reporting
[lola][I] not produced: 3435
[lola][I] find path: 5796
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5637
[lola][I] reporting
[lola][I] not produced: 3435
[lola][I] find path: 5796
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5637
[lola][I] reporting
[lola][I] not produced: 3435
[lola][I] find path: 5796
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5637
[lola][I] reporting
[lola][I] not produced: 3435
[lola][I] find path: 5796
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5637
[lola][I] reporting
[lola][I] not produced: 3435
[lola][I] find path: 5796
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5637
[lola][I] reporting
[lola][I] not produced: 3435
[lola][I] find path: 5796
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5637
[lola][I] reporting
[lola][I] not produced: 3431
[lola][I] find path: 5798
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5639
[lola][I] reporting
[lola][I] not produced: 3431
[lola][I] find path: 5798
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5639
[lola][I] reporting
[lola][I] not produced: 3427
[lola][I] find path: 5800
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5641
[lola][I] reporting
[lola][I] not produced: 3427
[lola][I] find path: 5800
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5641
[lola][I] reporting
[lola][I] not produced: 3427
[lola][I] find path: 5800
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5641
[lola][I] reporting
[lola][I] not produced: 3427
[lola][I] find path: 5800
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5641
[lola][I] reporting
[lola][I] not produced: 3427
[lola][I] find path: 5800
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5641
[lola][I] reporting
[lola][I] not produced: 3427
[lola][I] find path: 5800
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5641
[lola][I] reporting
[lola][I] not produced: 3427
[lola][I] find path: 5800
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5641
[lola][I] reporting
[lola][I] not produced: 3423
[lola][I] find path: 5802
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5643
[lola][I] reporting
[lola][I] not produced: 3423
[lola][I] find path: 5802
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5643
[lola][I] reporting
[lola][I] not produced: 3423
[lola][I] find path: 5802
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5643
[lola][I] reporting
[lola][I] not produced: 3423
[lola][I] find path: 5802
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5643
[lola][I] reporting
[lola][I] not produced: 3423
[lola][I] find path: 5802
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5643
[lola][I] reporting
[lola][I] not produced: 3417
[lola][I] find path: 5805
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5646
[lola][I] reporting
[lola][I] not produced: 3413
[lola][I] find path: 5807
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5648
[lola][I] reporting
[lola][I] not produced: 3413
[lola][I] find path: 5807
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5648
[lola][I] reporting
[lola][I] not produced: 3413
[lola][I] find path: 5807
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5648
[lola][I] reporting
[lola][I] not produced: 3411
[lola][I] find path: 5808
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5649
[lola][I] reporting
[lola][I] not produced: 3409
[lola][I] find path: 5809
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5650
[lola][I] reporting
[lola][I] not produced: 3409
[lola][I] find path: 5809
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5650
[lola][I] reporting
[lola][I] not produced: 3409
[lola][I] find path: 5809
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5650
[lola][I] reporting
[lola][I] not produced: 3409
[lola][I] find path: 5809
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5650
[lola][I] reporting
[lola][I] not produced: 3409
[lola][I] find path: 5809
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5650
[lola][I] reporting
[lola][I] not produced: 3409
[lola][I] find path: 5809
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5650
[lola][I] reporting
[lola][I] not produced: 3405
[lola][I] find path: 5811
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5652
[lola][I] reporting
[lola][I] not produced: 3405
[lola][I] find path: 5811
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5652
[lola][I] reporting
[lola][I] not produced: 3405
[lola][I] find path: 5811
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5652
[lola][I] reporting
[lola][I] not produced: 3403
[lola][I] find path: 5812
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5653
[lola][I] reporting
[lola][I] not produced: 3403
[lola][I] find path: 5812
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5653
[lola][I] reporting
[lola][I] not produced: 3401
[lola][I] find path: 5813
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5654
[lola][I] reporting
[lola][I] not produced: 3401
[lola][I] find path: 5813
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5654
[lola][I] reporting
[lola][I] not produced: 3401
[lola][I] find path: 5813
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5654
[lola][I] reporting
[lola][I] not produced: 3401
[lola][I] find path: 5813
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5654
[lola][I] reporting
[lola][I] not produced: 3401
[lola][I] find path: 5813
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5654
[lola][I] reporting
[lola][I] not produced: 3401
[lola][I] find path: 5813
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5654
[lola][I] reporting
[lola][I] not produced: 3401
[lola][I] find path: 5813
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5654
[lola][I] reporting
[lola][I] not produced: 3397
[lola][I] find path: 5815
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5656
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3393
[lola][I] find path: 5817
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5658
[lola][I] reporting
[lola][I] not produced: 3391
[lola][I] find path: 5818
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5659
[lola][I] reporting
[lola][I] not produced: 3391
[lola][I] find path: 5818
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5659
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3387
[lola][I] find path: 5820
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5661
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3385
[lola][I] find path: 5821
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5662
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3381
[lola][I] find path: 5823
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5664
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3375
[lola][I] find path: 5826
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5667
[lola][I] reporting
[lola][I] not produced: 3373
[lola][I] find path: 5827
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5668
[lola][I] reporting
[lola][I] not produced: 3373
[lola][I] find path: 5827
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5668
[lola][I] reporting
[lola][I] not produced: 3373
[lola][I] find path: 5827
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5668
[lola][I] reporting
[lola][I] not produced: 3373
[lola][I] find path: 5827
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5668
[lola][I] reporting
[lola][I] not produced: 3373
[lola][I] find path: 5827
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5668
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3371
[lola][I] find path: 5828
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5669
[lola][I] reporting
[lola][I] not produced: 3369
[lola][I] find path: 5829
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5670
[lola][I] reporting
[lola][I] not produced: 3369
[lola][I] find path: 5829
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5670
[lola][I] reporting
[lola][I] not produced: 3369
[lola][I] find path: 5829
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5670
[lola][I] reporting
[lola][I] not produced: 3369
[lola][I] find path: 5829
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5670
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3367
[lola][I] find path: 5830
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5671
[lola][I] reporting
[lola][I] not produced: 3365
[lola][I] find path: 5831
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5672
[lola][I] reporting
[lola][I] not produced: 3365
[lola][I] find path: 5831
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5672
[lola][I] reporting
[lola][I] not produced: 3365
[lola][I] find path: 5831
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5672
[lola][I] reporting
[lola][I] not produced: 3365
[lola][I] find path: 5831
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5672
[lola][I] reporting
[lola][I] not produced: 3365
[lola][I] find path: 5831
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5672
[lola][I] reporting
[lola][I] not produced: 3365
[lola][I] find path: 5831
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5672
[lola][I] reporting
[lola][I] not produced: 3361
[lola][I] find path: 5833
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5674
[lola][I] reporting
[lola][I] not produced: 3361
[lola][I] find path: 5833
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5674
[lola][I] reporting
[lola][I] not produced: 3359
[lola][I] find path: 5834
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5675
[lola][I] reporting
[lola][I] not produced: 3355
[lola][I] find path: 5836
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5677
[lola][I] reporting
[lola][I] not produced: 3355
[lola][I] find path: 5836
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5677
[lola][I] reporting
[lola][I] not produced: 3355
[lola][I] find path: 5836
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5677
[lola][I] reporting
[lola][I] not produced: 3355
[lola][I] find path: 5836
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5677
[lola][I] reporting
[lola][I] not produced: 3353
[lola][I] find path: 5837
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5678
[lola][I] reporting
[lola][I] not produced: 3353
[lola][I] find path: 5837
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5678
[lola][I] reporting
[lola][I] not produced: 3353
[lola][I] find path: 5837
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5678
[lola][I] reporting
[lola][I] not produced: 3353
[lola][I] find path: 5837
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5678
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680
[lola][I] reporting
[lola][I] not produced: 3349
[lola][I] find path: 5839
[lola][I] goal oriented search: 309
[lola][I] symmetry: 5680

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-S24C08"
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-5568"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S24C08, 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 r256-tall-171654365600068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C08.tgz
mv MultiCrashLeafsetExtension-PT-S24C08 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;