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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 11K Feb 26 03:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 03:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 02:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 03:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 03:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 03:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 03:13 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 32M 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 1678704507393

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-S32C10
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C10
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: 1370624 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16178104 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 Node15HasAskedItsLeafSetToLx5ToReplaceNode13
sara: try reading problem file stateEquationProblem-ConstantPlace-29960.sara.
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 32085
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 32085
lola: reporting
lola: not produced: 24749
lola: find path: 3874
lola: symmetry: 3462
lola: reporting
lola: not produced: 21443
lola: find path: 5530
lola: symmetry: 5112
lola: reporting
lola: not produced: 19401
lola: find path: 6552
lola: symmetry: 6132
lola: reporting
lola: not produced: 17999
lola: find path: 7253
lola: symmetry: 6833
lola: reporting
lola: not produced: 16813
lola: find path: 7846
lola: symmetry: 7426
lola: reporting
lola: not produced: 15991
lola: find path: 8257
lola: symmetry: 7837
lola: reporting
lola: not produced: 15265
lola: find path: 8620
lola: symmetry: 8200
lola: reporting
lola: not produced: 14713
lola: find path: 8896
lola: symmetry: 8476
lola: reporting
lola: not produced: 14245
lola: find path: 9130
lola: symmetry: 8710
lola: reporting
lola: not produced: 13911
lola: find path: 9297
lola: symmetry: 8877
lola: reporting
lola: not produced: 13577
lola: find path: 9464
lola: symmetry: 9044
lola: reporting
lola: not produced: 13323
lola: find path: 9591
lola: symmetry: 9171
lola: reporting
lola: not produced: 13113
lola: find path: 9696
lola: symmetry: 9276
lola: reporting
lola: not produced: 12897
lola: find path: 9804
lola: symmetry: 9384
lola: reporting
lola: not produced: 12665
lola: find path: 9920
lola: symmetry: 9500
lola: reporting
lola: not produced: 12461
lola: find path: 10022
lola: symmetry: 9602
lola: reporting
lola: not produced: 12321
lola: find path: 10092
lola: symmetry: 9672
lola: reporting
lola: not produced: 12189
lola: find path: 10158
lola: symmetry: 9738
lola: reporting
lola: not produced: 12063
lola: find path: 10221
lola: symmetry: 9801
lola: reporting
lola: not produced: 11931
lola: find path: 10287
lola: symmetry: 9867
lola: reporting
lola: not produced: 11845
lola: find path: 10330
lola: symmetry: 9910
lola: reporting
lola: not produced: 11761
lola: find path: 10372
lola: symmetry: 9952
lola: reporting
lola: not produced: 11687
lola: find path: 10409
lola: symmetry: 9989
lola: reporting
lola: not produced: 11625
lola: find path: 10440
lola: symmetry: 10020
lola: reporting
lola: not produced: 11565
lola: find path: 10470
lola: symmetry: 10050
lola: reporting
lola: not produced: 11475
lola: find path: 10515
lola: symmetry: 10095
lola: reporting
lola: not produced: 11403
lola: find path: 10551
lola: symmetry: 10131
lola: reporting
lola: not produced: 11377
lola: find path: 10564
lola: symmetry: 10144
lola: reporting
lola: not produced: 11281
lola: find path: 10612
lola: symmetry: 10192
lola: reporting
lola: not produced: 11251
lola: find path: 10627
lola: symmetry: 10207
lola: reporting
lola: not produced: 11207
lola: find path: 10649
lola: symmetry: 10229
lola: reporting
lola: not produced: 11177
lola: find path: 10664
lola: symmetry: 10244
lola: reporting
lola: not produced: 11117
lola: find path: 10694
lola: symmetry: 10274
lola: reporting
lola: not produced: 11073
lola: find path: 10716
lola: symmetry: 10296
lola: reporting
lola: not produced: 11029
lola: find path: 10738
lola: symmetry: 10318
lola: reporting
lola: not produced: 11005
lola: find path: 10750
lola: symmetry: 10330
lola: reporting
lola: not produced: 10949
lola: find path: 10778
lola: symmetry: 10358
lola: reporting
lola: not produced: 10897
lola: find path: 10804
lola: symmetry: 10384
lola: reporting
lola: not produced: 10871
lola: find path: 10817
lola: symmetry: 10397
lola: reporting
lola: not produced: 10833
lola: find path: 10836
lola: symmetry: 10416
lola: reporting
lola: not produced: 10799
lola: find path: 10853
lola: symmetry: 10433
lola: reporting
lola: not produced: 10755
lola: find path: 10875
lola: symmetry: 10455
lola: reporting
lola: not produced: 10715
lola: find path: 10895
lola: symmetry: 10475
lola: reporting
lola: not produced: 10681
lola: find path: 10912
lola: symmetry: 10492
lola: reporting
lola: not produced: 10673
lola: find path: 10916
lola: symmetry: 10496
lola: reporting
lola: not produced: 10627
lola: find path: 10939
lola: symmetry: 10519
lola: reporting
lola: not produced: 10611
lola: find path: 10947
lola: symmetry: 10527
lola: reporting
lola: not produced: 10591
lola: find path: 10957
lola: symmetry: 10537
lola: reporting
lola: not produced: 10553
lola: find path: 10976
lola: symmetry: 10556
lola: reporting
lola: not produced: 10529
lola: find path: 10988
lola: symmetry: 10568
lola: reporting
lola: not produced: 10497
lola: find path: 11004
lola: symmetry: 10584
lola: reporting
lola: not produced: 10485
lola: find path: 11010
lola: symmetry: 10590
lola: reporting
lola: not produced: 10457
lola: find path: 11024
lola: symmetry: 10604
lola: reporting
lola: not produced: 10405
lola: find path: 11050
lola: symmetry: 10630
lola: reporting
lola: not produced: 10377
lola: find path: 11064
lola: symmetry: 10644
lola: reporting
lola: not produced: 10365
lola: find path: 11070
lola: symmetry: 10650
lola: reporting
lola: not produced: 10337
lola: find path: 11084
lola: symmetry: 10664
lola: reporting
lola: not produced: 10297
lola: find path: 11104
lola: symmetry: 10684
lola: reporting
lola: not produced: 10283
lola: find path: 11111
lola: symmetry: 10691
lola: reporting
lola: not produced: 10251
lola: find path: 11127
lola: symmetry: 10707
lola: reporting
lola: not produced: 10247
lola: find path: 11129
lola: symmetry: 10709
lola: reporting
lola: not produced: 10213
lola: find path: 11146
lola: symmetry: 10726
lola: reporting
lola: not produced: 10201
lola: find path: 11152
lola: symmetry: 10732
lola: reporting
lola: not produced: 10177
lola: find path: 11164
lola: symmetry: 10744
lola: reporting
lola: not produced: 10157
lola: find path: 11174
lola: symmetry: 10754
lola: reporting
lola: not produced: 10155
lola: find path: 11175
lola: symmetry: 10755
lola: reporting
lola: not produced: 10147
lola: find path: 11179
lola: symmetry: 10759
lola: reporting
lola: not produced: 10125
lola: find path: 11190
lola: symmetry: 10770
lola: reporting
lola: not produced: 10095
lola: find path: 11205
lola: symmetry: 10785
lola: reporting
lola: not produced: 10079
lola: find path: 11213
lola: symmetry: 10793
lola: reporting
lola: not produced: 10043
lola: find path: 11231
lola: symmetry: 10811
lola: reporting
lola: not produced: 10023
lola: find path: 11241
lola: symmetry: 10821
lola: reporting
lola: not produced: 10019
lola: find path: 11243
lola: symmetry: 10823
lola: reporting
lola: not produced: 10015
lola: find path: 11245
lola: symmetry: 10825
lola: reporting
lola: not produced: 9997
lola: find path: 11254
lola: symmetry: 10834
lola: reporting
lola: not produced: 9989
lola: find path: 11258
lola: symmetry: 10838
lola: reporting
lola: not produced: 9963
lola: find path: 11271
lola: symmetry: 10851
lola: reporting
lola: not produced: 9947
lola: find path: 11279
lola: symmetry: 10859
lola: reporting
lola: not produced: 9931
lola: find path: 11287
lola: symmetry: 10867
lola: reporting
lola: not produced: 9923
lola: find path: 11291
lola: symmetry: 10871
lola: reporting
lola: not produced: 9905
lola: find path: 11300
lola: symmetry: 10880
lola: reporting
lola: not produced: 9897
lola: find path: 11304
lola: symmetry: 10884
lola: reporting
lola: not produced: 9877
lola: find path: 11314
lola: symmetry: 10894
lola: reporting
lola: not produced: 9855
lola: find path: 11325
lola: symmetry: 10905
lola: reporting
lola: not produced: 9845
lola: find path: 11330
lola: symmetry: 10910
lola: reporting
lola: not produced: 9833
lola: find path: 11336
lola: symmetry: 10916
lola: reporting
lola: not produced: 9831
lola: find path: 11337
lola: symmetry: 10917
lola: reporting
lola: not produced: 9819
lola: find path: 11343
lola: symmetry: 10923
lola: reporting
lola: not produced: 9791
lola: find path: 11357
lola: symmetry: 10937
lola: reporting
lola: not produced: 9783
lola: find path: 11361
lola: symmetry: 10941
lola: reporting
lola: not produced: 9769
lola: find path: 11368
lola: symmetry: 10948
lola: reporting
lola: not produced: 9747
lola: find path: 11379
lola: symmetry: 10959
lola: reporting
lola: not produced: 9731
lola: find path: 11387
lola: symmetry: 10967
lola: reporting
lola: not produced: 9719
lola: find path: 11393
lola: symmetry: 10973
lola: reporting
lola: not produced: 9693
lola: find path: 11406
lola: symmetry: 10986
lola: reporting
lola: not produced: 9689
lola: find path: 11408
lola: symmetry: 10988
lola: reporting
lola: not produced: 9655
lola: find path: 11425
lola: symmetry: 11005
lola: reporting
lola: not produced: 9643
lola: find path: 11431
lola: symmetry: 11011
lola: reporting
lola: not produced: 9623
lola: find path: 11441
lola: symmetry: 11021
lola: reporting
lola: not produced: 9619
lola: find path: 11443
lola: symmetry: 11023
lola: reporting
lola: not produced: 9609
lola: find path: 11448
lola: symmetry: 11028
lola: reporting
lola: not produced: 9585
lola: find path: 11460
lola: symmetry: 11040
lola: reporting
lola: not produced: 9569
lola: find path: 11468
lola: symmetry: 11048
lola: reporting
lola: not produced: 9557
lola: find path: 11474
lola: symmetry: 11054
lola: reporting
lola: not produced: 9557
lola: find path: 11474
lola: symmetry: 11054
lola: reporting
lola: not produced: 9547
lola: find path: 11479
lola: symmetry: 11059
lola: reporting
lola: not produced: 9539
lola: find path: 11483
lola: symmetry: 11063
lola: reporting
lola: not produced: 9523
lola: find path: 11491
lola: symmetry: 11071
lola: reporting
lola: not produced: 9519
lola: find path: 11493
lola: symmetry: 11073
lola: reporting
lola: not produced: 9515
lola: find path: 11495
lola: symmetry: 11075
lola: reporting
lola: not produced: 9511
lola: find path: 11497
lola: symmetry: 11077
lola: reporting
lola: not produced: 9495
lola: find path: 11505
lola: symmetry: 11085
lola: reporting
lola: not produced: 9495
lola: find path: 11505
lola: symmetry: 11085
lola: reporting
lola: not produced: 9491
lola: find path: 11507
lola: symmetry: 11087
lola: reporting
lola: not produced: 9479
lola: find path: 11513
lola: symmetry: 11093
lola: reporting
lola: not produced: 9463
lola: find path: 11521
lola: symmetry: 11101
lola: reporting
lola: not produced: 9447
lola: find path: 11529
lola: symmetry: 11109
lola: reporting
lola: not produced: 9441
lola: find path: 11532
lola: symmetry: 11112
lola: reporting
lola: not produced: 9433
lola: find path: 11536
lola: symmetry: 11116
lola: reporting
lola: not produced: 9393
lola: find path: 11556
lola: symmetry: 11136
lola: reporting
lola: not produced: 9393
lola: find path: 11556
lola: symmetry: 11136
lola: reporting
lola: not produced: 9387
lola: find path: 11559
lola: symmetry: 11139
lola: reporting
lola: not produced: 9375
lola: find path: 11565
lola: symmetry: 11145
lola: reporting
lola: not produced: 9363
lola: find path: 11571
lola: symmetry: 11151
lola: reporting
lola: not produced: 9359
lola: find path: 11573
lola: symmetry: 11153
lola: reporting
lola: not produced: 9359
lola: find path: 11573
lola: symmetry: 11153
lola: reporting
lola: not produced: 9351
lola: find path: 11577
lola: symmetry: 11157
lola: reporting
lola: not produced: 9347
lola: find path: 11579
lola: symmetry: 11159
lola: reporting
lola: not produced: 9327
lola: find path: 11589
lola: symmetry: 11169
lola: reporting
lola: not produced: 9319
lola: find path: 11593
lola: symmetry: 11173
lola: reporting
lola: not produced: 9307
lola: find path: 11599
lola: symmetry: 11179
lola: reporting
lola: not produced: 9303
lola: find path: 11601
lola: symmetry: 11181
lola: reporting
lola: not produced: 9295
lola: find path: 11605
lola: symmetry: 11185
lola: reporting
lola: not produced: 9291
lola: find path: 11607
lola: symmetry: 11187
lola: reporting
lola: not produced: 9283
lola: find path: 11611
lola: symmetry: 11191
lola: reporting
lola: not produced: 9279
lola: find path: 11613
lola: symmetry: 11193
lola: reporting
lola: not produced: 9279
lola: find path: 11613
lola: symmetry: 11193
lola: reporting
lola: not produced: 9275
lola: find path: 11615
lola: symmetry: 11195
lola: reporting
lola: not produced: 9263
lola: find path: 11621
lola: symmetry: 11201
lola: reporting
lola: not produced: 9255
lola: find path: 11625
lola: symmetry: 11205
lola: reporting
lola: not produced: 9247
lola: find path: 11629
lola: symmetry: 11209
lola: reporting
lola: not produced: 9225
lola: find path: 11640
lola: symmetry: 11220
lola: reporting
lola: not produced: 9225
lola: find path: 11640
lola: symmetry: 11220
lola: reporting
lola: not produced: 9213
lola: find path: 11646
lola: symmetry: 11226
lola: reporting
lola: not produced: 9213
lola: find path: 11646
lola: symmetry: 11226
lola: reporting
lola: not produced: 9213
lola: find path: 11646
lola: symmetry: 11226
lola: reporting
lola: not produced: 9205
lola: find path: 11650
lola: symmetry: 11230
lola: reporting
lola: not produced: 9197
lola: find path: 11654
lola: symmetry: 11234
lola: reporting
lola: not produced: 9189
lola: find path: 11658
lola: symmetry: 11238
lola: reporting
lola: not produced: 9181
lola: find path: 11662
lola: symmetry: 11242
lola: reporting
lola: not produced: 9161
lola: find path: 11672
lola: symmetry: 11252
lola: reporting
lola: not produced: 9161
lola: find path: 11672
lola: symmetry: 11252
lola: reporting
lola: not produced: 9159
lola: find path: 11673
lola: symmetry: 11253
lola: reporting
lola: not produced: 9155
lola: find path: 11675
lola: symmetry: 11255
lola: reporting
lola: not produced: 9149
lola: find path: 11678
lola: symmetry: 11258
lola: reporting
lola: not produced: 9137
lola: find path: 11684
lola: symmetry: 11264
lola: reporting
lola: not produced: 9133
lola: find path: 11686
lola: symmetry: 11266
lola: reporting
lola: not produced: 9121
lola: find path: 11692
lola: symmetry: 11272
lola: reporting
lola: not produced: 9113
lola: find path: 11696
lola: symmetry: 11276
lola: reporting
lola: not produced: 9105
lola: find path: 11700
lola: symmetry: 11280
lola: reporting
lola: not produced: 9105
lola: find path: 11700
lola: symmetry: 11280
lola: reporting
lola: not produced: 9097
lola: find path: 11704
lola: symmetry: 11284
lola: reporting
lola: not produced: 9093
lola: find path: 11706
lola: symmetry: 11286
lola: reporting
lola: not produced: 9081
lola: find path: 11712
lola: symmetry: 11292
lola: reporting
lola: not produced: 9081
lola: find path: 11712
lola: symmetry: 11292
lola: reporting
lola: not produced: 9073
lola: find path: 11716
lola: symmetry: 11296
lola: reporting
lola: not produced: 9059
lola: find path: 11723
lola: symmetry: 11303
lola: reporting
lola: not produced: 9055
lola: find path: 11725
lola: symmetry: 11305
lola: reporting
lola: not produced: 9047
lola: find path: 11729
lola: symmetry: 11309
lola: reporting
lola: not produced: 9043
lola: find path: 11731
lola: symmetry: 11311
lola: reporting
lola: not produced: 9035
lola: find path: 11735
lola: symmetry: 11315
lola: reporting
lola: not produced: 9031
lola: find path: 11737
lola: symmetry: 11317
lola: reporting
lola: not produced: 9031
lola: find path: 11737
lola: symmetry: 11317
lola: reporting
lola: not produced: 9027
lola: find path: 11739
lola: symmetry: 11319
lola: reporting
lola: not produced: 9023
lola: find path: 11741
lola: symmetry: 11321
lola: reporting
lola: not produced: 9015
lola: find path: 11745
lola: symmetry: 11325
lola: reporting
lola: not produced: 9011
lola: find path: 11747
lola: symmetry: 11327
lola: reporting
lola: not produced: 9007
lola: find path: 11749
lola: symmetry: 11329
lola: reporting
lola: not produced: 9007
lola: find path: 11749
lola: symmetry: 11329
lola: reporting
lola: not produced: 9005
lola: find path: 11750
lola: symmetry: 11330
lola: reporting
lola: not produced: 9001
lola: find path: 11752
lola: symmetry: 11332
lola: reporting
lola: not produced: 8995
lola: find path: 11755
lola: symmetry: 11335
lola: reporting
lola: not produced: 8983
lola: find path: 11761
lola: symmetry: 11341
lola: reporting
lola: not produced: 8983
lola: find path: 11761
lola: symmetry: 11341
lola: reporting
lola: not produced: 8977
lola: find path: 11764
lola: symmetry: 11344
lola: reporting
lola: not produced: 8971
lola: find path: 11767
lola: symmetry: 11347
lola: reporting
lola: not produced: 8967
lola: find path: 11769
lola: symmetry: 11349
lola: reporting
lola: not produced: 8965
lola: find path: 11770
lola: symmetry: 11350
lola: reporting
lola: not produced: 8965
lola: find path: 11770
lola: symmetry: 11350
lola: reporting
lola: not produced: 8965
lola: find path: 11770
lola: symmetry: 11350
lola: reporting
lola: not produced: 8961
lola: find path: 11772
lola: symmetry: 11352
lola: reporting
lola: not produced: 8961
lola: find path: 11772
lola: symmetry: 11352
lola: reporting
lola: not produced: 8953
lola: find path: 11776
lola: symmetry: 11356
lola: reporting
lola: not produced: 8949
lola: find path: 11778
lola: symmetry: 11358
lola: reporting
lola: not produced: 8937
lola: find path: 11784
lola: symmetry: 11364
lola: reporting
lola: not produced: 8927
lola: find path: 11789
lola: symmetry: 11369
lola: reporting
lola: not produced: 8927
lola: find path: 11789
lola: symmetry: 11369
lola: reporting
lola: not produced: 8915
lola: find path: 11795
lola: symmetry: 11375
lola: reporting
lola: not produced: 8915
lola: find path: 11795
lola: symmetry: 11375
lola: reporting
lola: not produced: 8911
lola: find path: 11797
lola: symmetry: 11377
lola: reporting
lola: not produced: 8907
lola: find path: 11799
lola: symmetry: 11379
lola: reporting
lola: not produced: 8897
lola: find path: 11804
lola: symmetry: 11384
lola: reporting
lola: not produced: 8893
lola: find path: 11806
lola: symmetry: 11386
lola: reporting
lola: not produced: 8889
lola: find path: 11808
lola: symmetry: 11388
lola: reporting
lola: not produced: 8885
lola: find path: 11810
lola: symmetry: 11390
lola: reporting
lola: not produced: 8885
lola: find path: 11810
lola: symmetry: 11390
lola: reporting
lola: not produced: 8885
lola: find path: 11810
lola: symmetry: 11390
lola: reporting
lola: not produced: 8885
lola: find path: 11810
lola: symmetry: 11390
lola: reporting
lola: not produced: 8883
lola: find path: 11811
lola: symmetry: 11391
lola: reporting
lola: not produced: 8875
lola: find path: 11815
lola: symmetry: 11395
lola: reporting
lola: not produced: 8875
lola: find path: 11815
lola: symmetry: 11395
lola: reporting
lola: not produced: 8871
lola: find path: 11817
lola: symmetry: 11397
lola: reporting
lola: not produced: 8863
lola: find path: 11821
lola: symmetry: 11401
lola: reporting
lola: not produced: 8853
lola: find path: 11826
lola: symmetry: 11406
lola: reporting
lola: not produced: 8853
lola: find path: 11826
lola: symmetry: 11406
lola: reporting
lola: not produced: 8841
lola: find path: 11832
lola: symmetry: 11412
lola: reporting
lola: not produced: 8829
lola: find path: 11838
lola: symmetry: 11418
lola: reporting
lola: not produced: 8821
lola: find path: 11842
lola: symmetry: 11422
lola: reporting
lola: not produced: 8821
lola: find path: 11842
lola: symmetry: 11422
lola: reporting
lola: not produced: 8821
lola: find path: 11842
lola: symmetry: 11422
lola: reporting
lola: not produced: 8819
lola: find path: 11843
lola: symmetry: 11423
lola: reporting
lola: not produced: 8805
lola: find path: 11850
lola: symmetry: 11430
lola: reporting
lola: not produced: 8801
lola: find path: 11852
lola: symmetry: 11432
lola: reporting
lola: not produced: 8793
lola: find path: 11856
lola: symmetry: 11436
lola: reporting
lola: not produced: 8793
lola: find path: 11856
lola: symmetry: 11436
lola: reporting
lola: not produced: 8793
lola: find path: 11856
lola: symmetry: 11436
lola: reporting
lola: not produced: 8793
lola: find path: 11856
lola: symmetry: 11436
lola: reporting
lola: not produced: 8791
lola: find path: 11857
lola: symmetry: 11437
lola: reporting
lola: not produced: 8787
lola: find path: 11859
lola: symmetry: 11439
lola: reporting
lola: not produced: 8787
lola: find path: 11859
lola: symmetry: 11439
lola: reporting
lola: not produced: 8783
lola: find path: 11861
lola: symmetry: 11441
lola: reporting
lola: not produced: 8783
lola: find path: 11861
lola: symmetry: 11441
lola: reporting
lola: not produced: 8783
lola: find path: 11861
lola: symmetry: 11441
lola: reporting
lola: not produced: 8779
lola: find path: 11863
lola: symmetry: 11443
lola: reporting
lola: not produced: 8775
lola: find path: 11865
lola: symmetry: 11445
lola: reporting
lola: not produced: 8767
lola: find path: 11869
lola: symmetry: 11449
lola: reporting
lola: not produced: 8759
lola: find path: 11873
lola: symmetry: 11453
lola: reporting
lola: not produced: 8759
lola: find path: 11873
lola: symmetry: 11453
lola: reporting
lola: not produced: 8759
lola: find path: 11873
lola: symmetry: 11453
lola: reporting
lola: not produced: 8759
lola: find path: 11873
lola: symmetry: 11453
lola: reporting
lola: not produced: 8759
lola: find path: 11873
lola: symmetry: 11453
lola: reporting
lola: not produced: 8755
lola: find path: 11875
lola: symmetry: 11455
lola: reporting
lola: not produced: 8751
lola: find path: 11877
lola: symmetry: 11457
lola: reporting
lola: not produced: 8743
lola: find path: 11881
lola: symmetry: 11461
lola: reporting
lola: not produced: 8739
lola: find path: 11883
lola: symmetry: 11463
lola: reporting
lola: not produced: 8737
lola: find path: 11884
lola: symmetry: 11464
lola: reporting
lola: not produced: 8725
lola: find path: 11890
lola: symmetry: 11470
lola: reporting
lola: not produced: 8725
lola: find path: 11890
lola: symmetry: 11470
lola: reporting
lola: not produced: 8721
lola: find path: 11892
lola: symmetry: 11472
lola: reporting
lola: not produced: 8713
lola: find path: 11896
lola: symmetry: 11476
lola: reporting
lola: not produced: 8713
lola: find path: 11896
lola: symmetry: 11476
lola: reporting
lola: not produced: 8709
lola: find path: 11898
lola: symmetry: 11478
lola: reporting
lola: not produced: 8709
lola: find path: 11898
lola: symmetry: 11478
lola: reporting
lola: not produced: 8705
lola: find path: 11900
lola: symmetry: 11480
lola: reporting
lola: not produced: 8701
lola: find path: 11902
lola: symmetry: 11482
lola: reporting
lola: not produced: 8697
lola: find path: 11904
lola: symmetry: 11484
lola: reporting
lola: not produced: 8697
lola: find path: 11904
lola: symmetry: 11484
lola: reporting
lola: not produced: 8695
lola: find path: 11905
lola: symmetry: 11485
lola: reporting
lola: not produced: 8691
lola: find path: 11907
lola: symmetry: 11487
lola: reporting
lola: not produced: 8687
lola: find path: 11909
lola: symmetry: 11489
lola: reporting
lola: not produced: 8687
lola: find path: 11909
lola: symmetry: 11489
lola: reporting
lola: not produced: 8683
lola: find path: 11911
lola: symmetry: 11491
lola: reporting
lola: not produced: 8675
lola: find path: 11915
lola: symmetry: 11495
lola: reporting
lola: not produced: 8675
lola: find path: 11915
lola: symmetry: 11495
lola: reporting
lola: not produced: 8671
lola: find path: 11917
lola: symmetry: 11497
lola: reporting
lola: not produced: 8667
lola: find path: 11919
lola: symmetry: 11499
lola: reporting
lola: not produced: 8661
lola: find path: 11922
lola: symmetry: 11502
lola: reporting
lola: not produced: 8653
lola: find path: 11926
lola: symmetry: 11506
lola: reporting
lola: not produced: 8653
lola: find path: 11926
lola: symmetry: 11506
lola: reporting
lola: not produced: 8653
lola: find path: 11926
lola: symmetry: 11506
lola: reporting
lola: not produced: 8653
lola: find path: 11926
lola: symmetry: 11506
lola: reporting
lola: not produced: 8653
lola: find path: 11926
lola: symmetry: 11506
lola: reporting
lola: not produced: 8653
lola: find path: 11926
lola: symmetry: 11506
lola: reporting
lola: not produced: 8649
lola: find path: 11928
lola: symmetry: 11508
lola: reporting
lola: not produced: 8649
lola: find path: 11928
lola: symmetry: 11508
lola: reporting
lola: not produced: 8649
lola: find path: 11928
lola: symmetry: 11508
lola: reporting
lola: not produced: 8649
lola: find path: 11928
lola: symmetry: 11508
lola: reporting
lola: not produced: 8647
lola: find path: 11929
lola: symmetry: 11509
lola: reporting
lola: not produced: 8643
lola: find path: 11931
lola: symmetry: 11511
lola: reporting
lola: not produced: 8643
lola: find path: 11931
lola: symmetry: 11511
lola: reporting
lola: not produced: 8639
lola: find path: 11933
lola: symmetry: 11513
lola: reporting
lola: not produced: 8639
lola: find path: 11933
lola: symmetry: 11513
lola: reporting
lola: not produced: 8639
lola: find path: 11933
lola: symmetry: 11513
lola: reporting
lola: not produced: 8639
lola: find path: 11933
lola: symmetry: 11513
lola: reporting
lola: not produced: 8629
lola: find path: 11938
lola: symmetry: 11518
lola: reporting
lola: not produced: 8629
lola: find path: 11938
lola: symmetry: 11518
lola: reporting
lola: not produced: 8629
lola: find path: 11938
lola: symmetry: 11518
lola: reporting
lola: not produced: 8629
lola: find path: 11938
lola: symmetry: 11518
lola: reporting
lola: not produced: 8625
lola: find path: 11940
lola: symmetry: 11520
lola: reporting
lola: not produced: 8619
lola: find path: 11943
lola: symmetry: 11523
lola: reporting
lola: not produced: 8615
lola: find path: 11945
lola: symmetry: 11525
lola: reporting
lola: not produced: 8611
lola: find path: 11947
lola: symmetry: 11527
lola: reporting
lola: not produced: 8607
lola: find path: 11949
lola: symmetry: 11529
lola: reporting
lola: not produced: 8603
lola: find path: 11951
lola: symmetry: 11531
lola: reporting
lola: not produced: 8603
lola: find path: 11951
lola: symmetry: 11531
lola: reporting
lola: not produced: 8603
lola: find path: 11951
lola: symmetry: 11531
lola: reporting
lola: not produced: 8595
lola: find path: 11955
lola: symmetry: 11535
lola: reporting
lola: not produced: 8595
lola: find path: 11955
lola: symmetry: 11535
lola: reporting
lola: not produced: 8589
lola: find path: 11958
lola: symmetry: 11538
lola: reporting
lola: not produced: 8585
lola: find path: 11960
lola: symmetry: 11540
lola: reporting
lola: not produced: 8585
lola: find path: 11960
lola: symmetry: 11540
lola: reporting
lola: not produced: 8581
lola: find path: 11962
lola: symmetry: 11542
lola: reporting
lola: not produced: 8581
lola: find path: 11962
lola: symmetry: 11542
lola: reporting
lola: not produced: 8577
lola: find path: 11964
lola: symmetry: 11544
lola: reporting
lola: not produced: 8577
lola: find path: 11964
lola: symmetry: 11544
lola: reporting
lola: not produced: 8577
lola: find path: 11964
lola: symmetry: 11544
lola: reporting
lola: not produced: 8577
lola: find path: 11964
lola: symmetry: 11544
lola: reporting
lola: not produced: 8577
lola: find path: 11964
lola: symmetry: 11544
lola: reporting
lola: not produced: 8571
lola: find path: 11967
lola: symmetry: 11547
lola: reporting
lola: not produced: 8567
lola: find path: 11969
lola: symmetry: 11549
lola: reporting
lola: not produced: 8567
lola: find path: 11969
lola: symmetry: 11549
lola: reporting
lola: not produced: 8563
lola: find path: 11971
lola: symmetry: 11551
lola: reporting
lola: not produced: 8563
lola: find path: 11971
lola: symmetry: 11551
lola: reporting
lola: not produced: 8555
lola: find path: 11975
lola: symmetry: 11555
lola: reporting
lola: not produced: 8549
lola: find path: 11978
lola: symmetry: 11558
lola: reporting
lola: not produced: 8541
lola: find path: 11982
lola: symmetry: 11562
lola: reporting
lola: not produced: 8537
lola: find path: 11984
lola: symmetry: 11564
lola: reporting
lola: not produced: 8533
lola: find path: 11986
lola: symmetry: 11566
lola: reporting
lola: not produced: 8533
lola: find path: 11986
lola: symmetry: 11566
lola: reporting
lola: not produced: 8525
lola: find path: 11990
lola: symmetry: 11570
lola: reporting
lola: not produced: 8525
lola: find path: 11990
lola: symmetry: 11570
lola: reporting
lola: not produced: 8521
lola: find path: 11992
lola: symmetry: 11572
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 14

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

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