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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 14K Feb 26 02:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 02:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 02:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K 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 20K Feb 26 02:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 02:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 26 02:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 02:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K 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 37M 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 1678705675140

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-S32C12
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C12
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: 161768 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16308200 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 Node30ThinksNode7ShouldBeNodeMasterToReplaceNode11
sara: try reading problem file stateEquationProblem-ConstantPlace-31803.sara.
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: reporting
lola: not produced: 36721
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 32455
lola: find path: 2257
lola: symmetry: 2009
lola: reporting
lola: not produced: 29213
lola: find path: 3879
lola: symmetry: 3629
lola: reporting
lola: not produced: 26987
lola: find path: 4992
lola: symmetry: 4742
lola: reporting
lola: not produced: 25345
lola: find path: 5813
lola: symmetry: 5563
lola: reporting
lola: not produced: 24077
lola: find path: 6449
lola: symmetry: 6195
lola: reporting
lola: not produced: 23191
lola: find path: 6892
lola: symmetry: 6638
lola: reporting
lola: not produced: 22311
lola: find path: 7332
lola: symmetry: 7078
lola: reporting
lola: not produced: 21541
lola: find path: 7719
lola: symmetry: 7461
lola: reporting
lola: not produced: 20911
lola: find path: 8034
lola: symmetry: 7776
lola: reporting
lola: not produced: 20275
lola: find path: 8352
lola: symmetry: 8094
lola: reporting
lola: not produced: 19633
lola: find path: 8673
lola: symmetry: 8415
lola: reporting
lola: not produced: 19087
lola: find path: 8946
lola: symmetry: 8688
lola: reporting
lola: not produced: 18635
lola: find path: 9172
lola: symmetry: 8914
lola: reporting
lola: not produced: 18267
lola: find path: 9356
lola: symmetry: 9098
lola: reporting
lola: not produced: 17899
lola: find path: 9540
lola: symmetry: 9282
lola: reporting
lola: not produced: 17521
lola: find path: 9729
lola: symmetry: 9471
lola: reporting
lola: not produced: 17137
lola: find path: 9921
lola: symmetry: 9663
lola: reporting
lola: not produced: 16889
lola: find path: 10045
lola: symmetry: 9787
lola: reporting
lola: not produced: 16617
lola: find path: 10181
lola: symmetry: 9923
lola: reporting
lola: not produced: 16423
lola: find path: 10278
lola: symmetry: 10020
lola: reporting
lola: not produced: 16235
lola: find path: 10372
lola: symmetry: 10114
lola: reporting
lola: not produced: 16065
lola: find path: 10457
lola: symmetry: 10199
lola: reporting
lola: not produced: 15883
lola: find path: 10548
lola: symmetry: 10290
lola: reporting
lola: not produced: 15707
lola: find path: 10636
lola: symmetry: 10378
lola: reporting
lola: not produced: 15553
lola: find path: 10713
lola: symmetry: 10455
lola: reporting
lola: not produced: 15415
lola: find path: 10782
lola: symmetry: 10524
lola: reporting
lola: not produced: 15281
lola: find path: 10849
lola: symmetry: 10591
lola: reporting
lola: not produced: 15121
lola: find path: 10929
lola: symmetry: 10671
lola: reporting
lola: not produced: 14995
lola: find path: 10992
lola: symmetry: 10734
lola: reporting
lola: not produced: 14859
lola: find path: 11060
lola: symmetry: 10802
lola: reporting
lola: not produced: 14799
lola: find path: 11090
lola: symmetry: 10832
lola: reporting
lola: not produced: 14737
lola: find path: 11121
lola: symmetry: 10863
lola: reporting
lola: not produced: 14605
lola: find path: 11187
lola: symmetry: 10929
lola: reporting
lola: not produced: 14495
lola: find path: 11242
lola: symmetry: 10984
lola: reporting
lola: not produced: 14403
lola: find path: 11288
lola: symmetry: 11030
lola: reporting
lola: not produced: 14335
lola: find path: 11322
lola: symmetry: 11064
lola: reporting
lola: not produced: 14265
lola: find path: 11357
lola: symmetry: 11099
lola: reporting
lola: not produced: 14181
lola: find path: 11399
lola: symmetry: 11141
lola: reporting
lola: not produced: 14077
lola: find path: 11451
lola: symmetry: 11193
lola: reporting
lola: not produced: 14009
lola: find path: 11485
lola: symmetry: 11227
lola: reporting
lola: not produced: 13923
lola: find path: 11528
lola: symmetry: 11270
lola: reporting
lola: not produced: 13861
lola: find path: 11559
lola: symmetry: 11301
lola: reporting
lola: not produced: 13801
lola: find path: 11589
lola: symmetry: 11331
lola: reporting
lola: not produced: 13709
lola: find path: 11635
lola: symmetry: 11377
lola: reporting
lola: not produced: 13659
lola: find path: 11660
lola: symmetry: 11402
lola: reporting
lola: not produced: 13595
lola: find path: 11692
lola: symmetry: 11434
lola: reporting
lola: not produced: 13535
lola: find path: 11722
lola: symmetry: 11464
lola: reporting
lola: not produced: 13483
lola: find path: 11748
lola: symmetry: 11490
lola: reporting
lola: not produced: 13443
lola: find path: 11768
lola: symmetry: 11510
lola: reporting
lola: not produced: 13381
lola: find path: 11799
lola: symmetry: 11541
lola: reporting
lola: not produced: 13287
lola: find path: 11846
lola: symmetry: 11588
lola: reporting
lola: not produced: 13233
lola: find path: 11873
lola: symmetry: 11615
lola: reporting
lola: not produced: 13189
lola: find path: 11895
lola: symmetry: 11637
lola: reporting
lola: not produced: 13145
lola: find path: 11917
lola: symmetry: 11659
lola: reporting
lola: not produced: 13109
lola: find path: 11935
lola: symmetry: 11677
lola: reporting
lola: not produced: 13047
lola: find path: 11966
lola: symmetry: 11708
lola: reporting
lola: not produced: 13005
lola: find path: 11987
lola: symmetry: 11729
lola: reporting
lola: not produced: 12963
lola: find path: 12008
lola: symmetry: 11750
lola: reporting
lola: not produced: 12939
lola: find path: 12020
lola: symmetry: 11762
lola: reporting
lola: not produced: 12903
lola: find path: 12038
lola: symmetry: 11780
lola: reporting
lola: not produced: 12871
lola: find path: 12054
lola: symmetry: 11796
lola: reporting
lola: not produced: 12811
lola: find path: 12084
lola: symmetry: 11826
lola: reporting
lola: not produced: 12779
lola: find path: 12100
lola: symmetry: 11842
lola: reporting
lola: not produced: 12751
lola: find path: 12114
lola: symmetry: 11856
lola: reporting
lola: not produced: 12725
lola: find path: 12127
lola: symmetry: 11869
lola: reporting
lola: not produced: 12693
lola: find path: 12143
lola: symmetry: 11885
lola: reporting
lola: not produced: 12673
lola: find path: 12153
lola: symmetry: 11895
lola: reporting
lola: not produced: 12641
lola: find path: 12169
lola: symmetry: 11911
lola: reporting
lola: not produced: 12607
lola: find path: 12186
lola: symmetry: 11928
lola: reporting
lola: not produced: 12553
lola: find path: 12213
lola: symmetry: 11955
lola: reporting
lola: not produced: 12517
lola: find path: 12231
lola: symmetry: 11973
lola: reporting
lola: not produced: 12485
lola: find path: 12247
lola: symmetry: 11989
lola: reporting
lola: not produced: 12449
lola: find path: 12265
lola: symmetry: 12007
lola: reporting
lola: not produced: 12415
lola: find path: 12282
lola: symmetry: 12024
lola: reporting
lola: not produced: 12357
lola: find path: 12311
lola: symmetry: 12053
lola: reporting
lola: not produced: 12321
lola: find path: 12329
lola: symmetry: 12071
lola: reporting
lola: not produced: 12285
lola: find path: 12347
lola: symmetry: 12089
lola: reporting
lola: not produced: 12249
lola: find path: 12365
lola: symmetry: 12107
lola: reporting
lola: not produced: 12233
lola: find path: 12373
lola: symmetry: 12115
lola: reporting
lola: not produced: 12183
lola: find path: 12398
lola: symmetry: 12140
lola: reporting
lola: not produced: 12155
lola: find path: 12412
lola: symmetry: 12154
lola: reporting
lola: not produced: 12143
lola: find path: 12418
lola: symmetry: 12160
lola: reporting
lola: not produced: 12133
lola: find path: 12423
lola: symmetry: 12165
lola: reporting
lola: not produced: 12103
lola: find path: 12438
lola: symmetry: 12180
lola: reporting
lola: not produced: 12083
lola: find path: 12448
lola: symmetry: 12190
lola: reporting
lola: not produced: 12063
lola: find path: 12458
lola: symmetry: 12200
lola: reporting
lola: not produced: 12025
lola: find path: 12477
lola: symmetry: 12219
lola: reporting
lola: not produced: 12013
lola: find path: 12483
lola: symmetry: 12225
lola: reporting
lola: not produced: 11999
lola: find path: 12490
lola: symmetry: 12232
lola: reporting
lola: not produced: 11969
lola: find path: 12505
lola: symmetry: 12247
lola: reporting
lola: not produced: 11949
lola: find path: 12515
lola: symmetry: 12257
lola: reporting
lola: not produced: 11929
lola: find path: 12525
lola: symmetry: 12267
lola: reporting
lola: not produced: 11895
lola: find path: 12542
lola: symmetry: 12284
lola: reporting
lola: not produced: 11853
lola: find path: 12563
lola: symmetry: 12305
lola: reporting
lola: not produced: 11817
lola: find path: 12581
lola: symmetry: 12323
lola: reporting
lola: not produced: 11789
lola: find path: 12595
lola: symmetry: 12337
lola: reporting
lola: not produced: 11749
lola: find path: 12615
lola: symmetry: 12357
lola: reporting
lola: not produced: 11737
lola: find path: 12621
lola: symmetry: 12363
lola: reporting
lola: not produced: 11713
lola: find path: 12633
lola: symmetry: 12375
lola: reporting
lola: not produced: 11713
lola: find path: 12633
lola: symmetry: 12375
lola: reporting
lola: not produced: 11711
lola: find path: 12634
lola: symmetry: 12376
lola: reporting
lola: not produced: 11711
lola: find path: 12634
lola: symmetry: 12376
lola: reporting
lola: not produced: 11675
lola: find path: 12652
lola: symmetry: 12394
lola: reporting
lola: not produced: 11667
lola: find path: 12656
lola: symmetry: 12398
lola: reporting
lola: not produced: 11655
lola: find path: 12662
lola: symmetry: 12404
lola: reporting
lola: not produced: 11655
lola: find path: 12662
lola: symmetry: 12404
lola: reporting
lola: not produced: 11623
lola: find path: 12678
lola: symmetry: 12420
lola: reporting
lola: not produced: 11611
lola: find path: 12684
lola: symmetry: 12426
lola: reporting
lola: not produced: 11573
lola: find path: 12703
lola: symmetry: 12445
lola: reporting
lola: not produced: 11559
lola: find path: 12710
lola: symmetry: 12452
lola: reporting
lola: not produced: 11551
lola: find path: 12714
lola: symmetry: 12456
lola: reporting
lola: not produced: 11535
lola: find path: 12722
lola: symmetry: 12464
lola: reporting
lola: not produced: 11515
lola: find path: 12732
lola: symmetry: 12474
lola: reporting
lola: not produced: 11507
lola: find path: 12736
lola: symmetry: 12478
lola: reporting
lola: not produced: 11495
lola: find path: 12742
lola: symmetry: 12484
lola: reporting
lola: not produced: 11475
lola: find path: 12752
lola: symmetry: 12494
lola: reporting
lola: not produced: 11459
lola: find path: 12760
lola: symmetry: 12502
lola: reporting
lola: not produced: 11451
lola: find path: 12764
lola: symmetry: 12506
lola: reporting
lola: not produced: 11451
lola: find path: 12764
lola: symmetry: 12506
lola: reporting
lola: not produced: 11443
lola: find path: 12768
lola: symmetry: 12510
lola: reporting
lola: not produced: 11431
lola: find path: 12774
lola: symmetry: 12516
lola: reporting
lola: not produced: 11427
lola: find path: 12776
lola: symmetry: 12518
lola: reporting
lola: not produced: 11423
lola: find path: 12778
lola: symmetry: 12520
lola: reporting
lola: not produced: 11403
lola: find path: 12788
lola: symmetry: 12530
lola: reporting
lola: not produced: 11381
lola: find path: 12799
lola: symmetry: 12541
lola: reporting
lola: not produced: 11373
lola: find path: 12803
lola: symmetry: 12545
lola: reporting
lola: not produced: 11345
lola: find path: 12817
lola: symmetry: 12559
lola: reporting
lola: not produced: 11341
lola: find path: 12819
lola: symmetry: 12561
lola: reporting
lola: not produced: 11311
lola: find path: 12834
lola: symmetry: 12576
lola: reporting
lola: not produced: 11303
lola: find path: 12838
lola: symmetry: 12580
lola: reporting
lola: not produced: 11287
lola: find path: 12846
lola: symmetry: 12588
lola: reporting
lola: not produced: 11267
lola: find path: 12856
lola: symmetry: 12598
lola: reporting
lola: not produced: 11249
lola: find path: 12865
lola: symmetry: 12607
lola: reporting
lola: not produced: 11229
lola: find path: 12875
lola: symmetry: 12617
lola: reporting
lola: not produced: 11209
lola: find path: 12885
lola: symmetry: 12627
lola: reporting
lola: not produced: 11209
lola: find path: 12885
lola: symmetry: 12627
lola: reporting
lola: not produced: 11205
lola: find path: 12887
lola: symmetry: 12629
lola: reporting
lola: not produced: 11197
lola: find path: 12891
lola: symmetry: 12633
lola: reporting
lola: not produced: 11181
lola: find path: 12899
lola: symmetry: 12641
lola: reporting
lola: not produced: 11177
lola: find path: 12901
lola: symmetry: 12643
lola: reporting
lola: not produced: 11177
lola: find path: 12901
lola: symmetry: 12643
lola: reporting
lola: not produced: 11177
lola: find path: 12901
lola: symmetry: 12643
lola: reporting
lola: not produced: 11173
lola: find path: 12903
lola: symmetry: 12645
lola: reporting
lola: not produced: 11169
lola: find path: 12905
lola: symmetry: 12647
lola: reporting
lola: not produced: 11151
lola: find path: 12914
lola: symmetry: 12656
lola: reporting
lola: not produced: 11143
lola: find path: 12918
lola: symmetry: 12660
lola: reporting
lola: not produced: 11139
lola: find path: 12920
lola: symmetry: 12662
lola: reporting
lola: not produced: 11135
lola: find path: 12922
lola: symmetry: 12664
lola: reporting
lola: not produced: 11119
lola: find path: 12930
lola: symmetry: 12672
lola: reporting
lola: not produced: 11119
lola: find path: 12930
lola: symmetry: 12672
lola: reporting
lola: not produced: 11109
lola: find path: 12935
lola: symmetry: 12677
lola: reporting
lola: not produced: 11091
lola: find path: 12944
lola: symmetry: 12686
lola: reporting
lola: not produced: 11083
lola: find path: 12948
lola: symmetry: 12690
lola: reporting
lola: not produced: 11075
lola: find path: 12952
lola: symmetry: 12694
lola: reporting
lola: not produced: 11075
lola: find path: 12952
lola: symmetry: 12694
lola: reporting
lola: not produced: 11063
lola: find path: 12958
lola: symmetry: 12700
lola: reporting
lola: not produced: 11039
lola: find path: 12970
lola: symmetry: 12712
lola: reporting
lola: not produced: 11017
lola: find path: 12981
lola: symmetry: 12723
lola: reporting
lola: not produced: 11013
lola: find path: 12983
lola: symmetry: 12725
lola: reporting
lola: not produced: 10999
lola: find path: 12990
lola: symmetry: 12732
lola: reporting
lola: not produced: 10995
lola: find path: 12992
lola: symmetry: 12734
lola: reporting
lola: not produced: 10983
lola: find path: 12998
lola: symmetry: 12740
lola: reporting
lola: not produced: 10983
lola: find path: 12998
lola: symmetry: 12740
lola: reporting
lola: not produced: 10975
lola: find path: 13002
lola: symmetry: 12744
lola: reporting
lola: not produced: 10957
lola: find path: 13011
lola: symmetry: 12753
lola: reporting
lola: not produced: 10953
lola: find path: 13013
lola: symmetry: 12755
lola: reporting
lola: not produced: 10953
lola: find path: 13013
lola: symmetry: 12755
lola: reporting
lola: not produced: 10941
lola: find path: 13019
lola: symmetry: 12761
lola: reporting
lola: not produced: 10941
lola: find path: 13019
lola: symmetry: 12761
lola: reporting
lola: not produced: 10929
lola: find path: 13025
lola: symmetry: 12767
lola: reporting
lola: not produced: 10917
lola: find path: 13031
lola: symmetry: 12773
lola: reporting
lola: not produced: 10917
lola: find path: 13031
lola: symmetry: 12773
lola: reporting
lola: not produced: 10913
lola: find path: 13033
lola: symmetry: 12775
lola: reporting
lola: not produced: 10907
lola: find path: 13036
lola: symmetry: 12778
lola: reporting
lola: not produced: 10903
lola: find path: 13038
lola: symmetry: 12780
lola: reporting
lola: not produced: 10887
lola: find path: 13046
lola: symmetry: 12788
lola: reporting
lola: not produced: 10875
lola: find path: 13052
lola: symmetry: 12794
lola: reporting
lola: not produced: 10875
lola: find path: 13052
lola: symmetry: 12794
lola: reporting
lola: not produced: 10867
lola: find path: 13056
lola: symmetry: 12798
lola: reporting
lola: not produced: 10867
lola: find path: 13056
lola: symmetry: 12798
lola: reporting
lola: not produced: 10855
lola: find path: 13062
lola: symmetry: 12804
lola: reporting
lola: not produced: 10851
lola: find path: 13064
lola: symmetry: 12806
lola: reporting
lola: not produced: 10847
lola: find path: 13066
lola: symmetry: 12808
lola: reporting
lola: not produced: 10833
lola: find path: 13073
lola: symmetry: 12815
lola: reporting
lola: not produced: 10821
lola: find path: 13079
lola: symmetry: 12821
lola: reporting
lola: not produced: 10813
lola: find path: 13083
lola: symmetry: 12825
lola: reporting
lola: not produced: 10805
lola: find path: 13087
lola: symmetry: 12829
lola: reporting
lola: not produced: 10797
lola: find path: 13091
lola: symmetry: 12833
lola: reporting
lola: not produced: 10789
lola: find path: 13095
lola: symmetry: 12837
lola: reporting
lola: not produced: 10789
lola: find path: 13095
lola: symmetry: 12837
lola: reporting
lola: not produced: 10781
lola: find path: 13099
lola: symmetry: 12841
lola: reporting
lola: not produced: 10773
lola: find path: 13103
lola: symmetry: 12845
lola: reporting
lola: not produced: 10765
lola: find path: 13107
lola: symmetry: 12849
lola: reporting
lola: not produced: 10749
lola: find path: 13115
lola: symmetry: 12857
lola: reporting
lola: not produced: 10749
lola: find path: 13115
lola: symmetry: 12857
lola: reporting
lola: not produced: 10737
lola: find path: 13121
lola: symmetry: 12863
lola: reporting
lola: not produced: 10729
lola: find path: 13125
lola: symmetry: 12867
lola: reporting
lola: not produced: 10709
lola: find path: 13135
lola: symmetry: 12877
lola: reporting
lola: not produced: 10689
lola: find path: 13145
lola: symmetry: 12887
lola: reporting
lola: not produced: 10683
lola: find path: 13148
lola: symmetry: 12890
lola: reporting
lola: not produced: 10669
lola: find path: 13155
lola: symmetry: 12897
lola: reporting
lola: not produced: 10653
lola: find path: 13163
lola: symmetry: 12905
lola: reporting
lola: not produced: 10653
lola: find path: 13163
lola: symmetry: 12905
lola: reporting
lola: not produced: 10649
lola: find path: 13165
lola: symmetry: 12907
lola: reporting
lola: not produced: 10637
lola: find path: 13171
lola: symmetry: 12913
lola: reporting
lola: not produced: 10619
lola: find path: 13180
lola: symmetry: 12922
lola: reporting
lola: not produced: 10619
lola: find path: 13180
lola: symmetry: 12922
lola: reporting
lola: not produced: 10615
lola: find path: 13182
lola: symmetry: 12924
lola: reporting
lola: not produced: 10615
lola: find path: 13182
lola: symmetry: 12924
lola: reporting
lola: not produced: 10611
lola: find path: 13184
lola: symmetry: 12926
lola: reporting
lola: not produced: 10611
lola: find path: 13184
lola: symmetry: 12926
lola: reporting
lola: not produced: 10601
lola: find path: 13189
lola: symmetry: 12931
lola: reporting
lola: not produced: 10601
lola: find path: 13189
lola: symmetry: 12931
lola: reporting
lola: not produced: 10593
lola: find path: 13193
lola: symmetry: 12935
lola: reporting
lola: not produced: 10589
lola: find path: 13195
lola: symmetry: 12937
lola: reporting
lola: not produced: 10577
lola: find path: 13201
lola: symmetry: 12943
lola: reporting
lola: not produced: 10577
lola: find path: 13201
lola: symmetry: 12943
lola: reporting
lola: not produced: 10565
lola: find path: 13207
lola: symmetry: 12949
lola: reporting
lola: not produced: 10561
lola: find path: 13209
lola: symmetry: 12951
lola: reporting
lola: not produced: 10557
lola: find path: 13211
lola: symmetry: 12953
lola: reporting
lola: not produced: 10541
lola: find path: 13219
lola: symmetry: 12961
lola: reporting
lola: not produced: 10533
lola: find path: 13223
lola: symmetry: 12965
lola: reporting
lola: not produced: 10533
lola: find path: 13223
lola: symmetry: 12965
lola: reporting
lola: not produced: 10511
lola: find path: 13234
lola: symmetry: 12976
lola: reporting
lola: not produced: 10507
lola: find path: 13236
lola: symmetry: 12978
lola: reporting
lola: not produced: 10499
lola: find path: 13240
lola: symmetry: 12982
lola: reporting
lola: not produced: 10485
lola: find path: 13247
lola: symmetry: 12989
lola: reporting
lola: not produced: 10481
lola: find path: 13249
lola: symmetry: 12991
lola: reporting
lola: not produced: 10473
lola: find path: 13253
lola: symmetry: 12995
lola: reporting
lola: not produced: 10469
lola: find path: 13255
lola: symmetry: 12997
lola: reporting
lola: not produced: 10461
lola: find path: 13259
lola: symmetry: 13001
lola: reporting
lola: not produced: 10457
lola: find path: 13261
lola: symmetry: 13003
lola: reporting
lola: not produced: 10441
lola: find path: 13269
lola: symmetry: 13011
lola: reporting
lola: not produced: 10435
lola: find path: 13272
lola: symmetry: 13014
lola: reporting
lola: not produced: 10431
lola: find path: 13274
lola: symmetry: 13016
lola: reporting
lola: not produced: 10431
lola: find path: 13274
lola: symmetry: 13016
lola: reporting
lola: not produced: 10427
lola: find path: 13276
lola: symmetry: 13018
lola: reporting
lola: not produced: 10415
lola: find path: 13282
lola: symmetry: 13024
lola: reporting
lola: not produced: 10409
lola: find path: 13285
lola: symmetry: 13027
lola: reporting
lola: not produced: 10405
lola: find path: 13287
lola: symmetry: 13029
lola: reporting
lola: not produced: 10401
lola: find path: 13289
lola: symmetry: 13031
lola: reporting
lola: not produced: 10397
lola: find path: 13291
lola: symmetry: 13033
lola: reporting
lola: not produced: 10397
lola: find path: 13291
lola: symmetry: 13033
lola: reporting
lola: not produced: 10395
lola: find path: 13292
lola: symmetry: 13034
lola: reporting
lola: not produced: 10379
lola: find path: 13300
lola: symmetry: 13042
lola: reporting
lola: not produced: 10379
lola: find path: 13300
lola: symmetry: 13042
lola: reporting
lola: not produced: 10375
lola: find path: 13302
lola: symmetry: 13044
lola: reporting
lola: not produced: 10373
lola: find path: 13303
lola: symmetry: 13045
lola: reporting
lola: not produced: 10369
lola: find path: 13305
lola: symmetry: 13047
lola: reporting
lola: not produced: 10369
lola: find path: 13305
lola: symmetry: 13047
lola: reporting
lola: not produced: 10369
lola: find path: 13305
lola: symmetry: 13047
lola: reporting
lola: not produced: 10365
lola: find path: 13307
lola: symmetry: 13049
lola: reporting
lola: not produced: 10365
lola: find path: 13307
lola: symmetry: 13049
lola: reporting
lola: not produced: 10361
lola: find path: 13309
lola: symmetry: 13051
lola: reporting
lola: not produced: 10351
lola: find path: 13314
lola: symmetry: 13056
lola: reporting
lola: not produced: 10351
lola: find path: 13314
lola: symmetry: 13056
lola: reporting
lola: not produced: 10343
lola: find path: 13318
lola: symmetry: 13060
lola: reporting
lola: not produced: 10343
lola: find path: 13318
lola: symmetry: 13060
lola: reporting
lola: not produced: 10333
lola: find path: 13323
lola: symmetry: 13065
lola: reporting
lola: not produced: 10333
lola: find path: 13323
lola: symmetry: 13065
lola: reporting
lola: not produced: 10329
lola: find path: 13325
lola: symmetry: 13067
lola: reporting
lola: not produced: 10321
lola: find path: 13329
lola: symmetry: 13071
lola: reporting
lola: not produced: 10309
lola: find path: 13335
lola: symmetry: 13077
lola: reporting
lola: not produced: 10309
lola: find path: 13335
lola: symmetry: 13077
lola: reporting
lola: not produced: 10301
lola: find path: 13339
lola: symmetry: 13081
lola: reporting
lola: not produced: 10301
lola: find path: 13339
lola: symmetry: 13081
lola: reporting
lola: not produced: 10293
lola: find path: 13343
lola: symmetry: 13085
lola: reporting
lola: not produced: 10287
lola: find path: 13346
lola: symmetry: 13088
lola: reporting
lola: not produced: 10279
lola: find path: 13350
lola: symmetry: 13092
lola: reporting
lola: not produced: 10275
lola: find path: 13352
lola: symmetry: 13094
lola: reporting
lola: not produced: 10275
lola: find path: 13352
lola: symmetry: 13094
lola: reporting
lola: not produced: 10263
lola: find path: 13358
lola: symmetry: 13100
lola: reporting
lola: not produced: 10249
lola: find path: 13365
lola: symmetry: 13107
lola: reporting
lola: not produced: 10245
lola: find path: 13367
lola: symmetry: 13109
lola: reporting
lola: not produced: 10233
lola: find path: 13373
lola: symmetry: 13115
lola: reporting
lola: not produced: 10233
lola: find path: 13373
lola: symmetry: 13115
lola: reporting
lola: not produced: 10229
lola: find path: 13375
lola: symmetry: 13117
lola: reporting
lola: not produced: 10229
lola: find path: 13375
lola: symmetry: 13117
lola: reporting
lola: not produced: 10217
lola: find path: 13381
lola: symmetry: 13123
lola: reporting
lola: not produced: 10213
lola: find path: 13383
lola: symmetry: 13125
lola: reporting
lola: not produced: 10209
lola: find path: 13385
lola: symmetry: 13127
lola: reporting
lola: not produced: 10199
lola: find path: 13390
lola: symmetry: 13132
lola: reporting
lola: not produced: 10195
lola: find path: 13392
lola: symmetry: 13134
lola: reporting
lola: not produced: 10189
lola: find path: 13395
lola: symmetry: 13137
lola: reporting
lola: not produced: 10189
lola: find path: 13395
lola: symmetry: 13137
lola: reporting
lola: not produced: 10175
lola: find path: 13402
lola: symmetry: 13144
lola: reporting
lola: not produced: 10175
lola: find path: 13402
lola: symmetry: 13144
lola: reporting
lola: not produced: 10171
lola: find path: 13404
lola: symmetry: 13146
lola: reporting
lola: not produced: 10163
lola: find path: 13408
lola: symmetry: 13150
lola: reporting
lola: not produced: 10159
lola: find path: 13410
lola: symmetry: 13152
lola: reporting
lola: not produced: 10155
lola: find path: 13412
lola: symmetry: 13154
lola: reporting
lola: not produced: 10145
lola: find path: 13417
lola: symmetry: 13159
lola: reporting
lola: not produced: 10145
lola: find path: 13417
lola: symmetry: 13159
lola: reporting
lola: not produced: 10141
lola: find path: 13419
lola: symmetry: 13161
lola: reporting
lola: not produced: 10137
lola: find path: 13421
lola: symmetry: 13163
lola: reporting
lola: not produced: 10117
lola: find path: 13431
lola: symmetry: 13173
lola: reporting
lola: not produced: 10111
lola: find path: 13434
lola: symmetry: 13176
lola: reporting
lola: not produced: 10103
lola: find path: 13438
lola: symmetry: 13180
lola: reporting
lola: not produced: 10095
lola: find path: 13442
lola: symmetry: 13184
lola: reporting
lola: not produced: 10093
lola: find path: 13443
lola: symmetry: 13185
lola: reporting
lola: not produced: 10079
lola: find path: 13450
lola: symmetry: 13192
lola: reporting
lola: not produced: 10075
lola: find path: 13452
lola: symmetry: 13194
lola: reporting
lola: not produced: 10071
lola: find path: 13454
lola: symmetry: 13196
lola: reporting
lola: not produced: 10067
lola: find path: 13456
lola: symmetry: 13198
lola: reporting
lola: not produced: 10063
lola: find path: 13458
lola: symmetry: 13200
lola: reporting
lola: not produced: 10063
lola: find path: 13458
lola: symmetry: 13200
lola: reporting
lola: not produced: 10063
lola: find path: 13458
lola: symmetry: 13200
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 16

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

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