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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 11K Feb 26 03:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 03:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 03:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 03:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Feb 26 03:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 26 03:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 03:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 03:15 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 26M 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 1678702751129

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-S32C07
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C07
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: 16393232 kB
MemFree: 5524860 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16138924 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 Node22HasAskedItsLeafSetToLx1ToReplaceNode5
sara: try reading problem file stateEquationProblem-ConstantPlace-22787.sara.
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: reporting
lola: not produced: 25131
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 21109
lola: find path: 2165
lola: symmetry: 1857
lola: reporting
lola: not produced: 17849
lola: find path: 3799
lola: symmetry: 3483
lola: reporting
lola: not produced: 16171
lola: find path: 4638
lola: symmetry: 4322
lola: reporting
lola: not produced: 15025
lola: find path: 5211
lola: symmetry: 4895
lola: reporting
lola: not produced: 14167
lola: find path: 5641
lola: symmetry: 5323
lola: reporting
lola: not produced: 13543
lola: find path: 5953
lola: symmetry: 5635
lola: reporting
lola: not produced: 12895
lola: find path: 6277
lola: symmetry: 5959
lola: reporting
lola: not produced: 12217
lola: find path: 6616
lola: symmetry: 6298
lola: reporting
lola: not produced: 11931
lola: find path: 6759
lola: symmetry: 6441
lola: reporting
lola: not produced: 11621
lola: find path: 6914
lola: symmetry: 6596
lola: reporting
lola: not produced: 11439
lola: find path: 7005
lola: symmetry: 6687
lola: reporting
lola: not produced: 11235
lola: find path: 7107
lola: symmetry: 6789
lola: reporting
lola: not produced: 10973
lola: find path: 7238
lola: symmetry: 6920
lola: reporting
lola: not produced: 10757
lola: find path: 7346
lola: symmetry: 7028
lola: reporting
lola: not produced: 10661
lola: find path: 7394
lola: symmetry: 7076
lola: reporting
lola: not produced: 10541
lola: find path: 7454
lola: symmetry: 7136
lola: reporting
lola: not produced: 10393
lola: find path: 7528
lola: symmetry: 7210
lola: reporting
lola: not produced: 10275
lola: find path: 7587
lola: symmetry: 7269
lola: reporting
lola: not produced: 10191
lola: find path: 7629
lola: symmetry: 7311
lola: reporting
lola: not produced: 10101
lola: find path: 7674
lola: symmetry: 7356
lola: reporting
lola: not produced: 10047
lola: find path: 7701
lola: symmetry: 7383
lola: reporting
lola: not produced: 9975
lola: find path: 7737
lola: symmetry: 7419
lola: reporting
lola: not produced: 9933
lola: find path: 7758
lola: symmetry: 7440
lola: reporting
lola: not produced: 9857
lola: find path: 7796
lola: symmetry: 7478
lola: reporting
lola: not produced: 9799
lola: find path: 7825
lola: symmetry: 7507
lola: reporting
lola: not produced: 9749
lola: find path: 7850
lola: symmetry: 7532
lola: reporting
lola: not produced: 9691
lola: find path: 7879
lola: symmetry: 7561
lola: reporting
lola: not produced: 9639
lola: find path: 7905
lola: symmetry: 7587
lola: reporting
lola: not produced: 9595
lola: find path: 7927
lola: symmetry: 7609
lola: reporting
lola: not produced: 9549
lola: find path: 7950
lola: symmetry: 7632
lola: reporting
lola: not produced: 9513
lola: find path: 7968
lola: symmetry: 7650
lola: reporting
lola: not produced: 9461
lola: find path: 7994
lola: symmetry: 7676
lola: reporting
lola: not produced: 9427
lola: find path: 8011
lola: symmetry: 7693
lola: reporting
lola: not produced: 9389
lola: find path: 8030
lola: symmetry: 7712
lola: reporting
lola: not produced: 9377
lola: find path: 8036
lola: symmetry: 7718
lola: reporting
lola: not produced: 9341
lola: find path: 8054
lola: symmetry: 7736
lola: reporting
lola: not produced: 9317
lola: find path: 8066
lola: symmetry: 7748
lola: reporting
lola: not produced: 9295
lola: find path: 8077
lola: symmetry: 7759
lola: reporting
lola: not produced: 9261
lola: find path: 8094
lola: symmetry: 7776
lola: reporting
lola: not produced: 9237
lola: find path: 8106
lola: symmetry: 7788
lola: reporting
lola: not produced: 9219
lola: find path: 8115
lola: symmetry: 7797
lola: reporting
lola: not produced: 9185
lola: find path: 8132
lola: symmetry: 7814
lola: reporting
lola: not produced: 9127
lola: find path: 8161
lola: symmetry: 7843
lola: reporting
lola: not produced: 9111
lola: find path: 8169
lola: symmetry: 7851
lola: reporting
lola: not produced: 9087
lola: find path: 8181
lola: symmetry: 7863
lola: reporting
lola: not produced: 9037
lola: find path: 8206
lola: symmetry: 7888
lola: reporting
lola: not produced: 9005
lola: find path: 8222
lola: symmetry: 7904
lola: reporting
lola: not produced: 8977
lola: find path: 8236
lola: symmetry: 7918
lola: reporting
lola: not produced: 8939
lola: find path: 8255
lola: symmetry: 7937
lola: reporting
lola: not produced: 8911
lola: find path: 8269
lola: symmetry: 7951
lola: reporting
lola: not produced: 8891
lola: find path: 8279
lola: symmetry: 7961
lola: reporting
lola: not produced: 8859
lola: find path: 8295
lola: symmetry: 7977
lola: reporting
lola: not produced: 8835
lola: find path: 8307
lola: symmetry: 7989
lola: reporting
lola: not produced: 8827
lola: find path: 8311
lola: symmetry: 7993
lola: reporting
lola: not produced: 8795
lola: find path: 8327
lola: symmetry: 8009
lola: reporting
lola: not produced: 8783
lola: find path: 8333
lola: symmetry: 8015
lola: reporting
lola: not produced: 8755
lola: find path: 8347
lola: symmetry: 8029
lola: reporting
lola: not produced: 8739
lola: find path: 8355
lola: symmetry: 8037
lola: reporting
lola: not produced: 8721
lola: find path: 8364
lola: symmetry: 8046
lola: reporting
lola: not produced: 8697
lola: find path: 8376
lola: symmetry: 8058
lola: reporting
lola: not produced: 8669
lola: find path: 8390
lola: symmetry: 8072
lola: reporting
lola: not produced: 8653
lola: find path: 8398
lola: symmetry: 8080
lola: reporting
lola: not produced: 8641
lola: find path: 8404
lola: symmetry: 8086
lola: reporting
lola: not produced: 8637
lola: find path: 8406
lola: symmetry: 8088
lola: reporting
lola: not produced: 8619
lola: find path: 8415
lola: symmetry: 8097
lola: reporting
lola: not produced: 8609
lola: find path: 8420
lola: symmetry: 8102
lola: reporting
lola: not produced: 8591
lola: find path: 8429
lola: symmetry: 8111
lola: reporting
lola: not produced: 8575
lola: find path: 8437
lola: symmetry: 8119
lola: reporting
lola: not produced: 8575
lola: find path: 8437
lola: symmetry: 8119
lola: reporting
lola: not produced: 8575
lola: find path: 8437
lola: symmetry: 8119
lola: reporting
lola: not produced: 8563
lola: find path: 8443
lola: symmetry: 8125
lola: reporting
lola: not produced: 8551
lola: find path: 8449
lola: symmetry: 8131
lola: reporting
lola: not produced: 8539
lola: find path: 8455
lola: symmetry: 8137
lola: reporting
lola: not produced: 8537
lola: find path: 8456
lola: symmetry: 8138
lola: reporting
lola: not produced: 8505
lola: find path: 8472
lola: symmetry: 8154
lola: reporting
lola: not produced: 8505
lola: find path: 8472
lola: symmetry: 8154
lola: reporting
lola: not produced: 8497
lola: find path: 8476
lola: symmetry: 8158
lola: reporting
lola: not produced: 8477
lola: find path: 8486
lola: symmetry: 8168
lola: reporting
lola: not produced: 8457
lola: find path: 8496
lola: symmetry: 8178
lola: reporting
lola: not produced: 8441
lola: find path: 8504
lola: symmetry: 8186
lola: reporting
lola: not produced: 8423
lola: find path: 8513
lola: symmetry: 8195
lola: reporting
lola: not produced: 8403
lola: find path: 8523
lola: symmetry: 8205
lola: reporting
lola: not produced: 8401
lola: find path: 8524
lola: symmetry: 8206
lola: reporting
lola: not produced: 8377
lola: find path: 8536
lola: symmetry: 8218
lola: reporting
lola: not produced: 8365
lola: find path: 8542
lola: symmetry: 8224
lola: reporting
lola: not produced: 8357
lola: find path: 8546
lola: symmetry: 8228
lola: reporting
lola: not produced: 8353
lola: find path: 8548
lola: symmetry: 8230
lola: reporting
lola: not produced: 8347
lola: find path: 8551
lola: symmetry: 8233
lola: reporting
lola: not produced: 8319
lola: find path: 8565
lola: symmetry: 8247
lola: reporting
lola: not produced: 8315
lola: find path: 8567
lola: symmetry: 8249
lola: reporting
lola: not produced: 8297
lola: find path: 8576
lola: symmetry: 8258
lola: reporting
lola: not produced: 8277
lola: find path: 8586
lola: symmetry: 8268
lola: reporting
lola: not produced: 8265
lola: find path: 8592
lola: symmetry: 8274
lola: reporting
lola: not produced: 8249
lola: find path: 8600
lola: symmetry: 8282
lola: reporting
lola: not produced: 8237
lola: find path: 8606
lola: symmetry: 8288
lola: reporting
lola: not produced: 8233
lola: find path: 8608
lola: symmetry: 8290
lola: reporting
lola: not produced: 8219
lola: find path: 8615
lola: symmetry: 8297
lola: reporting
lola: not produced: 8215
lola: find path: 8617
lola: symmetry: 8299
lola: reporting
lola: not produced: 8203
lola: find path: 8623
lola: symmetry: 8305
lola: reporting
lola: not produced: 8199
lola: find path: 8625
lola: symmetry: 8307
lola: reporting
lola: not produced: 8187
lola: find path: 8631
lola: symmetry: 8313
lola: reporting
lola: not produced: 8177
lola: find path: 8636
lola: symmetry: 8318
lola: reporting
lola: not produced: 8173
lola: find path: 8638
lola: symmetry: 8320
lola: reporting
lola: not produced: 8171
lola: find path: 8639
lola: symmetry: 8321
lola: reporting
lola: not produced: 8159
lola: find path: 8645
lola: symmetry: 8327
lola: reporting
lola: not produced: 8157
lola: find path: 8646
lola: symmetry: 8328
lola: reporting
lola: not produced: 8153
lola: find path: 8648
lola: symmetry: 8330
lola: reporting
lola: not produced: 8149
lola: find path: 8650
lola: symmetry: 8332
lola: reporting
lola: not produced: 8149
lola: find path: 8650
lola: symmetry: 8332
lola: reporting
lola: not produced: 8149
lola: find path: 8650
lola: symmetry: 8332
lola: reporting
lola: not produced: 8141
lola: find path: 8654
lola: symmetry: 8336
lola: reporting
lola: not produced: 8137
lola: find path: 8656
lola: symmetry: 8338
lola: reporting
lola: not produced: 8125
lola: find path: 8662
lola: symmetry: 8344
lola: reporting
lola: not produced: 8111
lola: find path: 8669
lola: symmetry: 8351
lola: reporting
lola: not produced: 8093
lola: find path: 8678
lola: symmetry: 8360
lola: reporting
lola: not produced: 8089
lola: find path: 8680
lola: symmetry: 8362
lola: reporting
lola: not produced: 8087
lola: find path: 8681
lola: symmetry: 8363
lola: reporting
lola: not produced: 8079
lola: find path: 8685
lola: symmetry: 8367
lola: reporting
lola: not produced: 8079
lola: find path: 8685
lola: symmetry: 8367
lola: reporting
lola: not produced: 8079
lola: find path: 8685
lola: symmetry: 8367
lola: reporting
lola: not produced: 8067
lola: find path: 8691
lola: symmetry: 8373
lola: reporting
lola: not produced: 8063
lola: find path: 8693
lola: symmetry: 8375
lola: reporting
lola: not produced: 8057
lola: find path: 8696
lola: symmetry: 8378
lola: reporting
lola: not produced: 8049
lola: find path: 8700
lola: symmetry: 8382
lola: reporting
lola: not produced: 8049
lola: find path: 8700
lola: symmetry: 8382
lola: reporting
lola: not produced: 8045
lola: find path: 8702
lola: symmetry: 8384
lola: reporting
lola: not produced: 8043
lola: find path: 8703
lola: symmetry: 8385
lola: reporting
lola: not produced: 8037
lola: find path: 8706
lola: symmetry: 8388
lola: reporting
lola: not produced: 8029
lola: find path: 8710
lola: symmetry: 8392
lola: reporting
lola: not produced: 8023
lola: find path: 8713
lola: symmetry: 8395
lola: reporting
lola: not produced: 8019
lola: find path: 8715
lola: symmetry: 8397
lola: reporting
lola: not produced: 8015
lola: find path: 8717
lola: symmetry: 8399
lola: reporting
lola: not produced: 8015
lola: find path: 8717
lola: symmetry: 8399
lola: reporting
lola: not produced: 8011
lola: find path: 8719
lola: symmetry: 8401
lola: reporting
lola: not produced: 8011
lola: find path: 8719
lola: symmetry: 8401
lola: reporting
lola: not produced: 7991
lola: find path: 8729
lola: symmetry: 8411
lola: reporting
lola: not produced: 7991
lola: find path: 8729
lola: symmetry: 8411
lola: reporting
lola: not produced: 7983
lola: find path: 8733
lola: symmetry: 8415
lola: reporting
lola: not produced: 7979
lola: find path: 8735
lola: symmetry: 8417
lola: reporting
lola: not produced: 7975
lola: find path: 8737
lola: symmetry: 8419
lola: reporting
lola: not produced: 7969
lola: find path: 8740
lola: symmetry: 8422
lola: reporting
lola: not produced: 7969
lola: find path: 8740
lola: symmetry: 8422
lola: reporting
lola: not produced: 7961
lola: find path: 8744
lola: symmetry: 8426
lola: reporting
lola: not produced: 7957
lola: find path: 8746
lola: symmetry: 8428
lola: reporting
lola: not produced: 7957
lola: find path: 8746
lola: symmetry: 8428
lola: reporting
lola: not produced: 7957
lola: find path: 8746
lola: symmetry: 8428
lola: reporting
lola: not produced: 7957
lola: find path: 8746
lola: symmetry: 8428
lola: reporting
lola: not produced: 7951
lola: find path: 8749
lola: symmetry: 8431
lola: reporting
lola: not produced: 7947
lola: find path: 8751
lola: symmetry: 8433
lola: reporting
lola: not produced: 7947
lola: find path: 8751
lola: symmetry: 8433
lola: reporting
lola: not produced: 7947
lola: find path: 8751
lola: symmetry: 8433
lola: reporting
lola: not produced: 7947
lola: find path: 8751
lola: symmetry: 8433
lola: reporting
lola: not produced: 7947
lola: find path: 8751
lola: symmetry: 8433
lola: reporting
lola: not produced: 7939
lola: find path: 8755
lola: symmetry: 8437
lola: reporting
lola: not produced: 7933
lola: find path: 8758
lola: symmetry: 8440
lola: reporting
lola: not produced: 7933
lola: find path: 8758
lola: symmetry: 8440
lola: reporting
lola: not produced: 7933
lola: find path: 8758
lola: symmetry: 8440
lola: reporting
lola: not produced: 7929
lola: find path: 8760
lola: symmetry: 8442
lola: reporting
lola: not produced: 7929
lola: find path: 8760
lola: symmetry: 8442
lola: reporting
lola: not produced: 7929
lola: find path: 8760
lola: symmetry: 8442
lola: reporting
lola: not produced: 7921
lola: find path: 8764
lola: symmetry: 8446
lola: reporting
lola: not produced: 7917
lola: find path: 8766
lola: symmetry: 8448
lola: reporting
lola: not produced: 7917
lola: find path: 8766
lola: symmetry: 8448
lola: reporting
lola: not produced: 7909
lola: find path: 8770
lola: symmetry: 8452
lola: reporting
lola: not produced: 7905
lola: find path: 8772
lola: symmetry: 8454
lola: reporting
lola: not produced: 7905
lola: find path: 8772
lola: symmetry: 8454
lola: reporting
lola: not produced: 7897
lola: find path: 8776
lola: symmetry: 8458
lola: reporting
lola: not produced: 7897
lola: find path: 8776
lola: symmetry: 8458
lola: reporting
lola: not produced: 7893
lola: find path: 8778
lola: symmetry: 8460
lola: reporting
lola: not produced: 7893
lola: find path: 8778
lola: symmetry: 8460
lola: reporting
lola: not produced: 7885
lola: find path: 8782
lola: symmetry: 8464
lola: reporting
lola: not produced: 7881
lola: find path: 8784
lola: symmetry: 8466
lola: reporting
lola: not produced: 7881
lola: find path: 8784
lola: symmetry: 8466
lola: reporting
lola: not produced: 7881
lola: find path: 8784
lola: symmetry: 8466
lola: reporting
lola: not produced: 7873
lola: find path: 8788
lola: symmetry: 8470
lola: reporting
lola: not produced: 7869
lola: find path: 8790
lola: symmetry: 8472
lola: reporting
lola: not produced: 7869
lola: find path: 8790
lola: symmetry: 8472
lola: reporting
lola: not produced: 7869
lola: find path: 8790
lola: symmetry: 8472
lola: reporting
lola: not produced: 7867
lola: find path: 8791
lola: symmetry: 8473
lola: reporting
lola: not produced: 7859
lola: find path: 8795
lola: symmetry: 8477
lola: reporting
lola: not produced: 7855
lola: find path: 8797
lola: symmetry: 8479
lola: reporting
lola: not produced: 7847
lola: find path: 8801
lola: symmetry: 8483
lola: reporting
lola: not produced: 7847
lola: find path: 8801
lola: symmetry: 8483
lola: reporting
lola: not produced: 7843
lola: find path: 8803
lola: symmetry: 8485
lola: reporting
lola: not produced: 7843
lola: find path: 8803
lola: symmetry: 8485
lola: reporting
lola: not produced: 7843
lola: find path: 8803
lola: symmetry: 8485
lola: reporting
lola: not produced: 7843
lola: find path: 8803
lola: symmetry: 8485
lola: reporting
lola: not produced: 7839
lola: find path: 8805
lola: symmetry: 8487
lola: reporting
lola: not produced: 7835
lola: find path: 8807
lola: symmetry: 8489
lola: reporting
lola: not produced: 7835
lola: find path: 8807
lola: symmetry: 8489
lola: reporting
lola: not produced: 7835
lola: find path: 8807
lola: symmetry: 8489
lola: reporting
lola: not produced: 7835
lola: find path: 8807
lola: symmetry: 8489
lola: reporting
lola: not produced: 7835
lola: find path: 8807
lola: symmetry: 8489
lola: reporting
lola: not produced: 7835
lola: find path: 8807
lola: symmetry: 8489
lola: reporting
lola: not produced: 7827
lola: find path: 8811
lola: symmetry: 8493
lola: reporting
lola: not produced: 7825
lola: find path: 8812
lola: symmetry: 8494
lola: reporting
lola: not produced: 7825
lola: find path: 8812
lola: symmetry: 8494
lola: reporting
lola: not produced: 7825
lola: find path: 8812
lola: symmetry: 8494
lola: reporting
lola: not produced: 7825
lola: find path: 8812
lola: symmetry: 8494
lola: reporting
lola: not produced: 7825
lola: find path: 8812
lola: symmetry: 8494
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7821
lola: find path: 8814
lola: symmetry: 8496
lola: reporting
lola: not produced: 7819
lola: find path: 8815
lola: symmetry: 8497
lola: reporting
lola: not produced: 7815
lola: find path: 8817
lola: symmetry: 8499
lola: reporting
lola: not produced: 7815
lola: find path: 8817
lola: symmetry: 8499
lola: reporting
lola: not produced: 7811
lola: find path: 8819
lola: symmetry: 8501
lola: reporting
lola: not produced: 7807
lola: find path: 8821
lola: symmetry: 8503
lola: reporting
lola: not produced: 7803
lola: find path: 8823
lola: symmetry: 8505
lola: reporting
lola: not produced: 7803
lola: find path: 8823
lola: symmetry: 8505
lola: reporting
lola: not produced: 7803
lola: find path: 8823
lola: symmetry: 8505
lola: reporting
lola: not produced: 7803
lola: find path: 8823
lola: symmetry: 8505
lola: reporting
lola: not produced: 7799
lola: find path: 8825
lola: symmetry: 8507
lola: reporting
lola: not produced: 7797
lola: find path: 8826
lola: symmetry: 8508
lola: reporting
lola: not produced: 7797
lola: find path: 8826
lola: symmetry: 8508
lola: reporting
lola: not produced: 7797
lola: find path: 8826
lola: symmetry: 8508
lola: reporting
lola: not produced: 7791
lola: find path: 8829
lola: symmetry: 8511
lola: reporting
lola: not produced: 7791
lola: find path: 8829
lola: symmetry: 8511
lola: reporting
lola: not produced: 7791
lola: find path: 8829
lola: symmetry: 8511
lola: reporting
lola: not produced: 7787
lola: find path: 8831
lola: symmetry: 8513
lola: reporting
lola: not produced: 7787
lola: find path: 8831
lola: symmetry: 8513
lola: reporting
lola: not produced: 7787
lola: find path: 8831
lola: symmetry: 8513
lola: reporting
lola: not produced: 7787
lola: find path: 8831
lola: symmetry: 8513
lola: reporting
lola: not produced: 7783
lola: find path: 8833
lola: symmetry: 8515
lola: reporting
lola: not produced: 7775
lola: find path: 8837
lola: symmetry: 8519
lola: reporting
lola: not produced: 7775
lola: find path: 8837
lola: symmetry: 8519
lola: reporting
lola: not produced: 7775
lola: find path: 8837
lola: symmetry: 8519
lola: reporting
lola: not produced: 7775
lola: find path: 8837
lola: symmetry: 8519
lola: reporting
lola: not produced: 7775
lola: find path: 8837
lola: symmetry: 8519
lola: reporting
lola: not produced: 7775
lola: find path: 8837
lola: symmetry: 8519
lola: reporting
lola: not produced: 7775
lola: find path: 8837
lola: symmetry: 8519
lola: reporting
lola: not produced: 7771
lola: find path: 8839
lola: symmetry: 8521
lola: reporting
lola: not produced: 7771
lola: find path: 8839
lola: symmetry: 8521
lola: reporting
lola: not produced: 7767
lola: find path: 8841
lola: symmetry: 8523
lola: reporting
lola: not produced: 7767
lola: find path: 8841
lola: symmetry: 8523
lola: reporting
lola: not produced: 7767
lola: find path: 8841
lola: symmetry: 8523
lola: reporting
lola: not produced: 7767
lola: find path: 8841
lola: symmetry: 8523
lola: reporting
lola: not produced: 7767
lola: find path: 8841
lola: symmetry: 8523
lola: reporting
lola: not produced: 7765
lola: find path: 8842
lola: symmetry: 8524
lola: reporting
lola: not produced: 7765
lola: find path: 8842
lola: symmetry: 8524
lola: reporting
lola: not produced: 7761
lola: find path: 8844
lola: symmetry: 8526
lola: reporting
lola: not produced: 7761
lola: find path: 8844
lola: symmetry: 8526
lola: reporting
lola: not produced: 7761
lola: find path: 8844
lola: symmetry: 8526
lola: reporting
lola: not produced: 7761
lola: find path: 8844
lola: symmetry: 8526
lola: reporting
lola: not produced: 7761
lola: find path: 8844
lola: symmetry: 8526
lola: reporting
lola: not produced: 7761
lola: find path: 8844
lola: symmetry: 8526
lola: reporting
lola: not produced: 7761
lola: find path: 8844
lola: symmetry: 8526
lola: reporting
lola: not produced: 7757
lola: find path: 8846
lola: symmetry: 8528
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7747
lola: find path: 8851
lola: symmetry: 8533

lola: reporting
lola: not produced: 7747
lola: find path: 8851
lola: symmetry: 8533
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7743
lola: find path: 8853
lola: symmetry: 8535
lola: reporting
lola: not produced: 7739
lola: find path: 8855
lola: symmetry: 8537
lola: reporting
lola: not produced: 7739
lola: find path: 8855
lola: symmetry: 8537
lola: reporting
lola: not produced: 7739
lola: find path: 8855
lola: symmetry: 8537
lola: reporting
lola: not produced: 7739
lola: find path: 8855
lola: symmetry: 8537
lola: reporting
lola: not produced: 7739
lola: find path: 8855
lola: symmetry: 8537
lola: reporting
lola: not produced: 7735
lola: find path: 8857
lola: symmetry: 8539
lola: reporting
lola: not produced: 7735
lola: find path: 8857
lola: symmetry: 8539
lola: reporting
lola: not produced: 7735
lola: find path: 8857
lola: symmetry: 8539
lola: reporting
lola: not produced: 7731
lola: find path: 8859
lola: symmetry: 8541
lola: reporting
lola: not produced: 7731
lola: find path: 8859
lola: symmetry: 8541
lola: reporting
lola: not produced: 7731
lola: find path: 8859
lola: symmetry: 8541
lola: reporting
lola: not produced: 7731
lola: find path: 8859
lola: symmetry: 8541
lola: reporting
lola: not produced: 7731
lola: find path: 8859
lola: symmetry: 8541
lola: reporting
lola: not produced: 7727
lola: find path: 8861
lola: symmetry: 8543
lola: reporting
lola: not produced: 7727
lola: find path: 8861
lola: symmetry: 8543
lola: reporting
lola: not produced: 7727
lola: find path: 8861
lola: symmetry: 8543
lola: reporting
lola: not produced: 7727
lola: find path: 8861
lola: symmetry: 8543
lola: reporting
lola: not produced: 7727
lola: find path: 8861
lola: symmetry: 8543
lola: reporting
lola: not produced: 7727
lola: find path: 8861
lola: symmetry: 8543
lola: reporting
lola: not produced: 7723
lola: find path: 8863
lola: symmetry: 8545
lola: reporting
lola: not produced: 7723
lola: find path: 8863
lola: symmetry: 8545
lola: reporting
lola: not produced: 7723
lola: find path: 8863
lola: symmetry: 8545
lola: reporting
lola: not produced: 7723
lola: find path: 8863
lola: symmetry: 8545
lola: reporting
lola: not produced: 7723
lola: find path: 8863
lola: symmetry: 8545
lola: reporting
lola: not produced: 7721
lola: find path: 8864
lola: symmetry: 8546
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7719
lola: find path: 8865
lola: symmetry: 8547
lola: reporting
lola: not produced: 7715
lola: find path: 8867
lola: symmetry: 8549
lola: reporting
lola: not produced: 7715
lola: find path: 8867
lola: symmetry: 8549
lola: reporting
lola: not produced: 7715
lola: find path: 8867
lola: symmetry: 8549
lola: reporting
lola: not produced: 7715
lola: find path: 8867
lola: symmetry: 8549
lola: STATE EQUATION TRIES PLACE Node27HasTheLeafSetOfRx6ToReplaceNode21
sara: try reading problem file stateEquationProblem-ConstantPlace-12456.sara.
lola: reporting
lola: not produced: 7715
lola: state equation: 1
lola: find path: 8867
lola: symmetry: 8548
lola: reporting
lola: not produced: 7715
lola: state equation: 1
lola: find path: 8867
lola: symmetry: 8548
lola: reporting
lola: not produced: 7715
lola: state equation: 1
lola: find path: 8867
lola: symmetry: 8548
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7711
lola: state equation: 1
lola: find path: 8869
lola: symmetry: 8550
lola: reporting
lola: not produced: 7707
lola: state equation: 1
lola: find path: 8871
lola: symmetry: 8552
lola: reporting
lola: not produced: 7707
lola: state equation: 1
lola: find path: 8871
lola: symmetry: 8552
lola: reporting
lola: not produced: 7707
lola: state equation: 1
lola: find path: 8871
lola: symmetry: 8552
lola: reporting
lola: not produced: 7707
lola: state equation: 1
lola: find path: 8871
lola: symmetry: 8552
lola: reporting
lola: not produced: 7707
lola: state equation: 1
lola: find path: 8871
lola: symmetry: 8552
lola: reporting
lola: not produced: 7705
lola: state equation: 1
lola: find path: 8872
lola: symmetry: 8553
lola: reporting
lola: not produced: 7705
lola: state equation: 1
lola: find path: 8872
lola: symmetry: 8553
lola: reporting
lola: not produced: 7705
lola: state equation: 1
lola: find path: 8872
lola: symmetry: 8553
lola: reporting
lola: not produced: 7701
lola: state equation: 1
lola: find path: 8874
lola: symmetry: 8555
lola: reporting
lola: not produced: 7701
lola: state equation: 1
lola: find path: 8874
lola: symmetry: 8555
lola: reporting
lola: not produced: 7701
lola: state equation: 1
lola: find path: 8874
lola: symmetry: 8555
lola: reporting
lola: not produced: 7697
lola: state equation: 1
lola: find path: 8876
lola: symmetry: 8557
lola: reporting
lola: not produced: 7697
lola: state equation: 1
lola: find path: 8876
lola: symmetry: 8557
lola: reporting
lola: not produced: 7697
lola: state equation: 1
lola: find path: 8876
lola: symmetry: 8557
lola: reporting
lola: not produced: 7697
lola: state equation: 1
lola: find path: 8876
lola: symmetry: 8557
lola: reporting
lola: not produced: 7693
lola: state equation: 1
lola: find path: 8878
lola: symmetry: 8559
lola: reporting
lola: not produced: 7693
lola: state equation: 1
lola: find path: 8878
lola: symmetry: 8559
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 8

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C07"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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