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-162089422400128.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-2, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 126K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K May 10 09:43 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 26K 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 4.2K Mar 27 10:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 27 10:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 13:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 13:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:13 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 1621290075520

starting LoLA
BK_INPUT RERS17pb114-PT-2
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: STATE EQUATION TRIES PLACE p404
lola: STATE EQUATION TRIES PLACE p848
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1317
lola: STATE EQUATION TRIES PLACE p168
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p616
lola: STATE EQUATION TRIES PLACE p777
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p303
lola: STATE EQUATION TRIES PLACE p401
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1362
lola: STATE EQUATION TRIES PLACE p1426
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p318
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p141
lola: STATE EQUATION TRIES PLACE p1365
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p636
lola: STATE EQUATION TRIES PLACE p211
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1404
lola: STATE EQUATION TRIES PLACE p1271
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p699
lola: STATE EQUATION TRIES PLACE p462
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p596
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: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1400
lola: STATE EQUATION TRIES PLACE p884
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p62
lola: STATE EQUATION TRIES PLACE p244
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 1429
lola: 0 generators; 1020306 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES PLACE p450
lola: reporting
lola: not produced: 1429
lola: 0 generators; 1020306 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1358
lola: 0 generators; 1020306 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p585
lola: 0 generators; 1020306 candidates remain ( 0%), 15 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1140
lola: 0 generators; 1020306 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1013
lola: 0 generators; 1020306 candidates remain ( 0%), 25 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1444
lola: 0 generators; 1020306 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p477
lola: 0 generators; 1020306 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p996
lola: 0 generators; 1020306 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p275
lola: 0 generators; 1020306 candidates remain ( 0%), 45 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1438
lola: 0 generators; 1020306 candidates remain ( 0%), 50 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p226
lola: 0 generators; 1020306 candidates remain ( 0%), 55 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p970
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1208
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p192
lola: STATE EQUATION TRIES PLACE p160
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1159
lola: STATE EQUATION TRIES PLACE p1143
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p833
lola: STATE EQUATION TRIES PLACE p294
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p479
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1126
lola: STATE EQUATION TRIES PLACE p1162
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p447
lola: STATE EQUATION TRIES PLACE p1241
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p814
lola: STATE EQUATION TRIES PLACE p581
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1109
lola: STATE EQUATION TRIES PLACE p1018
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p114
lola: STATE EQUATION TRIES PLACE p294
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1047
lola: STATE EQUATION TRIES PLACE p1401
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p443
lola: STATE EQUATION TRIES PLACE p7
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p911
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p422
lola: STATE EQUATION TRIES PLACE p510
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1377
lola: STATE EQUATION TRIES PLACE p1372
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p741
lola: STATE EQUATION TRIES PLACE p636
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1269
lola: STATE EQUATION TRIES PLACE p255
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p412
lola: STATE EQUATION TRIES PLACE p1076
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1314
lola: STATE EQUATION TRIES PLACE p309
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p185
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p98
lola: STATE EQUATION TRIES PLACE p354
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1283
lola: STATE EQUATION TRIES PLACE p1133
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p666
lola: STATE EQUATION TRIES PLACE p297
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p277
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p700
lola: STATE EQUATION TRIES PLACE p174
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p394
lola: STATE EQUATION TRIES PLACE p2
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p350
lola: STATE EQUATION TRIES PLACE p209
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p93
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p574
lola: STATE EQUATION TRIES PLACE p1160
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p669
lola: STATE EQUATION TRIES PLACE p1282
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p812
lola: STATE EQUATION TRIES PLACE p171
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p669
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p950
lola: STATE EQUATION TRIES PLACE p1113
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p472
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p81
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1413
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1119
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1373
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p944
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1425
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p157
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1068
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p311
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p778
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p952
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p282
lola: STATE EQUATION TRIES PLACE p510
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1226
lola: STATE EQUATION TRIES PLACE p909
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p834
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p578
lola: STATE EQUATION TRIES PLACE p235
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p909
lola: STATE EQUATION TRIES PLACE p1426
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1262
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p331
lola: STATE EQUATION TRIES PLACE p998
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p377
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p869
lola: STATE EQUATION TRIES PLACE p819
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p725
lola: STATE EQUATION TRIES PLACE p1355
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1073
lola: STATE EQUATION TRIES PLACE p385
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1294
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p861
lola: STATE EQUATION TRIES PLACE p593
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1054
lola: STATE EQUATION TRIES PLACE p66
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p532
lola: STATE EQUATION TRIES PLACE p1345
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p143
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p402
lola: STATE EQUATION TRIES PLACE p819
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p784
lola: STATE EQUATION TRIES PLACE p784
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1226
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p853
lola: STATE EQUATION TRIES PLACE p829
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1310
lola: STATE EQUATION TRIES PLACE p180
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p380
lola: STATE EQUATION TRIES PLACE p391
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p21
lola: STATE EQUATION TRIES PLACE p502
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p527
lola: STATE EQUATION TRIES PLACE p421
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1189
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p501
lola: STATE EQUATION TRIES PLACE p1218
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p96
lola: STATE EQUATION TRIES PLACE p1076
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1021
lola: STATE EQUATION TRIES PLACE p868
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p109
lola: STATE EQUATION TRIES PLACE p1383
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p159
lola: STATE EQUATION TRIES PLACE p1408
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p342
lola: STATE EQUATION TRIES PLACE p465
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1262
lola: STATE EQUATION TRIES PLACE p516
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p719
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p455
lola: STATE EQUATION TRIES PLACE p297
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1144
lola: STATE EQUATION TRIES PLACE p1238
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p423
lola: STATE EQUATION TRIES PLACE p34
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p309
lola: STATE EQUATION TRIES PLACE p1022
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1122
lola: STATE EQUATION TRIES PLACE p368
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1358
lola: STATE EQUATION TRIES PLACE p681
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1078
lola: STATE EQUATION TRIES PLACE p764
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p603
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p736
lola: STATE EQUATION TRIES PLACE p1387
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1159
lola: STATE EQUATION TRIES PLACE p1050
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1063
lola: STATE EQUATION TRIES PLACE p174
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p473
lola: STATE EQUATION TRIES PLACE p1040
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p480
lola: STATE EQUATION TRIES PLACE p1232
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1207
lola: STATE EQUATION TRIES PLACE p463
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p661
lola: STATE EQUATION TRIES PLACE p815
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p855
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p120
lola: STATE EQUATION TRIES PLACE p818
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p372
lola: STATE EQUATION TRIES PLACE p121
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p422
lola: STATE EQUATION TRIES PLACE p92
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p361
lola: STATE EQUATION TRIES PLACE p1249
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p718
lola: STATE EQUATION TRIES PLACE p500
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1210
lola: STATE EQUATION TRIES PLACE p790
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1411
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1180
lola: STATE EQUATION TRIES PLACE p1246
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p810
lola: STATE EQUATION TRIES PLACE p714
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p499
lola: STATE EQUATION TRIES PLACE p1309
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p609
lola: STATE EQUATION TRIES PLACE p668
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p394
lola: STATE EQUATION TRIES PLACE p1092
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p674
lola: STATE EQUATION TRIES PLACE p445
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1322
lola: STATE EQUATION TRIES PLACE p911
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1307
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p656
lola: STATE EQUATION TRIES PLACE p1064
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p991
lola: STATE EQUATION TRIES PLACE p1243
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1111
lola: STATE EQUATION TRIES PLACE p1229
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p22
lola: STATE EQUATION TRIES PLACE p194
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p845
lola: STATE EQUATION TRIES PLACE p33
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p695
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p192
lola: STATE EQUATION TRIES PLACE p1079
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p664
lola: STATE EQUATION TRIES PLACE p203
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1252
lola: STATE EQUATION TRIES PLACE p1393
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1013
lola: STATE EQUATION TRIES PLACE p1134
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p231
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p630
lola: STATE EQUATION TRIES PLACE p957
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1390
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p717
lola: STATE EQUATION TRIES PLACE p477
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p877
lola: STATE EQUATION TRIES PLACE p1383
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p241
lola: STATE EQUATION TRIES PLACE p331
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p963
lola: STATE EQUATION TRIES PLACE p944
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p609
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p736
lola: STATE EQUATION TRIES PLACE p294
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p326
lola: STATE EQUATION TRIES PLACE p172
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p456
lola: STATE EQUATION TRIES PLACE p696
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p442
lola: STATE EQUATION TRIES PLACE p34
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1310
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p467
lola: STATE EQUATION TRIES PLACE p301
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p578
lola: STATE EQUATION TRIES PLACE p198
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1413
lola: STATE EQUATION TRIES PLACE p364
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p926
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p650
lola: STATE EQUATION TRIES PLACE p337
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p846
lola: STATE EQUATION TRIES PLACE p1382
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p580
lola: STATE EQUATION TRIES PLACE p787
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p476
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p39
lola: STATE EQUATION TRIES PLACE p1120
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p470
lola: STATE EQUATION TRIES PLACE p1201
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p927
lola: STATE EQUATION TRIES PLACE p151
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1067
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p865
lola: STATE EQUATION TRIES PLACE p479
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p408
lola: STATE EQUATION TRIES PLACE p29
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1129
lola: STATE EQUATION TRIES PLACE p202
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p89
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p463
lola: STATE EQUATION TRIES PLACE p936
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p575
lola: STATE EQUATION TRIES PLACE p179
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1305
lola: STATE EQUATION TRIES PLACE p605
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1372
lola: STATE EQUATION TRIES PLACE p666
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1191
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p680
lola: STATE EQUATION TRIES PLACE p608
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1075
lola: STATE EQUATION TRIES PLACE p312
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1432
lola: STATE EQUATION TRIES PLACE p1131
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p172
lola: STATE EQUATION TRIES PLACE p456
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p752
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p904
lola: STATE EQUATION TRIES PLACE p1422
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p118
lola: STATE EQUATION TRIES PLACE p568
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p988
lola: STATE EQUATION TRIES PLACE p1022
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p657
lola: STATE EQUATION TRIES PLACE p1268
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p333
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p597
lola: STATE EQUATION TRIES PLACE p1123
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p977
lola: STATE EQUATION TRIES PLACE p392
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1394
lola: STATE EQUATION TRIES PLACE p684
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p538
lola: STATE EQUATION TRIES PLACE p796
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p106
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p494
lola: STATE EQUATION TRIES PLACE p1375
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p590
lola: STATE EQUATION TRIES PLACE p1008
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1030
lola: STATE EQUATION TRIES PLACE p1367
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p1201
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p852
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1114
lola: STATE EQUATION TRIES PLACE p1337
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p80
lola: STATE EQUATION TRIES PLACE p468
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p830
lola: STATE EQUATION TRIES PLACE p609
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1250
lola: STATE EQUATION TRIES PLACE p1287
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1272
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p387
lola: STATE EQUATION TRIES PLACE p1403
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p60
lola: STATE EQUATION TRIES PLACE p34
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p303
lola: STATE EQUATION TRIES PLACE p327
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p28
lola: STATE EQUATION TRIES PLACE p911
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1129
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p854
lola: STATE EQUATION TRIES PLACE p88
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p61
lola: STATE EQUATION TRIES PLACE p1033
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p199
lola: STATE EQUATION TRIES PLACE p1344
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p169
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p217
lola: STATE EQUATION TRIES PLACE p215
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p722
lola: STATE EQUATION TRIES PLACE p528
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p782
lola: STATE EQUATION TRIES PLACE p1194
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p241
lola: STATE EQUATION TRIES PLACE p209
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p474
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p484
lola: STATE EQUATION TRIES PLACE p1426
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1308
lola: STATE EQUATION TRIES PLACE p641
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1435
lola: STATE EQUATION TRIES PLACE p1063
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p968
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1419
lola: STATE EQUATION TRIES PLACE p451
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p297
lola: STATE EQUATION TRIES PLACE p575
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1283
lola: STATE EQUATION TRIES PLACE p424
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p544
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p447
lola: STATE EQUATION TRIES PLACE p68
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1372
lola: STATE EQUATION TRIES PLACE p1031
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p520
lola: STATE EQUATION TRIES PLACE p143
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1174
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1085
lola: STATE EQUATION TRIES PLACE p649
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p153
lola: STATE EQUATION TRIES PLACE p535
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1411
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p507
lola: STATE EQUATION TRIES PLACE p547
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1003
lola: STATE EQUATION TRIES PLACE p684
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1175
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1213
lola: STATE EQUATION TRIES PLACE p518
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p686
lola: STATE EQUATION TRIES PLACE p566
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p926
lola: STATE EQUATION TRIES PLACE p969
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p969
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p839
lola: STATE EQUATION TRIES PLACE p1085
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1344
lola: STATE EQUATION TRIES PLACE p130
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p434
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1228
lola: STATE EQUATION TRIES PLACE p697
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p842
lola: STATE EQUATION TRIES PLACE p313
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1045
lola: STATE EQUATION TRIES PLACE p642
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1193
lola: STATE EQUATION TRIES PLACE p269
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1166
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1398
lola: STATE EQUATION TRIES PLACE p1095
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p741
lola: STATE EQUATION TRIES PLACE p1419
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p425
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1411
lola: STATE EQUATION TRIES PLACE p426
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p268
lola: STATE EQUATION TRIES PLACE p1001
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1432
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p249
lola: STATE EQUATION TRIES PLACE p1000
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p529
lola: STATE EQUATION TRIES PLACE p1328
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p868
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p528
lola: STATE EQUATION TRIES PLACE p1014
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p396
lola: STATE EQUATION TRIES PLACE p1192
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p713
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p302
lola: STATE EQUATION TRIES PLACE p451
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p806
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p862
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p682
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p761
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p90
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p488
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1248
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p384
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p992
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1007
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1120
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p430
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1230
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1082
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p752
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p282
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p402
lola: STATE EQUATION TRIES PLACE p1301
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p940
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1122
lola: STATE EQUATION TRIES PLACE p1407
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p697
lola: STATE EQUATION TRIES PLACE p496
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1403
lola: STATE EQUATION TRIES PLACE p929
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1185
lola: STATE EQUATION TRIES PLACE p629
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p916
lola: STATE EQUATION TRIES PLACE p1157
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p835
lola: STATE EQUATION TRIES PLACE p1314
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p19
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p458
lola: STATE EQUATION TRIES PLACE p523
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1433
lola: STATE EQUATION TRIES PLACE p733
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1285
lola: STATE EQUATION TRIES PLACE p524
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p475
lola: STATE EQUATION TRIES PLACE p922

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

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