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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 55M
-rw-r--r-- 1 mcc users 40K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 133K 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 109K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.7K May 11 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 11 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 11 16:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 11 16:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K 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 55M 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 1621250758112

starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C08
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 Node21HasAskedItsLeafSetToLx7ToReplaceNode0
sara: try reading problem file stateEquationProblem-ConstantPlace-14741.sara.
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: reporting
lola: not produced: 27449
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 22633
lola: find path: 2418
lola: goal oriented search: 160
lola: symmetry: 2238
lola: reporting
lola: not produced: 18621
lola: find path: 4426
lola: goal oriented search: 160
lola: symmetry: 4242
lola: reporting
lola: not produced: 16319
lola: find path: 5581
lola: goal oriented search: 160
lola: symmetry: 5389
lola: reporting
lola: not produced: 14955
lola: find path: 6263
lola: goal oriented search: 160
lola: symmetry: 6071
lola: reporting
lola: not produced: 14107
lola: find path: 6687
lola: goal oriented search: 160
lola: symmetry: 6495
lola: reporting
lola: not produced: 13481
lola: find path: 7000
lola: goal oriented search: 160
lola: symmetry: 6808
lola: reporting
lola: not produced: 12883
lola: find path: 7299
lola: goal oriented search: 160
lola: symmetry: 7107
lola: reporting
lola: not produced: 12523
lola: find path: 7479
lola: goal oriented search: 160
lola: symmetry: 7287
lola: reporting
lola: not produced: 12215
lola: find path: 7633
lola: goal oriented search: 160
lola: symmetry: 7441
lola: reporting
lola: not produced: 11939
lola: find path: 7771
lola: goal oriented search: 160
lola: symmetry: 7579
lola: reporting
lola: not produced: 11681
lola: find path: 7900
lola: goal oriented search: 160
lola: symmetry: 7708
lola: reporting
lola: not produced: 11519
lola: find path: 7981
lola: goal oriented search: 160
lola: symmetry: 7789
lola: reporting
lola: not produced: 11391
lola: find path: 8045
lola: goal oriented search: 160
lola: symmetry: 7853
lola: reporting
lola: not produced: 11249
lola: find path: 8116
lola: goal oriented search: 160
lola: symmetry: 7924
lola: reporting
lola: not produced: 11129
lola: find path: 8176
lola: goal oriented search: 160
lola: symmetry: 7984
lola: reporting
lola: not produced: 11017
lola: find path: 8232
lola: goal oriented search: 160
lola: symmetry: 8040
lola: reporting
lola: not produced: 10887
lola: find path: 8297
lola: goal oriented search: 160
lola: symmetry: 8105
lola: reporting
lola: not produced: 10751
lola: find path: 8365
lola: goal oriented search: 160
lola: symmetry: 8173
lola: reporting
lola: not produced: 10661
lola: find path: 8410
lola: goal oriented search: 160
lola: symmetry: 8218
lola: reporting
lola: not produced: 10601
lola: find path: 8440
lola: goal oriented search: 160
lola: symmetry: 8248
lola: reporting
lola: not produced: 10505
lola: find path: 8488
lola: goal oriented search: 160
lola: symmetry: 8296
lola: reporting
lola: not produced: 10387
lola: find path: 8547
lola: goal oriented search: 160
lola: symmetry: 8355
lola: reporting
lola: not produced: 10305
lola: find path: 8588
lola: goal oriented search: 160
lola: symmetry: 8396
lola: reporting
lola: not produced: 10231
lola: find path: 8625
lola: goal oriented search: 160
lola: symmetry: 8433
lola: reporting
lola: not produced: 10163
lola: find path: 8659
lola: goal oriented search: 160
lola: symmetry: 8467
lola: reporting
lola: not produced: 10117
lola: find path: 8682
lola: goal oriented search: 160
lola: symmetry: 8490
lola: reporting
lola: not produced: 10047
lola: find path: 8717
lola: goal oriented search: 160
lola: symmetry: 8525
lola: reporting
lola: not produced: 10007
lola: find path: 8737
lola: goal oriented search: 160
lola: symmetry: 8545
lola: reporting
lola: not produced: 9961
lola: find path: 8760
lola: goal oriented search: 160
lola: symmetry: 8568
lola: reporting
lola: not produced: 9917
lola: find path: 8782
lola: goal oriented search: 160
lola: symmetry: 8590
lola: reporting
lola: not produced: 9863
lola: find path: 8809
lola: goal oriented search: 160
lola: symmetry: 8617
lola: reporting
lola: not produced: 9813
lola: find path: 8834
lola: goal oriented search: 160
lola: symmetry: 8642
lola: reporting
lola: not produced: 9775
lola: find path: 8853
lola: goal oriented search: 160
lola: symmetry: 8661
lola: reporting
lola: not produced: 9747
lola: find path: 8867
lola: goal oriented search: 160
lola: symmetry: 8675
lola: reporting
lola: not produced: 9703
lola: find path: 8889
lola: goal oriented search: 160
lola: symmetry: 8697
lola: reporting
lola: not produced: 9671
lola: find path: 8905
lola: goal oriented search: 160
lola: symmetry: 8713
lola: reporting
lola: not produced: 9659
lola: find path: 8911
lola: goal oriented search: 160
lola: symmetry: 8719
lola: reporting
lola: not produced: 9615
lola: find path: 8933
lola: goal oriented search: 160
lola: symmetry: 8741
lola: reporting
lola: not produced: 9587
lola: find path: 8947
lola: goal oriented search: 160
lola: symmetry: 8755
lola: reporting
lola: not produced: 9565
lola: find path: 8958
lola: goal oriented search: 160
lola: symmetry: 8766
lola: reporting
lola: not produced: 9529
lola: find path: 8976
lola: goal oriented search: 160
lola: symmetry: 8784
lola: reporting
lola: not produced: 9497
lola: find path: 8992
lola: goal oriented search: 160
lola: symmetry: 8800
lola: reporting
lola: not produced: 9491
lola: find path: 8995
lola: goal oriented search: 160
lola: symmetry: 8803
lola: reporting
lola: not produced: 9475
lola: find path: 9003
lola: goal oriented search: 160
lola: symmetry: 8811
lola: reporting
lola: not produced: 9467
lola: find path: 9007
lola: goal oriented search: 160
lola: symmetry: 8815
lola: reporting
lola: not produced: 9451
lola: find path: 9015
lola: goal oriented search: 160
lola: symmetry: 8823
lola: reporting
lola: not produced: 9443
lola: find path: 9019
lola: goal oriented search: 160
lola: symmetry: 8827
lola: reporting
lola: not produced: 9435
lola: find path: 9023
lola: goal oriented search: 160
lola: symmetry: 8831
lola: reporting
lola: not produced: 9427
lola: find path: 9027
lola: goal oriented search: 160
lola: symmetry: 8835
lola: reporting
lola: not produced: 9409
lola: find path: 9036
lola: goal oriented search: 160
lola: symmetry: 8844
lola: reporting
lola: not produced: 9375
lola: find path: 9053
lola: goal oriented search: 160
lola: symmetry: 8861
lola: reporting
lola: not produced: 9367
lola: find path: 9057
lola: goal oriented search: 160
lola: symmetry: 8865
lola: reporting
lola: not produced: 9323
lola: find path: 9079
lola: goal oriented search: 160
lola: symmetry: 8887
lola: reporting
lola: not produced: 9307
lola: find path: 9087
lola: goal oriented search: 160
lola: symmetry: 8895
lola: reporting
lola: not produced: 9287
lola: find path: 9097
lola: goal oriented search: 160
lola: symmetry: 8905
lola: reporting
lola: not produced: 9255
lola: find path: 9113
lola: goal oriented search: 160
lola: symmetry: 8921
lola: reporting
lola: not produced: 9243
lola: find path: 9119
lola: goal oriented search: 160
lola: symmetry: 8927
lola: reporting
lola: not produced: 9221
lola: find path: 9130
lola: goal oriented search: 160
lola: symmetry: 8938
lola: reporting
lola: not produced: 9193
lola: find path: 9144
lola: goal oriented search: 160
lola: symmetry: 8952
lola: reporting
lola: not produced: 9181
lola: find path: 9150
lola: goal oriented search: 160
lola: symmetry: 8958
lola: reporting
lola: not produced: 9149
lola: find path: 9166
lola: goal oriented search: 160
lola: symmetry: 8974
lola: reporting
lola: not produced: 9145
lola: find path: 9168
lola: goal oriented search: 160
lola: symmetry: 8976
lola: reporting
lola: not produced: 9129
lola: find path: 9176
lola: goal oriented search: 160
lola: symmetry: 8984
lola: reporting
lola: not produced: 9121
lola: find path: 9180
lola: goal oriented search: 160
lola: symmetry: 8988
lola: reporting
lola: not produced: 9109
lola: find path: 9186
lola: goal oriented search: 160
lola: symmetry: 8994
lola: reporting
lola: not produced: 9091
lola: find path: 9195
lola: goal oriented search: 160
lola: symmetry: 9003
lola: reporting
lola: not produced: 9059
lola: find path: 9211
lola: goal oriented search: 160
lola: symmetry: 9019
lola: reporting
lola: not produced: 9047
lola: find path: 9217
lola: goal oriented search: 160
lola: symmetry: 9025
lola: reporting
lola: not produced: 9027
lola: find path: 9227
lola: goal oriented search: 160
lola: symmetry: 9035
lola: reporting
lola: not produced: 8987
lola: find path: 9247
lola: goal oriented search: 160
lola: symmetry: 9055
lola: reporting
lola: not produced: 8969
lola: find path: 9256
lola: goal oriented search: 160
lola: symmetry: 9064
lola: reporting
lola: not produced: 8945
lola: find path: 9268
lola: goal oriented search: 160
lola: symmetry: 9076
lola: reporting
lola: not produced: 8935
lola: find path: 9273
lola: goal oriented search: 160
lola: symmetry: 9081
lola: reporting
lola: not produced: 8915
lola: find path: 9283
lola: goal oriented search: 160
lola: symmetry: 9091
lola: reporting
lola: not produced: 8907
lola: find path: 9287
lola: goal oriented search: 160
lola: symmetry: 9095
lola: reporting
lola: not produced: 8899
lola: find path: 9291
lola: goal oriented search: 160
lola: symmetry: 9099
lola: reporting
lola: not produced: 8887
lola: find path: 9297
lola: goal oriented search: 160
lola: symmetry: 9105
lola: reporting
lola: not produced: 8867
lola: find path: 9307
lola: goal oriented search: 160
lola: symmetry: 9115
lola: reporting
lola: not produced: 8849
lola: find path: 9316
lola: goal oriented search: 160
lola: symmetry: 9124
lola: reporting
lola: not produced: 8845
lola: find path: 9318
lola: goal oriented search: 160
lola: symmetry: 9126
lola: reporting
lola: not produced: 8845
lola: find path: 9318
lola: goal oriented search: 160
lola: symmetry: 9126
lola: reporting
lola: not produced: 8829
lola: find path: 9326
lola: goal oriented search: 160
lola: symmetry: 9134
lola: reporting
lola: not produced: 8815
lola: find path: 9333
lola: goal oriented search: 160
lola: symmetry: 9141
lola: reporting
lola: not produced: 8811
lola: find path: 9335
lola: goal oriented search: 160
lola: symmetry: 9143
lola: reporting
lola: not produced: 8779
lola: find path: 9351
lola: goal oriented search: 160
lola: symmetry: 9159
lola: reporting
lola: not produced: 8755
lola: find path: 9363
lola: goal oriented search: 160
lola: symmetry: 9171
lola: reporting
lola: not produced: 8739
lola: find path: 9371
lola: goal oriented search: 160
lola: symmetry: 9179
lola: reporting
lola: not produced: 8731
lola: find path: 9375
lola: goal oriented search: 160
lola: symmetry: 9183
lola: reporting
lola: not produced: 8707
lola: find path: 9387
lola: goal oriented search: 160
lola: symmetry: 9195
lola: reporting
lola: not produced: 8707
lola: find path: 9387
lola: goal oriented search: 160
lola: symmetry: 9195
lola: reporting
lola: not produced: 8689
lola: find path: 9396
lola: goal oriented search: 160
lola: symmetry: 9204
lola: reporting
lola: not produced: 8677
lola: find path: 9402
lola: goal oriented search: 160
lola: symmetry: 9210
lola: reporting
lola: not produced: 8669
lola: find path: 9406
lola: goal oriented search: 160
lola: symmetry: 9214
lola: reporting
lola: not produced: 8647
lola: find path: 9417
lola: goal oriented search: 160
lola: symmetry: 9225
lola: reporting
lola: not produced: 8639
lola: find path: 9421
lola: goal oriented search: 160
lola: symmetry: 9229
lola: reporting
lola: not produced: 8631
lola: find path: 9425
lola: goal oriented search: 160
lola: symmetry: 9233
lola: reporting
lola: not produced: 8627
lola: find path: 9427
lola: goal oriented search: 160
lola: symmetry: 9235
lola: reporting
lola: not produced: 8619
lola: find path: 9431
lola: goal oriented search: 160
lola: symmetry: 9239
lola: reporting
lola: not produced: 8605
lola: find path: 9438
lola: goal oriented search: 160
lola: symmetry: 9246
lola: reporting
lola: not produced: 8591
lola: find path: 9445
lola: goal oriented search: 160
lola: symmetry: 9253
lola: reporting
lola: not produced: 8587
lola: find path: 9447
lola: goal oriented search: 160
lola: symmetry: 9255
lola: reporting
lola: not produced: 8587
lola: find path: 9447
lola: goal oriented search: 160
lola: symmetry: 9255
lola: reporting
lola: not produced: 8579
lola: find path: 9451
lola: goal oriented search: 160
lola: symmetry: 9259
lola: reporting
lola: not produced: 8563
lola: find path: 9459
lola: goal oriented search: 160
lola: symmetry: 9267
lola: reporting
lola: not produced: 8547
lola: find path: 9467
lola: goal oriented search: 160
lola: symmetry: 9275
lola: reporting
lola: not produced: 8539
lola: find path: 9471
lola: goal oriented search: 160
lola: symmetry: 9279
lola: reporting
lola: not produced: 8533
lola: find path: 9474
lola: goal oriented search: 160
lola: symmetry: 9282
lola: reporting
lola: not produced: 8513
lola: find path: 9484
lola: goal oriented search: 160
lola: symmetry: 9292
lola: reporting
lola: not produced: 8511
lola: find path: 9485
lola: goal oriented search: 160
lola: symmetry: 9293
lola: reporting
lola: not produced: 8511
lola: find path: 9485
lola: goal oriented search: 160
lola: symmetry: 9293
lola: reporting
lola: not produced: 8503
lola: find path: 9489
lola: goal oriented search: 160
lola: symmetry: 9297
lola: reporting
lola: not produced: 8491
lola: find path: 9495
lola: goal oriented search: 160
lola: symmetry: 9303
lola: reporting
lola: not produced: 8491
lola: find path: 9495
lola: goal oriented search: 160
lola: symmetry: 9303
lola: reporting
lola: not produced: 8487
lola: find path: 9497
lola: goal oriented search: 160
lola: symmetry: 9305
lola: reporting
lola: not produced: 8483
lola: find path: 9499
lola: goal oriented search: 160
lola: symmetry: 9307
lola: reporting
lola: not produced: 8467
lola: find path: 9507
lola: goal oriented search: 160
lola: symmetry: 9315
lola: reporting
lola: not produced: 8467
lola: find path: 9507
lola: goal oriented search: 160
lola: symmetry: 9315
lola: reporting
lola: not produced: 8463
lola: find path: 9509
lola: goal oriented search: 160
lola: symmetry: 9317
lola: reporting
lola: not produced: 8463
lola: find path: 9509
lola: goal oriented search: 160
lola: symmetry: 9317
lola: reporting
lola: not produced: 8455
lola: find path: 9513
lola: goal oriented search: 160
lola: symmetry: 9321
lola: reporting
lola: not produced: 8451
lola: find path: 9515
lola: goal oriented search: 160
lola: symmetry: 9323
lola: reporting
lola: not produced: 8439
lola: find path: 9521
lola: goal oriented search: 160
lola: symmetry: 9329
lola: reporting
lola: not produced: 8431
lola: find path: 9525
lola: goal oriented search: 160
lola: symmetry: 9333
lola: reporting
lola: not produced: 8423
lola: find path: 9529
lola: goal oriented search: 160
lola: symmetry: 9337
lola: reporting
lola: not produced: 8411
lola: find path: 9535
lola: goal oriented search: 160
lola: symmetry: 9343
lola: reporting
lola: not produced: 8407
lola: find path: 9537
lola: goal oriented search: 160
lola: symmetry: 9345
lola: reporting
lola: not produced: 8407
lola: find path: 9537
lola: goal oriented search: 160
lola: symmetry: 9345
lola: reporting
lola: not produced: 8397
lola: find path: 9542
lola: goal oriented search: 160
lola: symmetry: 9350
lola: reporting
lola: not produced: 8383
lola: find path: 9549
lola: goal oriented search: 160
lola: symmetry: 9357
lola: reporting
lola: not produced: 8379
lola: find path: 9551
lola: goal oriented search: 160
lola: symmetry: 9359
lola: reporting
lola: not produced: 8363
lola: find path: 9559
lola: goal oriented search: 160
lola: symmetry: 9367
lola: reporting
lola: not produced: 8359
lola: find path: 9561
lola: goal oriented search: 160
lola: symmetry: 9369
lola: reporting
lola: not produced: 8359
lola: find path: 9561
lola: goal oriented search: 160
lola: symmetry: 9369
lola: reporting
lola: not produced: 8359
lola: find path: 9561
lola: goal oriented search: 160
lola: symmetry: 9369
lola: reporting
lola: not produced: 8355
lola: find path: 9563
lola: goal oriented search: 160
lola: symmetry: 9371
lola: reporting
lola: not produced: 8355
lola: find path: 9563
lola: goal oriented search: 160
lola: symmetry: 9371
lola: reporting
lola: not produced: 8355
lola: find path: 9563
lola: goal oriented search: 160
lola: symmetry: 9371
lola: reporting
lola: not produced: 8341
lola: find path: 9570
lola: goal oriented search: 160
lola: symmetry: 9378
lola: reporting
lola: not produced: 8337
lola: find path: 9572
lola: goal oriented search: 160
lola: symmetry: 9380
lola: reporting
lola: not produced: 8333
lola: find path: 9574
lola: goal oriented search: 160
lola: symmetry: 9382
lola: reporting
lola: not produced: 8329
lola: find path: 9576
lola: goal oriented search: 160
lola: symmetry: 9384
lola: reporting
lola: not produced: 8329
lola: find path: 9576
lola: goal oriented search: 160
lola: symmetry: 9384
lola: reporting
lola: not produced: 8321
lola: find path: 9580
lola: goal oriented search: 160
lola: symmetry: 9388
lola: reporting
lola: not produced: 8313
lola: find path: 9584
lola: goal oriented search: 160
lola: symmetry: 9392
lola: reporting
lola: not produced: 8313
lola: find path: 9584
lola: goal oriented search: 160
lola: symmetry: 9392
lola: reporting
lola: not produced: 8311
lola: find path: 9585
lola: goal oriented search: 160
lola: symmetry: 9393
lola: reporting
lola: not produced: 8303
lola: find path: 9589
lola: goal oriented search: 160
lola: symmetry: 9397
lola: reporting
lola: not produced: 8293
lola: find path: 9594
lola: goal oriented search: 160
lola: symmetry: 9402
lola: reporting
lola: not produced: 8293
lola: find path: 9594
lola: goal oriented search: 160
lola: symmetry: 9402
lola: reporting
lola: not produced: 8293
lola: find path: 9594
lola: goal oriented search: 160
lola: symmetry: 9402
lola: reporting
lola: not produced: 8285
lola: find path: 9598
lola: goal oriented search: 160
lola: symmetry: 9406
lola: reporting
lola: not produced: 8285
lola: find path: 9598
lola: goal oriented search: 160
lola: symmetry: 9406
lola: reporting
lola: not produced: 8281
lola: find path: 9600
lola: goal oriented search: 160
lola: symmetry: 9408
lola: reporting
lola: not produced: 8281
lola: find path: 9600
lola: goal oriented search: 160
lola: symmetry: 9408
lola: reporting
lola: not produced: 8281
lola: find path: 9600
lola: goal oriented search: 160
lola: symmetry: 9408
lola: reporting
lola: not produced: 8281
lola: find path: 9600
lola: goal oriented search: 160
lola: symmetry: 9408
lola: reporting
lola: not produced: 8281
lola: find path: 9600
lola: goal oriented search: 160
lola: symmetry: 9408
lola: reporting
lola: not produced: 8273
lola: find path: 9604
lola: goal oriented search: 160
lola: symmetry: 9412
lola: reporting
lola: not produced: 8273
lola: find path: 9604
lola: goal oriented search: 160
lola: symmetry: 9412
lola: reporting
lola: not produced: 8269
lola: find path: 9606
lola: goal oriented search: 160
lola: symmetry: 9414
lola: reporting
lola: not produced: 8265
lola: find path: 9608
lola: goal oriented search: 160
lola: symmetry: 9416
lola: reporting
lola: not produced: 8261
lola: find path: 9610
lola: goal oriented search: 160
lola: symmetry: 9418
lola: reporting
lola: not produced: 8257
lola: find path: 9612
lola: goal oriented search: 160
lola: symmetry: 9420
lola: reporting
lola: not produced: 8241
lola: find path: 9620
lola: goal oriented search: 160
lola: symmetry: 9428
lola: reporting
lola: not produced: 8241
lola: find path: 9620
lola: goal oriented search: 160
lola: symmetry: 9428
lola: reporting
lola: not produced: 8237
lola: find path: 9622
lola: goal oriented search: 160
lola: symmetry: 9430
lola: reporting
lola: not produced: 8233
lola: find path: 9624
lola: goal oriented search: 160
lola: symmetry: 9432
lola: reporting
lola: not produced: 8229
lola: find path: 9626
lola: goal oriented search: 160
lola: symmetry: 9434
lola: reporting
lola: not produced: 8227
lola: find path: 9627
lola: goal oriented search: 160
lola: symmetry: 9435
lola: reporting
lola: not produced: 8217
lola: find path: 9632
lola: goal oriented search: 160
lola: symmetry: 9440
lola: reporting
lola: not produced: 8213
lola: find path: 9634
lola: goal oriented search: 160
lola: symmetry: 9442
lola: reporting
lola: not produced: 8205
lola: find path: 9638
lola: goal oriented search: 160
lola: symmetry: 9446
lola: reporting
lola: not produced: 8205
lola: find path: 9638
lola: goal oriented search: 160
lola: symmetry: 9446
lola: reporting
lola: not produced: 8201
lola: find path: 9640
lola: goal oriented search: 160
lola: symmetry: 9448
lola: reporting
lola: not produced: 8193
lola: find path: 9644
lola: goal oriented search: 160
lola: symmetry: 9452
lola: reporting
lola: not produced: 8193
lola: find path: 9644
lola: goal oriented search: 160
lola: symmetry: 9452
lola: reporting
lola: not produced: 8193
lola: find path: 9644
lola: goal oriented search: 160
lola: symmetry: 9452
lola: reporting
lola: not produced: 8193
lola: find path: 9644
lola: goal oriented search: 160
lola: symmetry: 9452
lola: reporting
lola: not produced: 8185
lola: find path: 9648
lola: goal oriented search: 160
lola: symmetry: 9456
lola: reporting
lola: not produced: 8185
lola: find path: 9648
lola: goal oriented search: 160
lola: symmetry: 9456
lola: reporting
lola: not produced: 8185
lola: find path: 9648
lola: goal oriented search: 160
lola: symmetry: 9456
lola: reporting
lola: not produced: 8185
lola: find path: 9648
lola: goal oriented search: 160
lola: symmetry: 9456
lola: reporting
lola: not produced: 8181
lola: find path: 9650
lola: goal oriented search: 160
lola: symmetry: 9458
lola: reporting
lola: not produced: 8177
lola: find path: 9652
lola: goal oriented search: 160
lola: symmetry: 9460
lola: reporting
lola: not produced: 8177
lola: find path: 9652
lola: goal oriented search: 160
lola: symmetry: 9460
lola: reporting
lola: not produced: 8173
lola: find path: 9654
lola: goal oriented search: 160
lola: symmetry: 9462
lola: reporting
lola: not produced: 8173
lola: find path: 9654
lola: goal oriented search: 160
lola: symmetry: 9462
lola: reporting
lola: not produced: 8173
lola: find path: 9654
lola: goal oriented search: 160
lola: symmetry: 9462
lola: reporting
lola: not produced: 8173
lola: find path: 9654
lola: goal oriented search: 160
lola: symmetry: 9462
lola: reporting
lola: not produced: 8173
lola: find path: 9654
lola: goal oriented search: 160
lola: symmetry: 9462
lola: reporting
lola: not produced: 8167
lola: find path: 9657
lola: goal oriented search: 160
lola: symmetry: 9465
lola: reporting
lola: not produced: 8167
lola: find path: 9657
lola: goal oriented search: 160
lola: symmetry: 9465
lola: reporting
lola: not produced: 8163
lola: find path: 9659
lola: goal oriented search: 160
lola: symmetry: 9467
lola: reporting
lola: not produced: 8159
lola: find path: 9661
lola: goal oriented search: 160
lola: symmetry: 9469
lola: reporting
lola: not produced: 8151
lola: find path: 9665
lola: goal oriented search: 160
lola: symmetry: 9473
lola: reporting
lola: not produced: 8147
lola: find path: 9667
lola: goal oriented search: 160
lola: symmetry: 9475
lola: reporting
lola: not produced: 8147
lola: find path: 9667
lola: goal oriented search: 160
lola: symmetry: 9475
lola: reporting
lola: not produced: 8139
lola: find path: 9671
lola: goal oriented search: 160
lola: symmetry: 9479
lola: reporting
lola: not produced: 8139
lola: find path: 9671
lola: goal oriented search: 160
lola: symmetry: 9479
lola: reporting
lola: not produced: 8135
lola: find path: 9673
lola: goal oriented search: 160
lola: symmetry: 9481
lola: reporting
lola: not produced: 8135
lola: find path: 9673
lola: goal oriented search: 160
lola: symmetry: 9481
lola: reporting
lola: not produced: 8123
lola: find path: 9679
lola: goal oriented search: 160
lola: symmetry: 9487
lola: reporting
lola: not produced: 8119
lola: find path: 9681
lola: goal oriented search: 160
lola: symmetry: 9489
lola: reporting
lola: not produced: 8119
lola: find path: 9681
lola: goal oriented search: 160
lola: symmetry: 9489
lola: reporting
lola: not produced: 8119
lola: find path: 9681
lola: goal oriented search: 160
lola: symmetry: 9489
lola: reporting
lola: not produced: 8115
lola: find path: 9683
lola: goal oriented search: 160
lola: symmetry: 9491
lola: reporting
lola: not produced: 8115
lola: find path: 9683
lola: goal oriented search: 160
lola: symmetry: 9491
lola: reporting
lola: not produced: 8115
lola: find path: 9683
lola: goal oriented search: 160
lola: symmetry: 9491
lola: reporting
lola: not produced: 8105
lola: find path: 9688
lola: goal oriented search: 160
lola: symmetry: 9496
lola: reporting
lola: not produced: 8105
lola: find path: 9688
lola: goal oriented search: 160
lola: symmetry: 9496
lola: reporting
lola: not produced: 8103
lola: find path: 9689
lola: goal oriented search: 160
lola: symmetry: 9497
lola: reporting
lola: not produced: 8099
lola: find path: 9691
lola: goal oriented search: 160
lola: symmetry: 9499
lola: reporting
lola: not produced: 8095
lola: find path: 9693
lola: goal oriented search: 160
lola: symmetry: 9501
lola: reporting
lola: not produced: 8095
lola: find path: 9693
lola: goal oriented search: 160
lola: symmetry: 9501
lola: reporting
lola: not produced: 8075
lola: find path: 9703
lola: goal oriented search: 160
lola: symmetry: 9511
lola: reporting
lola: not produced: 8075
lola: find path: 9703
lola: goal oriented search: 160
lola: symmetry: 9511
lola: reporting
lola: not produced: 8075
lola: find path: 9703
lola: goal oriented search: 160
lola: symmetry: 9511
lola: reporting
lola: not produced: 8075
lola: find path: 9703
lola: goal oriented search: 160
lola: symmetry: 9511
lola: reporting
lola: not produced: 8075
lola: find path: 9703
lola: goal oriented search: 160
lola: symmetry: 9511
lola: reporting
lola: not produced: 8071
lola: find path: 9705
lola: goal oriented search: 160
lola: symmetry: 9513
lola: reporting
lola: not produced: 8071
lola: find path: 9705
lola: goal oriented search: 160
lola: symmetry: 9513
lola: reporting
lola: not produced: 8067
lola: find path: 9707
lola: goal oriented search: 160
lola: symmetry: 9515
lola: reporting
lola: not produced: 8067
lola: find path: 9707
lola: goal oriented search: 160
lola: symmetry: 9515
lola: reporting
lola: not produced: 8067
lola: find path: 9707
lola: goal oriented search: 160
lola: symmetry: 9515
lola: reporting
lola: not produced: 8067
lola: find path: 9707
lola: goal oriented search: 160
lola: symmetry: 9515
lola: reporting
lola: not produced: 8063
lola: find path: 9709
lola: goal oriented search: 160
lola: symmetry: 9517
lola: reporting
lola: not produced: 8059
lola: find path: 9711
lola: goal oriented search: 160
lola: symmetry: 9519
lola: reporting
lola: not produced: 8059
lola: find path: 9711
lola: goal oriented search: 160
lola: symmetry: 9519
lola: reporting
lola: not produced: 8051
lola: find path: 9715
lola: goal oriented search: 160
lola: symmetry: 9523
lola: reporting
lola: not produced: 8047
lola: find path: 9717
lola: goal oriented search: 160
lola: symmetry: 9525
lola: reporting
lola: not produced: 8047
lola: find path: 9717
lola: goal oriented search: 160
lola: symmetry: 9525
lola: reporting
lola: not produced: 8047
lola: find path: 9717
lola: goal oriented search: 160
lola: symmetry: 9525
lola: reporting
lola: not produced: 8047
lola: find path: 9717
lola: goal oriented search: 160
lola: symmetry: 9525
lola: reporting
lola: not produced: 8047
lola: find path: 9717
lola: goal oriented search: 160
lola: symmetry: 9525
lola: reporting
lola: not produced: 8043
lola: find path: 9719
lola: goal oriented search: 160
lola: symmetry: 9527
lola: reporting
lola: not produced: 8037
lola: find path: 9722
lola: goal oriented search: 160
lola: symmetry: 9530
lola: reporting
lola: not produced: 8033
lola: find path: 9724
lola: goal oriented search: 160
lola: symmetry: 9532
lola: reporting
lola: not produced: 8033
lola: find path: 9724
lola: goal oriented search: 160
lola: symmetry: 9532
lola: reporting
lola: not produced: 8033
lola: find path: 9724
lola: goal oriented search: 160
lola: symmetry: 9532
lola: reporting
lola: not produced: 8033
lola: find path: 9724
lola: goal oriented search: 160
lola: symmetry: 9532
lola: reporting
lola: not produced: 8033
lola: find path: 9724
lola: goal oriented search: 160
lola: symmetry: 9532
lola: reporting
lola: not produced: 8029
lola: find path: 9726
lola: goal oriented search: 160
lola: symmetry: 9534
lola: reporting
lola: not produced: 8025
lola: find path: 9728
lola: goal oriented search: 160
lola: symmetry: 9536
lola: reporting
lola: not produced: 8017
lola: find path: 9732
lola: goal oriented search: 160
lola: symmetry: 9540
lola: reporting
lola: not produced: 8017
lola: find path: 9732
lola: goal oriented search: 160
lola: symmetry: 9540
lola: reporting
lola: not produced: 8017
lola: find path: 9732
lola: goal oriented search: 160
lola: symmetry: 9540
lola: reporting
lola: not produced: 8017
lola: find path: 9732
lola: goal oriented search: 160
lola: symmetry: 9540
lola: reporting
lola: not produced: 8017
lola: find path: 9732
lola: goal oriented search: 160
lola: symmetry: 9540
lola: reporting
lola: not produced: 8013
lola: find path: 9734
lola: goal oriented search: 160
lola: symmetry: 9542
lola: reporting
lola: not produced: 8013
lola: find path: 9734
lola: goal oriented search: 160
lola: symmetry: 9542
lola: reporting
lola: not produced: 8009
lola: find path: 9736
lola: goal oriented search: 160
lola: symmetry: 9544
lola: reporting
lola: not produced: 8005
lola: find path: 9738
lola: goal oriented search: 160
lola: symmetry: 9546
lola: reporting
lola: not produced: 7997
lola: find path: 9742
lola: goal oriented search: 160
lola: symmetry: 9550
lola: reporting
lola: not produced: 7997
lola: find path: 9742
lola: goal oriented search: 160
lola: symmetry: 9550
lola: reporting
lola: not produced: 7989
lola: find path: 9746
lola: goal oriented search: 160
lola: symmetry: 9554
lola: reporting
lola: not produced: 7981
lola: find path: 9750
lola: goal oriented search: 160
lola: symmetry: 9558
lola: reporting
lola: not produced: 7977
lola: find path: 9752
lola: goal oriented search: 160
lola: symmetry: 9560
lola: reporting
lola: not produced: 7977
lola: find path: 9752
lola: goal oriented search: 160
lola: symmetry: 9560
lola: reporting
lola: not produced: 7973
lola: find path: 9754
lola: goal oriented search: 160
lola: symmetry: 9562
lola: reporting
lola: not produced: 7969
lola: find path: 9756
lola: goal oriented search: 160
lola: symmetry: 9564
lola: reporting
lola: not produced: 7965
lola: find path: 9758
lola: goal oriented search: 160
lola: symmetry: 9566
lola: reporting
lola: not produced: 7953
lola: find path: 9764
lola: goal oriented search: 160
lola: symmetry: 9572
lola: reporting
lola: not produced: 7953
lola: find path: 9764
lola: goal oriented search: 160
lola: symmetry: 9572
lola: reporting
lola: not produced: 7953
lola: find path: 9764
lola: goal oriented search: 160
lola: symmetry: 9572
lola: reporting
lola: not produced: 7949
lola: find path: 9766
lola: goal oriented search: 160
lola: symmetry: 9574
lola: reporting
lola: not produced: 7945
lola: find path: 9768
lola: goal oriented search: 160
lola: symmetry: 9576
lola: reporting
lola: not produced: 7945
lola: find path: 9768
lola: goal oriented search: 160
lola: symmetry: 9576
lola: reporting
lola: not produced: 7941
lola: find path: 9770
lola: goal oriented search: 160
lola: symmetry: 9578
lola: reporting
lola: not produced: 7933
lola: find path: 9774
lola: goal oriented search: 160
lola: symmetry: 9582
lola: reporting
lola: not produced: 7929
lola: find path: 9776
lola: goal oriented search: 160
lola: symmetry: 9584
lola: reporting
lola: not produced: 7925
lola: find path: 9778
lola: goal oriented search: 160
lola: symmetry: 9586
lola: reporting
lola: not produced: 7921
lola: find path: 9780
lola: goal oriented search: 160
lola: symmetry: 9588
lola: reporting
lola: not produced: 7921
lola: find path: 9780
lola: goal oriented search: 160
lola: symmetry: 9588
lola: reporting
lola: not produced: 7921
lola: find path: 9780
lola: goal oriented search: 160
lola: symmetry: 9588
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7917
lola: find path: 9782
lola: goal oriented search: 160
lola: symmetry: 9590
lola: reporting
lola: not produced: 7917
lola: find path: 9782
lola: goal oriented search: 160
lola: symmetry: 9590
lola: reporting
lola: not produced: 7917
lola: find path: 9782
lola: goal oriented search: 160
lola: symmetry: 9590
lola: reporting
lola: not produced: 7917
lola: find path: 9782
lola: goal oriented search: 160
lola: symmetry: 9590
lola: reporting
lola: not produced: 7909
lola: find path: 9786
lola: goal oriented search: 160
lola: symmetry: 9594
lola: reporting
lola: not produced: 7905
lola: find path: 9788
lola: goal oriented search: 160
lola: symmetry: 9596
lola: reporting
lola: not produced: 7905
lola: find path: 9788
lola: goal oriented search: 160
lola: symmetry: 9596
lola: reporting
lola: not produced: 7905
lola: find path: 9788
lola: goal oriented search: 160
lola: symmetry: 9596
lola: reporting
lola: not produced: 7905
lola: find path: 9788
lola: goal oriented search: 160
lola: symmetry: 9596
lola: reporting
lola: not produced: 7905
lola: find path: 9788
lola: goal oriented search: 160
lola: symmetry: 9596
lola: reporting
lola: not produced: 7897
lola: find path: 9792
lola: goal oriented search: 160
lola: symmetry: 9600
lola: reporting
lola: not produced: 7893
lola: find path: 9794
lola: goal oriented search: 160
lola: symmetry: 9602
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7889
lola: find path: 9796
lola: goal oriented search: 160
lola: symmetry: 9604
lola: reporting
lola: not produced: 7885
lola: find path: 9798
lola: goal oriented search: 160
lola: symmetry: 9606
lola: reporting
lola: not produced: 7885
lola: find path: 9798
lola: goal oriented search: 160
lola: symmetry: 9606
lola: reporting
lola: not produced: 7881
lola: find path: 9800
lola: goal oriented search: 160
lola: symmetry: 9608
lola: reporting
lola: not produced: 7881
lola: find path: 9800
lola: goal oriented search: 160
lola: symmetry: 9608
lola: reporting
lola: not produced: 7881
lola: find path: 9800
lola: goal oriented search: 160
lola: symmetry: 9608
lola: reporting
lola: not produced: 7881
lola: find path: 9800
lola: goal oriented search: 160
lola: symmetry: 9608
lola: reporting
lola: not produced: 7881
lola: find path: 9800
lola: goal oriented search: 160
lola: symmetry: 9608

lola: reporting
lola: not produced: 7877
lola: find path: 9802
lola: goal oriented search: 160
lola: symmetry: 9610
lola: reporting
lola: not produced: 7875
lola: find path: 9803
lola: goal oriented search: 160
lola: symmetry: 9611
lola: reporting
lola: not produced: 7875
lola: find path: 9803
lola: goal oriented search: 160
lola: symmetry: 9611
lola: reporting
lola: not produced: 7871
lola: find path: 9805
lola: goal oriented search: 160
lola: symmetry: 9613
lola: reporting
lola: not produced: 7867
lola: find path: 9807
lola: goal oriented search: 160
lola: symmetry: 9615
lola: reporting
lola: not produced: 7867
lola: find path: 9807
lola: goal oriented search: 160
lola: symmetry: 9615
lola: reporting
lola: not produced: 7867
lola: find path: 9807
lola: goal oriented search: 160
lola: symmetry: 9615
lola: reporting
lola: not produced: 7867
lola: find path: 9807
lola: goal oriented search: 160
lola: symmetry: 9615
lola: reporting
lola: not produced: 7853
lola: find path: 9814
lola: goal oriented search: 160
lola: symmetry: 9622
lola: reporting
lola: not produced: 7853
lola: find path: 9814
lola: goal oriented search: 160
lola: symmetry: 9622
lola: reporting
lola: not produced: 7849
lola: find path: 9816
lola: goal oriented search: 160
lola: symmetry: 9624
lola: reporting
lola: not produced: 7849
lola: find path: 9816
lola: goal oriented search: 160
lola: symmetry: 9624
lola: reporting
lola: not produced: 7849
lola: find path: 9816
lola: goal oriented search: 160
lola: symmetry: 9624
lola: reporting
lola: not produced: 7845
lola: find path: 9818
lola: goal oriented search: 160
lola: symmetry: 9626
lola: reporting
lola: not produced: 7845
lola: find path: 9818
lola: goal oriented search: 160
lola: symmetry: 9626
lola: reporting
lola: not produced: 7841
lola: find path: 9820
lola: goal oriented search: 160
lola: symmetry: 9628
lola: reporting
lola: not produced: 7837
lola: find path: 9822
lola: goal oriented search: 160
lola: symmetry: 9630
lola: reporting
lola: not produced: 7837
lola: find path: 9822
lola: goal oriented search: 160
lola: symmetry: 9630
lola: reporting
lola: not produced: 7837
lola: find path: 9822
lola: goal oriented search: 160
lola: symmetry: 9630
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632
lola: reporting
lola: not produced: 7833
lola: find path: 9824
lola: goal oriented search: 160
lola: symmetry: 9632

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

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