Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422400158.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 RERS17pb114-PT-8, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400158
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 113K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 10:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 10:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 13:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 13:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 73M May 5 16:51 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 1621291052609

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

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: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p404
lola: STATE EQUATION TRIES PLACE p848
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1317
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p168
lola: STATE EQUATION TRIES PLACE p616
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p777
lola: STATE EQUATION TRIES PLACE p303
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p401
lola: STATE EQUATION TRIES PLACE p1362
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1426
lola: STATE EQUATION TRIES PLACE p318
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p141
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1365
lola: STATE EQUATION TRIES PLACE p636
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p211
lola: STATE EQUATION TRIES PLACE p1404
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1271
lola: STATE EQUATION TRIES PLACE p699
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p462
lola: STATE EQUATION TRIES PLACE p596
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p988
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p57
lola: STATE EQUATION TRIES PLACE p708
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p958
lola: STATE EQUATION TRIES PLACE p1400
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p884
lola: STATE EQUATION TRIES PLACE p62
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p244
lola: LAUNCH SYMM
lola: STATE EQUATION TRIES PLACE p1023
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p510
lola: 0 generators; 1020306 candidates remain ( 0%), 0 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p629
lola: 0 generators; 1020306 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p282
lola: 0 generators; 1020306 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1354
lola: 0 generators; 1020306 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p117
lola: 0 generators; 1020306 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1321
lola: 0 generators; 1020306 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1021
lola: 0 generators; 1020306 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p995
lola: STATE EQUATION TRIES PLACE p1061
lola: 0 generators; 1020306 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p665
lola: 0 generators; 1020306 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p372
lola: 0 generators; 1020306 candidates remain ( 0%), 45 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p510
lola: STATE EQUATION TRIES PLACE p118
lola: 0 generators; 1020306 candidates remain ( 0%), 50 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1428
lola: 0 generators; 1020306 candidates remain ( 0%), 55 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p265
lola: STATE EQUATION TRIES PLACE p164
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p4
lola: STATE EQUATION TRIES PLACE p1364
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p886
lola: STATE EQUATION TRIES PLACE p1389
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p371
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p780
lola: STATE EQUATION TRIES PLACE p59
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p1437
lola: STATE EQUATION TRIES PLACE p554
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p958
lola: STATE EQUATION TRIES PLACE p694
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p861
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p1271
lola: STATE EQUATION TRIES PLACE p888
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p675
lola: STATE EQUATION TRIES PLACE p1269
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p555
lola: STATE EQUATION TRIES PLACE p205
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p437
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p864
lola: STATE EQUATION TRIES PLACE p1420
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p139
lola: STATE EQUATION TRIES PLACE p1332
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p181
lola: STATE EQUATION TRIES PLACE p149
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p374
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p825
lola: STATE EQUATION TRIES PLACE p531
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p555
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p503
lola: STATE EQUATION TRIES PLACE p76
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p981
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p302
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p1017
lola: STATE EQUATION TRIES PLACE p746
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: reporting
lola: not produced: 1202
lola: goal oriented search: 227
lola: STATE EQUATION TRIES PLACE p87
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1304
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1041
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1201
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p104
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p873
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p918
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p997
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p224
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p886
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p985
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p495
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p710
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p291
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p41
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p85
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p743
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p255
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1005
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1439
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1034
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1057
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1354
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p21
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1184
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p74
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p264
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p324
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p892
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p919
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1334
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p153
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p609
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p270
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p223
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p810
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p19
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1202
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p111
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p652
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p835
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p708
lola: STATE EQUATION TRIES PLACE p265
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1045
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1229
lola: STATE EQUATION TRIES PLACE p1382
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p895
lola: STATE EQUATION TRIES PLACE p167
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1172
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p459
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p616
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1102
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p433
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p477
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p787
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p200
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p690
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p341
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p49
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p314
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p204
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1020
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p658
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p699
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p707
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1211
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p631
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1044
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p772
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p690
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p815
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p898
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p384
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p849
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1056
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p951
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p780
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p114
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p284
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p225
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p351
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1156
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p360
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1328
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1334
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p614
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p647
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p630
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p145
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p692
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p548
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1262
lola: STATE EQUATION TRIES PLACE p823
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p933
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1375
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p393
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1117
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1162
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p84
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p697
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1276
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1202
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p810
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1131
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p72
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p151
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p363
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p145
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p264
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p546
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p940
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p26
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p824
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p331
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p548
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1396
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p28
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1041
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p429
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p61
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p144
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1113
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p90
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p701
lola: STATE EQUATION TRIES PLACE p56
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p354
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p302
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1088
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1344
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p624
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1361
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1240
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p952
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p609
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p7
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p480
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p160
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p796
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1053
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1262
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p839
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1250
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1183
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p395
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p677
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p379
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p868
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p756
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p341
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1425
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1024
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p161
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p772
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1089
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p608
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p971
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1310
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p562
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1180
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p445
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1021
lola: STATE EQUATION TRIES PLACE p505
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p717
lola: STATE EQUATION TRIES PLACE p559
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p923
lola: STATE EQUATION TRIES PLACE p34
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p543
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p111
lola: STATE EQUATION TRIES PLACE p643
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1265
lola: STATE EQUATION TRIES PLACE p1302
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p489
lola: STATE EQUATION TRIES PLACE p1
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p460
lola: STATE EQUATION TRIES PLACE p1163
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p670
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p651
lola: STATE EQUATION TRIES PLACE p2
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1080
lola: STATE EQUATION TRIES PLACE p133
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1308
lola: STATE EQUATION TRIES PLACE p438
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1178
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p915
lola: STATE EQUATION TRIES PLACE p251
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p677
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p331
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p114
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p648
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1072
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p612
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p377
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1226
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1265
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1268
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1382
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1250
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1047
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p111
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p702
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p672
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1004
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p559
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p800
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1153
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1340
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p167
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1179
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1370
lola: STATE EQUATION TRIES PLACE p1393
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p350
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p252
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1282
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1070
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1325
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p843
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p181
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p901
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1153
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1262
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p483
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p772
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1218
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p942
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p737
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p630
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p946
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p643
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p857
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p853
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p965
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1350
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p247
lola: STATE EQUATION TRIES PLACE p621
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1034
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p249
lola: STATE EQUATION TRIES PLACE p826
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1014
lola: STATE EQUATION TRIES PLACE p1371
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1160
lola: STATE EQUATION TRIES PLACE p366
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p708
lola: STATE EQUATION TRIES PLACE p1068
lola: reporting
lola: not produced: 1014
lola: goal oriented search: 415
lola: STATE EQUATION TRIES PLACE p1440

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="RERS17pb114-PT-8"
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 RERS17pb114-PT-8, 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 r182-tajo-162089422400158"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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