About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C12
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
0.000 | 1693587.00 | 0.00 | 0.00 | [undef] | Cannot compute |
Execution Chart
Sorry, for this execution, no execution chart could be reported.
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r256-tall-171654365800143.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-S32C12, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365800143
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 19 07:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 150K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 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 37M 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 1717425241318
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_STOP 1717426934905
--------------------
content from stderr:
[[35mlola[0m][I] LoLA will run for 1800 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36721
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 36353
[[35mlola[0m][I] find path: 368
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 30275
[[35mlola[0m][I] find path: 3420
[[35mlola[0m][I] symmetry: 3026
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 27481
[[35mlola[0m][I] find path: 4819
[[35mlola[0m][I] symmetry: 4421
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 25583
[[35mlola[0m][I] find path: 5770
[[35mlola[0m][I] symmetry: 5368
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 23985
[[35mlola[0m][I] find path: 6570
[[35mlola[0m][I] symmetry: 6166
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 22907
[[35mlola[0m][I] find path: 7109
[[35mlola[0m][I] symmetry: 6705
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21953
[[35mlola[0m][I] find path: 7590
[[35mlola[0m][I] symmetry: 7178
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 21155
[[35mlola[0m][I] find path: 7989
[[35mlola[0m][I] symmetry: 7577
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 20423
[[35mlola[0m][I] find path: 8355
[[35mlola[0m][I] symmetry: 7943
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19793
[[35mlola[0m][I] find path: 8670
[[35mlola[0m][I] symmetry: 8258
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 19227
[[35mlola[0m][I] find path: 8953
[[35mlola[0m][I] symmetry: 8541
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18767
[[35mlola[0m][I] find path: 9183
[[35mlola[0m][I] symmetry: 8771
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 18329
[[35mlola[0m][I] find path: 9402
[[35mlola[0m][I] symmetry: 8990
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17935
[[35mlola[0m][I] find path: 9599
[[35mlola[0m][I] symmetry: 9187
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17423
[[35mlola[0m][I] find path: 9855
[[35mlola[0m][I] symmetry: 9443
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 17069
[[35mlola[0m][I] find path: 10032
[[35mlola[0m][I] symmetry: 9620
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 16749
[[35mlola[0m][I] find path: 10192
[[35mlola[0m][I] symmetry: 9780
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 16449
[[35mlola[0m][I] find path: 10342
[[35mlola[0m][I] symmetry: 9930
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 16221
[[35mlola[0m][I] find path: 10456
[[35mlola[0m][I] symmetry: 10044
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 15971
[[35mlola[0m][I] find path: 10581
[[35mlola[0m][I] symmetry: 10169
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 15655
[[35mlola[0m][I] find path: 10739
[[35mlola[0m][I] symmetry: 10327
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 15475
[[35mlola[0m][I] find path: 10829
[[35mlola[0m][I] symmetry: 10417
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 15317
[[35mlola[0m][I] find path: 10908
[[35mlola[0m][I] symmetry: 10496
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 15151
[[35mlola[0m][I] find path: 10991
[[35mlola[0m][I] symmetry: 10579
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 15055
[[35mlola[0m][I] find path: 11039
[[35mlola[0m][I] symmetry: 10627
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14881
[[35mlola[0m][I] find path: 11126
[[35mlola[0m][I] symmetry: 10714
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14671
[[35mlola[0m][I] find path: 11231
[[35mlola[0m][I] symmetry: 10819
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14539
[[35mlola[0m][I] find path: 11297
[[35mlola[0m][I] symmetry: 10885
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14409
[[35mlola[0m][I] find path: 11362
[[35mlola[0m][I] symmetry: 10950
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14259
[[35mlola[0m][I] find path: 11437
[[35mlola[0m][I] symmetry: 11025
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 14113
[[35mlola[0m][I] find path: 11510
[[35mlola[0m][I] symmetry: 11098
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13969
[[35mlola[0m][I] find path: 11582
[[35mlola[0m][I] symmetry: 11170
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13863
[[35mlola[0m][I] find path: 11635
[[35mlola[0m][I] symmetry: 11223
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13795
[[35mlola[0m][I] find path: 11669
[[35mlola[0m][I] symmetry: 11257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13739
[[35mlola[0m][I] find path: 11697
[[35mlola[0m][I] symmetry: 11285
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13647
[[35mlola[0m][I] find path: 11743
[[35mlola[0m][I] symmetry: 11331
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13541
[[35mlola[0m][I] find path: 11796
[[35mlola[0m][I] symmetry: 11384
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13455
[[35mlola[0m][I] find path: 11839
[[35mlola[0m][I] symmetry: 11427
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13373
[[35mlola[0m][I] find path: 11880
[[35mlola[0m][I] symmetry: 11468
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13305
[[35mlola[0m][I] find path: 11914
[[35mlola[0m][I] symmetry: 11502
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13227
[[35mlola[0m][I] find path: 11953
[[35mlola[0m][I] symmetry: 11541
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13135
[[35mlola[0m][I] find path: 11999
[[35mlola[0m][I] symmetry: 11587
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 13081
[[35mlola[0m][I] find path: 12026
[[35mlola[0m][I] symmetry: 11614
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12985
[[35mlola[0m][I] find path: 12074
[[35mlola[0m][I] symmetry: 11662
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12933
[[35mlola[0m][I] find path: 12100
[[35mlola[0m][I] symmetry: 11688
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12891
[[35mlola[0m][I] find path: 12121
[[35mlola[0m][I] symmetry: 11709
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12839
[[35mlola[0m][I] find path: 12147
[[35mlola[0m][I] symmetry: 11735
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12795
[[35mlola[0m][I] find path: 12169
[[35mlola[0m][I] symmetry: 11757
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12751
[[35mlola[0m][I] find path: 12191
[[35mlola[0m][I] symmetry: 11779
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12737
[[35mlola[0m][I] find path: 12198
[[35mlola[0m][I] symmetry: 11786
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12707
[[35mlola[0m][I] find path: 12213
[[35mlola[0m][I] symmetry: 11801
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12651
[[35mlola[0m][I] find path: 12241
[[35mlola[0m][I] symmetry: 11829
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12605
[[35mlola[0m][I] find path: 12264
[[35mlola[0m][I] symmetry: 11852
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12561
[[35mlola[0m][I] find path: 12286
[[35mlola[0m][I] symmetry: 11874
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12515
[[35mlola[0m][I] find path: 12309
[[35mlola[0m][I] symmetry: 11897
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12473
[[35mlola[0m][I] find path: 12330
[[35mlola[0m][I] symmetry: 11918
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12445
[[35mlola[0m][I] find path: 12344
[[35mlola[0m][I] symmetry: 11932
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12403
[[35mlola[0m][I] find path: 12365
[[35mlola[0m][I] symmetry: 11953
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12353
[[35mlola[0m][I] find path: 12390
[[35mlola[0m][I] symmetry: 11978
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12305
[[35mlola[0m][I] find path: 12414
[[35mlola[0m][I] symmetry: 12002
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12279
[[35mlola[0m][I] find path: 12427
[[35mlola[0m][I] symmetry: 12015
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12239
[[35mlola[0m][I] find path: 12447
[[35mlola[0m][I] symmetry: 12035
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12197
[[35mlola[0m][I] find path: 12468
[[35mlola[0m][I] symmetry: 12056
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12163
[[35mlola[0m][I] find path: 12485
[[35mlola[0m][I] symmetry: 12073
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12125
[[35mlola[0m][I] find path: 12504
[[35mlola[0m][I] symmetry: 12092
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12067
[[35mlola[0m][I] find path: 12533
[[35mlola[0m][I] symmetry: 12121
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 12035
[[35mlola[0m][I] find path: 12549
[[35mlola[0m][I] symmetry: 12137
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11991
[[35mlola[0m][I] find path: 12571
[[35mlola[0m][I] symmetry: 12159
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11981
[[35mlola[0m][I] find path: 12576
[[35mlola[0m][I] symmetry: 12164
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11955
[[35mlola[0m][I] find path: 12589
[[35mlola[0m][I] symmetry: 12177
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11935
[[35mlola[0m][I] find path: 12599
[[35mlola[0m][I] symmetry: 12187
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11891
[[35mlola[0m][I] find path: 12621
[[35mlola[0m][I] symmetry: 12209
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11871
[[35mlola[0m][I] find path: 12631
[[35mlola[0m][I] symmetry: 12219
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11847
[[35mlola[0m][I] find path: 12643
[[35mlola[0m][I] symmetry: 12231
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11827
[[35mlola[0m][I] find path: 12653
[[35mlola[0m][I] symmetry: 12241
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11787
[[35mlola[0m][I] find path: 12673
[[35mlola[0m][I] symmetry: 12261
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11765
[[35mlola[0m][I] find path: 12684
[[35mlola[0m][I] symmetry: 12272
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11739
[[35mlola[0m][I] find path: 12697
[[35mlola[0m][I] symmetry: 12285
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11715
[[35mlola[0m][I] find path: 12709
[[35mlola[0m][I] symmetry: 12297
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11679
[[35mlola[0m][I] find path: 12727
[[35mlola[0m][I] symmetry: 12315
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11651
[[35mlola[0m][I] find path: 12741
[[35mlola[0m][I] symmetry: 12329
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11607
[[35mlola[0m][I] find path: 12763
[[35mlola[0m][I] symmetry: 12351
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11587
[[35mlola[0m][I] find path: 12773
[[35mlola[0m][I] symmetry: 12361
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11551
[[35mlola[0m][I] find path: 12791
[[35mlola[0m][I] symmetry: 12379
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11539
[[35mlola[0m][I] find path: 12797
[[35mlola[0m][I] symmetry: 12385
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11507
[[35mlola[0m][I] find path: 12813
[[35mlola[0m][I] symmetry: 12401
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11487
[[35mlola[0m][I] find path: 12823
[[35mlola[0m][I] symmetry: 12411
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11453
[[35mlola[0m][I] find path: 12840
[[35mlola[0m][I] symmetry: 12428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11427
[[35mlola[0m][I] find path: 12853
[[35mlola[0m][I] symmetry: 12441
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11419
[[35mlola[0m][I] find path: 12857
[[35mlola[0m][I] symmetry: 12445
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11407
[[35mlola[0m][I] find path: 12863
[[35mlola[0m][I] symmetry: 12451
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11391
[[35mlola[0m][I] find path: 12871
[[35mlola[0m][I] symmetry: 12459
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11377
[[35mlola[0m][I] find path: 12878
[[35mlola[0m][I] symmetry: 12466
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11365
[[35mlola[0m][I] find path: 12884
[[35mlola[0m][I] symmetry: 12472
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11353
[[35mlola[0m][I] find path: 12890
[[35mlola[0m][I] symmetry: 12478
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11337
[[35mlola[0m][I] find path: 12898
[[35mlola[0m][I] symmetry: 12486
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11325
[[35mlola[0m][I] find path: 12904
[[35mlola[0m][I] symmetry: 12492
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11325
[[35mlola[0m][I] find path: 12904
[[35mlola[0m][I] symmetry: 12492
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11313
[[35mlola[0m][I] find path: 12910
[[35mlola[0m][I] symmetry: 12498
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11273
[[35mlola[0m][I] find path: 12930
[[35mlola[0m][I] symmetry: 12518
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11265
[[35mlola[0m][I] find path: 12934
[[35mlola[0m][I] symmetry: 12522
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11253
[[35mlola[0m][I] find path: 12940
[[35mlola[0m][I] symmetry: 12528
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11231
[[35mlola[0m][I] find path: 12951
[[35mlola[0m][I] symmetry: 12539
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11223
[[35mlola[0m][I] find path: 12955
[[35mlola[0m][I] symmetry: 12543
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11219
[[35mlola[0m][I] find path: 12957
[[35mlola[0m][I] symmetry: 12545
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11195
[[35mlola[0m][I] find path: 12969
[[35mlola[0m][I] symmetry: 12557
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11187
[[35mlola[0m][I] find path: 12973
[[35mlola[0m][I] symmetry: 12561
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11175
[[35mlola[0m][I] find path: 12979
[[35mlola[0m][I] symmetry: 12567
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11155
[[35mlola[0m][I] find path: 12989
[[35mlola[0m][I] symmetry: 12577
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11135
[[35mlola[0m][I] find path: 12999
[[35mlola[0m][I] symmetry: 12587
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11117
[[35mlola[0m][I] find path: 13008
[[35mlola[0m][I] symmetry: 12596
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11107
[[35mlola[0m][I] find path: 13013
[[35mlola[0m][I] symmetry: 12601
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11095
[[35mlola[0m][I] find path: 13019
[[35mlola[0m][I] symmetry: 12607
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11075
[[35mlola[0m][I] find path: 13029
[[35mlola[0m][I] symmetry: 12617
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11055
[[35mlola[0m][I] find path: 13039
[[35mlola[0m][I] symmetry: 12627
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11051
[[35mlola[0m][I] find path: 13041
[[35mlola[0m][I] symmetry: 12629
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11035
[[35mlola[0m][I] find path: 13049
[[35mlola[0m][I] symmetry: 12637
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11027
[[35mlola[0m][I] find path: 13053
[[35mlola[0m][I] symmetry: 12641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 11011
[[35mlola[0m][I] find path: 13061
[[35mlola[0m][I] symmetry: 12649
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10999
[[35mlola[0m][I] find path: 13067
[[35mlola[0m][I] symmetry: 12655
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10993
[[35mlola[0m][I] find path: 13070
[[35mlola[0m][I] symmetry: 12658
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10985
[[35mlola[0m][I] find path: 13074
[[35mlola[0m][I] symmetry: 12662
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10959
[[35mlola[0m][I] find path: 13087
[[35mlola[0m][I] symmetry: 12675
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10933
[[35mlola[0m][I] find path: 13100
[[35mlola[0m][I] symmetry: 12688
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10925
[[35mlola[0m][I] find path: 13104
[[35mlola[0m][I] symmetry: 12692
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10917
[[35mlola[0m][I] find path: 13108
[[35mlola[0m][I] symmetry: 12696
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10909
[[35mlola[0m][I] find path: 13112
[[35mlola[0m][I] symmetry: 12700
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10901
[[35mlola[0m][I] find path: 13116
[[35mlola[0m][I] symmetry: 12704
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10883
[[35mlola[0m][I] find path: 13125
[[35mlola[0m][I] symmetry: 12713
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10865
[[35mlola[0m][I] find path: 13134
[[35mlola[0m][I] symmetry: 12722
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10853
[[35mlola[0m][I] find path: 13140
[[35mlola[0m][I] symmetry: 12728
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10853
[[35mlola[0m][I] find path: 13140
[[35mlola[0m][I] symmetry: 12728
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10851
[[35mlola[0m][I] find path: 13141
[[35mlola[0m][I] symmetry: 12729
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10851
[[35mlola[0m][I] find path: 13141
[[35mlola[0m][I] symmetry: 12729
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10839
[[35mlola[0m][I] find path: 13147
[[35mlola[0m][I] symmetry: 12735
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10819
[[35mlola[0m][I] find path: 13157
[[35mlola[0m][I] symmetry: 12745
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10819
[[35mlola[0m][I] find path: 13157
[[35mlola[0m][I] symmetry: 12745
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10819
[[35mlola[0m][I] find path: 13157
[[35mlola[0m][I] symmetry: 12745
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10785
[[35mlola[0m][I] find path: 13174
[[35mlola[0m][I] symmetry: 12762
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10769
[[35mlola[0m][I] find path: 13182
[[35mlola[0m][I] symmetry: 12770
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10759
[[35mlola[0m][I] find path: 13187
[[35mlola[0m][I] symmetry: 12775
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10751
[[35mlola[0m][I] find path: 13191
[[35mlola[0m][I] symmetry: 12779
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10729
[[35mlola[0m][I] find path: 13202
[[35mlola[0m][I] symmetry: 12790
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10727
[[35mlola[0m][I] find path: 13203
[[35mlola[0m][I] symmetry: 12791
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10715
[[35mlola[0m][I] find path: 13209
[[35mlola[0m][I] symmetry: 12797
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10709
[[35mlola[0m][I] find path: 13212
[[35mlola[0m][I] symmetry: 12800
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10705
[[35mlola[0m][I] find path: 13214
[[35mlola[0m][I] symmetry: 12802
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10693
[[35mlola[0m][I] find path: 13220
[[35mlola[0m][I] symmetry: 12808
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10681
[[35mlola[0m][I] find path: 13226
[[35mlola[0m][I] symmetry: 12814
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10673
[[35mlola[0m][I] find path: 13230
[[35mlola[0m][I] symmetry: 12818
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10653
[[35mlola[0m][I] find path: 13240
[[35mlola[0m][I] symmetry: 12828
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10645
[[35mlola[0m][I] find path: 13244
[[35mlola[0m][I] symmetry: 12832
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10637
[[35mlola[0m][I] find path: 13248
[[35mlola[0m][I] symmetry: 12836
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10637
[[35mlola[0m][I] find path: 13248
[[35mlola[0m][I] symmetry: 12836
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10619
[[35mlola[0m][I] find path: 13257
[[35mlola[0m][I] symmetry: 12845
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10615
[[35mlola[0m][I] find path: 13259
[[35mlola[0m][I] symmetry: 12847
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10611
[[35mlola[0m][I] find path: 13261
[[35mlola[0m][I] symmetry: 12849
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10611
[[35mlola[0m][I] find path: 13261
[[35mlola[0m][I] symmetry: 12849
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10603
[[35mlola[0m][I] find path: 13265
[[35mlola[0m][I] symmetry: 12853
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10579
[[35mlola[0m][I] find path: 13277
[[35mlola[0m][I] symmetry: 12865
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10567
[[35mlola[0m][I] find path: 13283
[[35mlola[0m][I] symmetry: 12871
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10549
[[35mlola[0m][I] find path: 13292
[[35mlola[0m][I] symmetry: 12880
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10541
[[35mlola[0m][I] find path: 13296
[[35mlola[0m][I] symmetry: 12884
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10525
[[35mlola[0m][I] find path: 13304
[[35mlola[0m][I] symmetry: 12892
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10515
[[35mlola[0m][I] find path: 13309
[[35mlola[0m][I] symmetry: 12897
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10511
[[35mlola[0m][I] find path: 13311
[[35mlola[0m][I] symmetry: 12899
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10503
[[35mlola[0m][I] find path: 13315
[[35mlola[0m][I] symmetry: 12903
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10491
[[35mlola[0m][I] find path: 13321
[[35mlola[0m][I] symmetry: 12909
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10465
[[35mlola[0m][I] find path: 13334
[[35mlola[0m][I] symmetry: 12922
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10457
[[35mlola[0m][I] find path: 13338
[[35mlola[0m][I] symmetry: 12926
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10443
[[35mlola[0m][I] find path: 13345
[[35mlola[0m][I] symmetry: 12933
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10431
[[35mlola[0m][I] find path: 13351
[[35mlola[0m][I] symmetry: 12939
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10415
[[35mlola[0m][I] find path: 13359
[[35mlola[0m][I] symmetry: 12947
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10411
[[35mlola[0m][I] find path: 13361
[[35mlola[0m][I] symmetry: 12949
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10407
[[35mlola[0m][I] find path: 13363
[[35mlola[0m][I] symmetry: 12951
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10395
[[35mlola[0m][I] find path: 13369
[[35mlola[0m][I] symmetry: 12957
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10387
[[35mlola[0m][I] find path: 13373
[[35mlola[0m][I] symmetry: 12961
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10371
[[35mlola[0m][I] find path: 13381
[[35mlola[0m][I] symmetry: 12969
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10365
[[35mlola[0m][I] find path: 13384
[[35mlola[0m][I] symmetry: 12972
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10361
[[35mlola[0m][I] find path: 13386
[[35mlola[0m][I] symmetry: 12974
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10357
[[35mlola[0m][I] find path: 13388
[[35mlola[0m][I] symmetry: 12976
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10353
[[35mlola[0m][I] find path: 13390
[[35mlola[0m][I] symmetry: 12978
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10331
[[35mlola[0m][I] find path: 13401
[[35mlola[0m][I] symmetry: 12989
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10331
[[35mlola[0m][I] find path: 13401
[[35mlola[0m][I] symmetry: 12989
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10323
[[35mlola[0m][I] find path: 13405
[[35mlola[0m][I] symmetry: 12993
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10307
[[35mlola[0m][I] find path: 13413
[[35mlola[0m][I] symmetry: 13001
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10287
[[35mlola[0m][I] find path: 13423
[[35mlola[0m][I] symmetry: 13011
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10279
[[35mlola[0m][I] find path: 13427
[[35mlola[0m][I] symmetry: 13015
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10271
[[35mlola[0m][I] find path: 13431
[[35mlola[0m][I] symmetry: 13019
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10271
[[35mlola[0m][I] find path: 13431
[[35mlola[0m][I] symmetry: 13019
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10263
[[35mlola[0m][I] find path: 13435
[[35mlola[0m][I] symmetry: 13023
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10253
[[35mlola[0m][I] find path: 13440
[[35mlola[0m][I] symmetry: 13028
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10253
[[35mlola[0m][I] find path: 13440
[[35mlola[0m][I] symmetry: 13028
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10253
[[35mlola[0m][I] find path: 13440
[[35mlola[0m][I] symmetry: 13028
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10235
[[35mlola[0m][I] find path: 13449
[[35mlola[0m][I] symmetry: 13037
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10219
[[35mlola[0m][I] find path: 13457
[[35mlola[0m][I] symmetry: 13045
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10205
[[35mlola[0m][I] find path: 13464
[[35mlola[0m][I] symmetry: 13052
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10201
[[35mlola[0m][I] find path: 13466
[[35mlola[0m][I] symmetry: 13054
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10201
[[35mlola[0m][I] find path: 13466
[[35mlola[0m][I] symmetry: 13054
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10197
[[35mlola[0m][I] find path: 13468
[[35mlola[0m][I] symmetry: 13056
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10189
[[35mlola[0m][I] find path: 13472
[[35mlola[0m][I] symmetry: 13060
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10187
[[35mlola[0m][I] find path: 13473
[[35mlola[0m][I] symmetry: 13061
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10177
[[35mlola[0m][I] find path: 13478
[[35mlola[0m][I] symmetry: 13066
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10171
[[35mlola[0m][I] find path: 13481
[[35mlola[0m][I] symmetry: 13069
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10167
[[35mlola[0m][I] find path: 13483
[[35mlola[0m][I] symmetry: 13071
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10161
[[35mlola[0m][I] find path: 13486
[[35mlola[0m][I] symmetry: 13074
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10153
[[35mlola[0m][I] find path: 13490
[[35mlola[0m][I] symmetry: 13078
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10145
[[35mlola[0m][I] find path: 13494
[[35mlola[0m][I] symmetry: 13082
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10145
[[35mlola[0m][I] find path: 13494
[[35mlola[0m][I] symmetry: 13082
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10145
[[35mlola[0m][I] find path: 13494
[[35mlola[0m][I] symmetry: 13082
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10133
[[35mlola[0m][I] find path: 13500
[[35mlola[0m][I] symmetry: 13088
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10133
[[35mlola[0m][I] find path: 13500
[[35mlola[0m][I] symmetry: 13088
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10125
[[35mlola[0m][I] find path: 13504
[[35mlola[0m][I] symmetry: 13092
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10125
[[35mlola[0m][I] find path: 13504
[[35mlola[0m][I] symmetry: 13092
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10123
[[35mlola[0m][I] find path: 13505
[[35mlola[0m][I] symmetry: 13093
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10123
[[35mlola[0m][I] find path: 13505
[[35mlola[0m][I] symmetry: 13093
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10115
[[35mlola[0m][I] find path: 13509
[[35mlola[0m][I] symmetry: 13097
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10111
[[35mlola[0m][I] find path: 13511
[[35mlola[0m][I] symmetry: 13099
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10107
[[35mlola[0m][I] find path: 13513
[[35mlola[0m][I] symmetry: 13101
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10095
[[35mlola[0m][I] find path: 13519
[[35mlola[0m][I] symmetry: 13107
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10087
[[35mlola[0m][I] find path: 13523
[[35mlola[0m][I] symmetry: 13111
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10083
[[35mlola[0m][I] find path: 13525
[[35mlola[0m][I] symmetry: 13113
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10077
[[35mlola[0m][I] find path: 13528
[[35mlola[0m][I] symmetry: 13116
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10071
[[35mlola[0m][I] find path: 13531
[[35mlola[0m][I] symmetry: 13119
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10071
[[35mlola[0m][I] find path: 13531
[[35mlola[0m][I] symmetry: 13119
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10055
[[35mlola[0m][I] find path: 13539
[[35mlola[0m][I] symmetry: 13127
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10055
[[35mlola[0m][I] find path: 13539
[[35mlola[0m][I] symmetry: 13127
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10055
[[35mlola[0m][I] find path: 13539
[[35mlola[0m][I] symmetry: 13127
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10055
[[35mlola[0m][I] find path: 13539
[[35mlola[0m][I] symmetry: 13127
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10055
[[35mlola[0m][I] find path: 13539
[[35mlola[0m][I] symmetry: 13127
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10051
[[35mlola[0m][I] find path: 13541
[[35mlola[0m][I] symmetry: 13129
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10051
[[35mlola[0m][I] find path: 13541
[[35mlola[0m][I] symmetry: 13129
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10043
[[35mlola[0m][I] find path: 13545
[[35mlola[0m][I] symmetry: 13133
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10039
[[35mlola[0m][I] find path: 13547
[[35mlola[0m][I] symmetry: 13135
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10035
[[35mlola[0m][I] find path: 13549
[[35mlola[0m][I] symmetry: 13137
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10031
[[35mlola[0m][I] find path: 13551
[[35mlola[0m][I] symmetry: 13139
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10023
[[35mlola[0m][I] find path: 13555
[[35mlola[0m][I] symmetry: 13143
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10011
[[35mlola[0m][I] find path: 13561
[[35mlola[0m][I] symmetry: 13149
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10007
[[35mlola[0m][I] find path: 13563
[[35mlola[0m][I] symmetry: 13151
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 10007
[[35mlola[0m][I] find path: 13563
[[35mlola[0m][I] symmetry: 13151
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9999
[[35mlola[0m][I] find path: 13567
[[35mlola[0m][I] symmetry: 13155
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9975
[[35mlola[0m][I] find path: 13579
[[35mlola[0m][I] symmetry: 13167
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9967
[[35mlola[0m][I] find path: 13583
[[35mlola[0m][I] symmetry: 13171
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9959
[[35mlola[0m][I] find path: 13587
[[35mlola[0m][I] symmetry: 13175
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9955
[[35mlola[0m][I] find path: 13589
[[35mlola[0m][I] symmetry: 13177
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9947
[[35mlola[0m][I] find path: 13593
[[35mlola[0m][I] symmetry: 13181
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9945
[[35mlola[0m][I] find path: 13594
[[35mlola[0m][I] symmetry: 13182
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9939
[[35mlola[0m][I] find path: 13597
[[35mlola[0m][I] symmetry: 13185
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9929
[[35mlola[0m][I] find path: 13602
[[35mlola[0m][I] symmetry: 13190
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9925
[[35mlola[0m][I] find path: 13604
[[35mlola[0m][I] symmetry: 13192
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9925
[[35mlola[0m][I] find path: 13604
[[35mlola[0m][I] symmetry: 13192
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9925
[[35mlola[0m][I] find path: 13604
[[35mlola[0m][I] symmetry: 13192
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9913
[[35mlola[0m][I] find path: 13610
[[35mlola[0m][I] symmetry: 13198
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9909
[[35mlola[0m][I] find path: 13612
[[35mlola[0m][I] symmetry: 13200
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9905
[[35mlola[0m][I] find path: 13614
[[35mlola[0m][I] symmetry: 13202
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9887
[[35mlola[0m][I] find path: 13623
[[35mlola[0m][I] symmetry: 13211
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9883
[[35mlola[0m][I] find path: 13625
[[35mlola[0m][I] symmetry: 13213
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9879
[[35mlola[0m][I] find path: 13627
[[35mlola[0m][I] symmetry: 13215
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9871
[[35mlola[0m][I] find path: 13631
[[35mlola[0m][I] symmetry: 13219
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9863
[[35mlola[0m][I] find path: 13635
[[35mlola[0m][I] symmetry: 13223
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9863
[[35mlola[0m][I] find path: 13635
[[35mlola[0m][I] symmetry: 13223
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9843
[[35mlola[0m][I] find path: 13645
[[35mlola[0m][I] symmetry: 13233
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9839
[[35mlola[0m][I] find path: 13647
[[35mlola[0m][I] symmetry: 13235
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9839
[[35mlola[0m][I] find path: 13647
[[35mlola[0m][I] symmetry: 13235
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9839
[[35mlola[0m][I] find path: 13647
[[35mlola[0m][I] symmetry: 13235
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9835
[[35mlola[0m][I] find path: 13649
[[35mlola[0m][I] symmetry: 13237
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9823
[[35mlola[0m][I] find path: 13655
[[35mlola[0m][I] symmetry: 13243
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9815
[[35mlola[0m][I] find path: 13659
[[35mlola[0m][I] symmetry: 13247
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9811
[[35mlola[0m][I] find path: 13661
[[35mlola[0m][I] symmetry: 13249
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9803
[[35mlola[0m][I] find path: 13665
[[35mlola[0m][I] symmetry: 13253
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9795
[[35mlola[0m][I] find path: 13669
[[35mlola[0m][I] symmetry: 13257
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9791
[[35mlola[0m][I] find path: 13671
[[35mlola[0m][I] symmetry: 13259
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9775
[[35mlola[0m][I] find path: 13679
[[35mlola[0m][I] symmetry: 13267
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9769
[[35mlola[0m][I] find path: 13682
[[35mlola[0m][I] symmetry: 13270
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9765
[[35mlola[0m][I] find path: 13684
[[35mlola[0m][I] symmetry: 13272
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9761
[[35mlola[0m][I] find path: 13686
[[35mlola[0m][I] symmetry: 13274
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9761
[[35mlola[0m][I] find path: 13686
[[35mlola[0m][I] symmetry: 13274
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9753
[[35mlola[0m][I] find path: 13690
[[35mlola[0m][I] symmetry: 13278
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9749
[[35mlola[0m][I] find path: 13692
[[35mlola[0m][I] symmetry: 13280
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9749
[[35mlola[0m][I] find path: 13692
[[35mlola[0m][I] symmetry: 13280
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 9749
[[35mlola[0m][I] find path: 13692
[[35mlola[0m][I] symmetry: 13280
[[35mlola[0m][I] reporting
/home/mcc/BenchKit/BenchKit_head.sh: line 57: 403 Killed $BK_TOOL --conf=$LOLA_CONF $LOLA_EXAM $LOLA_VERDICT $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C12"
export BK_EXAMINATION="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-S32C12, 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-171654365800143"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C12.tgz
mv MultiCrashLeafsetExtension-PT-S32C12 execution
cd execution
if [ "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 ;