Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r020-oct2-167813608400427.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is AutonomousCar-PT-10b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r020-oct2-167813608400427
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 6.8K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 12:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 25 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 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 QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678370074710

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=AutonomousCar-PT-10b
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT AutonomousCar-PT-10b
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness

FORMULA QuasiLiveness FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678371365453

--------------------
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 TRANSITION t1762
lola: LAUNCH SYMM
sara: try reading problem file stateEquationProblem-QuasiLiveness-635.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1868
sara: try reading problem file stateEquationProblem-QuasiLiveness-741.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1504
sara: try reading problem file stateEquationProblem-QuasiLiveness-377.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 490
lola: state equation: 1
lola: find path: 805
lola: goal oriented search: 99

lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t2177
sara: try reading problem file stateEquationProblem-QuasiLiveness-1092.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 249
lola: state equation: 1
lola: find path: 1045
lola: goal oriented search: 100
lola: reporting
lola: not produced: 144
lola: state equation: 1
lola: find path: 1139
lola: goal oriented search: 111
lola: reporting
lola: not produced: 96
lola: state equation: 1
lola: find path: 1186
lola: goal oriented search: 112
lola: reporting
lola: not produced: 66
lola: state equation: 1
lola: find path: 1216
lola: goal oriented search: 112
lola: reporting
lola: not produced: 43
lola: state equation: 1
lola: find path: 1236
lola: goal oriented search: 115
lola: reporting
lola: not produced: 30
lola: state equation: 1
lola: find path: 1245
lola: goal oriented search: 119
lola: reporting
lola: not produced: 25
lola: state equation: 1
lola: find path: 1249
lola: goal oriented search: 120
lola: reporting
lola: not produced: 11
lola: state equation: 1
lola: find path: 1254
lola: goal oriented search: 129
lola: reporting
lola: not produced: 8
lola: state equation: 1
lola: find path: 1255
lola: goal oriented search: 131
lola: reporting
lola: not produced: 8
lola: state equation: 1
lola: find path: 1255
lola: goal oriented search: 131
lola: reporting
lola: not produced: 8
lola: state equation: 1
lola: find path: 1255
lola: goal oriented search: 131
lola: reporting
lola: not produced: 7
lola: state equation: 1
lola: find path: 1256
lola: goal oriented search: 131
lola: reporting
lola: not produced: 7
lola: state equation: 1
lola: find path: 1256
lola: goal oriented search: 131
lola: reporting
lola: not produced: 7
lola: state equation: 1
lola: find path: 1256
lola: goal oriented search: 131
lola: reporting
lola: not produced: 7
lola: state equation: 1
lola: find path: 1256
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 5
lola: state equation: 1
lola: find path: 1258
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131

lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t784
sara: try reading problem file stateEquationProblem-QuasiLiveness-1207.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: STATE EQUATION TRIES TRANSITION t784
sara: try reading problem file stateEquationProblem-QuasiLiveness-1207.sara.
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: STATE EQUATION TRIES TRANSITION t784
sara: try reading problem file stateEquationProblem-QuasiLiveness-1207.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: reporting
lola: not produced: 4
lola: state equation: 1
lola: find path: 1259
lola: goal oriented search: 131
lola: STATE EQUATION TRIES TRANSITION t1212
sara: try reading problem file stateEquationProblem-QuasiLiveness-76.sara.
sara: place or transition ordering is non-deterministic

lola: SARA FINISHED
lola: ..... t1212: false
lola: INDIVIDUAL RESULTS
lola: t1108: true (by find path)
lola: t1110: true (by find path)
lola: t1112: true (by find path)
lola: t1114: true (by find path)
lola: t1116: true (by find path)
lola: t1118: true (by find path)
lola: t1120: true (by find path)
lola: t1122: true (by find path)
lola: t1124: true (by find path)
lola: t1126: true (by find path)
lola: t1188: true (by find path)
lola: t800: true (by goal oriented search)
lola: t802: true (by goal oriented search)
lola: t804: true (by goal oriented search)
lola: t806: void (by not produced)
lola: t808: true (by find path)
lola: t1190: true (by find path)
lola: t1192: true (by find path)
lola: t1194: true (by find path)
lola: t1196: true (by find path)
lola: t1198: true (by find path)
lola: t810: true (by find path)
lola: t812: true (by find path)
lola: t814: true (by find path)
lola: t816: true (by find path)
lola: t818: true (by find path)
lola: t820: true (by find path)
lola: t822: true (by find path)
lola: t824: true (by find path)
lola: t826: true (by find path)
lola: t828: true (by find path)
lola: t830: true (by find path)
lola: t832: true (by find path)
lola: t834: true (by find path)
lola: t836: true (by find path)
lola: t838: true (by goal oriented search)
lola: t840: true (by find path)
lola: t842: true (by goal oriented search)
lola: t844: true (by goal oriented search)
lola: t846: true (by goal oriented search)
lola: t848: true (by find path)
lola: t850: true (by find path)
lola: t852: true (by find path)
lola: t854: true (by find path)
lola: t856: true (by goal oriented search)
lola: t858: true (by find path)
lola: t860: true (by goal oriented search)
lola: t862: true (by find path)
lola: t864: true (by goal oriented search)
lola: t866: true (by goal oriented search)
lola: t868: true (by find path)
lola: t870: true (by find path)
lola: t872: true (by find path)
lola: t874: true (by find path)
lola: t876: true (by find path)
lola: t878: true (by find path)
lola: t880: true (by goal oriented search)
lola: t882: true (by goal oriented search)
lola: t884: true (by goal oriented search)
lola: t886: true (by goal oriented search)
lola: t12: true (by find path)
lola: t13: true (by find path)
lola: t14: true (by find path)
lola: t21: true (by find path)
lola: t25: true (by find path)
lola: t27: true (by find path)
lola: t52: true (by find path)
lola: t1200: true (by find path)
lola: t1202: true (by find path)
lola: t1204: true (by find path)
lola: t1206: true (by find path)
lola: t1208: true (by find path)
lola: t1209: true (by find path)
lola: t84: true (by find path)
lola: t1211: true (by find path)
lola: t89: true (by find path)
lola: t1212: false (by state equation)
lola: t1214: true (by goal oriented search)
lola: t1215: true (by find path)
lola: t1216: true (by goal oriented search)
lola: t1217: true (by goal oriented search)
lola: t1218: true (by find path)
lola: t1219: true (by find path)
lola: t1220: true (by find path)
lola: t1221: true (by find path)
lola: t1222: true (by find path)
lola: t1223: true (by find path)
lola: t1224: true (by find path)
lola: t1225: true (by find path)
lola: t1226: true (by find path)
lola: t1227: true (by find path)
lola: t1228: true (by find path)
lola: t1229: true (by find path)
lola: t1230: true (by find path)
lola: t1231: true (by find path)
lola: t1232: true (by find path)
lola: t1233: true (by find path)
lola: t1234: true (by find path)
lola: t1235: true (by find path)
lola: t1236: true (by find path)
lola: t1237: true (by find path)
lola: t1238: true (by find path)
lola: t1239: true (by find path)
lola: t1240: true (by find path)
lola: t1241: true (by find path)
lola: t1242: true (by find path)
lola: t1243: true (by find path)
lola: t1244: true (by find path)
lola: t1245: true (by find path)
lola: t1246: true (by find path)
lola: t1247: true (by find path)
lola: t1248: true (by find path)
lola: t1249: true (by find path)
lola: t1250: true (by find path)
lola: t1251: true (by find path)
lola: t1252: true (by find path)
lola: t1253: true (by find path)
lola: t1254: true (by find path)
lola: t1255: true (by find path)
lola: t1256: true (by goal oriented search)
lola: t1257: true (by find path)
lola: t1258: true (by find path)
lola: t1259: true (by find path)
lola: t1260: true (by goal oriented search)
lola: t1261: true (by find path)
lola: t1262: true (by find path)
lola: t1263: true (by find path)
lola: t1264: true (by find path)
lola: t1265: true (by find path)
lola: t1266: true (by find path)
lola: t1267: true (by find path)
lola: t1268: true (by find path)
lola: t1269: true (by find path)
lola: t1270: true (by find path)
lola: t1271: true (by find path)
lola: t1272: true (by find path)
lola: t1273: true (by find path)
lola: t1274: true (by find path)
lola: t1275: true (by find path)
lola: t1276: true (by find path)
lola: t1277: true (by find path)
lola: t1278: true (by find path)
lola: t1279: true (by find path)
lola: t1280: true (by find path)
lola: t1281: true (by find path)
lola: t1282: true (by find path)
lola: t1283: true (by find path)
lola: t1284: true (by find path)
lola: t1285: true (by find path)
lola: t1286: true (by find path)
lola: t1287: true (by find path)
lola: t1288: true (by find path)
lola: t1289: true (by find path)
lola: t1290: true (by find path)
lola: t1291: true (by find path)
lola: t1292: true (by find path)
lola: t1293: true (by find path)
lola: t1294: true (by find path)
lola: t1295: true (by find path)
lola: t1296: true (by find path)
lola: t1297: true (by find path)
lola: t1298: true (by find path)
lola: t1299: true (by find path)
lola: t948: true (by find path)
lola: t950: true (by find path)
lola: t952: true (by find path)
lola: t954: true (by find path)
lola: t956: true (by find path)
lola: t958: true (by find path)
lola: t960: true (by find path)
lola: t962: true (by find path)
lola: t964: true (by find path)
lola: t966: true (by find path)
lola: t1300: true (by find path)
lola: t1301: true (by find path)
lola: t1302: true (by find path)
lola: t1303: true (by find path)
lola: t1304: true (by find path)
lola: t1305: true (by find path)
lola: t1306: true (by find path)
lola: t1307: true (by find path)
lola: t1308: true (by find path)
lola: t1309: true (by find path)
lola: t1310: true (by find path)
lola: t1311: true (by find path)
lola: t1312: true (by find path)
lola: t1313: true (by find path)
lola: t1314: true (by find path)
lola: t1315: true (by find path)
lola: t1316: true (by find path)
lola: t1317: true (by find path)
lola: t1318: true (by find path)
lola: t1319: true (by find path)
lola: t1320: true (by find path)
lola: t1321: true (by find path)
lola: t1322: true (by find path)
lola: t1323: true (by find path)
lola: t1324: true (by goal oriented search)
lola: t1325: true (by find path)
lola: t1326: true (by find path)
lola: t1327: true (by find path)
lola: t1328: true (by find path)
lola: t1329: true (by find path)
lola: t1330: true (by find path)
lola: t1331: true (by find path)
lola: t1332: true (by find path)
lola: t1333: true (by find path)
lola: t1334: true (by find path)
lola: t1335: true (by find path)
lola: t1336: true (by find path)
lola: t1337: true (by find path)
lola: t1338: true (by find path)
lola: t1339: true (by find path)
lola: t1340: true (by find path)
lola: t1341: true (by find path)
lola: t1342: true (by find path)
lola: t1343: true (by find path)
lola: t1344: true (by find path)
lola: t1345: true (by find path)
lola: t1346: true (by find path)
lola: t1347: true (by find path)
lola: t1348: true (by find path)
lola: t1349: true (by find path)
lola: t1350: true (by find path)
lola: t1351: true (by find path)
lola: t1352: true (by find path)
lola: t1353: true (by find path)
lola: t1354: true (by find path)
lola: t1355: true (by find path)
lola: t1356: true (by find path)
lola: t1357: true (by find path)
lola: t1358: true (by find path)
lola: t1359: true (by find path)
lola: t1360: true (by find path)
lola: t1361: true (by find path)
lola: t1362: true (by find path)
lola: t1363: true (by find path)
lola: t1364: true (by find path)
lola: t1365: true (by find path)
lola: t1366: true (by find path)
lola: t1367: true (by find path)
lola: t1368: true (by find path)
lola: t1369: true (by find path)
lola: t1370: true (by find path)
lola: t1371: true (by find path)
lola: t1372: true (by find path)
lola: t1373: true (by find path)
lola: t1374: true (by find path)
lola: t1375: true (by find path)
lola: t1376: true (by find path)
lola: t1377: true (by find path)
lola: t1378: true (by find path)
lola: t1379: true (by find path)
lola: t1380: true (by find path)
lola: t1381: true (by find path)
lola: t1382: true (by find path)
lola: t1383: true (by find path)
lola: t1384: true (by find path)
lola: t1385: true (by find path)
lola: t1386: true (by find path)
lola: t1387: true (by find path)
lola: t1388: true (by goal oriented search)
lola: t1389: true (by find path)
lola: t1390: true (by find path)
lola: t1391: true (by find path)
lola: t1392: true (by find path)
lola: t1393: true (by find path)
lola: t1394: true (by find path)
lola: t1395: true (by find path)
lola: t1396: true (by find path)
lola: t1397: true (by find path)
lola: t1398: true (by find path)
lola: t1399: true (by find path)
lola: t1400: true (by find path)
lola: t1401: true (by find path)
lola: t1402: true (by find path)
lola: t1403: true (by find path)
lola: t1404: true (by find path)
lola: t1405: true (by find path)
lola: t1406: true (by find path)
lola: t1407: true (by find path)
lola: t1408: true (by find path)
lola: t1409: true (by find path)
lola: t1410: true (by find path)
lola: t1411: true (by find path)
lola: t1412: true (by find path)
lola: t1413: true (by find path)
lola: t1414: true (by find path)
lola: t1415: true (by find path)
lola: t1416: true (by find path)
lola: t1417: true (by find path)
lola: t1418: true (by find path)
lola: t1419: true (by find path)
lola: t1420: true (by find path)
lola: t1421: true (by find path)
lola: t1422: true (by find path)
lola: t1423: true (by find path)
lola: t1424: true (by find path)
lola: t1425: true (by find path)
lola: t1426: true (by find path)
lola: t1427: true (by find path)
lola: t1428: true (by find path)
lola: t1429: true (by find path)
lola: t1430: true (by find path)
lola: t1431: true (by find path)
lola: t1432: true (by find path)
lola: t1433: true (by find path)
lola: t1434: true (by find path)
lola: t1435: true (by find path)
lola: t1436: true (by find path)
lola: t1437: true (by find path)
lola: t1438: true (by find path)
lola: t1439: true (by find path)
lola: t1440: true (by find path)
lola: t1441: true (by find path)
lola: t1442: true (by find path)
lola: t1443: true (by find path)
lola: t1444: true (by find path)
lola: t1445: true (by find path)
lola: t1446: true (by find path)
lola: t1447: true (by find path)
lola: t1448: true (by find path)
lola: t1449: true (by find path)
lola: t1450: true (by find path)
lola: t1451: true (by find path)
lola: t1452: true (by goal oriented search)
lola: t1453: true (by find path)
lola: t1454: true (by find path)
lola: t1455: true (by find path)
lola: t1456: true (by find path)
lola: t1457: true (by find path)
lola: t1458: true (by find path)
lola: t1459: true (by find path)
lola: t1460: true (by find path)
lola: t1461: true (by find path)
lola: t1462: true (by find path)
lola: t1463: true (by find path)
lola: t1464: true (by find path)
lola: t1465: true (by find path)
lola: t1466: true (by find path)
lola: t1467: true (by find path)
lola: t1468: true (by find path)
lola: t1469: true (by find path)
lola: t1470: true (by find path)
lola: t1471: true (by find path)
lola: t1472: true (by find path)
lola: t1473: true (by find path)
lola: t1474: true (by find path)
lola: t1475: true (by find path)
lola: t1476: true (by find path)
lola: t1477: true (by find path)
lola: t1478: true (by find path)
lola: t1479: true (by find path)
lola: t1480: true (by find path)
lola: t1481: true (by find path)
lola: t1482: true (by find path)
lola: t1483: true (by find path)
lola: t1484: true (by find path)
lola: t1485: true (by find path)
lola: t1486: true (by find path)
lola: t1487: true (by find path)
lola: t1488: true (by find path)
lola: t1489: true (by find path)
lola: t1490: true (by find path)
lola: t1491: true (by find path)
lola: t1492: true (by find path)
lola: t1493: true (by find path)
lola: t1494: true (by find path)
lola: t1495: true (by find path)
lola: t1496: true (by find path)
lola: t1497: true (by find path)
lola: t1498: true (by find path)
lola: t1499: true (by find path)
lola: t1500: true (by find path)
lola: t1501: true (by find path)
lola: t1502: true (by find path)
lola: t1503: true (by find path)
lola: t1504: true (by find path)
lola: t1505: true (by find path)
lola: t1506: true (by find path)
lola: t1507: true (by find path)
lola: t1508: true (by find path)
lola: t1509: true (by find path)
lola: t1510: true (by find path)
lola: t1511: true (by find path)
lola: t1512: true (by goal oriented search)
lola: t1513: true (by find path)
lola: t1514: true (by find path)
lola: t1515: true (by find path)
lola: t1516: true (by goal oriented search)
lola: t1517: true (by find path)
lola: t1518: true (by find path)
lola: t1519: true (by find path)
lola: t1520: true (by find path)
lola: t1521: true (by find path)
lola: t1522: true (by find path)
lola: t1523: true (by find path)
lola: t1524: true (by find path)
lola: t1525: true (by find path)
lola: t1526: true (by find path)
lola: t1527: true (by find path)
lola: t1528: true (by find path)
lola: t1529: true (by find path)
lola: t1530: true (by find path)
lola: t1531: true (by find path)
lola: t1532: true (by find path)
lola: t1533: true (by find path)
lola: t1534: true (by find path)
lola: t1535: true (by find path)
lola: t1536: true (by find path)
lola: t1537: true (by find path)
lola: t1538: true (by find path)
lola: t1539: true (by find path)
lola: t1540: true (by find path)
lola: t1541: true (by find path)
lola: t1542: true (by find path)
lola: t1543: true (by find path)
lola: t1544: true (by find path)
lola: t1545: true (by find path)
lola: t1546: true (by find path)
lola: t1547: true (by find path)
lola: t1548: true (by find path)
lola: t1549: true (by find path)
lola: t1550: true (by find path)
lola: t1551: true (by find path)
lola: t1552: true (by find path)
lola: t1553: true (by find path)
lola: t1554: true (by find path)
lola: t1555: true (by find path)
lola: t1556: true (by find path)
lola: t1557: true (by find path)
lola: t1558: true (by find path)
lola: t1559: true (by find path)
lola: t1560: true (by find path)
lola: t1561: true (by find path)
lola: t1562: true (by find path)
lola: t1563: true (by find path)
lola: t1564: true (by find path)
lola: t1565: true (by find path)
lola: t1566: true (by find path)
lola: t1567: true (by find path)
lola: t1568: true (by find path)
lola: t1569: true (by find path)
lola: t1570: true (by find path)
lola: t1571: true (by find path)
lola: t1572: true (by find path)
lola: t1573: true (by find path)
lola: t1574: true (by find path)
lola: t1575: true (by find path)
lola: t1576: true (by goal oriented search)
lola: t1577: true (by find path)
lola: t1578: true (by find path)
lola: t1579: true (by find path)
lola: t1580: true (by goal oriented search)
lola: t1581: true (by find path)
lola: t1582: true (by find path)
lola: t1583: true (by find path)
lola: t1584: true (by find path)
lola: t1585: true (by find path)
lola: t1586: true (by find path)
lola: t1587: true (by find path)
lola: t1588: true (by find path)
lola: t1589: true (by find path)
lola: t1590: true (by find path)
lola: t1591: true (by find path)
lola: t1592: true (by find path)
lola: t1593: true (by find path)
lola: t1594: true (by find path)
lola: t1595: true (by find path)
lola: t1596: true (by find path)
lola: t1597: true (by find path)
lola: t1598: true (by find path)
lola: t1599: true (by find path)
lola: t1600: true (by find path)
lola: t1601: true (by find path)
lola: t1602: true (by find path)
lola: t1603: true (by find path)
lola: t1604: true (by find path)
lola: t1605: true (by find path)
lola: t1606: true (by find path)
lola: t1607: true (by find path)
lola: t1608: true (by find path)
lola: t1609: true (by find path)
lola: t1610: true (by find path)
lola: t1611: true (by find path)
lola: t1612: true (by find path)
lola: t1613: true (by find path)
lola: t1614: true (by find path)
lola: t1615: true (by goal oriented search)
lola: t1616: true (by find path)
lola: t1617: true (by find path)
lola: t1618: true (by find path)
lola: t1619: true (by find path)
lola: t1620: true (by find path)
lola: t1621: true (by find path)
lola: t1622: true (by find path)
lola: t1623: true (by find path)
lola: t1624: true (by find path)
lola: t1625: true (by find path)
lola: t1626: true (by find path)
lola: t1627: true (by find path)
lola: t1628: true (by find path)
lola: t1629: true (by find path)
lola: t1630: true (by find path)
lola: t1631: true (by find path)
lola: t1632: true (by find path)
lola: t1633: true (by find path)
lola: t1634: true (by find path)
lola: t1635: true (by find path)
lola: t1636: true (by find path)
lola: t1637: true (by find path)
lola: t1638: true (by find path)
lola: t1639: true (by find path)
lola: t1640: true (by goal oriented search)
lola: t1641: true (by find path)
lola: t1642: true (by find path)
lola: t1643: true (by find path)
lola: t1644: true (by goal oriented search)
lola: t1645: true (by find path)
lola: t1646: true (by find path)
lola: t1647: true (by find path)
lola: t1648: true (by find path)
lola: t1649: true (by find path)
lola: t1650: true (by find path)
lola: t1651: true (by find path)
lola: t1652: true (by find path)
lola: t1653: true (by find path)
lola: t1654: true (by find path)
lola: t1655: true (by find path)
lola: t1656: true (by find path)
lola: t1657: true (by find path)
lola: t1658: true (by find path)
lola: t1659: true (by find path)
lola: t1660: true (by find path)
lola: t1661: true (by find path)
lola: t1662: true (by find path)
lola: t1663: true (by find path)
lola: t1664: true (by find path)
lola: t1665: true (by find path)
lola: t1666: true (by find path)
lola: t1667: true (by find path)
lola: t1668: true (by find path)
lola: t1669: true (by find path)
lola: t1670: true (by find path)
lola: t1671: true (by find path)
lola: t1672: true (by find path)
lola: t1673: true (by find path)
lola: t1674: true (by find path)
lola: t1675: true (by find path)
lola: t1676: true (by find path)
lola: t1677: true (by find path)
lola: t1678: true (by find path)
lola: t1679: true (by find path)
lola: t1680: true (by find path)
lola: t1681: true (by find path)
lola: t1682: true (by find path)
lola: t1683: true (by find path)
lola: t1684: true (by find path)
lola: t1685: true (by find path)
lola: t1686: true (by find path)
lola: t1687: true (by find path)
lola: t1688: true (by find path)
lola: t1689: true (by find path)
lola: t1690: true (by find path)
lola: t1691: true (by find path)
lola: t1692: true (by find path)
lola: t1693: true (by find path)
lola: t1694: true (by find path)
lola: t1695: true (by find path)
lola: t1696: true (by find path)
lola: t1697: true (by find path)
lola: t1698: true (by find path)
lola: t1699: true (by find path)
lola: t1700: true (by find path)
lola: t1701: true (by find path)
lola: t1702: true (by find path)
lola: t1703: true (by find path)
lola: t1704: true (by goal oriented search)
lola: t1705: true (by find path)
lola: t1706: true (by find path)
lola: t1707: true (by find path)
lola: t1708: true (by goal oriented search)
lola: t1709: true (by find path)
lola: t1710: true (by find path)
lola: t1711: true (by find path)
lola: t1712: true (by find path)
lola: t1713: true (by find path)
lola: t1714: true (by find path)
lola: t1715: true (by find path)
lola: t1716: true (by find path)
lola: t1717: true (by find path)
lola: t1718: true (by find path)
lola: t1719: true (by find path)
lola: t1720: true (by find path)
lola: t1721: true (by find path)
lola: t1722: true (by find path)
lola: t1723: true (by find path)
lola: t1724: true (by find path)
lola: t1725: true (by find path)
lola: t1726: true (by find path)
lola: t1727: true (by find path)
lola: t1728: true (by find path)
lola: t1729: true (by find path)
lola: t1730: true (by find path)
lola: t1731: true (by find path)
lola: t1732: true (by find path)
lola: t1733: true (by find path)
lola: t1734: true (by find path)
lola: t1735: true (by find path)
lola: t1736: true (by find path)
lola: t1737: true (by find path)
lola: t1738: true (by find path)
lola: t1739: true (by find path)
lola: t1740: true (by find path)
lola: t1741: true (by find path)
lola: t1742: true (by find path)
lola: t1743: true (by find path)
lola: t1744: true (by find path)
lola: t1745: true (by find path)
lola: t1746: true (by find path)
lola: t1747: true (by find path)
lola: t1748: true (by find path)
lola: t1749: true (by find path)
lola: t1750: true (by find path)
lola: t1751: true (by find path)
lola: t1752: true (by goal oriented search)
lola: t1753: true (by find path)
lola: t1754: true (by find path)
lola: t1755: true (by find path)
lola: t1756: true (by find path)
lola: t1757: true (by find path)
lola: t1758: true (by find path)
lola: t1759: true (by find path)
lola: t1760: true (by find path)
lola: t1761: true (by find path)
lola: t1762: true (by state equation)
lola: t1763: true (by find path)
lola: t1764: true (by find path)
lola: t1765: true (by find path)
lola: t1766: true (by find path)
lola: t1767: true (by find path)
lola: t1768: true (by goal oriented search)
lola: t1769: true (by find path)
lola: t1770: true (by find path)
lola: t1771: true (by find path)
lola: t1772: true (by goal oriented search)
lola: t1773: true (by find path)
lola: t1774: true (by find path)
lola: t1775: true (by find path)
lola: t1776: true (by find path)
lola: t1777: true (by find path)
lola: t1778: true (by find path)
lola: t1779: true (by find path)
lola: t1780: true (by find path)
lola: t1781: true (by find path)
lola: t1782: true (by find path)
lola: t1783: true (by find path)
lola: t1784: true (by find path)
lola: t1785: true (by find path)
lola: t1786: true (by find path)
lola: t1787: true (by find path)
lola: t1788: true (by find path)
lola: t1789: true (by find path)
lola: t1790: true (by find path)
lola: t1791: true (by find path)
lola: t1792: true (by find path)
lola: t1793: true (by find path)
lola: t1794: true (by find path)
lola: t1795: true (by find path)
lola: t1796: true (by find path)
lola: t1797: true (by goal oriented search)
lola: t1798: true (by find path)
lola: t1799: true (by find path)
lola: t1800: true (by find path)
lola: t1801: true (by find path)
lola: t1802: true (by find path)
lola: t1803: true (by find path)
lola: t1804: true (by find path)
lola: t1805: true (by find path)
lola: t1806: true (by find path)
lola: t1807: true (by find path)
lola: t1808: true (by find path)
lola: t1809: true (by goal oriented search)
lola: t1810: true (by find path)
lola: t1811: true (by find path)
lola: t1812: true (by find path)
lola: t1813: true (by find path)
lola: t1814: true (by find path)
lola: t1815: true (by find path)
lola: t1816: true (by find path)
lola: t1817: true (by find path)
lola: t1818: true (by find path)
lola: t1819: true (by find path)
lola: t1820: true (by find path)
lola: t1821: true (by find path)
lola: t1822: true (by find path)
lola: t1823: true (by find path)
lola: t1824: true (by find path)
lola: t1825: true (by find path)
lola: t1826: true (by find path)
lola: t1827: true (by find path)
lola: t1828: true (by find path)
lola: t1829: true (by find path)
lola: t1830: true (by find path)
lola: t1831: true (by find path)
lola: t1832: true (by goal oriented search)
lola: t1833: true (by find path)
lola: t1834: true (by find path)
lola: t1835: true (by find path)
lola: t1836: true (by find path)
lola: t1837: true (by find path)
lola: t1838: true (by find path)
lola: t1839: true (by find path)
lola: t1840: true (by find path)
lola: t1841: true (by find path)
lola: t1842: true (by find path)
lola: t1843: true (by find path)
lola: t1844: true (by find path)
lola: t1845: true (by find path)
lola: t1846: true (by find path)
lola: t1847: true (by find path)
lola: t1848: true (by find path)
lola: t1849: true (by find path)
lola: t1850: true (by find path)
lola: t1851: true (by find path)
lola: t1852: true (by find path)
lola: t1853: true (by find path)
lola: t1854: true (by find path)
lola: t1855: true (by find path)
lola: t1856: true (by find path)
lola: t1857: true (by goal oriented search)
lola: t1858: true (by find path)
lola: t1859: true (by find path)
lola: t1860: true (by find path)
lola: t1861: true (by find path)
lola: t1862: true (by find path)
lola: t1863: true (by find path)
lola: t1864: true (by goal oriented search)
lola: t1865: true (by find path)
lola: t1866: true (by find path)
lola: t1867: true (by find path)
lola: t1868: true (by find path)
lola: t1869: true (by find path)
lola: t1870: true (by find path)
lola: t1871: true (by find path)
lola: t1872: true (by goal oriented search)
lola: t1873: true (by find path)
lola: t1874: true (by find path)
lola: t1875: true (by find path)
lola: t1876: true (by find path)
lola: t1877: true (by find path)
lola: t1878: true (by find path)
lola: t1879: true (by find path)
lola: t1880: true (by find path)
lola: t1881: true (by find path)
lola: t1882: true (by find path)
lola: t1883: true (by find path)
lola: t1884: true (by find path)
lola: t1885: true (by find path)
lola: t1886: true (by find path)
lola: t1887: true (by find path)
lola: t1888: true (by goal oriented search)
lola: t1889: true (by find path)
lola: t1890: true (by find path)
lola: t1891: true (by find path)
lola: t1892: true (by find path)
lola: t1893: true (by find path)
lola: t1894: true (by find path)
lola: t1895: true (by find path)
lola: t1896: true (by find path)
lola: t1897: true (by find path)
lola: t1898: true (by find path)
lola: t1899: true (by find path)
lola: t1900: true (by goal oriented search)
lola: t1901: true (by find path)
lola: t1902: true (by find path)
lola: t1903: true (by find path)
lola: t1904: true (by goal oriented search)
lola: t1905: true (by find path)
lola: t1906: true (by find path)
lola: t1907: true (by find path)
lola: t1908: true (by find path)
lola: t1909: true (by find path)
lola: t1910: true (by find path)
lola: t1911: true (by find path)
lola: t1912: true (by find path)
lola: t1913: true (by find path)
lola: t1914: true (by find path)
lola: t1915: true (by find path)
lola: t1916: true (by find path)
lola: t1917: true (by find path)
lola: t1918: true (by find path)
lola: t1919: true (by find path)
lola: t1920: true (by find path)
lola: t1921: true (by find path)
lola: t1922: true (by find path)
lola: t1923: true (by find path)
lola: t1924: true (by find path)
lola: t1925: true (by find path)
lola: t1926: true (by find path)
lola: t1927: true (by find path)
lola: t1928: true (by find path)
lola: t1929: true (by find path)
lola: t1930: true (by find path)
lola: t1931: true (by find path)
lola: t1932: true (by find path)
lola: t1933: true (by find path)
lola: t1934: true (by find path)
lola: t1935: true (by find path)
lola: t1936: true (by find path)
lola: t1937: true (by find path)
lola: t1938: true (by find path)
lola: t1939: true (by find path)
lola: t1940: true (by find path)
lola: t1941: true (by find path)
lola: t1942: true (by find path)
lola: t1943: true (by find path)
lola: t1944: true (by goal oriented search)
lola: t1945: true (by find path)
lola: t1946: true (by find path)
lola: t1947: true (by find path)
lola: t1948: true (by find path)
lola: t1949: true (by find path)
lola: t1950: true (by find path)
lola: t1951: true (by find path)
lola: t1952: true (by find path)
lola: t1953: true (by find path)
lola: t1954: true (by find path)
lola: t1955: true (by find path)
lola: t1956: true (by find path)
lola: t1957: true (by find path)
lola: t1958: true (by find path)
lola: t1959: true (by find path)
lola: t1960: true (by goal oriented search)
lola: t1961: true (by find path)
lola: t1962: true (by find path)
lola: t1963: true (by find path)
lola: t1964: true (by goal oriented search)
lola: t1965: true (by find path)
lola: t1966: true (by find path)
lola: t1967: true (by find path)
lola: t1968: true (by find path)
lola: t1969: true (by find path)
lola: t1970: true (by find path)
lola: t1971: true (by find path)
lola: t1972: true (by find path)
lola: t1973: true (by find path)
lola: t1974: true (by find path)
lola: t1975: true (by find path)
lola: t1976: true (by find path)
lola: t1977: true (by find path)
lola: t1978: true (by find path)
lola: t1979: true (by find path)
lola: t1980: true (by find path)
lola: t1981: true (by find path)
lola: t1982: true (by find path)
lola: t1983: true (by find path)
lola: t1984: true (by find path)
lola: t1985: true (by find path)
lola: t1986: true (by find path)
lola: t1987: true (by find path)
lola: t1988: true (by find path)
lola: t1989: true (by find path)
lola: t1990: true (by find path)
lola: t1991: true (by find path)
lola: t1992: true (by find path)
lola: t1993: true (by find path)
lola: t1994: true (by find path)
lola: t1995: true (by find path)
lola: t1996: true (by find path)
lola: t1997: true (by find path)
lola: t1998: true (by find path)
lola: t1999: true (by find path)
lola: t116: true (by find path)
lola: t121: true (by find path)
lola: t148: true (by find path)
lola: t153: true (by find path)
lola: t180: true (by find path)
lola: t185: true (by find path)
lola: t212: true (by find path)
lola: t217: true (by find path)
lola: t244: true (by find path)
lola: t249: true (by find path)
lola: t276: true (by find path)
lola: t281: true (by find path)
lola: t308: true (by find path)
lola: t313: true (by find path)
lola: t340: true (by find path)
lola: t345: true (by find path)
lola: t348: true (by find path)
lola: t349: true (by find path)
lola: t351: true (by find path)
lola: t371: true (by find path)
lola: t372: true (by find path)
lola: t374: true (by find path)
lola: t376: true (by find path)
lola: t379: true (by find path)
lola: t380: true (by find path)
lola: t382: true (by find path)
lola: t2000: true (by find path)
lola: t2001: true (by find path)
lola: t2002: true (by find path)
lola: t2003: true (by find path)
lola: t2004: true (by find path)
lola: t2005: true (by find path)
lola: t2006: true (by find path)
lola: t2007: true (by find path)
lola: t2008: true (by find path)
lola: t2009: true (by find path)
lola: t2010: true (by find path)
lola: t2011: true (by find path)
lola: t2012: true (by find path)
lola: t2013: true (by find path)
lola: t2014: true (by find path)
lola: t2015: true (by find path)
lola: t2016: true (by find path)
lola: t2017: true (by find path)
lola: t2018: true (by find path)
lola: t2019: true (by find path)
lola: t2020: true (by find path)
lola: t2021: true (by find path)
lola: t2022: true (by find path)
lola: t2023: true (by find path)
lola: t2024: true (by goal oriented search)
lola: t2025: true (by find path)
lola: t2026: true (by find path)
lola: t2027: true (by find path)
lola: t2028: true (by goal oriented search)
lola: t2029: true (by find path)
lola: t2030: true (by find path)
lola: t2031: true (by find path)
lola: t2032: true (by find path)
lola: t2033: true (by goal oriented search)
lola: t2034: true (by find path)
lola: t2035: true (by find path)
lola: t2036: true (by find path)
lola: t2037: true (by find path)
lola: t2038: true (by find path)
lola: t2039: true (by find path)
lola: t2040: true (by find path)
lola: t2041: true (by find path)
lola: t2042: true (by find path)
lola: t2043: true (by find path)
lola: t2044: true (by find path)
lola: t2045: true (by find path)
lola: t2046: true (by find path)
lola: t2047: true (by find path)
lola: t2048: true (by find path)
lola: t2049: true (by find path)
lola: t2050: true (by find path)
lola: t2051: true (by find path)
lola: t2052: true (by find path)
lola: t2053: true (by find path)
lola: t2054: true (by find path)
lola: t2055: true (by find path)
lola: t2056: true (by find path)
lola: t2057: true (by find path)
lola: t2058: true (by find path)
lola: t2059: true (by find path)
lola: t2060: true (by find path)
lola: t2061: true (by find path)
lola: t2062: true (by find path)
lola: t2063: true (by find path)
lola: t2064: true (by find path)
lola: t2065: true (by find path)
lola: t2066: true (by find path)
lola: t2067: true (by find path)
lola: t2068: true (by find path)
lola: t2069: true (by find path)
lola: t2070: true (by find path)
lola: t2071: true (by find path)
lola: t2072: true (by find path)
lola: t2073: true (by find path)
lola: t2074: true (by find path)
lola: t2075: true (by find path)
lola: t2076: true (by find path)
lola: t2077: true (by find path)
lola: t2078: true (by find path)
lola: t2079: true (by find path)
lola: t2080: true (by find path)
lola: t2081: true (by find path)
lola: t2082: true (by find path)
lola: t2083: true (by find path)
lola: t2084: true (by find path)
lola: t2085: true (by find path)
lola: t2086: true (by find path)
lola: t2087: true (by find path)
lola: t2088: true (by goal oriented search)
lola: t2089: true (by find path)
lola: t2090: true (by find path)
lola: t2091: true (by find path)
lola: t2092: true (by goal oriented search)
lola: t2093: true (by find path)
lola: t2094: true (by find path)
lola: t2095: true (by find path)
lola: t2096: true (by find path)
lola: t2097: true (by find path)
lola: t2098: true (by find path)
lola: t2099: true (by find path)
lola: t408: true (by find path)
lola: t410: true (by find path)
lola: t412: true (by find path)
lola: t414: true (by find path)
lola: t416: true (by find path)
lola: t418: true (by find path)
lola: t420: true (by find path)
lola: t422: true (by find path)
lola: t424: true (by find path)
lola: t426: true (by find path)
lola: t488: true (by find path)
lola: t490: true (by find path)
lola: t492: true (by find path)
lola: t494: true (by find path)
lola: t496: true (by find path)
lola: t498: true (by find path)
lola: t2100: true (by goal oriented search)
lola: t2101: true (by find path)
lola: t2102: true (by find path)
lola: t2103: true (by find path)
lola: t2104: true (by find path)
lola: t2105: true (by find path)
lola: t2106: true (by find path)
lola: t2107: true (by find path)
lola: t2108: true (by find path)
lola: t2109: true (by find path)
lola: t2110: true (by find path)
lola: t2111: true (by find path)
lola: t2112: true (by find path)
lola: t2113: true (by find path)
lola: t2114: true (by find path)
lola: t2115: true (by find path)
lola: t2116: true (by find path)
lola: t2117: true (by find path)
lola: t2118: true (by find path)
lola: t2119: true (by find path)
lola: t2120: true (by find path)
lola: t2121: true (by find path)
lola: t2122: true (by find path)
lola: t2123: true (by find path)
lola: t2124: true (by find path)
lola: t2125: true (by find path)
lola: t2126: true (by find path)
lola: t2127: true (by find path)
lola: t2128: true (by goal oriented search)
lola: t2129: true (by find path)
lola: t2130: true (by find path)
lola: t2131: true (by find path)
lola: t2132: true (by find path)
lola: t2133: true (by find path)
lola: t2134: true (by find path)
lola: t2135: true (by find path)
lola: t2136: true (by goal oriented search)
lola: t2137: true (by find path)
lola: t2138: true (by find path)
lola: t2139: true (by find path)
lola: t2140: true (by find path)
lola: t2141: true (by find path)
lola: t2142: true (by find path)
lola: t2143: true (by find path)
lola: t2144: true (by find path)
lola: t2145: true (by find path)
lola: t2146: true (by find path)
lola: t2147: true (by find path)
lola: t2148: true (by goal oriented search)
lola: t2149: true (by find path)
lola: t2150: true (by find path)
lola: t2151: true (by find path)
lola: t2152: true (by find path)
lola: t2153: true (by find path)
lola: t2154: true (by find path)
lola: t2155: true (by find path)
lola: t2156: true (by goal oriented search)
lola: t2157: true (by find path)
lola: t2158: true (by find path)
lola: t2159: true (by find path)
lola: t2160: true (by find path)
lola: t2161: true (by find path)
lola: t2162: true (by find path)
lola: t2163: true (by find path)
lola: t2164: true (by find path)
lola: t2165: true (by find path)
lola: t2166: true (by find path)
lola: t2167: true (by find path)
lola: t2168: true (by find path)
lola: t2169: true (by find path)
lola: t2170: true (by find path)
lola: t2171: true (by find path)
lola: t2172: true (by find path)
lola: t2173: true (by find path)
lola: t2174: true (by find path)
lola: t2175: true (by find path)
lola: t2176: true (by goal oriented search)
lola: t2177: true (by find path)
lola: t2178: true (by find path)
lola: t2179: true (by find path)
lola: t2180: true (by find path)
lola: t2181: true (by find path)
lola: t2182: true (by find path)
lola: t2183: true (by find path)
lola: t2184: true (by find path)
lola: t2185: true (by find path)
lola: t2186: true (by find path)
lola: t2187: true (by find path)
lola: t2188: true (by find path)
lola: t2189: true (by find path)
lola: t2190: true (by find path)
lola: t2191: true (by find path)
lola: t2192: true (by find path)
lola: t2193: true (by find path)
lola: t2194: true (by find path)
lola: t2195: true (by find path)
lola: t2196: true (by find path)
lola: t2197: true (by find path)
lola: t2198: true (by find path)
lola: t2199: true (by find path)
lola: t500: true (by find path)
lola: t502: true (by find path)
lola: t504: true (by find path)
lola: t506: true (by find path)
lola: t568: true (by find path)
lola: t570: true (by find path)
lola: t572: true (by find path)
lola: t574: true (by find path)
lola: t576: true (by find path)
lola: t578: true (by find path)
lola: t580: true (by find path)
lola: t582: true (by find path)
lola: t584: true (by find path)
lola: t586: true (by find path)
lola: t2200: true (by find path)
lola: t2201: true (by find path)
lola: t2202: true (by find path)
lola: t2203: true (by find path)
lola: t2204: true (by find path)
lola: t2205: true (by find path)
lola: t2206: true (by find path)
lola: t2207: true (by find path)
lola: t2208: true (by find path)
lola: t2209: true (by find path)
lola: t2210: true (by find path)
lola: t2211: true (by find path)
lola: t2212: true (by find path)
lola: t2213: true (by find path)
lola: t2214: true (by find path)
lola: t2215: true (by find path)
lola: t2216: true (by find path)
lola: t2217: true (by find path)
lola: t2218: true (by find path)
lola: t2219: true (by find path)
lola: t2220: true (by goal oriented search)
lola: t2221: true (by find path)
lola: t2222: true (by find path)
lola: t2223: true (by find path)
lola: t2224: true (by find path)
lola: t2225: true (by find path)
lola: t2226: true (by find path)
lola: t2227: true (by find path)
lola: t2228: true (by find path)
lola: t2229: true (by find path)
lola: t2230: true (by find path)
lola: t2231: true (by find path)
lola: t2232: true (by find path)
lola: t2233: true (by find path)
lola: t2234: true (by find path)
lola: t2235: true (by find path)
lola: t2236: true (by find path)
lola: t2237: true (by find path)
lola: t2250: true (by goal oriented search)
lola: t2251: true (by find path)
lola: t648: true (by find path)
lola: t650: true (by find path)
lola: t652: true (by find path)
lola: t654: true (by find path)
lola: t656: true (by find path)
lola: t658: true (by find path)
lola: t660: true (by find path)
lola: t662: true (by find path)
lola: t664: true (by find path)
lola: t666: true (by find path)
lola: t1028: true (by find path)
lola: t1030: true (by find path)
lola: t1032: true (by find path)
lola: t1034: true (by find path)
lola: t1036: true (by find path)
lola: t1038: true (by find path)
lola: t1040: true (by find path)
lola: t1042: true (by find path)
lola: t1044: true (by find path)
lola: t1046: true (by find path)
lola: t728: true (by find path)
lola: t730: true (by find path)
lola: t732: true (by find path)
lola: t734: true (by find path)
lola: t736: true (by find path)
lola: t738: true (by find path)
lola: t740: true (by find path)
lola: t742: true (by find path)
lola: t744: true (by find path)
lola: t746: true (by find path)
lola: t768: true (by find path)
lola: t770: true (by find path)
lola: t772: true (by find path)
lola: t774: true (by find path)
lola: t776: true (by goal oriented search)
lola: t778: true (by goal oriented search)
lola: t780: true (by goal oriented search)
lola: t782: true (by goal oriented search)
lola: t784: void (by not produced)
lola: t786: void (by not produced)
lola: t788: true (by find path)
lola: t790: true (by find path)
lola: t792: true (by find path)
lola: t794: true (by goal oriented search)
lola: t796: true (by goal oriented search)
lola: t798: true (by goal oriented search)
lola: t341_t343: true (by find path)
lola: t341_t748: true (by find path)
lola: t341_t750: true (by find path)
lola: t341_t752: true (by find path)
lola: t341_t754: true (by find path)
lola: t341_t756: true (by find path)
lola: t341_t758: true (by find path)
lola: t341_t760: true (by goal oriented search)
lola: t341_t762: true (by goal oriented search)
lola: t341_t764: true (by find path)
lola: t341_t766: true (by find path)
lola: t316_t317_t911: true (by find path)
lola: t316_t317_t909: true (by find path)
lola: t316_t317_t912: true (by find path)
lola: t316_t317_t914: true (by find path)
lola: t316_t317_t924: true (by goal oriented search)
lola: t316_t317_t926: true (by goal oriented search)
lola: t316_t317_t923: true (by goal oriented search)
lola: t316_t317_t916: true (by find path)
lola: t316_t317_t918: true (by find path)
lola: t316_t317_t920: true (by goal oriented search)
lola: t309_t928: true (by find path)
lola: t309_t930: true (by find path)
lola: t309_t932: true (by find path)
lola: t309_t934: true (by find path)
lola: t309_t936: true (by find path)
lola: t309_t938: true (by find path)
lola: t309_t940: true (by goal oriented search)
lola: t309_t942: true (by goal oriented search)
lola: t309_t944: true (by goal oriented search)
lola: t309_t946: true (by goal oriented search)
lola: t309_t311: true (by find path)
lola: t284_t285_t704: true (by goal oriented search)
lola: t284_t285_t706: true (by goal oriented search)
lola: t284_t285_t703: true (by goal oriented search)
lola: t284_t285_t696: true (by find path)
lola: t284_t285_t698: true (by find path)
lola: t284_t285_t700: true (by goal oriented search)
lola: t284_t285_t691: true (by find path)
lola: t284_t285_t689: true (by find path)
lola: t284_t285_t692: true (by find path)
lola: t284_t285_t695: true (by find path)
lola: t277_t279: true (by find path)
lola: t277_t668: true (by find path)
lola: t277_t670: true (by find path)
lola: t277_t672: true (by find path)
lola: t277_t674: true (by find path)
lola: t277_t676: true (by find path)
lola: t277_t678: true (by find path)
lola: t277_t680: true (by goal oriented search)
lola: t277_t682: true (by goal oriented search)
lola: t277_t684: true (by goal oriented search)
lola: t277_t686: true (by goal oriented search)
lola: t252_t253_t993: true (by find path)
lola: t252_t253_t994: true (by find path)
lola: t252_t253_t991: true (by find path)
lola: t252_t253_t989: true (by find path)
lola: t252_t253_t1004: true (by find path)
lola: t252_t253_t1006: true (by find path)
lola: t252_t253_t1003: true (by find path)
lola: t252_t253_t996: true (by find path)
lola: t252_t253_t998: true (by find path)
lola: t252_t253_t1000: true (by find path)
lola: t245_t247: true (by find path)
lola: t245_t1008: true (by find path)
lola: t245_t1010: true (by find path)
lola: t245_t1012: true (by find path)
lola: t245_t1014: true (by find path)
lola: t245_t1016: true (by find path)
lola: t245_t1018: true (by find path)
lola: t245_t1020: true (by find path)
lola: t245_t1022: true (by find path)
lola: t245_t1024: true (by find path)
lola: t245_t1026: true (by find path)
lola: t220_t221_t611: true (by find path)
lola: t220_t221_t609: true (by find path)
lola: t220_t221_t612: true (by find path)
lola: t220_t221_t614: true (by find path)
lola: t220_t221_t624: true (by goal oriented search)
lola: t220_t221_t626: true (by goal oriented search)
lola: t220_t221_t623: true (by goal oriented search)
lola: t220_t221_t616: true (by find path)
lola: t220_t221_t618: true (by find path)
lola: t220_t221_t620: true (by goal oriented search)
lola: t213_t215: true (by find path)
lola: t213_t588: true (by find path)
lola: t213_t590: true (by find path)
lola: t213_t592: true (by find path)
lola: t213_t594: true (by find path)
lola: t213_t596: true (by find path)
lola: t213_t598: true (by find path)
lola: t213_t600: true (by goal oriented search)
lola: t213_t602: true (by goal oriented search)
lola: t213_t604: true (by goal oriented search)
lola: t213_t606: true (by goal oriented search)
lola: t188_t189_t1071: true (by find path)
lola: t188_t189_t1069: true (by find path)
lola: t188_t189_t1072: true (by find path)
lola: t188_t189_t1084: true (by goal oriented search)
lola: t188_t189_t1086: true (by goal oriented search)
lola: t188_t189_t1083: true (by goal oriented search)
lola: t188_t189_t1076: true (by find path)
lola: t188_t189_t1078: true (by find path)
lola: t188_t189_t1080: true (by goal oriented search)
lola: t188_t189_t1075: true (by find path)
lola: t181_t1100: true (by goal oriented search)
lola: t181_t1102: true (by goal oriented search)
lola: t181_t1104: true (by goal oriented search)
lola: t181_t1106: true (by goal oriented search)
lola: t181_t183: true (by find path)
lola: t181_t1088: true (by find path)
lola: t181_t1090: true (by find path)
lola: t181_t1092: true (by find path)
lola: t181_t1094: true (by find path)
lola: t181_t1096: true (by find path)
lola: t181_t1098: true (by find path)
lola: t156_t157_t544: true (by goal oriented search)
lola: t156_t157_t546: true (by goal oriented search)
lola: t156_t157_t531: true (by find path)
lola: t156_t157_t529: true (by find path)
lola: t156_t157_t532: true (by find path)
lola: t156_t157_t534: true (by find path)
lola: t156_t157_t543: true (by goal oriented search)
lola: t156_t157_t536: true (by find path)
lola: t156_t157_t538: true (by goal oriented search)
lola: t156_t157_t540: true (by goal oriented search)
lola: t149_t151: true (by find path)
lola: t149_t508: true (by find path)
lola: t149_t510: true (by find path)
lola: t149_t512: true (by find path)
lola: t149_t514: true (by find path)
lola: t149_t516: true (by find path)
lola: t149_t518: true (by goal oriented search)
lola: t149_t520: true (by goal oriented search)
lola: t149_t522: true (by goal oriented search)
lola: t149_t524: true (by goal oriented search)
lola: t149_t526: true (by goal oriented search)
lola: t124_t125_t1151: true (by find path)
lola: t124_t125_t1149: true (by find path)
lola: t124_t125_t1152: true (by find path)
lola: t124_t125_t1164: true (by goal oriented search)
lola: t124_t125_t1166: true (by goal oriented search)
lola: t124_t125_t1163: true (by goal oriented search)
lola: t124_t125_t1156: true (by find path)
lola: t124_t125_t1158: true (by goal oriented search)
lola: t124_t125_t1160: true (by goal oriented search)
lola: t124_t125_t1155: true (by find path)
lola: t117_t1168: true (by find path)
lola: t117_t1170: true (by find path)
lola: t117_t1172: true (by find path)
lola: t117_t1174: true (by find path)
lola: t117_t1176: true (by find path)
lola: t117_t1178: true (by goal oriented search)
lola: t117_t1180: true (by goal oriented search)
lola: t117_t1182: true (by goal oriented search)
lola: t117_t1184: true (by goal oriented search)
lola: t117_t1186: true (by goal oriented search)
lola: t117_t119: true (by find path)
lola: t92_t93_t464: true (by goal oriented search)
lola: t92_t93_t466: true (by goal oriented search)
lola: t92_t93_t463: true (by goal oriented search)
lola: t92_t93_t456: true (by find path)
lola: t92_t93_t458: true (by goal oriented search)
lola: t92_t93_t460: true (by goal oriented search)
lola: t92_t93_t451: true (by find path)
lola: t92_t93_t449: true (by find path)
lola: t92_t93_t452: true (by find path)
lola: t92_t93_t455: true (by find path)
lola: t85_t87: true (by find path)
lola: t85_t428: true (by find path)
lola: t85_t430: true (by find path)
lola: t85_t432: true (by find path)
lola: t85_t434: true (by find path)
lola: t85_t436: true (by find path)
lola: t85_t438: true (by goal oriented search)
lola: t85_t440: true (by goal oriented search)
lola: t85_t442: true (by goal oriented search)
lola: t85_t444: true (by goal oriented search)
lola: t85_t446: true (by goal oriented search)
lola: t55_t66_t2249: true (by find path)
lola: D The net is not quasilive
lola: Example for violating transition: t1212

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="AutonomousCar-PT-10b"
export BK_EXAMINATION="QuasiLiveness"
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-5348"
echo " Executing tool lola"
echo " Input is AutonomousCar-PT-10b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r020-oct2-167813608400427"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutonomousCar-PT-10b.tgz
mv AutonomousCar-PT-10b execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;