Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r296-tall-162124162800498.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r296-tall-162124162800498
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 72M
-rw-r--r-- 1 mcc users 52K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 181K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 32K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K May 12 08:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 12 08:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 12 08:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 08:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.8K May 11 19:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 11 19:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K May 11 16:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 11 16:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 71M May 12 08:13 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 1621253114187

starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C12
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking

BK_STOP 1621254810537

--------------------
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: 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: 34215
lola: find path: 1413
lola: symmetry: 1093
lola: reporting
lola: not produced: 30549
lola: find path: 3251
lola: symmetry: 2921
lola: reporting
lola: not produced: 27823
lola: find path: 4614
lola: symmetry: 4284
lola: reporting
lola: not produced: 25879
lola: find path: 5586
lola: symmetry: 5256
lola: reporting
lola: not produced: 24397
lola: find path: 6327
lola: symmetry: 5997
lola: reporting
lola: not produced: 23327
lola: find path: 6862
lola: symmetry: 6532
lola: reporting
lola: not produced: 22459
lola: find path: 7296
lola: symmetry: 6966
lola: reporting
lola: not produced: 21753
lola: find path: 7649
lola: symmetry: 7319
lola: reporting
lola: not produced: 21037
lola: find path: 8008
lola: symmetry: 7676
lola: reporting
lola: not produced: 20333
lola: find path: 8360
lola: symmetry: 8028
lola: reporting
lola: not produced: 19773
lola: find path: 8640
lola: symmetry: 8308
lola: reporting
lola: not produced: 19305
lola: find path: 8874
lola: symmetry: 8542
lola: reporting
lola: not produced: 18821
lola: find path: 9116
lola: symmetry: 8784
lola: reporting
lola: not produced: 18357
lola: find path: 9348
lola: symmetry: 9016
lola: reporting
lola: not produced: 18021
lola: find path: 9516
lola: symmetry: 9184
lola: reporting
lola: not produced: 17731
lola: find path: 9661
lola: symmetry: 9329
lola: reporting
lola: not produced: 17433
lola: find path: 9810
lola: symmetry: 9478
lola: reporting
lola: not produced: 17171
lola: find path: 9941
lola: symmetry: 9609
lola: reporting
lola: not produced: 16841
lola: find path: 10106
lola: symmetry: 9774
lola: reporting
lola: not produced: 16553
lola: find path: 10250
lola: symmetry: 9918
lola: reporting
lola: not produced: 16385
lola: find path: 10334
lola: symmetry: 10002
lola: reporting
lola: not produced: 16237
lola: find path: 10408
lola: symmetry: 10076
lola: reporting
lola: not produced: 16073
lola: find path: 10490
lola: symmetry: 10158
lola: reporting
lola: not produced: 15941
lola: find path: 10556
lola: symmetry: 10224
lola: reporting
lola: not produced: 15811
lola: find path: 10621
lola: symmetry: 10289
lola: reporting
lola: not produced: 15659
lola: find path: 10697
lola: symmetry: 10365
lola: reporting
lola: not produced: 15469
lola: find path: 10792
lola: symmetry: 10460
lola: reporting
lola: not produced: 15335
lola: find path: 10859
lola: symmetry: 10527
lola: reporting
lola: not produced: 15181
lola: find path: 10936
lola: symmetry: 10604
lola: reporting
lola: not produced: 15037
lola: find path: 11008
lola: symmetry: 10676
lola: reporting
lola: not produced: 14915
lola: find path: 11069
lola: symmetry: 10737
lola: reporting
lola: not produced: 14817
lola: find path: 11118
lola: symmetry: 10786
lola: reporting
lola: not produced: 14695
lola: find path: 11179
lola: symmetry: 10847
lola: reporting
lola: not produced: 14565
lola: find path: 11244
lola: symmetry: 10912
lola: reporting
lola: not produced: 14455
lola: find path: 11299
lola: symmetry: 10967
lola: reporting
lola: not produced: 14319
lola: find path: 11367
lola: symmetry: 11035
lola: reporting
lola: not produced: 14255
lola: find path: 11399
lola: symmetry: 11067
lola: reporting
lola: not produced: 14207
lola: find path: 11423
lola: symmetry: 11091
lola: reporting
lola: not produced: 14071
lola: find path: 11491
lola: symmetry: 11159
lola: reporting
lola: not produced: 13993
lola: find path: 11530
lola: symmetry: 11198
lola: reporting
lola: not produced: 13893
lola: find path: 11580
lola: symmetry: 11248
lola: reporting
lola: not produced: 13851
lola: find path: 11601
lola: symmetry: 11269
lola: reporting
lola: not produced: 13791
lola: find path: 11631
lola: symmetry: 11299
lola: reporting
lola: not produced: 13747
lola: find path: 11653
lola: symmetry: 11321
lola: reporting
lola: not produced: 13683
lola: find path: 11685
lola: symmetry: 11353
lola: reporting
lola: not produced: 13635
lola: find path: 11709
lola: symmetry: 11377
lola: reporting
lola: not produced: 13571
lola: find path: 11741
lola: symmetry: 11409
lola: reporting
lola: not produced: 13503
lola: find path: 11775
lola: symmetry: 11443
lola: reporting
lola: not produced: 13455
lola: find path: 11799
lola: symmetry: 11467
lola: reporting
lola: not produced: 13425
lola: find path: 11814
lola: symmetry: 11482
lola: reporting
lola: not produced: 13379
lola: find path: 11837
lola: symmetry: 11505
lola: reporting
lola: not produced: 13303
lola: find path: 11875
lola: symmetry: 11543
lola: reporting
lola: not produced: 13271
lola: find path: 11891
lola: symmetry: 11559
lola: reporting
lola: not produced: 13223
lola: find path: 11915
lola: symmetry: 11583
lola: reporting
lola: not produced: 13169
lola: find path: 11942
lola: symmetry: 11610
lola: reporting
lola: not produced: 13121
lola: find path: 11966
lola: symmetry: 11634
lola: reporting
lola: not produced: 13085
lola: find path: 11984
lola: symmetry: 11652
lola: reporting
lola: not produced: 13035
lola: find path: 12009
lola: symmetry: 11677
lola: reporting
lola: not produced: 13003
lola: find path: 12025
lola: symmetry: 11693
lola: reporting
lola: not produced: 12967
lola: find path: 12043
lola: symmetry: 11711
lola: reporting
lola: not produced: 12909
lola: find path: 12072
lola: symmetry: 11740
lola: reporting
lola: not produced: 12879
lola: find path: 12087
lola: symmetry: 11755
lola: reporting
lola: not produced: 12825
lola: find path: 12114
lola: symmetry: 11782
lola: reporting
lola: not produced: 12789
lola: find path: 12132
lola: symmetry: 11800
lola: reporting
lola: not produced: 12753
lola: find path: 12150
lola: symmetry: 11818
lola: reporting
lola: not produced: 12723
lola: find path: 12165
lola: symmetry: 11833
lola: reporting
lola: not produced: 12669
lola: find path: 12192
lola: symmetry: 11860
lola: reporting
lola: not produced: 12615
lola: find path: 12219
lola: symmetry: 11887
lola: reporting
lola: not produced: 12587
lola: find path: 12233
lola: symmetry: 11901
lola: reporting
lola: not produced: 12551
lola: find path: 12251
lola: symmetry: 11919
lola: reporting
lola: not produced: 12511
lola: find path: 12271
lola: symmetry: 11939
lola: reporting
lola: not produced: 12467
lola: find path: 12293
lola: symmetry: 11961
lola: reporting
lola: not produced: 12431
lola: find path: 12311
lola: symmetry: 11979
lola: reporting
lola: not produced: 12399
lola: find path: 12327
lola: symmetry: 11995
lola: reporting
lola: not produced: 12369
lola: find path: 12342
lola: symmetry: 12010
lola: reporting
lola: not produced: 12333
lola: find path: 12360
lola: symmetry: 12028
lola: reporting
lola: not produced: 12301
lola: find path: 12376
lola: symmetry: 12044
lola: reporting
lola: not produced: 12257
lola: find path: 12398
lola: symmetry: 12066
lola: reporting
lola: not produced: 12233
lola: find path: 12410
lola: symmetry: 12078
lola: reporting
lola: not produced: 12209
lola: find path: 12422
lola: symmetry: 12090
lola: reporting
lola: not produced: 12183
lola: find path: 12435
lola: symmetry: 12103
lola: reporting
lola: not produced: 12161
lola: find path: 12446
lola: symmetry: 12114
lola: reporting
lola: not produced: 12141
lola: find path: 12456
lola: symmetry: 12124
lola: reporting
lola: not produced: 12141
lola: find path: 12456
lola: symmetry: 12124
lola: reporting
lola: not produced: 12121
lola: find path: 12466
lola: symmetry: 12134
lola: reporting
lola: not produced: 12065
lola: find path: 12494
lola: symmetry: 12162
lola: reporting
lola: not produced: 12059
lola: find path: 12497
lola: symmetry: 12165
lola: reporting
lola: not produced: 12051
lola: find path: 12501
lola: symmetry: 12169
lola: reporting
lola: not produced: 12039
lola: find path: 12507
lola: symmetry: 12175
lola: reporting
lola: not produced: 12027
lola: find path: 12513
lola: symmetry: 12181
lola: reporting
lola: not produced: 12019
lola: find path: 12517
lola: symmetry: 12185
lola: reporting
lola: not produced: 12003
lola: find path: 12525
lola: symmetry: 12193
lola: reporting
lola: not produced: 11983
lola: find path: 12535
lola: symmetry: 12203
lola: reporting
lola: not produced: 11979
lola: find path: 12537
lola: symmetry: 12205
lola: reporting
lola: not produced: 11959
lola: find path: 12547
lola: symmetry: 12215
lola: reporting
lola: not produced: 11935
lola: find path: 12559
lola: symmetry: 12227
lola: reporting
lola: not produced: 11907
lola: find path: 12573
lola: symmetry: 12241
lola: reporting
lola: not produced: 11899
lola: find path: 12577
lola: symmetry: 12245
lola: reporting
lola: not produced: 11871
lola: find path: 12591
lola: symmetry: 12259
lola: reporting
lola: not produced: 11843
lola: find path: 12605
lola: symmetry: 12273
lola: reporting
lola: not produced: 11823
lola: find path: 12615
lola: symmetry: 12283
lola: reporting
lola: not produced: 11797
lola: find path: 12628
lola: symmetry: 12296
lola: reporting
lola: not produced: 11777
lola: find path: 12638
lola: symmetry: 12306
lola: reporting
lola: not produced: 11747
lola: find path: 12653
lola: symmetry: 12321
lola: reporting
lola: not produced: 11711
lola: find path: 12671
lola: symmetry: 12339
lola: reporting
lola: not produced: 11695
lola: find path: 12679
lola: symmetry: 12347
lola: reporting
lola: not produced: 11675
lola: find path: 12689
lola: symmetry: 12357
lola: reporting
lola: not produced: 11651
lola: find path: 12701
lola: symmetry: 12369
lola: reporting
lola: not produced: 11635
lola: find path: 12709
lola: symmetry: 12377
lola: reporting
lola: not produced: 11631
lola: find path: 12711
lola: symmetry: 12379
lola: reporting
lola: not produced: 11619
lola: find path: 12717
lola: symmetry: 12385
lola: reporting
lola: not produced: 11615
lola: find path: 12719
lola: symmetry: 12387
lola: reporting
lola: not produced: 11603
lola: find path: 12725
lola: symmetry: 12393
lola: reporting
lola: not produced: 11593
lola: find path: 12730
lola: symmetry: 12398
lola: reporting
lola: not produced: 11581
lola: find path: 12736
lola: symmetry: 12404
lola: reporting
lola: not produced: 11573
lola: find path: 12740
lola: symmetry: 12408
lola: reporting
lola: not produced: 11565
lola: find path: 12744
lola: symmetry: 12412
lola: reporting
lola: not produced: 11555
lola: find path: 12749
lola: symmetry: 12417
lola: reporting
lola: not produced: 11535
lola: find path: 12759
lola: symmetry: 12427
lola: reporting
lola: not produced: 11523
lola: find path: 12765
lola: symmetry: 12433
lola: reporting
lola: not produced: 11505
lola: find path: 12774
lola: symmetry: 12442
lola: reporting
lola: not produced: 11497
lola: find path: 12778
lola: symmetry: 12446
lola: reporting
lola: not produced: 11481
lola: find path: 12786
lola: symmetry: 12454
lola: reporting
lola: not produced: 11455
lola: find path: 12799
lola: symmetry: 12467
lola: reporting
lola: not produced: 11437
lola: find path: 12810
lola: symmetry: 12474
lola: reporting
lola: not produced: 11415
lola: find path: 12821
lola: symmetry: 12485
lola: reporting
lola: not produced: 11399
lola: find path: 12829
lola: symmetry: 12493
lola: reporting
lola: not produced: 11391
lola: find path: 12833
lola: symmetry: 12497
lola: reporting
lola: not produced: 11371
lola: find path: 12843
lola: symmetry: 12507
lola: reporting
lola: not produced: 11363
lola: find path: 12847
lola: symmetry: 12511
lola: reporting
lola: not produced: 11355
lola: find path: 12851
lola: symmetry: 12515
lola: reporting
lola: not produced: 11339
lola: find path: 12859
lola: symmetry: 12523
lola: reporting
lola: not produced: 11331
lola: find path: 12863
lola: symmetry: 12527
lola: reporting
lola: not produced: 11323
lola: find path: 12867
lola: symmetry: 12531
lola: reporting
lola: not produced: 11323
lola: find path: 12867
lola: symmetry: 12531
lola: reporting
lola: not produced: 11319
lola: find path: 12869
lola: symmetry: 12533
lola: reporting
lola: not produced: 11295
lola: find path: 12881
lola: symmetry: 12545
lola: reporting
lola: not produced: 11291
lola: find path: 12883
lola: symmetry: 12547
lola: reporting
lola: not produced: 11279
lola: find path: 12889
lola: symmetry: 12553
lola: reporting
lola: not produced: 11279
lola: find path: 12889
lola: symmetry: 12553
lola: reporting
lola: not produced: 11267
lola: find path: 12895
lola: symmetry: 12559
lola: reporting
lola: not produced: 11247
lola: find path: 12905
lola: symmetry: 12569
lola: reporting
lola: not produced: 11235
lola: find path: 12911
lola: symmetry: 12575
lola: reporting
lola: not produced: 11223
lola: find path: 12917
lola: symmetry: 12581
lola: reporting
lola: not produced: 11213
lola: find path: 12922
lola: symmetry: 12586
lola: reporting
lola: not produced: 11201
lola: find path: 12928
lola: symmetry: 12592
lola: reporting
lola: not produced: 11179
lola: find path: 12939
lola: symmetry: 12603
lola: reporting
lola: not produced: 11179
lola: find path: 12939
lola: symmetry: 12603
lola: reporting
lola: not produced: 11171
lola: find path: 12943
lola: symmetry: 12607
lola: reporting
lola: not produced: 11157
lola: find path: 12950
lola: symmetry: 12614
lola: reporting
lola: not produced: 11153
lola: find path: 12952
lola: symmetry: 12616
lola: reporting
lola: not produced: 11145
lola: find path: 12956
lola: symmetry: 12620
lola: reporting
lola: not produced: 11141
lola: find path: 12958
lola: symmetry: 12622
lola: reporting
lola: not produced: 11137
lola: find path: 12960
lola: symmetry: 12624
lola: reporting
lola: not produced: 11105
lola: find path: 12976
lola: symmetry: 12640
lola: reporting
lola: not produced: 11089
lola: find path: 12984
lola: symmetry: 12648
lola: reporting
lola: not produced: 11059
lola: find path: 12999
lola: symmetry: 12663
lola: reporting
lola: not produced: 11051
lola: find path: 13003
lola: symmetry: 12667
lola: reporting
lola: not produced: 11039
lola: find path: 13009
lola: symmetry: 12673
lola: reporting
lola: not produced: 11023
lola: find path: 13017
lola: symmetry: 12681
lola: reporting
lola: not produced: 11019
lola: find path: 13019
lola: symmetry: 12683
lola: reporting
lola: not produced: 11009
lola: find path: 13024
lola: symmetry: 12688
lola: reporting
lola: not produced: 11005
lola: find path: 13026
lola: symmetry: 12690
lola: reporting
lola: not produced: 10995
lola: find path: 13031
lola: symmetry: 12695
lola: reporting
lola: not produced: 10983
lola: find path: 13037
lola: symmetry: 12701
lola: reporting
lola: not produced: 10971
lola: find path: 13043
lola: symmetry: 12707
lola: reporting
lola: not produced: 10963
lola: find path: 13047
lola: symmetry: 12711
lola: reporting
lola: not produced: 10963
lola: find path: 13047
lola: symmetry: 12711
lola: reporting
lola: not produced: 10959
lola: find path: 13049
lola: symmetry: 12713
lola: reporting
lola: not produced: 10951
lola: find path: 13053
lola: symmetry: 12717
lola: reporting
lola: not produced: 10939
lola: find path: 13059
lola: symmetry: 12723
lola: reporting
lola: not produced: 10931
lola: find path: 13063
lola: symmetry: 12727
lola: reporting
lola: not produced: 10923
lola: find path: 13067
lola: symmetry: 12731
lola: reporting
lola: not produced: 10915
lola: find path: 13071
lola: symmetry: 12735
lola: reporting
lola: not produced: 10903
lola: find path: 13077
lola: symmetry: 12741
lola: reporting
lola: not produced: 10899
lola: find path: 13079
lola: symmetry: 12743
lola: reporting
lola: not produced: 10885
lola: find path: 13086
lola: symmetry: 12750
lola: reporting
lola: not produced: 10863
lola: find path: 13097
lola: symmetry: 12761
lola: reporting
lola: not produced: 10855
lola: find path: 13101
lola: symmetry: 12765
lola: reporting
lola: not produced: 10843
lola: find path: 13107
lola: symmetry: 12771
lola: reporting
lola: not produced: 10831
lola: find path: 13113
lola: symmetry: 12777
lola: reporting
lola: not produced: 10827
lola: find path: 13115
lola: symmetry: 12779
lola: reporting
lola: not produced: 10827
lola: find path: 13115
lola: symmetry: 12779
lola: reporting
lola: not produced: 10817
lola: find path: 13120
lola: symmetry: 12784
lola: reporting
lola: not produced: 10805
lola: find path: 13126
lola: symmetry: 12790
lola: reporting
lola: not produced: 10801
lola: find path: 13128
lola: symmetry: 12792
lola: reporting
lola: not produced: 10793
lola: find path: 13132
lola: symmetry: 12796
lola: reporting
lola: not produced: 10789
lola: find path: 13134
lola: symmetry: 12798
lola: reporting
lola: not produced: 10785
lola: find path: 13136
lola: symmetry: 12800
lola: reporting
lola: not produced: 10785
lola: find path: 13136
lola: symmetry: 12800
lola: reporting
lola: not produced: 10785
lola: find path: 13136
lola: symmetry: 12800
lola: reporting
lola: not produced: 10785
lola: find path: 13136
lola: symmetry: 12800
lola: reporting
lola: not produced: 10765
lola: find path: 13146
lola: symmetry: 12810
lola: reporting
lola: not produced: 10753
lola: find path: 13152
lola: symmetry: 12816
lola: reporting
lola: not produced: 10735
lola: find path: 13161
lola: symmetry: 12825
lola: reporting
lola: not produced: 10727
lola: find path: 13165
lola: symmetry: 12829
lola: reporting
lola: not produced: 10723
lola: find path: 13167
lola: symmetry: 12831
lola: reporting
lola: not produced: 10707
lola: find path: 13175
lola: symmetry: 12839
lola: reporting
lola: not produced: 10707
lola: find path: 13175
lola: symmetry: 12839
lola: reporting
lola: not produced: 10697
lola: find path: 13180
lola: symmetry: 12844
lola: reporting
lola: not produced: 10689
lola: find path: 13184
lola: symmetry: 12848
lola: reporting
lola: not produced: 10689
lola: find path: 13184
lola: symmetry: 12848
lola: reporting
lola: not produced: 10671
lola: find path: 13193
lola: symmetry: 12857
lola: reporting
lola: not produced: 10641
lola: find path: 13208
lola: symmetry: 12872
lola: reporting
lola: not produced: 10631
lola: find path: 13213
lola: symmetry: 12877
lola: reporting
lola: not produced: 10613
lola: find path: 13222
lola: symmetry: 12886
lola: reporting
lola: not produced: 10601
lola: find path: 13228
lola: symmetry: 12892
lola: reporting
lola: not produced: 10589
lola: find path: 13234
lola: symmetry: 12898
lola: reporting
lola: not produced: 10585
lola: find path: 13236
lola: symmetry: 12900
lola: reporting
lola: not produced: 10581
lola: find path: 13238
lola: symmetry: 12902
lola: reporting
lola: not produced: 10567
lola: find path: 13245
lola: symmetry: 12909
lola: reporting
lola: not produced: 10555
lola: find path: 13251
lola: symmetry: 12915
lola: reporting
lola: not produced: 10543
lola: find path: 13257
lola: symmetry: 12921
lola: reporting
lola: not produced: 10543
lola: find path: 13257
lola: symmetry: 12921
lola: reporting
lola: not produced: 10539
lola: find path: 13259
lola: symmetry: 12923
lola: reporting
lola: not produced: 10523
lola: find path: 13267
lola: symmetry: 12931
lola: reporting
lola: not produced: 10511
lola: find path: 13273
lola: symmetry: 12937
lola: reporting
lola: not produced: 10507
lola: find path: 13275
lola: symmetry: 12939
lola: reporting
lola: not produced: 10501
lola: find path: 13278
lola: symmetry: 12942
lola: reporting
lola: not produced: 10475
lola: find path: 13291
lola: symmetry: 12955
lola: reporting
lola: not produced: 10475
lola: find path: 13291
lola: symmetry: 12955
lola: reporting
lola: not produced: 10463
lola: find path: 13297
lola: symmetry: 12961
lola: reporting
lola: not produced: 10455
lola: find path: 13301
lola: symmetry: 12965
lola: reporting
lola: not produced: 10447
lola: find path: 13305
lola: symmetry: 12969
lola: reporting
lola: not produced: 10443
lola: find path: 13307
lola: symmetry: 12971
lola: reporting
lola: not produced: 10443
lola: find path: 13307
lola: symmetry: 12971
lola: reporting
lola: not produced: 10437
lola: find path: 13310
lola: symmetry: 12974
lola: reporting
lola: not produced: 10433
lola: find path: 13312
lola: symmetry: 12976
lola: reporting
lola: not produced: 10431
lola: find path: 13313
lola: symmetry: 12977
lola: reporting
lola: not produced: 10417
lola: find path: 13320
lola: symmetry: 12984
lola: reporting
lola: not produced: 10413
lola: find path: 13322
lola: symmetry: 12986
lola: reporting
lola: not produced: 10413
lola: find path: 13322
lola: symmetry: 12986
lola: reporting
lola: not produced: 10413
lola: find path: 13322
lola: symmetry: 12986
lola: reporting
lola: not produced: 10409
lola: find path: 13324
lola: symmetry: 12988
lola: reporting
lola: not produced: 10409
lola: find path: 13324
lola: symmetry: 12988
lola: reporting
lola: not produced: 10409
lola: find path: 13324
lola: symmetry: 12988
lola: reporting
lola: not produced: 10399
lola: find path: 13329
lola: symmetry: 12993
lola: reporting
lola: not produced: 10383
lola: find path: 13337
lola: symmetry: 13001
lola: reporting
lola: not produced: 10379
lola: find path: 13339
lola: symmetry: 13003
lola: reporting
lola: not produced: 10365
lola: find path: 13346
lola: symmetry: 13010
lola: reporting
lola: not produced: 10365
lola: find path: 13346
lola: symmetry: 13010
lola: reporting
lola: not produced: 10349
lola: find path: 13354
lola: symmetry: 13018
lola: reporting
lola: not produced: 10345
lola: find path: 13356
lola: symmetry: 13020
lola: reporting
lola: not produced: 10341
lola: find path: 13358
lola: symmetry: 13022
lola: reporting
lola: not produced: 10333
lola: find path: 13362
lola: symmetry: 13026
lola: reporting
lola: not produced: 10329
lola: find path: 13364
lola: symmetry: 13028
lola: reporting
lola: not produced: 10327
lola: find path: 13365
lola: symmetry: 13029
lola: reporting
lola: not produced: 10323
lola: find path: 13367
lola: symmetry: 13031
lola: reporting
lola: not produced: 10307
lola: find path: 13375
lola: symmetry: 13039
lola: reporting
lola: not produced: 10307
lola: find path: 13375
lola: symmetry: 13039
lola: reporting
lola: not produced: 10299
lola: find path: 13379
lola: symmetry: 13043
lola: reporting
lola: not produced: 10291
lola: find path: 13383
lola: symmetry: 13047
lola: reporting
lola: not produced: 10287
lola: find path: 13385
lola: symmetry: 13049
lola: reporting
lola: not produced: 10279
lola: find path: 13389
lola: symmetry: 13053
lola: reporting
lola: not produced: 10265
lola: find path: 13396
lola: symmetry: 13060
lola: reporting
lola: not produced: 10253
lola: find path: 13402
lola: symmetry: 13066
lola: reporting
lola: not produced: 10249
lola: find path: 13404
lola: symmetry: 13068
lola: reporting
lola: not produced: 10247
lola: find path: 13405
lola: symmetry: 13069
lola: reporting
lola: not produced: 10233
lola: find path: 13412
lola: symmetry: 13076
lola: reporting
lola: not produced: 10229
lola: find path: 13414
lola: symmetry: 13078
lola: reporting
lola: not produced: 10229
lola: find path: 13414
lola: symmetry: 13078
lola: reporting
lola: not produced: 10225
lola: find path: 13416
lola: symmetry: 13080
lola: reporting
lola: not produced: 10225
lola: find path: 13416
lola: symmetry: 13080
lola: reporting
lola: not produced: 10225
lola: find path: 13416
lola: symmetry: 13080
lola: reporting
lola: not produced: 10223
lola: find path: 13417
lola: symmetry: 13081
lola: reporting
lola: not produced: 10217
lola: find path: 13420
lola: symmetry: 13084
lola: reporting
lola: not produced: 10213
lola: find path: 13422
lola: symmetry: 13086
lola: reporting
lola: not produced: 10213
lola: find path: 13422
lola: symmetry: 13086
lola: reporting
lola: not produced: 10213
lola: find path: 13422
lola: symmetry: 13086
lola: reporting
lola: not produced: 10209
lola: find path: 13424
lola: symmetry: 13088
lola: reporting
lola: not produced: 10201
lola: find path: 13428
lola: symmetry: 13092
lola: reporting
lola: not produced: 10201
lola: find path: 13428
lola: symmetry: 13092
lola: reporting
lola: not produced: 10195
lola: find path: 13431
lola: symmetry: 13095
lola: reporting
lola: not produced: 10189
lola: find path: 13434
lola: symmetry: 13098
lola: reporting
lola: not produced: 10185
lola: find path: 13436
lola: symmetry: 13100
lola: reporting
lola: not produced: 10185
lola: find path: 13436
lola: symmetry: 13100
lola: reporting
lola: not produced: 10181
lola: find path: 13438
lola: symmetry: 13102
lola: reporting
lola: not produced: 10163
lola: find path: 13447
lola: symmetry: 13111
lola: reporting
lola: not produced: 10157
lola: find path: 13450
lola: symmetry: 13114
lola: reporting
lola: not produced: 10149
lola: find path: 13454
lola: symmetry: 13118
lola: reporting
lola: not produced: 10141
lola: find path: 13458
lola: symmetry: 13122
lola: reporting
lola: not produced: 10141
lola: find path: 13458
lola: symmetry: 13122
lola: reporting
lola: not produced: 10141
lola: find path: 13458
lola: symmetry: 13122
lola: Failed to get new memory from operating system
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 411 Segmentation fault lola --conf=$BIN_DIR/configfiles/globalconf --check=StableMarking $DIR/model.pnml

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-4028"
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 r296-tall-162124162800498"
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 ;