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-171654365800133.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-S32C10, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365800133
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 17K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K 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 27K May 19 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 22K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K 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 32M 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 1717424063256

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: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 32085
[lola][I] reporting
[lola][I] not produced: 27911
[lola][I] find path: 2202
[lola][I] goal oriented search: 79
[lola][I] symmetry: 1893
[lola][I] reporting
[lola][I] not produced: 22087
[lola][I] find path: 5120
[lola][I] goal oriented search: 79
[lola][I] symmetry: 4799
[lola][I] reporting
[lola][I] not produced: 19435
[lola][I] find path: 6446
[lola][I] goal oriented search: 79
[lola][I] symmetry: 6125
[lola][I] reporting
[lola][I] not produced: 17685
[lola][I] find path: 7321
[lola][I] goal oriented search: 79
[lola][I] symmetry: 7000
[lola][I] reporting
[lola][I] not produced: 16529
[lola][I] find path: 7899
[lola][I] goal oriented search: 79
[lola][I] symmetry: 7578
[lola][I] reporting
[lola][I] not produced: 15729
[lola][I] find path: 8299
[lola][I] goal oriented search: 79
[lola][I] symmetry: 7978
[lola][I] reporting
[lola][I] not produced: 15289
[lola][I] find path: 8519
[lola][I] goal oriented search: 79
[lola][I] symmetry: 8198
[lola][I] reporting
[lola][I] not produced: 14673
[lola][I] find path: 8827
[lola][I] goal oriented search: 79
[lola][I] symmetry: 8506
[lola][I] reporting
[lola][I] not produced: 14097
[lola][I] find path: 9115
[lola][I] goal oriented search: 79
[lola][I] symmetry: 8794
[lola][I] reporting
[lola][I] not produced: 13697
[lola][I] find path: 9315
[lola][I] goal oriented search: 79
[lola][I] symmetry: 8994
[lola][I] reporting
[lola][I] not produced: 13461
[lola][I] find path: 9433
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9112
[lola][I] reporting
[lola][I] not produced: 13249
[lola][I] find path: 9539
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9218
[lola][I] reporting
[lola][I] not produced: 12989
[lola][I] find path: 9669
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9348
[lola][I] reporting
[lola][I] not produced: 12799
[lola][I] find path: 9764
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9443
[lola][I] reporting
[lola][I] not produced: 12613
[lola][I] find path: 9857
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9536
[lola][I] reporting
[lola][I] not produced: 12475
[lola][I] find path: 9926
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9605
[lola][I] reporting
[lola][I] not produced: 12279
[lola][I] find path: 10024
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9703
[lola][I] reporting
[lola][I] not produced: 12185
[lola][I] find path: 10071
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9750
[lola][I] reporting
[lola][I] not produced: 12039
[lola][I] find path: 10144
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9823
[lola][I] reporting
[lola][I] not produced: 11917
[lola][I] find path: 10205
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9884
[lola][I] reporting
[lola][I] not produced: 11837
[lola][I] find path: 10245
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9924
[lola][I] reporting
[lola][I] not produced: 11769
[lola][I] find path: 10279
[lola][I] goal oriented search: 79
[lola][I] symmetry: 9958
[lola][I] reporting
[lola][I] not produced: 11677
[lola][I] find path: 10325
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10004
[lola][I] reporting
[lola][I] not produced: 11569
[lola][I] find path: 10379
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10058
[lola][I] reporting
[lola][I] not produced: 11457
[lola][I] find path: 10435
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10114
[lola][I] reporting
[lola][I] not produced: 11409
[lola][I] find path: 10459
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10138
[lola][I] reporting
[lola][I] not produced: 11317
[lola][I] find path: 10505
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10184
[lola][I] reporting
[lola][I] not produced: 11259
[lola][I] find path: 10534
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10213
[lola][I] reporting
[lola][I] not produced: 11193
[lola][I] find path: 10567
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10246
[lola][I] reporting
[lola][I] not produced: 11137
[lola][I] find path: 10595
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10274
[lola][I] reporting
[lola][I] not produced: 11073
[lola][I] find path: 10627
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10306
[lola][I] reporting
[lola][I] not produced: 11049
[lola][I] find path: 10639
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10318
[lola][I] reporting
[lola][I] not produced: 11025
[lola][I] find path: 10651
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10330
[lola][I] reporting
[lola][I] not produced: 11001
[lola][I] find path: 10663
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10342
[lola][I] reporting
[lola][I] not produced: 10965
[lola][I] find path: 10681
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10360
[lola][I] reporting
[lola][I] not produced: 10933
[lola][I] find path: 10697
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10376
[lola][I] reporting
[lola][I] not produced: 10893
[lola][I] find path: 10717
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10396
[lola][I] reporting
[lola][I] not produced: 10847
[lola][I] find path: 10740
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10419
[lola][I] reporting
[lola][I] not produced: 10827
[lola][I] find path: 10750
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10429
[lola][I] reporting
[lola][I] not produced: 10811
[lola][I] find path: 10758
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10437
[lola][I] reporting
[lola][I] not produced: 10789
[lola][I] find path: 10769
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10448
[lola][I] reporting
[lola][I] not produced: 10757
[lola][I] find path: 10785
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10464
[lola][I] reporting
[lola][I] not produced: 10725
[lola][I] find path: 10801
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10480
[lola][I] reporting
[lola][I] not produced: 10711
[lola][I] find path: 10808
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10487
[lola][I] reporting
[lola][I] not produced: 10663
[lola][I] find path: 10832
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10511
[lola][I] reporting
[lola][I] not produced: 10643
[lola][I] find path: 10842
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10521
[lola][I] reporting
[lola][I] not produced: 10611
[lola][I] find path: 10858
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10537
[lola][I] reporting
[lola][I] not produced: 10587
[lola][I] find path: 10870
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10549
[lola][I] reporting
[lola][I] not produced: 10573
[lola][I] find path: 10877
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10556
[lola][I] reporting
[lola][I] not produced: 10557
[lola][I] find path: 10885
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10564
[lola][I] reporting
[lola][I] not produced: 10543
[lola][I] find path: 10892
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10571
[lola][I] reporting
[lola][I] not produced: 10539
[lola][I] find path: 10894
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10573
[lola][I] reporting
[lola][I] not produced: 10531
[lola][I] find path: 10898
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10577
[lola][I] reporting
[lola][I] not produced: 10511
[lola][I] find path: 10908
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10587
[lola][I] reporting
[lola][I] not produced: 10471
[lola][I] find path: 10928
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10607
[lola][I] reporting
[lola][I] not produced: 10459
[lola][I] find path: 10934
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10613
[lola][I] reporting
[lola][I] not produced: 10443
[lola][I] find path: 10942
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10621
[lola][I] reporting
[lola][I] not produced: 10431
[lola][I] find path: 10948
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10627
[lola][I] reporting
[lola][I] not produced: 10411
[lola][I] find path: 10958
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10637
[lola][I] reporting
[lola][I] not produced: 10349
[lola][I] find path: 10989
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10668
[lola][I] reporting
[lola][I] not produced: 10337
[lola][I] find path: 10995
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10674
[lola][I] reporting
[lola][I] not produced: 10311
[lola][I] find path: 11008
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10687
[lola][I] reporting
[lola][I] not produced: 10295
[lola][I] find path: 11016
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10695
[lola][I] reporting
[lola][I] not produced: 10279
[lola][I] find path: 11024
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10703
[lola][I] reporting
[lola][I] not produced: 10267
[lola][I] find path: 11030
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10709
[lola][I] reporting
[lola][I] not produced: 10249
[lola][I] find path: 11039
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10718
[lola][I] reporting
[lola][I] not produced: 10221
[lola][I] find path: 11053
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10732
[lola][I] reporting
[lola][I] not produced: 10209
[lola][I] find path: 11059
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10738
[lola][I] reporting
[lola][I] not produced: 10197
[lola][I] find path: 11065
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10744
[lola][I] reporting
[lola][I] not produced: 10177
[lola][I] find path: 11075
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10754
[lola][I] reporting
[lola][I] not produced: 10173
[lola][I] find path: 11077
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10756
[lola][I] reporting
[lola][I] not produced: 10149
[lola][I] find path: 11089
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10768
[lola][I] reporting
[lola][I] not produced: 10121
[lola][I] find path: 11103
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10782
[lola][I] reporting
[lola][I] not produced: 10089
[lola][I] find path: 11119
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10798
[lola][I] reporting
[lola][I] not produced: 10073
[lola][I] find path: 11127
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10806
[lola][I] reporting
[lola][I] not produced: 10053
[lola][I] find path: 11137
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10816
[lola][I] reporting
[lola][I] not produced: 10053
[lola][I] find path: 11137
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10816
[lola][I] reporting
[lola][I] not produced: 10031
[lola][I] find path: 11148
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10827
[lola][I] reporting
[lola][I] not produced: 10029
[lola][I] find path: 11149
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10828
[lola][I] reporting
[lola][I] not produced: 10013
[lola][I] find path: 11157
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10836
[lola][I] reporting
[lola][I] not produced: 9999
[lola][I] find path: 11164
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10843
[lola][I] reporting
[lola][I] not produced: 9987
[lola][I] find path: 11170
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10849
[lola][I] reporting
[lola][I] not produced: 9971
[lola][I] find path: 11178
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10857
[lola][I] reporting
[lola][I] not produced: 9955
[lola][I] find path: 11186
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10865
[lola][I] reporting
[lola][I] not produced: 9935
[lola][I] find path: 11196
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10875
[lola][I] reporting
[lola][I] not produced: 9927
[lola][I] find path: 11200
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10879
[lola][I] reporting
[lola][I] not produced: 9923
[lola][I] find path: 11202
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10881
[lola][I] reporting
[lola][I] not produced: 9911
[lola][I] find path: 11208
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10887
[lola][I] reporting
[lola][I] not produced: 9897
[lola][I] find path: 11215
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10894
[lola][I] reporting
[lola][I] not produced: 9881
[lola][I] find path: 11223
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10902
[lola][I] reporting
[lola][I] not produced: 9855
[lola][I] find path: 11236
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10915
[lola][I] reporting
[lola][I] not produced: 9851
[lola][I] find path: 11238
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10917
[lola][I] reporting
[lola][I] not produced: 9847
[lola][I] find path: 11240
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10919
[lola][I] reporting
[lola][I] not produced: 9839
[lola][I] find path: 11244
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10923
[lola][I] reporting
[lola][I] not produced: 9831
[lola][I] find path: 11248
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10927
[lola][I] reporting
[lola][I] not produced: 9809
[lola][I] find path: 11259
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10938
[lola][I] reporting
[lola][I] not produced: 9797
[lola][I] find path: 11265
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10944
[lola][I] reporting
[lola][I] not produced: 9781
[lola][I] find path: 11273
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10952
[lola][I] reporting
[lola][I] not produced: 9761
[lola][I] find path: 11283
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10962
[lola][I] reporting
[lola][I] not produced: 9753
[lola][I] find path: 11287
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10966
[lola][I] reporting
[lola][I] not produced: 9741
[lola][I] find path: 11293
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10972
[lola][I] reporting
[lola][I] not produced: 9729
[lola][I] find path: 11299
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10978
[lola][I] reporting
[lola][I] not produced: 9711
[lola][I] find path: 11308
[lola][I] goal oriented search: 79
[lola][I] symmetry: 10987
[lola][I] reporting
[lola][I] not produced: 9683
[lola][I] find path: 11322
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11001
[lola][I] reporting
[lola][I] not produced: 9661
[lola][I] find path: 11333
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11012
[lola][I] reporting
[lola][I] not produced: 9651
[lola][I] find path: 11338
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11017
[lola][I] reporting
[lola][I] not produced: 9631
[lola][I] find path: 11348
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11027
[lola][I] reporting
[lola][I] not produced: 9627
[lola][I] find path: 11350
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11029
[lola][I] reporting
[lola][I] not produced: 9623
[lola][I] find path: 11352
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11031
[lola][I] reporting
[lola][I] not produced: 9619
[lola][I] find path: 11354
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11033
[lola][I] reporting
[lola][I] not produced: 9605
[lola][I] find path: 11361
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11040
[lola][I] reporting
[lola][I] not produced: 9585
[lola][I] find path: 11371
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11050
[lola][I] reporting
[lola][I] not produced: 9573
[lola][I] find path: 11377
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11056
[lola][I] reporting
[lola][I] not produced: 9553
[lola][I] find path: 11387
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11066
[lola][I] reporting
[lola][I] not produced: 9545
[lola][I] find path: 11391
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11070
[lola][I] reporting
[lola][I] not produced: 9541
[lola][I] find path: 11393
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11072
[lola][I] reporting
[lola][I] not produced: 9537
[lola][I] find path: 11395
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11074
[lola][I] reporting
[lola][I] not produced: 9533
[lola][I] find path: 11397
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11076
[lola][I] reporting
[lola][I] not produced: 9531
[lola][I] find path: 11398
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11077
[lola][I] reporting
[lola][I] not produced: 9519
[lola][I] find path: 11404
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11083
[lola][I] reporting
[lola][I] not produced: 9507
[lola][I] find path: 11410
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11089
[lola][I] reporting
[lola][I] not produced: 9491
[lola][I] find path: 11418
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11097
[lola][I] reporting
[lola][I] not produced: 9483
[lola][I] find path: 11422
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11101
[lola][I] reporting
[lola][I] not produced: 9467
[lola][I] find path: 11430
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11109
[lola][I] reporting
[lola][I] not produced: 9459
[lola][I] find path: 11434
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11113
[lola][I] reporting
[lola][I] not produced: 9445
[lola][I] find path: 11441
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11120
[lola][I] reporting
[lola][I] not produced: 9445
[lola][I] find path: 11441
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11120
[lola][I] reporting
[lola][I] not produced: 9437
[lola][I] find path: 11445
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11124
[lola][I] reporting
[lola][I] not produced: 9433
[lola][I] find path: 11447
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11126
[lola][I] reporting
[lola][I] not produced: 9425
[lola][I] find path: 11451
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11130
[lola][I] reporting
[lola][I] not produced: 9413
[lola][I] find path: 11457
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11136
[lola][I] reporting
[lola][I] not produced: 9397
[lola][I] find path: 11465
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11144
[lola][I] reporting
[lola][I] not produced: 9397
[lola][I] find path: 11465
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11144
[lola][I] reporting
[lola][I] not produced: 9369
[lola][I] find path: 11479
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11158
[lola][I] reporting
[lola][I] not produced: 9365
[lola][I] find path: 11481
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11160
[lola][I] reporting
[lola][I] not produced: 9361
[lola][I] find path: 11483
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11162
[lola][I] reporting
[lola][I] not produced: 9345
[lola][I] find path: 11491
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11170
[lola][I] reporting
[lola][I] not produced: 9337
[lola][I] find path: 11495
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11174
[lola][I] reporting
[lola][I] not produced: 9329
[lola][I] find path: 11499
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11178
[lola][I] reporting
[lola][I] not produced: 9329
[lola][I] find path: 11499
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11178
[lola][I] reporting
[lola][I] not produced: 9325
[lola][I] find path: 11501
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11180
[lola][I] reporting
[lola][I] not produced: 9325
[lola][I] find path: 11501
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11180
[lola][I] reporting
[lola][I] not produced: 9317
[lola][I] find path: 11505
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11184
[lola][I] reporting
[lola][I] not produced: 9309
[lola][I] find path: 11509
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11188
[lola][I] reporting
[lola][I] not produced: 9299
[lola][I] find path: 11514
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11193
[lola][I] reporting
[lola][I] not produced: 9287
[lola][I] find path: 11520
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11199
[lola][I] reporting
[lola][I] not produced: 9283
[lola][I] find path: 11522
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11201
[lola][I] reporting
[lola][I] not produced: 9281
[lola][I] find path: 11523
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11202
[lola][I] reporting
[lola][I] not produced: 9265
[lola][I] find path: 11531
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11210
[lola][I] reporting
[lola][I] not produced: 9265
[lola][I] find path: 11531
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11210
[lola][I] reporting
[lola][I] not produced: 9249
[lola][I] find path: 11539
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11218
[lola][I] reporting
[lola][I] not produced: 9241
[lola][I] find path: 11543
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11222
[lola][I] reporting
[lola][I] not produced: 9241
[lola][I] find path: 11543
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11222
[lola][I] reporting
[lola][I] not produced: 9233
[lola][I] find path: 11547
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11226
[lola][I] reporting
[lola][I] not produced: 9229
[lola][I] find path: 11549
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11228
[lola][I] reporting
[lola][I] not produced: 9217
[lola][I] find path: 11555
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11234
[lola][I] reporting
[lola][I] not produced: 9213
[lola][I] find path: 11557
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11236
[lola][I] reporting
[lola][I] not produced: 9193
[lola][I] find path: 11567
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11246
[lola][I] reporting
[lola][I] not produced: 9181
[lola][I] find path: 11573
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11252
[lola][I] reporting
[lola][I] not produced: 9167
[lola][I] find path: 11580
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11259
[lola][I] reporting
[lola][I] not produced: 9163
[lola][I] find path: 11582
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11261
[lola][I] reporting
[lola][I] not produced: 9149
[lola][I] find path: 11589
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11268
[lola][I] reporting
[lola][I] not produced: 9131
[lola][I] find path: 11598
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11277
[lola][I] reporting
[lola][I] not produced: 9113
[lola][I] find path: 11607
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11286
[lola][I] reporting
[lola][I] not produced: 9105
[lola][I] find path: 11611
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11290
[lola][I] reporting
[lola][I] not produced: 9101
[lola][I] find path: 11613
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11292
[lola][I] reporting
[lola][I] not produced: 9097
[lola][I] find path: 11615
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11294
[lola][I] reporting
[lola][I] not produced: 9089
[lola][I] find path: 11619
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11298
[lola][I] reporting
[lola][I] not produced: 9083
[lola][I] find path: 11622
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11301
[lola][I] reporting
[lola][I] not produced: 9081
[lola][I] find path: 11623
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11302
[lola][I] reporting
[lola][I] not produced: 9073
[lola][I] find path: 11627
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11306
[lola][I] reporting
[lola][I] not produced: 9069
[lola][I] find path: 11629
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11308
[lola][I] reporting
[lola][I] not produced: 9059
[lola][I] find path: 11634
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11313
[lola][I] reporting
[lola][I] not produced: 9047
[lola][I] find path: 11640
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11319
[lola][I] reporting
[lola][I] not produced: 9047
[lola][I] find path: 11640
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11319
[lola][I] reporting
[lola][I] not produced: 9043
[lola][I] find path: 11642
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11321
[lola][I] reporting
[lola][I] not produced: 9041
[lola][I] find path: 11643
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11322
[lola][I] reporting
[lola][I] not produced: 9037
[lola][I] find path: 11645
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11324
[lola][I] reporting
[lola][I] not produced: 9037
[lola][I] find path: 11645
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11324
[lola][I] reporting
[lola][I] not produced: 9029
[lola][I] find path: 11649
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11328
[lola][I] reporting
[lola][I] not produced: 9025
[lola][I] find path: 11651
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11330
[lola][I] reporting
[lola][I] not produced: 9025
[lola][I] find path: 11651
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11330
[lola][I] reporting
[lola][I] not produced: 9021
[lola][I] find path: 11653
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11332
[lola][I] reporting
[lola][I] not produced: 9013
[lola][I] find path: 11657
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11336
[lola][I] reporting
[lola][I] not produced: 9013
[lola][I] find path: 11657
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11336
[lola][I] reporting
[lola][I] not produced: 9005
[lola][I] find path: 11661
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11340
[lola][I] reporting
[lola][I] not produced: 8985
[lola][I] find path: 11671
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11350
[lola][I] reporting
[lola][I] not produced: 8969
[lola][I] find path: 11679
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11358
[lola][I] reporting
[lola][I] not produced: 8963
[lola][I] find path: 11682
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11361
[lola][I] reporting
[lola][I] not produced: 8963
[lola][I] find path: 11682
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11361
[lola][I] reporting
[lola][I] not produced: 8955
[lola][I] find path: 11686
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11365
[lola][I] reporting
[lola][I] not produced: 8951
[lola][I] find path: 11688
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11367
[lola][I] reporting
[lola][I] not produced: 8947
[lola][I] find path: 11690
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11369
[lola][I] reporting
[lola][I] not produced: 8945
[lola][I] find path: 11691
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11370
[lola][I] reporting
[lola][I] not produced: 8945
[lola][I] find path: 11691
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11370
[lola][I] reporting
[lola][I] not produced: 8945
[lola][I] find path: 11691
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11370
[lola][I] reporting
[lola][I] not produced: 8945
[lola][I] find path: 11691
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11370
[lola][I] reporting
[lola][I] not produced: 8941
[lola][I] find path: 11693
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11372
[lola][I] reporting
[lola][I] not produced: 8941
[lola][I] find path: 11693
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11372
[lola][I] reporting
[lola][I] not produced: 8941
[lola][I] find path: 11693
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11372
[lola][I] reporting
[lola][I] not produced: 8939
[lola][I] find path: 11694
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11373
[lola][I] reporting
[lola][I] not produced: 8935
[lola][I] find path: 11696
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11375
[lola][I] reporting
[lola][I] not produced: 8911
[lola][I] find path: 11708
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11387
[lola][I] reporting
[lola][I] not produced: 8911
[lola][I] find path: 11708
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11387
[lola][I] reporting
[lola][I] not produced: 8911
[lola][I] find path: 11708
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11387
[lola][I] reporting
[lola][I] not produced: 8905
[lola][I] find path: 11711
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11390
[lola][I] reporting
[lola][I] not produced: 8905
[lola][I] find path: 11711
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11390
[lola][I] reporting
[lola][I] not produced: 8905
[lola][I] find path: 11711
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11390
[lola][I] reporting
[lola][I] not produced: 8905
[lola][I] find path: 11711
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11390
[lola][I] reporting
[lola][I] not produced: 8899
[lola][I] find path: 11714
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11393
[lola][I] reporting
[lola][I] not produced: 8891
[lola][I] find path: 11718
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11397
[lola][I] reporting
[lola][I] not produced: 8889
[lola][I] find path: 11719
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11398
[lola][I] reporting
[lola][I] not produced: 8885
[lola][I] find path: 11721
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11400
[lola][I] reporting
[lola][I] not produced: 8881
[lola][I] find path: 11723
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11402
[lola][I] reporting
[lola][I] not produced: 8871
[lola][I] find path: 11728
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11407
[lola][I] reporting
[lola][I] not produced: 8863
[lola][I] find path: 11732
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11411
[lola][I] reporting
[lola][I] not produced: 8863
[lola][I] find path: 11732
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11411
[lola][I] reporting
[lola][I] not produced: 8863
[lola][I] find path: 11732
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11411
[lola][I] reporting
[lola][I] not produced: 8859
[lola][I] find path: 11734
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11413
[lola][I] reporting
[lola][I] not produced: 8855
[lola][I] find path: 11736
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11415
[lola][I] reporting
[lola][I] not produced: 8855
[lola][I] find path: 11736
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11415
[lola][I] reporting
[lola][I] not produced: 8847
[lola][I] find path: 11740
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11419
[lola][I] reporting
[lola][I] not produced: 8843
[lola][I] find path: 11742
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11421
[lola][I] reporting
[lola][I] not produced: 8831
[lola][I] find path: 11748
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11427
[lola][I] reporting
[lola][I] not produced: 8827
[lola][I] find path: 11750
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11429
[lola][I] reporting
[lola][I] not produced: 8823
[lola][I] find path: 11752
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11431
[lola][I] reporting
[lola][I] not produced: 8823
[lola][I] find path: 11752
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11431
[lola][I] reporting
[lola][I] not produced: 8823
[lola][I] find path: 11752
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11431
[lola][I] reporting
[lola][I] not produced: 8815
[lola][I] find path: 11756
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11435
[lola][I] reporting
[lola][I] not produced: 8807
[lola][I] find path: 11760
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11439
[lola][I] reporting
[lola][I] not produced: 8803
[lola][I] find path: 11762
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11441
[lola][I] reporting
[lola][I] not produced: 8799
[lola][I] find path: 11764
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11443
[lola][I] reporting
[lola][I] not produced: 8795
[lola][I] find path: 11766
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11445
[lola][I] reporting
[lola][I] not produced: 8795
[lola][I] find path: 11766
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11445
[lola][I] reporting
[lola][I] not produced: 8791
[lola][I] find path: 11768
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11447
[lola][I] reporting
[lola][I] not produced: 8791
[lola][I] find path: 11768
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11447
[lola][I] reporting
[lola][I] not produced: 8791
[lola][I] find path: 11768
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11447
[lola][I] reporting
[lola][I] not produced: 8787
[lola][I] find path: 11770
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11449
[lola][I] reporting
[lola][I] not produced: 8783
[lola][I] find path: 11772
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11451
[lola][I] reporting
[lola][I] not produced: 8783
[lola][I] find path: 11772
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11451
[lola][I] reporting
[lola][I] not produced: 8779
[lola][I] find path: 11774
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11453
[lola][I] reporting
[lola][I] not produced: 8779
[lola][I] find path: 11774
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11453
[lola][I] reporting
[lola][I] not produced: 8775
[lola][I] find path: 11776
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11455
[lola][I] reporting
[lola][I] not produced: 8769
[lola][I] find path: 11779
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11458
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8765
[lola][I] find path: 11781
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11460
[lola][I] reporting
[lola][I] not produced: 8763
[lola][I] find path: 11782
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11461
[lola][I] reporting
[lola][I] not produced: 8763
[lola][I] find path: 11782
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11461
[lola][I] reporting
[lola][I] not produced: 8761
[lola][I] find path: 11783
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11462
[lola][I] reporting
[lola][I] not produced: 8757
[lola][I] find path: 11785
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11464
[lola][I] reporting
[lola][I] not produced: 8757
[lola][I] find path: 11785
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11464
[lola][I] reporting
[lola][I] not produced: 8757
[lola][I] find path: 11785
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11464
[lola][I] reporting
[lola][I] not produced: 8753
[lola][I] find path: 11787
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11466
[lola][I] reporting
[lola][I] not produced: 8753
[lola][I] find path: 11787
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11466
[lola][I] reporting
[lola][I] not produced: 8753
[lola][I] find path: 11787
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11466
[lola][I] reporting
[lola][I] not produced: 8741
[lola][I] find path: 11793
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11472
[lola][I] reporting
[lola][I] not produced: 8741
[lola][I] find path: 11793
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11472
[lola][I] reporting
[lola][I] not produced: 8741
[lola][I] find path: 11793
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11472
[lola][I] reporting
[lola][I] not produced: 8733
[lola][I] find path: 11797
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11476
[lola][I] reporting
[lola][I] not produced: 8733
[lola][I] find path: 11797
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11476
[lola][I] reporting
[lola][I] not produced: 8733
[lola][I] find path: 11797
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11476
[lola][I] reporting
[lola][I] not produced: 8733
[lola][I] find path: 11797
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11476
[lola][I] reporting
[lola][I] not produced: 8721
[lola][I] find path: 11803
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11482
[lola][I] reporting
[lola][I] not produced: 8713
[lola][I] find path: 11807
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11486
[lola][I] reporting
[lola][I] not produced: 8703
[lola][I] find path: 11812
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11491
[lola][I] reporting
[lola][I] not produced: 8699
[lola][I] find path: 11814
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11493
[lola][I] reporting
[lola][I] not produced: 8699
[lola][I] find path: 11814
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11493
[lola][I] reporting
[lola][I] not produced: 8695
[lola][I] find path: 11816
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11495
[lola][I] reporting
[lola][I] not produced: 8693
[lola][I] find path: 11817
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11496
[lola][I] reporting
[lola][I] not produced: 8689
[lola][I] find path: 11819
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11498
[lola][I] reporting
[lola][I] not produced: 8685
[lola][I] find path: 11821
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11500
[lola][I] reporting
[lola][I] not produced: 8673
[lola][I] find path: 11827
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11506
[lola][I] reporting
[lola][I] not produced: 8669
[lola][I] find path: 11829
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11508
[lola][I] reporting
[lola][I] not produced: 8669
[lola][I] find path: 11829
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11508
[lola][I] reporting
[lola][I] not produced: 8665
[lola][I] find path: 11831
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11510
[lola][I] reporting
[lola][I] not produced: 8657
[lola][I] find path: 11835
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11514
[lola][I] reporting
[lola][I] not produced: 8657
[lola][I] find path: 11835
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11514
[lola][I] reporting
[lola][I] not produced: 8657
[lola][I] find path: 11835
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11514
[lola][I] reporting
[lola][I] not produced: 8657
[lola][I] find path: 11835
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11514
[lola][I] reporting
[lola][I] not produced: 8653
[lola][I] find path: 11837
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11516
[lola][I] reporting
[lola][I] not produced: 8653
[lola][I] find path: 11837
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11516
[lola][I] reporting
[lola][I] not produced: 8649
[lola][I] find path: 11839
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11518
[lola][I] reporting
[lola][I] not produced: 8645
[lola][I] find path: 11841
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11520
[lola][I] reporting
[lola][I] not produced: 8637
[lola][I] find path: 11845
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11524
[lola][I] reporting
[lola][I] not produced: 8633
[lola][I] find path: 11847
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11526
[lola][I] reporting
[lola][I] not produced: 8629
[lola][I] find path: 11849
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11528
[lola][I] reporting
[lola][I] not produced: 8625
[lola][I] find path: 11851
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11530
[lola][I] reporting
[lola][I] not produced: 8621
[lola][I] find path: 11853
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11532
[lola][I] reporting
[lola][I] not produced: 8617
[lola][I] find path: 11855
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11534
[lola][I] reporting
[lola][I] not produced: 8609
[lola][I] find path: 11859
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11538
[lola][I] reporting
[lola][I] not produced: 8609
[lola][I] find path: 11859
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11538
[lola][I] reporting
[lola][I] not produced: 8609
[lola][I] find path: 11859
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11538
[lola][I] reporting
[lola][I] not produced: 8609
[lola][I] find path: 11859
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11538
[lola][I] reporting
[lola][I] not produced: 8609
[lola][I] find path: 11859
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11538
[lola][I] reporting
[lola][I] not produced: 8609
[lola][I] find path: 11859
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11538
[lola][I] reporting
[lola][I] not produced: 8603
[lola][I] find path: 11862
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11541
[lola][I] reporting
[lola][I] not produced: 8603
[lola][I] find path: 11862
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11541
[lola][I] reporting
[lola][I] not produced: 8603
[lola][I] find path: 11862
[lola][I] goal oriented search: 79
[lola][I] symmetry: 11541

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-S32C10"
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-S32C10, 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-171654365800133"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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