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-167814494300103.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-401, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r116-tall-167814494300103
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 8.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K 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 3.6K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 180K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 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 912K 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 1678369191957

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-401
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT CloudReconfiguration-PT-401
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 9774628 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16073424 kB

BK_TIME_CONFINEMENT_REACHED

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

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

lola: STATE EQUATION TRIES PLACE p1615
sara: try reading problem file stateEquationProblem-ConstantPlace-3206.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2852
lola: state equation: 1
lola: find path: 673
lola: symmetry: 28

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

lola: STATE EQUATION TRIES PLACE p1655
sara: try reading problem file stateEquationProblem-ConstantPlace-3296.sara.
lola: reporting
lola: not produced: 2448
lola: state equation: 3
lola: find path: 1051
lola: symmetry: 52
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p337
sara: try reading problem file stateEquationProblem-ConstantPlace-1201.sara.
lola: reporting
lola: not produced: 2286
lola: state equation: 5
lola: find path: 1187
lola: symmetry: 76
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2188
lola: state equation: 5
lola: find path: 1280
lola: symmetry: 81

lola: STATE EQUATION TRIES PLACE p3458
sara: try reading problem file stateEquationProblem-ConstantPlace-795.sara.
lola: reporting
lola: not produced: 2125
lola: state equation: 6
lola: find path: 1341
lola: symmetry: 82
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p294
sara: try reading problem file stateEquationProblem-ConstantPlace-1054.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1989
lola: state equation: 7
lola: find path: 1468
lola: symmetry: 90
lola: reporting
lola: not produced: 1942
lola: state equation: 7
lola: find path: 1511
lola: symmetry: 94

lola: STATE EQUATION TRIES PLACE p772
sara: try reading problem file stateEquationProblem-ConstantPlace-2436.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1868
lola: state equation: 8
lola: find path: 1583
lola: symmetry: 95

lola: STATE EQUATION TRIES PLACE p177
sara: try reading problem file stateEquationProblem-ConstantPlace-707.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1855
lola: state equation: 9
lola: find path: 1594
lola: symmetry: 96

lola: STATE EQUATION TRIES PLACE p2978
sara: try reading problem file stateEquationProblem-ConstantPlace-3279.sara.
lola: reporting
lola: not produced: 1781
lola: state equation: 10
lola: find path: 1661
lola: symmetry: 102
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2103
sara: try reading problem file stateEquationProblem-ConstantPlace-738.sara.
lola: reporting
lola: not produced: 1740
lola: state equation: 12
lola: find path: 1695
lola: symmetry: 107
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3026
sara: try reading problem file stateEquationProblem-ConstantPlace-126.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1711
lola: state equation: 13
lola: find path: 1723
lola: symmetry: 107

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

lola: STATE EQUATION TRIES PLACE p2982
sara: try reading problem file stateEquationProblem-ConstantPlace-3287.sara.
lola: reporting
lola: not produced: 1644
lola: state equation: 15
lola: find path: 1785
lola: symmetry: 110
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3478
sara: try reading problem file stateEquationProblem-ConstantPlace-835.sara.
lola: reporting
lola: not produced: 1619
lola: state equation: 17
lola: find path: 1805
lola: symmetry: 113
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p128
sara: try reading problem file stateEquationProblem-ConstantPlace-638.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1594
lola: state equation: 18
lola: find path: 1829
lola: symmetry: 113

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

lola: STATE EQUATION TRIES PLACE p3058
sara: try reading problem file stateEquationProblem-ConstantPlace-168.sara.
lola: reporting
lola: not produced: 1580
lola: state equation: 20
lola: find path: 1837
lola: symmetry: 117
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2530
sara: try reading problem file stateEquationProblem-ConstantPlace-1894.sara.
lola: reporting
lola: not produced: 1552
lola: state equation: 22
lola: find path: 1861
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 1537
lola: state equation: 23
lola: find path: 1875
lola: symmetry: 119
lola: STATE EQUATION TRIES PLACE p594
sara: try reading problem file stateEquationProblem-ConstantPlace-1868.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1523
lola: state equation: 24
lola: find path: 1888
lola: symmetry: 119

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

lola: STATE EQUATION TRIES PLACE p3384
sara: try reading problem file stateEquationProblem-ConstantPlace-547.sara.
lola: reporting
lola: not produced: 1521
lola: state equation: 26
lola: find path: 1888
lola: symmetry: 119
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2688
sara: try reading problem file stateEquationProblem-ConstantPlace-2309.sara.
lola: reporting
lola: not produced: 1511
lola: state equation: 28
lola: find path: 1895
lola: symmetry: 120
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2522
sara: try reading problem file stateEquationProblem-ConstantPlace-1886.sara.
lola: reporting
lola: not produced: 1505
lola: state equation: 30
lola: find path: 1898
lola: symmetry: 121
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2825
sara: try reading problem file stateEquationProblem-ConstantPlace-2789.sara.
lola: reporting
lola: not produced: 1475
lola: state equation: 32
lola: find path: 1923
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p61
sara: try reading problem file stateEquationProblem-ConstantPlace-3135.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1462
lola: state equation: 33
lola: find path: 1935
lola: symmetry: 124

lola: STATE EQUATION TRIES PLACE p3355
sara: try reading problem file stateEquationProblem-ConstantPlace-489.sara.
lola: reporting
lola: not produced: 1458
lola: state equation: 34
lola: find path: 1938
lola: symmetry: 124
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2783
sara: try reading problem file stateEquationProblem-ConstantPlace-2599.sara.
lola: reporting
lola: not produced: 1407
lola: state equation: 36
lola: find path: 1981
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 1405
lola: state equation: 37
lola: find path: 1982
lola: symmetry: 130
lola: STATE EQUATION TRIES PLACE p1363
sara: try reading problem file stateEquationProblem-ConstantPlace-2322.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1720
sara: try reading problem file stateEquationProblem-ConstantPlace-3374.sara.
lola: reporting
lola: not produced: 1389
lola: state equation: 39
lola: find path: 1996
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1849
sara: try reading problem file stateEquationProblem-ConstantPlace-3503.sara.
lola: reporting
lola: not produced: 1386
lola: state equation: 41
lola: find path: 1997
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2953
sara: try reading problem file stateEquationProblem-ConstantPlace-3229.sara.
lola: reporting
lola: not produced: 1366
lola: state equation: 43
lola: find path: 2015
lola: symmetry: 130
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1373
lola: reporting
lola: not produced: 1359
lola: state equation: 45
lola: find path: 2020
lola: symmetry: 130
sara: try reading problem file stateEquationProblem-ConstantPlace-2337.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3304
sara: try reading problem file stateEquationProblem-ConstantPlace-414.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1331
lola: state equation: 46
lola: find path: 2040
lola: symmetry: 137

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

lola: STATE EQUATION TRIES PLACE p2182
sara: try reading problem file stateEquationProblem-ConstantPlace-892.sara.
lola: reporting
lola: not produced: 1327
lola: state equation: 48
lola: find path: 2041
lola: symmetry: 138
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2715
sara: try reading problem file stateEquationProblem-ConstantPlace-2479.sara.
lola: reporting
lola: not produced: 1298
lola: state equation: 50
lola: find path: 2067
lola: symmetry: 139
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2043
sara: try reading problem file stateEquationProblem-ConstantPlace-528.sara.
lola: reporting
lola: not produced: 1284
lola: state equation: 52
lola: find path: 2078
lola: symmetry: 140
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2008
sara: try reading problem file stateEquationProblem-ConstantPlace-458.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1274
lola: state equation: 53
lola: find path: 2087
lola: symmetry: 140

lola: STATE EQUATION TRIES PLACE p101
sara: try reading problem file stateEquationProblem-ConstantPlace-611.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1265
lola: state equation: 54
lola: find path: 2095
lola: symmetry: 140

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

lola: STATE EQUATION TRIES PLACE p516
sara: try reading problem file stateEquationProblem-ConstantPlace-1780.sara.
lola: reporting
lola: not produced: 1252
lola: state equation: 56
lola: find path: 2104
lola: symmetry: 142
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1243
lola: state equation: 56
lola: find path: 2110
lola: symmetry: 145

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

lola: STATE EQUATION TRIES PLACE p543
sara: try reading problem file stateEquationProblem-ConstantPlace-1807.sara.
lola: reporting
lola: not produced: 1234
lola: state equation: 58
lola: find path: 2116
lola: symmetry: 146
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2644
sara: try reading problem file stateEquationProblem-ConstantPlace-2221.sara.
lola: reporting
lola: not produced: 1218
lola: state equation: 59
lola: find path: 2127
lola: symmetry: 150
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2013
sara: try reading problem file stateEquationProblem-ConstantPlace-468.sara.
lola: reporting
lola: not produced: 1209
lola: state equation: 61
lola: find path: 2130
lola: symmetry: 154
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2293
sara: try reading problem file stateEquationProblem-ConstantPlace-1157.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1206
lola: state equation: 62
lola: find path: 2132
lola: symmetry: 154

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

lola: STATE EQUATION TRIES PLACE p3397
sara: try reading problem file stateEquationProblem-ConstantPlace-573.sara.
lola: reporting
lola: not produced: 1182
lola: state equation: 64
lola: find path: 2145
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2791
sara: try reading problem file stateEquationProblem-ConstantPlace-2615.sara.
lola: reporting
lola: not produced: 1179
lola: state equation: 66
lola: find path: 2146
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3467
sara: try reading problem file stateEquationProblem-ConstantPlace-813.sara.
lola: reporting
lola: not produced: 1166
lola: state equation: 68
lola: find path: 2157
lola: symmetry: 163
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 1160
lola: state equation: 69
lola: find path: 2162
lola: symmetry: 163
lola: STATE EQUATION TRIES PLACE p3170
sara: try reading problem file stateEquationProblem-ConstantPlace-280.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1611
sara: try reading problem file stateEquationProblem-ConstantPlace-3198.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1144
lola: state equation: 71
lola: find path: 2175
lola: symmetry: 164

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

lola: STATE EQUATION TRIES PLACE p3499
sara: try reading problem file stateEquationProblem-ConstantPlace-877.sara.
lola: reporting
lola: not produced: 1129
lola: state equation: 73
lola: find path: 2188
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2034
sara: try reading problem file stateEquationProblem-ConstantPlace-510.sara.
lola: reporting
lola: not produced: 1125
lola: state equation: 75
lola: find path: 2190
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1517
sara: try reading problem file stateEquationProblem-ConstantPlace-2830.sara.
lola: reporting
lola: not produced: 1123
lola: state equation: 77
lola: find path: 2190
lola: symmetry: 164
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 1106
lola: state equation: 78
lola: find path: 2203
lola: symmetry: 167
lola: STATE EQUATION TRIES PLACE p2005
sara: try reading problem file stateEquationProblem-ConstantPlace-452.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3501
sara: try reading problem file stateEquationProblem-ConstantPlace-971.sara.
lola: reporting
lola: not produced: 1101
lola: state equation: 80
lola: find path: 2206
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3333
sara: try reading problem file stateEquationProblem-ConstantPlace-445.sara.
lola: reporting
lola: not produced: 1097
lola: state equation: 82
lola: find path: 2208
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3187
sara: try reading problem file stateEquationProblem-ConstantPlace-297.sara.
lola: reporting
lola: not produced: 1093
lola: state equation: 84
lola: find path: 2210
lola: symmetry: 167
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1729
sara: try reading problem file stateEquationProblem-ConstantPlace-3383.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1068
lola: state equation: 85
lola: find path: 2225
lola: symmetry: 176

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

lola: STATE EQUATION TRIES PLACE p2689
sara: try reading problem file stateEquationProblem-ConstantPlace-2311.sara.
lola: reporting
lola: not produced: 1052
lola: state equation: 87
lola: find path: 2239
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3040
sara: try reading problem file stateEquationProblem-ConstantPlace-140.sara.
lola: reporting
lola: not produced: 1047
lola: state equation: 89
lola: find path: 2242
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2360
sara: try reading problem file stateEquationProblem-ConstantPlace-1354.sara.
lola: reporting
lola: not produced: 1044
lola: state equation: 91
lola: find path: 2243
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1433
lola: reporting
lola: not produced: 1041
lola: state equation: 93
lola: find path: 2244
lola: symmetry: 176
sara: try reading problem file stateEquationProblem-ConstantPlace-2562.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1635
sara: try reading problem file stateEquationProblem-ConstantPlace-3256.sara.
lola: reporting
lola: not produced: 1039
lola: state equation: 94
lola: find path: 2245
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2971
sara: try reading problem file stateEquationProblem-ConstantPlace-3265.sara.
lola: reporting
lola: not produced: 1037
lola: state equation: 96
lola: find path: 2245
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2968
sara: try reading problem file stateEquationProblem-ConstantPlace-3259.sara.
lola: reporting
lola: not produced: 1035
lola: state equation: 98
lola: find path: 2245
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 1034
lola: state equation: 99
lola: find path: 2245
lola: symmetry: 176
lola: STATE EQUATION TRIES PLACE p1072
sara: try reading problem file stateEquationProblem-ConstantPlace-1436.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2056
sara: try reading problem file stateEquationProblem-ConstantPlace-554.sara.
lola: reporting
lola: not produced: 1030
lola: state equation: 101
lola: find path: 2247
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2528
sara: try reading problem file stateEquationProblem-ConstantPlace-1892.sara.
lola: reporting
lola: not produced: 1028
lola: state equation: 103
lola: find path: 2247
lola: symmetry: 176
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p728
lola: reporting
lola: not produced: 1026
lola: state equation: 105
lola: find path: 2247
lola: symmetry: 176
sara: try reading problem file stateEquationProblem-ConstantPlace-2392.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1017
lola: state equation: 105
lola: find path: 2256
lola: symmetry: 176

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

lola: STATE EQUATION TRIES PLACE p3404
sara: try reading problem file stateEquationProblem-ConstantPlace-674.sara.
lola: reporting
lola: not produced: 1000
lola: state equation: 107
lola: find path: 2269
lola: symmetry: 178
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1834
sara: try reading problem file stateEquationProblem-ConstantPlace-3488.sara.
lola: reporting
lola: not produced: 988
lola: state equation: 109
lola: find path: 2278
lola: symmetry: 179
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1320
sara: try reading problem file stateEquationProblem-ConstantPlace-2236.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 987
lola: state equation: 110
lola: find path: 2278
lola: symmetry: 179

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

lola: STATE EQUATION TRIES PLACE p891
sara: try reading problem file stateEquationProblem-ConstantPlace-2765.sara.
lola: reporting
lola: not produced: 984
lola: state equation: 112
lola: find path: 2278
lola: symmetry: 180
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3305
sara: try reading problem file stateEquationProblem-ConstantPlace-415.sara.
lola: reporting
lola: not produced: 982
lola: state equation: 114
lola: find path: 2278
lola: symmetry: 180
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2178
sara: try reading problem file stateEquationProblem-ConstantPlace-888.sara.
lola: reporting
lola: not produced: 975
lola: state equation: 116
lola: find path: 2282
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3061
sara: try reading problem file stateEquationProblem-ConstantPlace-171.sara.
lola: reporting
lola: not produced: 955
lola: state equation: 117
lola: find path: 2301
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2758
sara: try reading problem file stateEquationProblem-ConstantPlace-2549.sara.
lola: reporting
lola: not produced: 949
lola: state equation: 119
lola: find path: 2305
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3510
sara: try reading problem file stateEquationProblem-ConstantPlace-990.sara.
lola: reporting
lola: not produced: 945
lola: state equation: 121
lola: find path: 2307
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1705
sara: try reading problem file stateEquationProblem-ConstantPlace-3359.sara.
lola: reporting
lola: not produced: 942
lola: state equation: 123
lola: find path: 2308
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2382
sara: try reading problem file stateEquationProblem-ConstantPlace-1397.sara.
lola: reporting
lola: not produced: 940
lola: state equation: 124
lola: find path: 2309
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1702
sara: try reading problem file stateEquationProblem-ConstantPlace-3356.sara.
lola: reporting
lola: not produced: 938
lola: state equation: 126
lola: find path: 2309
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2091
sara: try reading problem file stateEquationProblem-ConstantPlace-601.sara.
lola: reporting
lola: not produced: 929
lola: state equation: 128
lola: find path: 2316
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 928
lola: state equation: 129
lola: find path: 2316
lola: symmetry: 181
lola: STATE EQUATION TRIES PLACE p3468
sara: try reading problem file stateEquationProblem-ConstantPlace-815.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2732
sara: try reading problem file stateEquationProblem-ConstantPlace-2497.sara.
lola: reporting
lola: not produced: 923
lola: state equation: 131
lola: find path: 2319
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2367
sara: try reading problem file stateEquationProblem-ConstantPlace-1367.sara.
lola: reporting
lola: not produced: 918
lola: state equation: 133
lola: find path: 2322
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3046
sara: try reading problem file stateEquationProblem-ConstantPlace-146.sara.
lola: reporting
lola: not produced: 916
lola: state equation: 135
lola: find path: 2322
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p981
sara: try reading problem file stateEquationProblem-ConstantPlace-3075.sara.
lola: reporting
lola: not produced: 914
lola: state equation: 137
lola: find path: 2322
lola: symmetry: 181
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 911
lola: state equation: 138
lola: find path: 2323
lola: symmetry: 182
lola: STATE EQUATION TRIES PLACE p3042
sara: try reading problem file stateEquationProblem-ConstantPlace-142.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2023
sara: try reading problem file stateEquationProblem-ConstantPlace-488.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 907
lola: state equation: 140
lola: find path: 2325
lola: symmetry: 182

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

lola: STATE EQUATION TRIES PLACE p2130
sara: try reading problem file stateEquationProblem-ConstantPlace-802.sara.
lola: reporting
lola: not produced: 903
lola: state equation: 142
lola: find path: 2327
lola: symmetry: 182
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1344
sara: try reading problem file stateEquationProblem-ConstantPlace-2284.sara.
lola: reporting
lola: not produced: 901
lola: state equation: 144
lola: find path: 2327
lola: symmetry: 182
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 899
lola: state equation: 145
lola: find path: 2328
lola: symmetry: 182
lola: STATE EQUATION TRIES PLACE p1717
sara: try reading problem file stateEquationProblem-ConstantPlace-3371.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-1738.sara.
lola: reporting
lola: not produced: 895
lola: state equation: 147
lola: find path: 2330
lola: symmetry: 182
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2300
sara: try reading problem file stateEquationProblem-ConstantPlace-1254.sara.
lola: reporting
lola: not produced: 893
lola: state equation: 149
lola: find path: 2330
lola: symmetry: 182
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3354
sara: try reading problem file stateEquationProblem-ConstantPlace-487.sara.
lola: reporting
lola: not produced: 891
lola: state equation: 151
lola: find path: 2330
lola: symmetry: 182
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 881
lola: state equation: 152
lola: find path: 2339
lola: symmetry: 182
lola: STATE EQUATION TRIES PLACE p1657
sara: try reading problem file stateEquationProblem-ConstantPlace-3300.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2040
sara: try reading problem file stateEquationProblem-ConstantPlace-522.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 879
lola: state equation: 154
lola: find path: 2339
lola: symmetry: 182

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

lola: STATE EQUATION TRIES PLACE p3515
sara: try reading problem file stateEquationProblem-ConstantPlace-995.sara.
lola: reporting
lola: not produced: 877
lola: state equation: 156
lola: find path: 2339
lola: symmetry: 182
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1832
sara: try reading problem file stateEquationProblem-ConstantPlace-3486.sara.
lola: reporting
lola: not produced: 875
lola: state equation: 158
lola: find path: 2339
lola: symmetry: 182
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3321
lola: reporting
lola: not produced: 873
lola: state equation: 160
lola: find path: 2339
lola: symmetry: 182
sara: try reading problem file stateEquationProblem-ConstantPlace-431.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1734
sara: try reading problem file stateEquationProblem-ConstantPlace-3388.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 871
lola: state equation: 161
lola: find path: 2339
lola: symmetry: 183

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

lola: STATE EQUATION TRIES PLACE p2398
sara: try reading problem file stateEquationProblem-ConstantPlace-1429.sara.
lola: reporting
lola: not produced: 863
lola: state equation: 163
lola: find path: 2345
lola: symmetry: 183
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1709
sara: try reading problem file stateEquationProblem-ConstantPlace-3363.sara.
lola: reporting
lola: not produced: 844
lola: state equation: 165
lola: find path: 2359
lola: symmetry: 186
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 843
lola: state equation: 166
lola: find path: 2359
lola: symmetry: 186
lola: STATE EQUATION TRIES PLACE p2033
sara: try reading problem file stateEquationProblem-ConstantPlace-508.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3514
sara: try reading problem file stateEquationProblem-ConstantPlace-994.sara.
lola: reporting
lola: not produced: 841
lola: state equation: 168
lola: find path: 2359
lola: symmetry: 186
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2185
sara: try reading problem file stateEquationProblem-ConstantPlace-895.sara.
lola: reporting
lola: not produced: 838
lola: state equation: 170
lola: find path: 2360
lola: symmetry: 186
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2187
sara: try reading problem file stateEquationProblem-ConstantPlace-897.sara.
lola: reporting
lola: not produced: 823
lola: state equation: 172
lola: find path: 2373
lola: symmetry: 186
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2941
sara: try reading problem file stateEquationProblem-ConstantPlace-3195.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 822
lola: state equation: 173
lola: find path: 2373
lola: symmetry: 186

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

lola: STATE EQUATION TRIES PLACE p2815
sara: try reading problem file stateEquationProblem-ConstantPlace-2779.sara.
lola: reporting
lola: not produced: 814
lola: state equation: 175
lola: find path: 2379
lola: symmetry: 186
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3489
sara: try reading problem file stateEquationProblem-ConstantPlace-857.sara.
lola: reporting
lola: not produced: 811
lola: state equation: 177
lola: find path: 2379
lola: symmetry: 187
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3368
sara: try reading problem file stateEquationProblem-ConstantPlace-515.sara.
lola: reporting
lola: not produced: 802
lola: state equation: 179
lola: find path: 2383
lola: symmetry: 190
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1035
sara: try reading problem file stateEquationProblem-ConstantPlace-1366.sara.
lola: reporting
lola: not produced: 800
lola: state equation: 181
lola: find path: 2383
lola: symmetry: 190
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3457
sara: try reading problem file stateEquationProblem-ConstantPlace-793.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 799
lola: state equation: 182
lola: find path: 2383
lola: symmetry: 190

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

lola: STATE EQUATION TRIES PLACE p2176
sara: try reading problem file stateEquationProblem-ConstantPlace-886.sara.
lola: reporting
lola: not produced: 794
lola: state equation: 184
lola: find path: 2386
lola: symmetry: 190
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2974
sara: try reading problem file stateEquationProblem-ConstantPlace-3271.sara.
lola: reporting
lola: not produced: 792
lola: state equation: 186
lola: find path: 2386
lola: symmetry: 190
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3056
sara: try reading problem file stateEquationProblem-ConstantPlace-166.sara.
lola: reporting
lola: not produced: 789
lola: state equation: 188
lola: find path: 2387
lola: symmetry: 190
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3434
lola: reporting
lola: not produced: 786
lola: state equation: 190
lola: find path: 2388
lola: symmetry: 190
sara: try reading problem file stateEquationProblem-ConstantPlace-737.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1201
sara: try reading problem file stateEquationProblem-ConstantPlace-1898.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 782
lola: state equation: 191
lola: find path: 2390
lola: symmetry: 191

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

lola: STATE EQUATION TRIES PLACE p3164
sara: try reading problem file stateEquationProblem-ConstantPlace-274.sara.
lola: reporting
lola: not produced: 780
lola: state equation: 193
lola: find path: 2390
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2299
sara: try reading problem file stateEquationProblem-ConstantPlace-1163.sara.
lola: reporting
lola: not produced: 778
lola: state equation: 195
lola: find path: 2390
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1039
sara: try reading problem file stateEquationProblem-ConstantPlace-1373.sara.
lola: reporting
lola: not produced: 774
lola: state equation: 197
lola: find path: 2392
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1715
sara: try reading problem file stateEquationProblem-ConstantPlace-3369.sara.
lola: reporting
lola: not produced: 771
lola: state equation: 199
lola: find path: 2393
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1855
sara: try reading problem file stateEquationProblem-ConstantPlace-3509.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 763
lola: state equation: 200
lola: find path: 2400
lola: symmetry: 191

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

lola: STATE EQUATION TRIES PLACE p2179
sara: try reading problem file stateEquationProblem-ConstantPlace-889.sara.
lola: reporting
lola: not produced: 761
lola: state equation: 202
lola: find path: 2400
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 760
lola: state equation: 203
lola: find path: 2400
lola: symmetry: 191
lola: STATE EQUATION TRIES PLACE p2686
sara: try reading problem file stateEquationProblem-ConstantPlace-2305.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2052
sara: try reading problem file stateEquationProblem-ConstantPlace-546.sara.
lola: reporting
lola: not produced: 758
lola: state equation: 205
lola: find path: 2400
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1898
sara: try reading problem file stateEquationProblem-ConstantPlace-3026.sara.
lola: reporting
lola: not produced: 754
lola: state equation: 207
lola: find path: 2402
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 753
lola: state equation: 208
lola: find path: 2402
lola: symmetry: 191
lola: STATE EQUATION TRIES PLACE p3479
sara: try reading problem file stateEquationProblem-ConstantPlace-837.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p178
sara: try reading problem file stateEquationProblem-ConstantPlace-708.sara.
lola: reporting
lola: not produced: 745
lola: state equation: 210
lola: find path: 2408
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3176
sara: try reading problem file stateEquationProblem-ConstantPlace-286.sara.
lola: reporting
lola: not produced: 744
lola: state equation: 211
lola: find path: 2408
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3053
sara: try reading problem file stateEquationProblem-ConstantPlace-163.sara.
lola: reporting
lola: not produced: 742
lola: state equation: 213
lola: find path: 2408
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3460
sara: try reading problem file stateEquationProblem-ConstantPlace-800.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 737
lola: state equation: 214
lola: find path: 2412
lola: symmetry: 191

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

lola: STATE EQUATION TRIES PLACE p2089
sara: try reading problem file stateEquationProblem-ConstantPlace-599.sara.
lola: reporting
lola: not produced: 733
lola: state equation: 216
lola: find path: 2414
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1843
sara: try reading problem file stateEquationProblem-ConstantPlace-3497.sara.
lola: reporting
lola: not produced: 730
lola: state equation: 218
lola: find path: 2415
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1701
sara: try reading problem file stateEquationProblem-ConstantPlace-3355.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 729
lola: state equation: 219
lola: find path: 2415
lola: symmetry: 191

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

lola: STATE EQUATION TRIES PLACE p3191
sara: try reading problem file stateEquationProblem-ConstantPlace-301.sara.
lola: reporting
lola: not produced: 727
lola: state equation: 221
lola: find path: 2415
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3377
sara: try reading problem file stateEquationProblem-ConstantPlace-533.sara.
lola: reporting
lola: not produced: 725
lola: state equation: 223
lola: find path: 2415
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3363
sara: try reading problem file stateEquationProblem-ConstantPlace-505.sara.
lola: reporting
lola: not produced: 722
lola: state equation: 225
lola: find path: 2416
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 721
lola: state equation: 226
lola: find path: 2416
lola: symmetry: 191
lola: STATE EQUATION TRIES PLACE p2361
sara: try reading problem file stateEquationProblem-ConstantPlace-1355.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1166
sara: try reading problem file stateEquationProblem-ConstantPlace-1728.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 715
lola: state equation: 228
lola: find path: 2420
lola: symmetry: 191

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

lola: STATE EQUATION TRIES PLACE p86
sara: try reading problem file stateEquationProblem-ConstantPlace-3190.sara.
lola: reporting
lola: not produced: 712
lola: state equation: 230
lola: find path: 2421
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1713
sara: try reading problem file stateEquationProblem-ConstantPlace-3367.sara.
lola: reporting
lola: not produced: 711
lola: state equation: 231
lola: find path: 2421
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2083
sara: try reading problem file stateEquationProblem-ConstantPlace-593.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 710
lola: state equation: 232
lola: find path: 2421
lola: symmetry: 191

lola: STATE EQUATION TRIES PLACE p762
sara: try reading problem file stateEquationProblem-ConstantPlace-2426.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 709
lola: state equation: 233
lola: find path: 2421
lola: symmetry: 191

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

lola: reporting
lola: not produced: 708
lola: state equation: 234
lola: find path: 2421
lola: symmetry: 191
lola: STATE EQUATION TRIES PLACE p2096
sara: try reading problem file stateEquationProblem-ConstantPlace-606.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2755
sara: try reading problem file stateEquationProblem-ConstantPlace-2543.sara.
lola: reporting
lola: not produced: 706
lola: state equation: 236
lola: find path: 2421
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3496
sara: try reading problem file stateEquationProblem-ConstantPlace-871.sara.
lola: reporting
lola: not produced: 704
lola: state equation: 238
lola: find path: 2421
lola: symmetry: 191
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 697
lola: state equation: 239
lola: find path: 2424
lola: symmetry: 194
lola: STATE EQUATION TRIES PLACE p2146
sara: try reading problem file stateEquationProblem-ConstantPlace-834.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2718
sara: try reading problem file stateEquationProblem-ConstantPlace-2482.sara.
lola: reporting
lola: not produced: 693
lola: state equation: 241
lola: find path: 2426
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p502
sara: try reading problem file stateEquationProblem-ConstantPlace-1766.sara.
lola: reporting
lola: not produced: 691
lola: state equation: 243
lola: find path: 2426
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1973
sara: try reading problem file stateEquationProblem-ConstantPlace-73.sara.
lola: reporting
lola: not produced: 690
lola: state equation: 244
lola: find path: 2426
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1448
lola: reporting
lola: not produced: 688
lola: state equation: 246
lola: find path: 2426
lola: symmetry: 194
sara: try reading problem file stateEquationProblem-ConstantPlace-2592.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3472
sara: try reading problem file stateEquationProblem-ConstantPlace-823.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 687
lola: state equation: 247
lola: find path: 2426
lola: symmetry: 194

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

lola: STATE EQUATION TRIES PLACE p2042
sara: try reading problem file stateEquationProblem-ConstantPlace-526.sara.
lola: reporting
lola: not produced: 685
lola: state equation: 249
lola: find path: 2426
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2700
sara: try reading problem file stateEquationProblem-ConstantPlace-2454.sara.
lola: reporting
lola: not produced: 683
lola: state equation: 251
lola: find path: 2426
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 682
lola: state equation: 252
lola: find path: 2426
lola: symmetry: 194
lola: STATE EQUATION TRIES PLACE p1173
sara: try reading problem file stateEquationProblem-ConstantPlace-1737.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2377
sara: try reading problem file stateEquationProblem-ConstantPlace-1387.sara.
lola: reporting
lola: not produced: 679
lola: state equation: 254
lola: find path: 2427
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1857
sara: try reading problem file stateEquationProblem-ConstantPlace-3511.sara.
lola: reporting
lola: not produced: 677
lola: state equation: 256
lola: find path: 2427
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2979
sara: try reading problem file stateEquationProblem-ConstantPlace-3281.sara.
lola: reporting
lola: not produced: 675
lola: state equation: 258
lola: find path: 2427
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2025
sara: try reading problem file stateEquationProblem-ConstantPlace-492.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 674
lola: state equation: 259
lola: find path: 2427
lola: symmetry: 194

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

lola: STATE EQUATION TRIES PLACE p3500
sara: try reading problem file stateEquationProblem-ConstantPlace-970.sara.
lola: reporting
lola: not produced: 672
lola: state equation: 261
lola: find path: 2427
lola: symmetry: 194
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1846
sara: try reading problem file stateEquationProblem-ConstantPlace-3500.sara.
lola: reporting
lola: not produced: 667
lola: state equation: 263
lola: find path: 2429
lola: symmetry: 195
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 666
lola: state equation: 264
lola: find path: 2429
lola: symmetry: 195
lola: STATE EQUATION TRIES PLACE p1058
sara: try reading problem file stateEquationProblem-ConstantPlace-1412.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1042
sara: try reading problem file stateEquationProblem-ConstantPlace-1380.sara.
lola: reporting
lola: not produced: 662
lola: state equation: 266
lola: find path: 2430
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1727
sara: try reading problem file stateEquationProblem-ConstantPlace-3381.sara.
lola: reporting
lola: not produced: 660
lola: state equation: 268
lola: find path: 2430
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1476
sara: try reading problem file stateEquationProblem-ConstantPlace-2640.sara.
lola: reporting
lola: not produced: 651
lola: state equation: 270
lola: find path: 2437
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2088
sara: try reading problem file stateEquationProblem-ConstantPlace-598.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 650
lola: state equation: 271
lola: find path: 2437
lola: symmetry: 196

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

lola: STATE EQUATION TRIES PLACE p2969
sara: try reading problem file stateEquationProblem-ConstantPlace-3261.sara.
lola: reporting
lola: not produced: 648
lola: state equation: 273
lola: find path: 2437
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1628
sara: try reading problem file stateEquationProblem-ConstantPlace-3242.sara.
lola: reporting
lola: not produced: 646
lola: state equation: 275
lola: find path: 2437
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2092
lola: reporting
lola: not produced: 644
lola: state equation: 277
lola: find path: 2437
lola: symmetry: 196
sara: try reading problem file stateEquationProblem-ConstantPlace-602.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1195
sara: try reading problem file stateEquationProblem-ConstantPlace-1759.sara.
lola: reporting
lola: not produced: 643
lola: state equation: 278
lola: find path: 2437
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2513
sara: try reading problem file stateEquationProblem-ConstantPlace-1877.sara.
lola: reporting
lola: not produced: 641
lola: state equation: 280
lola: find path: 2437
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p3494
sara: try reading problem file stateEquationProblem-ConstantPlace-867.sara.
lola: reporting
lola: not produced: 639
lola: state equation: 282
lola: find path: 2437
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1639
sara: try reading problem file stateEquationProblem-ConstantPlace-3263.sara.
lola: reporting
lola: not produced: 637
lola: state equation: 284
lola: find path: 2437
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3227
sara: try reading problem file stateEquationProblem-ConstantPlace-337.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 627
lola: state equation: 285
lola: find path: 2446
lola: symmetry: 196

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

lola: STATE EQUATION TRIES PLACE p3023
sara: try reading problem file stateEquationProblem-ConstantPlace-123.sara.
lola: reporting
lola: not produced: 625
lola: state equation: 287
lola: find path: 2446
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2142
sara: try reading problem file stateEquationProblem-ConstantPlace-826.sara.
lola: reporting
lola: not produced: 623
lola: state equation: 289
lola: find path: 2446
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 618
lola: state equation: 290
lola: find path: 2450
lola: symmetry: 196
lola: STATE EQUATION TRIES PLACE p2720
sara: try reading problem file stateEquationProblem-ConstantPlace-2484.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p3352
sara: try reading problem file stateEquationProblem-ConstantPlace-483.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 615
lola: state equation: 292
lola: find path: 2451
lola: symmetry: 196

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

lola: STATE EQUATION TRIES PLACE p2810
sara: try reading problem file stateEquationProblem-ConstantPlace-2774.sara.
lola: reporting
lola: not produced: 613
lola: state equation: 294
lola: find path: 2451
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2379
sara: try reading problem file stateEquationProblem-ConstantPlace-1391.sara.
lola: reporting
lola: not produced: 610
lola: state equation: 296
lola: find path: 2452
lola: symmetry: 196
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 270
lola: state equation: 297
lola: find path: 2452
lola: goal oriented search: 328
lola: symmetry: 207
lola: STATE EQUATION TRIES PLACE p2699
sara: try reading problem file stateEquationProblem-ConstantPlace-2331.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p984
sara: try reading problem file stateEquationProblem-ConstantPlace-3078.sara.
lola: reporting
lola: not produced: 269
lola: state equation: 299
lola: find path: 2452
lola: goal oriented search: 327
lola: symmetry: 207
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2526
sara: try reading problem file stateEquationProblem-ConstantPlace-1890.sara.
lola: reporting
lola: not produced: 267
lola: state equation: 301
lola: find path: 2452
lola: goal oriented search: 327
lola: symmetry: 207
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2320
sara: try reading problem file stateEquationProblem-ConstantPlace-1284.sara.
lola: reporting
lola: not produced: 265
lola: state equation: 303
lola: find path: 2452
lola: goal oriented search: 327
lola: symmetry: 207
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2973
sara: try reading problem file stateEquationProblem-ConstantPlace-3269.sara.
lola: reporting
lola: not produced: 260
lola: state equation: 305
lola: find path: 2453
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2302
sara: try reading problem file stateEquationProblem-ConstantPlace-1256.sara.
lola: reporting
lola: not produced: 257
lola: state equation: 307
lola: find path: 2454
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1204
sara: try reading problem file stateEquationProblem-ConstantPlace-1904.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 256
lola: state equation: 308
lola: find path: 2454
lola: goal oriented search: 327
lola: symmetry: 209

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

lola: STATE EQUATION TRIES PLACE p2501
sara: try reading problem file stateEquationProblem-ConstantPlace-1855.sara.
lola: reporting
lola: not produced: 254
lola: state equation: 310
lola: find path: 2454
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1167
sara: try reading problem file stateEquationProblem-ConstantPlace-1730.sara.
lola: reporting
lola: not produced: 251
lola: state equation: 312
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2786
sara: try reading problem file stateEquationProblem-ConstantPlace-2605.sara.
lola: reporting
lola: not produced: 249
lola: state equation: 314
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1644
sara: try reading problem file stateEquationProblem-ConstantPlace-3274.sara.
lola: reporting
lola: not produced: 247
lola: state equation: 316
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 246
lola: state equation: 317
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
lola: STATE EQUATION TRIES PLACE p1579
sara: try reading problem file stateEquationProblem-ConstantPlace-2943.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2952
sara: try reading problem file stateEquationProblem-ConstantPlace-3227.sara.
lola: reporting
lola: not produced: 244
lola: state equation: 319
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2508
sara: try reading problem file stateEquationProblem-ConstantPlace-1862.sara.
lola: reporting
lola: not produced: 242
lola: state equation: 321
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1631
sara: try reading problem file stateEquationProblem-ConstantPlace-3248.sara.
lola: reporting
lola: not produced: 240
lola: state equation: 323
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 239
lola: state equation: 324
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
lola: STATE EQUATION TRIES PLACE p2967
sara: try reading problem file stateEquationProblem-ConstantPlace-3257.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2313
sara: try reading problem file stateEquationProblem-ConstantPlace-1277.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 237
lola: state equation: 326
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209

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

lola: STATE EQUATION TRIES PLACE p2502
sara: try reading problem file stateEquationProblem-ConstantPlace-1856.sara.
lola: reporting
lola: not produced: 235
lola: state equation: 328
lola: find path: 2455
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1367
sara: try reading problem file stateEquationProblem-ConstantPlace-2330.sara.
lola: reporting
lola: not produced: 227
lola: state equation: 330
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2959
sara: try reading problem file stateEquationProblem-ConstantPlace-3241.sara.
lola: reporting
lola: not produced: 225
lola: state equation: 332
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2500
lola: reporting
lola: not produced: 223
lola: state equation: 334
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
sara: try reading problem file stateEquationProblem-ConstantPlace-1854.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1197
sara: try reading problem file stateEquationProblem-ConstantPlace-1761.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 222
lola: state equation: 335
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209

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

lola: STATE EQUATION TRIES PLACE p2424
sara: try reading problem file stateEquationProblem-ConstantPlace-1588.sara.
lola: reporting
lola: not produced: 220
lola: state equation: 337
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p976
sara: try reading problem file stateEquationProblem-ConstantPlace-3060.sara.
lola: reporting
lola: not produced: 218
lola: state equation: 339
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2366
sara: try reading problem file stateEquationProblem-ConstantPlace-1365.sara.
lola: reporting
lola: not produced: 216
lola: state equation: 341
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 215
lola: state equation: 342
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
lola: STATE EQUATION TRIES PLACE p2834
sara: try reading problem file stateEquationProblem-ConstantPlace-2801.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1326
sara: try reading problem file stateEquationProblem-ConstantPlace-2248.sara.
lola: reporting
lola: not produced: 213
lola: state equation: 344
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 209
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2375
sara: try reading problem file stateEquationProblem-ConstantPlace-1383.sara.
lola: reporting
lola: not produced: 210
lola: state equation: 346
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2307
sara: try reading problem file stateEquationProblem-ConstantPlace-1261.sara.
lola: reporting
lola: not produced: 208
lola: state equation: 348
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1455
sara: try reading problem file stateEquationProblem-ConstantPlace-2606.sara.
lola: reporting
lola: not produced: 206
lola: state equation: 350
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 205
lola: state equation: 351
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
lola: STATE EQUATION TRIES PLACE p967
sara: try reading problem file stateEquationProblem-ConstantPlace-3041.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2306
sara: try reading problem file stateEquationProblem-ConstantPlace-1260.sara.
lola: reporting
lola: not produced: 203
lola: state equation: 353
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p948
sara: try reading problem file stateEquationProblem-ConstantPlace-3012.sara.
lola: reporting
lola: not produced: 201
lola: state equation: 355
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2830
sara: try reading problem file stateEquationProblem-ConstantPlace-2794.sara.
lola: reporting
lola: not produced: 199
lola: state equation: 357
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2317
sara: try reading problem file stateEquationProblem-ConstantPlace-1281.sara.
lola: reporting
lola: not produced: 197
lola: state equation: 359
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 210
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2297
lola: reporting
lola: not produced: 193
lola: state equation: 361
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 212
sara: try reading problem file stateEquationProblem-ConstantPlace-1161.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2697
sara: try reading problem file stateEquationProblem-ConstantPlace-2327.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 192
lola: state equation: 362
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p1168
sara: try reading problem file stateEquationProblem-ConstantPlace-1732.sara.
lola: reporting
lola: not produced: 190
lola: state equation: 364
lola: find path: 2461
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p118
sara: try reading problem file stateEquationProblem-ConstantPlace-628.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 188
lola: state equation: 365
lola: find path: 2462
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p1037
sara: try reading problem file stateEquationProblem-ConstantPlace-1370.sara.
lola: reporting
lola: not produced: 186
lola: state equation: 367
lola: find path: 2462
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2793
sara: try reading problem file stateEquationProblem-ConstantPlace-2619.sara.
lola: reporting
lola: not produced: 184
lola: state equation: 369
lola: find path: 2462
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 182
lola: state equation: 370
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p1172
sara: try reading problem file stateEquationProblem-ConstantPlace-1736.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p982
sara: try reading problem file stateEquationProblem-ConstantPlace-3076.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 180
lola: state equation: 372
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p2504
sara: try reading problem file stateEquationProblem-ConstantPlace-1858.sara.
lola: reporting
lola: not produced: 178
lola: state equation: 374
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2962
sara: try reading problem file stateEquationProblem-ConstantPlace-3247.sara.
lola: reporting
lola: not produced: 176
lola: state equation: 376
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2836
sara: try reading problem file stateEquationProblem-ConstantPlace-2805.sara.
lola: reporting
lola: not produced: 174
lola: state equation: 378
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2990
sara: try reading problem file stateEquationProblem-ConstantPlace-3304.sara.
lola: reporting
lola: not produced: 172
lola: state equation: 380
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1642
sara: try reading problem file stateEquationProblem-ConstantPlace-3270.sara.
lola: reporting
lola: not produced: 171
lola: state equation: 381
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1045
sara: try reading problem file stateEquationProblem-ConstantPlace-1386.sara.
lola: reporting
lola: not produced: 170
lola: state equation: 382
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 169
lola: state equation: 383
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p977
sara: try reading problem file stateEquationProblem-ConstantPlace-3061.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1194
sara: try reading problem file stateEquationProblem-ConstantPlace-1758.sara.
lola: reporting
lola: not produced: 167
lola: state equation: 385
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1633
sara: try reading problem file stateEquationProblem-ConstantPlace-3252.sara.
lola: reporting
lola: not produced: 166
lola: state equation: 386
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p970
lola: reporting
lola: not produced: 164
lola: state equation: 388
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: try reading problem file stateEquationProblem-ConstantPlace-3054.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2956
sara: try reading problem file stateEquationProblem-ConstantPlace-3235.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 163
lola: state equation: 389
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p2276
sara: try reading problem file stateEquationProblem-ConstantPlace-1140.sara.
lola: reporting
lola: not produced: 161
lola: state equation: 391
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 160
lola: state equation: 392
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p2372
sara: try reading problem file stateEquationProblem-ConstantPlace-1377.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2983
sara: try reading problem file stateEquationProblem-ConstantPlace-3289.sara.
lola: reporting
lola: not produced: 158
lola: state equation: 394
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1170
sara: try reading problem file stateEquationProblem-ConstantPlace-1734.sara.
lola: reporting
lola: not produced: 157
lola: state equation: 395
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2992
sara: try reading problem file stateEquationProblem-ConstantPlace-3307.sara.
lola: reporting
lola: not produced: 156
lola: state equation: 396
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1038
sara: try reading problem file stateEquationProblem-ConstantPlace-1372.sara.
lola: reporting
lola: not produced: 155
lola: state equation: 397
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p963
sara: try reading problem file stateEquationProblem-ConstantPlace-3037.sara.
lola: reporting
lola: not produced: 154
lola: state equation: 398
lola: find path: 2463
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1388
sara: try reading problem file stateEquationProblem-ConstantPlace-2352.sara.
lola: reporting
lola: not produced: 152
lola: state equation: 399
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1648
sara: try reading problem file stateEquationProblem-ConstantPlace-3282.sara.
lola: reporting
lola: not produced: 151
lola: state equation: 400
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2561
sara: try reading problem file stateEquationProblem-ConstantPlace-1955.sara.
lola: reporting
lola: not produced: 150
lola: state equation: 401
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2394
sara: try reading problem file stateEquationProblem-ConstantPlace-1421.sara.
lola: reporting
lola: not produced: 148
lola: state equation: 403
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1098
sara: try reading problem file stateEquationProblem-ConstantPlace-1462.sara.
lola: reporting
lola: not produced: 147
lola: state equation: 404
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2964
sara: try reading problem file stateEquationProblem-ConstantPlace-3251.sara.
lola: reporting
lola: not produced: 146
lola: state equation: 405
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2292
sara: try reading problem file stateEquationProblem-ConstantPlace-1156.sara.
lola: reporting
lola: not produced: 145
lola: state equation: 406
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1374
sara: try reading problem file stateEquationProblem-ConstantPlace-2338.sara.
lola: reporting
lola: not produced: 144
lola: state equation: 407
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1050
sara: try reading problem file stateEquationProblem-ConstantPlace-1396.sara.
lola: reporting
lola: not produced: 143
lola: state equation: 408
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1647
sara: try reading problem file stateEquationProblem-ConstantPlace-3280.sara.
lola: reporting
lola: not produced: 142
lola: state equation: 409
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1365
sara: try reading problem file stateEquationProblem-ConstantPlace-2326.sara.
lola: reporting
lola: not produced: 141
lola: state equation: 410
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2294
sara: try reading problem file stateEquationProblem-ConstantPlace-1158.sara.
lola: reporting
lola: not produced: 140
lola: state equation: 411
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2835
sara: try reading problem file stateEquationProblem-ConstantPlace-2803.sara.
lola: reporting
lola: not produced: 139
lola: state equation: 412
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2378
sara: try reading problem file stateEquationProblem-ConstantPlace-1389.sara.
lola: reporting
lola: not produced: 138
lola: state equation: 413
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1636
sara: try reading problem file stateEquationProblem-ConstantPlace-3258.sara.
lola: reporting
lola: not produced: 137
lola: state equation: 414
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1055
sara: try reading problem file stateEquationProblem-ConstantPlace-1406.sara.
lola: reporting
lola: not produced: 136
lola: state equation: 415
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1178
sara: try reading problem file stateEquationProblem-ConstantPlace-1742.sara.
lola: reporting
lola: not produced: 135
lola: state equation: 416
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 135
lola: state equation: 416
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p2309
sara: try reading problem file stateEquationProblem-ConstantPlace-1263.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 134
lola: state equation: 417
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p1646
sara: try reading problem file stateEquationProblem-ConstantPlace-3278.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 133
lola: state equation: 418
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p1613
sara: try reading problem file stateEquationProblem-ConstantPlace-3202.sara.
lola: reporting
lola: not produced: 131
lola: state equation: 420
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2757
sara: try reading problem file stateEquationProblem-ConstantPlace-2547.sara.
lola: reporting
lola: not produced: 130
lola: state equation: 421
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1186
sara: try reading problem file stateEquationProblem-ConstantPlace-1750.sara.
lola: reporting
lola: not produced: 129
lola: state equation: 422
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1200
sara: try reading problem file stateEquationProblem-ConstantPlace-1896.sara.
lola: reporting
lola: not produced: 128
lola: state equation: 423
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1630
sara: try reading problem file stateEquationProblem-ConstantPlace-3246.sara.
lola: reporting
lola: not produced: 127
lola: state equation: 424
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2493
sara: try reading problem file stateEquationProblem-ConstantPlace-1719.sara.
lola: reporting
lola: not produced: 126
lola: state equation: 425
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 125
lola: state equation: 426
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p1054
sara: try reading problem file stateEquationProblem-ConstantPlace-1404.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2746
sara: try reading problem file stateEquationProblem-ConstantPlace-2525.sara.
lola: reporting
lola: not produced: 123
lola: state equation: 428
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 122
lola: state equation: 429
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p1047
sara: try reading problem file stateEquationProblem-ConstantPlace-1390.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 121
lola: state equation: 430
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p2630
sara: try reading problem file stateEquationProblem-ConstantPlace-2194.sara.
lola: reporting
lola: not produced: 119
lola: state equation: 432
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1420
sara: try reading problem file stateEquationProblem-ConstantPlace-2536.sara.
lola: reporting
lola: not produced: 118
lola: state equation: 433
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2963
lola: reporting
lola: not produced: 117
lola: state equation: 434
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: try reading problem file stateEquationProblem-ConstantPlace-3249.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 117
lola: state equation: 434
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p1632
sara: try reading problem file stateEquationProblem-ConstantPlace-3250.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 116
lola: state equation: 435
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212

lola: STATE EQUATION TRIES PLACE p2965
sara: try reading problem file stateEquationProblem-ConstantPlace-3253.sara.
lola: reporting
lola: not produced: 115
lola: state equation: 436
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2837
sara: try reading problem file stateEquationProblem-ConstantPlace-2807.sara.
lola: reporting
lola: not produced: 114
lola: state equation: 437
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1650
sara: try reading problem file stateEquationProblem-ConstantPlace-3286.sara.
lola: reporting
lola: not produced: 112
lola: state equation: 439
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 112
lola: state equation: 439
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p2984
sara: try reading problem file stateEquationProblem-ConstantPlace-3291.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 111
lola: state equation: 440
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p2960
sara: try reading problem file stateEquationProblem-ConstantPlace-3244.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 110
lola: state equation: 441
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p2322
sara: try reading problem file stateEquationProblem-ConstantPlace-1286.sara.
lola: reporting
lola: not produced: 108
lola: state equation: 443
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2754
lola: reporting
lola: not produced: 107
lola: state equation: 444
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: try reading problem file stateEquationProblem-ConstantPlace-2541.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2499
sara: try reading problem file stateEquationProblem-ConstantPlace-1731.sara.
lola: reporting
lola: not produced: 106
lola: state equation: 445
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2380
sara: try reading problem file stateEquationProblem-ConstantPlace-1394.sara.
lola: reporting
lola: not produced: 105
lola: state equation: 446
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2690
sara: try reading problem file stateEquationProblem-ConstantPlace-2314.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 104
lola: state equation: 447
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212

lola: STATE EQUATION TRIES PLACE p2789
sara: try reading problem file stateEquationProblem-ConstantPlace-2611.sara.
lola: reporting
lola: not produced: 103
lola: state equation: 448
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2324
sara: try reading problem file stateEquationProblem-ConstantPlace-1288.sara.
lola: reporting
lola: not produced: 102
lola: state equation: 449
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2304
sara: try reading problem file stateEquationProblem-ConstantPlace-1258.sara.
lola: reporting
lola: not produced: 101
lola: state equation: 450
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2308
sara: try reading problem file stateEquationProblem-ConstantPlace-1262.sara.
lola: reporting
lola: not produced: 100
lola: state equation: 451
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2312
sara: try reading problem file stateEquationProblem-ConstantPlace-1276.sara.
lola: reporting
lola: not produced: 99
lola: state equation: 452
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1638
sara: try reading problem file stateEquationProblem-ConstantPlace-3262.sara.
lola: reporting
lola: not produced: 97
lola: state equation: 454
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2289
sara: try reading problem file stateEquationProblem-ConstantPlace-1153.sara.
lola: reporting
lola: not produced: 95
lola: state equation: 456
lola: find path: 2464
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 93
lola: state equation: 457
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
lola: STATE EQUATION TRIES PLACE p987
sara: try reading problem file stateEquationProblem-ConstantPlace-3081.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2986
sara: try reading problem file stateEquationProblem-ConstantPlace-3295.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 91
lola: state equation: 459
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212

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

lola: STATE EQUATION TRIES PLACE p1177
sara: try reading problem file stateEquationProblem-ConstantPlace-1741.sara.
lola: reporting
lola: not produced: 89
lola: state equation: 461
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2383
sara: try reading problem file stateEquationProblem-ConstantPlace-1399.sara.
lola: reporting
lola: not produced: 88
lola: state equation: 462
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1361
sara: try reading problem file stateEquationProblem-ConstantPlace-2318.sara.
lola: reporting
lola: not produced: 87
lola: state equation: 463
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1187
sara: try reading problem file stateEquationProblem-ConstantPlace-1751.sara.
lola: reporting
lola: not produced: 86
lola: state equation: 464
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1179
sara: try reading problem file stateEquationProblem-ConstantPlace-1743.sara.
lola: reporting
lola: not produced: 85
lola: state equation: 465
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p985
sara: try reading problem file stateEquationProblem-ConstantPlace-3079.sara.
lola: reporting
lola: not produced: 84
lola: state equation: 466
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1372
sara: try reading problem file stateEquationProblem-ConstantPlace-2336.sara.
lola: reporting
lola: not produced: 83
lola: state equation: 467
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1649
sara: try reading problem file stateEquationProblem-ConstantPlace-3283.sara.
lola: reporting
lola: not produced: 82
lola: state equation: 468
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2397
sara: try reading problem file stateEquationProblem-ConstantPlace-1427.sara.
lola: reporting
lola: not produced: 81
lola: state equation: 469
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p964
sara: try reading problem file stateEquationProblem-ConstantPlace-3038.sara.
lola: reporting
lola: not produced: 80
lola: state equation: 470
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2274
sara: try reading problem file stateEquationProblem-ConstantPlace-1138.sara.
lola: reporting
lola: not produced: 79
lola: state equation: 471
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2790
sara: try reading problem file stateEquationProblem-ConstantPlace-2614.sara.
lola: reporting
lola: not produced: 78
lola: state equation: 472
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1634
sara: try reading problem file stateEquationProblem-ConstantPlace-3254.sara.
lola: reporting
lola: not produced: 77
lola: state equation: 473
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 212
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p968
sara: try reading problem file stateEquationProblem-ConstantPlace-3042.sara.
lola: reporting
lola: not produced: 74
lola: state equation: 475
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2832
sara: try reading problem file stateEquationProblem-ConstantPlace-2797.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 73
lola: state equation: 476
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213

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

lola: STATE EQUATION TRIES PLACE p2363
lola: reporting
lola: not produced: 71
lola: state equation: 478
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: try reading problem file stateEquationProblem-ConstantPlace-1359.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 71
lola: state equation: 478
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p1375
sara: try reading problem file stateEquationProblem-ConstantPlace-2339.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 70
lola: state equation: 479
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213

lola: STATE EQUATION TRIES PLACE p2981
sara: try reading problem file stateEquationProblem-ConstantPlace-3285.sara.
lola: reporting
lola: not produced: 69
lola: state equation: 480
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1033
sara: try reading problem file stateEquationProblem-ConstantPlace-1362.sara.
lola: reporting
lola: not produced: 68
lola: state equation: 481
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1182
sara: try reading problem file stateEquationProblem-ConstantPlace-1746.sara.
lola: reporting
lola: not produced: 66
lola: state equation: 483
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2966
sara: try reading problem file stateEquationProblem-ConstantPlace-3255.sara.
lola: reporting
lola: not produced: 65
lola: state equation: 484
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2362
sara: try reading problem file stateEquationProblem-ConstantPlace-1357.sara.
lola: reporting
lola: not produced: 64
lola: state equation: 485
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1235
sara: try reading problem file stateEquationProblem-ConstantPlace-1966.sara.
lola: reporting
lola: not produced: 62
lola: state equation: 487
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1185
sara: try reading problem file stateEquationProblem-ConstantPlace-1749.sara.
lola: reporting
lola: not produced: 61
lola: state equation: 488
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 60
lola: state equation: 489
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p975
sara: try reading problem file stateEquationProblem-ConstantPlace-3059.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 59
lola: state equation: 490
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p980
sara: try reading problem file stateEquationProblem-ConstantPlace-3074.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 58
lola: state equation: 491
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213

lola: STATE EQUATION TRIES PLACE p1362
sara: try reading problem file stateEquationProblem-ConstantPlace-2320.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 57
lola: state equation: 492
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213

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

lola: STATE EQUATION TRIES PLACE p1188
sara: try reading problem file stateEquationProblem-ConstantPlace-1752.sara.
lola: reporting
lola: not produced: 55
lola: state equation: 494
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1176
lola: reporting
lola: not produced: 53
lola: state equation: 496
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: try reading problem file stateEquationProblem-ConstantPlace-1740.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p983
sara: try reading problem file stateEquationProblem-ConstantPlace-3077.sara.
lola: reporting
lola: not produced: 52
lola: state equation: 497
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2831
sara: try reading problem file stateEquationProblem-ConstantPlace-2795.sara.
lola: reporting
lola: not produced: 50
lola: state equation: 499
lola: find path: 2465
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 48
lola: state equation: 500
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p1370
sara: try reading problem file stateEquationProblem-ConstantPlace-2334.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p973
sara: try reading problem file stateEquationProblem-ConstantPlace-3057.sara.
lola: reporting
lola: not produced: 46
lola: state equation: 502
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1175
sara: try reading problem file stateEquationProblem-ConstantPlace-1739.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 45
lola: state equation: 503
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213

lola: STATE EQUATION TRIES PLACE p1643
sara: try reading problem file stateEquationProblem-ConstantPlace-3272.sara.
lola: reporting
lola: not produced: 44
lola: state equation: 504
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 43
lola: state equation: 505
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p1366
sara: try reading problem file stateEquationProblem-ConstantPlace-2328.sara.
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 42
lola: state equation: 506
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p2759
sara: try reading problem file stateEquationProblem-ConstantPlace-2551.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1180
sara: try reading problem file stateEquationProblem-ConstantPlace-1744.sara.
lola: reporting
lola: not produced: 40
lola: state equation: 508
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2291
sara: try reading problem file stateEquationProblem-ConstantPlace-1155.sara.
lola: reporting
lola: not produced: 38
lola: state equation: 510
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2503
sara: try reading problem file stateEquationProblem-ConstantPlace-1857.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 37
lola: state equation: 511
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213

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

lola: STATE EQUATION TRIES PLACE p1484
sara: try reading problem file stateEquationProblem-ConstantPlace-2648.sara.
lola: reporting
lola: not produced: 35
lola: state equation: 513
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 34
lola: state equation: 514
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p2696
sara: try reading problem file stateEquationProblem-ConstantPlace-2325.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2514
sara: try reading problem file stateEquationProblem-ConstantPlace-1878.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 32
lola: state equation: 516
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213

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

lola: STATE EQUATION TRIES PLACE p1043
sara: try reading problem file stateEquationProblem-ConstantPlace-1382.sara.
lola: reporting
lola: not produced: 30
lola: state equation: 518
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2841
sara: try reading problem file stateEquationProblem-ConstantPlace-2815.sara.
lola: reporting
lola: not produced: 29
lola: state equation: 519
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p2296
sara: try reading problem file stateEquationProblem-ConstantPlace-1160.sara.
lola: reporting
lola: not produced: 28
lola: state equation: 520
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 27
lola: state equation: 521
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p1034
sara: try reading problem file stateEquationProblem-ConstantPlace-1364.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1052
sara: try reading problem file stateEquationProblem-ConstantPlace-1400.sara.
lola: reporting
lola: not produced: 25
lola: state equation: 523
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2955
sara: try reading problem file stateEquationProblem-ConstantPlace-3233.sara.
lola: reporting
lola: not produced: 23
lola: state equation: 525
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1637
sara: try reading problem file stateEquationProblem-ConstantPlace-3260.sara.
lola: reporting
lola: not produced: 21
lola: state equation: 527
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p2970
sara: try reading problem file stateEquationProblem-ConstantPlace-3264.sara.
lola: reporting
lola: not produced: 19
lola: state equation: 529
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: reporting
lola: not produced: 18
lola: state equation: 530
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p1203
sara: try reading problem file stateEquationProblem-ConstantPlace-1902.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1192
sara: try reading problem file stateEquationProblem-ConstantPlace-1756.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 16
lola: state equation: 532
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213

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

lola: STATE EQUATION TRIES PLACE p1503
sara: try reading problem file stateEquationProblem-ConstantPlace-2802.sara.
lola: reporting
lola: not produced: 14
lola: state equation: 534
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p969
sara: try reading problem file stateEquationProblem-ConstantPlace-3043.sara.
lola: reporting
lola: not produced: 12
lola: state equation: 536
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1183
sara: try reading problem file stateEquationProblem-ConstantPlace-1747.sara.
lola: reporting
lola: not produced: 11
lola: state equation: 537
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: reporting
lola: not produced: 11
lola: state equation: 537
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
lola: STATE EQUATION TRIES PLACE p2381
sara: try reading problem file stateEquationProblem-ConstantPlace-1395.sara.
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p972
sara: try reading problem file stateEquationProblem-ConstantPlace-3056.sara.
lola: reporting
lola: not produced: 9
lola: state equation: 539
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1053
sara: try reading problem file stateEquationProblem-ConstantPlace-1402.sara.
lola: reporting
lola: not produced: 8
lola: state equation: 540
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

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

lola: STATE EQUATION TRIES PLACE p1169
sara: try reading problem file stateEquationProblem-ConstantPlace-1733.sara.
lola: reporting
lola: not produced: 6
lola: state equation: 542
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p949
sara: try reading problem file stateEquationProblem-ConstantPlace-3013.sara.
lola: reporting
lola: not produced: 5
lola: state equation: 543
lola: find path: 2466
lola: goal oriented search: 327
lola: symmetry: 213
sara: place or transition ordering is non-deterministic

lola: STATE EQUATION TRIES PLACE p1369
sara: try reading problem file stateEquationProblem-ConstantPlace-2333.sara.

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-401"
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-401, 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-167814494300103"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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