Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r244-tall-167856432100588.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
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 r244-tall-167856432100588
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 14K Feb 26 02:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 02:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 02:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Feb 26 03:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 03:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 03:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 03:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 28M Mar 5 18:22 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 1678703413156

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C08
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C08
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 3143904 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16143916 kB

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: 25757
lola: find path: 934
lola: goal oriented search: 18
lola: symmetry: 740
lola: reporting
lola: not produced: 20735
lola: find path: 3458
lola: goal oriented search: 18
lola: symmetry: 3238
lola: reporting
lola: not produced: 18315
lola: find path: 4671
lola: goal oriented search: 18
lola: symmetry: 4445
lola: reporting
lola: not produced: 16853
lola: find path: 5403
lola: goal oriented search: 18
lola: symmetry: 5175
lola: reporting
lola: not produced: 15689
lola: find path: 5985
lola: goal oriented search: 18
lola: symmetry: 5757
lola: reporting
lola: not produced: 14817
lola: find path: 6421
lola: goal oriented search: 18
lola: symmetry: 6193
lola: reporting
lola: not produced: 14223
lola: find path: 6718
lola: goal oriented search: 18
lola: symmetry: 6490
lola: reporting
lola: not produced: 13693
lola: find path: 6983
lola: goal oriented search: 18
lola: symmetry: 6755
lola: reporting
lola: not produced: 13289
lola: find path: 7185
lola: goal oriented search: 18
lola: symmetry: 6957
lola: reporting
lola: not produced: 12977
lola: find path: 7341
lola: goal oriented search: 18
lola: symmetry: 7113
lola: reporting
lola: not produced: 12593
lola: find path: 7533
lola: goal oriented search: 18
lola: symmetry: 7305
lola: reporting
lola: not produced: 12313
lola: find path: 7673
lola: goal oriented search: 18
lola: symmetry: 7445
lola: reporting
lola: not produced: 12061
lola: find path: 7799
lola: goal oriented search: 18
lola: symmetry: 7571
lola: reporting
lola: not produced: 11811
lola: find path: 7924
lola: goal oriented search: 18
lola: symmetry: 7696
lola: reporting
lola: not produced: 11601
lola: find path: 8029
lola: goal oriented search: 18
lola: symmetry: 7801
lola: reporting
lola: not produced: 11461
lola: find path: 8099
lola: goal oriented search: 18
lola: symmetry: 7871
lola: reporting
lola: not produced: 11291
lola: find path: 8184
lola: goal oriented search: 18
lola: symmetry: 7956
lola: reporting
lola: not produced: 11187
lola: find path: 8236
lola: goal oriented search: 18
lola: symmetry: 8008
lola: reporting
lola: not produced: 11099
lola: find path: 8280
lola: goal oriented search: 18
lola: symmetry: 8052
lola: reporting
lola: not produced: 11009
lola: find path: 8325
lola: goal oriented search: 18
lola: symmetry: 8097
lola: reporting
lola: not produced: 10885
lola: find path: 8387
lola: goal oriented search: 18
lola: symmetry: 8159
lola: reporting
lola: not produced: 10829
lola: find path: 8415
lola: goal oriented search: 18
lola: symmetry: 8187
lola: reporting
lola: not produced: 10723
lola: find path: 8468
lola: goal oriented search: 18
lola: symmetry: 8240
lola: reporting
lola: not produced: 10629
lola: find path: 8515
lola: goal oriented search: 18
lola: symmetry: 8287
lola: reporting
lola: not produced: 10543
lola: find path: 8558
lola: goal oriented search: 18
lola: symmetry: 8330
lola: reporting
lola: not produced: 10487
lola: find path: 8586
lola: goal oriented search: 18
lola: symmetry: 8358
lola: reporting
lola: not produced: 10441
lola: find path: 8609
lola: goal oriented search: 18
lola: symmetry: 8381
lola: reporting
lola: not produced: 10365
lola: find path: 8647
lola: goal oriented search: 18
lola: symmetry: 8419
lola: reporting
lola: not produced: 10309
lola: find path: 8675
lola: goal oriented search: 18
lola: symmetry: 8447
lola: reporting
lola: not produced: 10241
lola: find path: 8709
lola: goal oriented search: 18
lola: symmetry: 8481
lola: reporting
lola: not produced: 10205
lola: find path: 8727
lola: goal oriented search: 18
lola: symmetry: 8499
lola: reporting
lola: not produced: 10161
lola: find path: 8749
lola: goal oriented search: 18
lola: symmetry: 8521
lola: reporting
lola: not produced: 10125
lola: find path: 8767
lola: goal oriented search: 18
lola: symmetry: 8539
lola: reporting
lola: not produced: 10097
lola: find path: 8781
lola: goal oriented search: 18
lola: symmetry: 8553
lola: reporting
lola: not produced: 10061
lola: find path: 8799
lola: goal oriented search: 18
lola: symmetry: 8571
lola: reporting
lola: not produced: 10037
lola: find path: 8811
lola: goal oriented search: 18
lola: symmetry: 8583
lola: reporting
lola: not produced: 9993
lola: find path: 8833
lola: goal oriented search: 18
lola: symmetry: 8605
lola: reporting
lola: not produced: 9939
lola: find path: 8860
lola: goal oriented search: 18
lola: symmetry: 8632
lola: reporting
lola: not produced: 9909
lola: find path: 8875
lola: goal oriented search: 18
lola: symmetry: 8647
lola: reporting
lola: not produced: 9855
lola: find path: 8902
lola: goal oriented search: 18
lola: symmetry: 8674
lola: reporting
lola: not produced: 9841
lola: find path: 8909
lola: goal oriented search: 18
lola: symmetry: 8681
lola: reporting
lola: not produced: 9813
lola: find path: 8923
lola: goal oriented search: 18
lola: symmetry: 8695
lola: reporting
lola: not produced: 9797
lola: find path: 8931
lola: goal oriented search: 18
lola: symmetry: 8703
lola: reporting
lola: not produced: 9765
lola: find path: 8947
lola: goal oriented search: 18
lola: symmetry: 8719
lola: reporting
lola: not produced: 9745
lola: find path: 8957
lola: goal oriented search: 18
lola: symmetry: 8729
lola: reporting
lola: not produced: 9715
lola: find path: 8972
lola: goal oriented search: 18
lola: symmetry: 8744
lola: reporting
lola: not produced: 9689
lola: find path: 8985
lola: goal oriented search: 18
lola: symmetry: 8757
lola: reporting
lola: not produced: 9655
lola: find path: 9002
lola: goal oriented search: 18
lola: symmetry: 8774
lola: reporting
lola: not produced: 9643
lola: find path: 9008
lola: goal oriented search: 18
lola: symmetry: 8780
lola: reporting
lola: not produced: 9625
lola: find path: 9017
lola: goal oriented search: 18
lola: symmetry: 8789
lola: reporting
lola: not produced: 9615
lola: find path: 9022
lola: goal oriented search: 18
lola: symmetry: 8794
lola: reporting
lola: not produced: 9603
lola: find path: 9028
lola: goal oriented search: 18
lola: symmetry: 8800
lola: reporting
lola: not produced: 9581
lola: find path: 9039
lola: goal oriented search: 18
lola: symmetry: 8811
lola: reporting
lola: not produced: 9553
lola: find path: 9053
lola: goal oriented search: 18
lola: symmetry: 8825
lola: reporting
lola: not produced: 9541
lola: find path: 9059
lola: goal oriented search: 18
lola: symmetry: 8831
lola: reporting
lola: not produced: 9501
lola: find path: 9079
lola: goal oriented search: 18
lola: symmetry: 8851
lola: reporting
lola: not produced: 9477
lola: find path: 9091
lola: goal oriented search: 18
lola: symmetry: 8863
lola: reporting
lola: not produced: 9463
lola: find path: 9098
lola: goal oriented search: 18
lola: symmetry: 8870
lola: reporting
lola: not produced: 9439
lola: find path: 9110
lola: goal oriented search: 18
lola: symmetry: 8882
lola: reporting
lola: not produced: 9423
lola: find path: 9118
lola: goal oriented search: 18
lola: symmetry: 8890
lola: reporting
lola: not produced: 9395
lola: find path: 9132
lola: goal oriented search: 18
lola: symmetry: 8904
lola: reporting
lola: not produced: 9379
lola: find path: 9140
lola: goal oriented search: 18
lola: symmetry: 8912
lola: reporting
lola: not produced: 9365
lola: find path: 9147
lola: goal oriented search: 18
lola: symmetry: 8919
lola: reporting
lola: not produced: 9345
lola: find path: 9157
lola: goal oriented search: 18
lola: symmetry: 8929
lola: reporting
lola: not produced: 9329
lola: find path: 9165
lola: goal oriented search: 18
lola: symmetry: 8937
lola: reporting
lola: not produced: 9317
lola: find path: 9171
lola: goal oriented search: 18
lola: symmetry: 8943
lola: reporting
lola: not produced: 9293
lola: find path: 9183
lola: goal oriented search: 18
lola: symmetry: 8955
lola: reporting
lola: not produced: 9253
lola: find path: 9203
lola: goal oriented search: 18
lola: symmetry: 8975
lola: reporting
lola: not produced: 9227
lola: find path: 9216
lola: goal oriented search: 18
lola: symmetry: 8988
lola: reporting
lola: not produced: 9207
lola: find path: 9226
lola: goal oriented search: 18
lola: symmetry: 8998
lola: reporting
lola: not produced: 9185
lola: find path: 9237
lola: goal oriented search: 18
lola: symmetry: 9009
lola: reporting
lola: not produced: 9159
lola: find path: 9250
lola: goal oriented search: 18
lola: symmetry: 9022
lola: reporting
lola: not produced: 9131
lola: find path: 9264
lola: goal oriented search: 18
lola: symmetry: 9036
lola: reporting
lola: not produced: 9107
lola: find path: 9276
lola: goal oriented search: 18
lola: symmetry: 9048
lola: reporting
lola: not produced: 9103
lola: find path: 9278
lola: goal oriented search: 18
lola: symmetry: 9050
lola: reporting
lola: not produced: 9083
lola: find path: 9288
lola: goal oriented search: 18
lola: symmetry: 9060
lola: reporting
lola: not produced: 9075
lola: find path: 9292
lola: goal oriented search: 18
lola: symmetry: 9064
lola: reporting
lola: not produced: 9061
lola: find path: 9299
lola: goal oriented search: 18
lola: symmetry: 9071
lola: reporting
lola: not produced: 9049
lola: find path: 9305
lola: goal oriented search: 18
lola: symmetry: 9077
lola: reporting
lola: not produced: 9039
lola: find path: 9310
lola: goal oriented search: 18
lola: symmetry: 9082
lola: reporting
lola: not produced: 9031
lola: find path: 9314
lola: goal oriented search: 18
lola: symmetry: 9086
lola: reporting
lola: not produced: 9025
lola: find path: 9317
lola: goal oriented search: 18
lola: symmetry: 9089
lola: reporting
lola: not produced: 9013
lola: find path: 9323
lola: goal oriented search: 18
lola: symmetry: 9095
lola: reporting
lola: not produced: 9005
lola: find path: 9327
lola: goal oriented search: 18
lola: symmetry: 9099
lola: reporting
lola: not produced: 8997
lola: find path: 9331
lola: goal oriented search: 18
lola: symmetry: 9103
lola: reporting
lola: not produced: 8969
lola: find path: 9345
lola: goal oriented search: 18
lola: symmetry: 9117
lola: reporting
lola: not produced: 8953
lola: find path: 9353
lola: goal oriented search: 18
lola: symmetry: 9125
lola: reporting
lola: not produced: 8949
lola: find path: 9355
lola: goal oriented search: 18
lola: symmetry: 9127
lola: reporting
lola: not produced: 8941
lola: find path: 9359
lola: goal oriented search: 18
lola: symmetry: 9131
lola: reporting
lola: not produced: 8913
lola: find path: 9373
lola: goal oriented search: 18
lola: symmetry: 9145
lola: reporting
lola: not produced: 8903
lola: find path: 9378
lola: goal oriented search: 18
lola: symmetry: 9150
lola: reporting
lola: not produced: 8899
lola: find path: 9380
lola: goal oriented search: 18
lola: symmetry: 9152
lola: reporting
lola: not produced: 8879
lola: find path: 9390
lola: goal oriented search: 18
lola: symmetry: 9162
lola: reporting
lola: not produced: 8867
lola: find path: 9396
lola: goal oriented search: 18
lola: symmetry: 9168
lola: reporting
lola: not produced: 8863
lola: find path: 9398
lola: goal oriented search: 18
lola: symmetry: 9170
lola: reporting
lola: not produced: 8855
lola: find path: 9402
lola: goal oriented search: 18
lola: symmetry: 9174
lola: reporting
lola: not produced: 8849
lola: find path: 9405
lola: goal oriented search: 18
lola: symmetry: 9177
lola: reporting
lola: not produced: 8837
lola: find path: 9411
lola: goal oriented search: 18
lola: symmetry: 9183
lola: reporting
lola: not produced: 8825
lola: find path: 9417
lola: goal oriented search: 18
lola: symmetry: 9189
lola: reporting
lola: not produced: 8825
lola: find path: 9417
lola: goal oriented search: 18
lola: symmetry: 9189
lola: reporting
lola: not produced: 8801
lola: find path: 9429
lola: goal oriented search: 18
lola: symmetry: 9201
lola: reporting
lola: not produced: 8789
lola: find path: 9435
lola: goal oriented search: 18
lola: symmetry: 9207
lola: reporting
lola: not produced: 8785
lola: find path: 9437
lola: goal oriented search: 18
lola: symmetry: 9209
lola: reporting
lola: not produced: 8761
lola: find path: 9449
lola: goal oriented search: 18
lola: symmetry: 9221
lola: reporting
lola: not produced: 8753
lola: find path: 9453
lola: goal oriented search: 18
lola: symmetry: 9225
lola: reporting
lola: not produced: 8743
lola: find path: 9458
lola: goal oriented search: 18
lola: symmetry: 9230
lola: reporting
lola: not produced: 8735
lola: find path: 9462
lola: goal oriented search: 18
lola: symmetry: 9234
lola: reporting
lola: not produced: 8731
lola: find path: 9464
lola: goal oriented search: 18
lola: symmetry: 9236
lola: reporting
lola: not produced: 8719
lola: find path: 9470
lola: goal oriented search: 18
lola: symmetry: 9242
lola: reporting
lola: not produced: 8715
lola: find path: 9472
lola: goal oriented search: 18
lola: symmetry: 9244
lola: reporting
lola: not produced: 8707
lola: find path: 9476
lola: goal oriented search: 18
lola: symmetry: 9248
lola: reporting
lola: not produced: 8699
lola: find path: 9480
lola: goal oriented search: 18
lola: symmetry: 9252
lola: reporting
lola: not produced: 8697
lola: find path: 9481
lola: goal oriented search: 18
lola: symmetry: 9253
lola: reporting
lola: not produced: 8693
lola: find path: 9483
lola: goal oriented search: 18
lola: symmetry: 9255
lola: reporting
lola: not produced: 8693
lola: find path: 9483
lola: goal oriented search: 18
lola: symmetry: 9255
lola: reporting
lola: not produced: 8685
lola: find path: 9487
lola: goal oriented search: 18
lola: symmetry: 9259
lola: reporting
lola: not produced: 8677
lola: find path: 9491
lola: goal oriented search: 18
lola: symmetry: 9263
lola: reporting
lola: not produced: 8661
lola: find path: 9499
lola: goal oriented search: 18
lola: symmetry: 9271
lola: reporting
lola: not produced: 8653
lola: find path: 9503
lola: goal oriented search: 18
lola: symmetry: 9275
lola: reporting
lola: not produced: 8645
lola: find path: 9507
lola: goal oriented search: 18
lola: symmetry: 9279
lola: reporting
lola: not produced: 8621
lola: find path: 9519
lola: goal oriented search: 18
lola: symmetry: 9291
lola: reporting
lola: not produced: 8609
lola: find path: 9525
lola: goal oriented search: 18
lola: symmetry: 9297
lola: reporting
lola: not produced: 8603
lola: find path: 9528
lola: goal oriented search: 18
lola: symmetry: 9300
lola: reporting
lola: not produced: 8603
lola: find path: 9528
lola: goal oriented search: 18
lola: symmetry: 9300
lola: reporting
lola: not produced: 8599
lola: find path: 9530
lola: goal oriented search: 18
lola: symmetry: 9302
lola: reporting
lola: not produced: 8585
lola: find path: 9537
lola: goal oriented search: 18
lola: symmetry: 9309
lola: reporting
lola: not produced: 8577
lola: find path: 9541
lola: goal oriented search: 18
lola: symmetry: 9313
lola: reporting
lola: not produced: 8569
lola: find path: 9545
lola: goal oriented search: 18
lola: symmetry: 9317
lola: reporting
lola: not produced: 8565
lola: find path: 9547
lola: goal oriented search: 18
lola: symmetry: 9319
lola: reporting
lola: not produced: 8561
lola: find path: 9549
lola: goal oriented search: 18
lola: symmetry: 9321
lola: reporting
lola: not produced: 8561
lola: find path: 9549
lola: goal oriented search: 18
lola: symmetry: 9321
lola: reporting
lola: not produced: 8533
lola: find path: 9563
lola: goal oriented search: 18
lola: symmetry: 9335
lola: reporting
lola: not produced: 8529
lola: find path: 9565
lola: goal oriented search: 18
lola: symmetry: 9337
lola: reporting
lola: not produced: 8529
lola: find path: 9565
lola: goal oriented search: 18
lola: symmetry: 9337
lola: reporting
lola: not produced: 8509
lola: find path: 9575
lola: goal oriented search: 18
lola: symmetry: 9347
lola: reporting
lola: not produced: 8509
lola: find path: 9575
lola: goal oriented search: 18
lola: symmetry: 9347
lola: reporting
lola: not produced: 8501
lola: find path: 9579
lola: goal oriented search: 18
lola: symmetry: 9351
lola: reporting
lola: not produced: 8501
lola: find path: 9579
lola: goal oriented search: 18
lola: symmetry: 9351
lola: reporting
lola: not produced: 8497
lola: find path: 9581
lola: goal oriented search: 18
lola: symmetry: 9353
lola: reporting
lola: not produced: 8495
lola: find path: 9582
lola: goal oriented search: 18
lola: symmetry: 9354
lola: reporting
lola: not produced: 8489
lola: find path: 9585
lola: goal oriented search: 18
lola: symmetry: 9357
lola: reporting
lola: not produced: 8473
lola: find path: 9593
lola: goal oriented search: 18
lola: symmetry: 9365
lola: reporting
lola: not produced: 8469
lola: find path: 9595
lola: goal oriented search: 18
lola: symmetry: 9367
lola: reporting
lola: not produced: 8459
lola: find path: 9600
lola: goal oriented search: 18
lola: symmetry: 9372
lola: reporting
lola: not produced: 8455
lola: find path: 9602
lola: goal oriented search: 18
lola: symmetry: 9374
lola: reporting
lola: not produced: 8455
lola: find path: 9602
lola: goal oriented search: 18
lola: symmetry: 9374
lola: reporting
lola: not produced: 8455
lola: find path: 9602
lola: goal oriented search: 18
lola: symmetry: 9374
lola: reporting
lola: not produced: 8445
lola: find path: 9607
lola: goal oriented search: 18
lola: symmetry: 9379
lola: reporting
lola: not produced: 8437
lola: find path: 9611
lola: goal oriented search: 18
lola: symmetry: 9383
lola: reporting
lola: not produced: 8437
lola: find path: 9611
lola: goal oriented search: 18
lola: symmetry: 9383
lola: reporting
lola: not produced: 8425
lola: find path: 9617
lola: goal oriented search: 18
lola: symmetry: 9389
lola: reporting
lola: not produced: 8417
lola: find path: 9621
lola: goal oriented search: 18
lola: symmetry: 9393
lola: reporting
lola: not produced: 8405
lola: find path: 9627
lola: goal oriented search: 18
lola: symmetry: 9399
lola: reporting
lola: not produced: 8397
lola: find path: 9631
lola: goal oriented search: 18
lola: symmetry: 9403
lola: reporting
lola: not produced: 8383
lola: find path: 9638
lola: goal oriented search: 18
lola: symmetry: 9410
lola: reporting
lola: not produced: 8379
lola: find path: 9640
lola: goal oriented search: 18
lola: symmetry: 9412
lola: reporting
lola: not produced: 8367
lola: find path: 9646
lola: goal oriented search: 18
lola: symmetry: 9418
lola: reporting
lola: not produced: 8359
lola: find path: 9650
lola: goal oriented search: 18
lola: symmetry: 9422
lola: reporting
lola: not produced: 8351
lola: find path: 9654
lola: goal oriented search: 18
lola: symmetry: 9426
lola: reporting
lola: not produced: 8347
lola: find path: 9656
lola: goal oriented search: 18
lola: symmetry: 9428
lola: reporting
lola: not produced: 8343
lola: find path: 9658
lola: goal oriented search: 18
lola: symmetry: 9430
lola: reporting
lola: not produced: 8335
lola: find path: 9662
lola: goal oriented search: 18
lola: symmetry: 9434
lola: reporting
lola: not produced: 8331
lola: find path: 9664
lola: goal oriented search: 18
lola: symmetry: 9436
lola: reporting
lola: not produced: 8327
lola: find path: 9666
lola: goal oriented search: 18
lola: symmetry: 9438
lola: reporting
lola: not produced: 8321
lola: find path: 9669
lola: goal oriented search: 18
lola: symmetry: 9441
lola: reporting
lola: not produced: 8317
lola: find path: 9671
lola: goal oriented search: 18
lola: symmetry: 9443
lola: reporting
lola: not produced: 8313
lola: find path: 9673
lola: goal oriented search: 18
lola: symmetry: 9445
lola: reporting
lola: not produced: 8309
lola: find path: 9675
lola: goal oriented search: 18
lola: symmetry: 9447
lola: reporting
lola: not produced: 8305
lola: find path: 9677
lola: goal oriented search: 18
lola: symmetry: 9449
lola: reporting
lola: not produced: 8303
lola: find path: 9678
lola: goal oriented search: 18
lola: symmetry: 9450
lola: reporting
lola: not produced: 8303
lola: find path: 9678
lola: goal oriented search: 18
lola: symmetry: 9450
lola: reporting
lola: not produced: 8293
lola: find path: 9683
lola: goal oriented search: 18
lola: symmetry: 9455
lola: reporting
lola: not produced: 8291
lola: find path: 9684
lola: goal oriented search: 18
lola: symmetry: 9456
lola: reporting
lola: not produced: 8287
lola: find path: 9686
lola: goal oriented search: 18
lola: symmetry: 9458
lola: reporting
lola: not produced: 8287
lola: find path: 9686
lola: goal oriented search: 18
lola: symmetry: 9458
lola: reporting
lola: not produced: 8279
lola: find path: 9690
lola: goal oriented search: 18
lola: symmetry: 9462
lola: reporting
lola: not produced: 8271
lola: find path: 9694
lola: goal oriented search: 18
lola: symmetry: 9466
lola: reporting
lola: not produced: 8267
lola: find path: 9696
lola: goal oriented search: 18
lola: symmetry: 9468
lola: reporting
lola: not produced: 8259
lola: find path: 9700
lola: goal oriented search: 18
lola: symmetry: 9472
lola: reporting
lola: not produced: 8251
lola: find path: 9704
lola: goal oriented search: 18
lola: symmetry: 9476
lola: reporting
lola: not produced: 8247
lola: find path: 9706
lola: goal oriented search: 18
lola: symmetry: 9478
lola: reporting
lola: not produced: 8233
lola: find path: 9713
lola: goal oriented search: 18
lola: symmetry: 9485
lola: reporting
lola: not produced: 8233
lola: find path: 9713
lola: goal oriented search: 18
lola: symmetry: 9485
lola: reporting
lola: not produced: 8229
lola: find path: 9715
lola: goal oriented search: 18
lola: symmetry: 9487
lola: reporting
lola: not produced: 8221
lola: find path: 9719
lola: goal oriented search: 18
lola: symmetry: 9491
lola: reporting
lola: not produced: 8209
lola: find path: 9725
lola: goal oriented search: 18
lola: symmetry: 9497
lola: reporting
lola: not produced: 8205
lola: find path: 9727
lola: goal oriented search: 18
lola: symmetry: 9499
lola: reporting
lola: not produced: 8201
lola: find path: 9729
lola: goal oriented search: 18
lola: symmetry: 9501
lola: reporting
lola: not produced: 8201
lola: find path: 9729
lola: goal oriented search: 18
lola: symmetry: 9501
lola: reporting
lola: not produced: 8201
lola: find path: 9729
lola: goal oriented search: 18
lola: symmetry: 9501
lola: reporting
lola: not produced: 8197
lola: find path: 9731
lola: goal oriented search: 18
lola: symmetry: 9503
lola: reporting
lola: not produced: 8197
lola: find path: 9731
lola: goal oriented search: 18
lola: symmetry: 9503
lola: reporting
lola: not produced: 8197
lola: find path: 9731
lola: goal oriented search: 18
lola: symmetry: 9503
lola: reporting
lola: not produced: 8197
lola: find path: 9731
lola: goal oriented search: 18
lola: symmetry: 9503
lola: reporting
lola: not produced: 8193
lola: find path: 9733
lola: goal oriented search: 18
lola: symmetry: 9505
lola: reporting
lola: not produced: 8193
lola: find path: 9733
lola: goal oriented search: 18
lola: symmetry: 9505
lola: reporting
lola: not produced: 8185
lola: find path: 9737
lola: goal oriented search: 18
lola: symmetry: 9509
lola: reporting
lola: not produced: 8181
lola: find path: 9739
lola: goal oriented search: 18
lola: symmetry: 9511
lola: reporting
lola: not produced: 8177
lola: find path: 9741
lola: goal oriented search: 18
lola: symmetry: 9513
lola: reporting
lola: not produced: 8161
lola: find path: 9749
lola: goal oriented search: 18
lola: symmetry: 9521
lola: reporting
lola: not produced: 8153
lola: find path: 9753
lola: goal oriented search: 18
lola: symmetry: 9525
lola: reporting
lola: not produced: 8149
lola: find path: 9755
lola: goal oriented search: 18
lola: symmetry: 9527
lola: reporting
lola: not produced: 8145
lola: find path: 9757
lola: goal oriented search: 18
lola: symmetry: 9529
lola: reporting
lola: not produced: 8129
lola: find path: 9765
lola: goal oriented search: 18
lola: symmetry: 9537
lola: reporting
lola: not produced: 8121
lola: find path: 9769
lola: goal oriented search: 18
lola: symmetry: 9541
lola: reporting
lola: not produced: 8121
lola: find path: 9769
lola: goal oriented search: 18
lola: symmetry: 9541
lola: reporting
lola: not produced: 8117
lola: find path: 9771
lola: goal oriented search: 18
lola: symmetry: 9543
lola: reporting
lola: not produced: 8113
lola: find path: 9773
lola: goal oriented search: 18
lola: symmetry: 9545
lola: reporting
lola: not produced: 8113
lola: find path: 9773
lola: goal oriented search: 18
lola: symmetry: 9545
lola: reporting
lola: not produced: 8109
lola: find path: 9775
lola: goal oriented search: 18
lola: symmetry: 9547
lola: reporting
lola: not produced: 8099
lola: find path: 9780
lola: goal oriented search: 18
lola: symmetry: 9552
lola: reporting
lola: not produced: 8099
lola: find path: 9780
lola: goal oriented search: 18
lola: symmetry: 9552
lola: reporting
lola: not produced: 8099
lola: find path: 9780
lola: goal oriented search: 18
lola: symmetry: 9552
lola: reporting
lola: not produced: 8095
lola: find path: 9782
lola: goal oriented search: 18
lola: symmetry: 9554
lola: reporting
lola: not produced: 8091
lola: find path: 9784
lola: goal oriented search: 18
lola: symmetry: 9556
lola: reporting
lola: not produced: 8091
lola: find path: 9784
lola: goal oriented search: 18
lola: symmetry: 9556
lola: reporting
lola: not produced: 8083
lola: find path: 9788
lola: goal oriented search: 18
lola: symmetry: 9560
lola: reporting
lola: not produced: 8083
lola: find path: 9788
lola: goal oriented search: 18
lola: symmetry: 9560
lola: reporting
lola: not produced: 8083
lola: find path: 9788
lola: goal oriented search: 18
lola: symmetry: 9560
lola: reporting
lola: not produced: 8075
lola: find path: 9792
lola: goal oriented search: 18
lola: symmetry: 9564
lola: reporting
lola: not produced: 8071
lola: find path: 9794
lola: goal oriented search: 18
lola: symmetry: 9566
lola: reporting
lola: not produced: 8071
lola: find path: 9794
lola: goal oriented search: 18
lola: symmetry: 9566
lola: reporting
lola: not produced: 8065
lola: find path: 9797
lola: goal oriented search: 18
lola: symmetry: 9569
lola: reporting
lola: not produced: 8061
lola: find path: 9799
lola: goal oriented search: 18
lola: symmetry: 9571
lola: reporting
lola: not produced: 8061
lola: find path: 9799
lola: goal oriented search: 18
lola: symmetry: 9571
lola: reporting
lola: not produced: 8059
lola: find path: 9800
lola: goal oriented search: 18
lola: symmetry: 9572
lola: reporting
lola: not produced: 8059
lola: find path: 9800
lola: goal oriented search: 18
lola: symmetry: 9572
lola: reporting
lola: not produced: 8059
lola: find path: 9800
lola: goal oriented search: 18
lola: symmetry: 9572
lola: reporting
lola: not produced: 8055
lola: find path: 9802
lola: goal oriented search: 18
lola: symmetry: 9574
lola: reporting
lola: not produced: 8051
lola: find path: 9804
lola: goal oriented search: 18
lola: symmetry: 9576
lola: reporting
lola: not produced: 8051
lola: find path: 9804
lola: goal oriented search: 18
lola: symmetry: 9576
lola: reporting
lola: not produced: 8047
lola: find path: 9806
lola: goal oriented search: 18
lola: symmetry: 9578
lola: reporting
lola: not produced: 8047
lola: find path: 9806
lola: goal oriented search: 18
lola: symmetry: 9578
lola: reporting
lola: not produced: 8047
lola: find path: 9806
lola: goal oriented search: 18
lola: symmetry: 9578
lola: reporting
lola: not produced: 8047
lola: find path: 9806
lola: goal oriented search: 18
lola: symmetry: 9578
lola: reporting
lola: not produced: 8047
lola: find path: 9806
lola: goal oriented search: 18
lola: symmetry: 9578
lola: reporting
lola: not produced: 8043
lola: find path: 9808
lola: goal oriented search: 18
lola: symmetry: 9580
lola: reporting
lola: not produced: 8043
lola: find path: 9808
lola: goal oriented search: 18
lola: symmetry: 9580
lola: reporting
lola: not produced: 8041
lola: find path: 9809
lola: goal oriented search: 18
lola: symmetry: 9581
lola: reporting
lola: not produced: 8041
lola: find path: 9809
lola: goal oriented search: 18
lola: symmetry: 9581
lola: reporting
lola: not produced: 8037
lola: find path: 9811
lola: goal oriented search: 18
lola: symmetry: 9583
lola: reporting
lola: not produced: 8029
lola: find path: 9815
lola: goal oriented search: 18
lola: symmetry: 9587
lola: reporting
lola: not produced: 8025
lola: find path: 9817
lola: goal oriented search: 18
lola: symmetry: 9589
lola: reporting
lola: not produced: 8017
lola: find path: 9821
lola: goal oriented search: 18
lola: symmetry: 9593
lola: reporting
lola: not produced: 8013
lola: find path: 9823
lola: goal oriented search: 18
lola: symmetry: 9595
lola: reporting
lola: not produced: 8013
lola: find path: 9823
lola: goal oriented search: 18
lola: symmetry: 9595
lola: reporting
lola: not produced: 8013
lola: find path: 9823
lola: goal oriented search: 18
lola: symmetry: 9595
lola: reporting
lola: not produced: 8009
lola: find path: 9825
lola: goal oriented search: 18
lola: symmetry: 9597
lola: reporting
lola: not produced: 8009
lola: find path: 9825
lola: goal oriented search: 18
lola: symmetry: 9597
lola: reporting
lola: not produced: 8009
lola: find path: 9825
lola: goal oriented search: 18
lola: symmetry: 9597
lola: reporting
lola: not produced: 8009
lola: find path: 9825
lola: goal oriented search: 18
lola: symmetry: 9597
lola: reporting
lola: not produced: 8009
lola: find path: 9825
lola: goal oriented search: 18
lola: symmetry: 9597
lola: reporting
lola: not produced: 8009
lola: find path: 9825
lola: goal oriented search: 18
lola: symmetry: 9597
lola: reporting
lola: not produced: 8009
lola: find path: 9825
lola: goal oriented search: 18
lola: symmetry: 9597
lola: reporting
lola: not produced: 8005
lola: find path: 9827
lola: goal oriented search: 18
lola: symmetry: 9599
lola: reporting
lola: not produced: 8005
lola: find path: 9827
lola: goal oriented search: 18
lola: symmetry: 9599
lola: reporting
lola: not produced: 8005
lola: find path: 9827
lola: goal oriented search: 18
lola: symmetry: 9599
lola: reporting
lola: not produced: 8003
lola: find path: 9828
lola: goal oriented search: 18
lola: symmetry: 9600
lola: reporting
lola: not produced: 8003
lola: find path: 9828
lola: goal oriented search: 18
lola: symmetry: 9600
lola: reporting
lola: not produced: 7999
lola: find path: 9830
lola: goal oriented search: 18
lola: symmetry: 9602
lola: reporting
lola: not produced: 7999
lola: find path: 9830
lola: goal oriented search: 18
lola: symmetry: 9602
lola: reporting
lola: not produced: 7999
lola: find path: 9830
lola: goal oriented search: 18
lola: symmetry: 9602
lola: reporting
lola: not produced: 7995
lola: find path: 9832
lola: goal oriented search: 18
lola: symmetry: 9604
lola: reporting
lola: not produced: 7991
lola: find path: 9834
lola: goal oriented search: 18
lola: symmetry: 9606
lola: reporting
lola: not produced: 7991
lola: find path: 9834
lola: goal oriented search: 18
lola: symmetry: 9606
lola: reporting
lola: not produced: 7991
lola: find path: 9834
lola: goal oriented search: 18
lola: symmetry: 9606
lola: reporting
lola: not produced: 7987
lola: find path: 9836
lola: goal oriented search: 18
lola: symmetry: 9608
lola: reporting
lola: not produced: 7983
lola: find path: 9838
lola: goal oriented search: 18
lola: symmetry: 9610
lola: reporting
lola: not produced: 7979
lola: find path: 9840
lola: goal oriented search: 18
lola: symmetry: 9612
lola: reporting
lola: not produced: 7975
lola: find path: 9842
lola: goal oriented search: 18
lola: symmetry: 9614
lola: reporting
lola: not produced: 7971
lola: find path: 9844
lola: goal oriented search: 18
lola: symmetry: 9616
lola: reporting
lola: not produced: 7967
lola: find path: 9846
lola: goal oriented search: 18
lola: symmetry: 9618
lola: reporting
lola: not produced: 7963
lola: find path: 9848
lola: goal oriented search: 18
lola: symmetry: 9620
lola: reporting
lola: not produced: 7963
lola: find path: 9848
lola: goal oriented search: 18
lola: symmetry: 9620
lola: reporting
lola: not produced: 7963
lola: find path: 9848
lola: goal oriented search: 18
lola: symmetry: 9620
lola: reporting
lola: not produced: 7963
lola: find path: 9848
lola: goal oriented search: 18
lola: symmetry: 9620
lola: reporting
lola: not produced: 7963
lola: find path: 9848
lola: goal oriented search: 18
lola: symmetry: 9620
lola: reporting
lola: not produced: 7955
lola: find path: 9852
lola: goal oriented search: 18
lola: symmetry: 9624
lola: reporting
lola: not produced: 7955
lola: find path: 9852
lola: goal oriented search: 18
lola: symmetry: 9624
lola: reporting
lola: not produced: 7955
lola: find path: 9852
lola: goal oriented search: 18
lola: symmetry: 9624
lola: reporting
lola: not produced: 7947
lola: find path: 9856
lola: goal oriented search: 18
lola: symmetry: 9628
lola: reporting
lola: not produced: 7943
lola: find path: 9858
lola: goal oriented search: 18
lola: symmetry: 9630
lola: reporting
lola: not produced: 7943
lola: find path: 9858
lola: goal oriented search: 18
lola: symmetry: 9630
lola: reporting
lola: not produced: 7939
lola: find path: 9860
lola: goal oriented search: 18
lola: symmetry: 9632
lola: reporting
lola: not produced: 7939
lola: find path: 9860
lola: goal oriented search: 18
lola: symmetry: 9632
lola: reporting
lola: not produced: 7935
lola: find path: 9862
lola: goal oriented search: 18
lola: symmetry: 9634
lola: reporting
lola: not produced: 7935
lola: find path: 9862
lola: goal oriented search: 18
lola: symmetry: 9634
lola: reporting
lola: not produced: 7935
lola: find path: 9862
lola: goal oriented search: 18
lola: symmetry: 9634
lola: reporting
lola: not produced: 7935
lola: find path: 9862
lola: goal oriented search: 18
lola: symmetry: 9634
lola: reporting
lola: not produced: 7935
lola: find path: 9862
lola: goal oriented search: 18
lola: symmetry: 9634
lola: reporting
lola: not produced: 7929
lola: find path: 9865
lola: goal oriented search: 18
lola: symmetry: 9637
lola: reporting
lola: not produced: 7929
lola: find path: 9865
lola: goal oriented search: 18
lola: symmetry: 9637
lola: reporting
lola: not produced: 7929
lola: find path: 9865
lola: goal oriented search: 18
lola: symmetry: 9637
lola: reporting
lola: not produced: 7925
lola: find path: 9867
lola: goal oriented search: 18
lola: symmetry: 9639
lola: reporting
lola: not produced: 7925
lola: find path: 9867
lola: goal oriented search: 18
lola: symmetry: 9639
lola: reporting
lola: not produced: 7925
lola: find path: 9867
lola: goal oriented search: 18
lola: symmetry: 9639
lola: reporting
lola: not produced: 7925
lola: find path: 9867
lola: goal oriented search: 18
lola: symmetry: 9639
lola: reporting
lola: not produced: 7921
lola: find path: 9869
lola: goal oriented search: 18
lola: symmetry: 9641
lola: reporting
lola: not produced: 7921
lola: find path: 9869
lola: goal oriented search: 18
lola: symmetry: 9641
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7921
lola: find path: 9869
lola: goal oriented search: 18
lola: symmetry: 9641
lola: reporting
lola: not produced: 7921
lola: find path: 9869
lola: goal oriented search: 18
lola: symmetry: 9641
lola: reporting
lola: not produced: 7919
lola: find path: 9870
lola: goal oriented search: 18
lola: symmetry: 9642
lola: reporting
lola: not produced: 7919
lola: find path: 9870
lola: goal oriented search: 18
lola: symmetry: 9642
lola: reporting
lola: not produced: 7919
lola: find path: 9870
lola: goal oriented search: 18
lola: symmetry: 9642
lola: reporting
lola: not produced: 7919
lola: find path: 9870
lola: goal oriented search: 18
lola: symmetry: 9642
lola: reporting
lola: not produced: 7919
lola: find path: 9870
lola: goal oriented search: 18
lola: symmetry: 9642
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7915
lola: find path: 9872
lola: goal oriented search: 18
lola: symmetry: 9644
lola: reporting
lola: not produced: 7911
lola: find path: 9874
lola: goal oriented search: 18
lola: symmetry: 9646
lola: reporting
lola: not produced: 7911
lola: find path: 9874
lola: goal oriented search: 18
lola: symmetry: 9646
lola: reporting
lola: not produced: 7911
lola: find path: 9874
lola: goal oriented search: 18
lola: symmetry: 9646
lola: reporting
lola: not produced: 7911
lola: find path: 9874
lola: goal oriented search: 18
lola: symmetry: 9646
lola: reporting
lola: not produced: 7911
lola: find path: 9874
lola: goal oriented search: 18
lola: symmetry: 9646
lola: reporting
lola: not produced: 7911
lola: find path: 9874
lola: goal oriented search: 18
lola: symmetry: 9646
lola: reporting
lola: not produced: 7911
lola: find path: 9874
lola: goal oriented search: 18
lola: symmetry: 9646
lola: reporting
lola: not produced: 7907
lola: find path: 9876
lola: goal oriented search: 18
lola: symmetry: 9648
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 544

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-5348"
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 r244-tall-167856432100588"
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 ;