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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 31M
-rw-r--r-- 1 mcc users 14K Feb 26 03:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 03:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 03:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 03:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 03:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 03:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 03:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 03:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:26 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 30M 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 1678703862559

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-S32C09
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C09
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 1907904 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16141288 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 Node29HasTheLeafSetOfRx7ToReplaceNode32
sara: try reading problem file stateEquationProblem-ConstantPlace-363.sara.
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 27239
lola: find path: 1446
lola: symmetry: 1082
lola: reporting
lola: not produced: 21713
lola: find path: 4220
lola: symmetry: 3834
lola: reporting
lola: not produced: 19247
lola: find path: 5453
lola: symmetry: 5067
lola: reporting
lola: not produced: 17521
lola: find path: 6317
lola: symmetry: 5929
lola: reporting
lola: not produced: 16391
lola: find path: 6882
lola: symmetry: 6494
lola: reporting
lola: not produced: 15799
lola: find path: 7178
lola: symmetry: 6790
lola: reporting
lola: not produced: 15261
lola: find path: 7447
lola: symmetry: 7059
lola: reporting
lola: not produced: 14795
lola: find path: 7680
lola: symmetry: 7292
lola: reporting
lola: not produced: 14429
lola: find path: 7863
lola: symmetry: 7475
lola: reporting
lola: not produced: 14079
lola: find path: 8038
lola: symmetry: 7650
lola: reporting
lola: not produced: 13789
lola: find path: 8183
lola: symmetry: 7795
lola: reporting
lola: not produced: 13559
lola: find path: 8298
lola: symmetry: 7910
lola: reporting
lola: not produced: 13393
lola: find path: 8381
lola: symmetry: 7993
lola: reporting
lola: not produced: 13175
lola: find path: 8490
lola: symmetry: 8102
lola: reporting
lola: not produced: 12883
lola: find path: 8636
lola: symmetry: 8248
lola: reporting
lola: not produced: 12739
lola: find path: 8708
lola: symmetry: 8320
lola: reporting
lola: not produced: 12549
lola: find path: 8803
lola: symmetry: 8415
lola: reporting
lola: not produced: 12403
lola: find path: 8876
lola: symmetry: 8488
lola: reporting
lola: not produced: 12203
lola: find path: 8976
lola: symmetry: 8588
lola: reporting
lola: not produced: 12073
lola: find path: 9041
lola: symmetry: 8653
lola: reporting
lola: not produced: 11937
lola: find path: 9109
lola: symmetry: 8721
lola: reporting
lola: not produced: 11769
lola: find path: 9193
lola: symmetry: 8805
lola: reporting
lola: not produced: 11665
lola: find path: 9245
lola: symmetry: 8857
lola: reporting
lola: not produced: 11559
lola: find path: 9298
lola: symmetry: 8910
lola: reporting
lola: not produced: 11475
lola: find path: 9340
lola: symmetry: 8952
lola: reporting
lola: not produced: 11371
lola: find path: 9392
lola: symmetry: 9004
lola: reporting
lola: not produced: 11295
lola: find path: 9430
lola: symmetry: 9042
lola: reporting
lola: not produced: 11231
lola: find path: 9462
lola: symmetry: 9074
lola: reporting
lola: not produced: 11155
lola: find path: 9500
lola: symmetry: 9112
lola: reporting
lola: not produced: 11087
lola: find path: 9534
lola: symmetry: 9146
lola: reporting
lola: not produced: 11017
lola: find path: 9569
lola: symmetry: 9181
lola: reporting
lola: not produced: 10961
lola: find path: 9597
lola: symmetry: 9209
lola: reporting
lola: not produced: 10899
lola: find path: 9628
lola: symmetry: 9240
lola: reporting
lola: not produced: 10837
lola: find path: 9659
lola: symmetry: 9271
lola: reporting
lola: not produced: 10789
lola: find path: 9683
lola: symmetry: 9295
lola: reporting
lola: not produced: 10737
lola: find path: 9709
lola: symmetry: 9321
lola: reporting
lola: not produced: 10701
lola: find path: 9727
lola: symmetry: 9339
lola: reporting
lola: not produced: 10629
lola: find path: 9763
lola: symmetry: 9375
lola: reporting
lola: not produced: 10589
lola: find path: 9783
lola: symmetry: 9395
lola: reporting
lola: not produced: 10545
lola: find path: 9805
lola: symmetry: 9417
lola: reporting
lola: not produced: 10501
lola: find path: 9827
lola: symmetry: 9439
lola: reporting
lola: not produced: 10429
lola: find path: 9863
lola: symmetry: 9475
lola: reporting
lola: not produced: 10403
lola: find path: 9876
lola: symmetry: 9488
lola: reporting
lola: not produced: 10355
lola: find path: 9900
lola: symmetry: 9512
lola: reporting
lola: not produced: 10313
lola: find path: 9921
lola: symmetry: 9533
lola: reporting
lola: not produced: 10295
lola: find path: 9930
lola: symmetry: 9542
lola: reporting
lola: not produced: 10273
lola: find path: 9941
lola: symmetry: 9553
lola: reporting
lola: not produced: 10207
lola: find path: 9974
lola: symmetry: 9586
lola: reporting
lola: not produced: 10181
lola: find path: 9987
lola: symmetry: 9599
lola: reporting
lola: not produced: 10151
lola: find path: 10002
lola: symmetry: 9614
lola: reporting
lola: not produced: 10131
lola: find path: 10012
lola: symmetry: 9624
lola: reporting
lola: not produced: 10115
lola: find path: 10020
lola: symmetry: 9632
lola: reporting
lola: not produced: 10085
lola: find path: 10035
lola: symmetry: 9647
lola: reporting
lola: not produced: 10041
lola: find path: 10057
lola: symmetry: 9669
lola: reporting
lola: not produced: 10013
lola: find path: 10071
lola: symmetry: 9683
lola: reporting
lola: not produced: 9971
lola: find path: 10092
lola: symmetry: 9704
lola: reporting
lola: not produced: 9949
lola: find path: 10103
lola: symmetry: 9715
lola: reporting
lola: not produced: 9909
lola: find path: 10123
lola: symmetry: 9735
lola: reporting
lola: not produced: 9893
lola: find path: 10131
lola: symmetry: 9743
lola: reporting
lola: not produced: 9885
lola: find path: 10135
lola: symmetry: 9747
lola: reporting
lola: not produced: 9857
lola: find path: 10149
lola: symmetry: 9761
lola: reporting
lola: not produced: 9843
lola: find path: 10156
lola: symmetry: 9768
lola: reporting
lola: not produced: 9831
lola: find path: 10162
lola: symmetry: 9774
lola: reporting
lola: not produced: 9811
lola: find path: 10172
lola: symmetry: 9784
lola: reporting
lola: not produced: 9791
lola: find path: 10182
lola: symmetry: 9794
lola: reporting
lola: not produced: 9765
lola: find path: 10195
lola: symmetry: 9807
lola: reporting
lola: not produced: 9749
lola: find path: 10203
lola: symmetry: 9815
lola: reporting
lola: not produced: 9725
lola: find path: 10215
lola: symmetry: 9827
lola: reporting
lola: not produced: 9705
lola: find path: 10225
lola: symmetry: 9837
lola: reporting
lola: not produced: 9701
lola: find path: 10227
lola: symmetry: 9839
lola: reporting
lola: not produced: 9689
lola: find path: 10233
lola: symmetry: 9845
lola: reporting
lola: not produced: 9669
lola: find path: 10243
lola: symmetry: 9855
lola: reporting
lola: not produced: 9661
lola: find path: 10247
lola: symmetry: 9859
lola: reporting
lola: not produced: 9649
lola: find path: 10253
lola: symmetry: 9865
lola: reporting
lola: not produced: 9633
lola: find path: 10261
lola: symmetry: 9873
lola: reporting
lola: not produced: 9613
lola: find path: 10271
lola: symmetry: 9883
lola: reporting
lola: not produced: 9593
lola: find path: 10281
lola: symmetry: 9893
lola: reporting
lola: not produced: 9589
lola: find path: 10283
lola: symmetry: 9895
lola: reporting
lola: not produced: 9585
lola: find path: 10285
lola: symmetry: 9897
lola: reporting
lola: not produced: 9563
lola: find path: 10296
lola: symmetry: 9908
lola: reporting
lola: not produced: 9553
lola: find path: 10301
lola: symmetry: 9913
lola: reporting
lola: not produced: 9541
lola: find path: 10307
lola: symmetry: 9919
lola: reporting
lola: not produced: 9537
lola: find path: 10309
lola: symmetry: 9921
lola: reporting
lola: not produced: 9537
lola: find path: 10309
lola: symmetry: 9921
lola: reporting
lola: not produced: 9529
lola: find path: 10313
lola: symmetry: 9925
lola: reporting
lola: not produced: 9513
lola: find path: 10321
lola: symmetry: 9933
lola: reporting
lola: not produced: 9505
lola: find path: 10325
lola: symmetry: 9937
lola: reporting
lola: not produced: 9495
lola: find path: 10330
lola: symmetry: 9942
lola: reporting
lola: not produced: 9477
lola: find path: 10339
lola: symmetry: 9951
lola: reporting
lola: not produced: 9467
lola: find path: 10344
lola: symmetry: 9956
lola: reporting
lola: not produced: 9451
lola: find path: 10352
lola: symmetry: 9964
lola: reporting
lola: not produced: 9435
lola: find path: 10360
lola: symmetry: 9972
lola: reporting
lola: not produced: 9435
lola: find path: 10360
lola: symmetry: 9972
lola: reporting
lola: not produced: 9421
lola: find path: 10367
lola: symmetry: 9979
lola: reporting
lola: not produced: 9415
lola: find path: 10370
lola: symmetry: 9982
lola: reporting
lola: not produced: 9407
lola: find path: 10374
lola: symmetry: 9986
lola: reporting
lola: not produced: 9399
lola: find path: 10378
lola: symmetry: 9990
lola: reporting
lola: not produced: 9395
lola: find path: 10380
lola: symmetry: 9992
lola: reporting
lola: not produced: 9387
lola: find path: 10384
lola: symmetry: 9996
lola: reporting
lola: not produced: 9375
lola: find path: 10390
lola: symmetry: 10002
lola: reporting
lola: not produced: 9367
lola: find path: 10394
lola: symmetry: 10006
lola: reporting
lola: not produced: 9363
lola: find path: 10396
lola: symmetry: 10008
lola: reporting
lola: not produced: 9363
lola: find path: 10396
lola: symmetry: 10008
lola: reporting
lola: not produced: 9363
lola: find path: 10396
lola: symmetry: 10008
lola: reporting
lola: not produced: 9359
lola: find path: 10398
lola: symmetry: 10010
lola: reporting
lola: not produced: 9351
lola: find path: 10402
lola: symmetry: 10014
lola: reporting
lola: not produced: 9343
lola: find path: 10406
lola: symmetry: 10018
lola: reporting
lola: not produced: 9343
lola: find path: 10406
lola: symmetry: 10018
lola: reporting
lola: not produced: 9331
lola: find path: 10412
lola: symmetry: 10024
lola: reporting
lola: not produced: 9327
lola: find path: 10414
lola: symmetry: 10026
lola: reporting
lola: not produced: 9319
lola: find path: 10418
lola: symmetry: 10030
lola: reporting
lola: not produced: 9291
lola: find path: 10432
lola: symmetry: 10044
lola: reporting
lola: not produced: 9283
lola: find path: 10436
lola: symmetry: 10048
lola: reporting
lola: not produced: 9267
lola: find path: 10444
lola: symmetry: 10056
lola: reporting
lola: not produced: 9255
lola: find path: 10450
lola: symmetry: 10062
lola: reporting
lola: not produced: 9251
lola: find path: 10452
lola: symmetry: 10064
lola: reporting
lola: not produced: 9223
lola: find path: 10466
lola: symmetry: 10078
lola: reporting
lola: not produced: 9219
lola: find path: 10468
lola: symmetry: 10080
lola: reporting
lola: not produced: 9207
lola: find path: 10474
lola: symmetry: 10086
lola: reporting
lola: not produced: 9195
lola: find path: 10480
lola: symmetry: 10092
lola: reporting
lola: not produced: 9191
lola: find path: 10482
lola: symmetry: 10094
lola: reporting
lola: not produced: 9187
lola: find path: 10484
lola: symmetry: 10096
lola: reporting
lola: not produced: 9171
lola: find path: 10492
lola: symmetry: 10104
lola: reporting
lola: not produced: 9149
lola: find path: 10503
lola: symmetry: 10115
lola: reporting
lola: not produced: 9141
lola: find path: 10507
lola: symmetry: 10119
lola: reporting
lola: not produced: 9129
lola: find path: 10513
lola: symmetry: 10125
lola: reporting
lola: not produced: 9105
lola: find path: 10525
lola: symmetry: 10137
lola: reporting
lola: not produced: 9101
lola: find path: 10527
lola: symmetry: 10139
lola: reporting
lola: not produced: 9079
lola: find path: 10538
lola: symmetry: 10150
lola: reporting
lola: not produced: 9075
lola: find path: 10540
lola: symmetry: 10152
lola: reporting
lola: not produced: 9071
lola: find path: 10542
lola: symmetry: 10154
lola: reporting
lola: not produced: 9067
lola: find path: 10544
lola: symmetry: 10156
lola: reporting
lola: not produced: 9061
lola: find path: 10547
lola: symmetry: 10159
lola: reporting
lola: not produced: 9061
lola: find path: 10547
lola: symmetry: 10159
lola: reporting
lola: not produced: 9053
lola: find path: 10551
lola: symmetry: 10163
lola: reporting
lola: not produced: 9045
lola: find path: 10555
lola: symmetry: 10167
lola: reporting
lola: not produced: 9045
lola: find path: 10555
lola: symmetry: 10167
lola: reporting
lola: not produced: 9033
lola: find path: 10561
lola: symmetry: 10173
lola: reporting
lola: not produced: 9033
lola: find path: 10561
lola: symmetry: 10173
lola: reporting
lola: not produced: 9021
lola: find path: 10567
lola: symmetry: 10179
lola: reporting
lola: not produced: 9013
lola: find path: 10571
lola: symmetry: 10183
lola: reporting
lola: not produced: 9013
lola: find path: 10571
lola: symmetry: 10183
lola: reporting
lola: not produced: 8999
lola: find path: 10578
lola: symmetry: 10190
lola: reporting
lola: not produced: 8995
lola: find path: 10580
lola: symmetry: 10192
lola: reporting
lola: not produced: 8987
lola: find path: 10584
lola: symmetry: 10196
lola: reporting
lola: not produced: 8979
lola: find path: 10588
lola: symmetry: 10200
lola: reporting
lola: not produced: 8975
lola: find path: 10590
lola: symmetry: 10202
lola: reporting
lola: not produced: 8967
lola: find path: 10594
lola: symmetry: 10206
lola: reporting
lola: not produced: 8967
lola: find path: 10594
lola: symmetry: 10206
lola: reporting
lola: not produced: 8959
lola: find path: 10598
lola: symmetry: 10210
lola: reporting
lola: not produced: 8951
lola: find path: 10602
lola: symmetry: 10214
lola: reporting
lola: not produced: 8951
lola: find path: 10602
lola: symmetry: 10214
lola: reporting
lola: not produced: 8951
lola: find path: 10602
lola: symmetry: 10214
lola: reporting
lola: not produced: 8947
lola: find path: 10604
lola: symmetry: 10216
lola: reporting
lola: not produced: 8943
lola: find path: 10606
lola: symmetry: 10218
lola: reporting
lola: not produced: 8931
lola: find path: 10612
lola: symmetry: 10224
lola: reporting
lola: not produced: 8927
lola: find path: 10614
lola: symmetry: 10226
lola: reporting
lola: not produced: 8919
lola: find path: 10618
lola: symmetry: 10230
lola: reporting
lola: not produced: 8907
lola: find path: 10624
lola: symmetry: 10236
lola: reporting
lola: not produced: 8901
lola: find path: 10627
lola: symmetry: 10239
lola: reporting
lola: not produced: 8891
lola: find path: 10632
lola: symmetry: 10244
lola: reporting
lola: not produced: 8879
lola: find path: 10638
lola: symmetry: 10250
lola: reporting
lola: not produced: 8869
lola: find path: 10643
lola: symmetry: 10255
lola: reporting
lola: not produced: 8861
lola: find path: 10647
lola: symmetry: 10259
lola: reporting
lola: not produced: 8849
lola: find path: 10653
lola: symmetry: 10265
lola: reporting
lola: not produced: 8841
lola: find path: 10657
lola: symmetry: 10269
lola: reporting
lola: not produced: 8833
lola: find path: 10661
lola: symmetry: 10273
lola: reporting
lola: not produced: 8829
lola: find path: 10663
lola: symmetry: 10275
lola: reporting
lola: not produced: 8829
lola: find path: 10663
lola: symmetry: 10275
lola: reporting
lola: not produced: 8825
lola: find path: 10665
lola: symmetry: 10277
lola: reporting
lola: not produced: 8817
lola: find path: 10669
lola: symmetry: 10281
lola: reporting
lola: not produced: 8809
lola: find path: 10673
lola: symmetry: 10285
lola: reporting
lola: not produced: 8809
lola: find path: 10673
lola: symmetry: 10285
lola: reporting
lola: not produced: 8809
lola: find path: 10673
lola: symmetry: 10285
lola: reporting
lola: not produced: 8805
lola: find path: 10675
lola: symmetry: 10287
lola: reporting
lola: not produced: 8805
lola: find path: 10675
lola: symmetry: 10287
lola: reporting
lola: not produced: 8793
lola: find path: 10681
lola: symmetry: 10293
lola: reporting
lola: not produced: 8777
lola: find path: 10689
lola: symmetry: 10301
lola: reporting
lola: not produced: 8777
lola: find path: 10689
lola: symmetry: 10301
lola: reporting
lola: not produced: 8769
lola: find path: 10693
lola: symmetry: 10305
lola: reporting
lola: not produced: 8757
lola: find path: 10699
lola: symmetry: 10311
lola: reporting
lola: not produced: 8757
lola: find path: 10699
lola: symmetry: 10311
lola: reporting
lola: not produced: 8753
lola: find path: 10701
lola: symmetry: 10313
lola: reporting
lola: not produced: 8741
lola: find path: 10707
lola: symmetry: 10319
lola: reporting
lola: not produced: 8733
lola: find path: 10711
lola: symmetry: 10323
lola: reporting
lola: not produced: 8729
lola: find path: 10713
lola: symmetry: 10325
lola: reporting
lola: not produced: 8725
lola: find path: 10715
lola: symmetry: 10327
lola: reporting
lola: not produced: 8717
lola: find path: 10719
lola: symmetry: 10331
lola: reporting
lola: not produced: 8717
lola: find path: 10719
lola: symmetry: 10331
lola: reporting
lola: not produced: 8715
lola: find path: 10720
lola: symmetry: 10332
lola: reporting
lola: not produced: 8711
lola: find path: 10722
lola: symmetry: 10334
lola: reporting
lola: not produced: 8707
lola: find path: 10724
lola: symmetry: 10336
lola: reporting
lola: not produced: 8703
lola: find path: 10726
lola: symmetry: 10338
lola: reporting
lola: not produced: 8695
lola: find path: 10730
lola: symmetry: 10342
lola: reporting
lola: not produced: 8695
lola: find path: 10730
lola: symmetry: 10342
lola: reporting
lola: not produced: 8683
lola: find path: 10736
lola: symmetry: 10348
lola: reporting
lola: not produced: 8679
lola: find path: 10738
lola: symmetry: 10350
lola: reporting
lola: not produced: 8675
lola: find path: 10740
lola: symmetry: 10352
lola: reporting
lola: not produced: 8663
lola: find path: 10746
lola: symmetry: 10358
lola: reporting
lola: not produced: 8663
lola: find path: 10746
lola: symmetry: 10358
lola: reporting
lola: not produced: 8655
lola: find path: 10750
lola: symmetry: 10362
lola: reporting
lola: not produced: 8655
lola: find path: 10750
lola: symmetry: 10362
lola: reporting
lola: not produced: 8649
lola: find path: 10753
lola: symmetry: 10365
lola: reporting
lola: not produced: 8641
lola: find path: 10757
lola: symmetry: 10369
lola: reporting
lola: not produced: 8641
lola: find path: 10757
lola: symmetry: 10369
lola: reporting
lola: not produced: 8629
lola: find path: 10763
lola: symmetry: 10375
lola: reporting
lola: not produced: 8629
lola: find path: 10763
lola: symmetry: 10375
lola: reporting
lola: not produced: 8629
lola: find path: 10763
lola: symmetry: 10375
lola: reporting
lola: not produced: 8625
lola: find path: 10765
lola: symmetry: 10377
lola: reporting
lola: not produced: 8625
lola: find path: 10765
lola: symmetry: 10377
lola: reporting
lola: not produced: 8621
lola: find path: 10767
lola: symmetry: 10379
lola: reporting
lola: not produced: 8621
lola: find path: 10767
lola: symmetry: 10379
lola: reporting
lola: not produced: 8621
lola: find path: 10767
lola: symmetry: 10379
lola: reporting
lola: not produced: 8617
lola: find path: 10769
lola: symmetry: 10381
lola: reporting
lola: not produced: 8613
lola: find path: 10771
lola: symmetry: 10383
lola: reporting
lola: not produced: 8607
lola: find path: 10774
lola: symmetry: 10386
lola: reporting
lola: not produced: 8599
lola: find path: 10778
lola: symmetry: 10390
lola: reporting
lola: not produced: 8599
lola: find path: 10778
lola: symmetry: 10390
lola: reporting
lola: not produced: 8591
lola: find path: 10782
lola: symmetry: 10394
lola: reporting
lola: not produced: 8587
lola: find path: 10784
lola: symmetry: 10396
lola: reporting
lola: not produced: 8583
lola: find path: 10786
lola: symmetry: 10398
lola: reporting
lola: not produced: 8583
lola: find path: 10786
lola: symmetry: 10398
lola: reporting
lola: not produced: 8579
lola: find path: 10788
lola: symmetry: 10400
lola: reporting
lola: not produced: 8579
lola: find path: 10788
lola: symmetry: 10400
lola: reporting
lola: not produced: 8575
lola: find path: 10790
lola: symmetry: 10402
lola: reporting
lola: not produced: 8569
lola: find path: 10793
lola: symmetry: 10405
lola: reporting
lola: not produced: 8569
lola: find path: 10793
lola: symmetry: 10405
lola: reporting
lola: not produced: 8561
lola: find path: 10797
lola: symmetry: 10409
lola: reporting
lola: not produced: 8561
lola: find path: 10797
lola: symmetry: 10409
lola: reporting
lola: not produced: 8553
lola: find path: 10801
lola: symmetry: 10413
lola: reporting
lola: not produced: 8547
lola: find path: 10804
lola: symmetry: 10416
lola: reporting
lola: not produced: 8543
lola: find path: 10806
lola: symmetry: 10418
lola: reporting
lola: not produced: 8535
lola: find path: 10810
lola: symmetry: 10422
lola: reporting
lola: not produced: 8535
lola: find path: 10810
lola: symmetry: 10422
lola: reporting
lola: not produced: 8527
lola: find path: 10814
lola: symmetry: 10426
lola: reporting
lola: not produced: 8523
lola: find path: 10816
lola: symmetry: 10428
lola: reporting
lola: not produced: 8507
lola: find path: 10824
lola: symmetry: 10436
lola: reporting
lola: not produced: 8507
lola: find path: 10824
lola: symmetry: 10436
lola: reporting
lola: not produced: 8503
lola: find path: 10826
lola: symmetry: 10438
lola: reporting
lola: not produced: 8493
lola: find path: 10831
lola: symmetry: 10443
lola: reporting
lola: not produced: 8493
lola: find path: 10831
lola: symmetry: 10443
lola: reporting
lola: not produced: 8493
lola: find path: 10831
lola: symmetry: 10443
lola: reporting
lola: not produced: 8493
lola: find path: 10831
lola: symmetry: 10443
lola: reporting
lola: not produced: 8489
lola: find path: 10833
lola: symmetry: 10445
lola: reporting
lola: not produced: 8481
lola: find path: 10837
lola: symmetry: 10449
lola: reporting
lola: not produced: 8477
lola: find path: 10839
lola: symmetry: 10451
lola: reporting
lola: not produced: 8469
lola: find path: 10843
lola: symmetry: 10455
lola: reporting
lola: not produced: 8469
lola: find path: 10843
lola: symmetry: 10455
lola: reporting
lola: not produced: 8465
lola: find path: 10845
lola: symmetry: 10457
lola: reporting
lola: not produced: 8457
lola: find path: 10849
lola: symmetry: 10461
lola: reporting
lola: not produced: 8455
lola: find path: 10850
lola: symmetry: 10462
lola: reporting
lola: not produced: 8451
lola: find path: 10852
lola: symmetry: 10464
lola: reporting
lola: not produced: 8451
lola: find path: 10852
lola: symmetry: 10464
lola: reporting
lola: not produced: 8451
lola: find path: 10852
lola: symmetry: 10464
lola: reporting
lola: not produced: 8443
lola: find path: 10856
lola: symmetry: 10468
lola: reporting
lola: not produced: 8435
lola: find path: 10860
lola: symmetry: 10472
lola: reporting
lola: not produced: 8435
lola: find path: 10860
lola: symmetry: 10472
lola: reporting
lola: not produced: 8435
lola: find path: 10860
lola: symmetry: 10472
lola: reporting
lola: not produced: 8431
lola: find path: 10862
lola: symmetry: 10474
lola: reporting
lola: not produced: 8421
lola: find path: 10867
lola: symmetry: 10479
lola: reporting
lola: not produced: 8413
lola: find path: 10871
lola: symmetry: 10483
lola: reporting
lola: not produced: 8405
lola: find path: 10875
lola: symmetry: 10487
lola: reporting
lola: not produced: 8399
lola: find path: 10878
lola: symmetry: 10490
lola: reporting
lola: not produced: 8395
lola: find path: 10880
lola: symmetry: 10492
lola: reporting
lola: not produced: 8387
lola: find path: 10884
lola: symmetry: 10496
lola: reporting
lola: not produced: 8383
lola: find path: 10886
lola: symmetry: 10498
lola: reporting
lola: not produced: 8375
lola: find path: 10890
lola: symmetry: 10502
lola: reporting
lola: not produced: 8375
lola: find path: 10890
lola: symmetry: 10502
lola: reporting
lola: not produced: 8371
lola: find path: 10892
lola: symmetry: 10504
lola: reporting
lola: not produced: 8367
lola: find path: 10894
lola: symmetry: 10506
lola: reporting
lola: not produced: 8367
lola: find path: 10894
lola: symmetry: 10506
lola: reporting
lola: not produced: 8363
lola: find path: 10896
lola: symmetry: 10508
lola: reporting
lola: not produced: 8355
lola: find path: 10900
lola: symmetry: 10512
lola: reporting
lola: not produced: 8355
lola: find path: 10900
lola: symmetry: 10512
lola: reporting
lola: not produced: 8355
lola: find path: 10900
lola: symmetry: 10512
lola: reporting
lola: not produced: 8355
lola: find path: 10900
lola: symmetry: 10512
lola: reporting
lola: not produced: 8347
lola: find path: 10904
lola: symmetry: 10516
lola: reporting
lola: not produced: 8343
lola: find path: 10906
lola: symmetry: 10518
lola: reporting
lola: not produced: 8343
lola: find path: 10906
lola: symmetry: 10518
lola: reporting
lola: not produced: 8339
lola: find path: 10908
lola: symmetry: 10520
lola: reporting
lola: not produced: 8335
lola: find path: 10910
lola: symmetry: 10522
lola: reporting
lola: not produced: 8335
lola: find path: 10910
lola: symmetry: 10522
lola: reporting
lola: not produced: 8335
lola: find path: 10910
lola: symmetry: 10522
lola: reporting
lola: not produced: 8335
lola: find path: 10910
lola: symmetry: 10522
lola: reporting
lola: not produced: 8327
lola: find path: 10914
lola: symmetry: 10526
lola: reporting
lola: not produced: 8327
lola: find path: 10914
lola: symmetry: 10526
lola: reporting
lola: not produced: 8327
lola: find path: 10914
lola: symmetry: 10526
lola: reporting
lola: not produced: 8327
lola: find path: 10914
lola: symmetry: 10526
lola: reporting
lola: not produced: 8327
lola: find path: 10914
lola: symmetry: 10526
lola: reporting
lola: not produced: 8327
lola: find path: 10914
lola: symmetry: 10526
lola: reporting
lola: not produced: 8323
lola: find path: 10916
lola: symmetry: 10528
lola: reporting
lola: not produced: 8323
lola: find path: 10916
lola: symmetry: 10528
lola: reporting
lola: not produced: 8323
lola: find path: 10916
lola: symmetry: 10528
lola: reporting
lola: not produced: 8323
lola: find path: 10916
lola: symmetry: 10528
lola: reporting
lola: not produced: 8323
lola: find path: 10916
lola: symmetry: 10528
lola: reporting
lola: not produced: 8319
lola: find path: 10918
lola: symmetry: 10530
lola: reporting
lola: not produced: 8319
lola: find path: 10918
lola: symmetry: 10530
lola: reporting
lola: not produced: 8315
lola: find path: 10920
lola: symmetry: 10532
lola: reporting
lola: not produced: 8315
lola: find path: 10920
lola: symmetry: 10532
lola: reporting
lola: not produced: 8311
lola: find path: 10922
lola: symmetry: 10534
lola: reporting
lola: not produced: 8311
lola: find path: 10922
lola: symmetry: 10534
lola: reporting
lola: not produced: 8311
lola: find path: 10922
lola: symmetry: 10534
lola: reporting
lola: not produced: 8307
lola: find path: 10924
lola: symmetry: 10536
lola: reporting
lola: not produced: 8307
lola: find path: 10924
lola: symmetry: 10536
lola: reporting
lola: not produced: 8303
lola: find path: 10926
lola: symmetry: 10538
lola: reporting
lola: not produced: 8299
lola: find path: 10928
lola: symmetry: 10540
lola: reporting
lola: not produced: 8295
lola: find path: 10930
lola: symmetry: 10542
lola: reporting
lola: not produced: 8295
lola: find path: 10930
lola: symmetry: 10542
lola: reporting
lola: not produced: 8295
lola: find path: 10930
lola: symmetry: 10542
lola: reporting
lola: not produced: 8291
lola: find path: 10932
lola: symmetry: 10544
lola: reporting
lola: not produced: 8287
lola: find path: 10934
lola: symmetry: 10546
lola: reporting
lola: not produced: 8283
lola: find path: 10936
lola: symmetry: 10548
lola: reporting
lola: not produced: 8283
lola: find path: 10936
lola: symmetry: 10548
lola: reporting
lola: not produced: 8275
lola: find path: 10940
lola: symmetry: 10552
lola: reporting
lola: not produced: 8275
lola: find path: 10940
lola: symmetry: 10552
lola: reporting
lola: not produced: 8275
lola: find path: 10940
lola: symmetry: 10552
lola: reporting
lola: not produced: 8271
lola: find path: 10942
lola: symmetry: 10554
lola: reporting
lola: not produced: 8271
lola: find path: 10942
lola: symmetry: 10554
lola: reporting
lola: not produced: 8267
lola: find path: 10944
lola: symmetry: 10556
lola: reporting
lola: not produced: 8267
lola: find path: 10944
lola: symmetry: 10556
lola: reporting
lola: not produced: 8267
lola: find path: 10944
lola: symmetry: 10556
lola: reporting
lola: not produced: 8267
lola: find path: 10944
lola: symmetry: 10556
lola: reporting
lola: not produced: 8267
lola: find path: 10944
lola: symmetry: 10556
lola: reporting
lola: not produced: 8267
lola: find path: 10944
lola: symmetry: 10556
lola: reporting
lola: not produced: 8267
lola: find path: 10944
lola: symmetry: 10556
lola: reporting
lola: not produced: 8263
lola: find path: 10946
lola: symmetry: 10558
lola: reporting
lola: not produced: 8255
lola: find path: 10950
lola: symmetry: 10562
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 13

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