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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 35M
-rw-r--r-- 1 mcc users 15K Feb 26 03:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 03:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 02:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K 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 03:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 112K Feb 26 03:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 03:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 26 03:06 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 35M 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 1678705207166

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-S32C11
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C11
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: 151048 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16288508 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 Node25HasAskedItsLeafSetToRx0ToReplaceNode24
sara: try reading problem file stateEquationProblem-ConstantPlace-17261.sara.
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 30231
lola: find path: 1744
lola: goal oriented search: 542
lola: symmetry: 1886
lola: reporting
lola: not produced: 26129
lola: find path: 3804
lola: goal oriented search: 542
lola: symmetry: 3928
lola: reporting
lola: not produced: 23741
lola: find path: 5000
lola: goal oriented search: 542
lola: symmetry: 5120
lola: reporting
lola: not produced: 22051
lola: find path: 5848
lola: goal oriented search: 542
lola: symmetry: 5962
lola: reporting
lola: not produced: 20845
lola: find path: 6451
lola: goal oriented search: 542
lola: symmetry: 6565
lola: reporting
lola: not produced: 19741
lola: find path: 7006
lola: goal oriented search: 542
lola: symmetry: 7114
lola: reporting
lola: not produced: 18849
lola: find path: 7450
lola: goal oriented search: 542
lola: symmetry: 7562
lola: reporting
lola: not produced: 17927
lola: find path: 7911
lola: goal oriented search: 542
lola: symmetry: 8023
lola: reporting
lola: not produced: 17301
lola: find path: 8224
lola: goal oriented search: 542
lola: symmetry: 8336
lola: reporting
lola: not produced: 16789
lola: find path: 8480
lola: goal oriented search: 542
lola: symmetry: 8592
lola: reporting
lola: not produced: 16361
lola: find path: 8694
lola: goal oriented search: 542
lola: symmetry: 8806
lola: reporting
lola: not produced: 16033
lola: find path: 8858
lola: goal oriented search: 542
lola: symmetry: 8970
lola: reporting
lola: not produced: 15685
lola: find path: 9032
lola: goal oriented search: 542
lola: symmetry: 9144
lola: reporting
lola: not produced: 15335
lola: find path: 9207
lola: goal oriented search: 542
lola: symmetry: 9319
lola: reporting
lola: not produced: 15027
lola: find path: 9361
lola: goal oriented search: 542
lola: symmetry: 9473
lola: reporting
lola: not produced: 14655
lola: find path: 9547
lola: goal oriented search: 542
lola: symmetry: 9659
lola: reporting
lola: not produced: 14469
lola: find path: 9640
lola: goal oriented search: 542
lola: symmetry: 9752
lola: reporting
lola: not produced: 14355
lola: find path: 9697
lola: goal oriented search: 542
lola: symmetry: 9809
lola: reporting
lola: not produced: 14239
lola: find path: 9755
lola: goal oriented search: 542
lola: symmetry: 9867
lola: reporting
lola: not produced: 14155
lola: find path: 9797
lola: goal oriented search: 542
lola: symmetry: 9909
lola: reporting
lola: not produced: 14107
lola: find path: 9821
lola: goal oriented search: 542
lola: symmetry: 9933
lola: reporting
lola: not produced: 13955
lola: find path: 9897
lola: goal oriented search: 542
lola: symmetry: 10009
lola: reporting
lola: not produced: 13793
lola: find path: 9978
lola: goal oriented search: 542
lola: symmetry: 10090
lola: reporting
lola: not produced: 13621
lola: find path: 10064
lola: goal oriented search: 542
lola: symmetry: 10176
lola: reporting
lola: not produced: 13521
lola: find path: 10114
lola: goal oriented search: 542
lola: symmetry: 10226
lola: reporting
lola: not produced: 13403
lola: find path: 10173
lola: goal oriented search: 542
lola: symmetry: 10285
lola: reporting
lola: not produced: 13253
lola: find path: 10248
lola: goal oriented search: 542
lola: symmetry: 10360
lola: reporting
lola: not produced: 13127
lola: find path: 10311
lola: goal oriented search: 542
lola: symmetry: 10423
lola: reporting
lola: not produced: 13059
lola: find path: 10345
lola: goal oriented search: 542
lola: symmetry: 10457
lola: reporting
lola: not produced: 13011
lola: find path: 10369
lola: goal oriented search: 542
lola: symmetry: 10481
lola: reporting
lola: not produced: 12891
lola: find path: 10429
lola: goal oriented search: 542
lola: symmetry: 10541
lola: reporting
lola: not produced: 12829
lola: find path: 10460
lola: goal oriented search: 542
lola: symmetry: 10572
lola: reporting
lola: not produced: 12779
lola: find path: 10485
lola: goal oriented search: 542
lola: symmetry: 10597
lola: reporting
lola: not produced: 12721
lola: find path: 10514
lola: goal oriented search: 542
lola: symmetry: 10626
lola: reporting
lola: not produced: 12595
lola: find path: 10577
lola: goal oriented search: 542
lola: symmetry: 10689
lola: reporting
lola: not produced: 12557
lola: find path: 10596
lola: goal oriented search: 542
lola: symmetry: 10708
lola: reporting
lola: not produced: 12517
lola: find path: 10616
lola: goal oriented search: 542
lola: symmetry: 10728
lola: reporting
lola: not produced: 12429
lola: find path: 10660
lola: goal oriented search: 542
lola: symmetry: 10772
lola: reporting
lola: not produced: 12397
lola: find path: 10676
lola: goal oriented search: 542
lola: symmetry: 10788
lola: reporting
lola: not produced: 12357
lola: find path: 10696
lola: goal oriented search: 542
lola: symmetry: 10808
lola: reporting
lola: not produced: 12313
lola: find path: 10718
lola: goal oriented search: 542
lola: symmetry: 10830
lola: reporting
lola: not produced: 12243
lola: find path: 10753
lola: goal oriented search: 542
lola: symmetry: 10865
lola: reporting
lola: not produced: 12199
lola: find path: 10775
lola: goal oriented search: 542
lola: symmetry: 10887
lola: reporting
lola: not produced: 12151
lola: find path: 10799
lola: goal oriented search: 542
lola: symmetry: 10911
lola: reporting
lola: not produced: 12123
lola: find path: 10813
lola: goal oriented search: 542
lola: symmetry: 10925
lola: reporting
lola: not produced: 12107
lola: find path: 10821
lola: goal oriented search: 542
lola: symmetry: 10933
lola: reporting
lola: not produced: 12069
lola: find path: 10840
lola: goal oriented search: 542
lola: symmetry: 10952
lola: reporting
lola: not produced: 12061
lola: find path: 10844
lola: goal oriented search: 542
lola: symmetry: 10956
lola: reporting
lola: not produced: 12023
lola: find path: 10863
lola: goal oriented search: 542
lola: symmetry: 10975
lola: reporting
lola: not produced: 11975
lola: find path: 10887
lola: goal oriented search: 542
lola: symmetry: 10999
lola: reporting
lola: not produced: 11931
lola: find path: 10909
lola: goal oriented search: 542
lola: symmetry: 11021
lola: reporting
lola: not produced: 11883
lola: find path: 10933
lola: goal oriented search: 542
lola: symmetry: 11045
lola: reporting
lola: not produced: 11841
lola: find path: 10954
lola: goal oriented search: 542
lola: symmetry: 11066
lola: reporting
lola: not produced: 11813
lola: find path: 10968
lola: goal oriented search: 542
lola: symmetry: 11080
lola: reporting
lola: not produced: 11765
lola: find path: 10992
lola: goal oriented search: 542
lola: symmetry: 11104
lola: reporting
lola: not produced: 11725
lola: find path: 11012
lola: goal oriented search: 542
lola: symmetry: 11124
lola: reporting
lola: not produced: 11673
lola: find path: 11038
lola: goal oriented search: 542
lola: symmetry: 11150
lola: reporting
lola: not produced: 11633
lola: find path: 11058
lola: goal oriented search: 542
lola: symmetry: 11170
lola: reporting
lola: not produced: 11619
lola: find path: 11065
lola: goal oriented search: 542
lola: symmetry: 11177
lola: reporting
lola: not produced: 11575
lola: find path: 11087
lola: goal oriented search: 542
lola: symmetry: 11199
lola: reporting
lola: not produced: 11545
lola: find path: 11102
lola: goal oriented search: 542
lola: symmetry: 11214
lola: reporting
lola: not produced: 11525
lola: find path: 11112
lola: goal oriented search: 542
lola: symmetry: 11224
lola: reporting
lola: not produced: 11497
lola: find path: 11126
lola: goal oriented search: 542
lola: symmetry: 11238
lola: reporting
lola: not produced: 11467
lola: find path: 11141
lola: goal oriented search: 542
lola: symmetry: 11253
lola: reporting
lola: not produced: 11431
lola: find path: 11159
lola: goal oriented search: 542
lola: symmetry: 11271
lola: reporting
lola: not produced: 11415
lola: find path: 11167
lola: goal oriented search: 542
lola: symmetry: 11279
lola: reporting
lola: not produced: 11411
lola: find path: 11169
lola: goal oriented search: 542
lola: symmetry: 11281
lola: reporting
lola: not produced: 11391
lola: find path: 11179
lola: goal oriented search: 542
lola: symmetry: 11291
lola: reporting
lola: not produced: 11375
lola: find path: 11187
lola: goal oriented search: 542
lola: symmetry: 11299
lola: reporting
lola: not produced: 11349
lola: find path: 11200
lola: goal oriented search: 542
lola: symmetry: 11312
lola: reporting
lola: not produced: 11329
lola: find path: 11210
lola: goal oriented search: 542
lola: symmetry: 11322
lola: reporting
lola: not produced: 11289
lola: find path: 11230
lola: goal oriented search: 542
lola: symmetry: 11342
lola: reporting
lola: not produced: 11269
lola: find path: 11240
lola: goal oriented search: 542
lola: symmetry: 11352
lola: reporting
lola: not produced: 11253
lola: find path: 11248
lola: goal oriented search: 542
lola: symmetry: 11360
lola: reporting
lola: not produced: 11231
lola: find path: 11259
lola: goal oriented search: 542
lola: symmetry: 11371
lola: reporting
lola: not produced: 11219
lola: find path: 11265
lola: goal oriented search: 542
lola: symmetry: 11377
lola: reporting
lola: not produced: 11205
lola: find path: 11272
lola: goal oriented search: 542
lola: symmetry: 11384
lola: reporting
lola: not produced: 11193
lola: find path: 11278
lola: goal oriented search: 542
lola: symmetry: 11390
lola: reporting
lola: not produced: 11177
lola: find path: 11286
lola: goal oriented search: 542
lola: symmetry: 11398
lola: reporting
lola: not produced: 11129
lola: find path: 11310
lola: goal oriented search: 542
lola: symmetry: 11422
lola: reporting
lola: not produced: 11117
lola: find path: 11316
lola: goal oriented search: 542
lola: symmetry: 11428
lola: reporting
lola: not produced: 11107
lola: find path: 11321
lola: goal oriented search: 542
lola: symmetry: 11433
lola: reporting
lola: not produced: 11095
lola: find path: 11327
lola: goal oriented search: 542
lola: symmetry: 11439
lola: reporting
lola: not produced: 11067
lola: find path: 11341
lola: goal oriented search: 542
lola: symmetry: 11453
lola: reporting
lola: not produced: 11039
lola: find path: 11355
lola: goal oriented search: 542
lola: symmetry: 11467
lola: reporting
lola: not produced: 11007
lola: find path: 11371
lola: goal oriented search: 542
lola: symmetry: 11483
lola: reporting
lola: not produced: 10991
lola: find path: 11379
lola: goal oriented search: 542
lola: symmetry: 11491
lola: reporting
lola: not produced: 10971
lola: find path: 11389
lola: goal oriented search: 542
lola: symmetry: 11501
lola: reporting
lola: not produced: 10955
lola: find path: 11397
lola: goal oriented search: 542
lola: symmetry: 11509
lola: reporting
lola: not produced: 10931
lola: find path: 11409
lola: goal oriented search: 542
lola: symmetry: 11521
lola: reporting
lola: not produced: 10899
lola: find path: 11425
lola: goal oriented search: 542
lola: symmetry: 11537
lola: reporting
lola: not produced: 10889
lola: find path: 11430
lola: goal oriented search: 542
lola: symmetry: 11542
lola: reporting
lola: not produced: 10873
lola: find path: 11438
lola: goal oriented search: 542
lola: symmetry: 11550
lola: reporting
lola: not produced: 10861
lola: find path: 11444
lola: goal oriented search: 542
lola: symmetry: 11556
lola: reporting
lola: not produced: 10837
lola: find path: 11456
lola: goal oriented search: 542
lola: symmetry: 11568
lola: reporting
lola: not produced: 10811
lola: find path: 11469
lola: goal oriented search: 542
lola: symmetry: 11581
lola: reporting
lola: not produced: 10799
lola: find path: 11475
lola: goal oriented search: 542
lola: symmetry: 11587
lola: reporting
lola: not produced: 10785
lola: find path: 11482
lola: goal oriented search: 542
lola: symmetry: 11594
lola: reporting
lola: not produced: 10777
lola: find path: 11486
lola: goal oriented search: 542
lola: symmetry: 11598
lola: reporting
lola: not produced: 10769
lola: find path: 11490
lola: goal oriented search: 542
lola: symmetry: 11602
lola: reporting
lola: not produced: 10761
lola: find path: 11494
lola: goal oriented search: 542
lola: symmetry: 11606
lola: reporting
lola: not produced: 10753
lola: find path: 11498
lola: goal oriented search: 542
lola: symmetry: 11610
lola: reporting
lola: not produced: 10749
lola: find path: 11500
lola: goal oriented search: 542
lola: symmetry: 11612
lola: reporting
lola: not produced: 10721
lola: find path: 11514
lola: goal oriented search: 542
lola: symmetry: 11626
lola: reporting
lola: not produced: 10717
lola: find path: 11516
lola: goal oriented search: 542
lola: symmetry: 11628
lola: reporting
lola: not produced: 10709
lola: find path: 11520
lola: goal oriented search: 542
lola: symmetry: 11632
lola: reporting
lola: not produced: 10705
lola: find path: 11522
lola: goal oriented search: 542
lola: symmetry: 11634
lola: reporting
lola: not produced: 10693
lola: find path: 11528
lola: goal oriented search: 542
lola: symmetry: 11640
lola: reporting
lola: not produced: 10693
lola: find path: 11528
lola: goal oriented search: 542
lola: symmetry: 11640
lola: reporting
lola: not produced: 10681
lola: find path: 11534
lola: goal oriented search: 542
lola: symmetry: 11646
lola: reporting
lola: not produced: 10673
lola: find path: 11538
lola: goal oriented search: 542
lola: symmetry: 11650
lola: reporting
lola: not produced: 10659
lola: find path: 11545
lola: goal oriented search: 542
lola: symmetry: 11657
lola: reporting
lola: not produced: 10643
lola: find path: 11553
lola: goal oriented search: 542
lola: symmetry: 11665
lola: reporting
lola: not produced: 10613
lola: find path: 11568
lola: goal oriented search: 542
lola: symmetry: 11680
lola: reporting
lola: not produced: 10613
lola: find path: 11568
lola: goal oriented search: 542
lola: symmetry: 11680
lola: reporting
lola: not produced: 10591
lola: find path: 11579
lola: goal oriented search: 542
lola: symmetry: 11691
lola: reporting
lola: not produced: 10587
lola: find path: 11581
lola: goal oriented search: 542
lola: symmetry: 11693
lola: reporting
lola: not produced: 10587
lola: find path: 11581
lola: goal oriented search: 542
lola: symmetry: 11693
lola: reporting
lola: not produced: 10575
lola: find path: 11587
lola: goal oriented search: 542
lola: symmetry: 11699
lola: reporting
lola: not produced: 10559
lola: find path: 11595
lola: goal oriented search: 542
lola: symmetry: 11707
lola: reporting
lola: not produced: 10559
lola: find path: 11595
lola: goal oriented search: 542
lola: symmetry: 11707
lola: reporting
lola: not produced: 10547
lola: find path: 11601
lola: goal oriented search: 542
lola: symmetry: 11713
lola: reporting
lola: not produced: 10535
lola: find path: 11607
lola: goal oriented search: 542
lola: symmetry: 11719
lola: reporting
lola: not produced: 10535
lola: find path: 11607
lola: goal oriented search: 542
lola: symmetry: 11719
lola: reporting
lola: not produced: 10527
lola: find path: 11611
lola: goal oriented search: 542
lola: symmetry: 11723
lola: reporting
lola: not produced: 10507
lola: find path: 11621
lola: goal oriented search: 542
lola: symmetry: 11733
lola: reporting
lola: not produced: 10491
lola: find path: 11629
lola: goal oriented search: 542
lola: symmetry: 11741
lola: reporting
lola: not produced: 10479
lola: find path: 11635
lola: goal oriented search: 542
lola: symmetry: 11747
lola: reporting
lola: not produced: 10479
lola: find path: 11635
lola: goal oriented search: 542
lola: symmetry: 11747
lola: reporting
lola: not produced: 10457
lola: find path: 11646
lola: goal oriented search: 542
lola: symmetry: 11758
lola: reporting
lola: not produced: 10437
lola: find path: 11656
lola: goal oriented search: 542
lola: symmetry: 11768
lola: reporting
lola: not produced: 10433
lola: find path: 11658
lola: goal oriented search: 542
lola: symmetry: 11770
lola: reporting
lola: not produced: 10433
lola: find path: 11658
lola: goal oriented search: 542
lola: symmetry: 11770
lola: reporting
lola: not produced: 10433
lola: find path: 11658
lola: goal oriented search: 542
lola: symmetry: 11770
lola: reporting
lola: not produced: 10429
lola: find path: 11660
lola: goal oriented search: 542
lola: symmetry: 11772
lola: reporting
lola: not produced: 10429
lola: find path: 11660
lola: goal oriented search: 542
lola: symmetry: 11772
lola: reporting
lola: not produced: 10417
lola: find path: 11666
lola: goal oriented search: 542
lola: symmetry: 11778
lola: reporting
lola: not produced: 10415
lola: find path: 11667
lola: goal oriented search: 542
lola: symmetry: 11779
lola: reporting
lola: not produced: 10405
lola: find path: 11672
lola: goal oriented search: 542
lola: symmetry: 11784
lola: reporting
lola: not produced: 10405
lola: find path: 11672
lola: goal oriented search: 542
lola: symmetry: 11784
lola: reporting
lola: not produced: 10397
lola: find path: 11676
lola: goal oriented search: 542
lola: symmetry: 11788
lola: reporting
lola: not produced: 10381
lola: find path: 11684
lola: goal oriented search: 542
lola: symmetry: 11796
lola: reporting
lola: not produced: 10369
lola: find path: 11690
lola: goal oriented search: 542
lola: symmetry: 11802
lola: reporting
lola: not produced: 10355
lola: find path: 11697
lola: goal oriented search: 542
lola: symmetry: 11809
lola: reporting
lola: not produced: 10343
lola: find path: 11703
lola: goal oriented search: 542
lola: symmetry: 11815
lola: reporting
lola: not produced: 10335
lola: find path: 11707
lola: goal oriented search: 542
lola: symmetry: 11819
lola: reporting
lola: not produced: 10295
lola: find path: 11727
lola: goal oriented search: 542
lola: symmetry: 11839
lola: reporting
lola: not produced: 10275
lola: find path: 11737
lola: goal oriented search: 542
lola: symmetry: 11849
lola: reporting
lola: not produced: 10267
lola: find path: 11741
lola: goal oriented search: 542
lola: symmetry: 11853
lola: reporting
lola: not produced: 10249
lola: find path: 11750
lola: goal oriented search: 542
lola: symmetry: 11862
lola: reporting
lola: not produced: 10249
lola: find path: 11750
lola: goal oriented search: 542
lola: symmetry: 11862
lola: reporting
lola: not produced: 10249
lola: find path: 11750
lola: goal oriented search: 542
lola: symmetry: 11862
lola: reporting
lola: not produced: 10229
lola: find path: 11760
lola: goal oriented search: 542
lola: symmetry: 11872
lola: reporting
lola: not produced: 10229
lola: find path: 11760
lola: goal oriented search: 542
lola: symmetry: 11872
lola: reporting
lola: not produced: 10209
lola: find path: 11770
lola: goal oriented search: 542
lola: symmetry: 11882
lola: reporting
lola: not produced: 10205
lola: find path: 11772
lola: goal oriented search: 542
lola: symmetry: 11884
lola: reporting
lola: not produced: 10191
lola: find path: 11779
lola: goal oriented search: 542
lola: symmetry: 11891
lola: reporting
lola: not produced: 10191
lola: find path: 11779
lola: goal oriented search: 542
lola: symmetry: 11891
lola: reporting
lola: not produced: 10183
lola: find path: 11783
lola: goal oriented search: 542
lola: symmetry: 11895
lola: reporting
lola: not produced: 10179
lola: find path: 11785
lola: goal oriented search: 542
lola: symmetry: 11897
lola: reporting
lola: not produced: 10175
lola: find path: 11787
lola: goal oriented search: 542
lola: symmetry: 11899
lola: reporting
lola: not produced: 10171
lola: find path: 11789
lola: goal oriented search: 542
lola: symmetry: 11901
lola: reporting
lola: not produced: 10167
lola: find path: 11791
lola: goal oriented search: 542
lola: symmetry: 11903
lola: reporting
lola: not produced: 10153
lola: find path: 11798
lola: goal oriented search: 542
lola: symmetry: 11910
lola: reporting
lola: not produced: 10153
lola: find path: 11798
lola: goal oriented search: 542
lola: symmetry: 11910
lola: reporting
lola: not produced: 10149
lola: find path: 11800
lola: goal oriented search: 542
lola: symmetry: 11912
lola: reporting
lola: not produced: 10141
lola: find path: 11804
lola: goal oriented search: 542
lola: symmetry: 11916
lola: reporting
lola: not produced: 10141
lola: find path: 11804
lola: goal oriented search: 542
lola: symmetry: 11916
lola: reporting
lola: not produced: 10137
lola: find path: 11806
lola: goal oriented search: 542
lola: symmetry: 11918
lola: reporting
lola: not produced: 10129
lola: find path: 11810
lola: goal oriented search: 542
lola: symmetry: 11922
lola: reporting
lola: not produced: 10117
lola: find path: 11816
lola: goal oriented search: 542
lola: symmetry: 11928
lola: reporting
lola: not produced: 10113
lola: find path: 11818
lola: goal oriented search: 542
lola: symmetry: 11930
lola: reporting
lola: not produced: 10113
lola: find path: 11818
lola: goal oriented search: 542
lola: symmetry: 11930
lola: reporting
lola: not produced: 10113
lola: find path: 11818
lola: goal oriented search: 542
lola: symmetry: 11930
lola: reporting
lola: not produced: 10109
lola: find path: 11820
lola: goal oriented search: 542
lola: symmetry: 11932
lola: reporting
lola: not produced: 10105
lola: find path: 11822
lola: goal oriented search: 542
lola: symmetry: 11934
lola: reporting
lola: not produced: 10105
lola: find path: 11822
lola: goal oriented search: 542
lola: symmetry: 11934
lola: reporting
lola: not produced: 10097
lola: find path: 11826
lola: goal oriented search: 542
lola: symmetry: 11938
lola: reporting
lola: not produced: 10091
lola: find path: 11829
lola: goal oriented search: 542
lola: symmetry: 11941
lola: reporting
lola: not produced: 10085
lola: find path: 11832
lola: goal oriented search: 542
lola: symmetry: 11944
lola: reporting
lola: not produced: 10085
lola: find path: 11832
lola: goal oriented search: 542
lola: symmetry: 11944
lola: reporting
lola: not produced: 10085
lola: find path: 11832
lola: goal oriented search: 542
lola: symmetry: 11944
lola: reporting
lola: not produced: 10085
lola: find path: 11832
lola: goal oriented search: 542
lola: symmetry: 11944
lola: reporting
lola: not produced: 10069
lola: find path: 11840
lola: goal oriented search: 542
lola: symmetry: 11952
lola: reporting
lola: not produced: 10057
lola: find path: 11846
lola: goal oriented search: 542
lola: symmetry: 11958
lola: reporting
lola: not produced: 10057
lola: find path: 11846
lola: goal oriented search: 542
lola: symmetry: 11958
lola: reporting
lola: not produced: 10045
lola: find path: 11852
lola: goal oriented search: 542
lola: symmetry: 11964
lola: reporting
lola: not produced: 10037
lola: find path: 11856
lola: goal oriented search: 542
lola: symmetry: 11968
lola: reporting
lola: not produced: 10037
lola: find path: 11856
lola: goal oriented search: 542
lola: symmetry: 11968
lola: reporting
lola: not produced: 10029
lola: find path: 11860
lola: goal oriented search: 542
lola: symmetry: 11972
lola: reporting
lola: not produced: 10021
lola: find path: 11864
lola: goal oriented search: 542
lola: symmetry: 11976
lola: reporting
lola: not produced: 9999
lola: find path: 11875
lola: goal oriented search: 542
lola: symmetry: 11987
lola: reporting
lola: not produced: 9999
lola: find path: 11875
lola: goal oriented search: 542
lola: symmetry: 11987
lola: reporting
lola: not produced: 9987
lola: find path: 11881
lola: goal oriented search: 542
lola: symmetry: 11993
lola: reporting
lola: not produced: 9975
lola: find path: 11887
lola: goal oriented search: 542
lola: symmetry: 11999
lola: reporting
lola: not produced: 9959
lola: find path: 11895
lola: goal oriented search: 542
lola: symmetry: 12007
lola: reporting
lola: not produced: 9943
lola: find path: 11903
lola: goal oriented search: 542
lola: symmetry: 12015
lola: reporting
lola: not produced: 9935
lola: find path: 11907
lola: goal oriented search: 542
lola: symmetry: 12019
lola: reporting
lola: not produced: 9929
lola: find path: 11910
lola: goal oriented search: 542
lola: symmetry: 12022
lola: reporting
lola: not produced: 9929
lola: find path: 11910
lola: goal oriented search: 542
lola: symmetry: 12022
lola: reporting
lola: not produced: 9921
lola: find path: 11914
lola: goal oriented search: 542
lola: symmetry: 12026
lola: reporting
lola: not produced: 9913
lola: find path: 11918
lola: goal oriented search: 542
lola: symmetry: 12030
lola: reporting
lola: not produced: 9905
lola: find path: 11922
lola: goal oriented search: 542
lola: symmetry: 12034
lola: reporting
lola: not produced: 9901
lola: find path: 11924
lola: goal oriented search: 542
lola: symmetry: 12036
lola: reporting
lola: not produced: 9901
lola: find path: 11924
lola: goal oriented search: 542
lola: symmetry: 12036
lola: reporting
lola: not produced: 9893
lola: find path: 11928
lola: goal oriented search: 542
lola: symmetry: 12040
lola: reporting
lola: not produced: 9881
lola: find path: 11934
lola: goal oriented search: 542
lola: symmetry: 12046
lola: reporting
lola: not produced: 9877
lola: find path: 11936
lola: goal oriented search: 542
lola: symmetry: 12048
lola: reporting
lola: not produced: 9869
lola: find path: 11940
lola: goal oriented search: 542
lola: symmetry: 12052
lola: reporting
lola: not produced: 9859
lola: find path: 11945
lola: goal oriented search: 542
lola: symmetry: 12057
lola: reporting
lola: not produced: 9859
lola: find path: 11945
lola: goal oriented search: 542
lola: symmetry: 12057
lola: reporting
lola: not produced: 9859
lola: find path: 11945
lola: goal oriented search: 542
lola: symmetry: 12057
lola: reporting
lola: not produced: 9855
lola: find path: 11947
lola: goal oriented search: 542
lola: symmetry: 12059
lola: reporting
lola: not produced: 9855
lola: find path: 11947
lola: goal oriented search: 542
lola: symmetry: 12059
lola: reporting
lola: not produced: 9847
lola: find path: 11951
lola: goal oriented search: 542
lola: symmetry: 12063
lola: reporting
lola: not produced: 9835
lola: find path: 11957
lola: goal oriented search: 542
lola: symmetry: 12069
lola: reporting
lola: not produced: 9829
lola: find path: 11960
lola: goal oriented search: 542
lola: symmetry: 12072
lola: reporting
lola: not produced: 9821
lola: find path: 11964
lola: goal oriented search: 542
lola: symmetry: 12076
lola: reporting
lola: not produced: 9821
lola: find path: 11964
lola: goal oriented search: 542
lola: symmetry: 12076
lola: reporting
lola: not produced: 9809
lola: find path: 11970
lola: goal oriented search: 542
lola: symmetry: 12082
lola: reporting
lola: not produced: 9805
lola: find path: 11972
lola: goal oriented search: 542
lola: symmetry: 12084
lola: reporting
lola: not produced: 9805
lola: find path: 11972
lola: goal oriented search: 542
lola: symmetry: 12084
lola: reporting
lola: not produced: 9805
lola: find path: 11972
lola: goal oriented search: 542
lola: symmetry: 12084
lola: reporting
lola: not produced: 9797
lola: find path: 11976
lola: goal oriented search: 542
lola: symmetry: 12088
lola: reporting
lola: not produced: 9789
lola: find path: 11980
lola: goal oriented search: 542
lola: symmetry: 12092
lola: reporting
lola: not produced: 9789
lola: find path: 11980
lola: goal oriented search: 542
lola: symmetry: 12092
lola: reporting
lola: not produced: 9777
lola: find path: 11986
lola: goal oriented search: 542
lola: symmetry: 12098
lola: reporting
lola: not produced: 9777
lola: find path: 11986
lola: goal oriented search: 542
lola: symmetry: 12098
lola: reporting
lola: not produced: 9767
lola: find path: 11991
lola: goal oriented search: 542
lola: symmetry: 12103
lola: reporting
lola: not produced: 9767
lola: find path: 11991
lola: goal oriented search: 542
lola: symmetry: 12103
lola: reporting
lola: not produced: 9763
lola: find path: 11993
lola: goal oriented search: 542
lola: symmetry: 12105
lola: reporting
lola: not produced: 9759
lola: find path: 11995
lola: goal oriented search: 542
lola: symmetry: 12107
lola: reporting
lola: not produced: 9755
lola: find path: 11997
lola: goal oriented search: 542
lola: symmetry: 12109
lola: reporting
lola: not produced: 9755
lola: find path: 11997
lola: goal oriented search: 542
lola: symmetry: 12109
lola: reporting
lola: not produced: 9747
lola: find path: 12001
lola: goal oriented search: 542
lola: symmetry: 12113
lola: reporting
lola: not produced: 9741
lola: find path: 12004
lola: goal oriented search: 542
lola: symmetry: 12116
lola: reporting
lola: not produced: 9737
lola: find path: 12006
lola: goal oriented search: 542
lola: symmetry: 12118
lola: reporting
lola: not produced: 9737
lola: find path: 12006
lola: goal oriented search: 542
lola: symmetry: 12118
lola: reporting
lola: not produced: 9737
lola: find path: 12006
lola: goal oriented search: 542
lola: symmetry: 12118
lola: reporting
lola: not produced: 9733
lola: find path: 12008
lola: goal oriented search: 542
lola: symmetry: 12120
lola: reporting
lola: not produced: 9733
lola: find path: 12008
lola: goal oriented search: 542
lola: symmetry: 12120
lola: reporting
lola: not produced: 9729
lola: find path: 12010
lola: goal oriented search: 542
lola: symmetry: 12122
lola: reporting
lola: not produced: 9729
lola: find path: 12010
lola: goal oriented search: 542
lola: symmetry: 12122
lola: reporting
lola: not produced: 9729
lola: find path: 12010
lola: goal oriented search: 542
lola: symmetry: 12122
lola: reporting
lola: not produced: 9721
lola: find path: 12014
lola: goal oriented search: 542
lola: symmetry: 12126
lola: reporting
lola: not produced: 9717
lola: find path: 12016
lola: goal oriented search: 542
lola: symmetry: 12128
lola: reporting
lola: not produced: 9709
lola: find path: 12020
lola: goal oriented search: 542
lola: symmetry: 12132
lola: reporting
lola: not produced: 9705
lola: find path: 12022
lola: goal oriented search: 542
lola: symmetry: 12134
lola: reporting
lola: not produced: 9705
lola: find path: 12022
lola: goal oriented search: 542
lola: symmetry: 12134
lola: reporting
lola: not produced: 9701
lola: find path: 12024
lola: goal oriented search: 542
lola: symmetry: 12136
lola: reporting
lola: not produced: 9693
lola: find path: 12028
lola: goal oriented search: 542
lola: symmetry: 12140
lola: reporting
lola: not produced: 9689
lola: find path: 12030
lola: goal oriented search: 542
lola: symmetry: 12142
lola: reporting
lola: not produced: 9689
lola: find path: 12030
lola: goal oriented search: 542
lola: symmetry: 12142
lola: reporting
lola: not produced: 9687
lola: find path: 12031
lola: goal oriented search: 542
lola: symmetry: 12143
lola: reporting
lola: not produced: 9687
lola: find path: 12031
lola: goal oriented search: 542
lola: symmetry: 12143
lola: reporting
lola: not produced: 9679
lola: find path: 12035
lola: goal oriented search: 542
lola: symmetry: 12147
lola: reporting
lola: not produced: 9675
lola: find path: 12037
lola: goal oriented search: 542
lola: symmetry: 12149
lola: reporting
lola: not produced: 9675
lola: find path: 12037
lola: goal oriented search: 542
lola: symmetry: 12149
lola: reporting
lola: not produced: 9675
lola: find path: 12037
lola: goal oriented search: 542
lola: symmetry: 12149
lola: reporting
lola: not produced: 9663
lola: find path: 12043
lola: goal oriented search: 542
lola: symmetry: 12155
lola: reporting
lola: not produced: 9659
lola: find path: 12045
lola: goal oriented search: 542
lola: symmetry: 12157
lola: reporting
lola: not produced: 9655
lola: find path: 12047
lola: goal oriented search: 542
lola: symmetry: 12159
lola: reporting
lola: not produced: 9651
lola: find path: 12049
lola: goal oriented search: 542
lola: symmetry: 12161
lola: reporting
lola: not produced: 9651
lola: find path: 12049
lola: goal oriented search: 542
lola: symmetry: 12161
lola: reporting
lola: not produced: 9651
lola: find path: 12049
lola: goal oriented search: 542
lola: symmetry: 12161
lola: reporting
lola: not produced: 9645
lola: find path: 12052
lola: goal oriented search: 542
lola: symmetry: 12164
lola: reporting
lola: not produced: 9641
lola: find path: 12054
lola: goal oriented search: 542
lola: symmetry: 12166
lola: reporting
lola: not produced: 9635
lola: find path: 12057
lola: goal oriented search: 542
lola: symmetry: 12169
lola: reporting
lola: not produced: 9635
lola: find path: 12057
lola: goal oriented search: 542
lola: symmetry: 12169
lola: reporting
lola: not produced: 9631
lola: find path: 12059
lola: goal oriented search: 542
lola: symmetry: 12171
lola: reporting
lola: not produced: 9631
lola: find path: 12059
lola: goal oriented search: 542
lola: symmetry: 12171
lola: reporting
lola: not produced: 9627
lola: find path: 12061
lola: goal oriented search: 542
lola: symmetry: 12173
lola: reporting
lola: not produced: 9623
lola: find path: 12063
lola: goal oriented search: 542
lola: symmetry: 12175
lola: reporting
lola: not produced: 9623
lola: find path: 12063
lola: goal oriented search: 542
lola: symmetry: 12175
lola: reporting
lola: not produced: 9615
lola: find path: 12067
lola: goal oriented search: 542
lola: symmetry: 12179
lola: reporting
lola: not produced: 9611
lola: find path: 12069
lola: goal oriented search: 542
lola: symmetry: 12181
lola: reporting
lola: not produced: 9603
lola: find path: 12073
lola: goal oriented search: 542
lola: symmetry: 12185
lola: reporting
lola: not produced: 9603
lola: find path: 12073
lola: goal oriented search: 542
lola: symmetry: 12185
lola: reporting
lola: not produced: 9599
lola: find path: 12075
lola: goal oriented search: 542
lola: symmetry: 12187
lola: reporting
lola: not produced: 9591
lola: find path: 12079
lola: goal oriented search: 542
lola: symmetry: 12191
lola: reporting
lola: not produced: 9587
lola: find path: 12081
lola: goal oriented search: 542
lola: symmetry: 12193
lola: reporting
lola: not produced: 9587
lola: find path: 12081
lola: goal oriented search: 542
lola: symmetry: 12193
lola: reporting
lola: not produced: 9585
lola: find path: 12082
lola: goal oriented search: 542
lola: symmetry: 12194
lola: reporting
lola: not produced: 9581
lola: find path: 12084
lola: goal oriented search: 542
lola: symmetry: 12196
lola: reporting
lola: not produced: 9577
lola: find path: 12086
lola: goal oriented search: 542
lola: symmetry: 12198
lola: reporting
lola: not produced: 9577
lola: find path: 12086
lola: goal oriented search: 542
lola: symmetry: 12198
lola: reporting
lola: not produced: 9577
lola: find path: 12086
lola: goal oriented search: 542
lola: symmetry: 12198
lola: reporting
lola: not produced: 9569
lola: find path: 12090
lola: goal oriented search: 542
lola: symmetry: 12202
lola: reporting
lola: not produced: 9565
lola: find path: 12092
lola: goal oriented search: 542
lola: symmetry: 12204
lola: reporting
lola: not produced: 9565
lola: find path: 12092
lola: goal oriented search: 542
lola: symmetry: 12204
lola: reporting
lola: not produced: 9565
lola: find path: 12092
lola: goal oriented search: 542
lola: symmetry: 12204
lola: reporting
lola: not produced: 9561
lola: find path: 12094
lola: goal oriented search: 542
lola: symmetry: 12206
lola: reporting
lola: not produced: 9561
lola: find path: 12094
lola: goal oriented search: 542
lola: symmetry: 12206
lola: reporting
lola: not produced: 9561
lola: find path: 12094
lola: goal oriented search: 542
lola: symmetry: 12206
lola: reporting
lola: not produced: 9561
lola: find path: 12094
lola: goal oriented search: 542
lola: symmetry: 12206
lola: reporting
lola: not produced: 9561
lola: find path: 12094
lola: goal oriented search: 542
lola: symmetry: 12206
lola: reporting
lola: not produced: 9561
lola: find path: 12094
lola: goal oriented search: 542
lola: symmetry: 12206
lola: reporting
lola: not produced: 9557
lola: find path: 12096
lola: goal oriented search: 542
lola: symmetry: 12208
lola: reporting
lola: not produced: 9553
lola: find path: 12098
lola: goal oriented search: 542
lola: symmetry: 12210
lola: reporting
lola: not produced: 9553
lola: find path: 12098
lola: goal oriented search: 542
lola: symmetry: 12210
lola: reporting
lola: not produced: 9553
lola: find path: 12098
lola: goal oriented search: 542
lola: symmetry: 12210
lola: reporting
lola: not produced: 9553
lola: find path: 12098
lola: goal oriented search: 542
lola: symmetry: 12210
lola: reporting
lola: not produced: 9549
lola: find path: 12100
lola: goal oriented search: 542
lola: symmetry: 12212
lola: reporting
lola: not produced: 9549
lola: find path: 12100
lola: goal oriented search: 542
lola: symmetry: 12212
lola: reporting
lola: not produced: 9549
lola: find path: 12100
lola: goal oriented search: 542
lola: symmetry: 12212
lola: reporting
lola: not produced: 9549
lola: find path: 12100
lola: goal oriented search: 542
lola: symmetry: 12212
lola: reporting
lola: not produced: 9549
lola: find path: 12100
lola: goal oriented search: 542
lola: symmetry: 12212
lola: reporting
lola: not produced: 9539
lola: find path: 12105
lola: goal oriented search: 542
lola: symmetry: 12217
lola: reporting
lola: not produced: 9523
lola: find path: 12113
lola: goal oriented search: 542
lola: symmetry: 12225
lola: reporting
lola: not produced: 9523
lola: find path: 12113
lola: goal oriented search: 542
lola: symmetry: 12225
lola: reporting
lola: not produced: 9519
lola: find path: 12115
lola: goal oriented search: 542
lola: symmetry: 12227
lola: reporting
lola: not produced: 9507
lola: find path: 12121
lola: goal oriented search: 542
lola: symmetry: 12233
lola: reporting
lola: not produced: 9505
lola: find path: 12122
lola: goal oriented search: 542
lola: symmetry: 12234
lola: reporting
lola: not produced: 9503
lola: find path: 12123
lola: goal oriented search: 542
lola: symmetry: 12235
lola: reporting
lola: not produced: 9499
lola: find path: 12125
lola: goal oriented search: 542
lola: symmetry: 12237
lola: reporting
lola: not produced: 9495
lola: find path: 12127
lola: goal oriented search: 542
lola: symmetry: 12239
lola: reporting
lola: not produced: 9487
lola: find path: 12131
lola: goal oriented search: 542
lola: symmetry: 12243
lola: reporting
lola: not produced: 9475
lola: find path: 12137
lola: goal oriented search: 542
lola: symmetry: 12249
lola: reporting
lola: not produced: 9475
lola: find path: 12137
lola: goal oriented search: 542
lola: symmetry: 12249
lola: reporting
lola: not produced: 9471
lola: find path: 12139
lola: goal oriented search: 542
lola: symmetry: 12251
lola: reporting
lola: not produced: 9471
lola: find path: 12139
lola: goal oriented search: 542
lola: symmetry: 12251
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 851

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

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