Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2021-input.r049-oct2-162038304300338.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/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 CloudReconfiguration-PT-309, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-162038304300338
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 133K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 101K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 23 03:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 03:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 22 12:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 22 12:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10 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 660K 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 1620655034547

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

FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1620655325119

--------------------
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 p2215
sara: try reading problem file stateEquationProblem-ConstantPlace-525.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1661
sara: try reading problem file stateEquationProblem-ConstantPlace-2346.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1914
sara: try reading problem file stateEquationProblem-ConstantPlace-14.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2138
sara: try reading problem file stateEquationProblem-ConstantPlace-348.sara.
lola: reporting
lola: not produced: 1581
lola: state equation: 3
lola: find path: 417
lola: goal oriented search: 567
lola: symmetry: 17
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p996
sara: try reading problem file stateEquationProblem-ConstantPlace-2231.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p559
sara: try reading problem file stateEquationProblem-ConstantPlace-1269.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p468
sara: try reading problem file stateEquationProblem-ConstantPlace-978.sara.
lola: reporting
lola: not produced: 1410
lola: state equation: 6
lola: find path: 568
lola: goal oriented search: 567
lola: symmetry: 34
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1768
sara: try reading problem file stateEquationProblem-ConstantPlace-2453.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p157
sara: try reading problem file stateEquationProblem-ConstantPlace-267.sara.
lola: reporting
lola: not produced: 1216
lola: state equation: 8
lola: find path: 751
lola: goal oriented search: 567
lola: symmetry: 43
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1075
lola: state equation: 8
lola: find path: 865
lola: goal oriented search: 567
lola: symmetry: 70
lola: STATE EQUATION TRIES PLACE p1812
sara: try reading problem file stateEquationProblem-ConstantPlace-2497.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1251
sara: try reading problem file stateEquationProblem-ConstantPlace-1444.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p455
sara: try reading problem file stateEquationProblem-ConstantPlace-965.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1789
sara: try reading problem file stateEquationProblem-ConstantPlace-2474.sara.
lola: reporting
lola: not produced: 1018
lola: state equation: 12
lola: find path: 917
lola: goal oriented search: 567
lola: symmetry: 71
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2536
sara: try reading problem file stateEquationProblem-ConstantPlace-1351.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2414
sara: try reading problem file stateEquationProblem-ConstantPlace-1024.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2531
sara: try reading problem file stateEquationProblem-ConstantPlace-1341.sara.
lola: reporting
lola: not produced: 986
lola: state equation: 15
lola: find path: 945
lola: goal oriented search: 567
lola: symmetry: 72
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p670
sara: try reading problem file stateEquationProblem-ConstantPlace-1565.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1128
sara: try reading problem file stateEquationProblem-ConstantPlace-1098.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1531
sara: try reading problem file stateEquationProblem-ConstantPlace-2026.sara.
lola: reporting
lola: not produced: 946
lola: state equation: 18
lola: find path: 979
lola: goal oriented search: 567
lola: symmetry: 75
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p72
sara: try reading problem file stateEquationProblem-ConstantPlace-2257.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 920
lola: state equation: 19
lola: find path: 998
lola: goal oriented search: 567
lola: symmetry: 81
lola: reporting
lola: not produced: 892
lola: state equation: 19
lola: find path: 1019
lola: goal oriented search: 567
lola: symmetry: 88

lola: STATE EQUATION TRIES PLACE p1819
sara: try reading problem file stateEquationProblem-ConstantPlace-2504.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1152
sara: try reading problem file stateEquationProblem-ConstantPlace-1146.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1396
sara: try reading problem file stateEquationProblem-ConstantPlace-1691.sara.
lola: reporting
lola: not produced: 826
lola: state equation: 22
lola: find path: 1076
lola: goal oriented search: 567
lola: symmetry: 94
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p754
sara: try reading problem file stateEquationProblem-ConstantPlace-1749.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2515
sara: try reading problem file stateEquationProblem-ConstantPlace-1325.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 797
lola: state equation: 24
lola: find path: 1093
lola: goal oriented search: 567
lola: symmetry: 104
lola: STATE EQUATION TRIES PLACE p1205
sara: try reading problem file stateEquationProblem-ConstantPlace-1352.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1724
sara: try reading problem file stateEquationProblem-ConstantPlace-2409.sara.
lola: reporting
lola: not produced: 757
lola: state equation: 26
lola: find path: 1125
lola: goal oriented search: 567
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1259
sara: try reading problem file stateEquationProblem-ConstantPlace-1454.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2433
sara: try reading problem file stateEquationProblem-ConstantPlace-1045.sara.
lola: reporting
lola: not produced: 733
lola: state equation: 28
lola: find path: 1146
lola: goal oriented search: 567
lola: symmetry: 111
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1430
sara: try reading problem file stateEquationProblem-ConstantPlace-1825.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1829
sara: try reading problem file stateEquationProblem-ConstantPlace-2514.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p892
lola: reporting
lola: not produced: 719
lola: state equation: 31
lola: find path: 1156
lola: goal oriented search: 567
lola: symmetry: 112
sara: try reading problem file stateEquationProblem-ConstantPlace-1987.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1197
sara: try reading problem file stateEquationProblem-ConstantPlace-1207.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2509
sara: try reading problem file stateEquationProblem-ConstantPlace-1309.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p740
lola: reporting
lola: not produced: 695
lola: state equation: 34
lola: find path: 1177
lola: goal oriented search: 567
lola: symmetry: 112
sara: try reading problem file stateEquationProblem-ConstantPlace-1735.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1910
sara: try reading problem file stateEquationProblem-ConstantPlace-10.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 681
lola: state equation: 35
lola: find path: 1190
lola: goal oriented search: 567
lola: symmetry: 112

lola: STATE EQUATION TRIES PLACE p1189
sara: try reading problem file stateEquationProblem-ConstantPlace-1199.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2393
sara: try reading problem file stateEquationProblem-ConstantPlace-865.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1314
sara: try reading problem file stateEquationProblem-ConstantPlace-1609.sara.
lola: reporting
lola: not produced: 136
lola: state equation: 38
lola: find path: 1195
lola: goal oriented search: 1095
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p666
sara: try reading problem file stateEquationProblem-ConstantPlace-1561.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1993
sara: try reading problem file stateEquationProblem-ConstantPlace-93.sara.
lola: reporting
lola: not produced: 129
lola: state equation: 40
lola: find path: 1200
lola: goal oriented search: 1095
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2031
sara: try reading problem file stateEquationProblem-ConstantPlace-141.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 126
lola: state equation: 41
lola: find path: 1202
lola: goal oriented search: 1095
lola: symmetry: 121
lola: STATE EQUATION TRIES PLACE p687
sara: try reading problem file stateEquationProblem-ConstantPlace-1582.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1988
sara: try reading problem file stateEquationProblem-ConstantPlace-88.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 120
lola: state equation: 43
lola: find path: 1206
lola: goal oriented search: 1095
lola: symmetry: 121
lola: STATE EQUATION TRIES PLACE p1463
sara: try reading problem file stateEquationProblem-ConstantPlace-1858.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1176
sara: try reading problem file stateEquationProblem-ConstantPlace-1186.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1182
sara: try reading problem file stateEquationProblem-ConstantPlace-1192.sara.
lola: reporting
lola: not produced: 117
lola: state equation: 46
lola: find path: 1206
lola: goal oriented search: 1095
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1083
sara: try reading problem file stateEquationProblem-ConstantPlace-893.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p865
sara: try reading problem file stateEquationProblem-ConstantPlace-1960.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p736
sara: try reading problem file stateEquationProblem-ConstantPlace-1731.sara.
lola: reporting
lola: not produced: 112
lola: state equation: 49
lola: find path: 1208
lola: goal oriented search: 1095
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1023
sara: try reading problem file stateEquationProblem-ConstantPlace-788.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1119
sara: try reading problem file stateEquationProblem-ConstantPlace-1079.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1419
sara: try reading problem file stateEquationProblem-ConstantPlace-1814.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 108
lola: state equation: 52
lola: find path: 1208
lola: goal oriented search: 1095
lola: symmetry: 122
lola: STATE EQUATION TRIES PLACE p613
sara: try reading problem file stateEquationProblem-ConstantPlace-1508.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1130
sara: try reading problem file stateEquationProblem-ConstantPlace-1102.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2003
sara: try reading problem file stateEquationProblem-ConstantPlace-113.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1177
sara: try reading problem file stateEquationProblem-ConstantPlace-1187.sara.
lola: reporting
lola: not produced: 103
lola: state equation: 56
lola: find path: 1209
lola: goal oriented search: 1095
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1117
sara: try reading problem file stateEquationProblem-ConstantPlace-1076.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1010
sara: try reading problem file stateEquationProblem-ConstantPlace-762.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1037
sara: try reading problem file stateEquationProblem-ConstantPlace-816.sara.
lola: reporting
lola: not produced: 100
lola: state equation: 59
lola: find path: 1209
lola: goal oriented search: 1095
lola: symmetry: 122
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1060
sara: try reading problem file stateEquationProblem-ConstantPlace-862.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1315
sara: try reading problem file stateEquationProblem-ConstantPlace-1610.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1399
sara: try reading problem file stateEquationProblem-ConstantPlace-1694.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 92
lola: state equation: 62
lola: find path: 1212
lola: goal oriented search: 1095
lola: symmetry: 124
lola: STATE EQUATION TRIES PLACE p1061
sara: try reading problem file stateEquationProblem-ConstantPlace-864.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1031
sara: try reading problem file stateEquationProblem-ConstantPlace-804.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1316
sara: try reading problem file stateEquationProblem-ConstantPlace-1611.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2005
sara: try reading problem file stateEquationProblem-ConstantPlace-115.sara.
lola: reporting
lola: not produced: 87
lola: state equation: 66
lola: find path: 1212
lola: goal oriented search: 1095
lola: symmetry: 125
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1184
sara: try reading problem file stateEquationProblem-ConstantPlace-1194.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1312
sara: try reading problem file stateEquationProblem-ConstantPlace-1607.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1460
sara: try reading problem file stateEquationProblem-ConstantPlace-1855.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 73
lola: state equation: 69
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 125
lola: STATE EQUATION TRIES PLACE p882
sara: try reading problem file stateEquationProblem-ConstantPlace-1977.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p889
sara: try reading problem file stateEquationProblem-ConstantPlace-1984.sara.
lola: reporting
lola: not produced: 71
lola: state equation: 71
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 125
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2014
sara: try reading problem file stateEquationProblem-ConstantPlace-124.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1038
sara: try reading problem file stateEquationProblem-ConstantPlace-818.sara.
lola: reporting
lola: not produced: 67
lola: state equation: 73
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1313
sara: try reading problem file stateEquationProblem-ConstantPlace-1608.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p897
sara: try reading problem file stateEquationProblem-ConstantPlace-1992.sara.
lola: reporting
lola: not produced: 65
lola: state equation: 75
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p932
sara: try reading problem file stateEquationProblem-ConstantPlace-2127.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p888
sara: try reading problem file stateEquationProblem-ConstantPlace-1983.sara.
lola: reporting
lola: not produced: 63
lola: state equation: 77
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p881
sara: try reading problem file stateEquationProblem-ConstantPlace-1976.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1212
sara: try reading problem file stateEquationProblem-ConstantPlace-1366.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 60
lola: state equation: 79
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128

lola: STATE EQUATION TRIES PLACE p1129
sara: try reading problem file stateEquationProblem-ConstantPlace-1099.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p732
sara: try reading problem file stateEquationProblem-ConstantPlace-1727.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2013
sara: try reading problem file stateEquationProblem-ConstantPlace-123.sara.
lola: reporting
lola: not produced: 57
lola: state equation: 82
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1427
sara: try reading problem file stateEquationProblem-ConstantPlace-1822.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1103
sara: try reading problem file stateEquationProblem-ConstantPlace-1048.sara.
lola: reporting
lola: not produced: 55
lola: state equation: 84
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1118
sara: try reading problem file stateEquationProblem-ConstantPlace-1078.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1214
sara: try reading problem file stateEquationProblem-ConstantPlace-1370.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1041
sara: try reading problem file stateEquationProblem-ConstantPlace-824.sara.
lola: reporting
lola: not produced: 52
lola: state equation: 87
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1215
sara: try reading problem file stateEquationProblem-ConstantPlace-1372.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1458
sara: try reading problem file stateEquationProblem-ConstantPlace-1853.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1989
sara: try reading problem file stateEquationProblem-ConstantPlace-89.sara.
lola: reporting
lola: not produced: 49
lola: state equation: 90
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p614
sara: try reading problem file stateEquationProblem-ConstantPlace-1509.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p733
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p646
sara: try reading problem file stateEquationProblem-ConstantPlace-1541.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p647
lola: reporting
lola: not produced: 45
lola: state equation: 94
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128
sara: try reading problem file stateEquationProblem-ConstantPlace-1542.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1153
sara: try reading problem file stateEquationProblem-ConstantPlace-1148.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1001
sara: try reading problem file stateEquationProblem-ConstantPlace-744.sara.
lola: reporting
lola: not produced: 43
lola: state equation: 96
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1213
sara: try reading problem file stateEquationProblem-ConstantPlace-1368.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2021
sara: try reading problem file stateEquationProblem-ConstantPlace-131.sara.
lola: reporting
lola: not produced: 41
lola: state equation: 98
lola: find path: 1223
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p866
sara: try reading problem file stateEquationProblem-ConstantPlace-1961.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1462
sara: try reading problem file stateEquationProblem-ConstantPlace-1857.sara.
lola: reporting
lola: not produced: 38
lola: state equation: 100
lola: find path: 1224
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1145
sara: try reading problem file stateEquationProblem-ConstantPlace-1132.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-1184.sara.
lola: reporting
lola: not produced: 35
lola: state equation: 102
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1992
sara: try reading problem file stateEquationProblem-ConstantPlace-92.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1057
sara: try reading problem file stateEquationProblem-ConstantPlace-856.sara.
lola: reporting
lola: not produced: 33
lola: state equation: 104
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1308
sara: try reading problem file stateEquationProblem-ConstantPlace-1603.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p869
sara: try reading problem file stateEquationProblem-ConstantPlace-1964.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1040
sara: try reading problem file stateEquationProblem-ConstantPlace-822.sara.
lola: reporting
lola: not produced: 30
lola: state equation: 107
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p868
sara: try reading problem file stateEquationProblem-ConstantPlace-1963.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1393
sara: try reading problem file stateEquationProblem-ConstantPlace-1688.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 28
lola: state equation: 109
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
lola: STATE EQUATION TRIES PLACE p1394
sara: try reading problem file stateEquationProblem-ConstantPlace-1689.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2004
sara: try reading problem file stateEquationProblem-ConstantPlace-114.sara.
lola: reporting
lola: not produced: 26
lola: state equation: 111
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1991
sara: try reading problem file stateEquationProblem-ConstantPlace-91.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1175
sara: try reading problem file stateEquationProblem-ConstantPlace-1185.sara.
lola: reporting
lola: not produced: 24
lola: state equation: 113
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1181
sara: try reading problem file stateEquationProblem-ConstantPlace-1191.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 23
lola: state equation: 114
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
lola: STATE EQUATION TRIES PLACE p2023
sara: try reading problem file stateEquationProblem-ConstantPlace-133.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1309
sara: try reading problem file stateEquationProblem-ConstantPlace-1604.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 21
lola: state equation: 116
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128

lola: STATE EQUATION TRIES PLACE p795
sara: try reading problem file stateEquationProblem-ConstantPlace-1790.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p880
sara: try reading problem file stateEquationProblem-ConstantPlace-1975.sara.
lola: reporting
lola: not produced: 19
lola: state equation: 118
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1062
sara: try reading problem file stateEquationProblem-ConstantPlace-866.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1146
sara: try reading problem file stateEquationProblem-ConstantPlace-1134.sara.
lola: reporting
lola: not produced: 17
lola: state equation: 120
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1144
sara: try reading problem file stateEquationProblem-ConstantPlace-1130.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 16
lola: state equation: 121
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128

lola: STATE EQUATION TRIES PLACE p1173
sara: try reading problem file stateEquationProblem-ConstantPlace-1183.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1058
sara: try reading problem file stateEquationProblem-ConstantPlace-858.sara.
lola: reporting
lola: not produced: 14
lola: state equation: 123
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1459
sara: try reading problem file stateEquationProblem-ConstantPlace-1854.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 13
lola: state equation: 124
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
lola: STATE EQUATION TRIES PLACE p1990
sara: try reading problem file stateEquationProblem-ConstantPlace-90.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2022
sara: try reading problem file stateEquationProblem-ConstantPlace-132.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1059
sara: try reading problem file stateEquationProblem-ConstantPlace-859.sara.
lola: reporting
lola: not produced: 10
lola: state equation: 127
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1972
sara: try reading problem file stateEquationProblem-ConstantPlace-72.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p867
sara: try reading problem file stateEquationProblem-ConstantPlace-1962.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1973
sara: try reading problem file stateEquationProblem-ConstantPlace-73.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7
lola: state equation: 130
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128

lola: STATE EQUATION TRIES PLACE p1986
sara: try reading problem file stateEquationProblem-ConstantPlace-86.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1461
sara: try reading problem file stateEquationProblem-ConstantPlace-1856.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1310
sara: try reading problem file stateEquationProblem-ConstantPlace-1605.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1155
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.sara.
lola: reporting
lola: not produced: 3
lola: state equation: 134
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1195.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1116
sara: try reading problem file stateEquationProblem-ConstantPlace-1074.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 1
lola: state equation: 136
lola: find path: 1225
lola: goal oriented search: 1095
lola: symmetry: 128
lola: The net does not have constant places

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="CloudReconfiguration-PT-309"
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 CloudReconfiguration-PT-309, 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 r049-oct2-162038304300338"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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