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.r116-tall-167814494200038.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 CloudReconfiguration-PT-308, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r116-tall-167814494200038
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 660K 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 StableMarking

=== Now, execution of the tool begins

BK_START 1678365575920

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=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=CloudReconfiguration-PT-308
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-308
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking

FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678366474644

--------------------
content from stderr:

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p2215
sara: try reading problem file stateEquationProblem-ConstantPlace-525.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p124
sara: try reading problem file stateEquationProblem-ConstantPlace-234.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1691
lola: state equation: 2
lola: find path: 733
lola: goal oriented search: 104
lola: symmetry: 55

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

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

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

lola: reporting
lola: not produced: 1564
lola: state equation: 5
lola: find path: 848
lola: goal oriented search: 104
lola: symmetry: 64
lola: STATE EQUATION TRIES PLACE p467
sara: try reading problem file stateEquationProblem-ConstantPlace-977.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2017
sara: try reading problem file stateEquationProblem-ConstantPlace-127.sara.
lola: reporting
lola: not produced: 1438
lola: state equation: 8
lola: find path: 969
lola: goal oriented search: 104
lola: symmetry: 66
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p129
sara: try reading problem file stateEquationProblem-ConstantPlace-239.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1343
lola: state equation: 11
lola: find path: 1052
lola: goal oriented search: 104
lola: symmetry: 75

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

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

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

lola: STATE EQUATION TRIES PLACE p1163
lola: reporting
lola: not produced: 1232
lola: state equation: 15
lola: find path: 1151
lola: goal oriented search: 104
lola: symmetry: 83
sara: try reading problem file stateEquationProblem-ConstantPlace-1168.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p435
sara: try reading problem file stateEquationProblem-ConstantPlace-945.sara.
lola: reporting
lola: not produced: 1158
lola: state equation: 18
lola: find path: 1214
lola: goal oriented search: 104
lola: symmetry: 91
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1157
sara: try reading problem file stateEquationProblem-ConstantPlace-1156.sara.
lola: reporting
lola: not produced: 1128
lola: state equation: 21
lola: find path: 1240
lola: goal oriented search: 104
lola: symmetry: 92
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1831
sara: try reading problem file stateEquationProblem-ConstantPlace-2516.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1086
lola: state equation: 24
lola: find path: 1273
lola: goal oriented search: 104
lola: symmetry: 98

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

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

lola: STATE EQUATION TRIES PLACE p1429
sara: try reading problem file stateEquationProblem-ConstantPlace-1824.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1058
lola: state equation: 27
lola: find path: 1295
lola: goal oriented search: 104
lola: symmetry: 101

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

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

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

lola: STATE EQUATION TRIES PLACE p1342
sara: try reading problem file stateEquationProblem-ConstantPlace-1637.sara.
lola: reporting
lola: not produced: 1022
lola: state equation: 31
lola: find path: 1322
lola: goal oriented search: 104
lola: symmetry: 106
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p765
sara: try reading problem file stateEquationProblem-ConstantPlace-1760.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 958
lola: state equation: 34
lola: find path: 1377
lola: goal oriented search: 104
lola: symmetry: 112

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

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

lola: STATE EQUATION TRIES PLACE p679
sara: try reading problem file stateEquationProblem-ConstantPlace-1574.sara.
lola: reporting
lola: not produced: 948
lola: state equation: 37
lola: find path: 1384
lola: goal oriented search: 104
lola: symmetry: 112
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 943
lola: state equation: 40
lola: find path: 1386
lola: goal oriented search: 104
lola: symmetry: 112
lola: STATE EQUATION TRIES PLACE p731
sara: try reading problem file stateEquationProblem-ConstantPlace-1726.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p284
sara: try reading problem file stateEquationProblem-ConstantPlace-494.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 920
lola: state equation: 42
lola: find path: 1405
lola: goal oriented search: 104
lola: symmetry: 114

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

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

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

lola: STATE EQUATION TRIES PLACE p2394
sara: try reading problem file stateEquationProblem-ConstantPlace-867.sara.
lola: reporting
lola: not produced: 904
lola: state equation: 46
lola: find path: 1416
lola: goal oriented search: 104
lola: symmetry: 115
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2210
sara: try reading problem file stateEquationProblem-ConstantPlace-520.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 891
lola: state equation: 49
lola: find path: 1424
lola: goal oriented search: 104
lola: symmetry: 117

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

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

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

lola: STATE EQUATION TRIES PLACE p2213
sara: try reading problem file stateEquationProblem-ConstantPlace-523.sara.
lola: reporting
lola: not produced: 870
lola: state equation: 53
lola: find path: 1440
lola: goal oriented search: 104
lola: symmetry: 118
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 846
lola: state equation: 56
lola: find path: 1454
lola: goal oriented search: 104
lola: symmetry: 125
lola: STATE EQUATION TRIES PLACE p1818
sara: try reading problem file stateEquationProblem-ConstantPlace-2503.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1838
sara: try reading problem file stateEquationProblem-ConstantPlace-2523.sara.
lola: reporting
lola: not produced: 826
lola: state equation: 60
lola: find path: 1469
lola: goal oriented search: 104
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 819
lola: state equation: 63
lola: find path: 1473
lola: goal oriented search: 104
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p737
sara: try reading problem file stateEquationProblem-ConstantPlace-1732.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1597
sara: try reading problem file stateEquationProblem-ConstantPlace-2092.sara.
lola: reporting
lola: not produced: 808
lola: state equation: 67
lola: find path: 1480
lola: goal oriented search: 104
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p310
sara: try reading problem file stateEquationProblem-ConstantPlace-620.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 799
lola: state equation: 68
lola: find path: 1488
lola: goal oriented search: 104
lola: symmetry: 126

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

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

lola: STATE EQUATION TRIES PLACE p307
sara: try reading problem file stateEquationProblem-ConstantPlace-617.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 789
lola: state equation: 71
lola: find path: 1495
lola: goal oriented search: 104
lola: symmetry: 126

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

lola: STATE EQUATION TRIES PLACE p1210
sara: try reading problem file stateEquationProblem-ConstantPlace-1362.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 785
lola: state equation: 73
lola: find path: 1497
lola: goal oriented search: 104
lola: symmetry: 126

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

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

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

lola: STATE EQUATION TRIES PLACE p893
sara: try reading problem file stateEquationProblem-ConstantPlace-1988.sara.
lola: reporting
lola: not produced: 772
lola: state equation: 77
lola: find path: 1506
lola: goal oriented search: 104
lola: symmetry: 126
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 769
lola: state equation: 80
lola: find path: 1506
lola: goal oriented search: 104
lola: symmetry: 126
lola: STATE EQUATION TRIES PLACE p257
sara: try reading problem file stateEquationProblem-ConstantPlace-467.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1799
sara: try reading problem file stateEquationProblem-ConstantPlace-2484.sara.
lola: reporting
lola: not produced: 737
lola: state equation: 82
lola: find path: 1535
lola: goal oriented search: 104
lola: symmetry: 127
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2327
sara: try reading problem file stateEquationProblem-ConstantPlace-737.sara.
lola: reporting
lola: not produced: 712
lola: state equation: 86
lola: find path: 1555
lola: goal oriented search: 104
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2000
sara: try reading problem file stateEquationProblem-ConstantPlace-110.sara.
lola: reporting
lola: not produced: 707
lola: state equation: 89
lola: find path: 1557
lola: goal oriented search: 104
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2354
sara: try reading problem file stateEquationProblem-ConstantPlace-787.sara.
lola: reporting
lola: not produced: 702
lola: state equation: 93
lola: find path: 1558
lola: goal oriented search: 104
lola: symmetry: 128
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 678
lola: state equation: 96
lola: find path: 1576
lola: goal oriented search: 104
lola: symmetry: 131
lola: STATE EQUATION TRIES PLACE p2431
sara: try reading problem file stateEquationProblem-ConstantPlace-1041.sara.
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1544
sara: try reading problem file stateEquationProblem-ConstantPlace-2039.sara.
lola: reporting
lola: not produced: 671
lola: state equation: 99
lola: find path: 1579
lola: goal oriented search: 104
lola: symmetry: 132
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2357
sara: try reading problem file stateEquationProblem-ConstantPlace-793.sara.
lola: reporting
lola: not produced: 659
lola: state equation: 102
lola: find path: 1584
lola: goal oriented search: 104
lola: symmetry: 136
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 648
lola: state equation: 105
lola: find path: 1591
lola: goal oriented search: 104
lola: symmetry: 137
lola: STATE EQUATION TRIES PLACE p1785
sara: try reading problem file stateEquationProblem-ConstantPlace-2470.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p272
sara: try reading problem file stateEquationProblem-ConstantPlace-482.sara.
lola: reporting
lola: not produced: 643
lola: state equation: 109
lola: find path: 1592
lola: goal oriented search: 104
lola: symmetry: 137
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1276
sara: try reading problem file stateEquationProblem-ConstantPlace-1471.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 640
lola: state equation: 111
lola: find path: 1593
lola: goal oriented search: 104
lola: symmetry: 137

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

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

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

lola: STATE EQUATION TRIES PLACE p1331
sara: try reading problem file stateEquationProblem-ConstantPlace-1626.sara.
lola: reporting
lola: not produced: 635
lola: state equation: 115
lola: find path: 1593
lola: goal oriented search: 104
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1039
sara: try reading problem file stateEquationProblem-ConstantPlace-819.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 624
lola: state equation: 118
lola: find path: 1601
lola: goal oriented search: 104
lola: symmetry: 138

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

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

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

lola: STATE EQUATION TRIES PLACE p2524
sara: try reading problem file stateEquationProblem-ConstantPlace-1334.sara.
lola: reporting
lola: not produced: 619
lola: state equation: 122
lola: find path: 1602
lola: goal oriented search: 104
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1423
sara: try reading problem file stateEquationProblem-ConstantPlace-1818.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 615
lola: state equation: 125
lola: find path: 1603
lola: goal oriented search: 104
lola: symmetry: 138

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

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

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

lola: STATE EQUATION TRIES PLACE p1422
sara: try reading problem file stateEquationProblem-ConstantPlace-1817.sara.
lola: reporting
lola: not produced: 605
lola: state equation: 129
lola: find path: 1609
lola: goal oriented search: 104
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p667
sara: try reading problem file stateEquationProblem-ConstantPlace-1562.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 597
lola: state equation: 132
lola: find path: 1614
lola: goal oriented search: 104
lola: symmetry: 138

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

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

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

lola: STATE EQUATION TRIES PLACE p1557
sara: try reading problem file stateEquationProblem-ConstantPlace-2052.sara.
lola: reporting
lola: not produced: 590
lola: state equation: 136
lola: find path: 1617
lola: goal oriented search: 104
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 587
lola: state equation: 139
lola: find path: 1617
lola: goal oriented search: 104
lola: symmetry: 138
lola: STATE EQUATION TRIES PLACE p1338
sara: try reading problem file stateEquationProblem-ConstantPlace-1633.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2254
sara: try reading problem file stateEquationProblem-ConstantPlace-564.sara.
lola: reporting
lola: not produced: 581
lola: state equation: 143
lola: find path: 1619
lola: goal oriented search: 104
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1173
sara: try reading problem file stateEquationProblem-ConstantPlace-1183.sara.
lola: reporting
lola: not produced: 575
lola: state equation: 147
lola: find path: 1620
lola: goal oriented search: 104
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1183
sara: try reading problem file stateEquationProblem-ConstantPlace-1193.sara.
lola: reporting
lola: not produced: 573
lola: state equation: 149
lola: find path: 1620
lola: goal oriented search: 104
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p338
sara: try reading problem file stateEquationProblem-ConstantPlace-648.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 571
lola: state equation: 151
lola: find path: 1620
lola: goal oriented search: 104
lola: symmetry: 139

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

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

lola: STATE EQUATION TRIES PLACE p733
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
lola: reporting
lola: not produced: 566
lola: state equation: 154
lola: find path: 1621
lola: goal oriented search: 104
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 562
lola: state equation: 157
lola: find path: 1622
lola: goal oriented search: 104
lola: symmetry: 140
lola: STATE EQUATION TRIES PLACE p1031
sara: try reading problem file stateEquationProblem-ConstantPlace-804.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p738
sara: try reading problem file stateEquationProblem-ConstantPlace-1733.sara.
lola: reporting
lola: not produced: 553
lola: state equation: 161
lola: find path: 1624
lola: goal oriented search: 104
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1783
sara: try reading problem file stateEquationProblem-ConstantPlace-2468.sara.
lola: reporting
lola: not produced: 548
lola: state equation: 165
lola: find path: 1625
lola: goal oriented search: 104
lola: symmetry: 143
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p678
sara: try reading problem file stateEquationProblem-ConstantPlace-1573.sara.
lola: reporting
lola: not produced: 540
lola: state equation: 168
lola: find path: 1628
lola: goal oriented search: 104
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1459
sara: try reading problem file stateEquationProblem-ConstantPlace-1854.sara.
lola: reporting
lola: not produced: 536
lola: state equation: 172
lola: find path: 1628
lola: goal oriented search: 104
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2082
sara: try reading problem file stateEquationProblem-ConstantPlace-192.sara.
lola: reporting
lola: not produced: 532
lola: state equation: 175
lola: find path: 1629
lola: goal oriented search: 104
lola: symmetry: 145
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1547
lola: reporting
lola: not produced: 519
lola: state equation: 179
lola: find path: 1637
lola: goal oriented search: 104
lola: symmetry: 146
sara: try reading problem file stateEquationProblem-ConstantPlace-2042.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1310
sara: try reading problem file stateEquationProblem-ConstantPlace-1605.sara.
lola: reporting
lola: not produced: 509
lola: state equation: 182
lola: find path: 1644
lola: goal oriented search: 104
lola: symmetry: 146
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2501
sara: try reading problem file stateEquationProblem-ConstantPlace-1301.sara.
lola: reporting
lola: not produced: 502
lola: state equation: 186
lola: find path: 1646
lola: goal oriented search: 104
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1879
sara: try reading problem file stateEquationProblem-ConstantPlace-2564.sara.
lola: reporting
lola: not produced: 499
lola: state equation: 189
lola: find path: 1646
lola: goal oriented search: 104
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1703
sara: try reading problem file stateEquationProblem-ConstantPlace-2388.sara.
lola: reporting
lola: not produced: 494
lola: state equation: 193
lola: find path: 1647
lola: goal oriented search: 104
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1421
sara: try reading problem file stateEquationProblem-ConstantPlace-1816.sara.
lola: reporting
lola: not produced: 484
lola: state equation: 196
lola: find path: 1654
lola: goal oriented search: 104
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2395
lola: reporting
lola: not produced: 461
lola: state equation: 200
lola: find path: 1673
lola: goal oriented search: 104
lola: symmetry: 147
sara: try reading problem file stateEquationProblem-ConstantPlace-869.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2071
sara: try reading problem file stateEquationProblem-ConstantPlace-181.sara.
lola: reporting
lola: not produced: 455
lola: state equation: 203
lola: find path: 1676
lola: goal oriented search: 104
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2480
sara: try reading problem file stateEquationProblem-ConstantPlace-1140.sara.
lola: reporting
lola: not produced: 448
lola: state equation: 207
lola: find path: 1679
lola: goal oriented search: 104
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2004
sara: try reading problem file stateEquationProblem-ConstantPlace-114.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 445
lola: state equation: 210
lola: find path: 1679
lola: goal oriented search: 104
lola: symmetry: 147

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

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

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

lola: STATE EQUATION TRIES PLACE p2436
sara: try reading problem file stateEquationProblem-ConstantPlace-1051.sara.
lola: reporting
lola: not produced: 440
lola: state equation: 214
lola: find path: 1680
lola: goal oriented search: 104
lola: symmetry: 147
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1468
sara: try reading problem file stateEquationProblem-ConstantPlace-1863.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 436
lola: state equation: 217
lola: find path: 1681
lola: goal oriented search: 104
lola: symmetry: 147

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

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

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

lola: STATE EQUATION TRIES PLACE p664
sara: try reading problem file stateEquationProblem-ConstantPlace-1559.sara.
lola: reporting
lola: not produced: 431
lola: state equation: 221
lola: find path: 1681
lola: goal oriented search: 104
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1467
sara: try reading problem file stateEquationProblem-ConstantPlace-1862.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 427
lola: state equation: 224
lola: find path: 1682
lola: goal oriented search: 104
lola: symmetry: 148

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

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

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

lola: STATE EQUATION TRIES PLACE p2482
sara: try reading problem file stateEquationProblem-ConstantPlace-1143.sara.
lola: reporting
lola: not produced: 423
lola: state equation: 228
lola: find path: 1682
lola: goal oriented search: 104
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2433
sara: try reading problem file stateEquationProblem-ConstantPlace-1045.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 420
lola: state equation: 231
lola: find path: 1682
lola: goal oriented search: 104
lola: symmetry: 148

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

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

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

lola: STATE EQUATION TRIES PLACE p1403
sara: try reading problem file stateEquationProblem-ConstantPlace-1798.sara.
lola: reporting
lola: not produced: 416
lola: state equation: 235
lola: find path: 1682
lola: goal oriented search: 104
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1995
sara: try reading problem file stateEquationProblem-ConstantPlace-95.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 410
lola: state equation: 238
lola: find path: 1685
lola: goal oriented search: 104
lola: symmetry: 148

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

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

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

lola: STATE EQUATION TRIES PLACE p1781
sara: try reading problem file stateEquationProblem-ConstantPlace-2466.sara.
lola: reporting
lola: not produced: 406
lola: state equation: 242
lola: find path: 1685
lola: goal oriented search: 104
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1878
sara: try reading problem file stateEquationProblem-ConstantPlace-2563.sara.
lola: reporting
lola: not produced: 403
lola: state equation: 245
lola: find path: 1685
lola: goal oriented search: 104
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p276
sara: try reading problem file stateEquationProblem-ConstantPlace-486.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 400
lola: state equation: 248
lola: find path: 1685
lola: goal oriented search: 104
lola: symmetry: 148

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

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

lola: STATE EQUATION TRIES PLACE p2367
sara: try reading problem file stateEquationProblem-ConstantPlace-813.sara.
lola: reporting
lola: not produced: 396
lola: state equation: 251
lola: find path: 1686
lola: goal oriented search: 104
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2190
sara: try reading problem file stateEquationProblem-ConstantPlace-400.sara.
lola: reporting
lola: not produced: 391
lola: state equation: 254
lola: find path: 1688
lola: goal oriented search: 104
lola: symmetry: 148
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2490
lola: reporting
lola: not produced: 387
lola: state equation: 258
lola: find path: 1688
lola: goal oriented search: 104
lola: symmetry: 148
sara: try reading problem file stateEquationProblem-ConstantPlace-1160.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2007
sara: try reading problem file stateEquationProblem-ConstantPlace-117.sara.
lola: reporting
lola: not produced: 382
lola: state equation: 261
lola: find path: 1689
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2403
sara: try reading problem file stateEquationProblem-ConstantPlace-1003.sara.
lola: reporting
lola: not produced: 378
lola: state equation: 265
lola: find path: 1689
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1068
sara: try reading problem file stateEquationProblem-ConstantPlace-878.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 373
lola: state equation: 268
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149

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

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

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

lola: STATE EQUATION TRIES PLACE p1416
sara: try reading problem file stateEquationProblem-ConstantPlace-1811.sara.
lola: reporting
lola: not produced: 369
lola: state equation: 272
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1325
sara: try reading problem file stateEquationProblem-ConstantPlace-1620.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 275
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1538
sara: try reading problem file stateEquationProblem-ConstantPlace-2033.sara.
lola: reporting
lola: not produced: 362
lola: state equation: 279
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2415
sara: try reading problem file stateEquationProblem-ConstantPlace-1025.sara.
lola: reporting
lola: not produced: 359
lola: state equation: 282
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2472
sara: try reading problem file stateEquationProblem-ConstantPlace-1123.sara.
lola: reporting
lola: not produced: 355
lola: state equation: 286
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1782
sara: try reading problem file stateEquationProblem-ConstantPlace-2467.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 352
lola: state equation: 289
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149

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

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

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

lola: STATE EQUATION TRIES PLACE p2225
sara: try reading problem file stateEquationProblem-ConstantPlace-535.sara.
lola: reporting
lola: not produced: 348
lola: state equation: 293
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1972
sara: try reading problem file stateEquationProblem-ConstantPlace-72.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 345
lola: state equation: 296
lola: find path: 1691
lola: goal oriented search: 104
lola: symmetry: 149

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

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

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

lola: STATE EQUATION TRIES PLACE p1996
sara: try reading problem file stateEquationProblem-ConstantPlace-96.sara.
lola: reporting
lola: not produced: 340
lola: state equation: 300
lola: find path: 1692
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2084
sara: try reading problem file stateEquationProblem-ConstantPlace-194.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 335
lola: state equation: 303
lola: find path: 1694
lola: goal oriented search: 104
lola: symmetry: 149

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

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

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

lola: STATE EQUATION TRIES PLACE p2529
sara: try reading problem file stateEquationProblem-ConstantPlace-1339.sara.
lola: reporting
lola: not produced: 331
lola: state equation: 307
lola: find path: 1694
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1415
sara: try reading problem file stateEquationProblem-ConstantPlace-1810.sara.
lola: reporting
lola: not produced: 328
lola: state equation: 310
lola: find path: 1694
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1871
sara: try reading problem file stateEquationProblem-ConstantPlace-2556.sara.
lola: reporting
lola: not produced: 324
lola: state equation: 314
lola: find path: 1694
lola: goal oriented search: 104
lola: symmetry: 149
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2392
sara: try reading problem file stateEquationProblem-ConstantPlace-863.sara.
lola: reporting
lola: not produced: 316
lola: state equation: 317
lola: find path: 1697
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2527
lola: reporting
lola: not produced: 312
lola: state equation: 321
lola: find path: 1697
lola: goal oriented search: 104
lola: symmetry: 151
sara: try reading problem file stateEquationProblem-ConstantPlace-1337.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1340
sara: try reading problem file stateEquationProblem-ConstantPlace-1635.sara.
lola: reporting
lola: not produced: 309
lola: state equation: 324
lola: find path: 1697
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1876
sara: try reading problem file stateEquationProblem-ConstantPlace-2561.sara.
lola: reporting
lola: not produced: 305
lola: state equation: 328
lola: find path: 1697
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p275
sara: try reading problem file stateEquationProblem-ConstantPlace-485.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 303
lola: state equation: 330
lola: find path: 1697
lola: goal oriented search: 104
lola: symmetry: 151

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

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

lola: STATE EQUATION TRIES PLACE p1426
sara: try reading problem file stateEquationProblem-ConstantPlace-1821.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 299
lola: state equation: 333
lola: find path: 1698
lola: goal oriented search: 104
lola: symmetry: 151

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

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

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

lola: STATE EQUATION TRIES PLACE p1784
sara: try reading problem file stateEquationProblem-ConstantPlace-2469.sara.
lola: reporting
lola: not produced: 295
lola: state equation: 337
lola: find path: 1698
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1563
sara: try reading problem file stateEquationProblem-ConstantPlace-2058.sara.
lola: reporting
lola: not produced: 288
lola: state equation: 340
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2013
sara: try reading problem file stateEquationProblem-ConstantPlace-123.sara.
lola: reporting
lola: not produced: 284
lola: state equation: 344
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1430
sara: try reading problem file stateEquationProblem-ConstantPlace-1825.sara.
lola: reporting
lola: not produced: 281
lola: state equation: 347
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2073
sara: try reading problem file stateEquationProblem-ConstantPlace-183.sara.
lola: reporting
lola: not produced: 277
lola: state equation: 351
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1332
sara: try reading problem file stateEquationProblem-ConstantPlace-1627.sara.
lola: reporting
lola: not produced: 274
lola: state equation: 354
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p273
sara: try reading problem file stateEquationProblem-ConstantPlace-483.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 272
lola: state equation: 356
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151

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

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

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

lola: STATE EQUATION TRIES PLACE p1989
sara: try reading problem file stateEquationProblem-ConstantPlace-89.sara.
lola: reporting
lola: not produced: 268
lola: state equation: 360
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1885
sara: try reading problem file stateEquationProblem-ConstantPlace-2570.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 265
lola: state equation: 363
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151

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

lola: STATE EQUATION TRIES PLACE p1546
sara: try reading problem file stateEquationProblem-ConstantPlace-2041.sara.
lola: reporting
lola: not produced: 263
lola: state equation: 365
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1865
sara: try reading problem file stateEquationProblem-ConstantPlace-2550.sara.
lola: reporting
lola: not produced: 259
lola: state equation: 369
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1328
sara: try reading problem file stateEquationProblem-ConstantPlace-1623.sara.
lola: reporting
lola: not produced: 256
lola: state equation: 372
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2471
sara: try reading problem file stateEquationProblem-ConstantPlace-1121.sara.
lola: reporting
lola: not produced: 252
lola: state equation: 376
lola: find path: 1702
lola: goal oriented search: 104
lola: symmetry: 151
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1333
sara: try reading problem file stateEquationProblem-ConstantPlace-1628.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 246
lola: state equation: 379
lola: find path: 1704
lola: goal oriented search: 104
lola: symmetry: 152

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

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

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

lola: STATE EQUATION TRIES PLACE p1863
sara: try reading problem file stateEquationProblem-ConstantPlace-2548.sara.
lola: reporting
lola: not produced: 242
lola: state equation: 383
lola: find path: 1704
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1177
sara: try reading problem file stateEquationProblem-ConstantPlace-1187.sara.
lola: reporting
lola: not produced: 238
lola: state equation: 386
lola: find path: 1705
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2015
sara: try reading problem file stateEquationProblem-ConstantPlace-125.sara.
lola: reporting
lola: not produced: 234
lola: state equation: 390
lola: find path: 1705
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2475
sara: try reading problem file stateEquationProblem-ConstantPlace-1129.sara.
lola: reporting
lola: not produced: 231
lola: state equation: 393
lola: find path: 1705
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1336
lola: reporting
lola: not produced: 227
lola: state equation: 397
lola: find path: 1705
lola: goal oriented search: 104
lola: symmetry: 152
sara: try reading problem file stateEquationProblem-ConstantPlace-1631.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2412
sara: try reading problem file stateEquationProblem-ConstantPlace-1022.sara.
lola: reporting
lola: not produced: 224
lola: state equation: 400
lola: find path: 1705
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1344
sara: try reading problem file stateEquationProblem-ConstantPlace-1639.sara.
lola: reporting
lola: not produced: 220
lola: state equation: 404
lola: find path: 1705
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2078
sara: try reading problem file stateEquationProblem-ConstantPlace-188.sara.
lola: reporting
lola: not produced: 217
lola: state equation: 407
lola: find path: 1705
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 212
lola: state equation: 410
lola: find path: 1707
lola: goal oriented search: 104
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p2454
sara: try reading problem file stateEquationProblem-ConstantPlace-1087.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2459
sara: try reading problem file stateEquationProblem-ConstantPlace-1097.sara.
lola: reporting
lola: not produced: 208
lola: state equation: 414
lola: find path: 1707
lola: goal oriented search: 104
lola: symmetry: 152
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 205
lola: state equation: 417
lola: find path: 1707
lola: goal oriented search: 104
lola: symmetry: 152
lola: STATE EQUATION TRIES PLACE p2385
sara: try reading problem file stateEquationProblem-ConstantPlace-849.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1071
sara: try reading problem file stateEquationProblem-ConstantPlace-881.sara.
lola: reporting
lola: not produced: 199
lola: state equation: 421
lola: find path: 1708
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1215
sara: try reading problem file stateEquationProblem-ConstantPlace-1372.sara.
lola: reporting
lola: not produced: 196
lola: state equation: 424
lola: find path: 1708
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1530
sara: try reading problem file stateEquationProblem-ConstantPlace-2025.sara.
lola: reporting
lola: not produced: 188
lola: state equation: 428
lola: find path: 1712
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1152
sara: try reading problem file stateEquationProblem-ConstantPlace-1146.sara.
lola: reporting
lola: not produced: 185
lola: state equation: 431
lola: find path: 1712
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1819
lola: reporting
lola: not produced: 179
lola: state equation: 435
lola: find path: 1714
lola: goal oriented search: 104
lola: symmetry: 153
sara: try reading problem file stateEquationProblem-ConstantPlace-2504.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2194
sara: try reading problem file stateEquationProblem-ConstantPlace-404.sara.
lola: reporting
lola: not produced: 173
lola: state equation: 438
lola: find path: 1717
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 169
lola: state equation: 441
lola: find path: 1718
lola: goal oriented search: 104
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p1807
sara: try reading problem file stateEquationProblem-ConstantPlace-2492.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1150
sara: try reading problem file stateEquationProblem-ConstantPlace-1142.sara.
lola: reporting
lola: not produced: 165
lola: state equation: 445
lola: find path: 1718
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 162
lola: state equation: 448
lola: find path: 1718
lola: goal oriented search: 104
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p2447
sara: try reading problem file stateEquationProblem-ConstantPlace-1073.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.sara.
lola: reporting
lola: not produced: 158
lola: state equation: 452
lola: find path: 1718
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1884
sara: try reading problem file stateEquationProblem-ConstantPlace-2569.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 155
lola: state equation: 455
lola: find path: 1718
lola: goal oriented search: 104
lola: symmetry: 153

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

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

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

lola: STATE EQUATION TRIES PLACE p1346
sara: try reading problem file stateEquationProblem-ConstantPlace-1641.sara.
lola: reporting
lola: not produced: 150
lola: state equation: 459
lola: find path: 1719
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1843
sara: try reading problem file stateEquationProblem-ConstantPlace-2528.sara.
lola: reporting
lola: not produced: 147
lola: state equation: 462
lola: find path: 1719
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2500
lola: reporting
lola: not produced: 143
lola: state equation: 466
lola: find path: 1719
lola: goal oriented search: 104
lola: symmetry: 153
sara: try reading problem file stateEquationProblem-ConstantPlace-1300.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1061
sara: try reading problem file stateEquationProblem-ConstantPlace-864.sara.
lola: reporting
lola: not produced: 140
lola: state equation: 469
lola: find path: 1719
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 137
lola: state equation: 472
lola: find path: 1719
lola: goal oriented search: 104
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p2066
sara: try reading problem file stateEquationProblem-ConstantPlace-176.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1788
sara: try reading problem file stateEquationProblem-ConstantPlace-2473.sara.
lola: reporting
lola: not produced: 130
lola: state equation: 476
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2481
sara: try reading problem file stateEquationProblem-ConstantPlace-1141.sara.
lola: reporting
lola: not produced: 127
lola: state equation: 479
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1412
sara: try reading problem file stateEquationProblem-ConstantPlace-1807.sara.
lola: reporting
lola: not produced: 123
lola: state equation: 483
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1823
sara: try reading problem file stateEquationProblem-ConstantPlace-2508.sara.
lola: reporting
lola: not produced: 120
lola: state equation: 486
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 117
lola: state equation: 489
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153
lola: STATE EQUATION TRIES PLACE p1787
sara: try reading problem file stateEquationProblem-ConstantPlace-2472.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p647
sara: try reading problem file stateEquationProblem-ConstantPlace-1542.sara.
lola: reporting
lola: not produced: 113
lola: state equation: 493
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2389
sara: try reading problem file stateEquationProblem-ConstantPlace-857.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 110
lola: state equation: 496
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153

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

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

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

lola: STATE EQUATION TRIES PLACE p932
sara: try reading problem file stateEquationProblem-ConstantPlace-2127.sara.
lola: reporting
lola: not produced: 106
lola: state equation: 500
lola: find path: 1722
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1564
sara: try reading problem file stateEquationProblem-ConstantPlace-2059.sara.
lola: reporting
lola: not produced: 102
lola: state equation: 503
lola: find path: 1723
lola: goal oriented search: 104
lola: symmetry: 153
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2208
lola: reporting
lola: not produced: 98
lola: state equation: 507
lola: find path: 1723
lola: goal oriented search: 104
lola: symmetry: 153
sara: try reading problem file stateEquationProblem-ConstantPlace-508.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2206
sara: try reading problem file stateEquationProblem-ConstantPlace-506.sara.
lola: reporting
lola: not produced: 94
lola: state equation: 510
lola: find path: 1723
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1151
lola: reporting
lola: not produced: 90
lola: state equation: 514
lola: find path: 1723
lola: goal oriented search: 104
lola: symmetry: 154
sara: try reading problem file stateEquationProblem-ConstantPlace-1144.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1175
sara: try reading problem file stateEquationProblem-ConstantPlace-1185.sara.
lola: reporting
lola: not produced: 87
lola: state equation: 517
lola: find path: 1723
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 83
lola: state equation: 520
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1404
sara: try reading problem file stateEquationProblem-ConstantPlace-1799.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2520
sara: try reading problem file stateEquationProblem-ConstantPlace-1330.sara.
lola: reporting
lola: not produced: 79
lola: state equation: 524
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1988
sara: try reading problem file stateEquationProblem-ConstantPlace-88.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 76
lola: state equation: 527
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154

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

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

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

lola: STATE EQUATION TRIES PLACE p1875
sara: try reading problem file stateEquationProblem-ConstantPlace-2560.sara.
lola: reporting
lola: not produced: 72
lola: state equation: 531
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p671
sara: try reading problem file stateEquationProblem-ConstantPlace-1566.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 69
lola: state equation: 534
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154

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

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

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

lola: STATE EQUATION TRIES PLACE p2533
sara: try reading problem file stateEquationProblem-ConstantPlace-1345.sara.
lola: reporting
lola: not produced: 65
lola: state equation: 538
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2435
sara: try reading problem file stateEquationProblem-ConstantPlace-1049.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 62
lola: state equation: 541
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154

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

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

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

lola: STATE EQUATION TRIES PLACE p1432
sara: try reading problem file stateEquationProblem-ConstantPlace-1827.sara.
lola: reporting
lola: not produced: 58
lola: state equation: 545
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1562
sara: try reading problem file stateEquationProblem-ConstantPlace-2057.sara.
lola: reporting
lola: not produced: 55
lola: state equation: 548
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2521
sara: try reading problem file stateEquationProblem-ConstantPlace-1331.sara.
lola: reporting
lola: not produced: 51
lola: state equation: 552
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2195
sara: try reading problem file stateEquationProblem-ConstantPlace-405.sara.
lola: reporting
lola: not produced: 48
lola: state equation: 555
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p1182
sara: try reading problem file stateEquationProblem-ConstantPlace-1192.sara.
lola: reporting
lola: not produced: 44
lola: state equation: 559
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2465
sara: try reading problem file stateEquationProblem-ConstantPlace-1109.sara.
lola: reporting
lola: not produced: 41
lola: state equation: 562
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2499
lola: reporting
lola: not produced: 37
lola: state equation: 566
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: try reading problem file stateEquationProblem-ConstantPlace-1177.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1406
sara: try reading problem file stateEquationProblem-ConstantPlace-1801.sara.
lola: reporting
lola: not produced: 34
lola: state equation: 569
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

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

lola: reporting
lola: not produced: 31
lola: state equation: 572
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
lola: STATE EQUATION TRIES PLACE p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1342.sara.
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2074
sara: try reading problem file stateEquationProblem-ConstantPlace-184.sara.
lola: reporting
lola: not produced: 27
lola: state equation: 576
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2065
sara: try reading problem file stateEquationProblem-ConstantPlace-175.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 24
lola: state equation: 579
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154

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

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

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

lola: STATE EQUATION TRIES PLACE p665
sara: try reading problem file stateEquationProblem-ConstantPlace-1560.sara.
lola: reporting
lola: not produced: 20
lola: state equation: 583
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2516
sara: try reading problem file stateEquationProblem-ConstantPlace-1326.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 17
lola: state equation: 586
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154

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

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

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

lola: STATE EQUATION TRIES PLACE p2451
sara: try reading problem file stateEquationProblem-ConstantPlace-1081.sara.
lola: reporting
lola: not produced: 13
lola: state equation: 590
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p1347
sara: try reading problem file stateEquationProblem-ConstantPlace-1642.sara.
lola: reporting
lola: not produced: 10
lola: state equation: 593
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

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

lola: STATE EQUATION TRIES PLACE p2189
sara: try reading problem file stateEquationProblem-ConstantPlace-399.sara.
lola: reporting
lola: not produced: 6
lola: state equation: 597
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: STATE EQUATION TRIES PLACE p2217
sara: try reading problem file stateEquationProblem-ConstantPlace-527.sara.
lola: reporting
lola: not produced: 3
lola: state equation: 600
lola: find path: 1724
lola: goal oriented search: 104
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

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

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

lola: The net does not have constant places

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-308"
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-5348"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-308, 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 r116-tall-167814494200038"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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