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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 51M
-rw-r--r-- 1 mcc users 47K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 157K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 32K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 102K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 6.0K May 11 19:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 11 19:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K May 11 16:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 11 16:19 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 51M 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 1621250287197

starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C07
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking

BK_TIME_CONFINEMENT_REACHED

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE Node22HasAskedItsLeafSetToLx1ToReplaceNode5
sara: try reading problem file stateEquationProblem-ConstantPlace-22787.sara.
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 18255
lola: find path: 3567
lola: symmetry: 3309
lola: reporting
lola: not produced: 15339
lola: find path: 5026
lola: symmetry: 4766
lola: reporting
lola: not produced: 13721
lola: find path: 5835
lola: symmetry: 5575
lola: reporting
lola: not produced: 12627
lola: find path: 6382
lola: symmetry: 6122
lola: reporting
lola: not produced: 11953
lola: find path: 6720
lola: symmetry: 6458
lola: reporting
lola: not produced: 11379
lola: find path: 7007
lola: symmetry: 6745
lola: reporting
lola: not produced: 11047
lola: find path: 7173
lola: symmetry: 6911
lola: reporting
lola: not produced: 10757
lola: find path: 7318
lola: symmetry: 7056
lola: reporting
lola: not produced: 10525
lola: find path: 7434
lola: symmetry: 7172
lola: reporting
lola: not produced: 10359
lola: find path: 7517
lola: symmetry: 7255
lola: reporting
lola: not produced: 10177
lola: find path: 7608
lola: symmetry: 7346
lola: reporting
lola: not produced: 10017
lola: find path: 7688
lola: symmetry: 7426
lola: reporting
lola: not produced: 9895
lola: find path: 7749
lola: symmetry: 7487
lola: reporting
lola: not produced: 9801
lola: find path: 7796
lola: symmetry: 7534
lola: reporting
lola: not produced: 9693
lola: find path: 7850
lola: symmetry: 7588
lola: reporting
lola: not produced: 9605
lola: find path: 7894
lola: symmetry: 7632
lola: reporting
lola: not produced: 9513
lola: find path: 7940
lola: symmetry: 7678
lola: reporting
lola: not produced: 9417
lola: find path: 7988
lola: symmetry: 7726
lola: reporting
lola: not produced: 9367
lola: find path: 8013
lola: symmetry: 7751
lola: reporting
lola: not produced: 9309
lola: find path: 8042
lola: symmetry: 7780
lola: reporting
lola: not produced: 9243
lola: find path: 8075
lola: symmetry: 7813
lola: reporting
lola: not produced: 9205
lola: find path: 8094
lola: symmetry: 7832
lola: reporting
lola: not produced: 9173
lola: find path: 8110
lola: symmetry: 7848
lola: reporting
lola: not produced: 9133
lola: find path: 8130
lola: symmetry: 7868
lola: reporting
lola: not produced: 9097
lola: find path: 8148
lola: symmetry: 7886
lola: reporting
lola: not produced: 9071
lola: find path: 8161
lola: symmetry: 7899
lola: reporting
lola: not produced: 9051
lola: find path: 8171
lola: symmetry: 7909
lola: reporting
lola: not produced: 9013
lola: find path: 8190
lola: symmetry: 7928
lola: reporting
lola: not produced: 8961
lola: find path: 8216
lola: symmetry: 7954
lola: reporting
lola: not produced: 8939
lola: find path: 8227
lola: symmetry: 7965
lola: reporting
lola: not produced: 8901
lola: find path: 8246
lola: symmetry: 7984
lola: reporting
lola: not produced: 8877
lola: find path: 8258
lola: symmetry: 7996
lola: reporting
lola: not produced: 8847
lola: find path: 8273
lola: symmetry: 8011
lola: reporting
lola: not produced: 8811
lola: find path: 8291
lola: symmetry: 8029
lola: reporting
lola: not produced: 8785
lola: find path: 8304
lola: symmetry: 8042
lola: reporting
lola: not produced: 8741
lola: find path: 8326
lola: symmetry: 8064
lola: reporting
lola: not produced: 8729
lola: find path: 8332
lola: symmetry: 8070
lola: reporting
lola: not produced: 8697
lola: find path: 8348
lola: symmetry: 8086
lola: reporting
lola: not produced: 8661
lola: find path: 8366
lola: symmetry: 8104
lola: reporting
lola: not produced: 8649
lola: find path: 8372
lola: symmetry: 8110
lola: reporting
lola: not produced: 8621
lola: find path: 8386
lola: symmetry: 8124
lola: reporting
lola: not produced: 8599
lola: find path: 8397
lola: symmetry: 8135
lola: reporting
lola: not produced: 8583
lola: find path: 8405
lola: symmetry: 8143
lola: reporting
lola: not produced: 8563
lola: find path: 8415
lola: symmetry: 8153
lola: reporting
lola: not produced: 8555
lola: find path: 8419
lola: symmetry: 8157
lola: reporting
lola: not produced: 8539
lola: find path: 8427
lola: symmetry: 8165
lola: reporting
lola: not produced: 8535
lola: find path: 8429
lola: symmetry: 8167
lola: reporting
lola: not produced: 8523
lola: find path: 8435
lola: symmetry: 8173
lola: reporting
lola: not produced: 8513
lola: find path: 8440
lola: symmetry: 8178
lola: reporting
lola: not produced: 8481
lola: find path: 8456
lola: symmetry: 8194
lola: reporting
lola: not produced: 8477
lola: find path: 8458
lola: symmetry: 8196
lola: reporting
lola: not produced: 8477
lola: find path: 8458
lola: symmetry: 8196
lola: reporting
lola: not produced: 8469
lola: find path: 8462
lola: symmetry: 8200
lola: reporting
lola: not produced: 8449
lola: find path: 8472
lola: symmetry: 8210
lola: reporting
lola: not produced: 8425
lola: find path: 8484
lola: symmetry: 8222
lola: reporting
lola: not produced: 8405
lola: find path: 8494
lola: symmetry: 8232
lola: reporting
lola: not produced: 8393
lola: find path: 8500
lola: symmetry: 8238
lola: reporting
lola: not produced: 8373
lola: find path: 8510
lola: symmetry: 8248
lola: reporting
lola: not produced: 8363
lola: find path: 8515
lola: symmetry: 8253
lola: reporting
lola: not produced: 8351
lola: find path: 8521
lola: symmetry: 8259
lola: reporting
lola: not produced: 8347
lola: find path: 8523
lola: symmetry: 8261
lola: reporting
lola: not produced: 8335
lola: find path: 8529
lola: symmetry: 8267
lola: reporting
lola: not produced: 8321
lola: find path: 8536
lola: symmetry: 8274
lola: reporting
lola: not produced: 8311
lola: find path: 8541
lola: symmetry: 8279
lola: reporting
lola: not produced: 8287
lola: find path: 8553
lola: symmetry: 8291
lola: reporting
lola: not produced: 8271
lola: find path: 8561
lola: symmetry: 8299
lola: reporting
lola: not produced: 8271
lola: find path: 8561
lola: symmetry: 8299
lola: reporting
lola: not produced: 8247
lola: find path: 8573
lola: symmetry: 8311
lola: reporting
lola: not produced: 8231
lola: find path: 8581
lola: symmetry: 8319
lola: reporting
lola: not produced: 8231
lola: find path: 8581
lola: symmetry: 8319
lola: reporting
lola: not produced: 8219
lola: find path: 8587
lola: symmetry: 8325
lola: reporting
lola: not produced: 8207
lola: find path: 8593
lola: symmetry: 8331
lola: reporting
lola: not produced: 8191
lola: find path: 8601
lola: symmetry: 8339
lola: reporting
lola: not produced: 8187
lola: find path: 8603
lola: symmetry: 8341
lola: reporting
lola: not produced: 8187
lola: find path: 8603
lola: symmetry: 8341
lola: reporting
lola: not produced: 8175
lola: find path: 8609
lola: symmetry: 8347
lola: reporting
lola: not produced: 8159
lola: find path: 8617
lola: symmetry: 8355
lola: reporting
lola: not produced: 8147
lola: find path: 8623
lola: symmetry: 8361
lola: reporting
lola: not produced: 8137
lola: find path: 8628
lola: symmetry: 8366
lola: reporting
lola: not produced: 8137
lola: find path: 8628
lola: symmetry: 8366
lola: reporting
lola: not produced: 8121
lola: find path: 8636
lola: symmetry: 8374
lola: reporting
lola: not produced: 8121
lola: find path: 8636
lola: symmetry: 8374
lola: reporting
lola: not produced: 8121
lola: find path: 8636
lola: symmetry: 8374
lola: reporting
lola: not produced: 8117
lola: find path: 8638
lola: symmetry: 8376
lola: reporting
lola: not produced: 8113
lola: find path: 8640
lola: symmetry: 8378
lola: reporting
lola: not produced: 8109
lola: find path: 8642
lola: symmetry: 8380
lola: reporting
lola: not produced: 8097
lola: find path: 8648
lola: symmetry: 8386
lola: reporting
lola: not produced: 8091
lola: find path: 8651
lola: symmetry: 8389
lola: reporting
lola: not produced: 8079
lola: find path: 8657
lola: symmetry: 8395
lola: reporting
lola: not produced: 8073
lola: find path: 8660
lola: symmetry: 8398
lola: reporting
lola: not produced: 8073
lola: find path: 8660
lola: symmetry: 8398
lola: reporting
lola: not produced: 8073
lola: find path: 8660
lola: symmetry: 8398
lola: reporting
lola: not produced: 8063
lola: find path: 8665
lola: symmetry: 8403
lola: reporting
lola: not produced: 8055
lola: find path: 8669
lola: symmetry: 8407
lola: reporting
lola: not produced: 8051
lola: find path: 8671
lola: symmetry: 8409
lola: reporting
lola: not produced: 8047
lola: find path: 8673
lola: symmetry: 8411
lola: reporting
lola: not produced: 8043
lola: find path: 8675
lola: symmetry: 8413
lola: reporting
lola: not produced: 8043
lola: find path: 8675
lola: symmetry: 8413
lola: reporting
lola: not produced: 8041
lola: find path: 8676
lola: symmetry: 8414
lola: reporting
lola: not produced: 8037
lola: find path: 8678
lola: symmetry: 8416
lola: reporting
lola: not produced: 8025
lola: find path: 8684
lola: symmetry: 8422
lola: reporting
lola: not produced: 8025
lola: find path: 8684
lola: symmetry: 8422
lola: reporting
lola: not produced: 8023
lola: find path: 8685
lola: symmetry: 8423
lola: reporting
lola: not produced: 8019
lola: find path: 8687
lola: symmetry: 8425
lola: reporting
lola: not produced: 8017
lola: find path: 8688
lola: symmetry: 8426
lola: reporting
lola: not produced: 8017
lola: find path: 8688
lola: symmetry: 8426
lola: reporting
lola: not produced: 8005
lola: find path: 8694
lola: symmetry: 8432
lola: reporting
lola: not produced: 8001
lola: find path: 8696
lola: symmetry: 8434
lola: reporting
lola: not produced: 7989
lola: find path: 8702
lola: symmetry: 8440
lola: reporting
lola: not produced: 7981
lola: find path: 8706
lola: symmetry: 8444
lola: reporting
lola: not produced: 7981
lola: find path: 8706
lola: symmetry: 8444
lola: reporting
lola: not produced: 7969
lola: find path: 8712
lola: symmetry: 8450
lola: reporting
lola: not produced: 7961
lola: find path: 8716
lola: symmetry: 8454
lola: reporting
lola: not produced: 7961
lola: find path: 8716
lola: symmetry: 8454
lola: reporting
lola: not produced: 7957
lola: find path: 8718
lola: symmetry: 8456
lola: reporting
lola: not produced: 7949
lola: find path: 8722
lola: symmetry: 8460
lola: reporting
lola: not produced: 7949
lola: find path: 8722
lola: symmetry: 8460
lola: reporting
lola: not produced: 7941
lola: find path: 8726
lola: symmetry: 8464
lola: reporting
lola: not produced: 7941
lola: find path: 8726
lola: symmetry: 8464
lola: reporting
lola: not produced: 7937
lola: find path: 8728
lola: symmetry: 8466
lola: reporting
lola: not produced: 7933
lola: find path: 8730
lola: symmetry: 8468
lola: reporting
lola: not produced: 7929
lola: find path: 8732
lola: symmetry: 8470
lola: reporting
lola: not produced: 7921
lola: find path: 8736
lola: symmetry: 8474
lola: reporting
lola: not produced: 7921
lola: find path: 8736
lola: symmetry: 8474
lola: reporting
lola: not produced: 7915
lola: find path: 8739
lola: symmetry: 8477
lola: reporting
lola: not produced: 7915
lola: find path: 8739
lola: symmetry: 8477
lola: reporting
lola: not produced: 7911
lola: find path: 8741
lola: symmetry: 8479
lola: reporting
lola: not produced: 7905
lola: find path: 8744
lola: symmetry: 8482
lola: reporting
lola: not produced: 7905
lola: find path: 8744
lola: symmetry: 8482
lola: reporting
lola: not produced: 7901
lola: find path: 8746
lola: symmetry: 8484
lola: reporting
lola: not produced: 7901
lola: find path: 8746
lola: symmetry: 8484
lola: reporting
lola: not produced: 7901
lola: find path: 8746
lola: symmetry: 8484
lola: reporting
lola: not produced: 7897
lola: find path: 8748
lola: symmetry: 8486
lola: reporting
lola: not produced: 7893
lola: find path: 8750
lola: symmetry: 8488
lola: reporting
lola: not produced: 7889
lola: find path: 8752
lola: symmetry: 8490
lola: reporting
lola: not produced: 7889
lola: find path: 8752
lola: symmetry: 8490
lola: reporting
lola: not produced: 7873
lola: find path: 8760
lola: symmetry: 8498
lola: reporting
lola: not produced: 7869
lola: find path: 8762
lola: symmetry: 8500
lola: reporting
lola: not produced: 7865
lola: find path: 8764
lola: symmetry: 8502
lola: reporting
lola: not produced: 7859
lola: find path: 8767
lola: symmetry: 8505
lola: reporting
lola: not produced: 7855
lola: find path: 8769
lola: symmetry: 8507
lola: reporting
lola: not produced: 7855
lola: find path: 8769
lola: symmetry: 8507
lola: reporting
lola: not produced: 7855
lola: find path: 8769
lola: symmetry: 8507
lola: reporting
lola: not produced: 7851
lola: find path: 8771
lola: symmetry: 8509
lola: reporting
lola: not produced: 7851
lola: find path: 8771
lola: symmetry: 8509
lola: reporting
lola: not produced: 7851
lola: find path: 8771
lola: symmetry: 8509
lola: reporting
lola: not produced: 7851
lola: find path: 8771
lola: symmetry: 8509
lola: reporting
lola: not produced: 7839
lola: find path: 8777
lola: symmetry: 8515
lola: reporting
lola: not produced: 7839
lola: find path: 8777
lola: symmetry: 8515
lola: reporting
lola: not produced: 7839
lola: find path: 8777
lola: symmetry: 8515
lola: reporting
lola: not produced: 7839
lola: find path: 8777
lola: symmetry: 8515
lola: reporting
lola: not produced: 7839
lola: find path: 8777
lola: symmetry: 8515
lola: reporting
lola: not produced: 7839
lola: find path: 8777
lola: symmetry: 8515
lola: reporting
lola: not produced: 7831
lola: find path: 8781
lola: symmetry: 8519
lola: reporting
lola: not produced: 7831
lola: find path: 8781
lola: symmetry: 8519
lola: reporting
lola: not produced: 7831
lola: find path: 8781
lola: symmetry: 8519
lola: reporting
lola: not produced: 7831
lola: find path: 8781
lola: symmetry: 8519
lola: reporting
lola: not produced: 7831
lola: find path: 8781
lola: symmetry: 8519
lola: reporting
lola: not produced: 7829
lola: find path: 8782
lola: symmetry: 8520
lola: reporting
lola: not produced: 7825
lola: find path: 8784
lola: symmetry: 8522
lola: reporting
lola: not produced: 7825
lola: find path: 8784
lola: symmetry: 8522
lola: reporting
lola: not produced: 7809
lola: find path: 8792
lola: symmetry: 8530
lola: reporting
lola: not produced: 7809
lola: find path: 8792
lola: symmetry: 8530
lola: reporting
lola: not produced: 7809
lola: find path: 8792
lola: symmetry: 8530
lola: reporting
lola: not produced: 7809
lola: find path: 8792
lola: symmetry: 8530
lola: reporting
lola: not produced: 7809
lola: find path: 8792
lola: symmetry: 8530
lola: reporting
lola: not produced: 7809
lola: find path: 8792
lola: symmetry: 8530
lola: reporting
lola: not produced: 7809
lola: find path: 8792
lola: symmetry: 8530
lola: reporting
lola: not produced: 7805
lola: find path: 8794
lola: symmetry: 8532
lola: reporting
lola: not produced: 7801
lola: find path: 8796
lola: symmetry: 8534
lola: reporting
lola: not produced: 7793
lola: find path: 8800
lola: symmetry: 8538
lola: reporting
lola: not produced: 7785
lola: find path: 8804
lola: symmetry: 8542
lola: reporting
lola: not produced: 7781
lola: find path: 8806
lola: symmetry: 8544
lola: reporting
lola: not produced: 7777
lola: find path: 8808
lola: symmetry: 8546
lola: reporting
lola: not produced: 7777
lola: find path: 8808
lola: symmetry: 8546
lola: reporting
lola: not produced: 7777
lola: find path: 8808
lola: symmetry: 8546
lola: reporting
lola: not produced: 7773
lola: find path: 8810
lola: symmetry: 8548
lola: reporting
lola: not produced: 7771
lola: find path: 8811
lola: symmetry: 8549
lola: reporting
lola: not produced: 7771
lola: find path: 8811
lola: symmetry: 8549
lola: reporting
lola: not produced: 7771
lola: find path: 8811
lola: symmetry: 8549
lola: reporting
lola: not produced: 7771
lola: find path: 8811
lola: symmetry: 8549
lola: reporting
lola: not produced: 7771
lola: find path: 8811
lola: symmetry: 8549
lola: reporting
lola: not produced: 7767
lola: find path: 8813
lola: symmetry: 8551
lola: reporting
lola: not produced: 7765
lola: find path: 8814
lola: symmetry: 8552
lola: reporting
lola: not produced: 7765
lola: find path: 8814
lola: symmetry: 8552
lola: reporting
lola: not produced: 7765
lola: find path: 8814
lola: symmetry: 8552
lola: reporting
lola: not produced: 7765
lola: find path: 8814
lola: symmetry: 8552
lola: reporting
lola: not produced: 7765
lola: find path: 8814
lola: symmetry: 8552
lola: reporting
lola: not produced: 7765
lola: find path: 8814
lola: symmetry: 8552
lola: reporting
lola: not produced: 7761
lola: find path: 8816
lola: symmetry: 8554
lola: reporting
lola: not produced: 7761
lola: find path: 8816
lola: symmetry: 8554
lola: reporting
lola: not produced: 7761
lola: find path: 8816
lola: symmetry: 8554
lola: reporting
lola: not produced: 7761
lola: find path: 8816
lola: symmetry: 8554
lola: reporting
lola: not produced: 7757
lola: find path: 8818
lola: symmetry: 8556
lola: reporting
lola: not produced: 7757
lola: find path: 8818
lola: symmetry: 8556
lola: reporting
lola: not produced: 7757
lola: find path: 8818
lola: symmetry: 8556
lola: reporting
lola: not produced: 7749
lola: find path: 8822
lola: symmetry: 8560
lola: reporting
lola: not produced: 7745
lola: find path: 8824
lola: symmetry: 8562
lola: reporting
lola: not produced: 7745
lola: find path: 8824
lola: symmetry: 8562
lola: reporting
lola: not produced: 7745
lola: find path: 8824
lola: symmetry: 8562
lola: reporting
lola: not produced: 7741
lola: find path: 8826
lola: symmetry: 8564
lola: reporting
lola: not produced: 7737
lola: find path: 8828
lola: symmetry: 8566
lola: reporting
lola: not produced: 7737
lola: find path: 8828
lola: symmetry: 8566
lola: reporting
lola: not produced: 7729
lola: find path: 8832
lola: symmetry: 8570
lola: reporting
lola: not produced: 7725
lola: find path: 8834
lola: symmetry: 8572
lola: reporting
lola: not produced: 7725
lola: find path: 8834
lola: symmetry: 8572
lola: reporting
lola: not produced: 7725
lola: find path: 8834
lola: symmetry: 8572
lola: reporting
lola: not produced: 7725
lola: find path: 8834
lola: symmetry: 8572
lola: reporting
lola: not produced: 7725
lola: find path: 8834
lola: symmetry: 8572
lola: reporting
lola: not produced: 7721
lola: find path: 8836
lola: symmetry: 8574
lola: reporting
lola: not produced: 7719
lola: find path: 8837
lola: symmetry: 8575
lola: reporting
lola: not produced: 7715
lola: find path: 8839
lola: symmetry: 8577
lola: reporting
lola: not produced: 7713
lola: find path: 8840
lola: symmetry: 8578
lola: reporting
lola: not produced: 7713
lola: find path: 8840
lola: symmetry: 8578
lola: reporting
lola: not produced: 7709
lola: find path: 8842
lola: symmetry: 8580
lola: reporting
lola: not produced: 7709
lola: find path: 8842
lola: symmetry: 8580
lola: reporting
lola: not produced: 7709
lola: find path: 8842
lola: symmetry: 8580
lola: reporting
lola: not produced: 7709
lola: find path: 8842
lola: symmetry: 8580
lola: reporting
lola: not produced: 7709
lola: find path: 8842
lola: symmetry: 8580
lola: reporting
lola: not produced: 7705
lola: find path: 8844
lola: symmetry: 8582
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7701
lola: find path: 8846
lola: symmetry: 8584
lola: reporting
lola: not produced: 7699
lola: find path: 8847
lola: symmetry: 8585
lola: reporting
lola: not produced: 7699
lola: find path: 8847
lola: symmetry: 8585
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7691
lola: find path: 8851
lola: symmetry: 8589
lola: reporting
lola: not produced: 7689
lola: find path: 8852
lola: symmetry: 8590
lola: reporting
lola: not produced: 7689
lola: find path: 8852
lola: symmetry: 8590
lola: reporting
lola: not produced: 7689
lola: find path: 8852
lola: symmetry: 8590
lola: reporting
lola: not produced: 7689
lola: find path: 8852
lola: symmetry: 8590
lola: reporting
lola: not produced: 7689
lola: find path: 8852
lola: symmetry: 8590
lola: reporting
lola: not produced: 7689
lola: find path: 8852
lola: symmetry: 8590
lola: reporting
lola: not produced: 7689
lola: find path: 8852
lola: symmetry: 8590
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592

lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7685
lola: find path: 8854
lola: symmetry: 8592
lola: reporting
lola: not produced: 7681
lola: find path: 8856
lola: symmetry: 8594
lola: reporting
lola: not produced: 7681
lola: find path: 8856
lola: symmetry: 8594
lola: reporting
lola: not produced: 7681
lola: find path: 8856
lola: symmetry: 8594
lola: reporting
lola: not produced: 7681
lola: find path: 8856
lola: symmetry: 8594
lola: reporting
lola: not produced: 7675
lola: find path: 8859
lola: symmetry: 8597
lola: reporting
lola: not produced: 7671
lola: find path: 8861
lola: symmetry: 8599
lola: reporting
lola: not produced: 7671
lola: find path: 8861
lola: symmetry: 8599
lola: reporting
lola: not produced: 7671
lola: find path: 8861
lola: symmetry: 8599
lola: reporting
lola: not produced: 7671
lola: find path: 8861
lola: symmetry: 8599
lola: reporting
lola: not produced: 7671
lola: find path: 8861
lola: symmetry: 8599
lola: reporting
lola: not produced: 7671
lola: find path: 8861
lola: symmetry: 8599
lola: reporting
lola: not produced: 7671
lola: find path: 8861
lola: symmetry: 8599
lola: reporting
lola: not produced: 7667
lola: find path: 8863
lola: symmetry: 8601
lola: reporting
lola: not produced: 7667
lola: find path: 8863
lola: symmetry: 8601
lola: reporting
lola: not produced: 7667
lola: find path: 8863
lola: symmetry: 8601
lola: reporting
lola: not produced: 7667
lola: find path: 8863
lola: symmetry: 8601
lola: reporting
lola: not produced: 7667
lola: find path: 8863
lola: symmetry: 8601
lola: reporting
lola: not produced: 7663
lola: find path: 8865
lola: symmetry: 8603
lola: reporting
lola: not produced: 7663
lola: find path: 8865
lola: symmetry: 8603
lola: reporting
lola: not produced: 7663
lola: find path: 8865
lola: symmetry: 8603
lola: reporting
lola: not produced: 7659
lola: find path: 8867
lola: symmetry: 8605
lola: reporting
lola: not produced: 7659
lola: find path: 8867
lola: symmetry: 8605
lola: reporting
lola: not produced: 7659
lola: find path: 8867
lola: symmetry: 8605
lola: reporting
lola: not produced: 7659
lola: find path: 8867
lola: symmetry: 8605
lola: reporting
lola: not produced: 7659
lola: find path: 8867
lola: symmetry: 8605
lola: reporting
lola: not produced: 7659
lola: find path: 8867
lola: symmetry: 8605
lola: reporting
lola: not produced: 7655
lola: find path: 8869
lola: symmetry: 8607
lola: reporting
lola: not produced: 7655
lola: find path: 8869
lola: symmetry: 8607
lola: reporting
lola: not produced: 7655
lola: find path: 8869
lola: symmetry: 8607
lola: reporting
lola: not produced: 7655
lola: find path: 8869
lola: symmetry: 8607
lola: reporting
lola: not produced: 7647
lola: find path: 8873
lola: symmetry: 8611
lola: reporting
lola: not produced: 7643
lola: find path: 8875
lola: symmetry: 8613
lola: reporting
lola: not produced: 7643
lola: find path: 8875
lola: symmetry: 8613
lola: reporting
lola: not produced: 7643
lola: find path: 8875
lola: symmetry: 8613
lola: reporting
lola: not produced: 7643
lola: find path: 8875
lola: symmetry: 8613
lola: reporting
lola: not produced: 7643
lola: find path: 8875
lola: symmetry: 8613
lola: reporting
lola: not produced: 7643
lola: find path: 8875
lola: symmetry: 8613
lola: reporting
lola: not produced: 7641
lola: find path: 8876
lola: symmetry: 8614
lola: reporting
lola: not produced: 7641
lola: find path: 8876
lola: symmetry: 8614
lola: reporting
lola: not produced: 7641
lola: find path: 8876
lola: symmetry: 8614
lola: reporting
lola: not produced: 7641
lola: find path: 8876
lola: symmetry: 8614
lola: reporting
lola: not produced: 7641
lola: find path: 8876
lola: symmetry: 8614
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node26ThinksNode12ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node24ThinksNode20ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node19ThinksNode14ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node29ThinksNode5ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node5HasTheLeafSetOfRx6ToReplaceNode26
lola: STATE EQUATION TRIES PLACE Node0ThinksNode2ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node25ThinksNode13ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node31HasAskedItsLeafSetToRx6ToReplaceNode18
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node28ThinksNode26ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node23HasTheLeafSetOfLx6ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node30ThinksNode3ShouldBeNodeMasterToReplaceNode29
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToRx6ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node32ThinksNode28ShouldBeNodeMasterToReplaceNode24
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node25HasAskedItsLeafSetToLx6ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node32ThinksNode11ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node1ThinksNode10ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node31ThinksNode30ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node3ThinksNode27ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node4ThinksNode9ShouldBeNodeMasterToReplaceNode23
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node0ThinksNode30ShouldBeNodeMasterToReplaceNode27
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToLx6ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node30ThinksNode4ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node28IsTheNodeMaster
lola: STATE EQUATION TRIES PLACE Node3ThinksNode24ShouldBeNodeMasterToReplaceNode13
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToLx6ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node26ThinksNode25ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node27ThinksNode7ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node27ThinksNode12ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node28ThinksNode27ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToRx6ToReplaceNode22
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node8ThinksNode22ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node6HasTheLeafSetOfLx6ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node32ThinksNode31ShouldBeNodeMasterToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node12IsTheNodeMaster
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node7ThinksNode9ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node28ThinksNode9ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node29ThinksNode20ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node26ThinksNode20ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node6ThinksNode24ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node26ThinksNode8ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node29ThinksNode4ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node29ThinksNode27ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node32HasAskedItsLeafSetToRx6ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node23ThinksNode14ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node27HasAskedItsLeafSetToRx6ToReplaceNode23
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node28ThinksNode5ShouldBeNodeMasterToReplaceNode26
lola: STATE EQUATION TRIES PLACE Node26ThinksNode14ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node12HasTheLeafSetOfRx6ToReplaceNode26
lola: STATE EQUATION TRIES PLACE Node0HasAskedItsLeafSetToLx6ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfLx6ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node0ThinksNode27ShouldBeNodeMasterToReplaceNode26
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node31ThinksNode4ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node30ThinksNode5ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node4ThinksNode27ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node26HasTheLeafSetOfLx6ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node27ThinksNode22ShouldBeNodeMasterToReplaceNode19
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node32ThinksNode4ShouldBeNodeMasterToReplaceNode27
lola: STATE EQUATION TRIES PLACE Node31ThinksNode29ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node30ThinksNode26ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToRx6ToReplaceNode26
lola: STATE EQUATION TRIES PLACE Node2ThinksNode11ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node25ThinksNode19ShouldBeNodeMasterToReplaceNode17
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node32HasAskedItsLeafSetToLx6ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node32ThinksNode1ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node8ThinksNode21ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node21ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node5ThinksNode10ShouldBeNodeMasterToReplaceNode20
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node30ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToRx6ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node27ThinksNode11ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfRx6ToReplaceNode32
lola: STATE EQUATION TRIES PLACE Node23ThinksNode22ShouldBeNodeMasterToReplaceNode21
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node26ThinksNode7ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node28ThinksNode27ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node3ThinksNode8ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node28ThinksNode19ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node30ThinksNode6ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node5ThinksNode26ShouldBeNodeMasterToReplaceNode18
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node4ThinksNode11ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node31ThinksNode2ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node8ThinksNode9ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node4ThinksNode27ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node30ThinksNode7ShouldBeNodeMasterToReplaceNode20
lola: reporting
lola: not produced: 7639
lola: find path: 8877
lola: symmetry: 8615
lola: STATE EQUATION TRIES PLACE Node21HasTheLeafSetOfLx6ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node29ThinksNode9ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node3IsTheNodeMaster
lola: STATE EQUATION TRIES PLACE Node3ThinksNode9ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node29ThinksNode12ShouldBeNodeMasterToReplaceNode16
lola: reporting
lola: not produced: 7635
lola: find path: 8879
lola: symmetry: 8617
lola: STATE EQUATION TRIES PLACE Node2ThinksNode27ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node29ThinksNode5ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node2ThinksNode28ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node12HasAskedItsLeafSetToLx6ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node8ThinksNode9ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node19HasAskedItsLeafSetToLx6ToReplaceNode1
lola: reporting
lola: not produced: 7635
lola: find path: 8879
lola: symmetry: 8617
lola: STATE EQUATION TRIES PLACE Node28ThinksNode26ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node6ThinksNode22ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node0ThinksNode6ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToRx6ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node0ThinksNode5ShouldBeNodeMasterToReplaceNode20
lola: reporting
lola: not produced: 7635
lola: find path: 8879
lola: symmetry: 8617
lola: STATE EQUATION TRIES PLACE Node1ThinksNode21ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node31ThinksNode23ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node0HasTheLeafSetOfRx6ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToRx6ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node25HasTheLeafSetOfLx6ToReplaceNode10
lola: reporting
lola: not produced: 7635
lola: find path: 8879
lola: symmetry: 8617
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToRx6ToReplaceNode28
lola: STATE EQUATION TRIES PLACE Node21ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node30ThinksNode4ShouldBeNodeMasterToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToLx6ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node2HasAskedItsLeafSetToLx6ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx6ToReplaceNode14
lola: reporting
lola: not produced: 7635
lola: find path: 8879
lola: symmetry: 8617
lola: STATE EQUATION TRIES PLACE Node3ThinksNode9ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node3ThinksNode5ShouldBeNodeMasterToReplaceNode26

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

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

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