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.r220-tall-162098212400533.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ShieldPPPt-PT-100A, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r220-tall-162098212400533
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 132K May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.3K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 82K May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 18:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 5 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 685K May 5 16:52 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 1621034774947

starting LoLA
BK_INPUT ShieldPPPt-PT-100A
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking

BK_STOP 1621036413400

--------------------
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 p1866
sara: try reading problem file stateEquationProblem-ConstantPlace-44.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1271
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1189
lola: find path: 82
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1180
lola: find path: 91
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1171
lola: find path: 100
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1167
lola: find path: 104
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
sara: warning, failure of lp_solve (at job 2248)
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1163
lola: find path: 108
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p909
sara: try reading problem file stateEquationProblem-ConstantPlace-2022.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
sara: warning, failure of lp_solve (at job 82)
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p1826
lola: STATE EQUATION TRIES PLACE p445
lola: STATE EQUATION TRIES PLACE p666
lola: STATE EQUATION TRIES PLACE p584
lola: STATE EQUATION TRIES PLACE p554
lola: STATE EQUATION TRIES PLACE p467
lola: STATE EQUATION TRIES PLACE p662
lola: STATE EQUATION TRIES PLACE p437
lola: STATE EQUATION TRIES PLACE p518
lola: STATE EQUATION TRIES PLACE p336
lola: STATE EQUATION TRIES PLACE p544
lola: STATE EQUATION TRIES PLACE p1287
lola: STATE EQUATION TRIES PLACE p1531
lola: STATE EQUATION TRIES PLACE p1570
lola: STATE EQUATION TRIES PLACE p379
lola: STATE EQUATION TRIES PLACE p1436
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p686
lola: STATE EQUATION TRIES PLACE p613
lola: STATE EQUATION TRIES PLACE p1401
lola: STATE EQUATION TRIES PLACE p70
lola: STATE EQUATION TRIES PLACE p166
lola: STATE EQUATION TRIES PLACE p169
lola: STATE EQUATION TRIES PLACE p1929
lola: STATE EQUATION TRIES PLACE p116
lola: STATE EQUATION TRIES PLACE p1722
lola: STATE EQUATION TRIES PLACE p1072
lola: STATE EQUATION TRIES PLACE p566
lola: STATE EQUATION TRIES PLACE p1658
lola: STATE EQUATION TRIES PLACE p1859
lola: STATE EQUATION TRIES PLACE p807
lola: STATE EQUATION TRIES PLACE p1184
lola: STATE EQUATION TRIES PLACE p107
lola: STATE EQUATION TRIES PLACE p809
lola: STATE EQUATION TRIES PLACE p20
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p784
lola: STATE EQUATION TRIES PLACE p784
lola: STATE EQUATION TRIES PLACE p1539
lola: STATE EQUATION TRIES PLACE p276
lola: STATE EQUATION TRIES PLACE p987
lola: STATE EQUATION TRIES PLACE p1384
lola: STATE EQUATION TRIES PLACE p857
lola: STATE EQUATION TRIES PLACE p262
lola: STATE EQUATION TRIES PLACE p1036
lola: STATE EQUATION TRIES PLACE p1229
lola: STATE EQUATION TRIES PLACE p34
lola: STATE EQUATION TRIES PLACE p1322
lola: STATE EQUATION TRIES PLACE p956
lola: STATE EQUATION TRIES PLACE p672
lola: STATE EQUATION TRIES PLACE p1911
lola: STATE EQUATION TRIES PLACE p693
lola: STATE EQUATION TRIES PLACE p1151
lola: STATE EQUATION TRIES PLACE p424
lola: STATE EQUATION TRIES PLACE p512
lola: STATE EQUATION TRIES PLACE p1679
lola: STATE EQUATION TRIES PLACE p1733
lola: STATE EQUATION TRIES PLACE p489
lola: STATE EQUATION TRIES PLACE p1389
lola: STATE EQUATION TRIES PLACE p1857
lola: STATE EQUATION TRIES PLACE p168
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p788
lola: STATE EQUATION TRIES PLACE p589
lola: STATE EQUATION TRIES PLACE p26
lola: STATE EQUATION TRIES PLACE p37
lola: STATE EQUATION TRIES PLACE p613
lola: STATE EQUATION TRIES PLACE p968
lola: STATE EQUATION TRIES PLACE p2036
lola: STATE EQUATION TRIES PLACE p374
lola: STATE EQUATION TRIES PLACE p257
lola: STATE EQUATION TRIES PLACE p639
lola: STATE EQUATION TRIES PLACE p199
lola: STATE EQUATION TRIES PLACE p1688
lola: STATE EQUATION TRIES PLACE p689
lola: STATE EQUATION TRIES PLACE p1392
lola: STATE EQUATION TRIES PLACE p1662
lola: STATE EQUATION TRIES PLACE p288
lola: STATE EQUATION TRIES PLACE p524
lola: STATE EQUATION TRIES PLACE p1059
lola: STATE EQUATION TRIES PLACE p234
lola: STATE EQUATION TRIES PLACE p1383
lola: STATE EQUATION TRIES PLACE p1079
lola: STATE EQUATION TRIES PLACE p126
lola: STATE EQUATION TRIES PLACE p1207
lola: STATE EQUATION TRIES PLACE p1151
lola: STATE EQUATION TRIES PLACE p1204
lola: STATE EQUATION TRIES PLACE p316
lola: STATE EQUATION TRIES PLACE p1757
lola: STATE EQUATION TRIES PLACE p716
lola: STATE EQUATION TRIES PLACE p439
lola: STATE EQUATION TRIES PLACE p1036
lola: STATE EQUATION TRIES PLACE p1062
lola: STATE EQUATION TRIES PLACE p312
lola: STATE EQUATION TRIES PLACE p1709
lola: STATE EQUATION TRIES PLACE p916
lola: STATE EQUATION TRIES PLACE p1751
lola: STATE EQUATION TRIES PLACE p343
lola: STATE EQUATION TRIES PLACE p779
lola: STATE EQUATION TRIES PLACE p833
lola: STATE EQUATION TRIES PLACE p322
lola: STATE EQUATION TRIES PLACE p301
lola: STATE EQUATION TRIES PLACE p307
lola: STATE EQUATION TRIES PLACE p1095
lola: STATE EQUATION TRIES PLACE p1937
lola: STATE EQUATION TRIES PLACE p1476
lola: STATE EQUATION TRIES PLACE p1207
lola: STATE EQUATION TRIES PLACE p588
lola: STATE EQUATION TRIES PLACE p886
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p599
lola: STATE EQUATION TRIES PLACE p1434
lola: STATE EQUATION TRIES PLACE p1847
lola: STATE EQUATION TRIES PLACE p1126
lola: STATE EQUATION TRIES PLACE p412
lola: STATE EQUATION TRIES PLACE p1472
lola: STATE EQUATION TRIES PLACE p1831
lola: STATE EQUATION TRIES PLACE p179
lola: STATE EQUATION TRIES PLACE p1586
lola: STATE EQUATION TRIES PLACE p1520
lola: STATE EQUATION TRIES PLACE p1387
lola: STATE EQUATION TRIES PLACE p1301
lola: STATE EQUATION TRIES PLACE p1789
lola: STATE EQUATION TRIES PLACE p199
lola: STATE EQUATION TRIES PLACE p718
lola: STATE EQUATION TRIES PLACE p161
lola: STATE EQUATION TRIES PLACE p1245
lola: STATE EQUATION TRIES PLACE p1742
lola: STATE EQUATION TRIES PLACE p18
lola: STATE EQUATION TRIES PLACE p917
lola: STATE EQUATION TRIES PLACE p1467
lola: STATE EQUATION TRIES PLACE p541
lola: STATE EQUATION TRIES PLACE p697
lola: STATE EQUATION TRIES PLACE p444
lola: STATE EQUATION TRIES PLACE p1888
lola: STATE EQUATION TRIES PLACE p462
lola: STATE EQUATION TRIES PLACE p756
lola: STATE EQUATION TRIES PLACE p81
lola: STATE EQUATION TRIES PLACE p267
lola: STATE EQUATION TRIES PLACE p657
lola: STATE EQUATION TRIES PLACE p1567
lola: STATE EQUATION TRIES PLACE p664
lola: STATE EQUATION TRIES PLACE p429
lola: STATE EQUATION TRIES PLACE p1254
lola: STATE EQUATION TRIES PLACE p862
lola: STATE EQUATION TRIES PLACE p1170
lola: STATE EQUATION TRIES PLACE p1022
lola: STATE EQUATION TRIES PLACE p589
lola: STATE EQUATION TRIES PLACE p892
lola: STATE EQUATION TRIES PLACE p1942
lola: STATE EQUATION TRIES PLACE p1312
lola: STATE EQUATION TRIES PLACE p19
lola: STATE EQUATION TRIES PLACE p164
lola: STATE EQUATION TRIES PLACE p424
lola: STATE EQUATION TRIES PLACE p311
lola: STATE EQUATION TRIES PLACE p876
lola: STATE EQUATION TRIES PLACE p729
lola: STATE EQUATION TRIES PLACE p594
lola: STATE EQUATION TRIES PLACE p409
lola: STATE EQUATION TRIES PLACE p182
lola: STATE EQUATION TRIES PLACE p587
lola: STATE EQUATION TRIES PLACE p349
lola: STATE EQUATION TRIES PLACE p607
lola: STATE EQUATION TRIES PLACE p61
lola: STATE EQUATION TRIES PLACE p37
lola: STATE EQUATION TRIES PLACE p1357
lola: STATE EQUATION TRIES PLACE p167
lola: STATE EQUATION TRIES PLACE p1714
lola: STATE EQUATION TRIES PLACE p1245
lola: STATE EQUATION TRIES PLACE p1620
lola: STATE EQUATION TRIES PLACE p939
lola: STATE EQUATION TRIES PLACE p1667
lola: STATE EQUATION TRIES PLACE p1459
lola: STATE EQUATION TRIES PLACE p1383
lola: STATE EQUATION TRIES PLACE p1726
lola: STATE EQUATION TRIES PLACE p1056
lola: STATE EQUATION TRIES PLACE p447
lola: STATE EQUATION TRIES PLACE p1431
lola: STATE EQUATION TRIES PLACE p20
lola: STATE EQUATION TRIES PLACE p807
lola: STATE EQUATION TRIES PLACE p358
lola: STATE EQUATION TRIES PLACE p64
lola: STATE EQUATION TRIES PLACE p211
lola: STATE EQUATION TRIES PLACE p95
lola: STATE EQUATION TRIES PLACE p1763
lola: STATE EQUATION TRIES PLACE p1745
lola: STATE EQUATION TRIES PLACE p1187
lola: STATE EQUATION TRIES PLACE p1722
lola: STATE EQUATION TRIES PLACE p426
lola: STATE EQUATION TRIES PLACE p214
lola: STATE EQUATION TRIES PLACE p1679
lola: STATE EQUATION TRIES PLACE p333
lola: STATE EQUATION TRIES PLACE p1164
lola: STATE EQUATION TRIES PLACE p8
lola: STATE EQUATION TRIES PLACE p1431
lola: STATE EQUATION TRIES PLACE p438
lola: STATE EQUATION TRIES PLACE p1182
lola: STATE EQUATION TRIES PLACE p89
lola: STATE EQUATION TRIES PLACE p1737
lola: STATE EQUATION TRIES PLACE p1022
lola: STATE EQUATION TRIES PLACE p692
lola: STATE EQUATION TRIES PLACE p1987
lola: STATE EQUATION TRIES PLACE p474
lola: STATE EQUATION TRIES PLACE p356
lola: STATE EQUATION TRIES PLACE p1531
lola: STATE EQUATION TRIES PLACE p926
lola: STATE EQUATION TRIES PLACE p620
lola: STATE EQUATION TRIES PLACE p751
lola: STATE EQUATION TRIES PLACE p268
lola: STATE EQUATION TRIES PLACE p592
lola: STATE EQUATION TRIES PLACE p488
lola: STATE EQUATION TRIES PLACE p397
lola: STATE EQUATION TRIES PLACE p1476
lola: STATE EQUATION TRIES PLACE p1004
lola: STATE EQUATION TRIES PLACE p1659
lola: STATE EQUATION TRIES PLACE p1233
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p597
lola: STATE EQUATION TRIES PLACE p612
lola: STATE EQUATION TRIES PLACE p256
lola: STATE EQUATION TRIES PLACE p1257
lola: STATE EQUATION TRIES PLACE p549
lola: STATE EQUATION TRIES PLACE p970
lola: STATE EQUATION TRIES PLACE p1820
lola: STATE EQUATION TRIES PLACE p1070
lola: STATE EQUATION TRIES PLACE p1351
lola: STATE EQUATION TRIES PLACE p512
lola: STATE EQUATION TRIES PLACE p1288
lola: STATE EQUATION TRIES PLACE p1326
lola: STATE EQUATION TRIES PLACE p279
lola: STATE EQUATION TRIES PLACE p1667
lola: STATE EQUATION TRIES PLACE p1942
lola: STATE EQUATION TRIES PLACE p464
lola: STATE EQUATION TRIES PLACE p1083
lola: STATE EQUATION TRIES PLACE p964
lola: STATE EQUATION TRIES PLACE p1772
lola: STATE EQUATION TRIES PLACE p1206
lola: STATE EQUATION TRIES PLACE p467
lola: STATE EQUATION TRIES PLACE p595
lola: STATE EQUATION TRIES PLACE p569
lola: STATE EQUATION TRIES PLACE p939
lola: STATE EQUATION TRIES PLACE p1612
lola: STATE EQUATION TRIES PLACE p1189
lola: STATE EQUATION TRIES PLACE p644
lola: STATE EQUATION TRIES PLACE p1584
lola: STATE EQUATION TRIES PLACE p26
lola: STATE EQUATION TRIES PLACE p95
lola: STATE EQUATION TRIES PLACE p1329
lola: STATE EQUATION TRIES PLACE p484
lola: STATE EQUATION TRIES PLACE p1439
lola: STATE EQUATION TRIES PLACE p1236
lola: STATE EQUATION TRIES PLACE p156
lola: STATE EQUATION TRIES PLACE p2088
lola: STATE EQUATION TRIES PLACE p722
lola: STATE EQUATION TRIES PLACE p1439
lola: STATE EQUATION TRIES PLACE p683
lola: STATE EQUATION TRIES PLACE p834
lola: STATE EQUATION TRIES PLACE p809
lola: STATE EQUATION TRIES PLACE p131
lola: STATE EQUATION TRIES PLACE p82
lola: STATE EQUATION TRIES PLACE p1989
lola: STATE EQUATION TRIES PLACE p1531
lola: STATE EQUATION TRIES PLACE p258
lola: STATE EQUATION TRIES PLACE p1508
lola: STATE EQUATION TRIES PLACE p974
lola: STATE EQUATION TRIES PLACE p1867
lola: STATE EQUATION TRIES PLACE p276
lola: STATE EQUATION TRIES PLACE p306
lola: STATE EQUATION TRIES PLACE p1031
lola: STATE EQUATION TRIES PLACE p1807
lola: STATE EQUATION TRIES PLACE p1470
lola: STATE EQUATION TRIES PLACE p1497
lola: STATE EQUATION TRIES PLACE p370
lola: STATE EQUATION TRIES PLACE p1189
lola: STATE EQUATION TRIES PLACE p312
lola: STATE EQUATION TRIES PLACE p26
lola: STATE EQUATION TRIES PLACE p889
lola: STATE EQUATION TRIES PLACE p1964
lola: STATE EQUATION TRIES PLACE p587
lola: STATE EQUATION TRIES PLACE p306
lola: STATE EQUATION TRIES PLACE p1157
lola: STATE EQUATION TRIES PLACE p1387
lola: STATE EQUATION TRIES PLACE p1412
lola: STATE EQUATION TRIES PLACE p124
lola: STATE EQUATION TRIES PLACE p1459
lola: STATE EQUATION TRIES PLACE p376
lola: STATE EQUATION TRIES PLACE p1037
lola: STATE EQUATION TRIES PLACE p1676
lola: STATE EQUATION TRIES PLACE p1170
lola: STATE EQUATION TRIES PLACE p1589
lola: STATE EQUATION TRIES PLACE p1945
lola: STATE EQUATION TRIES PLACE p1317
lola: STATE EQUATION TRIES PLACE p764
lola: STATE EQUATION TRIES PLACE p608
lola: STATE EQUATION TRIES PLACE p1662
lola: STATE EQUATION TRIES PLACE p1851
lola: STATE EQUATION TRIES PLACE p793
lola: STATE EQUATION TRIES PLACE p831
lola: STATE EQUATION TRIES PLACE p124
lola: STATE EQUATION TRIES PLACE p67
lola: STATE EQUATION TRIES PLACE p1586
lola: STATE EQUATION TRIES PLACE p49
lola: STATE EQUATION TRIES PLACE p1920
lola: STATE EQUATION TRIES PLACE p1876
lola: STATE EQUATION TRIES PLACE p1579
lola: STATE EQUATION TRIES PLACE p1788
lola: STATE EQUATION TRIES PLACE p856
lola: STATE EQUATION TRIES PLACE p12
lola: STATE EQUATION TRIES PLACE p118
lola: STATE EQUATION TRIES PLACE p222
lola: STATE EQUATION TRIES PLACE p41
lola: STATE EQUATION TRIES PLACE p668
lola: STATE EQUATION TRIES PLACE p169
lola: STATE EQUATION TRIES PLACE p1413
lola: reporting
lola: not produced: 1159
lola: find path: 112
lola: goal oriented search: 1232
lola: STATE EQUATION TRIES PLACE p182
lola: STATE EQUATION TRIES PLACE p1647
lola: STATE EQUATION TRIES PLACE p1397
lola: STATE EQUATION TRIES PLACE p599
lola: STATE EQUATION TRIES PLACE p456
lola: STATE EQUATION TRIES PLACE p495
lola: STATE EQUATION TRIES PLACE p162
lola: STATE EQUATION TRIES PLACE p337
lola: STATE EQUATION TRIES PLACE p1933
lola: STATE EQUATION TRIES PLACE p766
lola: STATE EQUATION TRIES PLACE p18
lola: STATE EQUATION TRIES PLACE p922
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 407 Killed lola --conf=$BIN_DIR/configfiles/globalconf --check=StableMarking $DIR/model.pnml

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="ShieldPPPt-PT-100A"
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 ShieldPPPt-PT-100A, 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 r220-tall-162098212400533"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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