Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r106-smll-162075340600088.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is FlexibleBarrier-PT-20b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r106-smll-162075340600088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 108K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 114K 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.5K Mar 28 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 11:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 11:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 19:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 22 19:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 1621458003042

starting LoLA
BK_INPUT FlexibleBarrier-PT-20b
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: STATE EQUATION TRIES PLACE p1005
sara: try reading problem file stateEquationProblem-ConstantPlace-2219.sara.
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 4223
lola: find path: 740
lola: symmetry: 409
lola: reporting
lola: not produced: 3954
lola: find path: 936
lola: symmetry: 482
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p391
sara: try reading problem file stateEquationProblem-ConstantPlace-2121.sara.
lola: reporting
lola: not produced: 3835
lola: state equation: 1
lola: find path: 1031
lola: symmetry: 505
lola: reporting
lola: not produced: 3769
lola: state equation: 1
lola: find path: 1087
lola: symmetry: 515
lola: reporting
lola: not produced: 3704
lola: state equation: 1
lola: find path: 1126
lola: symmetry: 541
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3669
lola: state equation: 1
lola: find path: 1156
lola: symmetry: 546

lola: reporting
lola: not produced: 3621
lola: state equation: 1
lola: find path: 1182
lola: symmetry: 568
lola: STATE EQUATION TRIES PLACE p4121
sara: try reading problem file stateEquationProblem-ConstantPlace-5293.sara.
lola: reporting
lola: not produced: 3552
lola: state equation: 2
lola: find path: 1219
lola: symmetry: 599
lola: reporting
lola: not produced: 3478
lola: state equation: 2
lola: find path: 1257
lola: symmetry: 635
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3447
lola: state equation: 2
lola: find path: 1280
lola: symmetry: 643
lola: reporting
lola: not produced: 3424
lola: state equation: 2
lola: find path: 1289
lola: symmetry: 657
lola: reporting
lola: not produced: 3389
lola: state equation: 2
lola: find path: 1306
lola: symmetry: 675
lola: reporting
lola: not produced: 3340
lola: state equation: 2
lola: find path: 1339
lola: symmetry: 691
lola: reporting
lola: not produced: 3312
lola: state equation: 2
lola: find path: 1359
lola: symmetry: 699
lola: reporting
lola: not produced: 3290
lola: state equation: 2
lola: find path: 1373
lola: symmetry: 707
lola: reporting
lola: not produced: 3269
lola: state equation: 2
lola: find path: 1386
lola: symmetry: 715
lola: reporting
lola: not produced: 3248
lola: state equation: 2
lola: find path: 1399
lola: symmetry: 723
lola: reporting
lola: not produced: 3205
lola: state equation: 2
lola: find path: 1420
lola: symmetry: 745
lola: reporting
lola: not produced: 3150
lola: state equation: 2
lola: find path: 1447
lola: symmetry: 773
lola: reporting
lola: not produced: 3129
lola: state equation: 2
lola: find path: 1460
lola: symmetry: 781
lola: reporting
lola: not produced: 3109
lola: state equation: 2
lola: find path: 1472
lola: symmetry: 789
lola: reporting
lola: not produced: 3066
lola: state equation: 2
lola: find path: 1493
lola: symmetry: 811
lola: reporting
lola: not produced: 3056
lola: state equation: 2
lola: find path: 1499
lola: symmetry: 815
lola: reporting
lola: not produced: 3039
lola: state equation: 2
lola: find path: 1509
lola: symmetry: 822

lola: STATE EQUATION TRIES PLACE p3145
sara: try reading problem file stateEquationProblem-ConstantPlace-532.sara.
lola: reporting
lola: not produced: 3018
lola: state equation: 3
lola: find path: 1521
lola: symmetry: 830
lola: reporting
lola: not produced: 2974
lola: state equation: 3
lola: find path: 1549
lola: symmetry: 846
lola: reporting
lola: not produced: 2973
lola: state equation: 3
lola: find path: 1550
lola: symmetry: 846
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 2963
lola: state equation: 3
lola: find path: 1556
lola: symmetry: 850
lola: STATE EQUATION TRIES PLACE p2613
sara: try reading problem file stateEquationProblem-ConstantPlace-3368.sara.
lola: reporting
lola: not produced: 2941
lola: state equation: 4
lola: find path: 1568
lola: symmetry: 859
lola: reporting
lola: not produced: 2918
lola: state equation: 4
lola: find path: 1583
lola: symmetry: 867
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2899
lola: state equation: 4
lola: find path: 1595
lola: symmetry: 874

lola: STATE EQUATION TRIES PLACE p3238
sara: try reading problem file stateEquationProblem-ConstantPlace-718.sara.
lola: reporting
lola: not produced: 2877
lola: state equation: 5
lola: find path: 1601
lola: symmetry: 889
lola: reporting
lola: not produced: 2866
lola: state equation: 5
lola: find path: 1608
lola: symmetry: 893
lola: reporting
lola: not produced: 2855
lola: state equation: 5
lola: find path: 1615
lola: symmetry: 897
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2855
lola: state equation: 5
lola: find path: 1615
lola: symmetry: 897
lola: reporting
lola: not produced: 2855
lola: state equation: 5
lola: find path: 1615
lola: symmetry: 897
lola: reporting
lola: not produced: 2844
lola: state equation: 5
lola: find path: 1622
lola: symmetry: 901

lola: STATE EQUATION TRIES PLACE p1158
sara: try reading problem file stateEquationProblem-ConstantPlace-2758.sara.
lola: reporting
lola: not produced: 2833
lola: state equation: 6
lola: find path: 1628
lola: symmetry: 905
lola: reporting
lola: not produced: 2791
lola: state equation: 6
lola: find path: 1654
lola: symmetry: 921
lola: reporting
lola: not produced: 2770
lola: state equation: 6
lola: find path: 1667
lola: symmetry: 929
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2760
lola: state equation: 6
lola: find path: 1673
lola: symmetry: 933

lola: STATE EQUATION TRIES PLACE p5270
sara: try reading problem file stateEquationProblem-ConstantPlace-4870.sara.
lola: reporting
lola: not produced: 2748
lola: state equation: 7
lola: find path: 1679
lola: symmetry: 938
lola: reporting
lola: not produced: 2728
lola: state equation: 7
lola: find path: 1691
lola: symmetry: 946
lola: reporting
lola: not produced: 2718
lola: state equation: 7
lola: find path: 1697
lola: symmetry: 950
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2648
lola: state equation: 7
lola: find path: 1739
lola: symmetry: 978
lola: reporting
lola: not produced: 2626
lola: state equation: 7
lola: find path: 1753
lola: symmetry: 986
lola: reporting
lola: not produced: 2626
lola: state equation: 7
lola: find path: 1753
lola: symmetry: 986
lola: reporting
lola: not produced: 2575
lola: state equation: 7
lola: find path: 1784
lola: symmetry: 1006
lola: reporting
lola: not produced: 2565
lola: state equation: 7
lola: find path: 1790
lola: symmetry: 1010
lola: reporting
lola: not produced: 2545
lola: state equation: 7
lola: find path: 1802
lola: symmetry: 1018
lola: reporting
lola: not produced: 2545
lola: state equation: 7
lola: find path: 1802
lola: symmetry: 1018
lola: reporting
lola: not produced: 2545
lola: state equation: 7
lola: find path: 1802
lola: symmetry: 1018
lola: reporting
lola: not produced: 2525
lola: state equation: 7
lola: find path: 1814
lola: symmetry: 1026
lola: reporting
lola: not produced: 2475
lola: state equation: 7
lola: find path: 1832
lola: symmetry: 1058
lola: reporting
lola: not produced: 2455
lola: state equation: 7
lola: find path: 1844
lola: symmetry: 1066
lola: reporting
lola: not produced: 2435
lola: state equation: 7
lola: find path: 1856
lola: symmetry: 1074
lola: reporting
lola: not produced: 2435
lola: state equation: 7
lola: find path: 1856
lola: symmetry: 1074
lola: reporting
lola: not produced: 2395
lola: state equation: 7
lola: find path: 1874
lola: symmetry: 1096
lola: reporting
lola: not produced: 2385
lola: state equation: 7
lola: find path: 1880
lola: symmetry: 1100
lola: reporting
lola: not produced: 2365
lola: state equation: 7
lola: find path: 1886
lola: symmetry: 1114
lola: reporting
lola: not produced: 2345
lola: state equation: 7
lola: find path: 1898
lola: symmetry: 1122
lola: reporting
lola: not produced: 2315
lola: state equation: 7
lola: find path: 1916
lola: symmetry: 1134
lola: reporting
lola: not produced: 2295
lola: state equation: 7
lola: find path: 1928
lola: symmetry: 1142
lola: reporting
lola: not produced: 2285
lola: state equation: 7
lola: find path: 1934
lola: symmetry: 1146
lola: reporting
lola: not produced: 2285
lola: state equation: 7
lola: find path: 1934
lola: symmetry: 1146
lola: reporting
lola: not produced: 2277
lola: state equation: 7
lola: find path: 1939
lola: symmetry: 1149
lola: reporting
lola: not produced: 2277
lola: state equation: 7
lola: find path: 1939
lola: symmetry: 1149
lola: reporting
lola: not produced: 2267
lola: state equation: 7
lola: find path: 1945
lola: symmetry: 1153
lola: reporting
lola: not produced: 2257
lola: state equation: 7
lola: find path: 1951
lola: symmetry: 1157
lola: reporting
lola: not produced: 2239
lola: state equation: 7
lola: find path: 1962
lola: symmetry: 1164
lola: reporting
lola: not produced: 2229
lola: state equation: 7
lola: find path: 1968
lola: symmetry: 1168
lola: reporting
lola: not produced: 2228
lola: state equation: 7
lola: find path: 1969
lola: symmetry: 1168
lola: reporting
lola: not produced: 2218
lola: state equation: 7
lola: find path: 1975
lola: symmetry: 1172
lola: reporting
lola: not produced: 2208
lola: state equation: 7
lola: find path: 1981
lola: symmetry: 1176
lola: reporting
lola: not produced: 2208
lola: state equation: 7
lola: find path: 1981
lola: symmetry: 1176
lola: reporting
lola: not produced: 2198
lola: state equation: 7
lola: find path: 1987
lola: symmetry: 1180
lola: reporting
lola: not produced: 2158
lola: state equation: 7
lola: find path: 2005
lola: symmetry: 1202
lola: reporting
lola: not produced: 2148
lola: state equation: 7
lola: find path: 2011
lola: symmetry: 1206
lola: reporting
lola: not produced: 2148
lola: state equation: 7
lola: find path: 2011
lola: symmetry: 1206
lola: reporting
lola: not produced: 2128
lola: state equation: 7
lola: find path: 2023
lola: symmetry: 1214
lola: reporting
lola: not produced: 2128
lola: state equation: 7
lola: find path: 2023
lola: symmetry: 1214
lola: reporting
lola: not produced: 2128
lola: state equation: 7
lola: find path: 2023
lola: symmetry: 1214
lola: reporting
lola: not produced: 2108
lola: state equation: 7
lola: find path: 2035
lola: symmetry: 1222
lola: reporting
lola: not produced: 2108
lola: state equation: 7
lola: find path: 2035
lola: symmetry: 1222
lola: reporting
lola: not produced: 2108
lola: state equation: 7
lola: find path: 2035
lola: symmetry: 1222
lola: reporting
lola: not produced: 2078
lola: state equation: 7
lola: find path: 2053
lola: symmetry: 1234
lola: reporting
lola: not produced: 2048
lola: state equation: 7
lola: find path: 2065
lola: symmetry: 1252
lola: reporting
lola: not produced: 2008
lola: state equation: 7
lola: find path: 2089
lola: symmetry: 1268
lola: reporting
lola: not produced: 1998
lola: state equation: 7
lola: find path: 2095
lola: symmetry: 1272
lola: reporting
lola: not produced: 1988
lola: state equation: 7
lola: find path: 2101
lola: symmetry: 1276
lola: reporting
lola: not produced: 1978
lola: state equation: 7
lola: find path: 2107
lola: symmetry: 1280
lola: reporting
lola: not produced: 1978
lola: state equation: 7
lola: find path: 2107
lola: symmetry: 1280
lola: reporting
lola: not produced: 1978
lola: state equation: 7
lola: find path: 2107
lola: symmetry: 1280
lola: reporting
lola: not produced: 1958
lola: state equation: 7
lola: find path: 2119
lola: symmetry: 1288
lola: reporting
lola: not produced: 1948
lola: state equation: 7
lola: find path: 2125
lola: symmetry: 1292
lola: reporting
lola: not produced: 1938
lola: state equation: 7
lola: find path: 2131
lola: symmetry: 1296
lola: reporting
lola: not produced: 1928
lola: state equation: 7
lola: find path: 2137
lola: symmetry: 1300
lola: reporting
lola: not produced: 1928
lola: state equation: 7
lola: find path: 2137
lola: symmetry: 1300
lola: reporting
lola: not produced: 1888
lola: state equation: 7
lola: find path: 2155
lola: symmetry: 1322
lola: reporting
lola: not produced: 1858
lola: state equation: 7
lola: find path: 2167
lola: symmetry: 1340
lola: reporting
lola: not produced: 1828
lola: state equation: 7
lola: find path: 2179
lola: symmetry: 1358
lola: reporting
lola: not produced: 1828
lola: state equation: 7
lola: find path: 2179
lola: symmetry: 1358
lola: reporting
lola: not produced: 1808
lola: state equation: 7
lola: find path: 2185
lola: symmetry: 1372
lola: reporting
lola: not produced: 1798
lola: state equation: 7
lola: find path: 2191
lola: symmetry: 1376
lola: reporting
lola: not produced: 1788
lola: state equation: 7
lola: find path: 2197
lola: symmetry: 1380
lola: reporting
lola: not produced: 1768
lola: state equation: 7
lola: find path: 2209
lola: symmetry: 1388
lola: reporting
lola: not produced: 1768
lola: state equation: 7
lola: find path: 2209
lola: symmetry: 1388
lola: reporting
lola: not produced: 1738
lola: state equation: 7
lola: find path: 2221
lola: symmetry: 1406
lola: reporting
lola: not produced: 1738
lola: state equation: 7
lola: find path: 2221
lola: symmetry: 1406
lola: reporting
lola: not produced: 1715
lola: state equation: 7
lola: find path: 2236
lola: symmetry: 1414
lola: reporting
lola: not produced: 1715
lola: state equation: 7
lola: find path: 2236
lola: symmetry: 1414
lola: reporting
lola: not produced: 1695
lola: state equation: 7
lola: find path: 2248
lola: symmetry: 1422
lola: reporting
lola: not produced: 1695
lola: state equation: 7
lola: find path: 2248
lola: symmetry: 1422
lola: reporting
lola: not produced: 1675
lola: state equation: 7
lola: find path: 2260
lola: symmetry: 1430
lola: reporting
lola: not produced: 1665
lola: state equation: 7
lola: find path: 2266
lola: symmetry: 1434
lola: reporting
lola: not produced: 1645
lola: state equation: 7
lola: find path: 2278
lola: symmetry: 1442
lola: reporting
lola: not produced: 1632
lola: state equation: 7
lola: find path: 2287
lola: symmetry: 1446
lola: reporting
lola: not produced: 1622
lola: state equation: 7
lola: find path: 2293
lola: symmetry: 1450
lola: reporting
lola: not produced: 1612
lola: state equation: 7
lola: find path: 2299
lola: symmetry: 1454
lola: reporting
lola: not produced: 1612
lola: state equation: 7
lola: find path: 2299
lola: symmetry: 1454
lola: reporting
lola: not produced: 1602
lola: state equation: 7
lola: find path: 2305
lola: symmetry: 1458
lola: reporting
lola: not produced: 1592
lola: state equation: 7
lola: find path: 2311
lola: symmetry: 1462
lola: reporting
lola: not produced: 1592
lola: state equation: 7
lola: find path: 2311
lola: symmetry: 1462
lola: reporting
lola: not produced: 1592
lola: state equation: 7
lola: find path: 2311
lola: symmetry: 1462
lola: reporting
lola: not produced: 1592
lola: state equation: 7
lola: find path: 2311
lola: symmetry: 1462
lola: reporting
lola: not produced: 1592
lola: state equation: 7
lola: find path: 2311
lola: symmetry: 1462
lola: reporting
lola: not produced: 1592
lola: state equation: 7
lola: find path: 2311
lola: symmetry: 1462
lola: reporting
lola: not produced: 1562
lola: state equation: 7
lola: find path: 2323
lola: symmetry: 1480
lola: reporting
lola: not produced: 1562
lola: state equation: 7
lola: find path: 2323
lola: symmetry: 1480
lola: reporting
lola: not produced: 1552
lola: state equation: 7
lola: find path: 2329
lola: symmetry: 1484
lola: reporting
lola: not produced: 1552
lola: state equation: 7
lola: find path: 2329
lola: symmetry: 1484
lola: reporting
lola: not produced: 1552
lola: state equation: 7
lola: find path: 2329
lola: symmetry: 1484
lola: reporting
lola: not produced: 1542
lola: state equation: 7
lola: find path: 2335
lola: symmetry: 1488
lola: reporting
lola: not produced: 1542
lola: state equation: 7
lola: find path: 2335
lola: symmetry: 1488
lola: reporting
lola: not produced: 1532
lola: state equation: 7
lola: find path: 2341
lola: symmetry: 1492
lola: reporting
lola: not produced: 1532
lola: state equation: 7
lola: find path: 2341
lola: symmetry: 1492
lola: reporting
lola: not produced: 1532
lola: state equation: 7
lola: find path: 2341
lola: symmetry: 1492
lola: reporting
lola: not produced: 1532
lola: state equation: 7
lola: find path: 2341
lola: symmetry: 1492
lola: reporting
lola: not produced: 1522
lola: state equation: 7
lola: find path: 2347
lola: symmetry: 1496
lola: reporting
lola: not produced: 1522
lola: state equation: 7
lola: find path: 2347
lola: symmetry: 1496
lola: reporting
lola: not produced: 1522
lola: state equation: 7
lola: find path: 2347
lola: symmetry: 1496
lola: reporting
lola: not produced: 1512
lola: state equation: 7
lola: find path: 2353
lola: symmetry: 1500
lola: reporting
lola: not produced: 1512
lola: state equation: 7
lola: find path: 2353
lola: symmetry: 1500
lola: reporting
lola: not produced: 1512
lola: state equation: 7
lola: find path: 2353
lola: symmetry: 1500
lola: reporting
lola: not produced: 1512
lola: state equation: 7
lola: find path: 2353
lola: symmetry: 1500
lola: reporting
lola: not produced: 1512
lola: state equation: 7
lola: find path: 2353
lola: symmetry: 1500
lola: reporting
lola: not produced: 1512
lola: state equation: 7
lola: find path: 2353
lola: symmetry: 1500
lola: reporting
lola: not produced: 1494
lola: state equation: 7
lola: find path: 2364
lola: symmetry: 1507
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1484
lola: state equation: 7
lola: find path: 2370
lola: symmetry: 1511
lola: reporting
lola: not produced: 1474
lola: state equation: 7
lola: find path: 2376
lola: symmetry: 1515
lola: reporting
lola: not produced: 1454
lola: state equation: 7
lola: find path: 2388
lola: symmetry: 1523
lola: reporting
lola: not produced: 1454
lola: state equation: 7
lola: find path: 2388
lola: symmetry: 1523
lola: reporting
lola: not produced: 1444
lola: state equation: 7
lola: find path: 2394
lola: symmetry: 1527
lola: reporting
lola: not produced: 1404
lola: state equation: 7
lola: find path: 2412
lola: symmetry: 1549
lola: reporting
lola: not produced: 1404
lola: state equation: 7
lola: find path: 2412
lola: symmetry: 1549
lola: reporting
lola: not produced: 1384
lola: state equation: 7
lola: find path: 2418
lola: symmetry: 1563
lola: reporting
lola: not produced: 1384
lola: state equation: 7
lola: find path: 2418
lola: symmetry: 1563
lola: reporting
lola: not produced: 1374
lola: state equation: 7
lola: find path: 2424
lola: symmetry: 1567
lola: reporting
lola: not produced: 1374
lola: state equation: 7
lola: find path: 2424
lola: symmetry: 1567
lola: reporting
lola: not produced: 1374
lola: state equation: 7
lola: find path: 2424
lola: symmetry: 1567
lola: reporting
lola: not produced: 1374
lola: state equation: 7
lola: find path: 2424
lola: symmetry: 1567
lola: reporting
lola: not produced: 1374
lola: state equation: 7
lola: find path: 2424
lola: symmetry: 1567
lola: reporting
lola: not produced: 1364
lola: state equation: 7
lola: find path: 2430
lola: symmetry: 1571
lola: reporting
lola: not produced: 1354
lola: state equation: 7
lola: find path: 2436
lola: symmetry: 1575
lola: reporting
lola: not produced: 1344
lola: state equation: 7
lola: find path: 2442
lola: symmetry: 1579
lola: reporting
lola: not produced: 1344
lola: state equation: 7
lola: find path: 2442
lola: symmetry: 1579
lola: reporting
lola: not produced: 1344
lola: state equation: 7
lola: find path: 2442
lola: symmetry: 1579
lola: reporting
lola: not produced: 1344
lola: state equation: 7
lola: find path: 2442
lola: symmetry: 1579
lola: reporting
lola: not produced: 1344
lola: state equation: 7
lola: find path: 2442
lola: symmetry: 1579
lola: reporting
lola: not produced: 1314
lola: state equation: 7
lola: find path: 2454
lola: symmetry: 1597
lola: reporting
lola: not produced: 1304
lola: state equation: 7
lola: find path: 2460
lola: symmetry: 1601
lola: reporting
lola: not produced: 1304
lola: state equation: 7
lola: find path: 2460
lola: symmetry: 1601
lola: reporting
lola: not produced: 1284
lola: state equation: 7
lola: find path: 2466
lola: symmetry: 1615
lola: reporting
lola: not produced: 1284
lola: state equation: 7
lola: find path: 2466
lola: symmetry: 1615
lola: reporting
lola: not produced: 1284
lola: state equation: 7
lola: find path: 2466
lola: symmetry: 1615
lola: reporting
lola: not produced: 1284
lola: state equation: 7
lola: find path: 2466
lola: symmetry: 1615
lola: reporting
lola: not produced: 1284
lola: state equation: 7
lola: find path: 2466
lola: symmetry: 1615
lola: reporting
lola: not produced: 1284
lola: state equation: 7
lola: find path: 2466
lola: symmetry: 1615
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1254
lola: state equation: 7
lola: find path: 2478
lola: symmetry: 1633
lola: reporting
lola: not produced: 1244
lola: state equation: 7
lola: find path: 2484
lola: symmetry: 1637
lola: reporting
lola: not produced: 1224
lola: state equation: 7
lola: find path: 2490
lola: symmetry: 1651
lola: reporting
lola: not produced: 1224
lola: state equation: 7
lola: find path: 2490
lola: symmetry: 1651
lola: reporting
lola: not produced: 1214
lola: state equation: 7
lola: find path: 2496
lola: symmetry: 1655
lola: reporting
lola: not produced: 1214
lola: state equation: 7
lola: find path: 2496
lola: symmetry: 1655
lola: reporting
lola: not produced: 1204
lola: state equation: 7
lola: find path: 2502
lola: symmetry: 1659
lola: reporting
lola: not produced: 1204
lola: state equation: 7
lola: find path: 2502
lola: symmetry: 1659
lola: reporting
lola: not produced: 1204
lola: state equation: 7
lola: find path: 2502
lola: symmetry: 1659
lola: reporting
lola: not produced: 1204
lola: state equation: 7
lola: find path: 2502
lola: symmetry: 1659
lola: reporting
lola: not produced: 1194
lola: state equation: 7
lola: find path: 2508
lola: symmetry: 1663
lola: reporting
lola: not produced: 1184
lola: state equation: 7
lola: find path: 2514
lola: symmetry: 1667
lola: reporting
lola: not produced: 1184
lola: state equation: 7
lola: find path: 2514
lola: symmetry: 1667
lola: reporting
lola: not produced: 1184
lola: state equation: 7
lola: find path: 2514
lola: symmetry: 1667
lola: reporting
lola: not produced: 1184
lola: state equation: 7
lola: find path: 2514
lola: symmetry: 1667
lola: reporting
lola: not produced: 1184
lola: state equation: 7
lola: find path: 2514
lola: symmetry: 1667
lola: reporting
lola: not produced: 1174
lola: state equation: 7
lola: find path: 2520
lola: symmetry: 1671
lola: reporting
lola: not produced: 1174
lola: state equation: 7
lola: find path: 2520
lola: symmetry: 1671
lola: reporting
lola: not produced: 1174
lola: state equation: 7
lola: find path: 2520
lola: symmetry: 1671
lola: reporting
lola: not produced: 1174
lola: state equation: 7
lola: find path: 2520
lola: symmetry: 1671
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1164
lola: state equation: 7
lola: find path: 2526
lola: symmetry: 1675
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1154
lola: state equation: 7
lola: find path: 2532
lola: symmetry: 1679
lola: reporting
lola: not produced: 1144
lola: state equation: 7
lola: find path: 2538
lola: symmetry: 1683
lola: reporting
lola: not produced: 1134
lola: state equation: 7
lola: find path: 2544
lola: symmetry: 1687
lola: reporting
lola: not produced: 1134
lola: state equation: 7
lola: find path: 2544
lola: symmetry: 1687
lola: reporting
lola: not produced: 1134
lola: state equation: 7
lola: find path: 2544
lola: symmetry: 1687
lola: reporting
lola: not produced: 1134
lola: state equation: 7
lola: find path: 2544
lola: symmetry: 1687
lola: reporting
lola: not produced: 1124
lola: state equation: 7
lola: find path: 2550
lola: symmetry: 1691
lola: reporting
lola: not produced: 1124
lola: state equation: 7
lola: find path: 2550
lola: symmetry: 1691
lola: reporting
lola: not produced: 1124
lola: state equation: 7
lola: find path: 2550
lola: symmetry: 1691
lola: reporting
lola: not produced: 1114
lola: state equation: 7
lola: find path: 2556
lola: symmetry: 1695
lola: reporting
lola: not produced: 1114
lola: state equation: 7
lola: find path: 2556
lola: symmetry: 1695
lola: reporting
lola: not produced: 1114
lola: state equation: 7
lola: find path: 2556
lola: symmetry: 1695
lola: reporting
lola: not produced: 1114
lola: state equation: 7
lola: find path: 2556
lola: symmetry: 1695
lola: reporting
lola: not produced: 1114
lola: state equation: 7
lola: find path: 2556
lola: symmetry: 1695
lola: reporting
lola: not produced: 1104
lola: state equation: 7
lola: find path: 2562
lola: symmetry: 1699
lola: reporting
lola: not produced: 1104
lola: state equation: 7
lola: find path: 2562
lola: symmetry: 1699
lola: reporting
lola: not produced: 1104
lola: state equation: 7
lola: find path: 2562
lola: symmetry: 1699
lola: reporting
lola: not produced: 1104
lola: state equation: 7
lola: find path: 2562
lola: symmetry: 1699
lola: reporting
lola: not produced: 1104
lola: state equation: 7
lola: find path: 2562
lola: symmetry: 1699
lola: reporting
lola: not produced: 1104
lola: state equation: 7
lola: find path: 2562
lola: symmetry: 1699
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1094
lola: state equation: 7
lola: find path: 2568
lola: symmetry: 1703
lola: reporting
lola: not produced: 1084
lola: state equation: 7
lola: find path: 2574
lola: symmetry: 1707
lola: reporting
lola: not produced: 1084
lola: state equation: 7
lola: find path: 2574
lola: symmetry: 1707
lola: reporting
lola: not produced: 1084
lola: state equation: 7
lola: find path: 2574
lola: symmetry: 1707
lola: reporting
lola: not produced: 1074
lola: state equation: 7
lola: find path: 2580
lola: symmetry: 1711
lola: reporting
lola: not produced: 1074
lola: state equation: 7
lola: find path: 2580
lola: symmetry: 1711
lola: reporting
lola: not produced: 1054
lola: state equation: 7
lola: find path: 2592
lola: symmetry: 1719
lola: reporting
lola: not produced: 1054
lola: state equation: 7
lola: find path: 2592
lola: symmetry: 1719
lola: reporting
lola: not produced: 1054
lola: state equation: 7
lola: find path: 2592
lola: symmetry: 1719
sara: warning, failure of lp_solve (at job 966)
lola: reporting
lola: not produced: 1034
lola: state equation: 7
lola: find path: 2598
lola: symmetry: 1733
lola: reporting
lola: not produced: 1034
lola: state equation: 7
lola: find path: 2598
lola: symmetry: 1733
lola: reporting
lola: not produced: 1034
lola: state equation: 7
lola: find path: 2598
lola: symmetry: 1733
lola: reporting
lola: not produced: 1034
lola: state equation: 7
lola: find path: 2598
lola: symmetry: 1733
lola: reporting
lola: not produced: 1034
lola: state equation: 7
lola: find path: 2598
lola: symmetry: 1733
lola: reporting
lola: not produced: 1024
lola: state equation: 7
lola: find path: 2604
lola: symmetry: 1737
lola: reporting
lola: not produced: 1024
lola: state equation: 7
lola: find path: 2604
lola: symmetry: 1737
lola: reporting
lola: not produced: 1024
lola: state equation: 7
lola: find path: 2604
lola: symmetry: 1737
lola: reporting
lola: not produced: 1024
lola: state equation: 7
lola: find path: 2604
lola: symmetry: 1737
lola: reporting
lola: not produced: 1024
lola: state equation: 7
lola: find path: 2604
lola: symmetry: 1737
lola: reporting
lola: not produced: 1024
lola: state equation: 7
lola: find path: 2604
lola: symmetry: 1737
lola: reporting
lola: not produced: 1024
lola: state equation: 7
lola: find path: 2604
lola: symmetry: 1737
lola: reporting
lola: not produced: 994
lola: state equation: 7
lola: find path: 2616
lola: symmetry: 1755
lola: reporting
lola: not produced: 994
lola: state equation: 7
lola: find path: 2616
lola: symmetry: 1755
lola: reporting
lola: not produced: 984
lola: state equation: 7
lola: find path: 2622
lola: symmetry: 1759
lola: reporting
lola: not produced: 984
lola: state equation: 7
lola: find path: 2622
lola: symmetry: 1759
lola: reporting
lola: not produced: 974
lola: state equation: 7
lola: find path: 2628
lola: symmetry: 1763
lola: reporting
lola: not produced: 974
lola: state equation: 7
lola: find path: 2628
lola: symmetry: 1763
lola: reporting
lola: not produced: 974
lola: state equation: 7
lola: find path: 2628
lola: symmetry: 1763
lola: reporting
lola: not produced: 974
lola: state equation: 7
lola: find path: 2628
lola: symmetry: 1763
lola: reporting
lola: not produced: 974
lola: state equation: 7
lola: find path: 2628
lola: symmetry: 1763
lola: reporting
lola: not produced: 974
lola: state equation: 7
lola: find path: 2628
lola: symmetry: 1763
lola: reporting
lola: not produced: 974
lola: state equation: 7
lola: find path: 2628
lola: symmetry: 1763
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 964
lola: state equation: 7
lola: find path: 2634
lola: symmetry: 1767
lola: reporting
lola: not produced: 954
lola: state equation: 7
lola: find path: 2640
lola: symmetry: 1771
lola: reporting
lola: not produced: 954
lola: state equation: 7
lola: find path: 2640
lola: symmetry: 1771
lola: reporting
lola: not produced: 954
lola: state equation: 7
lola: find path: 2640
lola: symmetry: 1771
lola: reporting
lola: not produced: 944
lola: state equation: 7
lola: find path: 2646
lola: symmetry: 1775
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 924
lola: state equation: 7
lola: find path: 2658
lola: symmetry: 1783
lola: reporting
lola: not produced: 914
lola: state equation: 7
lola: find path: 2664
lola: symmetry: 1787
lola: reporting
lola: not produced: 914
lola: state equation: 7
lola: find path: 2664
lola: symmetry: 1787
lola: reporting
lola: not produced: 914
lola: state equation: 7
lola: find path: 2664
lola: symmetry: 1787
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 904
lola: state equation: 7
lola: find path: 2670
lola: symmetry: 1791
lola: reporting
lola: not produced: 884
lola: state equation: 7
lola: find path: 2676
lola: symmetry: 1805

lola: reporting
lola: not produced: 884
lola: state equation: 7
lola: find path: 2676
lola: symmetry: 1805
lola: STATE EQUATION TRIES PLACE p1668
sara: try reading problem file stateEquationProblem-ConstantPlace-4768.sara.
lola: reporting
lola: not produced: 884
lola: state equation: 8
lola: find path: 2675
lola: symmetry: 1805
lola: reporting
lola: not produced: 884
lola: state equation: 8
lola: find path: 2675
lola: symmetry: 1805
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 884
lola: state equation: 8
lola: find path: 2675
lola: symmetry: 1805

lola: STATE EQUATION TRIES PLACE p2922
sara: try reading problem file stateEquationProblem-ConstantPlace-4592.sara.
lola: reporting
lola: not produced: 882
lola: state equation: 9
lola: find path: 2675
lola: symmetry: 1806
lola: reporting
lola: not produced: 882
lola: state equation: 9
lola: find path: 2675
lola: symmetry: 1806
lola: reporting
lola: not produced: 872
lola: state equation: 9
lola: find path: 2681
lola: symmetry: 1810
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 862
lola: state equation: 9
lola: find path: 2687
lola: symmetry: 1814
lola: reporting
lola: not produced: 862
lola: state equation: 9
lola: find path: 2687
lola: symmetry: 1814
lola: reporting
lola: not produced: 862
lola: state equation: 9
lola: find path: 2687
lola: symmetry: 1814
lola: reporting
lola: not produced: 862
lola: state equation: 9
lola: find path: 2687
lola: symmetry: 1814
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818

lola: reporting
lola: not produced: 852
lola: state equation: 9
lola: find path: 2693
lola: symmetry: 1818
lola: STATE EQUATION TRIES PLACE p720
sara: try reading problem file stateEquationProblem-ConstantPlace-3630.sara.
lola: reporting
lola: not produced: 850
lola: state equation: 10
lola: find path: 2693
lola: symmetry: 1819
lola: reporting
lola: not produced: 850
lola: state equation: 10
lola: find path: 2693
lola: symmetry: 1819
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 850
lola: state equation: 10
lola: find path: 2693
lola: symmetry: 1819
lola: STATE EQUATION TRIES PLACE p3291
sara: try reading problem file stateEquationProblem-ConstantPlace-801.sara.
lola: reporting
lola: not produced: 849
lola: state equation: 11
lola: find path: 2693
lola: symmetry: 1819
lola: reporting
lola: not produced: 849
lola: state equation: 11
lola: find path: 2693
lola: symmetry: 1819
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 849
lola: state equation: 11
lola: find path: 2693
lola: symmetry: 1819
lola: reporting
lola: not produced: 849
lola: state equation: 11
lola: find path: 2693
lola: symmetry: 1819
lola: reporting
lola: not produced: 849
lola: state equation: 11
lola: find path: 2693
lola: symmetry: 1819
lola: reporting
lola: not produced: 839
lola: state equation: 11
lola: find path: 2699
lola: symmetry: 1823
lola: reporting
lola: not produced: 839
lola: state equation: 11
lola: find path: 2699
lola: symmetry: 1823
lola: reporting
lola: not produced: 839
lola: state equation: 11
lola: find path: 2699
lola: symmetry: 1823

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="FlexibleBarrier-PT-20b"
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 FlexibleBarrier-PT-20b, 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 r106-smll-162075340600088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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