About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16247.115 | 1769777.00 | 6618798.00 | 2338.10 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r296-tall-162124162800488.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S32C10, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162800488
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 63M
-rw-r--r-- 1 mcc users 29K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 95K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K May 12 08:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 12 08:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 12 08:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 12 08:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.5K May 11 19:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 11 19:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K May 11 16:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 11 16:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 63M May 12 08:13 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1621252098112
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C10
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
BK_STOP 1621253867889
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx5ToReplaceNode13
sara: try reading problem file stateEquationProblem-ConstantPlace-29960.sara.
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 25167
lola: find path: 3387
lola: goal oriented search: 292
lola: symmetry: 3239
lola: reporting
lola: not produced: 21513
lola: find path: 5214
lola: goal oriented search: 292
lola: symmetry: 5066
lola: reporting
lola: not produced: 19439
lola: find path: 6251
lola: goal oriented search: 292
lola: symmetry: 6103
lola: reporting
lola: not produced: 17965
lola: find path: 6992
lola: goal oriented search: 292
lola: symmetry: 6836
lola: reporting
lola: not produced: 16805
lola: find path: 7574
lola: goal oriented search: 292
lola: symmetry: 7414
lola: reporting
lola: not produced: 16027
lola: find path: 7963
lola: goal oriented search: 292
lola: symmetry: 7803
lola: reporting
lola: not produced: 15455
lola: find path: 8249
lola: goal oriented search: 292
lola: symmetry: 8089
lola: reporting
lola: not produced: 14889
lola: find path: 8532
lola: goal oriented search: 292
lola: symmetry: 8372
lola: reporting
lola: not produced: 14379
lola: find path: 8787
lola: goal oriented search: 292
lola: symmetry: 8627
lola: reporting
lola: not produced: 13999
lola: find path: 8977
lola: goal oriented search: 292
lola: symmetry: 8817
lola: reporting
lola: not produced: 13683
lola: find path: 9135
lola: goal oriented search: 292
lola: symmetry: 8975
lola: reporting
lola: not produced: 13381
lola: find path: 9286
lola: goal oriented search: 292
lola: symmetry: 9126
lola: reporting
lola: not produced: 13129
lola: find path: 9412
lola: goal oriented search: 292
lola: symmetry: 9252
lola: reporting
lola: not produced: 12931
lola: find path: 9511
lola: goal oriented search: 292
lola: symmetry: 9351
lola: reporting
lola: not produced: 12773
lola: find path: 9590
lola: goal oriented search: 292
lola: symmetry: 9430
lola: reporting
lola: not produced: 12595
lola: find path: 9679
lola: goal oriented search: 292
lola: symmetry: 9519
lola: reporting
lola: not produced: 12429
lola: find path: 9762
lola: goal oriented search: 292
lola: symmetry: 9602
lola: reporting
lola: not produced: 12287
lola: find path: 9833
lola: goal oriented search: 292
lola: symmetry: 9673
lola: reporting
lola: not produced: 12211
lola: find path: 9871
lola: goal oriented search: 292
lola: symmetry: 9711
lola: reporting
lola: not produced: 12117
lola: find path: 9918
lola: goal oriented search: 292
lola: symmetry: 9758
lola: reporting
lola: not produced: 11993
lola: find path: 9980
lola: goal oriented search: 292
lola: symmetry: 9820
lola: reporting
lola: not produced: 11919
lola: find path: 10017
lola: goal oriented search: 292
lola: symmetry: 9857
lola: reporting
lola: not produced: 11863
lola: find path: 10045
lola: goal oriented search: 292
lola: symmetry: 9885
lola: reporting
lola: not produced: 11805
lola: find path: 10074
lola: goal oriented search: 292
lola: symmetry: 9914
lola: reporting
lola: not produced: 11663
lola: find path: 10145
lola: goal oriented search: 292
lola: symmetry: 9985
lola: reporting
lola: not produced: 11597
lola: find path: 10178
lola: goal oriented search: 292
lola: symmetry: 10018
lola: reporting
lola: not produced: 11549
lola: find path: 10202
lola: goal oriented search: 292
lola: symmetry: 10042
lola: reporting
lola: not produced: 11483
lola: find path: 10235
lola: goal oriented search: 292
lola: symmetry: 10075
lola: reporting
lola: not produced: 11399
lola: find path: 10277
lola: goal oriented search: 292
lola: symmetry: 10117
lola: reporting
lola: not produced: 11329
lola: find path: 10312
lola: goal oriented search: 292
lola: symmetry: 10152
lola: reporting
lola: not produced: 11295
lola: find path: 10329
lola: goal oriented search: 292
lola: symmetry: 10169
lola: reporting
lola: not produced: 11241
lola: find path: 10356
lola: goal oriented search: 292
lola: symmetry: 10196
lola: reporting
lola: not produced: 11189
lola: find path: 10382
lola: goal oriented search: 292
lola: symmetry: 10222
lola: reporting
lola: not produced: 11137
lola: find path: 10408
lola: goal oriented search: 292
lola: symmetry: 10248
lola: reporting
lola: not produced: 11099
lola: find path: 10427
lola: goal oriented search: 292
lola: symmetry: 10267
lola: reporting
lola: not produced: 11055
lola: find path: 10449
lola: goal oriented search: 292
lola: symmetry: 10289
lola: reporting
lola: not produced: 11015
lola: find path: 10469
lola: goal oriented search: 292
lola: symmetry: 10309
lola: reporting
lola: not produced: 10965
lola: find path: 10494
lola: goal oriented search: 292
lola: symmetry: 10334
lola: reporting
lola: not produced: 10873
lola: find path: 10540
lola: goal oriented search: 292
lola: symmetry: 10380
lola: reporting
lola: not produced: 10827
lola: find path: 10563
lola: goal oriented search: 292
lola: symmetry: 10403
lola: reporting
lola: not produced: 10793
lola: find path: 10580
lola: goal oriented search: 292
lola: symmetry: 10420
lola: reporting
lola: not produced: 10745
lola: find path: 10604
lola: goal oriented search: 292
lola: symmetry: 10444
lola: reporting
lola: not produced: 10699
lola: find path: 10627
lola: goal oriented search: 292
lola: symmetry: 10467
lola: reporting
lola: not produced: 10687
lola: find path: 10633
lola: goal oriented search: 292
lola: symmetry: 10473
lola: reporting
lola: not produced: 10643
lola: find path: 10655
lola: goal oriented search: 292
lola: symmetry: 10495
lola: reporting
lola: not produced: 10613
lola: find path: 10670
lola: goal oriented search: 292
lola: symmetry: 10510
lola: reporting
lola: not produced: 10569
lola: find path: 10692
lola: goal oriented search: 292
lola: symmetry: 10532
lola: reporting
lola: not produced: 10545
lola: find path: 10704
lola: goal oriented search: 292
lola: symmetry: 10544
lola: reporting
lola: not produced: 10517
lola: find path: 10718
lola: goal oriented search: 292
lola: symmetry: 10558
lola: reporting
lola: not produced: 10485
lola: find path: 10734
lola: goal oriented search: 292
lola: symmetry: 10574
lola: reporting
lola: not produced: 10435
lola: find path: 10759
lola: goal oriented search: 292
lola: symmetry: 10599
lola: reporting
lola: not produced: 10399
lola: find path: 10777
lola: goal oriented search: 292
lola: symmetry: 10617
lola: reporting
lola: not produced: 10383
lola: find path: 10785
lola: goal oriented search: 292
lola: symmetry: 10625
lola: reporting
lola: not produced: 10367
lola: find path: 10793
lola: goal oriented search: 292
lola: symmetry: 10633
lola: reporting
lola: not produced: 10351
lola: find path: 10801
lola: goal oriented search: 292
lola: symmetry: 10641
lola: reporting
lola: not produced: 10331
lola: find path: 10811
lola: goal oriented search: 292
lola: symmetry: 10651
lola: reporting
lola: not produced: 10291
lola: find path: 10831
lola: goal oriented search: 292
lola: symmetry: 10671
lola: reporting
lola: not produced: 10275
lola: find path: 10839
lola: goal oriented search: 292
lola: symmetry: 10679
lola: reporting
lola: not produced: 10255
lola: find path: 10849
lola: goal oriented search: 292
lola: symmetry: 10689
lola: reporting
lola: not produced: 10231
lola: find path: 10861
lola: goal oriented search: 292
lola: symmetry: 10701
lola: reporting
lola: not produced: 10215
lola: find path: 10869
lola: goal oriented search: 292
lola: symmetry: 10709
lola: reporting
lola: not produced: 10207
lola: find path: 10873
lola: goal oriented search: 292
lola: symmetry: 10713
lola: reporting
lola: not produced: 10169
lola: find path: 10892
lola: goal oriented search: 292
lola: symmetry: 10732
lola: reporting
lola: not produced: 10157
lola: find path: 10898
lola: goal oriented search: 292
lola: symmetry: 10738
lola: reporting
lola: not produced: 10137
lola: find path: 10908
lola: goal oriented search: 292
lola: symmetry: 10748
lola: reporting
lola: not produced: 10123
lola: find path: 10915
lola: goal oriented search: 292
lola: symmetry: 10755
lola: reporting
lola: not produced: 10101
lola: find path: 10926
lola: goal oriented search: 292
lola: symmetry: 10766
lola: reporting
lola: not produced: 10057
lola: find path: 10948
lola: goal oriented search: 292
lola: symmetry: 10788
lola: reporting
lola: not produced: 10041
lola: find path: 10956
lola: goal oriented search: 292
lola: symmetry: 10796
lola: reporting
lola: not produced: 10025
lola: find path: 10964
lola: goal oriented search: 292
lola: symmetry: 10804
lola: reporting
lola: not produced: 9989
lola: find path: 10982
lola: goal oriented search: 292
lola: symmetry: 10822
lola: reporting
lola: not produced: 9967
lola: find path: 10993
lola: goal oriented search: 292
lola: symmetry: 10833
lola: reporting
lola: not produced: 9959
lola: find path: 10997
lola: goal oriented search: 292
lola: symmetry: 10837
lola: reporting
lola: not produced: 9941
lola: find path: 11006
lola: goal oriented search: 292
lola: symmetry: 10846
lola: reporting
lola: not produced: 9919
lola: find path: 11017
lola: goal oriented search: 292
lola: symmetry: 10857
lola: reporting
lola: not produced: 9887
lola: find path: 11033
lola: goal oriented search: 292
lola: symmetry: 10873
lola: reporting
lola: not produced: 9871
lola: find path: 11041
lola: goal oriented search: 292
lola: symmetry: 10881
lola: reporting
lola: not produced: 9851
lola: find path: 11051
lola: goal oriented search: 292
lola: symmetry: 10891
lola: reporting
lola: not produced: 9837
lola: find path: 11058
lola: goal oriented search: 292
lola: symmetry: 10898
lola: reporting
lola: not produced: 9829
lola: find path: 11062
lola: goal oriented search: 292
lola: symmetry: 10902
lola: reporting
lola: not produced: 9811
lola: find path: 11071
lola: goal oriented search: 292
lola: symmetry: 10911
lola: reporting
lola: not produced: 9795
lola: find path: 11079
lola: goal oriented search: 292
lola: symmetry: 10919
lola: reporting
lola: not produced: 9795
lola: find path: 11079
lola: goal oriented search: 292
lola: symmetry: 10919
lola: reporting
lola: not produced: 9775
lola: find path: 11089
lola: goal oriented search: 292
lola: symmetry: 10929
lola: reporting
lola: not produced: 9767
lola: find path: 11093
lola: goal oriented search: 292
lola: symmetry: 10933
lola: reporting
lola: not produced: 9753
lola: find path: 11100
lola: goal oriented search: 292
lola: symmetry: 10940
lola: reporting
lola: not produced: 9743
lola: find path: 11105
lola: goal oriented search: 292
lola: symmetry: 10945
lola: reporting
lola: not produced: 9731
lola: find path: 11111
lola: goal oriented search: 292
lola: symmetry: 10951
lola: reporting
lola: not produced: 9715
lola: find path: 11119
lola: goal oriented search: 292
lola: symmetry: 10959
lola: reporting
lola: not produced: 9707
lola: find path: 11123
lola: goal oriented search: 292
lola: symmetry: 10963
lola: reporting
lola: not produced: 9685
lola: find path: 11134
lola: goal oriented search: 292
lola: symmetry: 10974
lola: reporting
lola: not produced: 9681
lola: find path: 11136
lola: goal oriented search: 292
lola: symmetry: 10976
lola: reporting
lola: not produced: 9669
lola: find path: 11142
lola: goal oriented search: 292
lola: symmetry: 10982
lola: reporting
lola: not produced: 9657
lola: find path: 11148
lola: goal oriented search: 292
lola: symmetry: 10988
lola: reporting
lola: not produced: 9641
lola: find path: 11156
lola: goal oriented search: 292
lola: symmetry: 10996
lola: reporting
lola: not produced: 9633
lola: find path: 11160
lola: goal oriented search: 292
lola: symmetry: 11000
lola: reporting
lola: not produced: 9625
lola: find path: 11164
lola: goal oriented search: 292
lola: symmetry: 11004
lola: reporting
lola: not produced: 9605
lola: find path: 11174
lola: goal oriented search: 292
lola: symmetry: 11014
lola: reporting
lola: not produced: 9591
lola: find path: 11181
lola: goal oriented search: 292
lola: symmetry: 11021
lola: reporting
lola: not produced: 9581
lola: find path: 11186
lola: goal oriented search: 292
lola: symmetry: 11026
lola: reporting
lola: not produced: 9573
lola: find path: 11190
lola: goal oriented search: 292
lola: symmetry: 11030
lola: reporting
lola: not produced: 9561
lola: find path: 11196
lola: goal oriented search: 292
lola: symmetry: 11036
lola: reporting
lola: not produced: 9555
lola: find path: 11199
lola: goal oriented search: 292
lola: symmetry: 11039
lola: reporting
lola: not produced: 9547
lola: find path: 11203
lola: goal oriented search: 292
lola: symmetry: 11043
lola: reporting
lola: not produced: 9539
lola: find path: 11207
lola: goal oriented search: 292
lola: symmetry: 11047
lola: reporting
lola: not produced: 9527
lola: find path: 11213
lola: goal oriented search: 292
lola: symmetry: 11053
lola: reporting
lola: not produced: 9515
lola: find path: 11219
lola: goal oriented search: 292
lola: symmetry: 11059
lola: reporting
lola: not produced: 9507
lola: find path: 11223
lola: goal oriented search: 292
lola: symmetry: 11063
lola: reporting
lola: not produced: 9487
lola: find path: 11233
lola: goal oriented search: 292
lola: symmetry: 11073
lola: reporting
lola: not produced: 9475
lola: find path: 11239
lola: goal oriented search: 292
lola: symmetry: 11079
lola: reporting
lola: not produced: 9471
lola: find path: 11241
lola: goal oriented search: 292
lola: symmetry: 11081
lola: reporting
lola: not produced: 9471
lola: find path: 11241
lola: goal oriented search: 292
lola: symmetry: 11081
lola: reporting
lola: not produced: 9461
lola: find path: 11246
lola: goal oriented search: 292
lola: symmetry: 11086
lola: reporting
lola: not produced: 9443
lola: find path: 11255
lola: goal oriented search: 292
lola: symmetry: 11095
lola: reporting
lola: not produced: 9439
lola: find path: 11257
lola: goal oriented search: 292
lola: symmetry: 11097
lola: reporting
lola: not produced: 9423
lola: find path: 11265
lola: goal oriented search: 292
lola: symmetry: 11105
lola: reporting
lola: not produced: 9415
lola: find path: 11269
lola: goal oriented search: 292
lola: symmetry: 11109
lola: reporting
lola: not produced: 9393
lola: find path: 11280
lola: goal oriented search: 292
lola: symmetry: 11120
lola: reporting
lola: not produced: 9391
lola: find path: 11281
lola: goal oriented search: 292
lola: symmetry: 11121
lola: reporting
lola: not produced: 9375
lola: find path: 11289
lola: goal oriented search: 292
lola: symmetry: 11129
lola: reporting
lola: not produced: 9371
lola: find path: 11291
lola: goal oriented search: 292
lola: symmetry: 11131
lola: reporting
lola: not produced: 9359
lola: find path: 11297
lola: goal oriented search: 292
lola: symmetry: 11137
lola: reporting
lola: not produced: 9359
lola: find path: 11297
lola: goal oriented search: 292
lola: symmetry: 11137
lola: reporting
lola: not produced: 9359
lola: find path: 11297
lola: goal oriented search: 292
lola: symmetry: 11137
lola: reporting
lola: not produced: 9355
lola: find path: 11299
lola: goal oriented search: 292
lola: symmetry: 11139
lola: reporting
lola: not produced: 9351
lola: find path: 11301
lola: goal oriented search: 292
lola: symmetry: 11141
lola: reporting
lola: not produced: 9339
lola: find path: 11307
lola: goal oriented search: 292
lola: symmetry: 11147
lola: reporting
lola: not produced: 9337
lola: find path: 11308
lola: goal oriented search: 292
lola: symmetry: 11148
lola: reporting
lola: not produced: 9329
lola: find path: 11312
lola: goal oriented search: 292
lola: symmetry: 11152
lola: reporting
lola: not produced: 9325
lola: find path: 11314
lola: goal oriented search: 292
lola: symmetry: 11154
lola: reporting
lola: not produced: 9313
lola: find path: 11320
lola: goal oriented search: 292
lola: symmetry: 11160
lola: reporting
lola: not produced: 9305
lola: find path: 11324
lola: goal oriented search: 292
lola: symmetry: 11164
lola: reporting
lola: not produced: 9299
lola: find path: 11327
lola: goal oriented search: 292
lola: symmetry: 11167
lola: reporting
lola: not produced: 9287
lola: find path: 11333
lola: goal oriented search: 292
lola: symmetry: 11173
lola: reporting
lola: not produced: 9279
lola: find path: 11337
lola: goal oriented search: 292
lola: symmetry: 11177
lola: reporting
lola: not produced: 9279
lola: find path: 11337
lola: goal oriented search: 292
lola: symmetry: 11177
lola: reporting
lola: not produced: 9257
lola: find path: 11348
lola: goal oriented search: 292
lola: symmetry: 11188
lola: reporting
lola: not produced: 9257
lola: find path: 11348
lola: goal oriented search: 292
lola: symmetry: 11188
lola: reporting
lola: not produced: 9257
lola: find path: 11348
lola: goal oriented search: 292
lola: symmetry: 11188
lola: reporting
lola: not produced: 9257
lola: find path: 11348
lola: goal oriented search: 292
lola: symmetry: 11188
lola: reporting
lola: not produced: 9257
lola: find path: 11348
lola: goal oriented search: 292
lola: symmetry: 11188
lola: reporting
lola: not produced: 9241
lola: find path: 11356
lola: goal oriented search: 292
lola: symmetry: 11196
lola: reporting
lola: not produced: 9235
lola: find path: 11359
lola: goal oriented search: 292
lola: symmetry: 11199
lola: reporting
lola: not produced: 9231
lola: find path: 11361
lola: goal oriented search: 292
lola: symmetry: 11201
lola: reporting
lola: not produced: 9223
lola: find path: 11365
lola: goal oriented search: 292
lola: symmetry: 11205
lola: reporting
lola: not produced: 9215
lola: find path: 11369
lola: goal oriented search: 292
lola: symmetry: 11209
lola: reporting
lola: not produced: 9209
lola: find path: 11372
lola: goal oriented search: 292
lola: symmetry: 11212
lola: reporting
lola: not produced: 9195
lola: find path: 11379
lola: goal oriented search: 292
lola: symmetry: 11219
lola: reporting
lola: not produced: 9191
lola: find path: 11381
lola: goal oriented search: 292
lola: symmetry: 11221
lola: reporting
lola: not produced: 9187
lola: find path: 11383
lola: goal oriented search: 292
lola: symmetry: 11223
lola: reporting
lola: not produced: 9179
lola: find path: 11387
lola: goal oriented search: 292
lola: symmetry: 11227
lola: reporting
lola: not produced: 9167
lola: find path: 11393
lola: goal oriented search: 292
lola: symmetry: 11233
lola: reporting
lola: not produced: 9159
lola: find path: 11397
lola: goal oriented search: 292
lola: symmetry: 11237
lola: reporting
lola: not produced: 9145
lola: find path: 11404
lola: goal oriented search: 292
lola: symmetry: 11244
lola: reporting
lola: not produced: 9131
lola: find path: 11411
lola: goal oriented search: 292
lola: symmetry: 11251
lola: reporting
lola: not produced: 9123
lola: find path: 11415
lola: goal oriented search: 292
lola: symmetry: 11255
lola: reporting
lola: not produced: 9119
lola: find path: 11417
lola: goal oriented search: 292
lola: symmetry: 11257
lola: reporting
lola: not produced: 9111
lola: find path: 11421
lola: goal oriented search: 292
lola: symmetry: 11261
lola: reporting
lola: not produced: 9111
lola: find path: 11421
lola: goal oriented search: 292
lola: symmetry: 11261
lola: reporting
lola: not produced: 9111
lola: find path: 11421
lola: goal oriented search: 292
lola: symmetry: 11261
lola: reporting
lola: not produced: 9103
lola: find path: 11425
lola: goal oriented search: 292
lola: symmetry: 11265
lola: reporting
lola: not produced: 9095
lola: find path: 11429
lola: goal oriented search: 292
lola: symmetry: 11269
lola: reporting
lola: not produced: 9095
lola: find path: 11429
lola: goal oriented search: 292
lola: symmetry: 11269
lola: reporting
lola: not produced: 9087
lola: find path: 11433
lola: goal oriented search: 292
lola: symmetry: 11273
lola: reporting
lola: not produced: 9083
lola: find path: 11435
lola: goal oriented search: 292
lola: symmetry: 11275
lola: reporting
lola: not produced: 9079
lola: find path: 11437
lola: goal oriented search: 292
lola: symmetry: 11277
lola: reporting
lola: not produced: 9075
lola: find path: 11439
lola: goal oriented search: 292
lola: symmetry: 11279
lola: reporting
lola: not produced: 9071
lola: find path: 11441
lola: goal oriented search: 292
lola: symmetry: 11281
lola: reporting
lola: not produced: 9071
lola: find path: 11441
lola: goal oriented search: 292
lola: symmetry: 11281
lola: reporting
lola: not produced: 9071
lola: find path: 11441
lola: goal oriented search: 292
lola: symmetry: 11281
lola: reporting
lola: not produced: 9057
lola: find path: 11448
lola: goal oriented search: 292
lola: symmetry: 11288
lola: reporting
lola: not produced: 9053
lola: find path: 11450
lola: goal oriented search: 292
lola: symmetry: 11290
lola: reporting
lola: not produced: 9049
lola: find path: 11452
lola: goal oriented search: 292
lola: symmetry: 11292
lola: reporting
lola: not produced: 9049
lola: find path: 11452
lola: goal oriented search: 292
lola: symmetry: 11292
lola: reporting
lola: not produced: 9035
lola: find path: 11459
lola: goal oriented search: 292
lola: symmetry: 11299
lola: reporting
lola: not produced: 9035
lola: find path: 11459
lola: goal oriented search: 292
lola: symmetry: 11299
lola: reporting
lola: not produced: 9031
lola: find path: 11461
lola: goal oriented search: 292
lola: symmetry: 11301
lola: reporting
lola: not produced: 9027
lola: find path: 11463
lola: goal oriented search: 292
lola: symmetry: 11303
lola: reporting
lola: not produced: 9019
lola: find path: 11467
lola: goal oriented search: 292
lola: symmetry: 11307
lola: reporting
lola: not produced: 9005
lola: find path: 11474
lola: goal oriented search: 292
lola: symmetry: 11314
lola: reporting
lola: not produced: 9005
lola: find path: 11474
lola: goal oriented search: 292
lola: symmetry: 11314
lola: reporting
lola: not produced: 8991
lola: find path: 11481
lola: goal oriented search: 292
lola: symmetry: 11321
lola: reporting
lola: not produced: 8987
lola: find path: 11483
lola: goal oriented search: 292
lola: symmetry: 11323
lola: reporting
lola: not produced: 8987
lola: find path: 11483
lola: goal oriented search: 292
lola: symmetry: 11323
lola: reporting
lola: not produced: 8981
lola: find path: 11486
lola: goal oriented search: 292
lola: symmetry: 11326
lola: reporting
lola: not produced: 8977
lola: find path: 11488
lola: goal oriented search: 292
lola: symmetry: 11328
lola: reporting
lola: not produced: 8977
lola: find path: 11488
lola: goal oriented search: 292
lola: symmetry: 11328
lola: reporting
lola: not produced: 8977
lola: find path: 11488
lola: goal oriented search: 292
lola: symmetry: 11328
lola: reporting
lola: not produced: 8971
lola: find path: 11491
lola: goal oriented search: 292
lola: symmetry: 11331
lola: reporting
lola: not produced: 8967
lola: find path: 11493
lola: goal oriented search: 292
lola: symmetry: 11333
lola: reporting
lola: not produced: 8963
lola: find path: 11495
lola: goal oriented search: 292
lola: symmetry: 11335
lola: reporting
lola: not produced: 8963
lola: find path: 11495
lola: goal oriented search: 292
lola: symmetry: 11335
lola: reporting
lola: not produced: 8947
lola: find path: 11503
lola: goal oriented search: 292
lola: symmetry: 11343
lola: reporting
lola: not produced: 8947
lola: find path: 11503
lola: goal oriented search: 292
lola: symmetry: 11343
lola: reporting
lola: not produced: 8939
lola: find path: 11507
lola: goal oriented search: 292
lola: symmetry: 11347
lola: reporting
lola: not produced: 8935
lola: find path: 11509
lola: goal oriented search: 292
lola: symmetry: 11349
lola: reporting
lola: not produced: 8935
lola: find path: 11509
lola: goal oriented search: 292
lola: symmetry: 11349
lola: reporting
lola: not produced: 8927
lola: find path: 11513
lola: goal oriented search: 292
lola: symmetry: 11353
lola: reporting
lola: not produced: 8919
lola: find path: 11517
lola: goal oriented search: 292
lola: symmetry: 11357
lola: reporting
lola: not produced: 8919
lola: find path: 11517
lola: goal oriented search: 292
lola: symmetry: 11357
lola: reporting
lola: not produced: 8911
lola: find path: 11521
lola: goal oriented search: 292
lola: symmetry: 11361
lola: reporting
lola: not produced: 8909
lola: find path: 11522
lola: goal oriented search: 292
lola: symmetry: 11362
lola: reporting
lola: not produced: 8901
lola: find path: 11526
lola: goal oriented search: 292
lola: symmetry: 11366
lola: reporting
lola: not produced: 8893
lola: find path: 11530
lola: goal oriented search: 292
lola: symmetry: 11370
lola: reporting
lola: not produced: 8893
lola: find path: 11530
lola: goal oriented search: 292
lola: symmetry: 11370
lola: reporting
lola: not produced: 8877
lola: find path: 11538
lola: goal oriented search: 292
lola: symmetry: 11378
lola: reporting
lola: not produced: 8877
lola: find path: 11538
lola: goal oriented search: 292
lola: symmetry: 11378
lola: reporting
lola: not produced: 8873
lola: find path: 11540
lola: goal oriented search: 292
lola: symmetry: 11380
lola: reporting
lola: not produced: 8869
lola: find path: 11542
lola: goal oriented search: 292
lola: symmetry: 11382
lola: reporting
lola: not produced: 8853
lola: find path: 11550
lola: goal oriented search: 292
lola: symmetry: 11390
lola: reporting
lola: not produced: 8845
lola: find path: 11554
lola: goal oriented search: 292
lola: symmetry: 11394
lola: reporting
lola: not produced: 8841
lola: find path: 11556
lola: goal oriented search: 292
lola: symmetry: 11396
lola: reporting
lola: not produced: 8841
lola: find path: 11556
lola: goal oriented search: 292
lola: symmetry: 11396
lola: reporting
lola: not produced: 8837
lola: find path: 11558
lola: goal oriented search: 292
lola: symmetry: 11398
lola: reporting
lola: not produced: 8833
lola: find path: 11560
lola: goal oriented search: 292
lola: symmetry: 11400
lola: reporting
lola: not produced: 8829
lola: find path: 11562
lola: goal oriented search: 292
lola: symmetry: 11402
lola: reporting
lola: not produced: 8829
lola: find path: 11562
lola: goal oriented search: 292
lola: symmetry: 11402
lola: reporting
lola: not produced: 8825
lola: find path: 11564
lola: goal oriented search: 292
lola: symmetry: 11404
lola: reporting
lola: not produced: 8821
lola: find path: 11566
lola: goal oriented search: 292
lola: symmetry: 11406
lola: reporting
lola: not produced: 8817
lola: find path: 11568
lola: goal oriented search: 292
lola: symmetry: 11408
lola: reporting
lola: not produced: 8813
lola: find path: 11570
lola: goal oriented search: 292
lola: symmetry: 11410
lola: reporting
lola: not produced: 8813
lola: find path: 11570
lola: goal oriented search: 292
lola: symmetry: 11410
lola: reporting
lola: not produced: 8811
lola: find path: 11571
lola: goal oriented search: 292
lola: symmetry: 11411
lola: reporting
lola: not produced: 8803
lola: find path: 11575
lola: goal oriented search: 292
lola: symmetry: 11415
lola: reporting
lola: not produced: 8799
lola: find path: 11577
lola: goal oriented search: 292
lola: symmetry: 11417
lola: reporting
lola: not produced: 8795
lola: find path: 11579
lola: goal oriented search: 292
lola: symmetry: 11419
lola: reporting
lola: not produced: 8787
lola: find path: 11583
lola: goal oriented search: 292
lola: symmetry: 11423
lola: reporting
lola: not produced: 8783
lola: find path: 11585
lola: goal oriented search: 292
lola: symmetry: 11425
lola: reporting
lola: not produced: 8779
lola: find path: 11587
lola: goal oriented search: 292
lola: symmetry: 11427
lola: reporting
lola: not produced: 8771
lola: find path: 11591
lola: goal oriented search: 292
lola: symmetry: 11431
lola: reporting
lola: not produced: 8771
lola: find path: 11591
lola: goal oriented search: 292
lola: symmetry: 11431
lola: reporting
lola: not produced: 8765
lola: find path: 11594
lola: goal oriented search: 292
lola: symmetry: 11434
lola: reporting
lola: not produced: 8765
lola: find path: 11594
lola: goal oriented search: 292
lola: symmetry: 11434
lola: reporting
lola: not produced: 8765
lola: find path: 11594
lola: goal oriented search: 292
lola: symmetry: 11434
lola: reporting
lola: not produced: 8765
lola: find path: 11594
lola: goal oriented search: 292
lola: symmetry: 11434
lola: reporting
lola: not produced: 8757
lola: find path: 11598
lola: goal oriented search: 292
lola: symmetry: 11438
lola: reporting
lola: not produced: 8753
lola: find path: 11600
lola: goal oriented search: 292
lola: symmetry: 11440
lola: reporting
lola: not produced: 8749
lola: find path: 11602
lola: goal oriented search: 292
lola: symmetry: 11442
lola: reporting
lola: not produced: 8745
lola: find path: 11604
lola: goal oriented search: 292
lola: symmetry: 11444
lola: reporting
lola: not produced: 8741
lola: find path: 11606
lola: goal oriented search: 292
lola: symmetry: 11446
lola: reporting
lola: not produced: 8741
lola: find path: 11606
lola: goal oriented search: 292
lola: symmetry: 11446
lola: reporting
lola: not produced: 8733
lola: find path: 11610
lola: goal oriented search: 292
lola: symmetry: 11450
lola: reporting
lola: not produced: 8733
lola: find path: 11610
lola: goal oriented search: 292
lola: symmetry: 11450
lola: reporting
lola: not produced: 8731
lola: find path: 11611
lola: goal oriented search: 292
lola: symmetry: 11451
lola: reporting
lola: not produced: 8731
lola: find path: 11611
lola: goal oriented search: 292
lola: symmetry: 11451
lola: reporting
lola: not produced: 8731
lola: find path: 11611
lola: goal oriented search: 292
lola: symmetry: 11451
lola: reporting
lola: not produced: 8731
lola: find path: 11611
lola: goal oriented search: 292
lola: symmetry: 11451
lola: reporting
lola: not produced: 8723
lola: find path: 11615
lola: goal oriented search: 292
lola: symmetry: 11455
lola: reporting
lola: not produced: 8719
lola: find path: 11617
lola: goal oriented search: 292
lola: symmetry: 11457
lola: reporting
lola: not produced: 8719
lola: find path: 11617
lola: goal oriented search: 292
lola: symmetry: 11457
lola: reporting
lola: not produced: 8719
lola: find path: 11617
lola: goal oriented search: 292
lola: symmetry: 11457
lola: reporting
lola: not produced: 8719
lola: find path: 11617
lola: goal oriented search: 292
lola: symmetry: 11457
lola: reporting
lola: not produced: 8719
lola: find path: 11617
lola: goal oriented search: 292
lola: symmetry: 11457
lola: reporting
lola: not produced: 8707
lola: find path: 11623
lola: goal oriented search: 292
lola: symmetry: 11463
lola: reporting
lola: not produced: 8703
lola: find path: 11625
lola: goal oriented search: 292
lola: symmetry: 11465
lola: reporting
lola: not produced: 8699
lola: find path: 11627
lola: goal oriented search: 292
lola: symmetry: 11467
lola: reporting
lola: not produced: 8699
lola: find path: 11627
lola: goal oriented search: 292
lola: symmetry: 11467
lola: reporting
lola: not produced: 8697
lola: find path: 11628
lola: goal oriented search: 292
lola: symmetry: 11468
lola: reporting
lola: not produced: 8697
lola: find path: 11628
lola: goal oriented search: 292
lola: symmetry: 11468
lola: reporting
lola: not produced: 8693
lola: find path: 11630
lola: goal oriented search: 292
lola: symmetry: 11470
lola: reporting
lola: not produced: 8693
lola: find path: 11630
lola: goal oriented search: 292
lola: symmetry: 11470
lola: reporting
lola: not produced: 8685
lola: find path: 11634
lola: goal oriented search: 292
lola: symmetry: 11474
lola: reporting
lola: not produced: 8681
lola: find path: 11636
lola: goal oriented search: 292
lola: symmetry: 11476
lola: reporting
lola: not produced: 8671
lola: find path: 11641
lola: goal oriented search: 292
lola: symmetry: 11481
lola: reporting
lola: not produced: 8667
lola: find path: 11643
lola: goal oriented search: 292
lola: symmetry: 11483
lola: reporting
lola: not produced: 8667
lola: find path: 11643
lola: goal oriented search: 292
lola: symmetry: 11483
lola: reporting
lola: not produced: 8663
lola: find path: 11645
lola: goal oriented search: 292
lola: symmetry: 11485
lola: reporting
lola: not produced: 8659
lola: find path: 11647
lola: goal oriented search: 292
lola: symmetry: 11487
lola: reporting
lola: not produced: 8655
lola: find path: 11649
lola: goal oriented search: 292
lola: symmetry: 11489
lola: reporting
lola: not produced: 8655
lola: find path: 11649
lola: goal oriented search: 292
lola: symmetry: 11489
lola: reporting
lola: not produced: 8655
lola: find path: 11649
lola: goal oriented search: 292
lola: symmetry: 11489
lola: reporting
lola: not produced: 8655
lola: find path: 11649
lola: goal oriented search: 292
lola: symmetry: 11489
lola: reporting
lola: not produced: 8651
lola: find path: 11651
lola: goal oriented search: 292
lola: symmetry: 11491
lola: reporting
lola: not produced: 8651
lola: find path: 11651
lola: goal oriented search: 292
lola: symmetry: 11491
lola: reporting
lola: not produced: 8651
lola: find path: 11651
lola: goal oriented search: 292
lola: symmetry: 11491
lola: reporting
lola: not produced: 8651
lola: find path: 11651
lola: goal oriented search: 292
lola: symmetry: 11491
lola: reporting
lola: not produced: 8651
lola: find path: 11651
lola: goal oriented search: 292
lola: symmetry: 11491
lola: reporting
lola: not produced: 8647
lola: find path: 11653
lola: goal oriented search: 292
lola: symmetry: 11493
lola: reporting
lola: not produced: 8643
lola: find path: 11655
lola: goal oriented search: 292
lola: symmetry: 11495
lola: reporting
lola: not produced: 8643
lola: find path: 11655
lola: goal oriented search: 292
lola: symmetry: 11495
lola: reporting
lola: not produced: 8643
lola: find path: 11655
lola: goal oriented search: 292
lola: symmetry: 11495
lola: reporting
lola: not produced: 8635
lola: find path: 11659
lola: goal oriented search: 292
lola: symmetry: 11499
lola: reporting
lola: not produced: 8631
lola: find path: 11661
lola: goal oriented search: 292
lola: symmetry: 11501
lola: reporting
lola: not produced: 8625
lola: find path: 11664
lola: goal oriented search: 292
lola: symmetry: 11504
lola: reporting
lola: not produced: 8625
lola: find path: 11664
lola: goal oriented search: 292
lola: symmetry: 11504
lola: reporting
lola: not produced: 8625
lola: find path: 11664
lola: goal oriented search: 292
lola: symmetry: 11504
lola: reporting
lola: not produced: 8625
lola: find path: 11664
lola: goal oriented search: 292
lola: symmetry: 11504
lola: reporting
lola: not produced: 8617
lola: find path: 11668
lola: goal oriented search: 292
lola: symmetry: 11508
lola: reporting
lola: not produced: 8617
lola: find path: 11668
lola: goal oriented search: 292
lola: symmetry: 11508
lola: reporting
lola: not produced: 8617
lola: find path: 11668
lola: goal oriented search: 292
lola: symmetry: 11508
lola: reporting
lola: not produced: 8617
lola: find path: 11668
lola: goal oriented search: 292
lola: symmetry: 11508
lola: reporting
lola: not produced: 8609
lola: find path: 11672
lola: goal oriented search: 292
lola: symmetry: 11512
lola: reporting
lola: not produced: 8609
lola: find path: 11672
lola: goal oriented search: 292
lola: symmetry: 11512
lola: reporting
lola: not produced: 8609
lola: find path: 11672
lola: goal oriented search: 292
lola: symmetry: 11512
lola: reporting
lola: not produced: 8609
lola: find path: 11672
lola: goal oriented search: 292
lola: symmetry: 11512
lola: reporting
lola: not produced: 8605
lola: find path: 11674
lola: goal oriented search: 292
lola: symmetry: 11514
lola: reporting
lola: not produced: 8601
lola: find path: 11676
lola: goal oriented search: 292
lola: symmetry: 11516
lola: reporting
lola: not produced: 8597
lola: find path: 11678
lola: goal oriented search: 292
lola: symmetry: 11518
lola: reporting
lola: not produced: 8593
lola: find path: 11680
lola: goal oriented search: 292
lola: symmetry: 11520
lola: reporting
lola: not produced: 8585
lola: find path: 11684
lola: goal oriented search: 292
lola: symmetry: 11524
lola: STATE EQUATION TRIES PLACE Node26HasAskedItsLeafSetToLx8ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfLx9ToReplaceNode9
lola: reporting
lola: not produced: 8585
lola: find path: 11684
lola: goal oriented search: 292
lola: symmetry: 11524
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfRx7ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node8ThinksNode23ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node0ThinksNode29ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node16HasTheLeafSetOfRx9ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfLx8ToReplaceNode2
lola: reporting
lola: not produced: 8585
lola: find path: 11684
lola: goal oriented search: 292
lola: symmetry: 11524
lola: STATE EQUATION TRIES PLACE Node27HasAskedItsLeafSetToRx8ToReplaceNode32
lola: STATE EQUATION TRIES PLACE Node31HasAskedItsLeafSetToLx9ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node28HasAskedItsLeafSetToRx8ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node3ThinksNode27ShouldBeNodeMasterToReplaceNode16
lola: reporting
lola: not produced: 8581
lola: find path: 11686
lola: goal oriented search: 292
lola: symmetry: 11526
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfRx9ToReplaceNode29
lola: STATE EQUATION TRIES PLACE Node2ThinksNode24ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node1ThinksNode3ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node30ThinksNode27ShouldBeNodeMasterToReplaceNode23
lola: reporting
lola: not produced: 8581
lola: find path: 11686
lola: goal oriented search: 292
lola: symmetry: 11526
lola: STATE EQUATION TRIES PLACE Node3ThinksNode5ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node3ThinksNode6ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node2ThinksNode6ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node18HasAskedItsLeafSetToRx8ToReplaceNode31
lola: reporting
lola: not produced: 8577
lola: find path: 11688
lola: goal oriented search: 292
lola: symmetry: 11528
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx9ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node1ThinksNode29ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node32ThinksNode1ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Lx9HasReceivedTheRequestOfNode15
lola: reporting
lola: not produced: 8573
lola: find path: 11690
lola: goal oriented search: 292
lola: symmetry: 11530
lola: STATE EQUATION TRIES PLACE Node24ThinksNode10ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node2ThinksNode29ShouldBeNodeMasterToReplaceNode26
lola: STATE EQUATION TRIES PLACE Node26HasAskedItsLeafSetToRx8ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node0ThinksNode27ShouldBeNodeMasterToReplaceNode26
lola: STATE EQUATION TRIES PLACE Node2ThinksNode5ShouldBeNodeMasterToReplaceNode24
lola: reporting
lola: not produced: 8563
lola: find path: 11695
lola: goal oriented search: 292
lola: symmetry: 11535
lola: STATE EQUATION TRIES PLACE Node32ThinksNode5ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node32ThinksNode29ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node29HasAskedItsLeafSetToLx9ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node32ThinksNode6ShouldBeNodeMasterToReplaceNode20
lola: reporting
lola: not produced: 8559
lola: find path: 11697
lola: goal oriented search: 292
lola: symmetry: 11537
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx9ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node30ThinksNode24ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node3ThinksNode19ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE RequestOfNode26IsSentToRx9
lola: reporting
lola: not produced: 8559
lola: find path: 11697
lola: goal oriented search: 292
lola: symmetry: 11537
lola: STATE EQUATION TRIES PLACE Node1ThinksNode5ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node32ThinksNode23ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToRx9ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node3ThinksNode6ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfRx9ToReplaceNode21
lola: reporting
lola: not produced: 8559
lola: find path: 11697
lola: goal oriented search: 292
lola: symmetry: 11537
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfLx9ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node2ThinksNode7ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node5HasTheLeafSetOfRx9ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node32ThinksNode3ShouldBeNodeMasterToReplaceNode6
lola: reporting
lola: not produced: 8551
lola: find path: 11701
lola: goal oriented search: 292
lola: symmetry: 11541
lola: STATE EQUATION TRIES PLACE Node0HasAskedItsLeafSetToRx8ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node3ThinksNode24ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node25HasAskedItsLeafSetToLx9ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node28ThinksNode7ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 8551
lola: find path: 11701
lola: goal oriented search: 292
lola: symmetry: 11541
lola: STATE EQUATION TRIES PLACE Node1ThinksNode30ShouldBeNodeMasterToReplaceNode29
lola: STATE EQUATION TRIES PLACE Node27ThinksNode8ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node27ThinksNode10ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node5ThinksNode10ShouldBeNodeMasterToReplaceNode14
lola: reporting
lola: not produced: 8547
lola: find path: 11703
lola: goal oriented search: 292
lola: symmetry: 11543
lola: STATE EQUATION TRIES PLACE Node31HasAskedItsLeafSetToLx9ToReplaceNode1
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 408 Killed lola --conf=$BIN_DIR/configfiles/globalconf --check=StableMarking $DIR/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-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-4028"
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 r296-tall-162124162800488"
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 '
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 ;