Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r256-tall-171654365800128.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S32C09, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365800128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 17K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K May 19 07:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 19 18:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 98K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 30M May 18 16:43 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1717423475290

starting LoLA
BK_EXAMINATION: StableMarking
BK_TIME_CONFINEMENT: 1800
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution

BK_TIME_CONFINEMENT_REACHED

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

[lola][I] LoLA will run for 1800 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 29767
[lola][I] reporting
[lola][I] not produced: 23621
[lola][I] find path: 3213
[lola][I] symmetry: 2933
[lola][I] reporting
[lola][I] not produced: 20163
[lola][I] find path: 4948
[lola][I] symmetry: 4656
[lola][I] reporting
[lola][I] not produced: 17851
[lola][I] find path: 6105
[lola][I] symmetry: 5811
[lola][I] reporting
[lola][I] not produced: 16415
[lola][I] find path: 6823
[lola][I] symmetry: 6529
[lola][I] reporting
[lola][I] not produced: 15207
[lola][I] find path: 7427
[lola][I] symmetry: 7133
[lola][I] reporting
[lola][I] not produced: 14275
[lola][I] find path: 7894
[lola][I] symmetry: 7598
[lola][I] reporting
[lola][I] not produced: 13565
[lola][I] find path: 8249
[lola][I] symmetry: 7953
[lola][I] reporting
[lola][I] not produced: 13045
[lola][I] find path: 8509
[lola][I] symmetry: 8213
[lola][I] reporting
[lola][I] not produced: 12663
[lola][I] find path: 8700
[lola][I] symmetry: 8404
[lola][I] reporting
[lola][I] not produced: 12303
[lola][I] find path: 8880
[lola][I] symmetry: 8584
[lola][I] reporting
[lola][I] not produced: 12005
[lola][I] find path: 9029
[lola][I] symmetry: 8733
[lola][I] reporting
[lola][I] not produced: 11759
[lola][I] find path: 9152
[lola][I] symmetry: 8856
[lola][I] reporting
[lola][I] not produced: 11543
[lola][I] find path: 9260
[lola][I] symmetry: 8964
[lola][I] reporting
[lola][I] not produced: 11391
[lola][I] find path: 9336
[lola][I] symmetry: 9040
[lola][I] reporting
[lola][I] not produced: 11233
[lola][I] find path: 9415
[lola][I] symmetry: 9119
[lola][I] reporting
[lola][I] not produced: 11081
[lola][I] find path: 9491
[lola][I] symmetry: 9195
[lola][I] reporting
[lola][I] not produced: 10925
[lola][I] find path: 9569
[lola][I] symmetry: 9273
[lola][I] reporting
[lola][I] not produced: 10817
[lola][I] find path: 9623
[lola][I] symmetry: 9327
[lola][I] reporting
[lola][I] not produced: 10683
[lola][I] find path: 9690
[lola][I] symmetry: 9394
[lola][I] reporting
[lola][I] not produced: 10593
[lola][I] find path: 9735
[lola][I] symmetry: 9439
[lola][I] reporting
[lola][I] not produced: 10487
[lola][I] find path: 9788
[lola][I] symmetry: 9492
[lola][I] reporting
[lola][I] not produced: 10423
[lola][I] find path: 9820
[lola][I] symmetry: 9524
[lola][I] reporting
[lola][I] not produced: 10323
[lola][I] find path: 9870
[lola][I] symmetry: 9574
[lola][I] reporting
[lola][I] not produced: 10267
[lola][I] find path: 9898
[lola][I] symmetry: 9602
[lola][I] reporting
[lola][I] not produced: 10217
[lola][I] find path: 9923
[lola][I] symmetry: 9627
[lola][I] reporting
[lola][I] not produced: 10173
[lola][I] find path: 9945
[lola][I] symmetry: 9649
[lola][I] reporting
[lola][I] not produced: 10141
[lola][I] find path: 9961
[lola][I] symmetry: 9665
[lola][I] reporting
[lola][I] not produced: 10079
[lola][I] find path: 9993
[lola][I] symmetry: 9695
[lola][I] reporting
[lola][I] not produced: 10045
[lola][I] find path: 10009
[lola][I] symmetry: 9713
[lola][I] reporting
[lola][I] not produced: 10015
[lola][I] find path: 10024
[lola][I] symmetry: 9728
[lola][I] reporting
[lola][I] not produced: 9971
[lola][I] find path: 10046
[lola][I] symmetry: 9750
[lola][I] reporting
[lola][I] not produced: 9931
[lola][I] find path: 10066
[lola][I] symmetry: 9770
[lola][I] reporting
[lola][I] not produced: 9905
[lola][I] find path: 10079
[lola][I] symmetry: 9783
[lola][I] reporting
[lola][I] not produced: 9885
[lola][I] find path: 10089
[lola][I] symmetry: 9793
[lola][I] reporting
[lola][I] not produced: 9857
[lola][I] find path: 10103
[lola][I] symmetry: 9807
[lola][I] reporting
[lola][I] not produced: 9825
[lola][I] find path: 10119
[lola][I] symmetry: 9823
[lola][I] reporting
[lola][I] not produced: 9803
[lola][I] find path: 10130
[lola][I] symmetry: 9834
[lola][I] reporting
[lola][I] not produced: 9793
[lola][I] find path: 10135
[lola][I] symmetry: 9839
[lola][I] reporting
[lola][I] not produced: 9757
[lola][I] find path: 10153
[lola][I] symmetry: 9857
[lola][I] reporting
[lola][I] not produced: 9715
[lola][I] find path: 10174
[lola][I] symmetry: 9878
[lola][I] reporting
[lola][I] not produced: 9679
[lola][I] find path: 10192
[lola][I] symmetry: 9896
[lola][I] reporting
[lola][I] not produced: 9613
[lola][I] find path: 10225
[lola][I] symmetry: 9929
[lola][I] reporting
[lola][I] not produced: 9579
[lola][I] find path: 10242
[lola][I] symmetry: 9946
[lola][I] reporting
[lola][I] not produced: 9543
[lola][I] find path: 10260
[lola][I] symmetry: 9964
[lola][I] reporting
[lola][I] not produced: 9521
[lola][I] find path: 10271
[lola][I] symmetry: 9975
[lola][I] reporting
[lola][I] not produced: 9501
[lola][I] find path: 10281
[lola][I] symmetry: 9985
[lola][I] reporting
[lola][I] not produced: 9481
[lola][I] find path: 10291
[lola][I] symmetry: 9995
[lola][I] reporting
[lola][I] not produced: 9461
[lola][I] find path: 10301
[lola][I] symmetry: 10005
[lola][I] reporting
[lola][I] not produced: 9453
[lola][I] find path: 10305
[lola][I] symmetry: 10009
[lola][I] reporting
[lola][I] not produced: 9445
[lola][I] find path: 10309
[lola][I] symmetry: 10013
[lola][I] reporting
[lola][I] not produced: 9427
[lola][I] find path: 10318
[lola][I] symmetry: 10022
[lola][I] reporting
[lola][I] not produced: 9415
[lola][I] find path: 10324
[lola][I] symmetry: 10028
[lola][I] reporting
[lola][I] not produced: 9391
[lola][I] find path: 10336
[lola][I] symmetry: 10040
[lola][I] reporting
[lola][I] not produced: 9381
[lola][I] find path: 10341
[lola][I] symmetry: 10045
[lola][I] reporting
[lola][I] not produced: 9365
[lola][I] find path: 10349
[lola][I] symmetry: 10053
[lola][I] reporting
[lola][I] not produced: 9339
[lola][I] find path: 10362
[lola][I] symmetry: 10066
[lola][I] reporting
[lola][I] not produced: 9315
[lola][I] find path: 10374
[lola][I] symmetry: 10078
[lola][I] reporting
[lola][I] not produced: 9289
[lola][I] find path: 10387
[lola][I] symmetry: 10091
[lola][I] reporting
[lola][I] not produced: 9279
[lola][I] find path: 10392
[lola][I] symmetry: 10096
[lola][I] reporting
[lola][I] not produced: 9279
[lola][I] find path: 10392
[lola][I] symmetry: 10096
[lola][I] reporting
[lola][I] not produced: 9259
[lola][I] find path: 10402
[lola][I] symmetry: 10106
[lola][I] reporting
[lola][I] not produced: 9235
[lola][I] find path: 10414
[lola][I] symmetry: 10118
[lola][I] reporting
[lola][I] not produced: 9217
[lola][I] find path: 10423
[lola][I] symmetry: 10127
[lola][I] reporting
[lola][I] not produced: 9213
[lola][I] find path: 10425
[lola][I] symmetry: 10129
[lola][I] reporting
[lola][I] not produced: 9203
[lola][I] find path: 10430
[lola][I] symmetry: 10134
[lola][I] reporting
[lola][I] not produced: 9175
[lola][I] find path: 10444
[lola][I] symmetry: 10148
[lola][I] reporting
[lola][I] not produced: 9167
[lola][I] find path: 10448
[lola][I] symmetry: 10152
[lola][I] reporting
[lola][I] not produced: 9151
[lola][I] find path: 10456
[lola][I] symmetry: 10160
[lola][I] reporting
[lola][I] not produced: 9139
[lola][I] find path: 10462
[lola][I] symmetry: 10166
[lola][I] reporting
[lola][I] not produced: 9131
[lola][I] find path: 10466
[lola][I] symmetry: 10170
[lola][I] reporting
[lola][I] not produced: 9127
[lola][I] find path: 10468
[lola][I] symmetry: 10172
[lola][I] reporting
[lola][I] not produced: 9111
[lola][I] find path: 10476
[lola][I] symmetry: 10180
[lola][I] reporting
[lola][I] not produced: 9097
[lola][I] find path: 10483
[lola][I] symmetry: 10187
[lola][I] reporting
[lola][I] not produced: 9085
[lola][I] find path: 10489
[lola][I] symmetry: 10193
[lola][I] reporting
[lola][I] not produced: 9077
[lola][I] find path: 10493
[lola][I] symmetry: 10197
[lola][I] reporting
[lola][I] not produced: 9061
[lola][I] find path: 10501
[lola][I] symmetry: 10205
[lola][I] reporting
[lola][I] not produced: 9059
[lola][I] find path: 10502
[lola][I] symmetry: 10206
[lola][I] reporting
[lola][I] not produced: 9035
[lola][I] find path: 10514
[lola][I] symmetry: 10218
[lola][I] reporting
[lola][I] not produced: 9029
[lola][I] find path: 10517
[lola][I] symmetry: 10221
[lola][I] reporting
[lola][I] not produced: 9017
[lola][I] find path: 10523
[lola][I] symmetry: 10227
[lola][I] reporting
[lola][I] not produced: 9005
[lola][I] find path: 10529
[lola][I] symmetry: 10233
[lola][I] reporting
[lola][I] not produced: 8993
[lola][I] find path: 10535
[lola][I] symmetry: 10239
[lola][I] reporting
[lola][I] not produced: 8977
[lola][I] find path: 10543
[lola][I] symmetry: 10247
[lola][I] reporting
[lola][I] not produced: 8973
[lola][I] find path: 10545
[lola][I] symmetry: 10249
[lola][I] reporting
[lola][I] not produced: 8953
[lola][I] find path: 10555
[lola][I] symmetry: 10259
[lola][I] reporting
[lola][I] not produced: 8937
[lola][I] find path: 10563
[lola][I] symmetry: 10267
[lola][I] reporting
[lola][I] not produced: 8927
[lola][I] find path: 10568
[lola][I] symmetry: 10272
[lola][I] reporting
[lola][I] not produced: 8923
[lola][I] find path: 10570
[lola][I] symmetry: 10274
[lola][I] reporting
[lola][I] not produced: 8915
[lola][I] find path: 10574
[lola][I] symmetry: 10278
[lola][I] reporting
[lola][I] not produced: 8911
[lola][I] find path: 10576
[lola][I] symmetry: 10280
[lola][I] reporting
[lola][I] not produced: 8895
[lola][I] find path: 10584
[lola][I] symmetry: 10288
[lola][I] reporting
[lola][I] not produced: 8883
[lola][I] find path: 10590
[lola][I] symmetry: 10294
[lola][I] reporting
[lola][I] not produced: 8865
[lola][I] find path: 10599
[lola][I] symmetry: 10303
[lola][I] reporting
[lola][I] not produced: 8861
[lola][I] find path: 10601
[lola][I] symmetry: 10305
[lola][I] reporting
[lola][I] not produced: 8849
[lola][I] find path: 10607
[lola][I] symmetry: 10311
[lola][I] reporting
[lola][I] not produced: 8841
[lola][I] find path: 10611
[lola][I] symmetry: 10315
[lola][I] reporting
[lola][I] not produced: 8821
[lola][I] find path: 10621
[lola][I] symmetry: 10325
[lola][I] reporting
[lola][I] not produced: 8809
[lola][I] find path: 10627
[lola][I] symmetry: 10331
[lola][I] reporting
[lola][I] not produced: 8795
[lola][I] find path: 10634
[lola][I] symmetry: 10338
[lola][I] reporting
[lola][I] not produced: 8795
[lola][I] find path: 10634
[lola][I] symmetry: 10338
[lola][I] reporting
[lola][I] not produced: 8781
[lola][I] find path: 10641
[lola][I] symmetry: 10345
[lola][I] reporting
[lola][I] not produced: 8773
[lola][I] find path: 10645
[lola][I] symmetry: 10349
[lola][I] reporting
[lola][I] not produced: 8769
[lola][I] find path: 10647
[lola][I] symmetry: 10351
[lola][I] reporting
[lola][I] not produced: 8757
[lola][I] find path: 10653
[lola][I] symmetry: 10357
[lola][I] reporting
[lola][I] not produced: 8749
[lola][I] find path: 10657
[lola][I] symmetry: 10361
[lola][I] reporting
[lola][I] not produced: 8749
[lola][I] find path: 10657
[lola][I] symmetry: 10361
[lola][I] reporting
[lola][I] not produced: 8737
[lola][I] find path: 10663
[lola][I] symmetry: 10367
[lola][I] reporting
[lola][I] not produced: 8731
[lola][I] find path: 10666
[lola][I] symmetry: 10370
[lola][I] reporting
[lola][I] not produced: 8719
[lola][I] find path: 10672
[lola][I] symmetry: 10376
[lola][I] reporting
[lola][I] not produced: 8711
[lola][I] find path: 10676
[lola][I] symmetry: 10380
[lola][I] reporting
[lola][I] not produced: 8703
[lola][I] find path: 10680
[lola][I] symmetry: 10384
[lola][I] reporting
[lola][I] not produced: 8695
[lola][I] find path: 10684
[lola][I] symmetry: 10388
[lola][I] reporting
[lola][I] not produced: 8691
[lola][I] find path: 10686
[lola][I] symmetry: 10390
[lola][I] reporting
[lola][I] not produced: 8667
[lola][I] find path: 10698
[lola][I] symmetry: 10402
[lola][I] reporting
[lola][I] not produced: 8651
[lola][I] find path: 10706
[lola][I] symmetry: 10410
[lola][I] reporting
[lola][I] not produced: 8643
[lola][I] find path: 10710
[lola][I] symmetry: 10414
[lola][I] reporting
[lola][I] not produced: 8629
[lola][I] find path: 10717
[lola][I] symmetry: 10421
[lola][I] reporting
[lola][I] not produced: 8621
[lola][I] find path: 10721
[lola][I] symmetry: 10425
[lola][I] reporting
[lola][I] not produced: 8621
[lola][I] find path: 10721
[lola][I] symmetry: 10425
[lola][I] reporting
[lola][I] not produced: 8613
[lola][I] find path: 10725
[lola][I] symmetry: 10429
[lola][I] reporting
[lola][I] not produced: 8609
[lola][I] find path: 10727
[lola][I] symmetry: 10431
[lola][I] reporting
[lola][I] not produced: 8601
[lola][I] find path: 10731
[lola][I] symmetry: 10435
[lola][I] reporting
[lola][I] not produced: 8597
[lola][I] find path: 10733
[lola][I] symmetry: 10437
[lola][I] reporting
[lola][I] not produced: 8597
[lola][I] find path: 10733
[lola][I] symmetry: 10437
[lola][I] reporting
[lola][I] not produced: 8589
[lola][I] find path: 10737
[lola][I] symmetry: 10441
[lola][I] reporting
[lola][I] not produced: 8585
[lola][I] find path: 10739
[lola][I] symmetry: 10443
[lola][I] reporting
[lola][I] not produced: 8581
[lola][I] find path: 10741
[lola][I] symmetry: 10445
[lola][I] reporting
[lola][I] not produced: 8577
[lola][I] find path: 10743
[lola][I] symmetry: 10447
[lola][I] reporting
[lola][I] not produced: 8577
[lola][I] find path: 10743
[lola][I] symmetry: 10447
[lola][I] reporting
[lola][I] not produced: 8565
[lola][I] find path: 10749
[lola][I] symmetry: 10453
[lola][I] reporting
[lola][I] not produced: 8561
[lola][I] find path: 10751
[lola][I] symmetry: 10455
[lola][I] reporting
[lola][I] not produced: 8549
[lola][I] find path: 10757
[lola][I] symmetry: 10461
[lola][I] reporting
[lola][I] not produced: 8535
[lola][I] find path: 10764
[lola][I] symmetry: 10468
[lola][I] reporting
[lola][I] not produced: 8535
[lola][I] find path: 10764
[lola][I] symmetry: 10468
[lola][I] reporting
[lola][I] not produced: 8529
[lola][I] find path: 10767
[lola][I] symmetry: 10471
[lola][I] reporting
[lola][I] not produced: 8519
[lola][I] find path: 10772
[lola][I] symmetry: 10476
[lola][I] reporting
[lola][I] not produced: 8507
[lola][I] find path: 10778
[lola][I] symmetry: 10482
[lola][I] reporting
[lola][I] not produced: 8505
[lola][I] find path: 10779
[lola][I] symmetry: 10483
[lola][I] reporting
[lola][I] not produced: 8501
[lola][I] find path: 10781
[lola][I] symmetry: 10485
[lola][I] reporting
[lola][I] not produced: 8495
[lola][I] find path: 10784
[lola][I] symmetry: 10488
[lola][I] reporting
[lola][I] not produced: 8487
[lola][I] find path: 10788
[lola][I] symmetry: 10492
[lola][I] reporting
[lola][I] not produced: 8487
[lola][I] find path: 10788
[lola][I] symmetry: 10492
[lola][I] reporting
[lola][I] not produced: 8487
[lola][I] find path: 10788
[lola][I] symmetry: 10492
[lola][I] reporting
[lola][I] not produced: 8479
[lola][I] find path: 10792
[lola][I] symmetry: 10496
[lola][I] reporting
[lola][I] not produced: 8471
[lola][I] find path: 10796
[lola][I] symmetry: 10500
[lola][I] reporting
[lola][I] not produced: 8471
[lola][I] find path: 10796
[lola][I] symmetry: 10500
[lola][I] reporting
[lola][I] not produced: 8463
[lola][I] find path: 10800
[lola][I] symmetry: 10504
[lola][I] reporting
[lola][I] not produced: 8459
[lola][I] find path: 10802
[lola][I] symmetry: 10506
[lola][I] reporting
[lola][I] not produced: 8451
[lola][I] find path: 10806
[lola][I] symmetry: 10510
[lola][I] reporting
[lola][I] not produced: 8443
[lola][I] find path: 10810
[lola][I] symmetry: 10514
[lola][I] reporting
[lola][I] not produced: 8439
[lola][I] find path: 10812
[lola][I] symmetry: 10516
[lola][I] reporting
[lola][I] not produced: 8417
[lola][I] find path: 10823
[lola][I] symmetry: 10527
[lola][I] reporting
[lola][I] not produced: 8411
[lola][I] find path: 10826
[lola][I] symmetry: 10530
[lola][I] reporting
[lola][I] not produced: 8411
[lola][I] find path: 10826
[lola][I] symmetry: 10530
[lola][I] reporting
[lola][I] not produced: 8403
[lola][I] find path: 10830
[lola][I] symmetry: 10534
[lola][I] reporting
[lola][I] not produced: 8399
[lola][I] find path: 10832
[lola][I] symmetry: 10536
[lola][I] reporting
[lola][I] not produced: 8387
[lola][I] find path: 10838
[lola][I] symmetry: 10542
[lola][I] reporting
[lola][I] not produced: 8387
[lola][I] find path: 10838
[lola][I] symmetry: 10542
[lola][I] reporting
[lola][I] not produced: 8387
[lola][I] find path: 10838
[lola][I] symmetry: 10542
[lola][I] reporting
[lola][I] not produced: 8379
[lola][I] find path: 10842
[lola][I] symmetry: 10546
[lola][I] reporting
[lola][I] not produced: 8371
[lola][I] find path: 10846
[lola][I] symmetry: 10550
[lola][I] reporting
[lola][I] not produced: 8367
[lola][I] find path: 10848
[lola][I] symmetry: 10552
[lola][I] reporting
[lola][I] not produced: 8363
[lola][I] find path: 10850
[lola][I] symmetry: 10554
[lola][I] reporting
[lola][I] not produced: 8353
[lola][I] find path: 10855
[lola][I] symmetry: 10559
[lola][I] reporting
[lola][I] not produced: 8345
[lola][I] find path: 10859
[lola][I] symmetry: 10563
[lola][I] reporting
[lola][I] not produced: 8345
[lola][I] find path: 10859
[lola][I] symmetry: 10563
[lola][I] reporting
[lola][I] not produced: 8335
[lola][I] find path: 10864
[lola][I] symmetry: 10568
[lola][I] reporting
[lola][I] not produced: 8331
[lola][I] find path: 10866
[lola][I] symmetry: 10570
[lola][I] reporting
[lola][I] not produced: 8329
[lola][I] find path: 10867
[lola][I] symmetry: 10571
[lola][I] reporting
[lola][I] not produced: 8325
[lola][I] find path: 10869
[lola][I] symmetry: 10573
[lola][I] reporting
[lola][I] not produced: 8321
[lola][I] find path: 10871
[lola][I] symmetry: 10575
[lola][I] reporting
[lola][I] not produced: 8321
[lola][I] find path: 10871
[lola][I] symmetry: 10575
[lola][I] reporting
[lola][I] not produced: 8319
[lola][I] find path: 10872
[lola][I] symmetry: 10576
[lola][I] reporting
[lola][I] not produced: 8299
[lola][I] find path: 10882
[lola][I] symmetry: 10586
[lola][I] reporting
[lola][I] not produced: 8295
[lola][I] find path: 10884
[lola][I] symmetry: 10588
[lola][I] reporting
[lola][I] not produced: 8291
[lola][I] find path: 10886
[lola][I] symmetry: 10590
[lola][I] reporting
[lola][I] not produced: 8285
[lola][I] find path: 10889
[lola][I] symmetry: 10593
[lola][I] reporting
[lola][I] not produced: 8281
[lola][I] find path: 10891
[lola][I] symmetry: 10595
[lola][I] reporting
[lola][I] not produced: 8281
[lola][I] find path: 10891
[lola][I] symmetry: 10595
[lola][I] reporting
[lola][I] not produced: 8277
[lola][I] find path: 10893
[lola][I] symmetry: 10597
[lola][I] reporting
[lola][I] not produced: 8277
[lola][I] find path: 10893
[lola][I] symmetry: 10597
[lola][I] reporting
[lola][I] not produced: 8273
[lola][I] find path: 10895
[lola][I] symmetry: 10599
[lola][I] reporting
[lola][I] not produced: 8269
[lola][I] find path: 10897
[lola][I] symmetry: 10601
[lola][I] reporting
[lola][I] not produced: 8265
[lola][I] find path: 10899
[lola][I] symmetry: 10603
[lola][I] reporting
[lola][I] not produced: 8253
[lola][I] find path: 10905
[lola][I] symmetry: 10609
[lola][I] reporting
[lola][I] not produced: 8253
[lola][I] find path: 10905
[lola][I] symmetry: 10609
[lola][I] reporting
[lola][I] not produced: 8249
[lola][I] find path: 10907
[lola][I] symmetry: 10611
[lola][I] reporting
[lola][I] not produced: 8249
[lola][I] find path: 10907
[lola][I] symmetry: 10611
[lola][I] reporting
[lola][I] not produced: 8249
[lola][I] find path: 10907
[lola][I] symmetry: 10611
[lola][I] reporting
[lola][I] not produced: 8245
[lola][I] find path: 10909
[lola][I] symmetry: 10613
[lola][I] reporting
[lola][I] not produced: 8241
[lola][I] find path: 10911
[lola][I] symmetry: 10615
[lola][I] reporting
[lola][I] not produced: 8241
[lola][I] find path: 10911
[lola][I] symmetry: 10615
[lola][I] reporting
[lola][I] not produced: 8237
[lola][I] find path: 10913
[lola][I] symmetry: 10617
[lola][I] reporting
[lola][I] not produced: 8229
[lola][I] find path: 10917
[lola][I] symmetry: 10621
[lola][I] reporting
[lola][I] not produced: 8229
[lola][I] find path: 10917
[lola][I] symmetry: 10621
[lola][I] reporting
[lola][I] not produced: 8225
[lola][I] find path: 10919
[lola][I] symmetry: 10623
[lola][I] reporting
[lola][I] not produced: 8221
[lola][I] find path: 10921
[lola][I] symmetry: 10625
[lola][I] reporting
[lola][I] not produced: 8217
[lola][I] find path: 10923
[lola][I] symmetry: 10627
[lola][I] reporting
[lola][I] not produced: 8213
[lola][I] find path: 10925
[lola][I] symmetry: 10629
[lola][I] reporting
[lola][I] not produced: 8209
[lola][I] find path: 10927
[lola][I] symmetry: 10631
[lola][I] reporting
[lola][I] not produced: 8205
[lola][I] find path: 10929
[lola][I] symmetry: 10633
[lola][I] reporting
[lola][I] not produced: 8197
[lola][I] find path: 10933
[lola][I] symmetry: 10637
[lola][I] reporting
[lola][I] not produced: 8189
[lola][I] find path: 10937
[lola][I] symmetry: 10641
[lola][I] reporting
[lola][I] not produced: 8189
[lola][I] find path: 10937
[lola][I] symmetry: 10641
[lola][I] reporting
[lola][I] not produced: 8189
[lola][I] find path: 10937
[lola][I] symmetry: 10641
[lola][I] reporting
[lola][I] not produced: 8183
[lola][I] find path: 10940
[lola][I] symmetry: 10644
[lola][I] reporting
[lola][I] not produced: 8183
[lola][I] find path: 10940
[lola][I] symmetry: 10644
[lola][I] reporting
[lola][I] not produced: 8183
[lola][I] find path: 10940
[lola][I] symmetry: 10644
[lola][I] reporting
[lola][I] not produced: 8181
[lola][I] find path: 10941
[lola][I] symmetry: 10645
[lola][I] reporting
[lola][I] not produced: 8181
[lola][I] find path: 10941
[lola][I] symmetry: 10645
[lola][I] reporting
[lola][I] not produced: 8181
[lola][I] find path: 10941
[lola][I] symmetry: 10645
[lola][I] reporting
[lola][I] not produced: 8181
[lola][I] find path: 10941
[lola][I] symmetry: 10645
[lola][I] reporting
[lola][I] not produced: 8181
[lola][I] find path: 10941
[lola][I] symmetry: 10645
[lola][I] reporting
[lola][I] not produced: 8173
[lola][I] find path: 10945
[lola][I] symmetry: 10649
[lola][I] reporting
[lola][I] not produced: 8173
[lola][I] find path: 10945
[lola][I] symmetry: 10649
[lola][I] reporting
[lola][I] not produced: 8165
[lola][I] find path: 10949
[lola][I] symmetry: 10653
[lola][I] reporting
[lola][I] not produced: 8161
[lola][I] find path: 10951
[lola][I] symmetry: 10655
[lola][I] reporting
[lola][I] not produced: 8157
[lola][I] find path: 10953
[lola][I] symmetry: 10657
[lola][I] reporting
[lola][I] not produced: 8157
[lola][I] find path: 10953
[lola][I] symmetry: 10657
[lola][I] reporting
[lola][I] not produced: 8157
[lola][I] find path: 10953
[lola][I] symmetry: 10657
[lola][I] reporting
[lola][I] not produced: 8153
[lola][I] find path: 10955
[lola][I] symmetry: 10659
[lola][I] reporting
[lola][I] not produced: 8149
[lola][I] find path: 10957
[lola][I] symmetry: 10661
[lola][I] reporting
[lola][I] not produced: 8143
[lola][I] find path: 10960
[lola][I] symmetry: 10664
[lola][I] reporting
[lola][I] not produced: 8143
[lola][I] find path: 10960
[lola][I] symmetry: 10664
[lola][I] reporting
[lola][I] not produced: 8139
[lola][I] find path: 10962
[lola][I] symmetry: 10666
[lola][I] reporting
[lola][I] not produced: 8139
[lola][I] find path: 10962
[lola][I] symmetry: 10666
[lola][I] reporting
[lola][I] not produced: 8135
[lola][I] find path: 10964
[lola][I] symmetry: 10668
[lola][I] reporting
[lola][I] not produced: 8135
[lola][I] find path: 10964
[lola][I] symmetry: 10668
[lola][I] reporting
[lola][I] not produced: 8127
[lola][I] find path: 10968
[lola][I] symmetry: 10672
[lola][I] reporting
[lola][I] not produced: 8123
[lola][I] find path: 10970
[lola][I] symmetry: 10674
[lola][I] reporting
[lola][I] not produced: 8123
[lola][I] find path: 10970
[lola][I] symmetry: 10674
[lola][I] reporting
[lola][I] not produced: 8115
[lola][I] find path: 10974
[lola][I] symmetry: 10678
[lola][I] reporting
[lola][I] not produced: 8113
[lola][I] find path: 10975
[lola][I] symmetry: 10679
[lola][I] reporting
[lola][I] not produced: 8109
[lola][I] find path: 10977
[lola][I] symmetry: 10681
[lola][I] reporting
[lola][I] not produced: 8109
[lola][I] find path: 10977
[lola][I] symmetry: 10681
[lola][I] reporting
[lola][I] not produced: 8109
[lola][I] find path: 10977
[lola][I] symmetry: 10681
[lola][I] reporting
[lola][I] not produced: 8101
[lola][I] find path: 10981
[lola][I] symmetry: 10685
[lola][I] reporting
[lola][I] not produced: 8101
[lola][I] find path: 10981
[lola][I] symmetry: 10685
[lola][I] reporting
[lola][I] not produced: 8097
[lola][I] find path: 10983
[lola][I] symmetry: 10687
[lola][I] reporting
[lola][I] not produced: 8089
[lola][I] find path: 10987
[lola][I] symmetry: 10691
[lola][I] reporting
[lola][I] not produced: 8077
[lola][I] find path: 10993
[lola][I] symmetry: 10697
[lola][I] reporting
[lola][I] not produced: 8077
[lola][I] find path: 10993
[lola][I] symmetry: 10697
[lola][I] reporting
[lola][I] not produced: 8077
[lola][I] find path: 10993
[lola][I] symmetry: 10697
[lola][I] reporting
[lola][I] not produced: 8077
[lola][I] find path: 10993
[lola][I] symmetry: 10697
[lola][I] reporting
[lola][I] not produced: 8077
[lola][I] find path: 10993
[lola][I] symmetry: 10697
[lola][I] reporting
[lola][I] not produced: 8073
[lola][I] find path: 10995
[lola][I] symmetry: 10699
[lola][I] reporting
[lola][I] not produced: 8071
[lola][I] find path: 10996
[lola][I] symmetry: 10700
[lola][I] reporting
[lola][I] not produced: 8071
[lola][I] find path: 10996
[lola][I] symmetry: 10700
[lola][I] reporting
[lola][I] not produced: 8067
[lola][I] find path: 10998
[lola][I] symmetry: 10702
[lola][I] reporting
[lola][I] not produced: 8067
[lola][I] find path: 10998
[lola][I] symmetry: 10702
[lola][I] reporting
[lola][I] not produced: 8067
[lola][I] find path: 10998
[lola][I] symmetry: 10702
[lola][I] reporting
[lola][I] not produced: 8059
[lola][I] find path: 11002
[lola][I] symmetry: 10706
[lola][I] reporting
[lola][I] not produced: 8059
[lola][I] find path: 11002
[lola][I] symmetry: 10706
[lola][I] reporting
[lola][I] not produced: 8055
[lola][I] find path: 11004
[lola][I] symmetry: 10708
[lola][I] reporting
[lola][I] not produced: 8055
[lola][I] find path: 11004
[lola][I] symmetry: 10708
[lola][I] reporting
[lola][I] not produced: 8055
[lola][I] find path: 11004
[lola][I] symmetry: 10708
[lola][I] reporting
[lola][I] not produced: 8051
[lola][I] find path: 11006
[lola][I] symmetry: 10710
[lola][I] reporting
[lola][I] not produced: 8047
[lola][I] find path: 11008
[lola][I] symmetry: 10712
[lola][I] reporting
[lola][I] not produced: 8047
[lola][I] find path: 11008
[lola][I] symmetry: 10712
[lola][I] reporting
[lola][I] not produced: 8047
[lola][I] find path: 11008
[lola][I] symmetry: 10712
[lola][I] reporting
[lola][I] not produced: 8047
[lola][I] find path: 11008
[lola][I] symmetry: 10712
[lola][I] reporting
[lola][I] not produced: 8047
[lola][I] find path: 11008
[lola][I] symmetry: 10712
[lola][I] reporting
[lola][I] not produced: 8043
[lola][I] find path: 11010
[lola][I] symmetry: 10714
[lola][I] reporting
[lola][I] not produced: 8043
[lola][I] find path: 11010
[lola][I] symmetry: 10714
[lola][I] reporting
[lola][I] not produced: 8035
[lola][I] find path: 11014
[lola][I] symmetry: 10718
[lola][I] reporting
[lola][I] not produced: 8031
[lola][I] find path: 11016
[lola][I] symmetry: 10720
[lola][I] reporting
[lola][I] not produced: 8027
[lola][I] find path: 11018
[lola][I] symmetry: 10722
[lola][I] reporting
[lola][I] not produced: 8023
[lola][I] find path: 11020
[lola][I] symmetry: 10724
[lola][I] reporting
[lola][I] not produced: 8019
[lola][I] find path: 11022
[lola][I] symmetry: 10726
[lola][I] reporting
[lola][I] not produced: 8015
[lola][I] find path: 11024
[lola][I] symmetry: 10728
[lola][I] reporting
[lola][I] not produced: 8015
[lola][I] find path: 11024
[lola][I] symmetry: 10728
[lola][I] reporting
[lola][I] not produced: 8015
[lola][I] find path: 11024
[lola][I] symmetry: 10728
[lola][I] reporting
[lola][I] not produced: 8015
[lola][I] find path: 11024
[lola][I] symmetry: 10728
[lola][I] reporting
[lola][I] not produced: 8007
[lola][I] find path: 11028
[lola][I] symmetry: 10732
[lola][I] reporting
[lola][I] not produced: 7999
[lola][I] find path: 11032
[lola][I] symmetry: 10736
[lola][I] reporting
[lola][I] not produced: 7999
[lola][I] find path: 11032
[lola][I] symmetry: 10736
[lola][I] reporting
[lola][I] not produced: 7991
[lola][I] find path: 11036
[lola][I] symmetry: 10740
[lola][I] reporting
[lola][I] not produced: 7991
[lola][I] find path: 11036
[lola][I] symmetry: 10740
[lola][I] reporting
[lola][I] not produced: 7991
[lola][I] find path: 11036
[lola][I] symmetry: 10740
[lola][I] reporting
[lola][I] not produced: 7987
[lola][I] find path: 11038
[lola][I] symmetry: 10742
[lola][I] reporting
[lola][I] not produced: 7987
[lola][I] find path: 11038
[lola][I] symmetry: 10742
[lola][I] reporting
[lola][I] not produced: 7983
[lola][I] find path: 11040
[lola][I] symmetry: 10744
[lola][I] reporting
[lola][I] not produced: 7983
[lola][I] find path: 11040
[lola][I] symmetry: 10744
[lola][I] reporting
[lola][I] not produced: 7983
[lola][I] find path: 11040
[lola][I] symmetry: 10744
[lola][I] reporting
[lola][I] not produced: 7979
[lola][I] find path: 11042
[lola][I] symmetry: 10746
[lola][I] reporting
[lola][I] not produced: 7975
[lola][I] find path: 11044
[lola][I] symmetry: 10748
[lola][I] reporting
[lola][I] not produced: 7967
[lola][I] find path: 11048
[lola][I] symmetry: 10752
[lola][I] reporting
[lola][I] not produced: 7967
[lola][I] find path: 11048
[lola][I] symmetry: 10752
[lola][I] reporting
[lola][I] not produced: 7965
[lola][I] find path: 11049
[lola][I] symmetry: 10753
[lola][I] reporting
[lola][I] not produced: 7963
[lola][I] find path: 11050
[lola][I] symmetry: 10754
[lola][I] reporting
[lola][I] not produced: 7963
[lola][I] find path: 11050
[lola][I] symmetry: 10754
[lola][I] reporting
[lola][I] not produced: 7963
[lola][I] find path: 11050
[lola][I] symmetry: 10754
[lola][I] reporting
[lola][I] not produced: 7963
[lola][I] find path: 11050
[lola][I] symmetry: 10754
[lola][I] reporting
[lola][I] not produced: 7959
[lola][I] find path: 11052
[lola][I] symmetry: 10756
[lola][I] reporting
[lola][I] not produced: 7959
[lola][I] find path: 11052
[lola][I] symmetry: 10756
[lola][I] reporting
[lola][I] not produced: 7955
[lola][I] find path: 11054
[lola][I] symmetry: 10758
[lola][I] reporting
[lola][I] not produced: 7953
[lola][I] find path: 11055
[lola][I] symmetry: 10759
[lola][I] reporting
[lola][I] not produced: 7945
[lola][I] find path: 11059
[lola][I] symmetry: 10763
[lola][I] reporting
[lola][I] not produced: 7945
[lola][I] find path: 11059
[lola][I] symmetry: 10763
[lola][I] reporting
[lola][I] not produced: 7945
[lola][I] find path: 11059
[lola][I] symmetry: 10763
[lola][I] reporting
[lola][I] not produced: 7941
[lola][I] find path: 11061
[lola][I] symmetry: 10765
[lola][I] reporting
[lola][I] not produced: 7937
[lola][I] find path: 11063
[lola][I] symmetry: 10767
[lola][I] reporting
[lola][I] not produced: 7929
[lola][I] find path: 11067
[lola][I] symmetry: 10771
[lola][I] reporting
[lola][I] not produced: 7929
[lola][I] find path: 11067
[lola][I] symmetry: 10771
[lola][I] reporting
[lola][I] not produced: 7929
[lola][I] find path: 11067
[lola][I] symmetry: 10771
[lola][I] reporting
[lola][I] not produced: 7925
[lola][I] find path: 11069
[lola][I] symmetry: 10773
[lola][I] reporting
[lola][I] not produced: 7925
[lola][I] find path: 11069
[lola][I] symmetry: 10773
[lola][I] reporting
[lola][I] not produced: 7921
[lola][I] find path: 11071
[lola][I] symmetry: 10775
[lola][I] reporting
[lola][I] not produced: 7913
[lola][I] find path: 11075
[lola][I] symmetry: 10779
[lola][I] reporting
[lola][I] not produced: 7913
[lola][I] find path: 11075
[lola][I] symmetry: 10779
[lola][I] reporting
[lola][I] not produced: 7909
[lola][I] find path: 11077
[lola][I] symmetry: 10781
[lola][I] reporting
[lola][I] not produced: 7905
[lola][I] find path: 11079
[lola][I] symmetry: 10783
[lola][I] reporting
[lola][I] not produced: 7905
[lola][I] find path: 11079
[lola][I] symmetry: 10783
[lola][I] reporting
[lola][I] not produced: 7905
[lola][I] find path: 11079
[lola][I] symmetry: 10783
[lola][I] reporting
[lola][I] not produced: 7905
[lola][I] find path: 11079
[lola][I] symmetry: 10783
[lola][I] reporting
[lola][I] not produced: 7901
[lola][I] find path: 11081
[lola][I] symmetry: 10785
[lola][I] reporting
[lola][I] not produced: 7901
[lola][I] find path: 11081
[lola][I] symmetry: 10785
[lola][I] reporting
[lola][I] not produced: 7901
[lola][I] find path: 11081
[lola][I] symmetry: 10785
[lola][I] reporting
[lola][I] not produced: 7897
[lola][I] find path: 11083
[lola][I] symmetry: 10787
[lola][I] reporting
[lola][I] not produced: 7893
[lola][I] find path: 11085
[lola][I] symmetry: 10789
[lola][I] reporting
[lola][I] not produced: 7893
[lola][I] find path: 11085
[lola][I] symmetry: 10789
[lola][I] reporting
[lola][I] not produced: 7889
[lola][I] find path: 11087
[lola][I] symmetry: 10791
[lola][I] reporting
[lola][I] not produced: 7885
[lola][I] find path: 11089
[lola][I] symmetry: 10793
[lola][I] reporting
[lola][I] not produced: 7885
[lola][I] find path: 11089
[lola][I] symmetry: 10793
[lola][I] reporting
[lola][I] not produced: 7885
[lola][I] find path: 11089
[lola][I] symmetry: 10793
[lola][I] reporting
[lola][I] not produced: 7881
[lola][I] find path: 11091
[lola][I] symmetry: 10795

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-S32C09"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S32C09, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r256-tall-171654365800128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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